 4*d. Is c(r) a multiple of 17?
True
Suppose -5*r + 2430 = -26*q + 28*q, -r + 1206 = q. Does 80 divide q?
True
Let l be ((-312)/2)/(33/(-44)). Let d = l - 199. Is d a multiple of 3?
True
Let u(y) = y**2 + 3*y - 9. Let s be u(-9). Suppose -16 - s = -d - h, -3*d - 5*h = -193. Suppose -f - d = -3*f. Is 14 a factor of f?
True
Suppose -4*f + q - 1144 = 6*q, 0 = f + q + 285. Let k = f - -425. Suppose 2*u - 22 = k. Is 20 a factor of u?
False
Suppose 19913 = -118*m + 85624 + 51109. Is m a multiple of 66?
True
Does 5 divide 448 + 10 + (3/6)/((-9)/(-36))?
True
Let j = -2050 + 2207. Suppose -214 = -b - 4*f, 2*f + 1136 = 5*b - 0*b. Let t = b - j. Is t a multiple of 5?
False
Let j = -95 - -100. Suppose 283 = j*v - 1442. Does 15 divide v?
True
Does 21 divide 24118/7 - 16/(-28)?
False
Suppose 5*s = -s - 18. Is 513 + (s - -4) + -2 a multiple of 12?
False
Suppose 4*x = q - 61, -5*x = 5*q - 32 - 148. Let d = q - -127. Is 24 a factor of d?
True
Suppose 9 = -5*a + 34. Suppose 11 = -a*v + k, 0*k + 4 = 4*v - 4*k. Is 16 a factor of 43 - (5 + v)/2?
False
Let q(g) = -279*g**3 + 2*g**2 - 27*g - 44. Is q(-2) a multiple of 90?
True
Let n(r) = 32*r**2 - 6*r - 345. Is 134 a factor of n(-14)?
False
Suppose 0 = -5*y + 2*t - 285, -2*t - 150 = 3*y + t. Let x = y - -69. Suppose -5*g - 2*s + 68 = 0, -5*g + 5*s + x = -26. Is 12 a factor of g?
True
Let w be (-6)/15 - (-184)/10. Let i = 41 - w. Suppose 0 = q + i - 84. Is 15 a factor of q?
False
Is 108996/217 + 4/(-14) - 2 a multiple of 100?
True
Let j = -10 - -13. Suppose 0 = 2*c + j*d + 67, 2*d - 2 = -0*d. Let s = 40 + c. Does 2 divide s?
False
Suppose -5*o + 4*k = 108 + 25, 2*o = 3*k - 56. Suppose 3*g - 5*d + 5 = 0, -10*g + 4*d = -13*g - 23. Let r = g - o. Is r a multiple of 5?
True
Suppose -3*o = -2*v + 826, 6*o = -v + 4*o + 406. Is v a multiple of 7?
False
Let r(z) = -z**3 - 25*z**2 + 24*z - 50. Let f be r(-26). Suppose -2*c + 8 = f*n, -3*n - c + 2*c = 0. Let v(w) = 86*w**3 - 3*w**2 + w. Is 14 a factor of v(n)?
True
Let t be ((-40)/(-15))/(-8) - 11/3. Let z be 2/(-4)*-4 + t + 6. Is 8 a factor of 25 + ((-14)/(-2) - z)?
False
Let d(n) be the second derivative of -n**4/6 + 11*n**3/3 + 5*n**2 - 2*n + 56. Suppose 4*l = -13 + 49. Is d(l) a multiple of 15?
False
Let j(y) = 20*y + 8. Let u = -25 + 29. Let x be u/2 - (4 - 6). Does 22 divide j(x)?
True
Let h = 20383 + -11185. Is 73 a factor of h?
True
Let n be (0 - 28/(-8))/((-4)/(-8)). Suppose 348 = n*l - 233. Is l a multiple of 51?
False
Is (0 - -6901)/(-19 + 12 - -8) a multiple of 21?
False
Let z be (-3 - 1555/15)/((-1)/3). Suppose 0 = -3*f + 3*k + 192, -6*f + f + z = -k. Is f a multiple of 37?
False
Suppose 4*h - 16974 = f, 5*h - 21240 = -105*f + 110*f. Does 126 divide h?
False
Let u = -94 - 154. Let m = 318 - 454. Let r = m - u. Does 16 divide r?
True
Let x = -99 + 177. Let m be (-968)/352 + (-18)/8. Let k = x - m. Is k a multiple of 18?
False
Let l(d) = 2*d**3 - 51*d**2 + 25*d + 16. Suppose -250 = -12*a + 50. Is 4 a factor of l(a)?
True
Suppose 0 = 18*c - 29 - 151. Let h(f) = f**3 - 2*f**2 - 21*f - 17. Is 16 a factor of h(c)?
False
Let z = -643 + 3577. Does 41 divide z?
False
Let k = 39715 + -17371. Is 84 a factor of k?
True
Let j be (523 - -5) + 7 - 5. Let w = 142 + j. Is w a multiple of 28?
True
Suppose 1416483 = 158*u + 82647. Does 63 divide u?
True
Let x(w) = -w**2 + 7 + w + 23 + w + 0*w. Let d be x(6). Suppose -d*p + 4*p + 54 = 0. Is 7 a factor of p?
False
Is 5 a factor of (-1708)/(-2) - 11/165*15?
False
Let g(t) = 2*t**3 - 7*t**2 - 39*t + 17. Let j(s) = -s**3 + 3*s**2 + 19*s - 8. Let v = 10 + -1. Let i(r) = v*j(r) + 4*g(r). Is 21 a factor of i(-5)?
True
Let z = 790 + -801. Let p(v) = 14*v**2 - 8 + 15*v + 0*v**3 + v**3 + 0*v**3. Is 28 a factor of p(z)?
False
Let h = 230 - 235. Does 35 divide (h + -10)*(70/(-3))/5?
True
Let c be 20/(-30) - 48/9. Is (c/4)/(36/(-10800)) a multiple of 30?
True
Let q = -1445 + 3605. Is q a multiple of 72?
True
Suppose -16*g - 8*g = g - 491200. Does 32 divide g?
True
Let i = -29217 - -34764. Does 43 divide i?
True
Suppose -78*m - 74*m + 91760 = -142*m. Is 62 a factor of m?
True
Let q be 19470/70 - (-4)/(-28). Let i = q - 133. Does 5 divide i?
True
Let q(h) = -11*h**2 + 2*h + 1. Let s(r) = 55*r**2 - 11*r - 5. Let v(m) = -22*q(m) - 4*s(m). Does 25 divide v(-4)?
True
Let n be 0/3 + (-40)/(-4)*1. Suppose n = -5*p, -4*c - 8*p = -6*p - 360. Is c a multiple of 7?
True
Let b = 303 + -129. Does 67 divide -938*(b/36 - 5)*3?
True
Suppose -y + 7 = -0*y - 4*m, -5*y = m + 28. Is 21 a factor of 279 + -2 + (1 - y)?
False
Suppose 7*p = 48 - 13. Suppose p*d = -4*s + 25, 3*d = -d + 3*s + 20. Is (107 + (d - 4))*1/2 a multiple of 11?
False
Is 17 a factor of 3156 + (1 - -10) + 12?
True
Let t(q) = -2*q**2 + 13*q - 10. Let n be t(5). Suppose -3*o + n + 4 = 0. Suppose -o = y - 27. Is y a multiple of 19?
False
Suppose -2*n = 3*d + 3*n, 0 = d + 5*n. Suppose -f = 3*p - 179, f - 299 = -5*p - d*p. Suppose -2*q - 5*r = -65, -4*q + 5*r + p = r. Does 4 divide q?
True
Suppose 0 = 2*q + 1 - 9. Is (-1123)/(-5) + q/((-80)/12) a multiple of 10?
False
Suppose 21*z - 12*z = 5337. Let h = z + -243. Is 7 a factor of h?
True
Let g(r) = r - 12. Let h be g(-18). Let o = -18 - h. Suppose -9*f - 297 = -o*f. Does 15 divide f?
False
Let l = -6882 - -6890. Does 3 divide l?
False
Let q = 49 + -59. Let l(v) = v**2 + 11*v + 15. Let c be l(q). Suppose c*t + 4 = 64. Is 4 a factor of t?
True
Suppose w - 41*l = -43*l + 428, 5*l + 811 = 2*w. Is w a multiple of 41?
False
Suppose 0 = -8*v + 6*v + 4. Suppose -2*x = -2*z - 122, v = -3*z + 17. Is x a multiple of 12?
False
Suppose 0 = 125*p - 141*p + 16272. Is p a multiple of 7?
False
Is 3 a factor of 14/10 - (-1109685)/725?
False
Suppose 74*d = -4*d + 4*d + 138158. Does 57 divide d?
False
Suppose 5616 - 1214 = -31*z. Let t = z + 384. Is 22 a factor of t?
True
Let g = -60 + 58. Is (0 - -2)*(-269)/g a multiple of 5?
False
Suppose -26848 = 42*t - 45*t - 5*g, 0 = -2*t - 4*g + 17902. Is 52 a factor of t?
False
Let z be (-50)/(-8) + (-633)/(-844). Let p(f) = f - 1. Let t(o) = 3*o**2 + 4*o - 10. Let a(d) = -2*p(d) + t(d). Does 53 divide a(z)?
False
Let n be (-4*(-298)/12)/(6/(-27)). Let c = n - -815. Let f = c - 246. Does 11 divide f?
False
Let q = -14930 + 16547. Is 3 a factor of q?
True
Let c(s) = s**2 + s - 2. Let q be c(4). Is 31 a factor of (-1 - q)*(-16 - 15)?
True
Let m = -3714 + 28473. Does 36 divide m?
False
Let s(y) = -291*y**3 - 32*y**2 - 159*y - 102. Is s(-6) a multiple of 263?
False
Let d be (-4)/(-6) + 90/27 + -2. Suppose -6334 = -5*q + d*n, 4*q - 2*n = -4*n + 5060. Is q a multiple of 9?
False
Let q(w) = 2210*w**2 + 44*w - 85. Does 11 divide q(2)?
False
Let k(f) = -f**3 - 2*f**2 - 30*f + 20*f**2 + 14*f. Does 30 divide k(16)?
False
Let b = -5243 - -5813. Is b a multiple of 24?
False
Let o = 1296 + 15706. Does 9 divide o?
False
Let g = 5 - 3. Suppose -g*r + 0*r - 354 = 0. Let i = -87 - r. Is i a multiple of 15?
True
Let y(q) = -q**3 - 51*q**2 + 85*q + 13. Is y(-55) a multiple of 173?
False
Suppose u + 5 = 0, -r + 37 = 2*u - 53. Suppose -r*f = -104*f + 264. Is 6 a factor of f?
True
Suppose 339 = -9*s + 10*s. Let o = 422 + s. Does 29 divide o?
False
Let l = -33 - -36. Suppose 0 = -12*x + l*x + 630. Is 7 a factor of x?
True
Let r(s) = -419*s**3 - 3*s**2 + 3*s + 11. Does 5 divide r(-2)?
True
Let o be ((-1552)/582)/((-2)/111). Let y = 364 + -138. Let l = y - o. Is 13 a factor of l?
True
Let l(w) = -2*w - 40 + 4*w + 42 - 4*w**2. Let x be l(-1). Is (-7)/28 - 613/x a multiple of 16?
False
Let h(q) = 84*q**2 + 3*q - 1. Let g(o) = -o**3 + 11*o**2 - 2*o + 26. Let w be g(11). Let a(m) = -m. Let k(z) = w*a(z) + h(z). Does 42 divide k(-1)?
True
Let c = 3762 - -5946. Does 32 divide c?
False
Let h(x) = 8*x**2 - 65*x - 595. Is h(-41) a multiple of 15?
False
Suppose 17 - 18 = -x. Suppose -m + 24 - 27 = -v, -3*m + 15 = 3*v. Suppose 3*w + v*a - 516 = -w, 0 = -a + x. Is w a multiple of 15?
False
Let x = -30 + 34. Suppose -2*d = 3*g - 89, g + 0*d - x*d = 39. Does 7 divide ((-3)/15)/(3/(-15))*g?
False
Suppose 3*c + 0*c - 20 = -5*m, -4 = -m - 3*c. Let p be 3*4/(0 + m). Suppose 135 = p*l - 0*l. Does 14 divide l?
False
Let r(g) = 4*g**3 + 10*g**2 - 3. Let m(l) = l**2 - l - 1. Let b(f) = 6*m(f) - r(f). Is 25 a factor of b(-2)?
True
Let n = 3001 - 2542. Is 9 a factor of n?
True
