se h = -0*s + 4*s - 118, -3*s = 4*h - 79. Let u = a + s. Does 15 divide u?
True
Let f = -144 - -398. Suppose 5*u - o = -3*o + 295, 2*o + f = 4*u. Does 7 divide u?
False
Suppose -s = -2*s + 4. Suppose s*b + 3*i = 51, 2*b + 4*i = 6*i + 36. Let k = b - -42. Is k a multiple of 19?
True
Let u = -73 - -78. Suppose u*j - 150 = 330. Does 16 divide j?
True
Suppose -4*b + 114 = -678. Does 13 divide b?
False
Let b(c) = 22*c + 162. Is b(0) a multiple of 11?
False
Suppose -2 = 3*y - 8. Suppose y*g = 3*g - 10. Is 10 a factor of g?
True
Let w be ((-25)/10 + 3)*-8. Is 175/50 + (-6)/w a multiple of 3?
False
Let g(s) = -s**3 + 6*s**2 + 2. Let q be g(5). Let d = q - -11. Does 19 divide d?
True
Suppose 6*w + 102 = 4*h + 8*w, 38 = h - 2*w. Is h a multiple of 14?
True
Suppose -w + 0 - 4 = 0. Let p = 1 - w. Suppose 0 = p*b - 3*b - 90. Does 15 divide b?
True
Suppose -4*x = -4*m + 148, m - x = 4*x + 25. Does 4 divide m?
True
Suppose -4*s = -273 + 9. Suppose 0*h + h + c = s, 5*c + 300 = 5*h. Is 5 a factor of h?
False
Let q = -24 - -16. Let x = -16 - q. Is -13 - -11 - x/2 even?
True
Let m(b) = b**3 + 13*b**2 - 19*b - 5. Suppose -5*n = -10*n + 25. Suppose 2*h - 3*h = -2*k + 14, 4*h + n*k + 56 = 0. Does 38 divide m(h)?
False
Suppose 0 = -2*h + 6. Suppose 0 = h*q - 0*q - 6. Let d(z) = 5*z**3 + z - 2. Is 10 a factor of d(q)?
True
Let a(w) = -5*w**3 + w**2 + w. Let k be a(-1). Suppose 0*u - 2*u + 2*q = -16, 5 = 4*u + k*q. Suppose -4*b - 4*p = -180, 2*p = -3*p + u. Is b a multiple of 22?
True
Let g(m) = 2*m**3 + m**2 - m + 1. Let n be g(1). Suppose n*v + 2 = 4*v. Suppose 4*i = v*i + 46. Does 15 divide i?
False
Suppose -z + 21 = -u, -54 - 51 = 5*u + z. Does 8 divide (-681)/u - (-28)/49?
False
Let o be 14/(-21)*3/(-2). Let x(d) = 4*d**2 + d. Let l be x(o). Suppose v + 20 = l*c, -5*c - 9 = -34. Is v a multiple of 5?
True
Let i(r) = -3*r + r**2 - 4*r**3 - 2*r - 4 - r**3 + 3*r**3. Does 32 divide i(-4)?
True
Let q be 5/(-25) + (-71)/(-5). Let o = q - 9. Does 23 divide 2 + (2 - o) - -51?
False
Suppose 5*r + 2*y - 7*y - 805 = 0, 4*y = 3*r - 482. Suppose -6*p + 9*p - r = 0. Suppose 5*q - p = 2*q. Is 18 a factor of q?
True
Suppose 0 = 2*j - 5*j + 9. Suppose -j*b - 4*z - 137 = 0, 3*b + 2*z - 168 = 7*b. Let f = b - -87. Does 11 divide f?
True
Let o(m) be the first derivative of -m**5/60 - 7*m**4/24 + 4*m**3/3 + 6. Let t(f) be the third derivative of o(f). Is 14 a factor of t(-15)?
False
Let p(w) = w**3 - w**2 + w - 2. Let c be p(2). Let k(o) = 35*o + 10. Does 30 divide k(c)?
True
Does 75 divide 44 - -2016 - (-4)/1?
False
Let n(s) be the third derivative of -5/24*s**4 + 1/15*s**5 + 0 + 2/3*s**3 - 4*s**2 + 0*s. Does 16 divide n(3)?
False
Let o be -4 + (4 - (-1 - 6)). Let n be 14/(-49) - 54/o. Let x = 17 + n. Does 3 divide x?
True
Let s(r) = -2*r**3 - 2*r**2 - 12*r + 6. Let i(m) = -m**3 - 2*m**2 - 11*m + 6. Let g(n) = -7*i(n) + 6*s(n). Is g(-3) a multiple of 22?
True
Let r(a) = a + 4. Let m(s) = -s**2 + 9*s + 6. Let f be m(10). Let h be r(f). Suppose h = 4*d + v - 23, -d - 17 = -4*d - v. Is 6 a factor of d?
True
Let z = 921 + -614. Is 20 a factor of z?
False
Suppose o = -3, 0*r - r - 5*o + 18 = 0. Does 2 divide r?
False
Suppose -12 = -3*i, 5*i - 29 = -2*s + 5*s. Let w be 4*(18/(-4) - s). Does 7 divide (8/w)/((-22)/231)?
True
Does 46 divide (-92)/(-2)*(-322)/(575/(-25))?
True
Suppose 12 = 5*d - t, 0*t = 2*t - 6. Let l = 1 - d. Does 7 divide 13 - (-3 + 0/l)?
False
Suppose 0 = 2*b - 44 - 20. Suppose -v = -9*v + b. Suppose -3*a + 7*a = -3*x + 77, 0 = -v*a + 5*x + 117. Is a a multiple of 23?
True
Suppose -4*f - 61 = -d, 2*d - 3*f = -0*f + 127. Let h(m) = m**3 + 8*m**2 + m - 1. Let k be h(-8). Let x = k + d. Is x a multiple of 12?
False
Let b(i) = 9*i**2 + 6*i - 45. Let f(n) = 6*n**2 + 4*n - 30. Let z(o) = 5*b(o) - 7*f(o). Is z(-9) a multiple of 14?
True
Let k(y) = 29*y**2 + 5*y - 34. Is 22 a factor of k(3)?
True
Suppose -8136 = -23*w + 14542. Is 58 a factor of w?
True
Let c be 21/(-2)*408/(-9). Let j = -205 + c. Is j a multiple of 42?
False
Let f be 41/2*(16 - 0). Let j = -196 + f. Is 12 a factor of j?
True
Let r = 30 - 29. Does 22 divide (2 - 4 - r)*-31?
False
Let h(s) = -2 + 0 + 32*s - 56*s. Let q be h(-1). Suppose 3*b - 43 = -3*o + o, -o = 2*b - q. Is 7 a factor of o?
False
Let d be (-18 + 9)*(2 - 1). Let p = d - -3. Let o(x) = -x + 12. Is 9 a factor of o(p)?
True
Let x(i) = 36*i - 145. Is x(15) a multiple of 17?
False
Does 12 divide (-3 + -15)*(3 - (-111)/(-9))?
True
Let c(f) = -7*f - 6. Let n be c(8). Let r = n + 95. Suppose g = r - 19. Is 14 a factor of g?
True
Let q = 1117 + -581. Suppose -3*z = -5*m + 146 - 532, 4*m = -4*z + q. Is 33 a factor of z?
True
Let a be 10 - (-5)/((-20)/(-12)). Let x(z) = z**3 - 12*z**2 - 2*z - 3. Is 35 a factor of x(a)?
True
Let k be -5*4/4*-1. Suppose -2*q + 45 = k*g - 7*q, -g + 15 = 5*q. Does 10 divide g?
True
Let r be (-2)/(-3) - (-760)/(-15). Let n be (-2)/5 - 70/r. Is 9 a factor of 7 + (2/n)/1?
True
Suppose -4632 = -2*f - 4*v + 290, 0 = f - 3*v - 2436. Is 57 a factor of f?
True
Suppose 0 = 3*m + 5*s + 9, 4*s + 1 = -3*m - 5. Let p be (0 - m) + 3 - -2. Suppose 15 = 2*z - z - p*j, 5*z + j = 91. Is 9 a factor of z?
True
Let m = -83 + 213. Let s = 340 - m. Is 14 a factor of s?
True
Let j be ((-45)/2)/5*(-108 - -78). Let u = 6 - 3. Suppose 5*c = -g + 3*g - j, u*g - c = 222. Is 11 a factor of g?
False
Suppose 5*d + 7 = 297. Suppose c = -2*j + 4*c + d, 5*j - 3*c = 154. Does 19 divide j?
False
Let o = -300 + 606. Is 47 a factor of o?
False
Let h(f) = 3*f**2 - 2*f. Suppose -4*s = -10 + 2. Let j be h(s). Is 6 a factor of (-2)/j - (-245)/20?
True
Let z(n) = n**3 - 20*n**2 - 19*n + 13. Let c be z(21). Suppose 11*r - c = 6*r. Is r a multiple of 6?
False
Let d be (-432)/(-15) + 3/15. Let n = d + -24. Suppose -138 = -n*z + 122. Is 26 a factor of z?
True
Suppose c = -3*w + 225, -878 = -4*c + 18*w - 19*w. Does 2 divide c?
False
Let k be ((-45)/6)/((-3)/(-4)). Does 13 divide (-496)/(-20)*k/(-4)?
False
Let x be (-45)/7 + 6/14. Let u be (-2)/x + (-2)/6. Suppose -5*g + 3*m + 83 + 22 = u, -m = 3*g - 63. Is g a multiple of 11?
False
Let v(q) = -140*q + 2. Let i be v(4). Let w = -197 - i. Suppose -4*g + w = 25. Is 20 a factor of g?
False
Suppose -5*y = -0*y + 5. Let q = 3 - y. Suppose -42 = r - 6*r - q*l, 0 = l + 2. Does 5 divide r?
True
Suppose -4*y - 28 = -4*t, -t - 8*y = -6*y + 8. Let x(b) = 5*b**2 + 3*b + 2. Let h be x(-2). Suppose 0 = -t*l + h + 56. Is 12 a factor of l?
True
Suppose 4*v + m = 31, 5*v - 26 = -2*m + 5*m. Let w(d) be the second derivative of d**5/20 - 7*d**4/12 + 2*d**3/3 - 7*d**2 - 2*d. Is 7 a factor of w(v)?
True
Let y = -28 + 26. Let c be y/(-4) + (-21)/6. Is c/(-1*(-3)/(-21)) a multiple of 12?
False
Let q(k) = k**3 - k**2 + 1. Let y(f) = -4*f**3 + 6*f**2 + 11*f - 12. Let l(o) = 3*q(o) + y(o). Let a be l(7). Let h = -86 - a. Is h a multiple of 21?
True
Suppose 0 = x + 3*j - 47, 2*j = -3*x - 24 + 172. Does 29 divide x?
False
Suppose 0*w = -11*w + 11. Is 35 a factor of 102/2 + w/((-3)/6)?
False
Let a(w) = -7*w**3 - 32*w + 57*w + 1 - 25*w. Is a(-3) a multiple of 19?
True
Let b(i) = i**2 + 18*i + 44. Let o be b(-14). Does 20 divide (o + 5 - 3)*-4?
True
Let g(q) = q**3 - 9*q**2 + q - 7. Let h be g(9). Suppose h*u - 5 = 3. Suppose -68 = -5*y + d, -62 = -u*y - y + 4*d. Is 14 a factor of y?
True
Let j(k) = 37*k**2 + 25*k + 21. Does 89 divide j(8)?
False
Let t(d) = -57*d + 10. Is t(-3) a multiple of 10?
False
Suppose -m - o + 54 = -74, -m + 137 = 4*o. Suppose 185 = 5*w - 5*b, -4*w = b - m - 3. Suppose -7*f = -10*f + w. Is f a multiple of 11?
True
Let x = -29 - -35. Suppose 0 = 4*a - z - 186, 0 = x*a - 2*a - 3*z - 182. Does 7 divide a?
False
Suppose 4*s - n - 446 = 307, 4*n = 4*s - 744. Is s a multiple of 16?
False
Let m be -1*-2*(-4 - -5). Let b be 115/6 + 5/(-30). Suppose m*y - 3*y + b = 0. Does 6 divide y?
False
Suppose 0*w - 4*w + 12 = q, 0 = -w - 2*q - 4. Suppose -3*p - 2*i - 3*i = -62, 68 = w*p + 3*i. Is p a multiple of 8?
False
Let t be (792/15)/((-2)/((-20)/2)). Suppose -t = -2*k - 2*k. Is 22 a factor of k?
True
Let a = -1744 + 2914. Is a a multiple of 13?
True
Suppose 5*t + 5*t - 20 = 0. Suppose t*v - x = 178, 3*v + v - 3*x = 358. Is 44 a factor of v?
True
Let n(g) = 0*g**2 + 15*g**2 + 5*g**2 + g - 1 + 4*g**2. Let s be n(1). Is 6 a factor of -2 + -1 + s +