b = 2*z - 4, b = 4*z - 22. Is 100/12 - 2/z a multiple of 5?
False
Suppose -5*t + 5*x - 10 = 0, -3*t = -2*t + 3*x - 14. Does 8 divide ((-1)/3)/(t/(-228))?
False
Let a(h) = h**2 - h + 4. Let o be a(0). Let z be o - 3 - (-3 - -1). Suppose -5*c - z*u = -36, 3*c - 1 = 3*u + 11. Is 3 a factor of c?
True
Let t = 256 - 153. Suppose -9 - t = -4*s. Is s a multiple of 7?
True
Suppose 2*a + 0*a = 20. Is 7 a factor of a?
False
Let u = 108 - 69. Is u a multiple of 16?
False
Let s(r) = r**3 - 4*r**2 + 3*r + 3. Let b be s(3). Suppose -i - b*l + 6 = 0, -2*i = 5*l - 27 + 11. Does 3 divide (i/(-15))/((-3)/15)?
True
Let r(c) = -c**2 + c. Let y be r(1). Does 10 divide (y/(-1) - -1) + 22?
False
Suppose -2*s + 4*u = -118, -3*u - u - 4 = 0. Does 19 divide s?
True
Let h = 86 - 50. Suppose 26 = p + m, -3*m - 82 = -4*p + h. Suppose c - p = 36. Is c a multiple of 18?
False
Let r be 1/4*4 + 7. Is 7 a factor of -2*1/(r/(-92))?
False
Let w(d) = d**3 - d**2 - d - 2. Let f be w(2). Suppose 2 = -f*l + l. Suppose x = -l*x + 69. Does 9 divide x?
False
Let f(s) = s**3 + s**2 + s + 54. Is 18 a factor of f(0)?
True
Let s = -53 - -70. Is s a multiple of 8?
False
Let n(d) = -d**3 - 12*d**2 - 12*d - 8. Let w be n(-11). Let v = 27 + w. Is 10 a factor of v?
True
Suppose -s = 3*d + 33, -4*s + d = 6*d + 97. Let p = 30 + s. Is p a multiple of 9?
False
Suppose -3*f - 2*c = f - 274, -3*f + 208 = c. Is f a multiple of 8?
False
Is 0/1 + 176/16 a multiple of 3?
False
Let k(t) = t**2 - 9*t + 12. Let s be k(9). Let n = s + 98. Is n a multiple of 29?
False
Let o = 87 - 53. Does 17 divide o?
True
Let u = -1 + 13. Does 4 divide u?
True
Let s(z) = -z - 3. Let o be s(-7). Suppose 3*d = o*j + 48, -2*d + 3*d - j = 15. Is d a multiple of 7?
False
Let d(u) = -3*u**3 + 6*u**2 + 4 - u + u**3 + u**3. Let t be d(6). Let h = t - -12. Does 4 divide h?
False
Is (28 - 18)*(0 - -2 - 0) a multiple of 11?
False
Let s = -10 + -2. Let m be (-4)/(-6) - (-53)/(-3). Let f = s - m. Is f a multiple of 3?
False
Let a = -65 + 107. Is a a multiple of 6?
True
Suppose -132 = -5*t + 43. Is t a multiple of 5?
True
Let q(l) = -2*l**2 + l + 1. Let o be q(0). Is o/4 - (-236)/16 a multiple of 4?
False
Let b be (1/(-3))/(5/(-465)). Let i = b - -6. Let y = -17 + i. Is 9 a factor of y?
False
Let l be 12*(-18)/8*-1. Suppose -l = -5*m + o - 2*o, -19 = -3*m - 2*o. Let f(g) = -g**3 + 7*g**2 - 3*g - 7. Does 15 divide f(m)?
False
Suppose 0 = 3*l - 4*l + 2. Let a = l + 19. Is 10 a factor of a?
False
Let a(b) = -b + 11. Let p be a(9). Let c(v) = 5*v. Is c(p) a multiple of 9?
False
Suppose 2*d = -10 + 6, 3*p = -d + 250. Does 14 divide p?
True
Suppose 0 = 4*y - 2 - 10. Is y*(0 + (-20)/(-6)) a multiple of 4?
False
Let f(m) = -2*m**2 - 8*m. Let p be f(-6). Is (-1 - p/2)*1 a multiple of 7?
False
Let s(z) = 10*z**2 - 5*z + 3. Let w be s(5). Let f = 329 - w. Suppose -f = -3*a - 26. Does 20 divide a?
False
Suppose -2*y + 4 = 0, -12 = 3*b - 4*b - 2*y. Suppose -2*h + 3 = -t - 0, 5*t + 15 = h. Let g = b + h. Does 4 divide g?
True
Let k(g) = -15*g + 5*g**2 - 3*g**2 + 12 - 3. Is 19 a factor of k(10)?
False
Let x(j) be the second derivative of j**5/20 + 2*j**4/3 - 13*j**3/6 - 6*j**2 + 3*j. Does 10 divide x(-9)?
False
Let k(b) = 8*b**2 - 2*b - 3. Let x = 13 + -9. Suppose 0 = -2*o + 4*o + x. Is k(o) a multiple of 10?
False
Let r(g) = -g**3 + g**2 + g. Suppose -i = 4*j - 20, 3*i = 2*i + 5*j - 25. Let n be r(i). Suppose 100 = 4*l - 4*d - n*d, -l = 2*d - 10. Is l a multiple of 10?
True
Let o = -1 + 7. Let v = o - -4. Is v a multiple of 4?
False
Let h = 13 + -7. Let t(c) = c. Is 3 a factor of t(h)?
True
Suppose 2*x - 24 = -0*x. Is 2 a factor of x?
True
Suppose 5*h = -3 + 13. Suppose -y = -5*k - h, y = -y + 2*k + 44. Does 11 divide y?
False
Suppose 0 = 2*s - 228 + 30. Is 9 a factor of s?
True
Let p = -7 + 63. Does 28 divide p?
True
Let t(n) = -2*n**2 + 12*n + 8. Let u be t(6). Suppose -u*q + 15 = -7*q. Is 15 a factor of q?
True
Let q be 3/(6/10)*3. Let j = -19 - -56. Suppose 3*p + y - q - j = 0, p = -4*y + 10. Is 9 a factor of p?
True
Is 15 a factor of 13596/54 - (-4)/18?
False
Suppose -940 - 176 = -12*r. Is r a multiple of 40?
False
Suppose 0 = -4*q + 2*n + 824, 12*q + 2*n = 8*q + 840. Is q a multiple of 13?
True
Let b(x) = x**3 - 12*x**2 + 15*x - 21. Is 6 a factor of b(11)?
False
Let a(f) be the first derivative of 29*f**2 - f - 6. Is a(1) a multiple of 19?
True
Let r(p) = p - 4. Let u(j) = -j + 5. Let c(f) = -2*r(f) - 3*u(f). Let h be c(7). Let x(l) = l**3 + l**2 - l + 12. Is 6 a factor of x(h)?
True
Is 27 a factor of (6/(-9))/((-1)/81)?
True
Let q be 4/14 + 1128/21. Let b = 107 - q. Is b a multiple of 19?
False
Suppose 12 + 13 = 5*c. Suppose -5*p = 2*j - 19, 4*j - p - 52 = 3*p. Suppose -j = 4*g - c*g. Is g a multiple of 8?
False
Let f(n) = -n**3 - 4*n**2 + 6*n + 7. Let l be f(-5). Suppose 1 - l = w. Does 4 divide (0 + w)*(-24)/4?
False
Let m(c) = -c**2 - 7*c - 2. Suppose -7 = -3*h - 25. Is m(h) even?
True
Let j = 2 + 23. Is 5 a factor of j?
True
Suppose -5*q = -0*n + 2*n - 31, 0 = 2*n - 2*q + 4. Suppose -c - n*o = -66, o = 4*c + 2*o - 286. Is c a multiple of 21?
False
Let l(x) = 2*x**3 - 5*x**2 - 2*x + 3. Let k(v) = v**3 + v - 1. Let o(r) = k(r) - l(r). Suppose 0 = -3*c + 3*s + 2*s + 27, -4*s = 3*c. Is o(c) a multiple of 12?
True
Suppose 35*w + 30 = 36*w. Is 6 a factor of w?
True
Suppose -s + 305 = 5*g, -3*s + s - 170 = -3*g. Does 20 divide g?
True
Is 8 a factor of (16/1)/(8/4)?
True
Suppose -5*p + 67 = 4*o - 38, p - 21 = -5*o. Is 7 a factor of p?
True
Let j = 45 - 86. Suppose -s = 3 + 4. Let i = s - j. Is i a multiple of 17?
True
Let b(f) = f**3 + 10*f**2 - 4*f + 5. Is b(-8) a multiple of 11?
True
Let h(c) = -4*c - 3. Let u(b) = 7*b + 6. Let g(k) = 11*h(k) + 6*u(k). Let t be 4*4/32*-6. Does 7 divide g(t)?
False
Let h(z) = z**2 + 3*z + 7. Suppose 4*n = 3*n + 7. Let r = n - 12. Is 17 a factor of h(r)?
True
Let a(f) = -1. Let p(n) = n**2 + 3*n - 4. Let z(y) = -5*y**2 - 16*y + 20. Let r(h) = -11*p(h) - 2*z(h). Let c(m) = -6*a(m) + r(m). Does 5 divide c(0)?
True
Let i(m) = -3*m**3 + m. Let v be i(-1). Suppose v*y + 0*y - 22 = -3*k, 4*y - 16 = k. Is k a multiple of 4?
True
Suppose -3*v = -4*v + 57. Suppose -2*z - j + 2*j - v = 0, -j - 93 = 3*z. Let q = z - -52. Is 11 a factor of q?
True
Suppose 32 + 60 = 4*w. Suppose a - 2*y - 2*y = -w, -2*y = -8. Let r = 46 + a. Does 18 divide r?
False
Let t(u) = u + 14. Let o be t(-6). Suppose -3*r = -2*r - o. Is r even?
True
Let n(b) = -7*b - 1. Is n(-9) a multiple of 8?
False
Let r = 6 + -6. Suppose f = 19 - 3. Suppose f = -r*z + 4*z. Is 4 a factor of z?
True
Let s(l) = -l - 1. Let i be s(-1). Is 5 a factor of (2 + i)*(-57)/(-6)?
False
Let q be (-20)/6*(-39)/26. Let p be 2*(-2 + 1) - -6. Suppose -y - q*b + 2 = 0, -2*y + 5*b = -p*y + 9. Is 3 a factor of y?
False
Let b(c) = -c**3 + 3*c**2 + c. Let v be b(-2). Is (-2)/(-6) + 966/v a multiple of 18?
True
Let a(l) = -l**3 - 8*l**2 + 4*l - 11. Is a(-9) a multiple of 3?
False
Is 17 a factor of (-2 - 12/(-8))*-218?
False
Let i(f) = 5*f + 5. Let l(a) = -a - 1. Suppose 0 = 3*y - 0*y - 3. Let d(g) = y*i(g) + 6*l(g). Is 2 a factor of d(-5)?
True
Let k be (0 + 0 + -2)*5. Let d = -2 - k. Does 3 divide d?
False
Suppose -5*x + 235 = -4*m, 0 = -0*x - 2*x + m + 97. Is 24 a factor of x?
False
Is (-3)/(108/28 + -4) a multiple of 4?
False
Suppose -19*j = -24*j + 20. Suppose 0 = o, z - 24 = -j*o - o. Does 14 divide z?
False
Let n(y) = -y**3 + 7*y**2 - y + 3. Is n(6) a multiple of 11?
True
Suppose -5*a = 76 - 236. Does 8 divide a?
True
Let j = 60 + -36. Is j a multiple of 12?
True
Let z(h) = -2*h + 1. Let q be z(1). Let u = q - -28. Does 9 divide u?
True
Let x(g) = -2*g + 1. Let p be x(-5). Let w(o) = 2*o - 5*o + 1 + p*o. Is 22 a factor of w(7)?
False
Let q = 3 - 0. Let k(p) = -p**2 + 2*p - 3. Let d be k(q). Let v = d + 36. Is 15 a factor of v?
True
Let n = 14 - 6. Is n a multiple of 4?
True
Let i = -32 + -4. Let g = -73 - i. Let x = 60 + g. Does 7 divide x?
False
Suppose -11*r - 36 = -14*r. Is 6 a factor of r?
True
Let m be 86*(-2)/4*1. Let c = m + 71. Suppose 6 = 2*d, 2*h - d - c = 61. Is h a multiple of 16?
False
Let n be (-8 + 8)/(0 - 2). Suppose 0 = q - 0*v - 2*v, -4*q - 3*v - 22 = n. Does 10 divide (q + -2)/(10/(-35))?
False
Let y = -33 - -48. Suppose 2*c = -3*c - y. Let i(s) = 2*s**2 - 2*s