3 - 2*r**2. Is 10 a factor of f(5)?
True
Suppose -2*n - 2 + 6 = 0. Let v(w) = 8*w - 8 - 9*w**2 - 7*w**n + 17*w**2. Is 32 a factor of v(-12)?
False
Let p = -815 - -1163. Let b = p - 334. Is 7 a factor of b?
True
Let s(n) = 1468*n - 3399. Is s(7) a multiple of 35?
False
Let j(x) = 3*x**2 + 7*x - 5*x - 7*x + 2. Let h be j(-6). Suppose -188 - h = -4*t. Is t a multiple of 41?
True
Suppose 2 + 4 = 2*m. Suppose -m*f - 10 = -19. Suppose 0*o - 2*o + 112 = n, 2*o - f*n - 112 = 0. Is o a multiple of 14?
True
Let g = 119 + -164. Let u = g + 171. Is 24 a factor of u?
False
Suppose -5 = -s - 0. Suppose 0 = 4*y - 3*k - 2 - 1, -2*y + s*k - 9 = 0. Suppose 3*m - 4*m = 4*l - 6, y*l + 48 = 3*m. Is 14 a factor of m?
True
Let a be (50/(-3))/((-10)/(-45)*-3). Does 53 divide (a/3)/(16/2544)?
True
Suppose -6*q = -5*x - 7*q - 746, x - 2*q + 147 = 0. Let p = x - -145. Does 50 divide 890/6 - (0 + p/(-12))?
False
Let w(c) = c**2 - 16*c + 22. Let u be w(22). Does 2 divide ((-6)/(-4))/(21/u)?
False
Let m = 41608 + -23707. Is m a multiple of 17?
True
Let y = -7470 + 11531. Is y a multiple of 5?
False
Let g(h) = -5 - 7*h - 16*h + 26*h - 5*h + 30*h**2 - 70*h. Is 17 a factor of g(4)?
True
Suppose 623 = 4*u + 195. Let c = 219 + u. Is c a multiple of 71?
False
Let f be ((-4)/5)/(24/(-1740)). Suppose 0 = 6*g - 8*g + 130. Let a = g - f. Is a a multiple of 2?
False
Let w be (-8)/(-2)*(11 + -10). Suppose -3*d - 692 = -4*z, -1060 = -5*z + w*d - 196. Suppose -f - 4*v + z = 0, -v = -5*f + f + 704. Is 22 a factor of f?
True
Is 5/(5/(-135870)*-35) a multiple of 24?
False
Does 11 divide (-248468)/(-60) - (-4)/(-30)?
False
Let a(i) = 44*i - 3. Let m be a(2). Let o = 77 - m. Is (-1 + o)*(-140)/42 a multiple of 12?
False
Suppose -3*g + 545 = -2*u - 280, 2*u + 552 = 2*g. Let l be (g/(-12))/(1/(-8)). Suppose 140 = 186*q - l*q. Is 5 a factor of q?
True
Let j = 34 + -29. Suppose -9*i + 4*i = j*a + 10, -5*a = 25. Suppose -x + 19 = f, -f = i*f - 5*x - 121. Does 8 divide f?
True
Let f(n) = -2*n**3 - 2*n**2 - n. Let v(o) = o**3 + 2*o**2 + 2*o + 1. Let p(u) = 3*f(u) + 2*v(u). Let d be p(-1). Suppose 4*q - 243 = -d. Is q a multiple of 12?
True
Is 33/(-77) - 42844/7*15/(-20) a multiple of 34?
True
Suppose -4*x = 5*h + x - 16685, 2*x = 4*h - 13336. Is 116 a factor of h?
False
Let j be -1*2 - -5 - (-29 - -959). Let k = j - -1266. Does 45 divide k?
False
Let d(y) = 9*y + 60. Let a be d(-6). Let s(z) = a*z**2 + 0*z**3 + 4*z + 0*z**3 - 7*z + z**3. Is 17 a factor of s(4)?
False
Let w(y) = 1018*y + 1702. Is w(8) a multiple of 32?
False
Let p(r) = -4*r + 38*r**2 - 3 - 2*r**3 - r**3 - 36*r**2. Is 12 a factor of p(-3)?
True
Let o(c) = -8*c**2 - 4*c. Let h be o(-6). Let s = h - 67. Is 6/(-8) + -3 + s/(-4) a multiple of 16?
False
Let n = 22 - 37. Let s = n - -12. Does 2 divide s/2*(-16 - -2)?
False
Let f be (2 + 0)*(-5)/2. Let s(a) = 11*a**3 - 16*a**2 + 7*a + 3. Let n(b) = -4*b**3 + 8*b**2 - 3*b - 1. Let i(l) = -5*n(l) - 2*s(l). Is 16 a factor of i(f)?
False
Let t be (129/9)/((-4)/(-12)). Suppose -3*p - t = -4. Let h = p - -58. Is 6 a factor of h?
False
Suppose -g + k = 2*g - 16, -28 = -5*g + k. Let p(q) = 6*q**2 + 48*q + 14. Is p(g) a multiple of 7?
True
Let z(h) = -17*h**3 - 2*h**2 - 5*h - 5. Let f be z(-2). Suppose 3*c + 2*c - 87 = -3*r, -c = 4*r - f. Does 6 divide r?
False
Let i(c) = -10*c + 49. Let y be i(-14). Let l = 268 - y. Does 21 divide l?
False
Suppose 78*j - 181598 + 15101 = 9*j. Does 19 divide j?
True
Suppose 5*d = q - 572 - 758, 0 = 4*d + 16. Is 113 a factor of q?
False
Let i(k) = -4*k**2 + 7*k - 8. Let g be i(2). Let a(m) = -m - 1. Is a(g) a multiple of 9?
True
Suppose -r + a = -5*r + 5507, -3*a - 4149 = -3*r. Let w = r + -38. Is 67 a factor of w?
True
Let i(f) = -417*f + 476. Is 35 a factor of i(-9)?
False
Let q be (1*-1)/(10/(-20)). Suppose 0 = -2*b - q, b = -4*f + 46 - 7. Is f a multiple of 5?
True
Suppose -5923 = 15*i + 1442. Let a = i + 899. Does 39 divide a?
False
Let b(d) = d**3 - 18*d**2 + 18*d - 59. Let p be b(22). Let s = p + -1616. Is 24 a factor of s?
False
Suppose 0 = 406*d - 495*d + 1840075. Is 17 a factor of d?
False
Let m be ((-2)/(-2))/(2/26). Let y(f) = -5*f**3 - 4*f**2 + 39*f + 128. Let u be y(-4). Suppose m*v - u = 10*v. Is v a multiple of 24?
False
Let l(k) = 114*k**2 + 321*k + 45. Is l(-11) a multiple of 127?
False
Let l = -19 - 2. Let v be l/(-6)*(4 + -3 + 35). Suppose -8*q + q = -v. Is 5 a factor of q?
False
Suppose 33*m + 164246 = -43*m + 680438. Is m a multiple of 10?
False
Suppose 1114*f = 1097*f + 58582. Does 58 divide f?
False
Let q be 624/(-130)*15/(-6). Does 24 divide (q*(-1)/(-15))/((-7)/(-4620))?
True
Let d = -325 + 318. Let h(z) = -z**3 + 4*z**2 + 7*z - 23. Does 7 divide h(d)?
False
Let n be 0 - ((-414)/2)/3. Let d = -363 - -315. Let k = n + d. Is k a multiple of 4?
False
Let m(p) = 413*p**3 + 38*p**2 - 165*p - 22. Is m(4) a multiple of 138?
True
Suppose -2*g + 2 = d, 0*d = 2*d + g - 4. Suppose r = d*r - 72. Suppose -w - 2*w + 47 = 2*o, -r = -4*w + 2*o. Does 17 divide w?
True
Let h(x) = -18*x + 19. Suppose 6 = 2*g, g + 19 = 2*i + 6. Let l be h(i). Let v = l - -176. Does 5 divide v?
False
Let x = -54 + 54. Suppose 5*i + 3*j + 483 + 586 = x, 3*i + 633 = j. Let z = i + 316. Does 26 divide z?
True
Let d(b) = 7*b**3 - 828*b**2 + 379*b + 34. Is 12 a factor of d(118)?
True
Suppose 4*o - 1 = -5. Let i be o + (15 - 3)/3. Does 7 divide i/(-5) - ((-912)/20 - 4)?
True
Is ((-31656)/18)/((-6)/27 + 0/(-5)) a multiple of 34?
False
Is 1095 + 35 + (-1 - (3 + 0)) a multiple of 4?
False
Let t be (-140)/42*(-12)/(-10). Let o(p) = 3*p**2 + 12*p + 31. Is o(t) a multiple of 3?
False
Suppose -14976 = -p - 5*s, -5*s = 4*p - 11610 - 48204. Is p a multiple of 141?
True
Let m(y) = -y**3 + 17*y**2 - 53*y + 15. Let v be m(13). Let s(k) = 108*k + 9. Is s(v) a multiple of 9?
True
Let m(x) be the second derivative of x**6/360 - x**5/60 - 5*x**4/6 - 5*x**3/3 - 11*x. Let f(r) be the second derivative of m(r). Is f(8) a multiple of 16?
False
Let y be 4/8 - 625/(-10). Is 57 a factor of 8024/14 - 9/y?
False
Let m be (-4)/(-12) - (-14)/3. Let p(i) = 4*i**2 + 7*i + 10. Let w be p(6). Suppose -w - 44 = -m*x. Is 14 a factor of x?
False
Suppose -3*q - 2*i + 3*i - 244 = 0, 3*i = -4*q - 334. Let g = 123 + q. Does 15 divide g?
False
Let v = 40 - 22. Suppose -23*d + 33*d - 30 = 0. Is d*(-2)/v + 796/12 a multiple of 11?
True
Suppose -14*m = 12*m - 702. Suppose -o + 2*x + 807 = 0, o + x - 780 - m = 0. Is o a multiple of 28?
False
Suppose 0 = -422*a + 214*a + 211*a - 168135. Is a a multiple of 55?
True
Suppose 0 = -14*o + 74*o - 25783 - 51437. Is o a multiple of 13?
True
Let x = 34958 + -19747. Is 41 a factor of x?
True
Let a = 4279 - 1435. Is 9 a factor of a?
True
Suppose -264939 + 33331 = -15*l + 36157. Is 100 a factor of l?
False
Let h(t) = 4*t - 6. Let r be ((-5)/(-4))/(8/32). Let x be h(r). Does 3 divide 220/x - 48/(-168)?
False
Let m be -16*62/28 - 15/(-35). Let j be m/20 - -2 - 21/4. Is (-1 - j)/(2/13) a multiple of 16?
False
Let t(q) = -126*q**3 + 108*q + 312. Does 6 divide t(-3)?
True
Suppose -k + 2*r + r = -50, 4*k = -2*r + 130. Suppose -36*b + 3 = -k*b. Suppose z - 27 = -x, b*z + 0*x - x = 85. Is 15 a factor of z?
False
Suppose 5*o + 6*o = -1098 + 20942. Does 14 divide o?
False
Suppose 3*d - 9968 = 16519. Is d a multiple of 86?
False
Suppose -15 + 17 = s. Let m(v) = 30 + 0*v - v + v + s*v. Does 17 divide m(21)?
False
Let x(b) = -b**2 - 6*b + 12. Let t be x(-7). Suppose 0 = -n - 3*s - t + 2, -4*n - 3*s - 3 = 0. Let k(l) = -7*l + 60. Is k(n) a multiple of 6?
True
Suppose -5*o = 5, -8*t + 7*t = -3*o - 5. Suppose 2*i + t*c = -2*i + 2640, -1980 = -3*i + c. Is 44 a factor of i?
True
Suppose 2*i = -4*y + 22, 0 = -0*y + 5*y - 3*i - 55. Let m(a) = a**2. Let h(f) = 4*f**2 - 3*f + 8. Let w(c) = h(c) - 2*m(c). Is w(y) a multiple of 13?
False
Suppose -49*u + 129400 + 263090 = 0. Is u a multiple of 47?
False
Let x(k) be the first derivative of 3/2*k**2 + 41 + 13/3*k**3 + 1/4*k**4 + 58*k. Does 19 divide x(-13)?
True
Is 310/4*23688/210 a multiple of 186?
True
Let l be 50/4*8/10. Let q be ((-2)/(10/165))/(9/(-135)). Suppose -15*z + q = -l*z. Does 22 divide z?
False
Let q(j) = j**3 + 127*j**2 - 304*j + 372. Is q(-128) a multiple of 48?
False
Let n(y) be the second derivative of y**4/12 - 7*y**2 - 25*y. Let c be n(4). 