-11)/132*-3. Suppose b = -8*x + 111 + p. Is 4 a factor of x?
True
Suppose 0 = -5*r + 4*x + 987, 3*r - 681 = 3*x - 87. Is r even?
False
Let b = -5305 - -7481. Is b a multiple of 34?
True
Suppose 0 = -4*m + 4*p + 24644, -722*m - 30814 = -727*m - 4*p. Is 5 a factor of m?
False
Let z(r) = 10*r**2 - 2. Suppose 9 = -f - 1. Let x be -5*(-2 + (-16)/f). Is 38 a factor of z(x)?
True
Let o(a) = 8*a - 29. Let g be o(7). Let x = g - 25. Suppose -3*r + 347 = -2*m, 2*r + x*m - 80 = 138. Does 16 divide r?
False
Let r(s) = -109*s - 42. Let m be r(-13). Suppose -5*x = 3*w - 2235, 2*x + x - 5*w - m = 0. Does 45 divide x?
True
Let k(h) = 3*h**2 + h + 3. Let t be k(-2). Suppose -3*j + t = 5*a + 1, 2 = -2*j. Suppose 4*c - 148 = -a*q, 6*q - 5*q - 3*c = 32. Is 22 a factor of q?
True
Does 44 divide (-16166466)/(-2268) - (-1)/(-14)?
True
Is 16 a factor of (-2181)/4*((3 - 0) + 544/(-96))?
False
Suppose -387362 = 939*k - 973*k. Does 19 divide k?
False
Let y = 2375 - 694. Let x be y/4 - (-5)/(-20). Suppose -16*f = -4*f - x. Does 6 divide f?
False
Suppose -42*d = -33*d - 5337. Let b = d + -537. Is 7 a factor of b?
True
Let r(n) be the third derivative of 21*n**4/8 + 5*n**3/2 - 10*n**2. Let l be r(8). Suppose -3*x + 0*y + l = -3*y, 0 = -2*x + 4*y + 356. Does 28 divide x?
True
Does 12 divide 14 - (-33064)/(-14 - -18)?
True
Suppose -5*a = -3*c - 5, 5*c + a + 1 = 2. Suppose -5*j + j + 1024 = c. Let o = 381 - j. Does 35 divide o?
False
Let m = -3 - -6. Suppose -m*k = -6*k + 3*d + 3531, 0 = -3*d - 3. Suppose 7*r - k = -r. Does 11 divide r?
False
Does 7 divide (37498220/150)/31 + (-6)/45?
True
Is (-39)/((-429)/308) + 45508 a multiple of 146?
False
Suppose 3*p - 4*z = 1504, 3627 - 1103 = 5*p + 2*z. Suppose -10*c + p = -18*c. Is (74/3)/((-259)/c - 4) a multiple of 37?
True
Let r(f) = 6*f**3 - f**2 + 2*f - 1. Suppose 1 = -h - 4*k, -2*h + 10 = -0*k + 4*k. Suppose 5*j - 10 = -0*y + y, -h = 4*j + 3*y. Is 3 a factor of r(j)?
True
Suppose 5*n - 6676 = -2*h, 45*h = 48*h + n - 10014. Does 24 divide h?
False
Suppose 4*m + 3 = m, 3*m - 5 = -u. Let f(k) = -k - 18. Let n be f(u). Let l(g) = -g**3 - 25*g**2 + 25*g + 4. Is 6 a factor of l(n)?
True
Suppose -5*x = 3*b - 280, 0 = 3*b + 2*b + 4*x - 471. Suppose 2*p + b - 2523 = -2*u, 3*p - 3642 = 5*u. Does 27 divide p?
False
Let r(n) = 3*n**2 - 2 - 4*n**2 + 110 - 2*n. Does 6 divide r(0)?
True
Let j(d) = -27*d**2 + 22*d + 59. Let m(h) = 52*h**2 - 44*h - 120. Let g(b) = 7*j(b) + 4*m(b). Is 9 a factor of g(-3)?
False
Let p(l) = 3*l**2 + 47*l + 109. Is p(-27) a multiple of 2?
False
Let k(r) = -r**2 - 34*r + 74. Let z be k(-36). Does 6 divide 167 + (36/(-6))/(-3) + z?
False
Suppose -955*c + 954*c = -630. Is c a multiple of 70?
True
Suppose 86*z + 552 = 88*z. Suppose -2*q = -3*f + q + z, 5*q - 395 = -4*f. Is f a multiple of 14?
False
Let w(p) = -639*p + 7140. Is w(-20) a multiple of 240?
True
Suppose 12*y + 132 = 372. Suppose 24*x - y*x = 0. Suppose 5*c = r + 2*c - 5, -5*r + 5*c + 65 = x. Is 11 a factor of r?
False
Let p(r) = -r**2 + 15*r + 60. Let g be p(18). Is (-10)/4*(g - (-1212)/(-30)) a multiple of 43?
True
Let m = -177 + 180. Suppose 4*f + 2*b = 2340, -b - 5 = -m. Is f a multiple of 16?
False
Suppose 3*h = 12*q - 14*q + 815, 2*h + 5*q = 547. Let y = h + -127. Is y a multiple of 7?
False
Suppose -42*x = -40*x, -x = 2*p - 24. Suppose -462 = 9*f - p*f. Is 15 a factor of f?
False
Suppose l + 5*n - 131 = 0, -5*l - 5*n = -3*l - 242. Let v = 121 - l. Does 6 divide v?
False
Suppose 4*b - 114 = -2*a, -523*b + a = -518*b - 167. Does 4 divide b?
True
Suppose s + 58 + 170 = 2*x, 0 = 4*x. Let p = s - -603. Is 11 a factor of p?
False
Suppose 4*w + 6404 = 2*p, -4*p - 3*w + 9471 = -3282. Is 24 a factor of p?
True
Let w = -1605 + 2970. Suppose 3*q = -0*q - w. Is 8 a factor of 1/(-4) - q/28?
True
Suppose 174*n - 2160 = 179*n. Does 34 divide (n/504)/(3/(-238))?
True
Let x be (-22)/(-44) - (1 - 918/4). Let q = x - 189. Is q a multiple of 16?
False
Let n(f) = 10625*f + 285. Does 13 divide n(1)?
False
Let c be 3/(-4) + 206/8. Let b be (48/(-5))/((-1)/c). Does 6 divide b/4 + 0 + 1?
False
Let m(u) = 31*u**3 + 8*u**2 - 39*u - 21. Does 6 divide m(4)?
False
Let h(u) be the second derivative of u**4/3 - 3*u**3/2 + 15*u**2/2 - 3*u. Suppose -5*f = -3*d - 32 - 1, 0 = -4*f + 4*d + 28. Is h(f) a multiple of 12?
False
Let o(t) = 1112*t + 119. Let a be o(-22). Is 11 a factor of (a/63)/(-5) - 2/7?
True
Let w(j) be the first derivative of 11*j**3/3 - 8*j + 8. Let c be w(3). Let q = -55 + c. Is q a multiple of 13?
False
Is 3942/(24*(-7)/(-112)) a multiple of 37?
False
Let v = 7518 + -3254. Is v a multiple of 14?
False
Let k(u) = 5*u**2 + 5*u + 66. Let z = 41 - 48. Is k(z) a multiple of 23?
True
Let o(x) = 1266*x**2 + 87*x - 81. Is 108 a factor of o(8)?
False
Is 30 a factor of 4/(-42) - 118784/(-84)?
False
Let t = -238 + 454. Let a = 251 - t. Is a a multiple of 7?
True
Let y(u) = 114*u + 7904. Does 38 divide y(82)?
True
Is (-16292 + (-1 - -3))*(1239/(-63) - -19) a multiple of 32?
False
Let k = 41463 - -35942. Is k a multiple of 13?
False
Let u(d) be the second derivative of -d**4/3 - d**3 + 31*d. Let h be u(-3). Is 3 a factor of h*1*-1*(-56)/(-24)?
True
Let w(p) = 16*p - 22*p - 8 - 7 + 3*p**2. Is w(-6) a multiple of 9?
False
Let k = -10274 + 14780. Is 162 a factor of k?
False
Suppose -4*x + 825 = -135. Suppose c = -7*c + x. Let i = 40 - c. Is 10 a factor of i?
True
Let c = 2437 - 1709. Does 14 divide c?
True
Let l be ((-83)/4)/(4*5/(-80)). Suppose -5*t - 8 = -18. Suppose t*r = r - 5*x + l, r + 2*x = 74. Is r a multiple of 34?
True
Let j(a) = a**3 + 9*a**2 + 39*a - 45. Let m be j(-17). Does 10 divide (-8)/28 - m/35?
False
Let c(f) = -f**2 - 6*f + 3. Suppose -42 = 30*s - 23*s. Let z be c(s). Suppose 5*o - 5*d - 587 - 378 = 0, -3*o + 603 = z*d. Does 21 divide o?
False
Let p(o) = -56*o**2 + 3*o + 133 + 57*o**2 + 0*o. Is p(0) a multiple of 19?
True
Let k = -754 + 1630. Does 4 divide k?
True
Let h(m) = -31*m**3 + 51*m**2 + 322*m + 4. Does 130 divide h(-8)?
False
Let j(r) = r**2 - 2*r + 11. Suppose -26 = 2*i + 3*l, 3*i + 2*l + 29 = -0*i. Let v be j(i). Let o = -50 + v. Is 8 a factor of o?
True
Let o(x) be the second derivative of 0 + 3/2*x**3 + 42*x - 15/2*x**2. Is o(6) a multiple of 6?
False
Suppose -1485120 = 407*v - 492*v. Does 16 divide v?
True
Suppose -2*a - a = -3*u + 24, 4*u - 2*a = 34. Let h(b) = -2*b**2 + 5*b**3 - 6*b**3 - u*b - 12 - b**2 - 2*b**2. Is h(-6) a multiple of 39?
True
Let t be (-3)/(-2)*5*(-2)/15. Let s(v) = -158*v**3 - 2*v**2 - 4*v - 2. Does 10 divide s(t)?
False
Let a be -63*(-2 + 0 + 4)/(-2). Let w = a - 63. Suppose 0 = 5*f, -g + 4*f + 49 + 31 = w. Is g a multiple of 20?
True
Suppose 6 = 5*g + 1. Let x(i) = 22*i**2 - i + 1. Let v be x(g). Let n = v - -38. Is 20 a factor of n?
True
Let g = -350 - -420. Is 3 a factor of 2/((g/(-1095))/(-7))?
True
Let z(q) = -27*q - 4. Let c(t) = -t**3 - 5*t**2 + 15*t + 2. Let k(x) = -3*x + 17. Let u be k(8). Let f be c(u). Is z(f) a multiple of 40?
False
Let a = -65073 + 95545. Is 26 a factor of a?
True
Let a be (-45)/10 - (-1 + 1/2). Let j be 4 - a/(-4 + 0). Suppose 2*n - 58 = 5*o + 153, -j*n = 4*o - 328. Is n a multiple of 13?
False
Suppose 3*z - 2*z + 26*z - 191403 = 0. Is z a multiple of 17?
True
Let m = 170335 + -105599. Is 34 a factor of m?
True
Let z = 22898 - 22317. Does 81 divide z?
False
Suppose -368 - 852 = -10*p. Let v = 74 - p. Let q = -19 - v. Is 2 a factor of q?
False
Let d = -19228 - -40480. Is d a multiple of 22?
True
Let z(k) be the first derivative of k**2 - k - k**3 - 1/2*k**4 + 1. Is z(-3) a multiple of 9?
False
Let s(h) = -665*h + 52. Is s(-3) a multiple of 89?
True
Suppose -3*c + 5*q + 25 = 0, 2*q + q = c - 3. Is 10 a factor of 9012/c - (-76)/(-95)?
True
Does 31 divide (61137/21)/((-168)/(-784))?
False
Let t(q) = 10*q - 20. Let n be t(3). Suppose 2*y - 504 = -5*d, -7*d + 4*y = -n*d + 308. Is d a multiple of 5?
True
Let q = 103104 - 71695. Does 25 divide q?
False
Let g(r) be the third derivative of r**6/120 + 17*r**5/60 + 3*r**4/8 - r**3 - 10*r**2. Let u be g(-16). Suppose -f - f = -u. Is 10 a factor of f?
False
Let m(c) = -3 - 76*c**3 + 14 + 61*c**3 - 3*c - 6*c**2 + 1. Is m(-3) a multiple of 31?
True
Let v(w) = -10*w**2 - 58*w + 20. Let k be v(-6). Let y(z) = 9*z**2 - z + 2. Let j be y(-4). Suppose -k*b = -3*b 