et k = -598 - -632. Is 34 a factor of k?
True
Suppose -7*u + 2*u + 810 = 0. Let r(b) = -15*b**3 + 4*b**2 + 6*b - 17. Let x be r(2). Let k = u + x. Does 26 divide k?
False
Suppose 0 = 2*h + 1840 - 512. Let p be h/(-6) + (-8)/(-24). Let u = p + -56. Does 10 divide u?
False
Does 7 divide (-5)/((-30)/684) + -4 + 4?
False
Suppose -9*s + 10*s - 20 = 0. Is 5 a factor of s?
True
Let c = -8 - -12. Suppose -c*b + 3*b + 16 = 0. Is b a multiple of 4?
True
Let f = 1037 - 951. Does 3 divide f?
False
Suppose 0 = 7*o - 3*o - 160. Is o a multiple of 10?
True
Let m be (-82)/3 + 2/(-3). Let p = m - -30. Suppose p*y = 9 + 23. Is 5 a factor of y?
False
Suppose -45 = 8*k + k. Let w be (3/2)/(3/(-4)). Does 10 divide ((-25)/w)/k*-12?
True
Suppose 15*f - 11*f = 96. Is 15*(-4)/f*-28 a multiple of 35?
True
Is 24 a factor of (-144)/(-10)*60/18?
True
Suppose f = -5*j + 2874, -f + 5*j + 2910 = j. Does 17 divide f?
False
Let r(t) = -t**3 - 3*t**2 + 3*t - 2. Let z be r(-5). Let l = z + -19. Suppose -l = -0*o - o. Is o a multiple of 14?
True
Let x(k) be the third derivative of -25*k**4/24 - 5*k**3/6 - 10*k**2. Is x(-2) a multiple of 5?
True
Let d = -6 + -20. Let f(w) = -w**3 - 27*w**2 - 29*w + 21. Is 33 a factor of f(d)?
True
Let w(q) = 4*q**2 - 12*q + 56. Is 21 a factor of w(7)?
True
Does 14 divide 8 + -11 + 2/(8/3260)?
True
Let h(j) = j**3 - j**2 + 71. Let w be h(0). Let v = 118 - w. Suppose 4*a = -3*y + v, -4*a + 3 + 5 = 0. Is 13 a factor of y?
True
Let t(v) = -v**2 + 40*v - 72. Is t(16) a multiple of 12?
True
Suppose 174 = 3*z + 3*u, 2*z - u = -2*z + 247. Is 2 a factor of z?
False
Let t be (-11609)/(-91) + 6/14. Suppose 5*s = 9*s - t. Is s a multiple of 3?
False
Let g(o) = o**3 + o**2 - o + 2. Let l be g(-2). Let r(n) = -n**2 + n + 12. Let d be r(l). Let u = d + -5. Is u a multiple of 7?
True
Suppose -4*u + 0*u + 1973 = y, 2*u + 2 = 0. Is 63 a factor of y?
False
Let q(c) = 28*c**2 + 4*c - 5. Is 11 a factor of q(2)?
False
Suppose u + 0*u - 3 = 0. Suppose 3*v + 2*w - 280 = u*w, -5*w - 191 = -2*v. Does 12 divide v?
False
Let a = 35 + -33. Suppose k - 4*f - 180 = -k, a*k - 153 = -5*f. Is k a multiple of 6?
True
Let l be ((-20)/(-25))/(2/5). Suppose l*q - 3*m = 22 - 1, 4*m = -4*q + 32. Is 3 a factor of q?
True
Suppose -5*h - 28 = -m, 5*m + 4 = -4*h - 1. Does 2 divide m?
False
Let d be (-2)/((-2)/3) + -2. Is 16 a factor of (448/(-4))/(d/(-1))?
True
Suppose 0 = -2*f - 3*r - 52, 0 = 2*f + r - 0*r + 52. Let o = f + 57. Is o a multiple of 6?
False
Let c(o) = 8*o - 10. Let b(z) = 7*z - 9. Let v(x) = 5*b(x) - 4*c(x). Let f = -28 + 32. Is 7 a factor of v(f)?
True
Suppose -8*p - 386 = 182. Let v = p + 86. Is v a multiple of 9?
False
Let u(z) = -z**3 - 5*z**2 + 5. Let c be u(-5). Suppose -4*q = q + c*g - 850, -3*q + 5*g + 494 = 0. Does 21 divide q?
True
Suppose 47*i = -1931 + 22235. Does 16 divide i?
True
Let j = -2374 - -2384. Does 2 divide j?
True
Let q(f) = -38*f - 19. Let h be q(-4). Let v = h + -88. Is 14 a factor of v?
False
Suppose 2*w = -4, 5*m = 10*w - 7*w + 256. Is m a multiple of 2?
True
Suppose -13*o = -9*o - 3132. Does 15 divide o?
False
Suppose -201 = -2*u + 123. Does 5 divide (4/(-6))/((-6)/u)?
False
Suppose 3*k = 5*k - 6. Suppose 4*z - 2 = 3*p - 2*p, 0 = k*p + z - 7. Suppose 0*a - 50 = -p*a. Does 25 divide a?
True
Suppose 2*t = -2*d + 4056, -9*d = -5*d + t - 8118. Is 14 a factor of d?
True
Let l(o) = -3*o**2 - 11*o + 6. Let m be l(-4). Suppose -3*r + 15 = m*z, 4*z + 15 = -3*r + 42. Is z a multiple of 2?
True
Suppose 2*k - 4*j - 34 = 0, -k = -5*k + 3*j + 78. Let g(q) = -q - 1. Let d be g(-3). Is k - (d + -2 - -3) a multiple of 6?
True
Let r(q) = -q**2 - 12*q + 32. Let o be r(-14). Suppose -260 = -5*a - 5*x, -3*x - 2*x - 181 = -o*a. Is a a multiple of 5?
False
Let a be (-3 - (-2 - -1)) + 6. Let b(d) = -d**2 - 12*d + 8. Let j be b(-6). Suppose a*x + 0*l - j = -2*l, 6 = 3*l. Is 4 a factor of x?
False
Let a be (8/12)/(4/30). Suppose 0 = 4*o + a*k - 156, k + 117 = 3*o - 3*k. Is 8 a factor of o - 2*4/(-8)?
True
Is 10 a factor of (-2*2)/(4/(-691))?
False
Let g be (-155)/9 + 20/90. Let p = g - -11. Does 9 divide -1*23*p/6?
False
Let x = -26 + 20. Does 4 divide (60/(-18) - 5)/(1/x)?
False
Suppose 2*b - 3 = 51. Let k = b - 27. Suppose -3*r = -k*r - 153. Is r a multiple of 18?
False
Let n = 2227 + -1129. Is n a multiple of 29?
False
Let m = 201 - 96. Does 15 divide m?
True
Let l(s) = s**3 - 2*s**2 + 2 + 0*s**2 - 9*s**2 + 14*s. Does 21 divide l(10)?
True
Suppose -16 = -4*r, 3*x - 4 = 5*r + 12. Suppose 4*m = 2*b - 8, -b - 2*b = 4*m - x. Suppose m = 2*d + 10 - 74. Does 9 divide d?
False
Suppose 3*g = 2*v + 1708, 0 = -2*v + 5 - 15. Is g a multiple of 8?
False
Let m(n) = n**2 + 10*n + 7. Let y be m(-9). Let s(v) = 30*v**2 + 3*v. Is s(y) a multiple of 18?
False
Let t be (-1 + 0)*-4 + 0. Suppose 0 = 3*m - 5*a - 359, -3*m - t*a + 349 = a. Is m a multiple of 11?
False
Let o(k) = 2*k**2 + 45*k + 29. Does 52 divide o(-23)?
True
Suppose 0 = 4*l - 5*c - 4742, -3*c + 6 = -0*c. Is 99 a factor of l?
True
Suppose -2*m = -m - 85. Suppose -81*i - 100 = -m*i. Does 11 divide i?
False
Suppose 0 = 8*z - 13*z - 3*d + 121, -d - 29 = -z. Let y be -1*-5*(0 - -1). Suppose -40 = -3*n - 5*q, -3*q + z + 30 = y*n. Does 8 divide n?
False
Suppose 7*c - 1229 - 7549 = 0. Is 38 a factor of c?
True
Let g be ((-1)/(-2))/(6/(-48)). Let b(w) = w**3 + 4*w**2 - 4*w - 4. Let o be b(g). Is 6 a factor of 0 + (2 - o/(-3))?
True
Suppose 4*z - 42 = -5*l, -3 = -4*l + z + 18. Suppose -3 + 111 = l*w. Does 9 divide w?
True
Suppose 2*a - 32 = 4*g, 2*a = g - 2*g + 2. Let f be 5/(45/g)*-6. Suppose 6*v = -f*w + v + 163, -v + 3 = 0. Is w a multiple of 13?
False
Suppose 2*t - 5 = 1. Suppose -t*s - 83 = -563. Is s a multiple of 27?
False
Let t = 82 - 85. Is 12 a factor of (24 - t)*(-16)/(-12)?
True
Let b(f) be the third derivative of f**5/15 - 5*f**4/12 + 3*f**3/2 + 9*f**2. Is b(3) a multiple of 5?
True
Let s(r) = -r**3 + 2*r**2 + 10. Let t be s(0). Suppose t*w - 611 - 249 = 0. Is 43 a factor of w?
True
Let z = -156 + 93. Let i = 94 + z. Does 18 divide i?
False
Let n(a) = -7*a - 1. Let c be n(-2). Suppose g - c = 2. Is g a multiple of 15?
True
Suppose 11*n = 594 + 77. Is n a multiple of 6?
False
Suppose -15*a - 1160 = 5*a. Is (-5)/(-5) + a/(1 - 3) a multiple of 6?
True
Suppose -h - 5*v + 2 = 0, 3*h + 3*v + 2*v + 4 = 0. Let m be (29/h)/((-4)/60). Let g = -68 + m. Is g a multiple of 19?
False
Let g(v) = -17*v - 2. Let o be (-6)/9*(-6)/4. Let x(c) = c + 1. Let h(y) = o*g(y) + 4*x(y). Is 16 a factor of h(-6)?
True
Suppose 3*x + 57 = -0*x. Suppose -2*p + 8*p = 690. Let q = x + p. Does 16 divide q?
True
Suppose -600 = -9*o + o. Does 5 divide o?
True
Suppose 40 = 2*q - 4*q. Let k = 17 + q. Is (-46)/k*3 + 2 a multiple of 10?
False
Let a(r) = -r. Let l be a(-5). Let s = 40 - l. Is s/2*(1 + 1) a multiple of 12?
False
Let v = 65 + -99. Is 4/v + (-138)/(-17) even?
True
Let h(q) = 87*q**2 - 10*q - 22. Is h(-2) a multiple of 35?
False
Let c = 4 - 2. Suppose -3*v + 3 = c*u, 0 = 3*v - 0*v + 5*u + 6. Is v a multiple of 3?
True
Let p(m) be the second derivative of -2*m - 23*m**2 - 29*m**2 + m**3 + 54*m**2. Does 13 divide p(8)?
True
Let i(z) = 6*z + 1. Let w be (1/3)/((-7)/(-63)). Let y be 2 + 3/((-9)/w). Is 7 a factor of i(y)?
True
Let l = -36 + 39. Suppose 0 = -l*x - 15, -4*i + 3*x + 99 = 12. Is i a multiple of 18?
True
Let l(r) = 5*r**2 - 19*r - 61. Does 37 divide l(-10)?
True
Suppose 3*m = 6 + 150. Suppose 5*x - 53 = m. Is 21 a factor of x?
True
Let v = 6732 + -3526. Does 51 divide v/35 + 6/(-10)?
False
Let u = 3817 - 1357. Is 10 a factor of u?
True
Suppose -4*u - 16 = 0, -2*u - 408 = -3*n - 22. Suppose -4*a + 2*a + n = 0. Does 21 divide a?
True
Suppose 48*y = 47*y - 3. Does 8 divide 1*-3 + (-2 - 207/y)?
True
Let t(i) = 84*i**2 + i. Let a be t(-1). Suppose 1 = m + 2, 0 = -2*n + 3*m + a. Is 10 a factor of n?
True
Suppose -b + 5*b = -8. Let t be (0/2)/(1 + b). Suppose t = -3*u, -216 = -4*r + 4*u + u. Is 18 a factor of r?
True
Suppose k = -30 - 0. Is (816/k)/(4/(-10)) a multiple of 17?
True
Let z = -2558 - -2899. Does 31 divide z?
True
Suppose -5*s + 6*n = n - 2000, 0 = -3*n. Is s a multiple of 32?
False
Suppose 3*n + 5*c = -85, 66 + 42 = -4*n - 4*c. Let v = n - -22. Does 20 divide 1/((2 + v)/(-46))?
False
Let l = 876 - 502. Is 17 a factor of l?
True
Let