a multiple of 8?
False
Let n(o) = 7 + 42*o**2 - 47*o**2 + 31*o + 7*o**2 + 32*o**2. Is n(-6) a multiple of 19?
True
Suppose 1447 - 1522 = -5*b. Suppose b*v - 1044 = 13*v + 4*t, -4*v - 3*t = -2110. Is v a multiple of 11?
False
Let b = -2301 + 6991. Is b a multiple of 53?
False
Let p = 684 + -361. Suppose -12*q = -p + 11. Does 13 divide q?
True
Suppose -3*i = -4*j + 5, i + 2*j = 2*i + 5. Suppose 0 = -i*v - 0. Suppose -4*c - 4 = v, 5*f - 5*c = 3*f + 31. Is 13 a factor of f?
True
Let t = 20 - 16. Suppose 5*c + 13 = -t*o - 0*c, 24 = 3*o - 3*c. Suppose -5*w = -5*s - 235, -6*w + o*w + 148 = 4*s. Is 8 a factor of w?
True
Let g be 0 - ((-5)/(10/(-6)))/(-1). Let i be 2/g + (0 - (-232)/12). Suppose -5*m + 2*h + i = -302, -5*m - 3*h = -342. Is 22 a factor of m?
True
Suppose 48*j - 7833 = 3783. Is j a multiple of 3?
False
Let o(y) be the first derivative of 29*y**3/3 + 4*y**2 + 7*y - 36. Does 9 divide o(-2)?
False
Let y(d) = 18*d + 344. Let c be y(-18). Let z(v) = 2*v**3 - 36*v**2 - 8*v + 10. Is z(c) a multiple of 14?
False
Let o(l) = -2*l**3 + 8*l**2 + 7*l - 13. Let z be o(-7). Suppose 9*b = 2771 - z. Is b a multiple of 39?
True
Let g(w) = 11*w**2 + 3*w - 5. Let v be g(4). Let u be (-1)/(-2)*(v - -1). Let o = u - -72. Is 28 a factor of o?
False
Let b(d) = 40*d - 6 + 4 - 12 - 62. Does 71 divide b(9)?
True
Is (19363/(-85))/(4/(-100)) a multiple of 70?
False
Let y = -2458 + 2545. Is 54 a factor of y?
False
Is 15 + (438 - (-7 - -1)) a multiple of 7?
False
Let o be (-1784)/(-120) - (3 + 188/(-60)). Let g(l) = 3*l**2 + 20*l - 61. Is g(o) a multiple of 34?
False
Let s be (0 - -110) + -4*(-2)/(-4). Let u = 86 - s. Let x = u + 96. Is x a multiple of 37?
True
Suppose 0 = 3*m + 3*l - 1740, 3*m - 2639 + 899 = 4*l. Let u = 12 - 7. Suppose 4*z + z - m = 5*a, -3*z + u*a + 348 = 0. Is 22 a factor of z?
False
Suppose 0 = 3*z, 3*y - 3*z + z + 1719 = 0. Let a = -476 - y. Does 4 divide a?
False
Let x = 2780 - 1771. Suppose 0 = 3*k + x - 3592. Does 7 divide k?
True
Suppose -42*c + 909 = -45*c. Let h = 0 - c. Is h a multiple of 39?
False
Suppose -q = -2 + 47. Let y be (-4 - (-4 + 7))/(-1). Does 3 divide q/(-105) - (-67)/y?
False
Let m be (57/(-9) + 5)/((-8)/4164). Let z = -235 + m. Is 34 a factor of z?
False
Suppose -34*a + 3953 + 467 = 0. Is (0 + -2)*a/(-4) a multiple of 5?
True
Let h = -2 - 4. Let s(w) = -w**2 - w + 34. Let o be s(h). Suppose o*u + n = 437, 4*u + 4*n = 157 + 271. Does 15 divide u?
False
Suppose 8*v = -11*v + 95. Let b(z) = 2*z**3 - 7*z**2 + 13*z - 3. Is 13 a factor of b(v)?
False
Let r(x) = x**2 + 11*x - 2. Let s(c) = c + 1. Let o(z) = r(z) - 3*s(z). Let h be o(-9). Is (123 - 0) + (3 - h)*1 a multiple of 52?
False
Let w be (-23 - 67)*(-179)/(-3). Is 21 a factor of (2*w/48)/(30/(-48))?
False
Let g = -5 - -9. Suppose -4*r = -12, 21 = 3*m - 0*m + g*r. Suppose w - 5*u = 1 + 69, -m*w = u - 210. Is w a multiple of 10?
True
Let g(n) be the second derivative of 3*n**5/5 + n**4/12 + n**3/3 - n**2 - 21*n. Let w be g(2). Let i = w + -8. Is i a multiple of 21?
False
Let r = -64 + 79. Let c(p) = 4*p**2 - 10*p + 25. Let s be c(r). Suppose 0 = 6*h - 11*h + s. Does 12 divide h?
False
Is 2/((84/(-219037))/(-6)) a multiple of 13?
True
Suppose -t + 4*p + 53 = -810, 3*p = -t + 849. Suppose 20*x = t - 115. Does 9 divide x?
False
Let r(c) = -8*c - 67. Let x be r(-8). Let o = 106 + x. Is 12 a factor of o?
False
Suppose 0 = a + 5, 146 = g - 3*a - 2637. Is g a multiple of 3?
False
Suppose -4*j - 13788 = -3*y, 5*y - 4*j - 18090 = 4898. Is 4 a factor of y?
True
Let y(a) = -10*a**3 - 20*a**2 - 12*a - 7. Is 34 a factor of y(-9)?
False
Let k = -461 + 695. Let l = k - 178. Is l even?
True
Let y = 4103 + -3319. Is y a multiple of 49?
True
Let v(t) = -2*t**2 + 19*t - 32. Let a be v(7). Suppose -4*m - 5*n = -167, -6*n = 2*m - a*n - 81. Is m a multiple of 16?
True
Suppose 444 = -k - 0*k. Let z = 4376 - 4646. Let a = z - k. Is 22 a factor of a?
False
Let c = 62995 + -34410. Is c a multiple of 9?
False
Let y be (-2 - 1)*((-3)/(-9))/(-1). Let b(u) = -12 + 1 + 3*u**2 - 3 - y. Does 20 divide b(6)?
False
Let n = 3569 - -1100. Is n a multiple of 80?
False
Is (-60102)/(-28) - 6/4 a multiple of 11?
True
Suppose -92 = -16*b - 44. Suppose 3 = -3*t + 12. Suppose -b*f + 2*a + 203 = 0, 4*a + 138 = t*f - f. Does 18 divide f?
False
Does 48 divide ((-124)/((-2860)/(-273) - 10))/(1/(-40))?
True
Suppose -9 = -s, 7*s + 2954 = 3*l - 11263. Is 136 a factor of l?
True
Let j = -66 + 326. Suppose j*t + 1800 = 265*t. Is t a multiple of 10?
True
Suppose 0 = -3*j - 5*r + 8109, 0 = 3*j - 137*r + 133*r - 8163. Does 29 divide j?
False
Let c = -673 - -325. Is 20 a factor of 170/51*c/(-5)?
False
Let s(i) be the third derivative of 11*i**4/24 + 22*i**3/3 + 79*i**2. Is 11 a factor of s(-3)?
True
Suppose -2*g = l - 15114, 172*g - 167*g = 2*l - 30255. Does 140 divide l?
True
Suppose 2*o + 6 - 22 = 0. Suppose a + o = -2. Is 11 a factor of (-5)/a*129 - 1/2?
False
Let h(u) = -22*u + 6. Let q be h(1). Is q/(-12) + 26/(-6) - -111 a multiple of 18?
True
Let m be 549/(-45) + 9 - 1/(-5). Let z(n) = n**3 + 4*n**2 - 3*n + 4. Let h be z(-5). Does 4 divide (9 - 10)/((h/(-112))/m)?
True
Is 41 a factor of -6 - (-4473 + 5)*3/(60/155)?
False
Let z be 9*((-15)/(-75))/((-6)/10). Is 5/((-5)/(-286)) + z a multiple of 29?
False
Suppose -33*i = -24801 + 2823. Does 9 divide i?
True
Let q(u) = u**2 + 3*u - 3. Let o(z) = z**2 + 2*z - 2. Let x(g) = 5*o(g) - 4*q(g). Let s be x(0). Let j(b) = 14*b**3 + b**2 - 4*b + 3. Is j(s) a multiple of 37?
True
Suppose 8*u - 5*u - 12 = 0. Suppose 3*x - u*p + 45 = -p, -4*p = x. Does 17 divide 6/x - 273/(-6)?
False
Let s be 291/(-12) - 1/(-4). Let k be -6 - 140/s - 782/(-12). Suppose 293 + 32 = 5*j - 2*r, j - r - k = 0. Is j a multiple of 15?
False
Suppose 0*i + 2*i + 4*b - 1972 = 0, 4894 = 5*i - 2*b. Suppose 5*v - i = 5*q, 2*v - 206 = v + 3*q. Is 3 a factor of v?
False
Let g(l) = -3*l - 22*l**3 + 6*l**3 + 4*l**2 + 2*l**2 + 4 + l - 10*l**2. Does 10 divide g(-2)?
True
Suppose -4*f - 3*b + 6555 = f, -3*f - 2*b + 3933 = 0. Does 69 divide f?
True
Suppose -21 - 2 = -5*d + h, h = -5*d + 27. Suppose d + 115 = 2*g. Suppose -r - 2*o + g = 0, -2*o + 3*o + 344 = 5*r. Is 10 a factor of r?
False
Let v(b) = -31*b - 213. Let m be v(-15). Let a = 315 - m. Is a a multiple of 4?
False
Let u(b) = b**3 + 2*b**2 - b - 2. Let h(v) = -v + 18. Let o be h(20). Let j be u(o). Suppose j = n - 10 - 5. Does 15 divide n?
True
Let f(y) = y**2 + y. Let g be f(-1). Suppose 3*p + 2*i = -2*i + 306, -p = -3*i - 115. Let w = p - g. Does 26 divide w?
False
Let p be -1*(-28)/7*2*-1. Does 2 divide p/36 + 2395/45?
False
Let k(i) = i**3 + 15*i**2 + 21*i - 28. Let y be k(-10). Let x = -172 + y. Is 9 a factor of x?
True
Suppose -2905 = -2*a + 5*x, -2*x - 655 = a - 2112. Let b = -765 + a. Is b a multiple of 46?
True
Let u be (0/35)/((-4)/4). Suppose a = -2*j - 2, 2*j + 4*a = 5*j - 8. Suppose u = -j*b + 5*b - 15. Is 2 a factor of b?
False
Let w(n) = -n**2 + 30*n + 129. Let y be w(31). Does 73 divide 7/y*8 - 10212/(-14)?
True
Let w = 7 - 4. Suppose 4*l + c + 17 = 0, w*l + 5*c + 13 = 4*c. Does 18 divide (144/10)/(l/(-20))?
True
Suppose 0 = -21*v - 15*v - 6*v + 315630. Does 40 divide v?
False
Let p = 3177 - 3033. Is p a multiple of 6?
True
Let k(m) = -109*m + 8601. Is 42 a factor of k(3)?
True
Let g(f) = 6*f**2 + 47*f - 16. Let l be g(-9). Suppose 39 = m + 4*n, 0*n + l = 3*m - 2*n. Is m a multiple of 19?
True
Suppose 14*w = -8*w - 462. Let r(q) = q**2 + 2*q + 16. Is r(w) a multiple of 34?
False
Suppose 7*a + 5*a = 720. Let t = 59 - a. Does 11 divide (t*(-4)/(-4))/(2/(-286))?
True
Let i(t) = -t**3 + 7*t**2. Let r be i(7). Is (r - 2) + (530 - (-1 + 16)) a multiple of 57?
True
Let l(s) be the second derivative of s**5/20 - 17*s**4/12 + 23*s**3/6 + 7*s**2 - 65*s. Is l(16) a multiple of 7?
True
Suppose 12135 = 3*z - 22*z + 220774. Is z a multiple of 2?
False
Let v(i) = i**3 - 52*i**2 + 109*i + 16. Does 4 divide v(50)?
False
Suppose 0 = 39*g - 51*g + 816. Suppose -42*o = -g*o + 6578. Does 12 divide o?
False
Let q(f) = -33*f - 20. Let a be q(13). Let p = 634 + a. Is p a multiple of 37?
True
Let p(v) = 261*v**2 - 5*v - 15. Is p(-3) a multiple of 4?
False
Let f(p) = 138*p**3 - 6*p**2 + 35*p - 2. Does 153 divide f(4)?
True
Is 14 a factor of (7 - 1) + 15/((-150)/(-21920))?
Tr