+ 14*d + 10. Is s(5) a multiple of 12?
True
Let o(v) = -v**3 + 4*v**2 + 3*v + 14. Let d be o(5). Suppose 5*i = -d*a + 1722, 0 = -i + 2*i + 3*a - 351. Does 38 divide i?
True
Let f be (300/9 - 5) + (-4)/(-6). Let c = -15 + f. Is c a multiple of 12?
False
Let w(g) = -g**3 - 2*g**2 + g - 6. Let l be w(-3). Suppose 4*h - 201 - 151 = l. Does 22 divide h?
True
Let r(h) = -3*h - 9. Let z be r(-6). Let y = 106 - z. Is y a multiple of 18?
False
Suppose 9 = 2*r + r. Suppose -b = r*b - 24. Is 2 a factor of b?
True
Let x(v) = 103*v**3 - 5*v**2 - 2*v + 18. Is x(3) a multiple of 12?
True
Let p = -69 + 57. Is 6 a factor of (-1 - 22)/(3 - (-40)/p)?
False
Let g(u) = 11*u**2 + 4 + 8*u + 4*u - 17*u + 6*u. Let r be (2 - 24/10)*5. Is 23 a factor of g(r)?
True
Let o = -244 + 302. Does 38 divide o?
False
Let i = -10 - -18. Let t = i + 52. Does 23 divide t?
False
Let i(z) = -z**2 - 10*z + 13. Let k be i(-12). Let c = 14 + k. Suppose 4*p + 2*a - 74 = 0, -a = -c*p - 0*a + 43. Is p a multiple of 8?
True
Suppose 4*x - 361 = 3*k, 4*k + 60 - 48 = 0. Is x a multiple of 22?
True
Let v(y) = y - 2. Let x = 19 + -15. Let f be v(x). Suppose 2*o + 0*k = 3*k + 33, -f = -2*k. Does 6 divide o?
True
Let y(v) = -3*v + 3. Let d be (-6)/8 + (-33)/(-12). Let z = -8 + d. Is 5 a factor of y(z)?
False
Let s(h) = 4*h - 2. Let i be s(-1). Let u = i + 7. Is 4 a factor of (-106)/(-4) - u/2?
False
Suppose -a = -4*a + 15. Let r be (-2)/a + 4/10. Suppose 5*m = l - 0*l + 32, r = -3*m - l + 24. Is 3 a factor of m?
False
Let w(x) = 196*x**3 - 2*x**2 + x. Let i be w(1). Suppose -5*a - i = -5*g - 8*a, 3*g = -4*a + 106. Is 6 a factor of g?
True
Let i = 7 + -7. Suppose i = 2*o + 9 + 29. Let c = o - -44. Is c a multiple of 8?
False
Let d be 322 + -4 + 7 + -1. Let b = -211 + d. Does 16 divide b?
False
Suppose -4*h + 3*r - 68 = 0, 0 = h - 2*r + 13 + 4. Let x = 29 + h. Does 4 divide x?
True
Does 7 divide 41034/210 + 4/(-10)?
False
Let t(w) = -w**3 + 4*w**2 + 6*w. Let m be t(5). Suppose 0 = -s - 2 + m. Suppose 5*a - 47 = 3*q, 0*a + q = -a + s. Does 6 divide a?
False
Let r be 8*26/36 + (-2)/(-9). Let g(s) = 2*s + 10. Is g(r) a multiple of 4?
False
Suppose -16 = -4*i - 4. Let c = -73 + 77. Suppose -3*q + 4*v = 11, v - 2*v - c = -i*q. Is q a multiple of 3?
True
Let w = 33 - 29. Suppose -z + 2 + 1 = 0, -2*z = -w*m + 186. Is m a multiple of 8?
True
Let s = 2581 - 2176. Is s a multiple of 27?
True
Let f(w) = w**3 - 6*w**2 - 10*w + 3. Let z be f(9). Suppose -7*m + 334 = -z. Is m a multiple of 14?
True
Let t(j) = 3*j - 2. Let l be t(9). Let s be 4/(-10) + 885/l. Suppose -3*i + 143 = s. Is 9 a factor of i?
True
Suppose 13*u - 2747 - 256 = 0. Is u a multiple of 21?
True
Suppose 0 = 2*s - 4 - 12. Suppose 8*t + s = 6*t. Is 15 a factor of 2/t + 235/2?
False
Let k be (-8)/4*32/8. Let j(c) = 3*c**2 - 10*c + 23. Let p(s) = -4*s**2 + 11*s - 24. Let r(w) = 5*j(w) + 4*p(w). Is r(k) a multiple of 3?
True
Let y(s) = -16*s + 766. Does 33 divide y(-47)?
True
Let z be 0 + 3 + (-5 - -2). Suppose -5*v + 772 = -p + 5*p, 4*p - 788 = -v. Suppose 8*x + q = 4*x + 264, z = -3*x + q + p. Is x a multiple of 19?
False
Let m be (-4)/(0 + 2) + 7. Let a(b) = 40*b + 50. Let o(p) = 2*p + 2. Let g(c) = -a(c) + 25*o(c). Is 16 a factor of g(m)?
False
Is 11 a factor of 2*(-4)/(-24) + 36824/12?
True
Suppose -l - 34 = 3*s + 3*l, -s + 2*l - 8 = 0. Is 10/50 + (-1018)/s a multiple of 6?
True
Suppose 0 = 14*r - 12*r + 10. Let z be 2/(-5) - 7/r. Does 12 divide z*24/5*10?
True
Suppose 16*f + 1440 = 6*f. Let a = -125 - f. Is a a multiple of 6?
False
Suppose 3*p + 21 = y - 17, 2*p + 142 = 3*y. Let n(a) = -a**3 + 17*a**2 - 13*a + 22. Let u be n(16). Let c = u - y. Is 4 a factor of c?
True
Suppose 2*d = -2*x - 0*x - 14, 3*d = 3*x + 9. Let h be x + 3 + (1 - 63). Let f = 89 + h. Does 5 divide f?
True
Let u(s) = -2*s - 7. Let a be u(-6). Let d(h) = h**2 - 5*h + 2. Let j be d(a). Let w = j + 8. Is w a multiple of 10?
True
Suppose 5*w - 2089 = -5*i - 374, -1023 = -3*w - i. Is 20 a factor of w?
True
Suppose -3*u + 6*u = f - 17, -f = 2*u + 8. Suppose 4*s - 170 = o, -s - 4*o = -f*s + 50. Does 7 divide s?
True
Let j(c) = 8*c - 12. Suppose 0 = 2*f - 5*z - 2, -4*f + 2*z + 18 = -z. Let q = 14 - f. Is 16 a factor of j(q)?
False
Suppose 0 = -7*t + 271 + 303. Suppose t = 3*m - 62. Is 31 a factor of m?
False
Suppose 0 + 2 = m. Suppose -154 = -m*i + 242. Is i a multiple of 11?
True
Let d be (27/45)/((-1)/(-5)). Suppose -4*x + d*y + 12 = y, x + y = 6. Suppose -x*p + 195 = 5*a, -5 = -p - 0. Is a a multiple of 13?
False
Suppose 7345 = 11*d - 1103. Is d a multiple of 62?
False
Let i(l) = 4*l + 76. Is i(-16) a multiple of 12?
True
Let b(w) = 485*w + 43. Is b(1) a multiple of 12?
True
Suppose 4*r = -g, -2*r + 3*r = g. Suppose -2*u - 30 + 580 = g. Suppose -3*o + 28 = -u. Does 21 divide o?
False
Let w(h) be the second derivative of 2*h**4 - h**2/2 - h. Suppose g + 2*n + 3 = -8, -4*g - n - 9 = 0. Is w(g) a multiple of 8?
False
Suppose 0 = 12*b - 22*b + 4320. Is 6 a factor of b?
True
Let n(i) = -23*i**2 - 2*i - 3. Let t be n(-1). Let l = t + 68. Is 10 a factor of l?
False
Suppose 2*c - 192 = -2*n + 176, -5*n - 3*c + 926 = 0. Is n a multiple of 7?
False
Let f = 28 - 24. Let l(s) = -2*s - 3. Let y be l(8). Let x = f - y. Is 9 a factor of x?
False
Suppose 0*x + 356 = x - 5*q, -1086 = -3*x - 3*q. Does 23 divide x?
False
Let s(b) be the second derivative of -5/2*b**2 + 1/3*b**3 + 0 + 4*b. Is 15 a factor of s(10)?
True
Suppose 69*d - 65*d = 5236. Does 94 divide d?
False
Suppose -6*c + 2196 = -2*c. Let a = 28 + -23. Suppose 2*v = -a*t + c, 7*v = 4*t + 3*v - 428. Does 36 divide t?
False
Suppose -9*l = -21*l + 21468. Is l a multiple of 23?
False
Let u be 4 + -5 + -1 + 4. Suppose -3*c + 4*q - 1 = -0, 0 = -2*c - u*q + 18. Suppose d - c*m = -3*d + 178, 104 = 2*d + 5*m. Is d a multiple of 33?
False
Is 3 a factor of 4/26 + (-2195)/(-13)?
False
Let a = 7 - 5. Let t(w) = 1 + 9 + 5*w - a*w + 0. Is 14 a factor of t(6)?
True
Let h = -1454 - -3918. Is h a multiple of 14?
True
Suppose -9 = -3*c + h, c + 0*h - 3*h + 5 = 0. Suppose -5*j = 4*g, c*j - 8*g = -4*g + 36. Is 14 a factor of 51*2/j*2?
False
Let u(z) = -8*z - 2. Let w be u(-1). Is (-226)/6*(3 - w) a multiple of 30?
False
Let v(x) be the third derivative of -x**5/60 + 23*x**4/24 + x**3/6 + 7*x**2. Is v(14) a multiple of 9?
False
Suppose -4 = -2*c + 3*u - 5*u, 4*c + 5*u - 6 = 0. Suppose v + 2*v = -2*l + 176, -5*v - c*l + 292 = 0. Is 10 a factor of v?
True
Suppose 51*g - 335 = 56*g. Let b = g - -112. Is 20 a factor of b?
False
Let b(z) = -z**2 + 2*z + 0*z**2 - 4 - 8*z - 1. Let q be b(-4). Suppose q + 30 = l. Does 11 divide l?
True
Let a(h) = 618*h - 7. Does 47 divide a(1)?
True
Suppose 0*w = 3*w - 9, 4*c = -3*w + 833. Let l = c - 84. Suppose 6*f - l = 76. Is 11 a factor of f?
True
Suppose 77*y = 73*y + 352. Suppose -116 - y = -2*f. Does 11 divide f?
False
Let i(m) = -8*m - 3. Let g(t) = -24*t - 9. Let q(b) = -4*g(b) + 11*i(b). Is q(9) a multiple of 15?
True
Suppose -17 - 19 = -4*k. Let o be (-6)/(4/(32/12)) + -13. Let z = k - o. Does 26 divide z?
True
Suppose 3*z - 4*a - 318 + 51 = 0, -2*z = 5*a - 155. Let q = z - 5. Is 12 a factor of q?
False
Let g = 20 + -11. Suppose g = u - 5. Is 4 a factor of u?
False
Suppose 2*r + 32 = -4*x + r, 3*x - 3*r = -39. Is (138/(-4))/(x/12) a multiple of 21?
False
Let g be 8*2*4/(-16) + 19. Suppose p - 75 = -5*o, -3*o - p + 58 = g. Is 16 a factor of o?
True
Let y(m) = -2*m**2 - 5*m - 11. Let a be y(-6). Let d = a + 113. Is 12 a factor of d?
True
Suppose 5*p = -5*r + 15, 12 = 2*p + 2*p + 2*r. Suppose 0 = p*a - 0*a + 5*w - 95, -3*a - 2*w + 110 = 0. Is a a multiple of 19?
False
Suppose 0*g + 3*m + 740 = 4*g, -5*g + 930 = -5*m. Is 18 a factor of g?
False
Suppose 6*h - 12*h = 570. Is (-4)/(-1)*h/(-20) a multiple of 18?
False
Suppose 2 = -2*j - j - w, 5*w = 2*j + 7. Suppose 5*h - 6*t + 4*t - 39 = 0, -24 = -2*h + 5*t. Is h + (j - 2) + 0 a multiple of 4?
True
Let n(h) = 4*h**3 + h**2 + 3*h - 4. Let y be n(1). Suppose 116 = y*t - 4*i, -t + 71 = 3*i + 26. Is t a multiple of 33?
True
Let o = 143 + -120. Suppose -2*f + 5*i - o = -383, -i = f - 166. Is f a multiple of 34?
True
Let i be 30/6*(1 - 0). Suppose i*a = 7*a. Suppose q + l - 43 - 9 = a, -4*l + 258 = 5*q. Is 10 a factor of q?
True
Let t = -610 + 1083. Does 43 divide t?
True
Supp