8*x**3 + 2*x**2 + 2*x - 1. Let r be y(2). Let t = r - w. Does 26 divide t?
True
Suppose -4*o + 2*c - 58 = 0, 0 = -o + 3*c - 20 - 7. Let l(p) = 2*p - 48. Let z be l(o). Let f = -38 - z. Does 30 divide f?
False
Let b be (2 + 35/(-14))*(-588)/1. Let t = b - -222. Is t a multiple of 12?
True
Suppose 4*q + 8 = -k, -4*k = -q + 45 + 4. Let w be (-2)/3*k - 1. Suppose -w = -3*m + 206. Is m a multiple of 12?
False
Let a(w) = 49*w - 450. Is a(18) a multiple of 2?
True
Let u = -2818 - -9074. Is u a multiple of 46?
True
Let q be (-5)/(125/(-185)) + (-4)/10. Suppose 4*i - 10 - 1 = b, 4*i - 5*b - q = 0. Suppose -i*k - 126 = -5*k. Is 23 a factor of k?
False
Let u(q) = -3*q**2 - 25*q + 54. Let a(k) = 16*k**2 + 124*k - 268. Let s(x) = 2*a(x) + 11*u(x). Does 12 divide s(-25)?
True
Let f = 135 - 44. Suppose -4*x + f = x + j, -j + 1 = 0. Let a = 68 - x. Is a a multiple of 25?
True
Suppose 2515 = 16*z - 1325. Let a = z + -72. Is 21 a factor of a?
True
Let m(p) = -60 - 39 - 24 + 8*p**2 + 2*p - 33*p. Does 11 divide m(-4)?
False
Suppose -71 = -7*q + 146. Suppose 0 = -q*i - 3781 + 32332. Is i a multiple of 46?
False
Suppose 2*q - 66*i - 84782 = -67*i, -q = 5*i - 42364. Does 15 divide q?
False
Suppose 2*t + 6 = -0*t, 0 = -i - t - 1. Suppose -3*p + u + 2 = -i, -4*p - 8 = 2*u. Suppose -5*o + f + 48 + 70 = p, 0 = f + 3. Does 3 divide o?
False
Let l be ((-28)/4 - -4) + -85 + -1. Let m = 126 + l. Does 10 divide m?
False
Suppose -d - 16*q + 18*q = -12602, -3*d - 5*q + 37795 = 0. Is d a multiple of 84?
True
Let t = 309 + 196. Let z = t + -115. Is z a multiple of 26?
True
Suppose 6*l - 918 = -2*m + l, -5*m - 4*l + 2278 = 0. Suppose -a + m = -134. Is 12 a factor of a?
True
Suppose -5*k = 2*n + 30 - 10, 48 = -2*n + 2*k. Does 67 divide ((-543)/15 + -4)*n?
True
Is (-43)/(-2)*6*(-1)/(15/(-590)) a multiple of 14?
False
Let v be (-1104)/18*(-3)/(-2). Let a be (1/2)/(1/v). Let m = a - -82. Is 12 a factor of m?
True
Suppose c + 2*f - 26 = 8, -3*c + 2*f + 86 = 0. Does 11 divide (c/(-12))/((-2)/44)?
True
Let o(m) = m**2 - 2*m - 32. Let h be o(7). Suppose -9*z = -h*z - 60. Does 16 divide (16/z)/(-1 + 11/10)?
True
Let n be (6/(-12) + 2/(-4))*-366. Let w = -324 + n. Is w even?
True
Let h(a) = -a**2 - 12*a - 2. Let m(s) = -4*s - 34. Let w be m(-10). Let z be (-2)/w - 26/3. Does 5 divide h(z)?
True
Let q(n) = -593*n + 5288. Is q(-71) a multiple of 17?
False
Let j = 30415 - 14344. Is j a multiple of 12?
False
Let w(x) = -5*x**3 + x**2 + 35*x + 94. Is w(-4) a multiple of 29?
True
Let s(p) = 3*p**3 + 9*p**2 + 7*p + 27. Let h be s(-3). Let q(d) = d**3 - 12*d + 6 + 8*d**2 - 2*d**3 + 2*d**2. Does 12 divide q(h)?
False
Suppose 64 - 40 = 3*d. Suppose 0 = -2*a - d*a + 20. Does 2 divide (6/(-2) - a)/((-3)/24)?
True
Suppose -2*y - 10 = 0, -8*d + 6*d + y = -43. Suppose -785 - 412 = -d*s. Is s a multiple of 21?
True
Let s be (-2)/(-6) - 142/(-6). Is 56/s*24*2 a multiple of 30?
False
Let l = 112 + 158. Let r = 446 - l. Is r a multiple of 11?
True
Suppose 0 = -4*c - 4*n + 16, 2*n = -c - n + 6. Suppose 297 = -0*u - c*u. Let k = 267 + u. Is k a multiple of 25?
False
Let y = -16501 + 17929. Is y even?
True
Is 35 a factor of ((-21354)/(-24) - 6)/((-6)/(-504)*7)?
True
Suppose 9*o - 1284 - 69591 = 0. Is 15 a factor of o?
True
Let w = -27 - -422. Suppose 2459 - w = 24*a. Is a a multiple of 10?
False
Let o(g) = g**3 + g**2 - g - 16. Let n = -196 - -200. Is o(n) a multiple of 20?
True
Suppose -2*f + 22 = 3*y, -2*y = 2*f - 7 - 7. Suppose 9*u = 7*u + y. Suppose 5*v = u*x - 232, -x + 2*v - 3*v + 67 = 0. Is 3 a factor of x?
True
Suppose -27*y = 19*y - 68314 - 11496. Is 24 a factor of y?
False
Let g = 123 - 120. Suppose -1355 = -2*f - 39*w + 38*w, 0 = -4*f + g*w + 2735. Is f a multiple of 68?
True
Let n(x) = 34 - 24 - 22 - 76*x. Does 8 divide n(-1)?
True
Suppose 8*z - 17460 = 44*z. Let m = z - -536. Is 2 a factor of m?
False
Let c(m) = 2*m**2 + 4*m - 4. Let h be c(-4). Suppose 1643*n - 1662*n + 76 = 0. Suppose 3*o = -n*f + 226 + 460, 0 = 3*f + h. Does 39 divide o?
True
Is 9 a factor of 4/30 + (-97689)/(-45) + 16?
True
Let u = -183 + 209. Suppose 3*o + u*x - 2780 = 22*x, 0 = -o - x + 926. Is 28 a factor of o?
True
Let a(d) = d + 5*d**2 - 3*d**2 + 12 + 18*d - 37*d. Is 48 a factor of a(-6)?
True
Let k(f) = -12*f - 13. Let l(h) = -25*h - 27. Let z(i) = 9*k(i) - 4*l(i). Let n be z(-14). Let d = n - -2. Does 15 divide d?
True
Suppose 5*k - 50 = -770. Let o = 369 + k. Does 45 divide o?
True
Suppose -23 + 35 = 4*m. Let g(u) = -1 + m - 4*u + 29 - u**2. Does 3 divide g(0)?
False
Let c be ((-9595)/(-38))/((-3)/(-36)). Suppose -1200 - 618 = -3*k + 3*s, -s - c = -5*k. Is k a multiple of 74?
False
Let u = -134 - 86. Suppose 2*s - 680 = -5*b, b = 2*s + 43 - 723. Let x = s + u. Does 42 divide x?
False
Let p(y) = -10*y - 22. Let n be p(-6). Suppose 34 + n = 8*j. Suppose j*g + 252 = 12*g. Is 18 a factor of g?
False
Suppose 2*f - 4228 = -5*a, 5*f + 593 = 3*a - 1950. Does 4 divide a?
False
Let q be 15/(-9)*(-5 + -1)/2. Suppose q*y - 308 = j, 13 = -3*j + 4. Is y a multiple of 8?
False
Is 80 a factor of -3 + (91533/11 + 2 - (-168)/(-924))?
True
Let j be 6/(-24) - (-13)/4. Suppose -4*o = -2*n - 40, -o + 12 = o + j*n. Is 9 a factor of o?
True
Suppose 5*q + 14032 = 5*y + 61887, 4*q - 38242 = -2*y. Is q a multiple of 15?
False
Is 35 a factor of (214/4)/((-4011)/(-25480) + 18/(-117))?
True
Suppose 2*n = 3*n + 2, 0 = 2*o + 2*n - 34. Suppose -3500 = 9*t - o*t. Is t a multiple of 25?
True
Suppose 3*g - 4*h - 35 = 0, -3*g = h + 1 - 11. Suppose 0 = 3*v - 5*d + 1, 3*v + v + g*d = 22. Suppose -96 = -v*u - 6. Is 15 a factor of u?
True
Suppose -4*s = 2*j - 42, 0 = 5*s + 4*j - 64 + 10. Suppose s*q + 456 = 14*q. Is q a multiple of 4?
False
Let b(y) = 8 + 10 - 252*y + 279*y - 6*y**2 + 4*y**2. Is 7 a factor of b(13)?
False
Suppose -4*g = o - 4*o - 49, 4*g - 54 = -2*o. Let x(s) = s**3 - 14*s**2 + 15*s - 17. Let r be x(g). Is 12 a factor of (1 - r/7) + 4760/196?
True
Does 17 divide 2/(12/52008*11)?
False
Suppose -16468 = -2*t - 4*o + 11644, 70256 = 5*t + 2*o. Does 25 divide t?
True
Let g be (6 + (-12)/18)*6/4. Let a = -5 + 8. Suppose -a*m + g = -13. Does 7 divide m?
True
Let t(g) = -2 + 0 - 7 + g - 4. Let v be t(17). Suppose v*w - 160 = -4*l, 2*w = -4*l + 76 - 4. Is w a multiple of 22?
True
Suppose 31*c - 83106 = -c + 5*c. Is 19 a factor of c?
True
Let q(p) = 2*p**3 + 20*p**2 - 18*p + 69. Does 2 divide q(-10)?
False
Let o(g) = 5445*g**3 + 4*g**2 - 130*g + 127. Is o(1) a multiple of 14?
True
Let j(q) be the first derivative of -q**4/4 + 17*q**3/3 + 7*q**2/2 + 16*q + 83. Does 27 divide j(17)?
True
Let z = -12847 + 22898. Does 23 divide z?
True
Suppose -14742 = -12*s + 1386. Is 7 a factor of s?
True
Suppose 5*n + 9 = -d, -1 + 4 = -n. Suppose -d*i = -9*i + 54. Let p = i - -14. Does 11 divide p?
False
Let t(a) = -a**3 - 19*a**2 + 21*a + 50. Let f be t(-20). Let l be -2*(-3)/f + (-6)/30. Suppose -9 = -l*q - q. Does 9 divide q?
True
Suppose -50227 = 4*z - 236971. Suppose -z = -54*j + 12282. Is 91 a factor of j?
True
Suppose -5*p - 5*f + 3100 = 0, 1113 = 3*p + 4*f - 747. Let a be p*(-3 + 0 + 2)*-1. Let g = a - 402. Is g a multiple of 13?
False
Suppose -7*i + 225 = -643. Let k = -132 + 436. Let j = k - i. Does 18 divide j?
True
Let r(z) = -21*z - 10. Let w be r(-1). Let s(j) = -j**3 - j**2 + j + 1. Let k be s(-1). Is 3 a factor of (w - 2) + k + 0/2?
True
Suppose -4*g - 16*y + 39 = -13*y, 0 = -g + y + 15. Is (3 - -1)/g*15 + 445 a multiple of 10?
True
Let j(x) = 2*x**2 + 3*x + 352. Is 4 a factor of j(24)?
True
Let k = -2830 - -2653. Let f be (-789)/7 - 6/21. Let b = f - k. Is b a multiple of 16?
True
Suppose -365*r - 140448 = -371*r. Suppose 68*v = 46*v + r. Is v a multiple of 38?
True
Let m = -63 - -67. Suppose -m*f = -36 + 28. Suppose -3*s - 44 = -i, f*s + 111 = 3*i - 0*i. Does 23 divide i?
False
Let k(g) = 50*g**2 - 2*g - 10. Let i be k(-3). Suppose i = o + u, -894 = -2*o + 3*u - 6*u. Does 45 divide o?
False
Is 69 a factor of 223564/30 + ((-2064)/(-360))/(-43)?
True
Suppose 3*k + 2*x + 5 = -2*x, -5*k - x = -20. Suppose k*w = -4*i + 1120, -w + 4*w = -4*i + 680. Does 47 divide w?
False
Let p(m) = -m**2 - 21*m + 24. Let i be p(-22). Let r(z) = 139*z + 6. Does 9 divide r(i)?
False
Let o = 992 - 998. Let t = 576 - 394. Is 10 a factor of 2/o - t/(-6)?
True
Let k be (10 + 