- 4*u + 616, u + 482 = -3*a. Let i = a + 269. Does 22 divide i?
True
Let t(f) = 322*f**2 + 2*f + 1. Let p be t(-1). Suppose 51 = -2*u + p. Is 15 a factor of u?
True
Let c(y) = 3*y - 8. Let i be c(4). Suppose -2*f = 2*f - 5*w + 8, -f - i*w = -19. Is 2 a factor of f?
False
Let u = -152 - -1097. Suppose -11*a + 2*a + u = 0. Does 6 divide a?
False
Let h be (2 - 0)/(14/301). Suppose -h = 3*b - q + 2*q, -5*q + 51 = -4*b. Is (-1 - -3)*(-21)/b a multiple of 2?
False
Let t(l) = -15*l - 126. Is 68 a factor of t(-15)?
False
Does 8 divide 1/(3 + (-4952)/1652)?
False
Suppose -m + 5*m - 640 = 0. Suppose -25 = -b - 4*b, -m = -3*c + 4*b. Is 15 a factor of c?
True
Let c = 26 + -34. Is (-29)/(-116) + (-2166)/c + 1 a multiple of 12?
False
Let p(g) = -g**2 + 8*g - 9. Let r be p(6). Suppose r*s + 12 = 0, -5*s + 0*s - 10 = 2*a. Suppose -h = -a*o - 0*o + 59, 0 = 5*o - 5*h - 55. Does 12 divide o?
True
Let r(n) = 20*n**2 + 14 - 21*n**2 - 4*n - 5 + 14*n. Suppose -3*x - 13 - 2 = -2*u, -2*x + 16 = 3*u. Is r(u) a multiple of 11?
True
Suppose 5*x - 5*v = 235, 4*x - 4*v - 196 = -8*v. Does 6 divide x?
True
Suppose -12 = 4*a - z - 2*z, -3*z = 4*a - 12. Suppose -164 = -a*f - f. Let g = f + -76. Is 22 a factor of g?
True
Let n(l) = -l**3 + 37*l**2 + 74*l + 152. Does 19 divide n(38)?
True
Let c(n) = -n**3 - 3*n**2 + 4*n - 4. Suppose -o + 1 = -f - 3, 5*o = f + 4. Let b be c(f). Is 9 a factor of 98/b*(-108)/63?
False
Let v(u) = -u + 10. Let w be v(12). Let r be (-8)/w*1/2. Suppose -4*t + 103 = 4*c + c, -r*t + 23 = c. Does 19 divide c?
True
Let k = 442 + 530. Is k a multiple of 75?
False
Let k(j) be the second derivative of -8*j**3 - 5*j**2/2 - 19*j. Is 12 a factor of k(-6)?
False
Suppose 765 = 21*h - 4*h. Is h a multiple of 15?
True
Suppose -3*a = 177 + 21. Let u = 29 - a. Suppose 5*m = -i + u, 2*i + 55 = 2*m - i. Is m a multiple of 11?
False
Let a(c) = -7*c - 17. Let j(n) = 2*n + 6. Let i(b) = -6*a(b) - 17*j(b). Let w be i(8). Suppose -y - 2*k + w = 0, y + 3*k - 56 = -k. Does 24 divide y?
True
Let z(m) = -m**3 - 8*m**2 - 11*m - 3. Suppose -5*x + 3*r = 47, 3*x + 26 = x + 3*r. Does 25 divide z(x)?
True
Suppose 63*r - 2152 = 59*r + 2*d, 0 = -3*r + 4*d + 1609. Is r a multiple of 11?
True
Let y be (-16)/(4*(-2)/(-348)*-3). Let t be 10/2 - (-1 + 2). Suppose y - 72 = t*x. Is x a multiple of 20?
True
Let j(y) = -36*y**3 + 12*y + 24. Is 19 a factor of j(-4)?
True
Suppose -14 - 2 = -4*h - 4*v, 2*h + 3*v = 8. Let y = h - 4. Is 48 - (y - -12)/(-3) a multiple of 24?
False
Let y be (-80 - -2)/(14/(-21)). Let t = y + -57. Suppose -t = 3*f - 7*f. Is f a multiple of 15?
True
Let b be (-6)/(-15) + (-21)/15. Let n(y) = 7*y**2 + 2. Does 4 divide n(b)?
False
Suppose -5*m = -3*z - 60, -z - 60 = -5*m + 4*z. Let h(v) = -v**2 + 3*v - 7. Let k be h(m). Is k*(3 + (-17)/5) a multiple of 13?
False
Let z(d) be the third derivative of 5/6*d**3 + 7/24*d**4 + 0 + 7*d**2 + 0*d. Is z(5) a multiple of 20?
True
Is 12 a factor of (-8759)/(-5) + (-2)/(-10)?
True
Let b(w) = -51*w**2 + 4. Let p be b(2). Let x = p - -285. Does 16 divide x?
False
Is 12 a factor of (213/9)/((-9)/(-27))?
False
Let g(p) = -103*p + 192. Does 57 divide g(-11)?
False
Let a(r) be the third derivative of -r**4/3 - r**3/6 - 4*r**2. Suppose -3*u = -2*b - 2 - 10, -2*u = 2*b + 2. Is 5 a factor of a(b)?
False
Suppose -6 = 3*z, 4*z = 16*p - 19*p + 352. Does 31 divide p?
False
Let x = 58 - 16. Is x a multiple of 7?
True
Suppose -2*v = 4*b - 356 - 412, -3*b = v - 574. Does 8 divide b?
False
Is 100 a factor of (38 + -1278)/((-2)/5)?
True
Let c(i) be the third derivative of 7*i**4/12 - 2*i**3/3 - 6*i**2. Let b = 0 - -5. Is 25 a factor of c(b)?
False
Is 26 a factor of -6*(-7)/(-21) + 4614/3?
False
Let i(u) = -9*u - 8. Suppose -3*o = o + 28. Is 12 a factor of i(o)?
False
Let x(m) = 13*m + 174. Does 5 divide x(-3)?
True
Let y be ((-3)/3)/(-2 + 41/20). Is y/(-15)*(-246)/(-4) a multiple of 13?
False
Let a(z) = -10 - 8*z + 12*z**2 + 0*z**2 + 0*z**2 + 4. Is 14 a factor of a(-3)?
True
Let u = -19 + 24. Is ((-4)/u)/(288/(-140) + 2) a multiple of 12?
False
Suppose -11*z + 21468 - 2306 = 0. Is 67 a factor of z?
True
Let o(u) = u**2 - 3*u + 4. Let g be (-2)/7 - 1160/(-140). Does 4 divide o(g)?
True
Let t(f) = -2*f**2 - 27*f + 17. Let b be t(-10). Suppose -3*p + 32 = p. Suppose 0 = -2*k + p, b = 5*y + 3*k - 0*k. Is 4 a factor of y?
False
Suppose 4*l - 6 - 10 = 0. Suppose -g = -6 + l. Suppose 1 = g*a - 39. Is 7 a factor of a?
False
Suppose 0 = 3*x + 5*g + 21, 9 = -3*g - 0. Let b be x/(3 - (-195)/(-63)). Suppose -l + 3 = -2*l, l = -2*s + b. Is 6 a factor of s?
True
Let j be 580/7 + 7/49. Let x = j + -18. Suppose 0*q = -5*q + x. Is q a multiple of 5?
False
Let a be 1/((-3)/(-3)) + -15. Is 9 a factor of (-593)/(-7) - 4/a?
False
Suppose 3*p = -p + 192. Does 10 divide (p/28)/(2/35)?
True
Suppose -4*c = -4*h - h - 11, 3*h = -c + 24. Let q(x) = 0 - c - 69*x + 7. Is q(-1) a multiple of 10?
False
Suppose -171824 = -96*j - 53456. Is j a multiple of 8?
False
Suppose -34 = -5*m - 24, -4*v + 4562 = 5*m. Is 8 a factor of v?
False
Let q = 76 + -72. Suppose 0 = 5*l + 2*z + 2*z - 238, q*z = 8. Is l a multiple of 8?
False
Suppose w = -2*u + 9 - 53, 176 = -4*w + u. Let g = w - -8. Let p = g + 51. Does 6 divide p?
False
Suppose 0 = 2*w - o - 11, 5*o + 13 = 4*w - 24. Suppose d = -j + 7, -4*j + w*d = -2*d - 1. Does 6 divide 654/27 + j/(-18)?
True
Suppose 34*a = 30*a + 1172. Suppose 3*h - 225 = 3*x - 2*x, x - a = -4*h. Is h a multiple of 33?
False
Suppose 30*z - 23244 = 4*z. Is z a multiple of 43?
False
Let r(t) = t**3 - 19*t**2 - 11. Let b be r(19). Let z = b - -44. Is z a multiple of 11?
True
Let f = 9 + -15. Is 301 - 1/(2/f) a multiple of 38?
True
Let y(s) = 15*s**2 + 5*s + 4. Let v(g) = -g**2 - g - 1. Let a(x) = 5*v(x) + y(x). Let p be a(2). Let f = p + -8. Is 7 a factor of f?
False
Suppose -6*k - 3*z - 24 = -3*k, -2*z - 13 = k. Let v be 90/(-27) + 2/k. Is 174/21 - v/(-14) a multiple of 2?
True
Is ((2 + -34)*1)/((-1)/4) a multiple of 7?
False
Let i(v) = -9*v**3 + v. Let p be 4/(-6) + 44/12. Suppose -p*o - 2*o = -2*y - 22, o - 9 = 5*y. Is 8 a factor of i(y)?
True
Let l(j) = 3*j**2 + j - 13. Let f be l(-17). Suppose f = 5*o - 4*k, 12*o - 3*k = 9*o + 504. Is 15 a factor of o?
True
Let o(c) = 423*c + 27. Is o(3) a multiple of 36?
True
Suppose m - 4 = 0, 2*b + 3 = 3*b - 2*m. Let q be (b*-1)/(7/(-21)). Let u = 54 - q. Is u a multiple of 4?
False
Let x be 108/(-63)*(-182)/4. Let v be x/(-4)*(-20)/15. Suppose -4*o - 18 - v = -h, 5*h = -3*o + 220. Does 16 divide h?
False
Suppose 3*f + 0*f + 5*b + 10 = 0, -2*b = 10. Suppose 29 = -f*t + 3*s + 139, -t = -2*s - 29. Suppose 0 = t*j - 22*j + 96. Is 18 a factor of j?
False
Suppose -31*f + 2214 + 111 = 0. Is 6 a factor of f?
False
Let i(d) = d**2 - 14*d + 28. Let x be i(10). Does 4 divide x/5*(-20)/3?
True
Suppose 5*w = -32*w + 65860. Is w a multiple of 40?
False
Let a = 1365 + -696. Is a a multiple of 56?
False
Suppose 0 = -4*d + 166 + 298. Suppose p - 4*v = -p + d, v - 61 = -p. Is p a multiple of 12?
True
Suppose -d - 3*d + 48 = 0. Does 8 divide d/5*100/6?
True
Let t = 186 + -108. Suppose h - 4*h = -t. Is h a multiple of 26?
True
Let g(c) = 3*c**3 - 4*c**2 + 7*c + 8. Is g(5) a multiple of 53?
True
Let x = -410 + 1265. Is x a multiple of 32?
False
Let n(h) = h**2 - 3*h - 4. Let r be n(6). Let k = r - 9. Suppose -7*p + k*p = -20. Does 10 divide p?
True
Let g(i) = -344*i - 342. Does 15 divide g(-3)?
True
Let b(z) = -13*z**3 - 4*z**2 - 4*z + 5. Let q be b(-5). Suppose -16*x + 6*x = -q. Is x a multiple of 31?
True
Suppose -322 = -b - 102. Suppose -b = -13*c + 12*c. Is 44 a factor of c?
True
Let o = -176 + 329. Does 17 divide o?
True
Suppose -32*w + 104328 = -5*w. Is w a multiple of 12?
True
Let n(o) = o**3 + 15*o**2 - o + 20. Let a(y) = 2*y**2 - 9*y + 6. Let q be a(4). Suppose k + q*k = -2*p - 42, p + 4*k = -31. Does 17 divide n(p)?
False
Let c(t) = 25*t - 5. Let l(d) = d**2 - 6*d + 4. Let i be l(6). Suppose -4*y = 2*k - 2, 7 = -i*y + 3. Does 28 divide c(k)?
False
Let v(o) = 50*o - 347. Is v(27) a multiple of 36?
False
Suppose 3312 = -22*h + 26*h. Is 36 a factor of h?
True
Let s(o) = -o**3 + 17*o**2 + 20*o - 36. Let q be s(18). Suppose -5*t - 2*l + 1031 = q, -3*t + 0*t = -4*l - 629. Is 31 a factor of t?
False
Let c(w) = w**2 - w. Let k be c(0). Suppose 