e of 14?
False
Let i be (-3)/(-6)*(-12)/(-1). Suppose -i*o + 150 = -o + 3*x, -x = 5*o - 150. Suppose 4 + 16 = 4*h, 3*h = 3*g - o. Is 5 a factor of g?
True
Suppose -t = -5*i - 126, 2*t - 2*i - 2*i = 252. Suppose a - 28 = 2*o, -t = -5*a + 2*o + 22. Does 10 divide a?
True
Suppose 7*z - 2*z = -35. Does 13 divide (-6)/(-21) - 257/z?
False
Let m be 1/3 - (-3)/(-9). Suppose 2*q + 5*k - 12 = m, -2*k = -3*q + 7*q - 40. Is q a multiple of 4?
False
Is (-132)/(-16)*(-80)/(-6) a multiple of 20?
False
Let w be (-44)/(-10) + (-2)/5. Suppose 1 = -w*t - 7. Is 4 a factor of (-60)/(-4)*t/(-6)?
False
Let h(u) = -2*u**2 + 4*u + 1. Let q be h(3). Let j = 25 + q. Suppose j = 4*t - 4. Is t a multiple of 3?
True
Let u = 5 - 0. Let x be (u - -1)/((-6)/(-4)). Is 3*(-2)/x*-2 a multiple of 3?
True
Let o(n) = n**3 + 7*n**2 - 4*n - 9. Is o(-7) a multiple of 19?
True
Suppose 14 - 8 = 2*w. Suppose -31 = -w*j + 2. Is 2 a factor of j?
False
Let k(q) = q**2 + 7*q + 3. Let l be k(-7). Suppose -y = -a + l + 4, 4*y = -4. Suppose -b + a*b - 30 = 0. Does 3 divide b?
True
Suppose 5*m + 2*f - 49 = 3*f, 4*m - 5*f = 56. Let b = 18 - m. Is 9 a factor of b?
True
Suppose 0 = v - 4*v + 15. Suppose -10 = -0*y + 5*y - v*s, -2*y = -5*s + 16. Is 12 a factor of 46/1*y/4?
False
Suppose 2*g - 88 = 3*j - 6*j, 3*j = 2*g + 92. Is 15 a factor of j?
True
Let k = 5 - 10. Let y(x) = -5*x + 6. Does 10 divide y(k)?
False
Suppose -l + 2*r = -34, r + 64 + 106 = 5*l. Let m = l - -18. Is m a multiple of 26?
True
Let t = -27 + 45. Suppose 0 = 5*a - 2 - t. Is a a multiple of 4?
True
Suppose 0 = -7*p + 226 - 44. Is 19 a factor of p?
False
Let l(r) = 21*r**2. Let z be l(1). Suppose 3*x - 6*x + z = 0. Is x a multiple of 6?
False
Let m(x) = -x**3 + 7*x**2 + 2*x - 10. Let q be m(7). Suppose 7*z - q*z + 6 = 0. Let w(y) = -y**3 - y + 2. Does 6 divide w(z)?
True
Suppose 5*u + 26 = 2*h, 4 = -2*u + 3*u - 5*h. Let o be (2 + -4)*(-2)/4. Is (3*(o + u))/(-1) a multiple of 15?
True
Let a(r) = 7*r**3 + 1. Is 3 a factor of a(1)?
False
Let j(p) be the first derivative of p**2 + 6*p + 2. Let a be j(-5). Let i = 18 + a. Does 7 divide i?
True
Let p = 38 - 20. Suppose i = -5*f - p, -2*f - f + 26 = -4*i. Let r = -1 - i. Does 7 divide r?
True
Let z(p) = 2*p**2 + 9*p - 8. Does 4 divide z(-8)?
True
Let j = 185 - 172. Is 3 a factor of j?
False
Let t(d) = 7*d**3 + 2*d + 1. Is t(2) a multiple of 11?
False
Let u(p) = -p**3 - p**2 + p + 48. Does 10 divide u(0)?
False
Suppose 2*m = 2*j + 54, 2*m + 3*j = 4*j + 56. Suppose -h + m + 24 = 0. Is h a multiple of 20?
False
Let i = -38 + 59. Is i a multiple of 10?
False
Let t be 16/10 - (-2)/5. Suppose 5*v - 72 = t*v. Is 8 a factor of v?
True
Let l be (-46)/(-5) + 5/(-25). Let m = 35 - l. Does 22 divide m?
False
Let f = -1 - -4. Suppose -f*s = -37 - 32. Does 23 divide s?
True
Is ((-115)/9 - (-6)/(-27))*-10 a multiple of 10?
True
Let m(l) = -10*l**2 - 8*l + 9. Let y(r) = 7*r**2 + 5*r - 6. Let k(b) = 5*m(b) + 7*y(b). Let v be k(-6). Does 13 divide 23 + (-1)/((-3)/v)?
False
Let x = -14 - -27. Is x even?
False
Suppose 0*q + 3*q = 60. Suppose -q = -7*s + 2*s. Suppose -82 = -s*m + 62. Is 12 a factor of m?
True
Suppose -2*a + 273 = 3*w - 5*a, a - 197 = -2*w. Does 16 divide w?
True
Suppose 5*t - k - 36 = 0, -1 = -k + 3. Let y = 19 - t. Does 5 divide y?
False
Let q = 107 + -33. Does 23 divide q?
False
Let o(u) = -u**2 + 13*u - 12. Let c be o(12). Suppose -4*t + 53 = -k, c = 2*t - 7*t + 3*k + 75. Does 6 divide t?
True
Let n(w) = -w**2 + 13*w - 11. Let l(h) = -2*h - 9. Let i be l(-6). Suppose -z = i - 11. Does 16 divide n(z)?
False
Let h(j) = j**2 + 7*j + 8. Let w be h(-6). Suppose 4*z - 5*c = 17, -w*z = 5*c + 22 + 7. Is 14 a factor of (24/(-6))/(z/13)?
False
Suppose v - 1 - 4 = 0. Suppose p - 4 = -4*y - v, -2*p + 34 = -y. Is p a multiple of 3?
True
Let q(x) = 4*x - x + 0*x + x**2 - 6. Is 8 a factor of q(4)?
False
Let t be (-804)/(-15) - (-4)/10. Let u = 49 + -80. Let j = u + t. Is j a multiple of 8?
False
Let q be 14/6 - 3/9. Is 27 + (0/q)/2 a multiple of 7?
False
Let n(y) be the first derivative of -y**4/4 - 5*y**3/6 + y**2 + 3. Let g(p) be the second derivative of n(p). Is 10 a factor of g(-5)?
False
Suppose 3*q - 4*t - 47 = 0, -5*q + 4*t = -17 - 72. Is q a multiple of 7?
True
Let t(w) = -w**2 - 14*w - 19. Is 3 a factor of t(-12)?
False
Let k be (-12)/5*110/(-4). Suppose z = 5, 3*c - 15 = 3*z + k. Does 16 divide c?
True
Let v(d) = d**2 - d. Let r be v(-1). Suppose r*c = -c + 18. Let x(m) = -m**3 + 8*m**2 - 10*m + 9. Does 8 divide x(c)?
False
Suppose 4*j - 5 = a, j - 3*a = -8*a + 17. Let m(l) = 24*l - 4. Does 11 divide m(j)?
True
Suppose 0*j + j + 4 = -3*w, 2*j = -w - 3. Let g = 2 - w. Is 26 + -1 - (g + -6) a multiple of 14?
True
Let a = 7 + -3. Suppose -4*c = -4*j - 4, -a - 6 = 2*c + 4*j. Is 18 a factor of (c + 0)*(0 - 47)?
False
Let t(z) be the second derivative of -9*z**5/20 - z**4/12 + z**2/2 - 2*z. Let r be t(-1). Suppose 0 = 4*q - 2*b - 34, 2*q + r - 1 = -4*b. Is 3 a factor of q?
True
Let w be -1 + ((-18)/2)/(-1). Suppose -t + 15 = -w. Is 8 a factor of t?
False
Suppose 6*d = d + 45. Let t = d - 5. Does 4 divide t?
True
Let r(b) = b**3 - 8*b**2 + b - 10. Let y be r(7). Let q = y + 111. Does 28 divide q?
False
Let f(t) = -2*t - 6. Let b be f(-4). Let h(u) = -2*u**3 - 4*u + 3*u**b + 3*u**3 - 4 + u. Is h(-3) a multiple of 4?
False
Let g = -26 + 49. Is g a multiple of 23?
True
Let y(s) = -1 + 10*s**2 - 5*s + 5*s - 3*s. Let o be y(-2). Suppose 0 = 5*d - 65 - o. Is 11 a factor of d?
True
Let a = 9 + -7. Suppose 0*w = a*w. Does 19 divide w - (0 - (22 + -2))?
False
Let g = 157 + -81. Is 23 a factor of g?
False
Suppose 0 = -5*r + 635 - 60. Is r a multiple of 23?
True
Let q = 1018 - 577. Does 49 divide q?
True
Let f = -11 - -11. Is 22 a factor of (-9)/(-3 - f) - -25?
False
Suppose 58 - 10 = 3*t + j, t - 4*j = 3. Does 3 divide t?
True
Suppose 3*b + 2 = -1. Does 9 divide 2/b - 0 - -14?
False
Suppose 4*p = 4 + 4, 56 = 2*h + 2*p. Suppose -h = -t - f, 4*t + 0*f - 104 = f. Does 26 divide t?
True
Suppose 5*d = d - 3*o + 29, 3*d + o = 18. Suppose q - 3*v - 309 = -2*q, -d*v + 301 = 3*q. Is 29 a factor of q?
False
Let f(y) = -6*y**3 - y**2 + 3*y + 1. Let p be f(-2). Suppose 4*b + 35 - 3 = z, -2*z + 3*b = -p. Does 6 divide z?
True
Let r be ((-8)/(-5))/(2/(-10)). Let x = 14 + r. Suppose 0 = -5*a - 2*k + 23, a + k - 1 = x. Does 2 divide a?
False
Let b = -23 - -146. Does 12 divide b?
False
Let x(d) = -2*d**2 - 4*d. Let n(p) = p**2. Let z(w) = 3*n(w) + x(w). Let g be z(5). Suppose -4*t + 7 = -g. Is t even?
False
Suppose -y + 4*y - 49 = -5*x, -y = -2*x + 13. Suppose x*v - 4*v + g = -19, 3*g + 25 = -4*v. Is 6 a factor of 16/3*(-9)/v?
True
Let y = -26 - 0. Let g = 4 - y. Is g a multiple of 10?
True
Let c(o) = -o**2 + 10*o - 6. Suppose 0 = q + 4 - 12. Let a be c(q). Suppose 0 = -m - 4*m + a. Does 2 divide m?
True
Suppose -8 = -u - u. Let c be 2/(-1) - (81 - u). Let f = -26 - c. Is 22 a factor of f?
False
Suppose 7*i = 3*i + 424. Does 27 divide i?
False
Suppose -2*m = 16 - 76. Is 15 a factor of m?
True
Suppose -85 = -5*c - 5*l, -23 = -c - 0*l - 3*l. Suppose -3*q - 3*n + 1 = -c, 0 = 2*n + 6. Is q a multiple of 4?
True
Let k be (1/(-2))/((-4)/(-8)). Let x be k/(1*3/9). Is (42/2)/(x/(-2)) a multiple of 14?
True
Let o = 10 - 6. Suppose -4*j = -20, 0 = o*m + 4*j - 98 - 22. Suppose 5*k = -m, 5*i - 4*k = -k + 145. Does 9 divide i?
False
Let h(q) = q**2 + 8*q - 4. Does 14 divide h(4)?
False
Let x(f) = -f**3 - 2*f**2 - 28*f - 10. Is x(-6) a multiple of 33?
False
Let w = 90 + 6. Is 15 a factor of w?
False
Let m be (-1 + 0 - 1) + 6. Suppose -s = -1 - m. Is s a multiple of 5?
True
Let d = -4 + 9. Suppose -5*i = 4*f - 111, 2*i + d*f - f - 42 = 0. Does 13 divide i?
False
Let z(b) be the first derivative of 3*b**2 - b - 4. Let o be z(1). Let j(n) = n**3 - 4*n**2 - 2*n + 1. Does 6 divide j(o)?
False
Suppose a + 4 = 0, -3*o - 3*a - 12 = 2*o. Let p be -2 - o/(-2 - -5). Does 6 divide ((-2)/(-4))/(p/(-24))?
True
Let r be 7/(-14) + 15/2. Let x(f) = f**2 + f - 2. Does 27 divide x(r)?
True
Let z(k) = -k**3 + 8*k**2 + 10*k - 2. Suppose -26 = r - 5*r - 2*d, 4*r = -d + 31. Is 4 a factor of z(r)?
False
Let d = -4 - 58. Let u = d + 93. Is u a multiple of 10?
False
Let k(s) = -s**3 - 6*s**2 - 2*s - 7. Let x be k(-6). Let h be (x/(-2))/(4/(-200)). Suppose b - 