s 40 a factor of (-186)/496 - 78083/10*(-5)/4?
True
Let f(j) = 8*j**2 - 96*j - 1110. Is f(-23) a multiple of 21?
False
Suppose 4*i = 3*i + 1090. Let t = 11441 + -10346. Suppose 0 = -3*z - 2*z + 2*r + i, 5*z - t = 3*r. Does 24 divide z?
True
Let b be (4 - (2 + -1)) + -28 + 29. Let i be b/1*(-3)/(-2). Does 44 divide i*(-66)/(-9)*2*2?
True
Let a(g) = g**2 - 15. Let c be a(8). Suppose 4*n + 64 = 3*l, 5*n + 3*l + l + c = 0. Let y = 22 + n. Is y a multiple of 5?
False
Let i = -195 + -205. Does 60 divide 36/(27/(-72) + (-174)/i)?
True
Suppose -67*k = -86*k. Let s = -1 + 3. Suppose n + 0*y - 28 = -s*y, k = 2*y - 10. Is n a multiple of 18?
True
Suppose -4*q = -65*q + 657458. Is 17 a factor of q?
True
Suppose -2*w + 7*w + 0*w = 0. Suppose -5*b - 4*q = -583, 0 = b + 2*q - w*q - 113. Suppose 7*a - b = 56. Does 16 divide a?
False
Let c(k) = -3*k - 24. Let j be c(-8). Suppose j = -6*s + 4*s - 3*s. Suppose -6*d = -2*d - 5*r - 60, s = 2*r - 8. Does 4 divide d?
True
Suppose -2*w + 138 = l, -5*w - 12 = -17. Let b = 15 + l. Does 26 divide b?
False
Let i be ((-2)/(-1) - (-39 - -1)) + 1. Suppose 4*v - 43 = i. Is v a multiple of 7?
True
Let x(b) = b**2 - 34*b + 61. Let d(p) = -3*p**2 + 65*p - 123. Let q(h) = -6*d(h) - 11*x(h). Is q(9) a multiple of 5?
True
Let d = -132 + 204. Suppose 0*u - 5*o + 113 = u, 2*u - 198 = 4*o. Let m = u - d. Is 6 a factor of m?
False
Is 180 a factor of (180/(-11 - -7))/((-2)/376)?
True
Suppose -777 - 1213 = -5*s. Suppose 2*m + s = 4*m. Does 23 divide m?
False
Let v = 31614 + 7878. Does 81 divide v?
False
Suppose 145 = n - 5*i, -8*n - 841 = -13*n - 4*i. Does 33 divide n?
True
Suppose -2*d = -14 + 4. Let h(u) = -14*u - 7 - 8*u**3 + 9*u**3 + 14*u - 4*u**2. Is h(d) a multiple of 3?
True
Suppose 9*w - 30 = 14*w. Let a be ((-3)/6*w - 0)*-6. Let v(t) = t**3 + 18*t**2 - 6*t + 11. Is 11 a factor of v(a)?
False
Suppose -3*k - 5*r + 145 = 0, 7*k - 8*k + 2*r + 63 = 0. Suppose 0*w = -u - 3*w, -4*u - w = -k. Does 3 divide u?
True
Let x = -40 + 43. Suppose 0 = -x*v + 203 - 746. Let y = v + 306. Is y a multiple of 25?
True
Is 5 a factor of (-40)/(-260) - (-109092)/26?
False
Suppose -66*t - 3*x - 39803 = -70*t, -14*x = 4*t - 39786. Is 25 a factor of t?
True
Suppose 100*n - 109*n = -12985 - 17579. Does 47 divide n?
False
Is -26 - (-14329 + 18) - (2 - -7) a multiple of 86?
True
Let a(w) = -165*w + 5. Let v be a(-1). Let p = 61 + v. Does 33 divide p?
True
Suppose -9*d - 983 + 5384 = 0. Is d a multiple of 163?
True
Suppose 4*c - 202 = 1926. Suppose -4*f + 23*f - c = 0. Is 7 a factor of f?
True
Let v = -31 + 33. Suppose a + v*u = -3*u + 408, -u - 1632 = -4*a. Suppose 0 = -0*o + 4*o - a. Is o a multiple of 16?
False
Let j be (-12)/(15/(-10) - (-18)/8). Let g = j - -218. Is 34 a factor of g?
False
Let m = 1070 + -580. Suppose m = 27*l - 17*l. Is 7 a factor of l?
True
Suppose 0 = 5*b - 4*b - 8. Suppose x = m + 2 - 4, -b = -4*m - x. Suppose 99 = -m*u - 4*d + 465, 4*d - 716 = -4*u. Is 25 a factor of u?
True
Let f = 7 + -4. Let w be (-1239)/(-472) + (18/16)/3. Is 26 a factor of f - (w - (124 + -1))?
False
Suppose -5*l - 93 - 57 = 0. Let b = l + 33. Suppose 0 = -3*t + 2*t, -2*t = -b*z + 96. Is 2 a factor of z?
True
Let f be (1 + -1)/(-6 - -7). Suppose f = z + 6*z. Is 15 a factor of -3 - -25 - z/(2 - 1)?
False
Let y be (-30)/(-12)*6/(-5). Let x be 1/y - 160/(-30). Is 31 a factor of -2*3/x*-155?
True
Suppose 19*d + 6162 = 6*d. Let s = 1574 + d. Does 44 divide s?
True
Let v(w) = -w**3 - 13*w**2 + 10*w - 6. Let i be v(-14). Let p = i - 0. Suppose 3*b - 344 = -p. Does 14 divide b?
True
Let i(a) = 2 + 3 + 2 - 2 - 542*a. Let x be i(-1). Suppose 0 = -2*j + x - 127. Is 14 a factor of j?
True
Let a be ((-8)/(-32))/(1/12). Suppose a*y + y - 40 = 0. Does 7 divide ((-64)/(-10))/(4/y)?
False
Let g = 32 - 22. Suppose v = 3*o - g, 0*o + 2*o = 2*v + 8. Suppose -3*l = o*l - 678. Does 14 divide l?
False
Let o be -4 + 4/(-4) + (3 - 3). Let h be 2 + 20/o + 6 + 1. Suppose 0 = -6*s + h*s + 61. Is 15 a factor of s?
False
Suppose -2*z + 4*z = 20. Suppose 10 = u + 2*h + 2, -4*u - 2*h = -14. Does 21 divide -5*(-3 - z - u)?
False
Let j be 0*(11 + (-294)/28). Suppose -2*g - 1 = 3*o, -2*g + o + 7 = -4. Does 3 divide j + g - (-4 - 2)?
False
Is (((-6840)/50)/(-4))/((-3132)/(-1040) + -3) a multiple of 12?
True
Let r(x) = 17 + 0*x + 51 - x**2 - 13*x - 41. Is 18 a factor of r(-9)?
False
Is ((-2712)/15 + -2)*-10 a multiple of 4?
True
Let x(t) = -134*t + 2. Suppose 0*p = p + 1. Let j be x(p). Suppose j = 5*b - 109. Does 5 divide b?
False
Suppose 0*l + 8 = 2*l. Let s(w) = 0 + 0 - 30*w**2 + 37*w**2 + 12 - 10*w. Is 7 a factor of s(l)?
True
Let u = -517 - -2172. Let d = u + -890. Does 27 divide d?
False
Let i(n) = -n**3 - 7*n**2 - 5*n + 1. Let u be i(-6). Let s(y) = -y**3 - 10*y**2 - y - 12. Let a be s(u). Is a/(-18) - (-4)/(-12) a multiple of 2?
False
Let w = -205 - -384. Let a = 13 + w. Does 10 divide a?
False
Let m(p) = 3*p**2 - 42*p + 3. Let i be m(14). Suppose 19 + 75 = u - n, i*n = 2*u - 188. Is u even?
True
Let l = -6767 + 11967. Is 65 a factor of l?
True
Suppose 21 = -5*x + 26. Let s be (x - (-232)/20)*15. Suppose -8*o = -5*o - s. Is o a multiple of 32?
False
Let u(o) = 11 + 20 - 20 + 8*o - o**2. Let t be u(9). Suppose 121 = 2*n - i - 150, -t*n = -3*i - 277. Is 17 a factor of n?
False
Does 15 divide 8654/5 - (-820)/(-1025)?
False
Is 155 a factor of -3 + (-539403)/(-6) + 330/132?
True
Suppose 4*k = -0*l + 2*l - 20, 0 = k - 3*l + 5. Does 74 divide (-296)/28*(-19 - k)?
True
Suppose 2*y - 10*y = -0*y. Suppose -4*l + n + 8 = 2*n, y = l + 2*n - 9. Does 19 divide (-62)/l*2*(-4)/16?
False
Suppose 5 = -11*x + 38. Suppose x*l = -4*f - 4, -2*f + 4*l = 5*l + 2. Does 8 divide f/5*(5 + 4)*-55?
False
Let g = 864 + -866. Is g - -2 - -9 - -595 a multiple of 9?
False
Suppose -673 = -4*f + 5*w, 6*f + 3*w = 3*f + 525. Let b = f + -130. Is 8 a factor of b?
False
Suppose 0 = 8*r - 2*r + 3270. Let i = r - -558. Does 6 divide i?
False
Let v(r) = r**2 - 2*r - 6. Let f be v(-2). Suppose 3*h - 7*h = -3*u - 147, f*u + 109 = 3*h. Is 11 a factor of h?
True
Let p(s) = 3*s**3 - s**2 + s. Let z be p(1). Let h be 340/(((-48)/(-32))/(1*z)). Let g = -470 + h. Is 14 a factor of g?
True
Let h(l) = -5*l**3 - 59*l**2 - 54*l + 149. Let o(k) = -3*k**3 - 30*k**2 - 26*k + 74. Let z(p) = -4*h(p) + 7*o(p). Is 13 a factor of z(26)?
True
Let l = -35 - -45. Suppose 0 = -j - v + l - 2, -2*j = v - 13. Suppose 4*k = 4, 0*k + 201 = j*o + k. Is 7 a factor of o?
False
Is 50 a factor of (-5)/70 + (-4074289)/(-322)?
False
Suppose 0 = 4*m + u + 4*u - 20, 2*m = u - 4. Suppose a + 4*s + 11 = -m*s, -3*a + s + 19 = 0. Suppose a*r = r - 4*h + 20, -3*h - 9 = 0. Is r a multiple of 3?
False
Suppose -90*g + 98*g = 128. Suppose 20487 = g*z + 7031. Is z a multiple of 48?
False
Let r(l) = 269*l**2 - 32*l - 300. Is r(-4) a multiple of 51?
False
Suppose -121*y - 586*y = -34025789. Is 244 a factor of y?
False
Suppose -5*f + 141965 = r, -5*r + 14678 = f - 13739. Does 24 divide f?
True
Is (4/6 + 102910/1722)*7 a multiple of 141?
True
Let b(q) = q**3 - 4*q**2 - 7*q + 6. Let p be b(6). Suppose -9*g + 9 = -p. Suppose -g*a + 124 = -3*a. Is a a multiple of 19?
False
Suppose 3*g - 33234 = -2*s, 59*g + 16656 = s + 54*g. Is 12 a factor of s?
False
Suppose 3*l = -4*x + 19970, 40*l - 3*x = 44*l - 26615. Is 19 a factor of l?
True
Suppose n - 4*n + 3*v = 9, 3*n + 3*v = 3. Is 16 a factor of (-4)/(-1) - 92/n?
True
Suppose -14*r + 18*r - 24 = 0. Suppose r*l = -26 - 28. Let x(w) = w**2 - 6*w + 15. Is x(l) a multiple of 30?
True
Let s(r) = -r**3 - 10*r**2 + 13*r + 31. Let j be (-3 + 24/6)*-13. Is 24 a factor of s(j)?
False
Suppose 32*k = 10*k + 1188. Suppose 3*p + k = 3*m, -m - 3*m + p + 87 = 0. Is m a multiple of 2?
False
Let v(u) = 2*u**2 - 10*u + 18. Let g be v(-10). Suppose -f - 3*p - 110 = -4*p, 3*p + g = -3*f. Let t = 180 + f. Does 12 divide t?
True
Let h(z) = z**3 - 17*z**2 + 4*z - 44. Let i be h(17). Suppose i - 20 = r. Is 6 a factor of r/(-18) - (-865)/45?
False
Suppose 4*j - 11 = 3*t, 0 = -2*t - 2*j - 0*j + 16. Suppose 3*p = -4*k - 126, p - t*p + 2*k - 70 = 0. Let i = 52 + p. Is 2 a factor of i?
True
Suppose 4*f - 13 = 5*f + 5*w, 0 = 3*f + 5*w + 19. Let o be (0/3 - 1)/1. Is (o/f)/((-1)/(-6) + 0) even?
True
Suppose 3*u + j = 1716, -j - 501 - 79 = -u. Is u a multiple of 14?
T