. Suppose r*s - 79 - 92 = 0. Is s a multiple of 26?
False
Let x(i) = -i**3 + 11*i**2 + i + 11. Let r be (-2)/(-13) - 356/(-52). Let p(w) = -w**3 + 16*w**2 + 2*w + 16. Let v(z) = r*x(z) - 5*p(z). Is 7 a factor of v(-2)?
True
Let j(d) = 3*d + 65. Let c be j(-16). Suppose -14*v + c*v - 240 = 0. Is v a multiple of 8?
True
Suppose -w = 3*t - 18, t + 5*w = 4*w + 8. Let p(i) = -i**3 - i + 0*i**3 - 5 + 0 + 6*i**2 - 1. Does 7 divide p(t)?
True
Let m = 107 + -71. Suppose u = -5*w + m, -34 = 5*u + w - 94. Let r(t) = t + 5. Does 8 divide r(u)?
True
Let c(p) = 11*p + 2. Let u be c(-6). Is 32 a factor of ((-9)/6)/(3/u)?
True
Suppose -3*o + 40 - 1 = 0. Suppose -10*f - 108 = -o*f. Is f a multiple of 12?
True
Let x(i) = i**3 - 6*i**2 + 2*i + 5. Let h be -7*-1*24/28. Let v be x(h). Let u = v - -4. Is 16 a factor of u?
False
Does 5 divide 51 - (-4 - -2 - 2)?
True
Let i(w) = -3 + 6*w - 4*w + w. Let z be i(2). Suppose -30 + 9 = -z*j. Is 7 a factor of j?
True
Let s = 2 + 1036. Is 16 a factor of s?
False
Suppose -3*k - 159 = 5*g - k, -3*k = -9. Let o be (2/4)/(2/(-88)). Let i = o - g. Does 4 divide i?
False
Let g(b) = 29 + 5*b + b**3 - b**2 - b - 5*b. Suppose p + h = -4, -3 = 3*h + 9. Does 6 divide g(p)?
False
Let i = -127 + 220. Let o = i - 25. Is 25 a factor of o?
False
Let n(l) = 0*l + 34 + 2*l - 4*l + 8. Does 36 divide n(-15)?
True
Suppose 5*d = 9*d - 460. Suppose -x + 202 = 4*x - 2*f, 3*x = -5*f + d. Does 12 divide x?
False
Suppose -r + 31 = -158. Suppose -9*c = 9 - r. Is 10 a factor of c?
True
Let r(d) = 3*d**3 - 18*d**2 - 13*d + 1. Let o(j) = -7*j**3 + 35*j**2 + 27*j - 3. Let z(f) = 2*o(f) + 5*r(f). Is 15 a factor of z(21)?
False
Suppose j + t - 43 = 3*t, -2*j + 95 = 5*t. Suppose -j = -3*p + 33. Let o = p - 1. Is 5 a factor of o?
True
Suppose 4*u = 4*y + 1396, 2*u - 4*y = 135 + 573. Is u a multiple of 86?
True
Let o = 1257 + 835. Is 44 a factor of o?
False
Let u(r) = 3*r**2 + 7*r + 6. Let y be u(-5). Suppose 2*o + 0*h + 35 = -h, 3*o + 5*h = -56. Let s = y + o. Is s a multiple of 18?
False
Let p = 136 + -141. Is 17 a factor of 5 - 29*(p - -4)?
True
Let s(l) = l**2 + 15*l + 161. Does 15 divide s(-23)?
True
Suppose y = -0*y - 3*u + 9, 4*y = 4*u - 12. Suppose 5*m + 5*f - 245 = y, -2 - 3 = 5*f. Is 15 a factor of m?
False
Let j(l) = l + 8. Let o be j(-5). Suppose -3*s + 0*s = o. Is 18/(-2)*4*s a multiple of 18?
True
Let h(x) = -x**3 + 9*x**2 - 6*x + 3. Is 2 a factor of h(6)?
False
Let h = -1 + 3. Suppose 5 + 1 = 3*q, 4*q = h*o - 106. Let s = 35 + o. Does 27 divide s?
False
Let r(z) = z**3 + 15*z**2 - 20*z - 30. Suppose 3*n + 2 = 5, -2*q + 5*n = 37. Does 6 divide r(q)?
False
Let u be (1 + -5)/((-4)/2). Suppose -f = -3*b, 5*f - u*f - 9 = 0. Is (-2 - b) + 0 - -32 a multiple of 12?
False
Suppose 2*b - 150 = -3*b. Let t = b + -15. Suppose 0 = 3*k + t - 60. Is k a multiple of 9?
False
Suppose 2*v + 10*t - 191 = 5*t, 4*v = -4*t + 388. Suppose 22 = 2*m - v. Is m a multiple of 12?
True
Does 11 divide -26*(3 + 0)/(-6)?
False
Let b(z) be the third derivative of z**8/2240 + z**7/5040 - z**5/15 + 2*z**2. Let d(i) be the third derivative of b(i). Is 13 a factor of d(2)?
False
Let q be -2 + 6 + 2 + -4. Suppose 5*u = 3*u - q. Does 25 divide (-46 + (u - 0))*-2?
False
Let n(x) = 24*x**2 - 13*x + 102. Does 10 divide n(6)?
False
Let y(s) = -7*s + 5. Let l(q) = q - 1. Let h(n) = -l(n) + y(n). Does 10 divide h(-3)?
True
Let v = 43 + -41. Suppose -v = -k + 7. Is k a multiple of 6?
False
Let p be (-14)/(-4)*(-68)/(-119). Let b(d) = 6*d + 3. Is 3 a factor of b(p)?
True
Let v = -71 + 21. Let g = -22 - v. Is 7 a factor of g?
True
Let f be (266/(-21))/(2/(-3)). Let a = -9 + f. Does 6 divide a?
False
Let x(f) = 2*f**3 + 52*f**2 + 6*f + 118. Does 42 divide x(-25)?
True
Is 1020/14*(-28)/(-3) a multiple of 65?
False
Let b be 1/(-2)*(-1326 + 16). Suppose 5*a = -3*q + 4*q - 119, -5*q + 5*a = -b. Is 22 a factor of q?
False
Let i be 4*(-15)/10*(-1)/2. Suppose g - 2*m - 20 = 0, i*g - 5*m - 46 - 19 = 0. Does 10 divide g?
True
Suppose 14 = 2*m + 4. Let a = 3 - -1. Suppose 0*i - i = -m*g - 29, i = -a*g + 2. Is i a multiple of 4?
False
Let z(u) = u**3 + 2*u**2 + 2*u + 4. Let o be z(-3). Let x(t) = t + 8. Let j be x(o). Is 43/1 + j - 0 a multiple of 20?
True
Let z(c) = -2*c**3 + 2*c**2 - 4*c + 4. Let x be (-3)/3*2 + -2. Let w be z(x). Suppose 6*o = 2*o + w. Does 14 divide o?
False
Let y(v) = -v**3 - 14*v**2 + 14*v - 11. Let w be y(-15). Suppose 145 = 5*k - w*n, n = -k - 2*k + 87. Is k a multiple of 9?
False
Suppose -14*q + 1324 = -12*q. Is q a multiple of 15?
False
Suppose -2 = -5*t + 6*t. Is 14 a factor of (8/24)/(t/(-282))?
False
Let z(r) = -3*r - 10. Let w = 26 - 8. Suppose -2*k = -4*v - w, 2*v - v = 3*k + 8. Is z(v) a multiple of 6?
False
Let m = -72 + 80. Suppose -14*s - m = -15*s. Does 7 divide s?
False
Let c = -5 + 13. Suppose 6*t = 2*t + c. Suppose -40 = 3*p - j - 139, 0 = -t*p - j + 71. Is 17 a factor of p?
True
Suppose 0 = 2*n - 9*n - 21. Let k(l) = l**3 + 4*l**2 + 2*l + 7. Is k(n) a multiple of 7?
False
Let o(j) = 5*j**2 + 7. Is o(8) a multiple of 12?
False
Suppose 101*w = 111911 - 27273. Is w a multiple of 14?
False
Suppose -3*b + 3850 = 2*x, 3*b = 4*x - 7*x + 5775. Is 35 a factor of x?
True
Let y = 60 - 57. Suppose 2*p + 95 = 3*h + 3*p, 107 = y*h - 2*p. Is 4 a factor of h?
False
Let n be 1/(((-12)/(-68))/(-3)). Let y = -12 - -21. Let g = y - n. Does 13 divide g?
True
Suppose -3*v + 0 - 3 = -3*z, 3*v - 21 = -5*z. Suppose -4*p = 3*l - 411, -v*p = -l - p + 130. Is l a multiple of 8?
False
Let m(s) = 150*s + 46. Is m(4) a multiple of 38?
True
Suppose -5*f - 4*k + 0*k = -1383, 2*f - 3*k - 544 = 0. Does 49 divide f?
False
Let h be (-15)/5 - (-2 + -3). Suppose f - 5*f - 2*c + 1008 = 0, f - h*c = 242. Does 25 divide f?
True
Let p be -2 + 27 + 1 + -1. Let k be 153/3 - (-10 + 8). Let n = k - p. Is n a multiple of 7?
True
Let q be 5 + -3 - -1 - -2. Suppose -4*w + 59 + q = 0. Is 8 a factor of w?
True
Let f be 3/18 - (-1348)/(-24). Let z be f/24*(-10 - -1). Suppose 9 = 2*r - z. Is 15 a factor of r?
True
Let q = -14 + 20. Let r(a) = 3 + q - 5*a - 6 + 2. Does 21 divide r(-7)?
False
Suppose 10220 = 5*n - 4*u, -n + 1327 + 708 = u. Is 136 a factor of n?
True
Does 90 divide (-300)/(-120) - (-2515)/2?
True
Suppose 5*s = -3*r + 114, -5*s + 5*r = -0*s - 90. Let c be (-6)/s - 886/(-14). Suppose -o - c = -2*o. Is o a multiple of 14?
False
Let q = 442 - 301. Is 7 a factor of q?
False
Suppose -1516 + 319 = -9*x. Is x a multiple of 2?
False
Suppose 6*g - 3 = 51. Let n(v) = -v**3 + 9*v**2 - 7*v - 8. Let p be n(8). Suppose -2*i + q = -3*q - 28, -3*q - g = p. Does 4 divide i?
True
Let b(v) = 2*v**2 + 8*v - 13. Let i be b(-5). Let h = i + 11. Does 4 divide h?
True
Suppose -25641 = -75*i + 66*i. Does 66 divide i?
False
Let j be ((-26)/(-6))/(6/(-18)). Let n = j + 17. Suppose -2*y - 50 = -n*y. Does 8 divide y?
False
Suppose -4*f + 4 = -2*f. Suppose 4*a = f*m + 18, -2*a + a = 5*m - 10. Let n(q) = 2*q**2 - 5*q + 7. Is n(a) a multiple of 8?
True
Let c(m) = -m**2 + 7*m - 3. Let a be c(4). Suppose 137 = 6*r + 47. Let v = r + a. Is v a multiple of 6?
True
Let v(x) be the second derivative of -x**4/12 + 7*x**3/2 + 13*x**2/2 - 7*x. Is v(11) a multiple of 38?
False
Suppose -4*f = 3*i + 26, 4*i + 50 - 5 = 5*f. Let z = 20 + i. Suppose 0 = 2*r - z, r + 392 = 5*t + 127. Is 14 a factor of t?
False
Let z(x) = -x**3 + 15*x**2 - 24*x - 11. Does 12 divide z(9)?
False
Suppose -196 = 4*o - 0*o + 2*z, 0 = -4*z - 8. Suppose 5*v + 84 + 81 = 0. Let a = v - o. Is a a multiple of 8?
False
Let h(b) = -b**3 + 10*b**2 - 9*b + 5. Let p be h(9). Suppose -j = 2*o - 12, 0 = -o - p*j - 6 + 21. Is o even?
False
Let g = 73 + -75. Does 21 divide 152/((0 - -3) + g)?
False
Let k(s) = 2060*s**2 - 11*s + 1. Is k(1) a multiple of 50?
True
Suppose -3*j - a + 18 = 0, -3*j + 5*a = 2*a - 18. Let f be j - (-2)/((-1)/1). Suppose 3*m - f*m + 23 = 5*t, -5*m - 2*t = -138. Is 6 a factor of m?
False
Let v(l) = -l + 11. Let k be v(7). Suppose 3*g = -5*w + 5*g + 33, -4*w + 24 = -k*g. Suppose w*o = 2*o + 170. Does 8 divide o?
False
Suppose -2*r = -5*z - 0*z + 370, 81 = z + r. Suppose -3*l + z = -140. Is l a multiple of 9?
True
Let x = -564 - -892. Is 41 a factor of x?
True
Let b(m) = -m**3 - 8*m**2 - 10*m - 1. Let d be b(-8). Let o = 59 + d. Let c = o + -79. Is c a multiple o