
False
Let p(w) = -2*w**2 + 3*w + 11. Let u be p(-7). Let c = u + 178. Does 14 divide c?
True
Let u(w) = w**3 + 32*w**2 + 63*w - 71. Does 92 divide u(-27)?
False
Suppose -3*z - u = z + 102, 4*u = 8. Let t = 41 + z. Does 15 divide t?
True
Is 2*(82 - (-4 - -4)) a multiple of 13?
False
Suppose -4*a - 5*z + 30 = -3*z, -2*z = -4*a + 10. Let n(w) = -5 - a - w**2 + 2*w - w**3 + 5. Is 22 a factor of n(-5)?
False
Suppose 134*u - 140*u = -6066. Does 41 divide u?
False
Let p = 29 - 32. Let f(z) = -z + 3. Does 3 divide f(p)?
True
Let r be -4 - -481 - 1 - 3. Suppose 3*t - 104 = -a, -5*a = 3*t - 11 - r. Does 12 divide a?
False
Suppose 2*q + 7*q = -261. Let d = 199 + q. Is 20 a factor of d?
False
Suppose 2*d + 10 = -2. Let v = d - -24. Is v a multiple of 3?
True
Let t be 3998/8 + 4/16. Suppose -t + 170 = -5*d. Suppose -5 + d = j. Is 23 a factor of j?
False
Let n(h) = -h**2 + 60*h - 38. Is 6 a factor of n(46)?
True
Suppose -6*c = -4*c - 2*p - 512, -3*p = 12. Does 4 divide c?
True
Let w = 13 - 11. Let j be 1 + -2 + w + 0. Does 22 divide (0 - (-25 - -3))/j?
True
Let m(j) = 25*j**2 + 3*j + 2. Let b be m(-2). Does 15 divide 8/(b/(-1062))*8/(-6)?
False
Let j = 5 - 2. Suppose 0 = -2*q + 3 + j. Suppose 134 = q*z - 76. Does 23 divide z?
False
Suppose 2*u = -3*u + 2*q - 29, -2*q - 21 = 5*u. Let w = 18 + u. Is w even?
False
Let f(k) be the second derivative of -k**3/6 - 5*k. Let j(h) = 1. Let o(l) = f(l) + 4*j(l). Is o(-9) a multiple of 5?
False
Let o be -3*((-20)/12 + -2). Let p(y) = -3*y**2 + 2*y**2 + 3 - o*y - 9. Is p(-4) a multiple of 22?
True
Suppose 4*w + w - 15 = 0. Suppose x - 24 = -w*x. Suppose 9 = 7*q - x*q. Is q a multiple of 9?
True
Let b(x) = 6*x**2 + 12*x - 4. Let f be b(4). Suppose -f - 368 = -2*k - a, 5*a = k - 232. Is k a multiple of 36?
True
Let y be 2 + 1 + 21/(-3). Let w be (-4)/6*30/y. Suppose 3*b = 4*l - 70, -w*l + 2*b = -2*b - 87. Does 11 divide l?
False
Let c = -25 - -98. Let l = c + -29. Is l a multiple of 4?
True
Suppose -4*l + 387 = -25. Suppose 4*m - 3*g = l, -m + 95 = 4*m + 3*g. Is 3 a factor of m?
False
Is 14 a factor of (65/15)/((-2)/(-84))?
True
Let i = -832 + 1192. Does 12 divide i?
True
Suppose 6*z - 3 = -3. Suppose -4*h - q + 161 = z, -3 = -q - 2*q. Does 10 divide h?
True
Is 550/33*1476/15 a multiple of 20?
True
Does 13 divide 7 - (-4 + 5)*-479?
False
Suppose 11 = 5*j - 9. Let f(g) = 2*g + 4*g**2 + 2*g**2 - j - 5*g. Is 12 a factor of f(3)?
False
Suppose 0 = 24*j + 3054 - 30774. Does 82 divide j?
False
Suppose 2*s - 37 = -5*g, -g - 19 = -2*s - 2*s. Suppose 6 = 7*m - s*m. Suppose 119 = m*i - 25. Is 6 a factor of i?
True
Suppose 3*t + 0*t - 544 = -5*p, -2*p = 2*t - 220. Is p a multiple of 9?
False
Let d be -10 - -5 - (-4 + 6). Let q(m) = -3*m - m - 17 + 4. Is 8 a factor of q(d)?
False
Let n be (-5)/(20/16) - -15. Suppose n*z = 5*z + 924. Is z a multiple of 5?
False
Is 13 a factor of (((-2496)/(-20))/(-4))/((-6)/105)?
True
Let y(z) be the second derivative of -5*z**3/3 - 3*z**2 + 3*z. Let g(d) = 29*d + 17. Let t(a) = -3*g(a) - 8*y(a). Is 8 a factor of t(-9)?
False
Let g(d) = 18*d**2 - 4*d - 1. Let b be g(-1). Suppose -4*r = -2*j - 120, b = 5*r - 3*j - 127. Is r a multiple of 16?
True
Let g = 4229 + -2843. Does 14 divide g?
True
Suppose 40*t = 27*t + 6318. Is t a multiple of 52?
False
Let l be (-3)/((-18)/(-24))*(0 + -30). Suppose 5*i - 4*i = l. Does 8 divide i?
True
Let t = -1960 + 2636. Is 52 a factor of t?
True
Suppose 5*m = -5*j - 145, -3*j + 50 - 17 = -2*m. Let u be 35/11 - m/(-132). Suppose u*x - 460 = -148. Is 23 a factor of x?
False
Suppose 9*p - 955 = 1313. Is p a multiple of 12?
True
Let z be (-6 - -2) + -5 + 12. Suppose -9 = -5*w - p, -2*w = -z*w + p + 3. Suppose 0*f - t + 2 = f, -w*f = -t - 13. Is 5 a factor of f?
True
Does 2 divide 215/2*(-216)/(-180)?
False
Suppose -4*v - 2 = -14. Let x(y) = -2 - y**2 + 2*y**v - 3*y + 0*y - 4*y**3. Does 8 divide x(-2)?
True
Let d = 2 + 0. Suppose 0 = d*f + 2 - 14. Suppose -7*r = -f*r - 44. Does 13 divide r?
False
Suppose 4*v - 405 = -5*c, -2*c = 4*v - 3*v - 99. Is v a multiple of 34?
False
Let b(y) = y**3 + 8*y**2 - 9*y + 11. Let a be b(-9). Let p(r) = 22*r + 24. Is p(a) a multiple of 26?
False
Let z = -377 - -485. Is 18 a factor of z?
True
Suppose 3*x = 21 + 9. Let r = x + -2. Let f(w) = -w**3 + 8*w**2 + 2*w + 2. Does 3 divide f(r)?
True
Does 7 divide 260 + ((-2)/4*-2)/1?
False
Let w be (-17 + 16)/((-1)/5). Suppose -6*m - 4*a = -m - 10, w*m - a - 10 = 0. Suppose -5*f + 106 = -3*l, f + 3 - 20 = m*l. Is f a multiple of 10?
False
Let m(a) = 12*a**3 + 3*a**2 - 6*a - 3. Let q be m(-5). Is 23 a factor of q/(-9) + (-2)/(-3)?
False
Let k = -9 - -18. Let d be k - (-2)/(8/(-12)). Suppose 2*o - 32 = w - d*w, 5*w + o = 31. Does 5 divide w?
False
Let x(a) = -a + 105. Let k be x(0). Let r be (6 - (-9 - -20))*4/(-10). Is 19 a factor of k/2*r/3?
False
Let i(d) = -d**2 - 76*d - 108. Does 36 divide i(-54)?
True
Let s = 13 - 2. Suppose -s - 12 = -4*z + 5*g, -z - 4*g = -11. Is 7 a factor of z?
True
Suppose 34*a + 4816 - 13996 = 0. Is a a multiple of 6?
True
Let a be ((-26)/(-8) - -1) + (-42)/(-56). Let i = 96 + a. Is 24 a factor of i?
False
Let v(a) = -6*a - 13. Suppose 0 = -f - 0 + 10. Let g be v(f). Let z = 143 + g. Does 19 divide z?
False
Suppose 6*x - 7922 = -926. Suppose 174 = -8*c + x. Is c a multiple of 14?
False
Let z = 3 - 13. Let b be (16/z)/((-4)/10). Suppose 128 = 3*n + 4*h, -b*n + 2*h = -3*h - 150. Is 20 a factor of n?
True
Suppose y - 5*y = -1164. Suppose 0 = 2*d - 4*o - 108, -y = -5*d + 3*o - 35. Is d a multiple of 10?
True
Let j(c) = 398*c**2 - 4*c + 6. Does 25 divide j(1)?
True
Let b(s) = 14*s - 66. Let j(q) = -q**3 + 6*q**2 + 11*q - 14. Let a be j(7). Is 10 a factor of b(a)?
True
Let s(m) = -m**2 - 11*m - 15. Let g be s(-7). Let z = 24 - g. Suppose 2*k + z - 19 = 0. Is 4 a factor of k?
True
Suppose 3*o = a - 3, 4*a - 41 = -2*o - 1. Let v = 61 + a. Suppose 2*s - 3*y = -2*s + v, -2*y = -s + 20. Is s a multiple of 8?
True
Let q = -1180 + 1341. Is q a multiple of 2?
False
Let h(r) = -4 + 5*r - 5*r + 2*r**2 - 5*r. Let d be h(5). Does 14 divide (5 - -7)/(6/d)?
True
Let a = -5 + 5. Suppose -7*r + 248 + 214 = a. Does 15 divide r?
False
Let a = 157 + -100. Suppose -24 + a = 3*l. Does 11 divide l?
True
Suppose -2*c + 3*j + 848 = -2*j, 2*j = -c + 406. Does 18 divide c?
True
Suppose -b - 130 = -4*v, 6*b - 4*v = 2*b - 544. Let g = b - -273. Is g a multiple of 15?
True
Suppose 0*l = l. Let p be (l - -3) + -2 - 3. Let o(x) = 10*x**2 + 4*x + 2. Is 17 a factor of o(p)?
True
Let v(j) = -j**2 - 14*j + 61. Is 2 a factor of v(-16)?
False
Suppose -3*g + 147 = 18*g. Is 2 a factor of g?
False
Let t = -19 - -24. Suppose -3*l = t*a - 634, -3*a = -0*a - l - 372. Is 29 a factor of a?
False
Suppose 7*j = 10*j + 6. Let n be (0/2)/(j - 0). Suppose -4*g + 0*c + 4*c = -76, -4*g - 2*c + 88 = n. Is g a multiple of 6?
False
Let t = 413 + -119. Is 7 a factor of t?
True
Let q be (-12)/(-5)*50/15. Let j be 5/(-1)*(q - 9). Suppose j*s - 52 = 143. Is s a multiple of 8?
False
Suppose 8*x - 326 - 3610 = 0. Is 41 a factor of x?
True
Let q(y) = 2*y**2 - 13*y + 84. Does 18 divide q(8)?
True
Suppose -z - 18 = -2*n, -z + 2*n + 30 = -6*z. Is (6/(-1))/(z/132) a multiple of 33?
True
Let i be (-7104)/28 + 4/(-14). Let t be 21/(-35) + i/10. Let d = t - -94. Is 17 a factor of d?
True
Let h(k) be the third derivative of k**5/12 + 7*k**4/24 - k**3/6 - 19*k**2. Is h(-5) a multiple of 8?
False
Let q be (-3348)/(-9) + (-1 - 0). Suppose 2*y + r + 4*r = q, -5*r = -15. Is 14 a factor of y?
False
Let m(d) = 5*d + 14*d**2 + 7 - 2 - 2*d**2 - 6*d**2. Is m(-1) a multiple of 2?
True
Let q = 1191 + -271. Is q a multiple of 23?
True
Suppose 0 = b - 5*c - 263, 3*b + 3*c + 2*c = 689. Does 7 divide b?
True
Suppose 4*v + 47 - 479 = 0. Is (3 - v)*(-2)/6 a multiple of 7?
True
Let z(j) = -167*j - 14. Let v be z(-6). Is 7 a factor of 3/2*v/39?
False
Suppose -5*y + 2307 = 3*t - 5280, 0 = -5*y + 5*t + 7595. Is y a multiple of 22?
True
Let f(l) = -1426*l**3 - 5*l**2 + 5*l + 9. Is 15 a factor of f(-1)?
True
Let w(g) = -g**3 - 6*g**2 - 6*g. Let i be w(-5). Suppose 5*b - 83 = -4*y, -3*b + 2*b + 5*y = -i. Suppose o - 13 = b. Is 18 a factor of o?
False
Let z(j) = -4*j + 279. Does 38 divide z(0)?
False
Let r(m) = -2*m**3 - 7*m**2 - 25*m - 127. Is r(-7) a multiple of 28?
Fal