 96 = -0*b, 0 = 4*b + 5*g - 96. Is (5 - 0)*b/4 a multiple of 15?
True
Let r(f) = f**2 - 10*f + 11. Is 5 a factor of r(11)?
False
Let o(t) = 2*t + 2*t**2 - 2 - t**2 + 0*t - 1. Is 7 a factor of o(-6)?
True
Let j = -4 - -9. Suppose -4*x = -27 - j. Is 8 a factor of x?
True
Suppose d - 18 - 26 = b, -94 = -2*d + 5*b. Is d a multiple of 21?
True
Suppose 3*g = 2*d - 35, d - 2*g = -4*g + 28. Suppose 0 = -4*w + 218 - d. Is 13 a factor of w?
False
Suppose -2*h = -2 - 4. Is (8/h)/((-1)/(-6)) a multiple of 16?
True
Let v be (-1)/(-2)*(-16)/(-2). Let s(w) = 2 - 3*w + v*w + w**3 - 4*w**3. Is s(-2) a multiple of 12?
True
Suppose 0 = -11*i + 7*i + 52. Is 12 a factor of i?
False
Let c be 5/(-10) + 5/(-2). Does 10 divide 0 + c + 0 + 15?
False
Let q(r) = 3 + r**2 - 1 - 2*r + 0*r**2. Let p be q(2). Suppose 2*a + 76 = 2*o, 0 = 2*a - a + p. Does 18 divide o?
True
Let p = -40 - -83. Is p a multiple of 11?
False
Suppose 5*c + 4 = 4*c. Let o(n) = -2*n - 5 - 6*n + 2*n. Does 9 divide o(c)?
False
Suppose -5*j + 0*j + 5 = 0. Let q = j - -4. Does 5 divide (-2)/q - (-27)/5?
True
Let o(i) = -5*i + 3. Let v be o(-10). Let t = v - 23. Is 15 a factor of t?
True
Suppose -6*q - 45 = -q. Let p = q - -20. Does 6 divide p?
False
Let l(i) = -3*i - 4. Suppose -2*q + 7*q = 55. Let u = 7 - q. Does 4 divide l(u)?
True
Let a be (-8)/20*(-2 - 13). Is 2/a - 56/(-12) a multiple of 3?
False
Let q = -4 - -5. Let y be q*(1 - (-2 + 1)). Suppose -y*i + 90 = i. Is i a multiple of 10?
True
Suppose -14 = 3*r - 5*r. Let h(m) = 2*m**2 - 9*m + 4. Does 12 divide h(r)?
False
Let w(h) = 3*h - 8. Let p be w(6). Let s be 2/(-4) + (-5)/p. Is 5 a factor of s + -1 - (-10 - -2)?
False
Let t = -1 + 6. Suppose 3*r = 0, -w = 4*w - t*r. Suppose 117 = 3*c - w*c. Is 14 a factor of c?
False
Let t(b) be the first derivative of b**4/4 + 2*b**3 + 3*b**2 + 5*b - 3. Is t(-4) a multiple of 9?
False
Let d(k) = 2*k**3 + 2*k**2 + k - 1. Let a be d(-3). Let m = 65 + a. Is m a multiple of 17?
False
Suppose -2*r = r. Suppose 6*q - 7*q + 69 = r. Is 23 a factor of q?
True
Let d = 3 - -3. Suppose 0 = -2*m + d, 0*y - 2*y + 37 = -m. Is 10 a factor of y?
True
Let g = -26 - -60. Is g a multiple of 7?
False
Let v(o) = -o**3 + 11*o**2 - 2*o + 7. Let x be v(11). Let a = x - -70. Suppose -a = p - 6*p. Is 3 a factor of p?
False
Is 31 a factor of 2 - -1*58 - -2?
True
Let r(b) = -b**3 - b**2 + 3*b - 1. Let y = -5 - -2. Let c be r(y). Suppose 0 = g - 4*q + 2, 3*g - c = g + 5*q. Does 7 divide g?
True
Let q(t) = -t - 1. Let i be q(-3). Suppose 3 + 9 = i*w. Does 4 divide w?
False
Is 6 a factor of (3 - -3)/(-6) - -16?
False
Suppose -30 = -3*c - 0*c. Is c a multiple of 7?
False
Let r = 79 - 2. Is r a multiple of 19?
False
Suppose 20 = 4*c - 16. Is c a multiple of 2?
False
Suppose -6*p - 4*s = -2*p - 32, 0 = -p - 3*s + 4. Suppose r - 48 = -t + p, 3*t = -5*r + 172. Is 24 a factor of t?
False
Let m = 446 + -316. Does 26 divide m?
True
Let m(i) = -10*i - 3. Is 19 a factor of m(-6)?
True
Does 15 divide -4 + 196/(0 + 4)?
True
Suppose -3*d = -2*d + 23. Let o = 29 + -31. Does 8 divide (-6)/4 + d/o?
False
Let y(z) = z + 17. Let s be y(-6). Suppose 0 = -d + 4*w - s, -2*d - w = -3*d + 4. Does 3 divide d?
True
Suppose 3*v - 2*a + 70 = 6*v, 10 = 2*a. Is 5 a factor of v?
True
Let u = -9 + 9. Let v(z) = z**2 + 14. Is 7 a factor of v(u)?
True
Let v(z) = -z**3 + 6*z**2 - 2*z + 7. Let u be v(7). Let g = u - -94. Is 19 a factor of g?
True
Let n be 6/(4/(-6)*-3). Suppose 16 = n*g + 5*l - 4, -45 = -4*g - 3*l. Does 8 divide g?
False
Does 55 divide -1 - (-6 + 7 + -222)?
True
Suppose 4*f - 8 = 12, -s - 5*f + 34 = 0. Is s a multiple of 2?
False
Let y(r) = -3*r**3 - 25*r**2 - 16*r - 17. Let w(v) = -2*v**3 - 13*v**2 - 8*v - 8. Let h(b) = -5*w(b) + 3*y(b). Does 22 divide h(11)?
True
Let x = 71 - 6. Is 13 a factor of x?
True
Let r be (-5)/(-2) + (-2)/(-4). Suppose -j = r*j - 96. Does 24 divide j?
True
Let d(u) be the second derivative of -u**3/6 - 4*u**2 - 3*u. Let g be d(-6). Does 17 divide (g/(-2))/((-3)/(-51))?
True
Let b(f) = -3*f + 3. Let z be b(-3). Let l = 1 + 3. Suppose 2*v = 2*g - l, -5*g + z + 8 = 0. Does 2 divide v?
True
Let u = -9 - -2. Let i(c) = -8*c - 1. Let f be i(-1). Let x = f - u. Is 7 a factor of x?
True
Suppose 0 = -3*a + 2*a + 2*f + 218, 4*a + 3*f = 817. Does 53 divide a?
False
Let t = 39 + -29. Is 5 a factor of t?
True
Suppose 5*b = 15, -5*w + 3*b - 3 = -14. Suppose -w - 4 = 2*q. Does 13 divide (4 + -2)/(q/(-26))?
True
Is 6 a factor of 4/6 - (-408)/36?
True
Let b = -60 - -196. Is 8 a factor of b?
True
Suppose 0*d = -3*d + 651. Let i = d - 145. Does 24 divide i?
True
Let q = 10 - 5. Suppose 35 = q*n + 10. Is 5 a factor of n?
True
Let f(n) = -n**2 - 7*n - 12. Let h be f(-2). Let i(o) = o**2. Let r be i(-2). Is 18 a factor of (r/(-10))/(h/180)?
True
Suppose 3*f - 2*f + 28 = 5*k, 5*f = -2*k + 22. Let z = 11 + k. Let o = -6 + z. Is 9 a factor of o?
False
Let l(i) = i**3 + 2*i**2 + i + 2. Let x be l(-2). Suppose x = -f - 3*r - 6, -4*f - r + 40 = f. Suppose 0 = 2*a - a - f. Does 3 divide a?
True
Let y(c) = -7*c**2 - 6*c - 5. Let z be y(-4). Is 32 a factor of 3 + z/(-6)*6?
True
Let a = -43 + 67. Is 8 a factor of a?
True
Let v = -6 + 38. Suppose q = -2*q + 6. Suppose -40 = -q*u - 0*r + 2*r, v = u + 3*r. Does 8 divide u?
False
Let t = -121 - -216. Is 22 a factor of t?
False
Suppose -4 = -o - o + y, 0 = -2*o + 4*y + 4. Let d be 1 - (o/1 + -18). Is 8 a factor of (1 - (0 - -2)) + d?
True
Let o = -78 + 144. Is 11 a factor of 4/(-22) - (-2916)/o?
True
Let f(p) = -p**2 + 10*p + 9. Suppose 4*v - 4*i = 48, 3*i = v - 2*v - 4. Does 12 divide f(v)?
False
Let g = 42 + -22. Is g a multiple of 4?
True
Suppose -3 + 18 = 3*n. Suppose -10 = 5*k + x, -5*x + n = k - 17. Is 5 a factor of (7/k + 2)*-33?
False
Let z be (0 - 18) + -9 + 7. Does 5 divide (z/3)/(10/(-15))?
True
Is 11 a factor of 2 + 64/(-28) - (-1035)/21?
False
Suppose 9*i = 8*i + 119. Is 16 a factor of i?
False
Let r be 4/(-6)*(-6 - 3). Suppose -q = -r*q + 445. Does 24 divide q?
False
Is 3 a factor of (7/((-7)/(-5)))/1?
False
Suppose g = 5*o + 36, 0 = 4*g - 5*o + 6 - 75. Suppose 4*h = 4, -4*y - 3*h + 349 - 126 = 0. Let t = y - g. Is t a multiple of 13?
False
Let a(i) = 4*i - 2. Let m(g) = 4*g - 3. Let y(l) = -4*a(l) + 3*m(l). Let s = 6 + -8. Is y(s) a multiple of 3?
False
Let c(t) be the third derivative of -t**6/120 + 7*t**5/60 + 11*t**4/24 - 2*t**3 + 2*t**2. Is c(8) a multiple of 6?
True
Suppose -1 = -l + 7. Let n(k) = k - 4. Let f be n(l). Suppose -f*b + 127 = 3. Is b a multiple of 11?
False
Let n(r) = 175*r**3 - 2*r**2 + 1. Does 9 divide n(1)?
False
Let f = 44 - 24. Suppose 5*m = -3*p + 44, -3*m - 5*p = -0*m - f. Is 5 a factor of m?
True
Let h(m) = -m**2 - 10*m - 5. Let g(k) = k**2 - 7*k - 6. Let x be g(8). Suppose -8 + 0 = x*t. Is h(t) a multiple of 8?
False
Is (-400)/(-65) - 16/104 a multiple of 3?
True
Let d(z) be the second derivative of z**3/6 - z**2/2 + 3*z. Is 3 a factor of d(6)?
False
Suppose 5*b = -2*v - v - 6, 4 = -2*v + 4*b. Let x(q) = 10*q**2 + 3*q. Does 10 divide x(v)?
False
Let p = 3 - 5. Let z = p - -10. Is 4 a factor of z?
True
Does 41 divide 45 + -2 - (-1 - -3)?
True
Suppose 2*q + q + v = 67, 4*v - 100 = -5*q. Suppose -5*r - 16 - q = -3*s, 3*s = -2*r + 26. Is 4 a factor of s?
False
Suppose 3*p = -j + 4*p, -15 = -j - 2*p. Suppose -j + 2 = -3*c. Does 19 divide (32 - c) + 3*1?
False
Suppose -y + 8 = 2. Does 16 divide 9/y*(-32)/(-3)?
True
Let o(c) = -c**2 + 5*c + 2. Let y be o(5). Suppose 92 - y = 3*v. Is v a multiple of 15?
True
Let l = -171 - -35. Is l/(-6) - (-2)/(-3) a multiple of 11?
True
Let x = 8 - 6. Suppose -x*o = -5*p, -2*p = o - 5*p + 2. Does 10 divide o?
True
Suppose -142 = -4*o - 22. Let r be (1 + 2)/((-1)/7). Let m = r + o. Does 9 divide m?
True
Suppose 0 = -4*z + 9*z - 90. Is 18 a factor of z?
True
Suppose 0*n - 12 = -6*n. Is n even?
True
Let n = -118 - -294. Does 16 divide n?
True
Suppose 14*q = 8*q + 504. Is 6 a factor of q?
True
Is 5/(30/(-18)) + 48/1 a multiple of 7?
False
Does 22 divide ((-110)/3 - 0)*105/(-35)?
True
Let q(d) = d**3 + 20*d**2 - 2*d - 6. Is 17 a factor of q(-20)?
True
Is (95/(-10))/((-1)/2) a multiple of 5?
False
Suppose 4*g - 5*a = 266, -g = -5*a + 3 - 77. Is 16 a factor of g?
True
Suppose -2*x - x + 21 = 3*o, -3*o = -3. Does 2 divide x/1 + (1 - 1)?
True
Suppose 19*