*o + 24 = 0. Is r a multiple of 3?
False
Suppose 0 = -3*j - 2*j. Does 23 divide -3 + j + (1 - -51)?
False
Let t = -52 + 93. Suppose t = -5*x + 3*k, 0*k = x + 3*k + 19. Does 13 divide (-133)/(-5) - x/25?
False
Suppose 0 = -s + 4*s - 225. Is 19 a factor of s?
False
Let d = 56 - 8. Is 16 a factor of d?
True
Let h(d) = -4*d - 16. Does 20 divide h(-9)?
True
Let d(a) = -2*a**3 - a**2 + 2*a + 11. Does 5 divide d(-3)?
True
Let r be (-1 + 0)/((-1)/43). Suppose -r = -5*p + 87. Is 13 a factor of p?
True
Suppose 5*i = -4 + 9. Let w(z) = 14*z**2 - z + i + 8*z**2 - 1. Is w(1) a multiple of 12?
False
Suppose v + 4*v - 5 = 0. Let z be v/3 + 32/(-6). Let t(w) = -4*w + 1. Is 11 a factor of t(z)?
False
Let f = -50 + 72. Suppose -5*z + 318 = -f. Is z a multiple of 26?
False
Suppose -3*a = -0*a - 432. Suppose 3*b + a = 7*b. Does 18 divide b?
True
Suppose -32 = a + 3*a. Let d = 13 + a. Suppose -13 + d = -l. Does 3 divide l?
False
Suppose 181 = 2*j + 3*c, -2*c + 5*c = -4*j + 371. Suppose -5*n + 235 = -j. Is n a multiple of 22?
True
Suppose -3*l - 2*l - 105 = -5*w, 2*w + 5*l = 49. Suppose -25 = 5*f, -5*f = 2*z - 37 - w. Does 10 divide z?
False
Let w = -234 - -108. Is (-2)/9 + (-2296)/w a multiple of 18?
True
Is 46 a factor of 59/(-6)*-14 - (-2)/6?
True
Let c = 13 + 27. Is c a multiple of 8?
True
Let x be 2/(6/9) - 1. Is 2 a factor of (4 - x)*(-5)/(-2)?
False
Let x be (-38)/(-12) - (-4)/(-24). Suppose 0 = -m + x*m - 46. Does 6 divide m?
False
Suppose k - 8 = -k. Suppose -38 = -2*r - 0*q - k*q, 0 = 4*q - 12. Is r a multiple of 10?
False
Let m(u) = -u**3 + 6*u**2 - 5*u + 1. Let b be m(4). Let x = b + -7. Suppose 2*i - x*i = -92. Is i a multiple of 8?
False
Let x(m) = -m**3 + 7*m**2 - 2*m + 9. Let u be x(7). Let r(o) = -6*o - 2. Is 14 a factor of r(u)?
True
Let l(n) = n**2 - n + 24. Is 13 a factor of l(-11)?
True
Suppose -54 = -2*d - d. Is 4 a factor of 1/(3/d) + 1?
False
Suppose -7*w = -122 - 123. Does 5 divide w?
True
Let u be 30/(-7) - (-4)/14. Let l be u/(-16) + 2/(-8). Suppose l*g = g - 16. Does 8 divide g?
True
Let k = 20 + 24. Is k a multiple of 36?
False
Let b(q) = q - 7. Let h be b(8). Is (-11 - 0)/(h/(-2)) a multiple of 22?
True
Let v = -37 - 2. Let r = v - -106. Is 26 a factor of r?
False
Let x = -8 + 11. Suppose 0 = w + c + 16, 4*w + 13 = x*w - 4*c. Let f = 53 + w. Is 10 a factor of f?
False
Is 101/9 + 14/(-63) a multiple of 4?
False
Let b(i) = -i**3 - 5*i**2 + 6*i + 9. Let g be b(-6). Let d = -7 + g. Suppose -3*x + 30 = s, d*s - 4*x - x - 71 = 0. Is s a multiple of 11?
True
Let y = -114 + 29. Let d = -28 - y. Does 17 divide d?
False
Let x = -2 + 4. Does 14 divide 2 - -19 - (x - 0)?
False
Does 18 divide (1*-3)/(2 - 654/324)?
True
Let c = -16 + 15. Is 9 a factor of 44 + ((-4)/2 - c)?
False
Let s(p) = p**3 - 9*p**2 - p + 13. Let q be s(9). Suppose q*f - 3*f - 18 = 0. Does 18 divide f?
True
Let k = -414 - -780. Is k a multiple of 61?
True
Suppose 2 = i - 7. Suppose 2*b - i - 9 = 0. Let c(u) = -u**3 + 10*u**2 - 6*u - 13. Is 14 a factor of c(b)?
True
Let a be 4/1 - 1*2. Let v be a/((-45)/(-39) + -1). Let q = v + 1. Does 7 divide q?
True
Let c = 23 + -16. Is 7 a factor of c?
True
Suppose 4*o = -o + 250. Let c be 1*o - -1 - -2. Let l = -34 + c. Does 10 divide l?
False
Suppose -2*h + 18 = -3*t - 94, 4*h = 4*t + 228. Is h a multiple of 28?
False
Let z = -126 - -174. Does 16 divide z?
True
Let x(w) = -3 + 13*w**3 - w + 3*w**2 - 2*w + 2. Let q be x(3). Does 15 divide q/10 - 2/(-10)?
False
Suppose 0 = -0*z + z + 5*h + 95, 0 = 5*z - 4*h + 446. Let l be z/4*12/(-15). Suppose 10 = 2*n - 3*y, 2*n - l = y - 4. Does 8 divide n?
True
Suppose 0*q - 16 = -q. Does 12 divide q?
False
Let k = -115 - -146. Does 5 divide k?
False
Let u(c) = -c**3 + 10*c**2 - 10*c. Let t(o) = -o**3 + 11*o**2 - 11*o - 1. Let h(r) = -3*t(r) + 4*u(r). Let p be h(6). Let b = p - -5. Does 2 divide b?
True
Suppose 22 = -5*p + 122. Is p a multiple of 20?
True
Let i(p) = -11*p - 1 - 1 - 6*p. Let k be i(-6). Suppose 5*u = -0*u + k. Is u a multiple of 10?
True
Suppose 0*b - 16 = -2*b. Is (0 - -81)*b/24 a multiple of 9?
True
Is 18 a factor of 2/4*15*(-780)/(-117)?
False
Let u(z) = z**2 + 2*z + 10. Let o be u(8). Suppose 3 = p - 0*p. Suppose -p*g = -g - o. Is 16 a factor of g?
False
Suppose -3*v - 6 - 24 = 0. Is (2 - 67)*4/v a multiple of 14?
False
Let s(x) = 1. Let u(r) = -4*r + 32. Let z(l) = 20*s(l) - u(l). Does 12 divide z(12)?
True
Let d = 197 + -107. Is 5 a factor of d?
True
Suppose 0 = 5*x - 9*x + 468. Is 15 a factor of x?
False
Let m(x) = -3*x**2 - 2*x + 8. Let j(s) = -10*s**2 - 7*s + 24. Let b(p) = -2*j(p) + 7*m(p). Is b(0) a multiple of 6?
False
Suppose h - 403 = -5*y, 4*y - h + 79 = 5*y. Is y a multiple of 9?
True
Suppose -2*h - 9 - 9 = -b, 5*h - 4*b = -48. Let c(d) = d**3 + 9*d**2 + 6*d + 3. Is 7 a factor of c(h)?
False
Let o be 6*(-1)/(-4)*2. Suppose -9 - 6 = -o*a. Is 2 a factor of a*(-2)/8*-4?
False
Suppose -r = -27 - 8. Is r a multiple of 9?
False
Suppose 5*v + 3*k - 576 - 318 = 0, 4*v + 3*k = 714. Is v a multiple of 31?
False
Let h(m) = m**3 - 2*m**2 - 3*m - 3. Let b be h(3). Let u be (-14)/5 + b/15. Let k = 13 + u. Is k a multiple of 8?
False
Let f be (6/(-4))/((-6)/(-8)). Is (f/6)/((-6)/468) a multiple of 13?
True
Let m(q) = 8*q - 1. Let p be m(1). Let y = 4 - p. Is 4 a factor of 1*(-4)/y*3?
True
Suppose 0 = 9*n - 8*n - 28. Is 3 a factor of n?
False
Let w be ((-27)/6)/(-9)*4. Suppose -2*o - 78 = -w*s + o, 62 = 2*s + o. Is 33 a factor of s?
True
Suppose 4*a + 5*x = 81, -5*a = -2*x + 4*x - 97. Let m = a - 10. Is m a multiple of 9?
True
Let v = 28 - 18. Is 10 a factor of v?
True
Let a = -2 + -6. Let q = -5 - a. Is q a multiple of 3?
True
Let x be (40/(1 - -3))/2. Let i = 25 + x. Does 13 divide i?
False
Let x(b) = 5*b. Let d be 4/((-8)/(-14)) + -3. Is x(d) a multiple of 20?
True
Let t = -40 - 9. Let m = 17 + t. Let j = m + 58. Is j a multiple of 13?
True
Suppose -3 - 6 = -d + 3*o, -4*o = -5*d + 67. Does 7 divide d?
False
Suppose -216 - 112 = -3*o - 4*l, 0 = 4*o - 4*l - 428. Is 15 a factor of o?
False
Let q = -21 - -36. Does 5 divide q?
True
Let b be (-48)/28 - 4/14. Let s be b/(-10) + (-70)/(-25). Suppose -k + s*k - 38 = -3*n, -19 = -k + 3*n. Is k a multiple of 15?
False
Let o(c) = c**3 + 10*c**2 + 8*c + 5. Is 19 a factor of o(-4)?
False
Suppose -2*q - 2*q + 142 = 3*c, 3*c = 5*q + 133. Does 34 divide c?
False
Let u(t) = t**3 + 8*t**2 - t + 4. Suppose -4*i = -5*g - 52, i = 2*g - 3*i + 28. Does 6 divide u(g)?
True
Suppose 0 = -8*t + 10*t - 12. Suppose 2*n - 3*m + 0*m + t = 0, -10 = 5*n - 5*m. Suppose -5*s + 4*s + 31 = n. Does 8 divide s?
False
Let k(u) = 5*u. Let z be k(6). Let m be (-5)/(-15) + 2/(-6). Suppose -3*w + z = -m*w. Is 5 a factor of w?
True
Let t(k) = 2*k**2 - 7*k - 14. Does 13 divide t(8)?
False
Suppose s + 48 = -3*s. Is 22 a factor of 9/s + 510/8?
False
Suppose -4*j - 417 = -j. Does 29 divide j/(-3) - (-2)/(-6)?
False
Let w = -1 - 8. Is (w/(-5))/((-1)/(-5)) a multiple of 4?
False
Let z(b) = 3*b + 28. Is 9 a factor of z(0)?
False
Is ((-2)/(-6))/((-2)/(-132)) a multiple of 13?
False
Let y = 11 + -20. Does 5 divide -15*(-4)/y*-3?
True
Let r be (27/(-18))/(6/(-52)). Suppose -o - r = -58. Is o a multiple of 18?
False
Let x = 136 - 64. Does 5 divide x?
False
Let q(u) be the first derivative of -u**2 - 1/3*u**3 + 2 - 5*u**4 - u. Is 10 a factor of q(-1)?
True
Let h(p) be the second derivative of 5/12*p**4 + 0 - p**2 + 2*p + 1/6*p**3. Is 20 a factor of h(2)?
True
Suppose -o - 11 = -31. Is o a multiple of 4?
True
Suppose -2*q + 748 = 5*y, 4*q = -0*y + 4*y - 604. Let x = -90 + y. Does 20 divide x?
True
Is 36 a factor of (-6)/(-12) + 466/4?
False
Let f(w) = w**3 + 4*w**2 - 2*w + 3. Let h = -3 + -1. Is f(h) a multiple of 4?
False
Let a be (12/(-15))/((-2)/25). Let n = 30 - a. Is n a multiple of 20?
True
Let m be 2/((-2)/(-59)) - 2. Suppose -w - 82 = -2*x + m, 346 = 5*x - 3*w. Let d = x + -35. Is 18 a factor of d?
True
Suppose 8 = 3*o + 2. Suppose 0 = o*h + 6, 3*i - 3*h - 137 = -32. Is 14 a factor of i?
False
Suppose -3*s = 2*s - 75. Suppose 0 = i - v - 8, -2*i + v - 2 + s = 0. Suppose 3*x - 74 = 2*l, 3*x + 87 = 7*x - i*l. Is x a multiple of 14?
True
Let r(g) = -g + 2. Let y be r(2). Suppose y = -3*c + 112 - 43. Does 9 divide c?
False
Suppose -54 = -12*j + 10*j. Does 4 divide j?
False
Let d(z) = 3