i = -3*k + 9, i + 16 = 4*k + 3*i. Suppose -k*r - 189 = -6*r. Suppose -5*t + r = -2*t. Is 21 a factor of t?
True
Let q(f) = f**3 - 15*f**2 + 2*f - 35. Let s be q(15). Let m(r) = -2*r**3 - 6*r**2 - 8*r - 4. Is m(s) a multiple of 17?
True
Let v be 3*((-2 - (-1 + 0)) + 0). Does 21 divide (6/12)/(v/14)*-18?
True
Let p(a) = -a - 4. Let r be p(-15). Let o = r - -11. Is o a multiple of 22?
True
Suppose 0*b + 2844 = b - 4*a, -8504 = -3*b + 5*a. Is 49 a factor of b?
False
Let j(b) = 18*b + 57. Let o be j(-23). Let w = o - -610. Is w a multiple of 23?
True
Let q = 67 + 24. Is 7 a factor of q?
True
Let d(p) = -p + 25. Is d(-1) a multiple of 2?
True
Suppose -w + 6*c = 10*c - 297, 5*c - 1232 = -4*w. Does 24 divide w?
False
Let l(z) = 11*z**2 - 6*z + 12. Let f(m) = 6*m**2 - 3*m + 6. Let j(g) = 13*f(g) - 6*l(g). Is j(3) a multiple of 23?
False
Let w be ((-3)/((-6)/(-2)))/(2 + -1). Is 9 a factor of 81 + (w - 0) + 0 + 2?
False
Suppose 4*s - 8 = 0, -2*w + 9 - 1 = -2*s. Let n be (-324)/12*(-2)/w. Does 2 divide 20/n - 4/18?
True
Let r(q) = -9*q**3 - 21*q**2 - q + 71. Is r(-9) a multiple of 130?
True
Let y(w) = -w**2 - 32*w + 56. Let j be y(-31). Let h = 315 - j. Is 10 a factor of h?
False
Does 39 divide 7716/33 - (-40)/220?
True
Let n = 10 - -73. Suppose 4*m + n - 283 = 0. Does 8 divide m?
False
Suppose 8*b - 1320 = 88. Is b a multiple of 22?
True
Let k be (32/28)/((-4)/(-14)). Suppose -86 + 383 = 4*d - g, 3*d - 239 = k*g. Does 27 divide d?
False
Let s = 11268 - 6881. Is 14 a factor of s?
False
Let j(z) be the first derivative of -7*z**4/2 + z**3/3 - 2*z**2 - 5*z + 21. Is j(-1) a multiple of 7?
True
Is 1782/(-4)*(-8)/(-36)*-3 a multiple of 37?
False
Let h(l) = 2*l**3 - 7*l**2 + 2*l - 26. Let z(d) = -d**3 + 4*d**2 - d + 13. Let u(s) = -4*h(s) - 7*z(s). Let j be 0/(0 - -3 - 5). Does 6 divide u(j)?
False
Suppose 3*j = 0, 5*j + 108 = 5*q - 2*q. Is q a multiple of 18?
True
Let y(u) be the first derivative of u**4/4 + 9*u**3 + 19*u**2/2 + 56*u - 46. Is 17 a factor of y(-26)?
True
Let j = 563 + -289. Does 14 divide j?
False
Let g = 25 - -345. Does 37 divide g?
True
Let o = 3505 + -364. Is 28 a factor of o?
False
Let n(v) = -v**3 - 10*v**2 - 11*v + 2. Let k be n(-9). Let j be ((-16)/(-40))/(2/k). Suppose -3*a - 54 = -j*a + 2*q, a - 45 = 5*q. Does 16 divide a?
False
Let p = -12 + 26. Suppose 5*t = -3*f - 28, 3*t - 4*f - p = 5*t. Let h(y) = 3*y**2 + 8*y + 3. Is h(t) a multiple of 19?
True
Let l be 3/18*-2*-213. Let r be 3/9 + l/3. Suppose -5*f + r = -f. Does 3 divide f?
True
Suppose 53*k - 58*k = 30. Is 40 a factor of (-4)/k*3 - (1 + -199)?
True
Suppose -3*k - 21 = f + 2*f, -2*f - 19 = 3*k. Let o be f + (-5 - -2)*-34. Suppose -12 + o = 4*v. Does 6 divide v?
False
Let f(j) = -4*j**3 - 3*j**2 + 3*j - 3. Let w be f(2). Suppose 0*g - 5*p = g + 52, 4*p - 20 = 0. Let r = w - g. Is r a multiple of 9?
True
Let i(y) = y**2 + 3*y - 8. Let h be i(-6). Suppose -5*p - 6 = l, 3*l + 5*p - h = 4*p. Suppose -4*m - l*b = -256, 2*b = 2*m - m - 70. Is 22 a factor of m?
True
Let z = -1673 + 1834. Does 5 divide z?
False
Suppose 32 = -8*a + 136. Suppose 248 = 3*q + 2*z, 3*q - 4*z - a = 229. Is q a multiple of 10?
False
Let u be 1035 + (6 + -4)*(-15)/10. Suppose -298 - u = -14*l. Is 19 a factor of l?
True
Let v = -11 + 18. Suppose -5*b + f = -296, 0 = b - f - 49 - v. Suppose -k + b - 11 = 0. Does 13 divide k?
False
Let v = 5081 + -3249. Does 95 divide v?
False
Let m = -30 - -56. Is 2 a factor of 0 + 0 + m + -15?
False
Let n(b) = 4*b**2 + 2*b + 3. Let f = 23 - 14. Let d be n(f). Suppose -o = 3*g - 264, 4*g = -3*o + 4*o + d. Is g a multiple of 29?
True
Let c = 149 + -121. Let l(o) = 7*o - 71. Is l(c) a multiple of 35?
False
Suppose 0 = -5*p + 11 + 14. Let a = p - -8. Does 13 divide a?
True
Suppose -160 = -4*c + 64. Suppose h = -h + c. Let t = 73 - h. Does 15 divide t?
True
Suppose h + 17*p = 15*p + 1236, h - 5*p - 1271 = 0. Is h a multiple of 14?
True
Suppose -9*s = 7*s - 19616. Is 19 a factor of s?
False
Let c(b) = b + 32. Let d = 23 - 34. Let x = d + 11. Is 16 a factor of c(x)?
True
Let p(w) = -w**2 - 9*w + 5. Is 2 a factor of p(-9)?
False
Suppose 0 = -3*i + 6, -b = 4*b - 3*i - 274. Does 7 divide b?
True
Suppose 0*h + 2*h = -3*j + 1900, -1902 = -3*j - 3*h. Is 25 a factor of j?
False
Is 30 a factor of (448/12)/(10/1560)?
False
Let s(y) = y**3 + 3*y**2 + y - 2. Let c be s(-2). Suppose c = v + 2*o - 84, -o + 3*o + 284 = 3*v. Is 22 a factor of v?
False
Suppose -y = -4, -o - 3*y - 3 = -12. Let s(h) = -13*h + 9. Is s(o) a multiple of 12?
True
Let y(w) = 441*w - 187. Is 13 a factor of y(3)?
False
Suppose 0 = 48*q - 41*q + 56. Does 5 divide (q*6/(-36))/((-2)/(-18))?
False
Suppose 4*s + 24 = 4*a, -2 = -a - s - 4. Is 6 a factor of 2/(-3) - (a + 228/(-18))?
False
Suppose 2*n + 13 - 1 = 4*b, n - 12 = -4*b. Suppose 2*i + 60 + 52 = 3*a, -5*a + b*i + 185 = 0. Does 17 divide a?
True
Suppose 2*u - 274 = j + 178, -3*j + 669 = 3*u. Does 25 divide u?
True
Suppose -k - 4*h - 4 = 0, -3*k + 4*h - 32 = 12. Is 8 + k - -5*10 a multiple of 23?
True
Let d(z) = z**2 + 9*z + 7. Suppose -i = -20 + 14. Does 9 divide d(i)?
False
Let y(q) = q**2 + 4*q - 1. Let r be y(-5). Let h(z) = 12*z + 1. Is h(r) a multiple of 7?
True
Suppose -3*i + 2*y + 16 = 6*y, 4*i + 4 = y. Let z(k) = -k - 4. Let n be z(-6). Suppose i = n*t - 0*t - 40. Does 20 divide t?
True
Let k = 817 - 631. Does 6 divide k?
True
Suppose -2*m + 6*m = -80. Suppose -15*n - 285 = -20*n. Let y = n - m. Does 24 divide y?
False
Does 17 divide (-2 + 19)/((-19)/(-361))?
True
Let p = 25 + -22. Suppose 0 = -2*x - p*x + 495. Is 11 a factor of x?
True
Suppose 4*r = 984 + 2480. Does 14 divide r/9 + 8/(-36)?
False
Let h(j) be the second derivative of -j**5/20 + j**4/6 - j**2/2 + 8*j. Let p be h(1). Suppose p*b - 45 = -5*b. Is b a multiple of 8?
False
Does 66 divide (-9)/(-21) - (-64557)/189?
False
Let z(n) = 2815*n - 43. Is z(1) a multiple of 99?
True
Is 112 a factor of 17252/14 - 9/(504/16)?
True
Suppose 3*d - d + 1 = -z, d = -4*z - 18. Let f be (-5)/(z/(-2)) + -10. Does 5 divide 22/3 + (-8)/f?
False
Suppose 4*z = -356 + 1480. Is 47 a factor of z?
False
Suppose -3 = 2*f - 53. Suppose -225 = -f*k + 20*k. Is 9 a factor of k?
True
Let l(c) = -198*c**3 - c**2 + 7*c + 8. Does 33 divide l(-1)?
True
Suppose -3*m - 12 = -27. Let i(h) = 7*h - 9. Let a be i(m). Suppose -2*x + a + 24 = 0. Does 5 divide x?
True
Let r = -20 - -49. Let b = r - -3. Is b a multiple of 7?
False
Let a(w) = 0 - 1 + 2*w + 3*w - 2*w. Let m be a(-5). Let g = 12 - m. Is 6 a factor of g?
False
Let b(g) = -g**2 + g + 1. Suppose h = -5 + 2. Let j(p) = -4*p**2 - 9*p + 15. Let w(z) = h*b(z) + j(z). Does 13 divide w(-9)?
True
Suppose 0 = 3*u - 2*k - 23, -5*u = 5*k - 42 + 12. Does 2 divide u?
False
Let f = -14 - -28. Suppose -2*o - 4 = -f. Suppose s + 5*v = 5 + 11, -o*s + 5*v = -20. Is 4 a factor of s?
False
Let c(g) = -g**3 - 8*g**2 - 9*g - 14. Let i = -3 + -5. Is c(i) a multiple of 19?
False
Suppose 27*a = 4*a + 10672. Does 16 divide a?
True
Let k be -2 + 1/(3/(-24)). Let u = -9 - k. Does 6 divide u/((-5)/(-660)*4)?
False
Let n = -167 - -176. Let r = -9 + 13. Suppose r*v - n*v = -120. Does 3 divide v?
True
Let t(r) = -3*r**2 - 2*r + 377. Let q(x) = -x**2 + 10*x - 24. Let y be q(4). Is 13 a factor of t(y)?
True
Suppose w - 16 = 3*p - 3*w, 0 = -4*p - 3*w + 12. Suppose p*h + 4*h + 104 = 0. Let t = -9 - h. Does 2 divide t?
False
Let c(h) = 10*h + 3. Let l = 22 + -18. Is c(l) a multiple of 43?
True
Let c be ((-4)/(-10))/(5/(-30600)*-6). Suppose -572 = -5*j + c. Is 28 a factor of j?
True
Suppose 5*p + 11*y - 8535 = 12*y, -4*y = -p + 1726. Is p a multiple of 25?
False
Let q = 35 + -33. Suppose 0 = -2*p, k + p + q*p - 10 = 0. Let g = 0 + k. Does 10 divide g?
True
Suppose -4*v + 778 = -2*v + 5*i, -v = -4*i - 402. Is v a multiple of 12?
False
Suppose -2*t + 15 = 3*t. Let s = 58 + -41. Suppose -t*x = -2*x - s. Is x a multiple of 10?
False
Suppose -4 = -w + 1, -4*w = -4*h - 12. Suppose -3*f + 176 = 2*y, 2*f + h*y - 232 = -2*f. Is 28 a factor of f?
True
Let d be (-44)/(-8) + 2/4. Let p = -6 + d. Does 19 divide 60 + -1 + p - 2?
True
Let v(g) = g**3 - 6*g**2 - 9*g + 1. Let m be ((-7)/(-3))/((-9)/(-27)). Let n be v(m). Let j = n + 21. Is 2 a factor of j?
True
Suppose 2*a = 1028 + 644. Does 19 divide a?
True
Let k(v) = -v - 3. Let i(x) = -