 f(r) a multiple of 10?
True
Suppose 2*s - j - 2*j + 11 = 0, s + 3*j = 17. Suppose -s*r = 5*r - 252. Is r a multiple of 6?
True
Suppose -27 = -25*k + 22*k. Is 60 a factor of k + 184 - (1 - 0)*3?
False
Suppose 0 = 3*k + 2*z - 5067 + 1897, -4*z + 4220 = 4*k. Is 39 a factor of k?
False
Let a = 417 + -215. Does 10 divide a?
False
Let k(t) = -t + 14. Let d be k(8). Suppose -8*y + d*y + 132 = 0. Does 33 divide y?
True
Is (44/12)/(8/144) a multiple of 6?
True
Suppose -2*y - b + 2*b = -6, 0 = -b. Suppose 8*t - 360 = y*t. Is 18 a factor of t?
True
Suppose -4*y - 137 - 3 = 0. Let c = -33 - y. Is (-15 - c)/(2/(-8)) a multiple of 34?
True
Let d(f) be the second derivative of 0 - 2/3*f**3 - 7/2*f**2 - 4*f. Is 3 a factor of d(-9)?
False
Let s = -4 - -8. Suppose s = -2*j + 3*j, 32 = -4*k + j. Let i(z) = -2*z + 2. Is 16 a factor of i(k)?
True
Suppose 4*c = 2*w + 40, -c = -5*c - 3*w + 30. Suppose 2*l = 2*s - 12, 5*s + c = 4*l + 35. Suppose -s*y = -0*y - 4, 3*y = -k + 52. Does 23 divide k?
True
Suppose -4*o - o - 25 = d, -5*o - 40 = -2*d. Let w be (1 - -6)*o/(-14). Suppose 73 = w*s + 1. Does 12 divide s?
True
Let f = 1046 + -304. Is f a multiple of 4?
False
Is 64 a factor of 42/(603/288 - 2)?
True
Suppose 2*f - 378 = 3*a + 1952, 5*f - 5825 = -a. Is 50 a factor of f?
False
Suppose -4*a + 6*a - 4 = 0, 0 = 2*z - 4*a. Suppose -m + 44 = -2*n, -m + 6*m + z*n = 262. Is 3 a factor of m?
False
Suppose -4*z + 3393 = g, 2*z - 1516 = 5*g + 197. Is z a multiple of 8?
False
Suppose 0 = -3*k + k + 56. Suppose 27*d - k*d = -150. Is 30 a factor of d?
True
Suppose 0 = -3*m + 4*q + 984, 4*m + 2*q = -74 + 1364. Let v = m - 167. Is v a multiple of 54?
False
Suppose -x = -5*t + 770 + 337, 3*t = -x + 661. Suppose 4*u - u - 2*f = t, 2*f = -u + 79. Suppose 0*q - 5*q + u = 0. Is 5 a factor of q?
True
Suppose 0 = 5*n - 101 - 4. Let w = -13 + n. Let y(k) = -k**2 + 11*k - 2. Does 9 divide y(w)?
False
Let d(v) = v**3 - 13*v**2 - 23*v - 12. Is d(15) a multiple of 18?
False
Let r = 6 - 3. Let b be (-15)/10*8/r. Let y = b - -21. Is 8 a factor of y?
False
Let j(a) be the first derivative of -11 + 5/3*a**3 - 2*a - 1/4*a**4 + 3*a**2. Is j(4) a multiple of 9?
False
Suppose 0 = 3*d - 819 - 570. Does 26 divide d?
False
Let a(m) = m**3 + 7*m**2 + 9*m. Let t be a(-5). Suppose t*j = 7*j - 56. Is j a multiple of 14?
True
Let v = -23 - -65. Does 6 divide v?
True
Let z(g) = -g - 4. Let f be z(-4). Suppose -11*t + 8*t = f. Suppose 5*h + q - 260 = t, h + q - 3*q = 41. Does 22 divide h?
False
Suppose 0*f = 19*f - 10944. Does 16 divide f?
True
Let r be 3/(0 + (-2)/(-2)). Suppose -s = r*s. Suppose s = -4*q + 7 + 5. Is q a multiple of 3?
True
Let m be -86*(16/(-72) - (-154)/(-36)). Suppose 0 = -3*a - 90 + m. Is 11 a factor of a?
True
Suppose 22*f = 39*f - 4743. Is 9 a factor of f?
True
Let j(l) = -l**3 + 6*l**2 + 9*l - 10. Suppose -4*y = -y - 21. Let z be j(y). Suppose 4*a = -4*c + 84, z*c + a - 47 - 37 = 0. Is c a multiple of 7?
True
Suppose 1716 = -1180*i + 1191*i. Is 26 a factor of i?
True
Let v(h) = -h**3 - 8*h**2 - 7*h + 2. Let d be v(-7). Suppose 4*c - 150 = -5*y, d*c + 25 = 3*c - 5*y. Does 8 divide c?
False
Suppose 8*r - 561 = -25. Suppose -4*u = -3*c - 392, r + 227 = 3*u + 3*c. Is 39 a factor of u?
False
Is -1 - (5 - -1) - -293 a multiple of 4?
False
Let t = -212 + 358. Is t a multiple of 6?
False
Suppose 17*x = 1373 + 38. Is x a multiple of 11?
False
Let z(o) = 188*o + 370. Does 11 divide z(4)?
True
Let w(t) = -9*t**3 - t**2 + 1. Suppose 10 = 4*b - 2*b. Suppose 0 = -h - 4*h - b. Does 3 divide w(h)?
True
Let n be (-36)/24 + (-378)/4. Let a = 171 + n. Suppose 0 = 5*b + 5*o - a, 2*b + o + 3*o - 30 = 0. Is 15 a factor of b?
True
Let o = 28 + -32. Is 2 a factor of (-44)/(-2)*(-2)/o?
False
Let m = 20 - 28. Let b = 29 + m. Suppose 0 = 4*u - 23 - b. Does 6 divide u?
False
Let z be -2 + 2 + 36/1. Let j be (-1100)/(-132) - 2/6. Suppose -6*n - z = -j*n. Is 18 a factor of n?
True
Suppose 0 = -i - 0 + 6. Does 28 divide (6*9)/(4/i)?
False
Suppose 2*o = 4*o. Suppose 0 = -2*c - o*c - k + 3, 0 = -c - 4*k - 2. Suppose -c*t + 17 = -49. Is 6 a factor of t?
False
Suppose 12 = -3*p, 2*w + 2*w + p - 32 = 0. Let z = w - 4. Suppose 2*c - 8 = 0, 0 = -g + z*c + 22. Does 14 divide g?
True
Let n = 231 - -237. Is n a multiple of 18?
True
Suppose -9*d - 12 = -12*d. Suppose 0 = -t - 3*c + c + 107, -d*t - c = -400. Is 33 a factor of t?
True
Suppose 10*r - 106 = 8*r. Is r a multiple of 4?
False
Let b = 311 + -247. Is b a multiple of 20?
False
Let x(c) = -c**3 - 4*c**2 - 8*c - 11. Is 29 a factor of x(-6)?
False
Let j = 1 + 3. Suppose 0 = 4*g - 8*u + 4*u + 24, 0 = -4*g - u - j. Is 86/4*(g - -4) a multiple of 14?
False
Let o(q) = -14*q**3 - 8*q**2 - 94*q + 6. Does 38 divide o(-6)?
True
Does 4 divide (2 - 50)*(-16)/6?
True
Let h = 39 + -23. Suppose 2*j + 0*g = -g + 25, 4*g = -2*j + h. Suppose -4*x = -j - 38. Does 12 divide x?
False
Let b = 245 + -21. Is 16 a factor of b?
True
Let j(l) = 24*l - 15. Let a be j(7). Suppose 57 = -4*w + f + a, -4*f = 0. Is w a multiple of 3?
True
Let i(s) = 18*s**3 + 13 - 17*s**3 - 5*s - 4*s. Is i(6) a multiple of 35?
True
Let q = 248 + -476. Suppose 0 = 2*b + 4, 0*p + 3*p + 2*b + 487 = 0. Let s = p - q. Is s a multiple of 27?
False
Let t = -260 + 71. Let f = t + 285. Is f a multiple of 18?
False
Let n(q) = q**3 - 27*q**2 - 10*q + 14. Is 35 a factor of n(28)?
False
Let l(m) = -m**3 + 16*m**2 + 14*m - 7. Let v be l(15). Suppose -v = 10*w - 14*w. Is w a multiple of 32?
False
Let q be 6*(-2 - -1)*(-2)/6. Suppose -2*a + 0*a = 5*b - 388, -q*b = -2*a + 360. Does 46 divide a?
True
Let o(t) = 4*t + 122. Is o(5) a multiple of 31?
False
Let p(a) = a**3 + 25*a**2 + 47*a + 48. Let l be p(-23). Let k = -17 + 60. Let j = k - l. Does 6 divide j?
True
Let q = 2335 + -1125. Does 55 divide q?
True
Let v = -1294 - -2161. Does 17 divide v?
True
Let r = -849 - -881. Is 2 a factor of r?
True
Let r(x) = -4*x - 7. Let v be r(-7). Suppose c + 2*c = v. Let j(z) = 2*z**2 - 4*z - 10. Is 20 a factor of j(c)?
True
Suppose 3*x + 0*k - 2209 = -k, -x + 731 = -k. Is 7 a factor of x?
True
Suppose 0 = -5*v - 23 + 73. Suppose 0 = 5*t + v, 5*k - t - 2*t - 26 = 0. Suppose 2*j + 28 = k*j - 3*l, 5*l - 120 = -5*j. Does 7 divide j?
False
Let i be (-52)/(-13) - (-1 - 0). Suppose -18 = 2*y - 68. Suppose i*v = 20 + y. Does 7 divide v?
False
Suppose 89*f = 112*f - 3358. Is f a multiple of 31?
False
Let y = -23 + 29. Let k(t) = 2*t**2 - 11*t - 4. Is k(y) a multiple of 2?
True
Let i = -701 + 2934. Is 29 a factor of i?
True
Suppose 7*m = 19 + 16. Suppose 2*p + 222 = m*r - 0*r, 4*p - 200 = -4*r. Does 13 divide r?
False
Is 9 a factor of 169320/285 - (222/(-57) - -4)?
True
Let s = -1 - -4. Let d = -28 - -35. Suppose -s*h - d = -88. Is h a multiple of 9?
True
Let g(u) be the third derivative of -17*u**4/24 + 2*u**3/3 - 4*u**2. Let h be g(-4). Suppose 4*v - h = -2*w + 5*w, -v = 4*w + 1. Is 6 a factor of v?
False
Let x(r) = 4*r - 10. Let a be x(4). Suppose -3*s + 12 = -m, -s + 3*m - 6 = a*m. Is s a multiple of 2?
False
Suppose 5*o + 84 - 414 = 0. Let z = 99 - o. Does 32 divide z?
False
Suppose -10 - 5 = 5*r, -4*u = 5*r - 29. Suppose 9*t = u*t - 246. Does 20 divide t?
False
Suppose -25*c - 1344 = -29*c. Suppose -c = -f + l, -2 = -f + 3*l + 334. Is 21 a factor of f?
True
Let p(o) = 4*o + 4*o - 3*o - 2*o + o**2. Let j be p(-3). Suppose -5*h = n - 48, -2*h = -j*n - 5*n - 3. Is 9 a factor of h?
True
Suppose 4*v - 2*j = v - 28, 3*j = -4*v - 9. Suppose -7*s - 9 = -4*s. Is 10 a factor of (-146)/v + (-2)/s?
False
Suppose m + 2*m - 621 = 0. Is 16 a factor of m?
False
Suppose 5*q = -2*y + 1279, 3*y + 4*q - 1921 = -q. Suppose -d - 2*v = -250, -4*d + 5*v = y - 1707. Is d a multiple of 13?
True
Let a be ((-3)/2)/((-2)/4). Suppose a*j - 8 = 4. Does 2 divide 1*7 + -4 + j?
False
Does 13 divide (-2 - 647)*(-76 + 69)?
False
Suppose 7*i - 3*i - 324 = 0. Let h = 178 - i. Suppose 4*r - h = 59. Is r a multiple of 13?
True
Suppose -o - 5*l = -27, 0 = 4*o - 2*l - 9 - 33. Suppose -r - 2*r = o. Let g(y) = 3*y**2 + 6*y + 5. Does 29 divide g(r)?
True
Let a(m) = 121*m - 8. Let p be a(8). Suppose 0 = -3*k + 5*k, -2*k + p = 4*w. Suppose w = 4*n + 20. Is n a multiple of 15?
False
Suppose 0 = -z - 2*j + 313, -1272 = -3*z - z - 3*j. Is z a multiple of 74?
False
Suppose 0*m = -2*m - 3*l + 432, 0 