 Suppose 3*a - g = -14, 6*a - p*g + 11 = 3*a. Let m(h) = 2*h**2 - h + 5. Is m(a) a multiple of 5?
True
Suppose 2*o + 176*n - 171*n = 73072, -73056 = -2*o + 3*n. Is o a multiple of 180?
False
Let n be (-1 - (-55)/15)*6/8. Suppose 2*g = 2*z - 20, n*z = g + 18 - 3. Suppose 0 = z*f + 4*u - 143, 3*f - u - 106 = -f. Is 3 a factor of f?
True
Let h(c) = 2*c**3 + 36*c**2 - 140*c + 17. Is 34 a factor of h(12)?
False
Let p be 80/4*(-2 - (-22)/8). Suppose 3*x - p = -3, 5*r - 6 = x. Suppose -4*w - 280 = -7*j + r*j, 2*w = j - 62. Is 13 a factor of j?
True
Let p(b) = -b**2 + b + 20. Let c be p(-4). Suppose i - 1 = c, 3*t + 0*t = -4*i + 124. Let l = t - -19. Does 10 divide l?
False
Let p(m) = 185*m + 884. Is p(52) a multiple of 104?
True
Let o = -42 - -44. Suppose 4*k - 54 = -o. Suppose -f + 69 = k. Is f a multiple of 14?
True
Suppose 28*m + m + 54972 = 1021803. Does 14 divide m?
False
Suppose 3*f - 1 = -5*y, -y + f + 2 = -3. Suppose -3*u + 97 = r, u - 169 = -y*r + 30. Is r a multiple of 7?
False
Let j(x) = -16*x - 17. Suppose 4 = c, r + 26*c - 22*c - 8 = 0. Is j(r) a multiple of 2?
False
Let i = -28501 - -55403. Is i a multiple of 72?
False
Suppose 5 = -5*y, -5*l + 2*y + 11 = -1. Let z be l/(-13) - 134/(-26). Let n(s) = -s**2 + 12*s + 1. Does 12 divide n(z)?
True
Is 12/(-36) + (-52568)/(-24) a multiple of 10?
True
Suppose -2 = 5*k - 12. Let x be ((-3)/k)/((-3)/316). Suppose 802 + x = 8*f. Does 30 divide f?
True
Let l = -87 - -83. Is 6/((-24)/l)*76/2 a multiple of 32?
False
Let h = 101 + -58. Let g = -14 + h. Suppose -24*y = -g*y + 220. Is 27 a factor of y?
False
Suppose -17*p + 28800 = -5*p. Let y = p + -1504. Does 56 divide y?
True
Suppose 0 = -37*c + 31*c + 42. Let q(p) = 2*p**3 - 8*p**2 - 12*p + 55. Is q(c) a multiple of 9?
False
Let o(u) = 4120*u - 201. Is o(5) a multiple of 16?
False
Let d = 26777 + -11487. Is 14 a factor of d?
False
Let h(t) = -t**3 - 48*t**2 + 5*t + 510. Is 12 a factor of h(-54)?
True
Let b(v) = 67*v + 5. Let w be b(6). Suppose 0 = 7*t - 13 - w. Is t a multiple of 43?
False
Let y(z) = 7*z**2 + 10*z + 22. Let s(p) = -5*p**2 - 10*p - 22. Let t(v) = 6*s(v) + 5*y(v). Does 26 divide t(7)?
False
Let i(j) = -18*j + 534. Is i(24) a multiple of 6?
True
Let f(d) = d**3 - 2*d**2 - 6*d + 13. Let j be f(3). Suppose -j*z = -1059 + 287. Is z a multiple of 14?
False
Suppose -129*v + 133*v = 24. Let y be v + 1 + -1 + 0/(-10). Suppose -y*a - 4*d + 41 = -5*a, 5*d + 72 = 3*a. Does 13 divide a?
False
Let u(v) = 3*v**2 + 4*v + 226. Does 54 divide u(44)?
True
Is 384*(-5 + (-238)/(-42)) a multiple of 2?
True
Let x(t) = -9*t**3 - 2*t**2 + 8*t + 1. Let o be x(-4). Let j = o - -367. Suppose -80*k + j = -75*k. Does 44 divide k?
True
Let p = 447 + -561. Does 18 divide 668 + ((-9)/(-21) - p/(-21))?
False
Suppose -a + j + 105 = -68, 4 = 4*j. Is 30 a factor of a?
False
Suppose 0 = 8*f - 12*f - 3*l + 25, -3*f + l + 9 = 0. Suppose -4*a + 3*a = f*x - 2309, -x + 575 = a. Is x a multiple of 34?
True
Suppose -7*x + 9*x = -3*y - 85, 0 = y + 5*x + 37. Is (-36)/y + (-1 - (-1312)/6) a multiple of 54?
False
Suppose -u = 8*u - 18. Suppose -642 = -2*b - 3*m, m - 316 = -b + u*m. Does 22 divide b?
False
Let u(p) be the first derivative of -p**3 - 16. Let z be u(-1). Let i = z - -75. Does 33 divide i?
False
Suppose 32*w - 293*w = -5392652 + 1356026. Does 22 divide w?
True
Let u(j) = 2 + 12 + 1 - 3 + 816*j. Let y be u(3). Suppose 6*l + 780 = y. Is l a multiple of 28?
True
Suppose -14 = -3*a - 4*l, 35 = a + 4*a - 5*l. Suppose 0 = 3*x - a*x + 48. Suppose -5*i + 76 = x. Is 2 a factor of i?
True
Suppose 3*m - 4*a - 34347 = -7*a, 3*a + 34353 = 3*m. Is 103 a factor of m?
False
Let c = 174 - 174. Suppose c = 23*p - 1482 - 7764. Does 14 divide p?
False
Let k(i) = i**2 - 5*i + 7. Let x(o) = -o**2 + 6*o - 7. Let j(r) = -5*k(r) - 6*x(r). Let t be j(8). Is ((-15)/(-10)*t)/(1/(-2)) a multiple of 17?
True
Suppose 0 = -291*i + 254*i + 296296. Is 77 a factor of i?
True
Let a = 418 - -492. Does 130 divide a?
True
Let k(y) = -y**3 - 6*y**2 + 14*y + 48. Let q be k(-7). Let b(a) = 52*a**2 - 6*a - 7. Is 2 a factor of b(q)?
False
Let w(a) = -2*a**3 - 6*a**2 + 7*a + 1. Let q be w(-6). Suppose -4*y = -n - q, 3*y = n + 31 + 100. Suppose -54 - y = -l. Is l a multiple of 21?
False
Suppose -97*q - 9 = -98*q. Suppose -14*o + q*o = -30. Suppose -3*c = -s + o*s - 303, -372 = -4*c + 4*s. Is c a multiple of 8?
True
Let r be (-4)/6*(14 - 20). Let t(y) = 18*y**3 - 2*y**2 - 2*y - 25. Is t(r) a multiple of 35?
False
Suppose -4*y = -41 - 175. Let z = y + -23. Let x = z + 2. Does 17 divide x?
False
Is (20 - (24 + -21)) + 49167 a multiple of 29?
True
Let o = 1 - -50. Let s = 92 + -130. Let j = o + s. Is j a multiple of 13?
True
Suppose -88 = -9*m - 25. Suppose -m*l + 1728 = 2*l. Suppose -5*f = -9*f + l. Is 13 a factor of f?
False
Let v(g) = -g**3 + g**2 - 3*g + 1. Let s(n) = 6*n**3 + 59*n**2 + 3*n + 8. Let z(c) = -s(c) - 4*v(c). Does 18 divide z(-32)?
False
Let k be (-72)/27*((-3)/(-12) - 1). Suppose k*q + 1 - 329 = 0. Is 24 a factor of q?
False
Let k(d) = -12 - 17*d**3 + 5*d**2 + 0*d**2 + 15*d**3. Let o be k(-6). Suppose -h - o = -6*h. Does 15 divide h?
True
Let y(l) = 270*l**2 - 320*l - 16. Is y(8) a multiple of 109?
False
Let v = 453 - -5088. Does 11 divide v?
False
Let a be 9 - (5 - 550/5). Suppose -107*u - 2093 = -a*u. Is u a multiple of 5?
False
Suppose -27*v + 1405 = -7613. Let f = v - 11. Does 20 divide f?
False
Suppose -131 = 5*a - 6. Let c = a - -28. Is 17 a factor of 34 - -3*(c - 2)?
False
Suppose 3209*p = 3*q + 3208*p - 25570, 4*p - 8558 = -q. Is 42 a factor of q?
True
Suppose l - 3*v + 0*v + 721 = 0, 2*l + 4*v + 1432 = 0. Let k = l - -1678. Suppose 3*c = 5*f + 145 - k, -3*f - 5*c + 455 = 0. Is f a multiple of 16?
True
Suppose -9*y + 11*y = -82. Let a = -46 - y. Is 25 a factor of a*(41/(-4) + (-1)/(-4))?
True
Suppose 4*j - 62 = -22. Let m = 76 - j. Suppose -4*x + m + 510 = 0. Does 16 divide x?
True
Let a be 19/((-3 - -4)/59 + 0). Suppose 0 = -18*d - d + a. Does 2 divide d?
False
Let s(f) = -9*f - 59. Let g be s(-13). Let j = g + -25. Does 7 divide j?
False
Suppose -2*g = -18*g + 110208. Does 53 divide g?
False
Suppose -3422*t = -3404*t - 117126. Does 15 divide t?
False
Suppose z + 17 = 5*z + k, z = -2*k - 1. Suppose 3*w - 7 = z. Suppose 3*n = 3, 4*s + w*n - 180 + 40 = 0. Is 9 a factor of s?
False
Let s(j) = -48*j + 7. Let u(b) = 46*b - 8. Let n(l) = 2*s(l) + 3*u(l). Is n(5) a multiple of 50?
True
Let n(q) = 3*q**3 + 2 + 8*q + q - 7*q - 2*q**2 - 7. Let o(y) = -y - 5. Let m be o(-8). Is 32 a factor of n(m)?
True
Let n(b) = -211*b - 19. Let a be n(1). Let g = -144 - a. Is g a multiple of 11?
False
Suppose 5*d + 3771 = w, 0 = 2*w + 134*d - 130*d - 7542. Does 46 divide w?
False
Let m(v) = v**3 + 26*v**2 - 2*v + 16. Let j = -411 + 385. Is 4 a factor of m(j)?
True
Let j(x) = 250*x**2 - 50*x - 2. Let z be 60/(-54)*(-3)/(-5)*3. Is j(z) a multiple of 19?
False
Suppose 20*k - 2*k - 41668 = 16382. Is 15 a factor of k?
True
Suppose 8*a + 7*a = 30. Suppose 1 + 7 = 2*o, -92 = -k - a*o. Is k a multiple of 28?
True
Let h = 894 - -330. Does 2 divide h?
True
Let z be 1352/(-6) + (-20)/(-15). Let l = 226 - z. Suppose 15*s + l = 18*s. Is s a multiple of 21?
False
Let j(a) = -a**2 - a. Let i be j(3). Does 6 divide (i/16)/((-2)/(-464))*-1?
True
Suppose -568 = -3*z + 2*o + 388, 12*o = -48. Does 21 divide z?
False
Let l = 5659 - 4627. Is 23 a factor of l?
False
Let a(o) = -10 + 3 + 8*o + 643*o**2 + 922*o**2. Is 54 a factor of a(1)?
True
Suppose -2*p + p = 5, -7618 = -3*o + 2*p. Let r be o/7 + (282/42 - 7). Suppose 4*a - 46 = r. Is 40 a factor of a?
False
Let v = 57 + 16. Suppose v*a + 780 = 75*a. Is 16 a factor of a?
False
Suppose 0 = 3*s - 5*m - 95, 5*s + 3*m - 57 = 3*s. Suppose 0 = d + 3*l - 10, -5*d = 2*l - 3*l + s. Let g(p) = -15*p + 37. Is 16 a factor of g(d)?
True
Let k = 75 - 68. Suppose n + r = 1351, r + 6749 = -2*n + k*n. Does 18 divide (n/(-125))/(2/(-30))?
True
Suppose -2*s - 253 = -i, -5*i = -s + 2*s - 1287. Let y = -243 + i. Is y a multiple of 7?
True
Let l be 2735*((-2780)/(-450) - (-6)/27). Suppose 20*f = l - 4544. Is f a multiple of 72?
True
Is (-3542)/(-4)*18544/8113 a multiple of 44?
True
Suppose -142 = 4*h - 3*h + 2*s, s = 4*h + 577. Is 64 a factor of (h/(-14))/(9/336)?
True
Let k(a) be the first derivative of 