*f = 130. Is f a multiple of 7?
False
Suppose -b + 6 = -4*b, 5*k + 2*b = 471. Let l = k + -64. Does 3 divide l?
False
Let m(c) = -5*c**3 + 8*c**2 + 6*c + 5. Let f(y) = -y**3 + y**2 + y. Let g(q) = -6*f(q) + m(q). Let b be g(4). Suppose r + 36 = b. Is r a multiple of 14?
False
Let k = 631 - -35. Is k a multiple of 31?
False
Suppose 2*a - 20 = -2. Suppose 0 = -8*z + a*z - 1. Suppose 3*i = -i - 5*d - z, 2*d + 34 = 4*i. Is i a multiple of 5?
False
Does 24 divide (3 + (-21)/6)*(-3378 - -14)?
False
Suppose -3*z + 32757 = 3*n, z - 6*z - 5 = 0. Is n/77 - (-6)/33 a multiple of 29?
False
Let x be ((0/1)/2)/(-2). Suppose -i + 2*m = 3*i - 20, -3*i - 4*m = 7. Suppose 84 = i*j - x. Is j a multiple of 7?
True
Let s(x) = -6*x - 31. Let u = 32 + -43. Does 5 divide s(u)?
True
Suppose -4*g - 20 = 12. Let i be 4/g - (-1)/2. Suppose -3*t - 2*j + 173 = i, 2*j = t - 85 + 30. Does 18 divide t?
False
Let l(w) = -4*w + 2*w + 26*w - 14 + 7*w**2 - w**3 - 6. Does 11 divide l(8)?
False
Suppose -l - 2 - 12 = 0. Let m = -10 + -13. Let w = l - m. Is w a multiple of 3?
True
Suppose 2*g + 3270 = 4*n, 4068 = 5*n + 4*g - 0*g. Is 48 a factor of n?
True
Let s(h) be the first derivative of -h**4/4 + 4*h**3 - 15*h**2/2 + 5. Is 10 a factor of s(10)?
True
Let m(y) = 59*y - 10. Let s be m(2). Suppose 8*c + 360 = 3*c. Let f = s + c. Is f a multiple of 18?
True
Suppose -a - 5 = -11. Suppose a*x - 142 - 218 = 0. Does 15 divide x?
True
Suppose 8*b - 149 = 7*b. Suppose -3*y - 30 = -5*s + 118, -5*s + b = -4*y. Suppose 5 = -p + 3*o + s, 0 = -2*p - 2*o + 16. Is p a multiple of 6?
True
Suppose 9*o = 7*o + 576. Suppose -2*b - 4*b = -o. Is b a multiple of 12?
True
Let b = -4 + 5. Suppose -4*x = 2*f - 16, 3*f + b - 5 = -x. Is (-4 + f)*12/(-2) a multiple of 12?
True
Suppose -5*p = 3*k - 22, 5*p + 3*k = -k + 21. Suppose f - 2*f = -p*w - 206, -2*w = -3*f + 644. Does 8 divide f?
True
Suppose -2*d - 72 - 16 = -c, -4*d = -4*c + 344. Is 42 a factor of c?
True
Suppose -5*p + 5*f = -2330, -p + 129 + 347 = 4*f. Is 52 a factor of p?
True
Suppose 2*x + c = 693, 2*x + 25*c = 30*c + 711. Is x a multiple of 15?
False
Suppose -8*n = 3*n - 2519. Is n a multiple of 3?
False
Let s(h) = h + 17. Let v be s(-12). Suppose v*o - 402 = 73. Suppose 3*p + 5*a + o - 251 = 0, p = 5*a + 72. Is p a multiple of 19?
True
Let f(a) be the second derivative of -2*a**2 + 0 + 1/6*a**3 + 5/12*a**4 + 1/20*a**5 - 10*a. Is 2 a factor of f(-3)?
False
Let p = 316 - 322. Let i = 13 - 27. Let x = p - i. Is x a multiple of 4?
True
Suppose -4*v - b + 139 = -1536, 2*v + b = 835. Is 7 a factor of v?
True
Let g(d) = 5*d**2 - 2*d + 13. Let j be g(-4). Let u = -78 + j. Does 2 divide u?
False
Let y = -3 - -5. Suppose 4*s + 64 = -y*n, -4*n + s + 49 = 213. Does 7 divide 1/(-5) - 528/n?
False
Let f be ((-9)/(-3) + -4)*12. Let z be 4/f - (-489)/9. Suppose v - 58 = -5*m, 5*m + v = -2*v + z. Is m a multiple of 12?
True
Let u(l) = l. Let b be u(2). Suppose 5*y + b = -8. Does 9 divide 11 + (3 - -1) - y?
False
Let l(k) = -14*k + 5. Let w be l(7). Let q = -85 - w. Does 7 divide q?
False
Suppose -67146 = -50*c + 31*c. Does 35 divide c?
False
Does 100 divide (0 - 2) + 1762 + (4 - 5)?
False
Let f be (2 - 32) + 9/3. Let n be (f/(-12))/(2/16). Suppose 18 = 4*h - n. Is h a multiple of 2?
False
Suppose -737*x = -703*x - 32572. Is x a multiple of 4?
False
Let z = -9 - -14. Suppose 0 = 5*u + 10, -z*y + 4*u = -330 - 158. Suppose 4*j - p - 160 = -j, -y = -3*j + 5*p. Is 11 a factor of j?
False
Suppose 2*a + 4*m + 20 = -0*m, 5*m + 25 = a. Suppose 0 = p - 3*f - a*f - 5, -10 = -2*p + f. Let k = p + 1. Is k a multiple of 2?
True
Let t = 15 + 7. Is 18 a factor of t?
False
Let b(z) = -1061*z**3 + z**2 - z - 1. Is b(-1) a multiple of 46?
False
Let d(s) = 3*s**2 - 42*s + 156. Is 17 a factor of d(4)?
False
Let a(d) = 3*d - 33. Let k be a(5). Does 3 divide (24/k)/((-2)/63)?
True
Does 7 divide (1/2)/(2/24)*18?
False
Suppose -1576 + 442 = -3*x. Let t = x - 234. Does 9 divide t?
True
Let w(q) = -q**2 + 13*q - 16. Let l = 24 + -15. Is 9 a factor of w(l)?
False
Let z(k) = -k**2 - k - 169. Let w be z(0). Let v = w + 259. Is 15 a factor of v?
True
Let t(s) = s - 13. Let q be t(15). Suppose -4*i - 10 = -x, -2*x - q*i + 29 = -11. Does 9 divide x?
True
Let l be 2 + (9 - 0/2). Suppose g - l = 11. Is 11 a factor of g?
True
Let m = -348 - -362. Does 5 divide m?
False
Suppose -l = 4*l - 10. Suppose 349 = l*a - 3*k, -5*a + 0*k + 915 = k. Does 28 divide a?
False
Suppose 3*y + 0*x = 3*x - 135, 2*x + 2 = 0. Let t = 94 + y. Does 8 divide t?
True
Suppose 5*o + 6*s + 335 = 2*s, -38 = o - 5*s. Let h be (-1908)/o - (-4)/(-14). Is (-53)/(-2) - 15/h a multiple of 26?
True
Does 35 divide 53 + (12/(-8))/(-3)*-6?
False
Let n = 1 - 1. Suppose 5*q + 56 = 2*o - o, n = -2*o - 2*q + 136. Is o a multiple of 11?
True
Suppose 62*f = 67*f - 5. Let z = f + 14. Does 15 divide z?
True
Suppose 3*i + 12 = -228. Let a = -49 - i. Suppose a = h - 2. Is h a multiple of 10?
False
Suppose w = 4*w + 15. Let a be (-2)/(((-3)/3)/w). Let x = a - -34. Is x a multiple of 6?
True
Let o be (-1 + 1)/(-1) - -172. Let p = o + -73. Is (p/44)/(1/28) a multiple of 21?
True
Suppose -17 = -4*x + 11. Suppose 10 = -8*m + x*m. Is (-10 + 6)*m/8 even?
False
Suppose 103*k - 10026 = 892. Is k a multiple of 3?
False
Let m(d) = -d**2 + 11*d + 61. Let b be m(14). Suppose b*r - 290 = 14*r. Is r a multiple of 58?
True
Is 7 a factor of (-1112)/(-20)*(42 - 2)?
False
Suppose 3*q = -9*q - 528. Let v = q + 84. Is 9 a factor of v?
False
Let k(w) = w**3 - 8*w**2 + 8*w - 5. Let j be -3 + (13 - (-8)/(-4)). Is 33 a factor of k(j)?
False
Let o(y) = 2*y**3 + 27*y**2 - y - 10. Is o(-7) a multiple of 29?
False
Suppose -65 + 57 = -g. Suppose g*m + 420 = 13*m. Does 20 divide m?
False
Suppose 3*p = 8*p - 4*h - 4672, 2 = h. Is p a multiple of 9?
True
Let d(r) = -4*r - 92. Let z(n) = n + 1. Let s(c) = -7*c - 29. Let p(k) = -s(k) - 6*z(k). Let m(f) = 2*d(f) + 9*p(f). Is 5 a factor of m(-18)?
True
Is 6 a factor of (-10)/3*(-2 - 16) - -6?
True
Let s(q) = q**3 - 13*q**2 - 9*q + 9. Let z be s(14). Suppose -z = 4*h - 395. Is h a multiple of 14?
False
Let m(l) = -l. Let j be m(0). Suppose -f = c - 4*f - 38, -4*f + 20 = j. Is c a multiple of 12?
False
Let z(l) = -3*l + 2*l + 2*l - 2. Let w be z(2). Suppose w = -4*p - 0*p + 152. Is 11 a factor of p?
False
Let j(q) be the first derivative of q**4/4 + 8*q**3/3 - 4*q**2 + 9*q - 45. Let y(c) = -c**3 - 8*c**2 + c. Let i be y(-8). Does 9 divide j(i)?
False
Suppose 5*a - 5*j + 40 = 0, 3*a - 3*j - j = -20. Let h be (a/24)/(2/(-208)). Is 23 a factor of h - 4/(3/3)?
False
Suppose 4*x - 8*x + 326 = -l, 4*x + l = 330. Suppose 0 = 4*z + 2 - x. Is 4 a factor of z?
True
Suppose 5*h = -3 - 7. Suppose n = -y + 9, 5 + 5 = n + 2*y. Let w = h + n. Is 4 a factor of w?
False
Is -2902*(21/(-34) + (-134)/(-1139)) a multiple of 33?
False
Let t(k) = 10*k**2 - 15*k - 61. Is 12 a factor of t(-6)?
False
Let x(u) = 397*u - 52. Is 16 a factor of x(4)?
True
Is (6/(-12))/((-1)/3468) a multiple of 6?
True
Let y(o) = -5*o**2 + 8*o + 2. Let i(a) = -4*a**2 + 8*a + 2. Let l(u) = 4*i(u) - 3*y(u). Let c be l(8). Let j(v) = 7*v**2 - 2*v + 2. Is 20 a factor of j(c)?
False
Suppose -3*n - 4*m = -542, 3*n - 701 = -n - m. Is n a multiple of 4?
False
Let o(k) be the first derivative of 2/3*k**3 + 1/4*k**4 + 3*k - 8 - 5/2*k**2. Does 22 divide o(4)?
False
Suppose 474 = 2*w - 4*h + 100, 724 = 4*w - 2*h. Let n = -93 + w. Suppose 2*z - n = -10. Does 9 divide z?
False
Suppose 3*i = 2*x - 2, -4*x + 4 = -5*i - 0. Suppose i = -a - 2*a + 36. Suppose -3*w + 33 + a = 0. Does 5 divide w?
True
Is 38 a factor of ((-684)/(-20))/((-6)/(-20))?
True
Suppose -4*x = -68 - 172. Suppose -3*m = y - 2*y - x, 0 = -y + 3. Let t = m - 17. Is t a multiple of 3?
False
Let q(t) = -t**2 - 3*t + 60. Let s be (-7 - -7)/(4/(-2)). Is q(s) a multiple of 30?
True
Let m = -2185 + 2228. Does 2 divide m?
False
Suppose -2*s - 18 = 6*r - r, 0 = s + 5*r + 19. Let l(q) = 21*q - 3*q + 4*q + 0*q. Is 13 a factor of l(s)?
False
Is 79 a factor of 333/(-36) + 8 - (-2533)/4?
True
Suppose s + 64 = -3*s. Let n = 34 + s. Suppose -q - n = -2*q. Is 5 a factor of q?
False
Suppose 2*m + 6*r = 5*r - 10, 5*r + 20 = 0. Let n(g) = -3*g. Does 2 divide n(m)?
False
Let x = -3156 + 4725. Is 7 a factor of x?
False
Let a = -76 - -79. Suppose -