Is c a multiple of 12?
False
Suppose 3*i + i = 132. Suppose -39 = -4*q + i. Does 3 divide (-1)/(-3) - (-174)/q?
False
Let m(h) = -h + 56. Let b be ((6 - 3) + 1)*-3. Let k be (-2)/(-2) - (-12)/b. Is 28 a factor of m(k)?
True
Let z(i) be the third derivative of -i**6/24 - i**5/10 + i**4/8 - i**3/3 + i**2. Let u(p) = -p**3 + p. Let d(r) = 6*u(r) - z(r). Is 16 a factor of d(6)?
False
Let i be (6/18)/(3/27)*1. Does 22 divide 6*((-45)/(-6) - i)?
False
Let i = -668 - -1010. Is i a multiple of 18?
True
Suppose 3*s + 0 + 4 = -5*i, -3*s = -4*i - 14. Suppose s*k = -0*k + 6. Is -145*((-51)/15 + k) a multiple of 25?
False
Suppose -197*u + 3136 = -190*u. Is u a multiple of 16?
True
Suppose -45*g + 1216 = -7*g. Is g a multiple of 16?
True
Suppose -2*t - 55 + 407 = 0. Is t a multiple of 22?
True
Suppose 0 = q - 51 - 79. Suppose 40*v + q = 41*v. Is v a multiple of 13?
True
Suppose 1559 = 24*u - 1513. Is 4 a factor of u?
True
Let x(h) = 4*h**2 + 3*h - 6 - 6*h - h**2 - h**2. Suppose -5*r + 28 = -2*c, 2*c + r + 12 = -2*c. Is 19 a factor of x(c)?
True
Let z = 12 + -11. Suppose 0 = -5*h - 301 + z. Let y = -30 - h. Is y a multiple of 10?
True
Suppose 0 = 3*g + 3*j - 72, -5*g + 28 + 101 = -4*j. Suppose s = 5*m - g, 0*s - s + m = 5. Suppose s*d - 140 = -4*d. Does 13 divide d?
False
Let b be (-2)/(-11) + 273/11. Suppose -80 - b = -5*h. Does 12 divide h?
False
Let z(m) = 15*m**2 - 4*m**2 + m**3 + 18 - 4 - 2*m. Suppose 0 = -2*r + 6*r + 2*s + 52, s - 18 = 2*r. Does 18 divide z(r)?
True
Let c(v) = -64*v**2 + 4*v - v**3 - 7 - 2*v + 71*v**2 - 3*v. Let i be c(5). Suppose -23 = -2*t + 5*k + i, t - 28 = 2*k. Does 9 divide t?
True
Suppose 3*d - 3*p = d + 383, -2*d + 404 = 4*p. Let x = d + -66. Suppose 0 = 2*a + i - 61, x = -a + 6*a - 5*i. Does 29 divide a?
True
Let t(w) = -w**3 + 13*w**2 - 10*w + 12. Let d be t(12). Suppose -5*j - 4*k + 157 = -d, 2*k - 4 = 0. Is 7 a factor of j?
False
Let i(j) be the second derivative of j**3/2 - 3*j**2 - 24*j. Is 9 a factor of i(8)?
True
Let h = 1704 + -1223. Does 5 divide h?
False
Let h be 2/12 + 225/(-54). Let f be -56 + h + 2/2. Let g = f + 97. Is g a multiple of 19?
True
Let m(j) = 9*j**2 + 16*j + 45. Is m(-7) a multiple of 11?
True
Suppose -2*c + 3*c - t = 6, -2*t + 2 = 5*c. Let p(f) = -2*f**2 - 2*f**2 + 2*f - 2 + 9*f**2 - f**c. Is 2 a factor of p(-2)?
True
Suppose 0 = 3*f + c - 45, f + 5*c = 6*f - 55. Is 11 a factor of (-131)/(-3) + f/42?
True
Let g = -1769 - -2999. Is 30 a factor of g?
True
Suppose -g = -3*g - 3*i + 64, 128 = 4*g + 3*i. Is g/56 - (-1815)/21 a multiple of 29?
True
Suppose 0 = 5*c - 14 - 16. Let z(t) be the third derivative of t**5/60 - t**4/8 - 4*t**3/3 + 2*t**2. Does 6 divide z(c)?
False
Let u = -137 - -317. Does 90 divide u?
True
Suppose 3*w + 3*a - 8*a + 23 = 0, 0 = -2*w + a - 6. Does 14 divide 28/((1*-1)/(-2 - w))?
True
Is 8 a factor of (-1 + -3)*3*556/(-24)?
False
Let x = -9 - -18. Suppose -x = -3*c - 4*u + 11, -2*c - 4*u + 16 = 0. Suppose w + c*y = y + 69, 4*w = 4*y + 244. Does 21 divide w?
True
Let u(d) = d**3 - 2*d**2 + 3*d - 6. Suppose -10 = -5*k + 10. Let s be u(k). Is 11 a factor of (s + -3 + -2)/1?
True
Let d be 0 - (-138 + -3 + 0). Let g = d - 51. Is 13 a factor of g?
False
Suppose -11*i + 12 = -10*i. Does 31 divide 2340/i + (-2 - 0/2)?
False
Let l = -15 + 18. Suppose l*d = d + 3804. Is 13 a factor of d/54 - (-2)/(-9)?
False
Suppose 157 - 1 = 3*s. Let r = s - 25. Is 4 a factor of r?
False
Let v = 502 + 372. Is v a multiple of 46?
True
Is (-6)/(15127/(-2520) - -6) a multiple of 30?
True
Suppose 13*o + 11*o - 4200 = 0. Is 4 a factor of o?
False
Does 13 divide -1 - -357 - (5 + 2)?
False
Let l(d) = -d**2 + 10. Let q be l(0). Let h(m) = -m**2 - 20*m - 1. Let o be h(-19). Suppose -q = -2*p + o. Is 3 a factor of p?
False
Suppose d - 6*d + 12 = -m, 0 = -5*d - 2*m + 21. Suppose 83 + 580 = d*u. Does 16 divide u?
False
Let s(t) = -t**2 - 42*t - 34. Does 28 divide s(-19)?
False
Suppose -77*z + 82*z - 7800 = 0. Does 60 divide z?
True
Suppose 33 = 9*z - 12. Suppose 0 = -3*s - 2*s - z*m + 350, -5*s = -4*m - 386. Is s a multiple of 37?
True
Suppose -3*c - 87 = -2*b, -2*c = 5*b - 3*c - 237. Does 16 divide b?
True
Let q be ((-16)/(-12))/4*75. Suppose 5*b + 4*d = 17 + q, -2*d = b - 6. Suppose b*y - 284 = 6*y. Is y a multiple of 22?
False
Suppose -4*o = -2*s - 4, -s - 2*o = o - 8. Suppose -3*p + 3 = -4*r, 0 = -3*p - s*p - 3*r + 5. Is ((-8)/20)/(p/(-20)) a multiple of 8?
True
Let f(u) be the second derivative of -5*u**3 - 3*u**2/2 - 6*u. Let n be f(3). Let m = n - -161. Is 17 a factor of m?
True
Suppose 2*y + 10 = c, -10 = -5*c + 3*y - y. Suppose -l - 5*u + 212 = c, l - 2*u - 212 = 2*u. Is 34 a factor of l?
False
Let j(d) = d**3 + 10*d**2 - d + 6. Suppose -n = 0, 6 = 2*z + n - 3*n. Suppose z*y + 21 = 3*x, x + 16 = -4*y - 27. Is j(y) a multiple of 16?
True
Let z be ((-38)/6)/(1/3). Let u = -76 + 119. Let p = u + z. Does 7 divide p?
False
Suppose -2*w - 36 = 4. Let y = w - -32. Suppose 8 = 4*p - 4*z - y, p - 4*z + 4 = 0. Is 6 a factor of p?
False
Is 7 a factor of -15 - -2 - -4014 - 4?
True
Suppose 1521 = 19*y - 3875. Does 28 divide y?
False
Let b = 253 - 172. Let o = b - 53. Is 14 a factor of o?
True
Does 42 divide 104/4*(-31)/(-2)?
False
Let s = -815 - -1211. Is s a multiple of 15?
False
Suppose 5*v = -7*v + 34788. Suppose 0 = -u - 12*u + v. Does 42 divide u?
False
Let b(g) = -2*g**3 - 5*g**2 - 9*g + 9. Let j(l) = -3*l**3 - 10*l**2 - 18*l + 18. Let p(i) = 5*b(i) - 3*j(i). Let r = 0 + 6. Is 9 a factor of p(r)?
True
Suppose -280 = s - 48. Let p = s - -430. Does 22 divide p?
True
Let d(q) = 6*q + 17. Let l be d(-8). Let m = l + 33. Is 20 a factor of m/6 + (-528)/(-9)?
False
Suppose -6*i = -5 + 11. Does 6 divide i*1*(-1121)/19?
False
Let v(t) = -32*t + 8. Let u be v(-3). Suppose 4*x - 232 - u = 0. Is 14 a factor of x?
True
Let v = 2 - 2. Suppose 2*i - 4*t = 4*i - 12, -2*i = -3*t - 5. Suppose -i*j + 112 = -v*j. Is 14 a factor of j?
True
Suppose 3*h - 20 = 16. Suppose 4*y - h = 0, 4*o - 5*y = -3*y - 6. Suppose -225 = -o*m - 3*m. Does 25 divide m?
True
Suppose w - 214 - 427 = 0. Is w a multiple of 30?
False
Let q(r) = 10*r**2 - 2*r + 69. Is 27 a factor of q(-10)?
False
Let a = -27 - -67. Is 9 a factor of a?
False
Let i(f) = -f**2 - 6*f - 5. Let q be i(-4). Let n = 2 + q. Suppose 3*t = 5*u - 66, u = -n*t + 9 + 21. Is 4 a factor of u?
False
Let r(d) = -23*d - 60. Is r(-20) a multiple of 18?
False
Is 40 a factor of -7 + (-69)/(-9) + 931/3?
False
Suppose 5*z + 3*r - 23 = 3*z, 5*z + 2*r = 30. Suppose -2*k = 0, -z*k = 2*t + k - 260. Is t a multiple of 13?
True
Suppose -4*t + h + 0*h = 0, 0 = 5*t - 2*h. Suppose -5*g + 103 = 2*u, t*g = -2*u + 3*g + 79. Does 20 divide u?
False
Suppose -4*u + 0 = 2*y + 2, -3*y - 4 = 5*u. Suppose 8*c + c = 18. Is 9 a factor of y/(c + 21/(-9))?
True
Suppose -5*j + 63 = -i, 2*j = 3*i + 2*i + 39. Let f = j - 11. Is 10 a factor of f + -2 + 4 + 37?
True
Let m(n) = 28*n + 9. Let h be (-4)/18 - (-4 - 28/(-36)). Is m(h) a multiple of 36?
False
Let b(p) = -p**2 - 11*p - 14. Suppose 4*q + 2*x + 46 = 0, -q = -0*q - 5*x - 16. Let u be b(q). Suppose 0 = -l - 0*h - 5*h - 2, -u = 2*h. Does 4 divide l?
True
Suppose 40*i = 38*i - 90. Let v = i - -85. Does 8 divide v?
True
Suppose a + 3*w = 5*w - 4, 32 = 4*a + 4*w. Suppose a*n - 4 - 56 = 0. Does 5 divide n?
True
Suppose 0 = -4*v + v + 9. Does 18 divide -46*(v/(-6)*1 + -1)?
False
Let f be (-12)/(-54) - 236/9. Let i = f - 21. Is -2 - ((-2)/(-2) + i) a multiple of 9?
False
Suppose -2*x - 25 = 5*j - 89, 0 = 2*j + 2*x - 22. Let l = 27 - j. Let m = 24 - l. Is 6 a factor of m?
False
Let a = -14 - -2. Let u = 14 + a. Suppose -2*q + u*v = -28, -3*q - 2*v + 44 = -3. Is 15 a factor of q?
True
Suppose 0 = -3*c - 0*h - 5*h - 35, -2*c + 3*h = -2. Let g = c - -8. Suppose f = g + 14. Is 17 a factor of f?
True
Suppose 3*h - 327 = 6*h. Let y = -157 - h. Let x = y + 83. Is x a multiple of 30?
False
Suppose -2*d = 3*w - 4906, -w - w + 3269 = d. Does 32 divide w?
True
Let b(y) = -6*y + 21. Let k be b(3). Suppose z = k, 0 = -2*x - 0*x - 5*z + 65. Is 11 a factor of x?
False
Is 37 a factor of 222*(-1)/(18/(-228))?
True
Suppose -2*r = -4*n + 8, -2*n - 4 = -3*r - 2*r. Let k(t) be the first derivative of t**4/4 - t**3/3 + t**2/2 - 3*t + 3. Is 18 a factor of k(n)?
True
Suppose 20 = -4*w, -184 - 57 = -3*r 