pose -4*q - 2 = -m*u + 8, 15 = 3*u - 4*q. Suppose u*p = -3*p + 664. Does 5 divide p?
False
Let r be (-2 + 2 + (-18)/12)*-2. Suppose 2*s + 2*c = 46 + 82, 4*s + r*c - 257 = 0. Is 7 a factor of s?
False
Let m = -24 + 30. Let o = -31 - -31. Is 10 a factor of (-1 - -101)*(o + 3/m)?
True
Let f(m) = -15*m + 23*m - 6 - 11*m - 15*m. Let n be f(-7). Suppose -10*a = -14*a + n. Is a a multiple of 15?
True
Suppose 8441 = 3*z - o, 51*z - 46*z - 4*o = 14066. Does 6 divide z?
True
Let s = 421 - -156. Suppose 0 = -5*v + s - 212. Suppose -v - 31 = -2*j. Is 13 a factor of j?
True
Let q(m) = m**2 - 13*m - 78. Let r(h) = -11*h**2 - 52*h + 7. Let z be r(-5). Is q(z) a multiple of 18?
True
Let q(o) = o**2 - 11*o + 22. Suppose 5*n + 15 = 0, 5*a - 3*n - 40 = 19. Let c be q(a). Let p(k) = 11*k + 29. Does 23 divide p(c)?
True
Let v = 36 + -29. Suppose -v*d + 9*d - 6 = 0. Suppose -6*l + 2*k = -l - 123, -2*l + d*k = -58. Does 7 divide l?
False
Suppose 12*z = 13*z - 30. Suppose 5*a - 2*k = -z, -3*k + 31 = -4*a - 0*k. Does 37 divide (448/(-70))/(a/30)?
False
Suppose 5*t = 3*d + 4*t + 306, 4*d = -2*t - 398. Let x = 182 + d. Is 9 a factor of x?
True
Suppose 5*x + a = -a + 432, -x + 108 = -5*a. Let t(i) = -2 - 6*i + 13*i + x*i**2 - 2*i. Is 45 a factor of t(2)?
True
Suppose 11*g - 17*g - 1698 = 0. Let a = g - -879. Does 16 divide a?
False
Suppose 0 = 36*b - 19123 - 64397. Does 29 divide b?
True
Suppose 0 = u + 4*u - 220. Let w(s) = 98 - 11*s - u*s - 103. Is 21 a factor of w(-2)?
True
Suppose 2*c - 6*c = -132. Suppose c = 2*m + m. Suppose -m*r = 158 - 1434. Does 39 divide r?
False
Let t = 12058 - 10513. Is 3 a factor of t?
True
Let w(v) = -1117*v + 12304. Is 20 a factor of w(-11)?
False
Suppose 4*c = z + 2*z - 67, 3*c + 119 = 5*z. Let j(i) = -12 - z - 11 - 5*i + 4*i**2 + 29. Is j(-8) a multiple of 53?
False
Let k(u) = -u**3 - 11*u**2 + 46*u + 6. Let h be k(-12). Let m = -306 - h. Does 22 divide m?
False
Suppose -2*o = -28 + 38. Let f be o/20 - (9/12 + -1). Suppose f = 2*c - 2*g - 44, -140 = -5*c - 5*g + 4*g. Is c a multiple of 2?
False
Suppose -77*m + 58*m + 3496 = 0. Let r = -159 + m. Is r a multiple of 5?
True
Let n(k) = -10548*k + 893. Is n(-2) a multiple of 29?
False
Let g(y) = -y**3 + 6*y**2 - 5*y + 25. Suppose -8 = 326*u - 328*u. Does 13 divide g(u)?
False
Let f = -17761 + 30465. Is 4 a factor of f?
True
Let n be (-10 + 10)/(-5 - -3). Suppose h - 883 + 13 = n. Is h a multiple of 20?
False
Let w be (-6 + -858)/3*1. Let j = -72 - w. Is j a multiple of 8?
True
Let o(t) = 8*t**2 + t - 91. Is 77 a factor of o(-14)?
True
Let k be (792/10)/((-15)/(-100)) - 0. Suppose k - 2250 = -7*b. Is b a multiple of 6?
True
Let x = 253 - 198. Suppose -4*q + 3*f + 140 = 0, 4*q = f + 93 + x. Is q a multiple of 36?
False
Suppose -11*x - 20 = -15*x. Suppose -x*f - 2*t = -10*f + 3385, -665 = -f - 2*t. Suppose -3*i - 3*d + f = -0*i, -3*i + 3*d = -657. Is 37 a factor of i?
True
Let k(j) = 4*j**3 - 12*j**2 + 141*j + 10. Does 77 divide k(7)?
False
Suppose -657 = 19*t - 22*t. Suppose -213 + t = 2*x. Does 32 divide x - (340/(-30))/(4/78)?
True
Suppose 0 = 4*g + 5*j - 645, -18*g = -16*g + 4*j - 318. Is 2 a factor of g?
False
Let m be -2 + 73/8 - 9/72. Suppose 24*j - 595 = m*j. Does 5 divide j?
True
Suppose -2*r - 12 = 0, -9*q + 2*r - 11125 = -77827. Does 57 divide q?
True
Suppose 8*h - 44 = -3*h. Suppose 3*k + 1050 = 3*i, 3*i = k + h*k + 1046. Is i a multiple of 8?
True
Let g = 379 - 388. Let c(p) = p**2 - 57*p - 33. Is c(g) a multiple of 8?
False
Let w(a) = a**3 + 3*a**2 - 6*a - 8. Let n be w(-4). Let h(x) = 3 - 40*x + 2 + n - 6. Is h(-2) a multiple of 8?
False
Let y = 15442 + -8346. Suppose 0 = -12*k + y + 4052. Does 20 divide k?
False
Suppose -3*p + 4*y + 676 = 0, 2*p - 3*y = -2*p + 906. Let d = p + -184. Does 8 divide d?
False
Suppose -2*x = 61 - 53. Let v(u) be the second derivative of -2*u**3/3 + u**2 - u. Does 6 divide v(x)?
True
Let c = 294 + -253. Suppose -35*l - 480 = -c*l. Is 10 a factor of l?
True
Let c(p) = -1. Let s(f) = 39*f + 181. Let l(r) = -6*c(r) - 2*s(r). Does 22 divide l(-6)?
False
Does 90 divide (-120)/(-16 - (-21588)/1350)?
True
Let g be (9 - (21 - 7))*1. Let y(o) = 22*o**2 - 8*o - 21. Does 34 divide y(g)?
False
Suppose 0*n - 4*y - 2621 = -n, 2*n = -y + 5242. Suppose 10*d - 1669 = n. Is d a multiple of 13?
True
Let o(j) = -32*j**2 + 572*j + 12. Is 3 a factor of o(11)?
False
Let b = -106 + 110. Suppose -11*o = -5*t - 6*o + 535, b*t - 2*o - 428 = 0. Let i = t - -79. Is i a multiple of 24?
False
Let l(v) = 3898*v - 340. Does 15 divide l(4)?
False
Let n(a) = -8*a**3 - 7*a**2 - 10*a - 13. Let f be n(-5). Suppose 278 = 6*t - f. Is t a multiple of 16?
False
Suppose 4*r + 20892 = 3*c, -6*c = -10*c - r + 27837. Is c a multiple of 15?
True
Does 200 divide 5711*((-14)/14 + 2)?
False
Suppose 72*q = 103488 + 56712. Does 89 divide q?
True
Suppose 0*a + 5*a = -2*j + 124, 0 = 3*j - 3*a - 186. Let g = j - -4. Is g a multiple of 10?
False
Let h(z) = z**3 + 9*z**2 + 7*z - 10. Let s be h(-8). Is 20 a factor of (5/s)/((-4)/((-936)/(-3)))?
False
Let y be (0 + 4)*(-172)/(-8). Let m(g) = -7*g + y - 103 + 2*g. Is m(-6) a multiple of 11?
False
Let w = 2853 + -997. Does 5 divide w?
False
Suppose -3*l + u = -9773 - 2510, u + 20473 = 5*l. Does 105 divide l?
True
Does 2 divide ((-8)/14)/(20/(-14)) - 139042/(-95)?
True
Suppose -3*n = -3*u + 2673, n - 891 = -23*u + 22*u. Is 3 a factor of u?
True
Suppose z - 2 = -z, 2*k - 55 = -z. Let h(x) = -26*x**2 + 165*x - 60. Let v(y) = 7*y**2 - 42*y + 15. Let d(m) = 3*h(m) + 11*v(m). Does 49 divide d(k)?
True
Suppose 2*i = 8*i - 23976. Suppose q - 6*q = -4*y - i, -3*q - y + 2401 = 0. Is 16 a factor of q?
True
Suppose 0*p = -p + 5*k + 17, 0 = -5*p + 2*k + 62. Suppose p*s - 11*s + 2*c = 331, 0 = 2*c + 8. Is s a multiple of 24?
False
Let c(k) = 2*k**2 - 23*k - 28. Let m(l) = 3*l**2 - 24*l - 29. Let w(u) = 4*c(u) - 3*m(u). Is w(-14) a multiple of 4?
False
Let o(b) = -2*b**3 + 137*b**2 - 208*b - 50. Is o(46) a multiple of 303?
False
Let l(m) = 8*m**2 - 11*m + 25. Does 4 divide l(-13)?
True
Suppose -3*n + o = -13326, o = -13*n + 14*n - 4446. Does 40 divide n?
True
Let y = 32733 - 20361. Is 36 a factor of y?
False
Let c(p) = -p**2 + 17*p + 10. Let l be c(10). Suppose 4*x = 104 - l. Suppose 3*k + 432 = 3*i, -4*i + x*i + k = 288. Is i a multiple of 16?
True
Let r(k) = -k**3 + k + 7. Let l be r(0). Let y be (-2)/7 + 30/l. Suppose 3*f = -0*f + 3, y*f = 3*s - 86. Is s a multiple of 6?
True
Suppose -441*z + 11322 = -424*z. Is 3 a factor of z?
True
Let z(r) = -r**3 + 13*r**2 + 19*r + 14. Suppose -5*n + 91 = 4*g, -3*n + 2*g + 32 = -5. Let t be z(n). Let l = t - -241. Is 18 a factor of l?
True
Let v = -11356 - -35941. Is v a multiple of 15?
True
Let l(n) = n**2 - 11*n + 19. Let m be l(13). Suppose -d + 3*y = -9, m = -0*d + 5*d - 5*y. Let z(w) = -w**3 + 9*w**2 + 12. Is z(d) a multiple of 4?
True
Let m(d) = 14*d**2 - d - 3. Let v(g) = -g + 18. Let q be v(16). Suppose -q*c - 8 = 2*o, 0 = -5*c + o - 0 - 8. Is m(c) a multiple of 11?
True
Suppose 0 = -3*g + 46 - 34. Let s be 12/g + (-158)/(-2). Let x = s + -70. Is x a multiple of 12?
True
Suppose -572 = 7*c - 607. Suppose 0 = 4*u + 2*s + 37 - 811, -u = 4*s - 183. Suppose -220 = -c*a + u. Is 9 a factor of a?
False
Suppose 11*l - 3624 = 5*l. Suppose 0 = 3*i - 5*i + 5*k + l, 4*i + 2*k = 1208. Suppose -178 = -8*x + i. Does 7 divide x?
False
Let r be 1496/132*474/4. Suppose 28*x + r = 45*x. Does 3 divide x?
False
Let u(m) = -3*m**2 - 428*m + 179. Is u(-14) a multiple of 24?
False
Suppose -5 = 3*a - 5*b, 2*a + 3*b + 2 = 5. Suppose 8*z - 152 - 64 = a. Is z a multiple of 27?
True
Suppose 29 = 18*p - 25. Let c be (-3 + 7 + -3)*-9. Is 9 a factor of 212/12 - p/c?
True
Suppose 7*o = o + 30. Suppose 3*v - 2*v = o. Suppose 0*n = -n - v*t + 46, 4 = 2*t. Does 4 divide n?
True
Let p(a) = -a**3 - 14*a**2 + 7*a + 7. Suppose 3*f = -2*r - 26, -2*r - 26 = 4*f - 2*f. Let v be p(r). Let q = v + 370. Is 16 a factor of q?
False
Suppose 27*c - 4*c = 69. Suppose 5*i = -2*f - f + 2273, -c*i - 1509 = -2*f. Is 36 a factor of f?
True
Let d be (54/(-36))/(38/20 + -2). Suppose d + 30 = n. Is 8 a factor of n?
False
Let y(s) = -19*s**3 - 15*s**2 - 13*s + 96. Is y(-10) a multiple of 271?
False
Suppose 4*y + b = 18, b - 2*b = 2*y - 8. Let o(r) = -9*r + 15*r + 17 - y*r. Does 9 div