437. Is 17 a factor of j?
True
Suppose 3*b = 2*b + 7. Let g(h) = -h**2 + 9*h + 10. Does 9 divide g(b)?
False
Suppose 2*g = 35 - 9. Let c = 21 - g. Suppose -144 = 4*q - c*q. Is 18 a factor of q?
True
Let o = 165 - 152. Does 11 divide o?
False
Suppose 3*a + 90 + 70 = 5*f, 5*f - 2*a - 155 = 0. Is f a multiple of 29?
True
Let p be (-1)/((-3)/(-426)*2). Let u = p - -107. Does 9 divide u?
True
Suppose -7 = -2*o - 1, -22 = -5*w - 4*o. Is w even?
True
Is 16 a factor of (-76)/(-3*1/3)?
False
Let m = -12 + 17. Suppose -4*s - 3*t + 27 = 0, -3*s + 2*s - m*t = -28. Suppose s*y = -4*j + 142, -43 = -2*y + 4*j + 45. Is 17 a factor of y?
False
Does 21 divide 841/4 + 11/(-44)?
True
Let j(s) = -455*s - 3. Let l be j(1). Is 15 a factor of l/(-22) - 18/(-99)?
False
Suppose -5*p - 145 = -10*p. Suppose 0 = -5*k, 3*j + 4*k - 29 + 2 = 0. Let d = p - j. Is 8 a factor of d?
False
Suppose 3*n + s - 38 = 9, -93 = -5*n + 2*s. Suppose 0 = -2*o - 3*t + 20, o - 28 = -o + t. Let p = n + o. Is 8 a factor of p?
False
Let a = -77 - -125. Is 19 a factor of a?
False
Let p be (-328)/(-28) - 4/(-14). Is 1/4 + 189/p a multiple of 8?
True
Suppose -19 = -4*k + 2*y - 1, 5*k + 4*y - 3 = 0. Suppose 2*x = k*x. Suppose x = b + b - 8. Is b a multiple of 2?
True
Let y(w) = w**3 - 2*w**2 - w. Let b(g) = 3*g**2 - 2*g**2 + 4 - 1. Let v be b(0). Is y(v) a multiple of 3?
True
Let a(w) = -w**2 - 10*w + 2. Does 11 divide a(-9)?
True
Let c(f) = -3*f**3 - f + 6. Is 25 a factor of c(-3)?
False
Suppose 0 = 3*y + 2*y - 10, 3*y - 18 = 4*c. Let n(p) = p**2 + p - 2. Let q be n(c). Suppose -3*f - 19 = -q*f. Is 10 a factor of f?
False
Let l(z) = z**2 + 2*z + 2. Does 5 divide l(-3)?
True
Let c = -1 + 3. Suppose -9 = -c*q + 1. Let b = 0 + q. Is 2 a factor of b?
False
Let z(u) = 17*u + 2. Suppose 12 + 4 = 3*v + 2*m, 2*v - 2*m - 14 = 0. Is z(v) a multiple of 23?
False
Let h(r) = r**3 - 10*r**2 - 4*r + 15. Does 23 divide h(11)?
True
Let i = 157 - 92. Is i a multiple of 7?
False
Is 2/(-4) + 276/8 a multiple of 23?
False
Let t be 0/(9/3) + 3. Suppose -t*c - 5 + 39 = 2*s, 0 = c - 3*s - 26. Suppose 0 = -j + 4*m - 2 - 0, -2*j = m - c. Does 3 divide j?
True
Let q(j) = -j**2 + 22*j - 18. Does 13 divide q(12)?
False
Let g(b) = -3*b**3 + b**2 + b + 2. Suppose -q + 10 = q. Suppose -3*u - 4*t - 2 = 0, q*t = 4 + 1. Is 11 a factor of g(u)?
False
Let s(y) be the second derivative of -y**4/12 - y**3/6 + 28*y**2 + 5*y. Is s(0) a multiple of 28?
True
Let i(o) = -15*o. Let u be i(-2). Let v = 14 + u. Suppose -4*l - 3*b - b + v = 0, 0 = -b + 1. Is l a multiple of 5?
True
Suppose 2*c - 26 = 4. Is 15 a factor of c?
True
Suppose 412 = 5*u + 72. Is 17 a factor of u?
True
Suppose -4*y - 16 = 8. Let s = -12 - y. Let h = 23 + s. Is 8 a factor of h?
False
Let r(j) = j + 5 + 0*j + 3. Let w be r(-6). Suppose -w*l - 26 = -78. Is 10 a factor of l?
False
Let r = -12 + 17. Suppose 2*k - 107 = -r*i, k + 2*i - 14 - 42 = 0. Is 22 a factor of k?
True
Let z = -2 + -6. Let w = 33 + z. Is w a multiple of 14?
False
Let n(p) be the second derivative of p**4/12 + p**3/6 - 2*p**2 + p. Let m(h) = -h**3 + h. Let x be m(2). Does 13 divide n(x)?
True
Let q(h) = h**3 + 6*h**2 - h - 1. Let u be -6 + (1 + -1)/(-3). Let i be q(u). Suppose -l = -2*k + 30, i*l = -4*k + 24 + 36. Is 15 a factor of k?
True
Suppose -2*m - 2*l + 107 = -21, -3*l = -2*m + 143. Suppose 3*b - m = -22. Is b a multiple of 5?
True
Let c(k) = -k**2 - 5*k - 2. Let l be c(-5). Let m = 3 + l. Is m*21/2*2 a multiple of 21?
True
Let l = 87 + -39. Is 12 a factor of l?
True
Let y(b) = -8*b**2 + b**3 + 3*b - 1 - 2*b + 4. Let p be y(8). Let l = p + -3. Does 4 divide l?
True
Suppose -3 - 21 = -2*y. Suppose -4*t + 4*j + 144 = 0, 4*j - y = j. Does 20 divide t?
True
Let y be 9 - -2*(-3)/(-6). Let t be 36/y + (-8)/(-20). Suppose j - 105 = -t*j. Is j a multiple of 10?
False
Let c(d) = -d**3 + 8*d**2 - 3*d + 3. Let w be c(8). Let f = w + 34. Is 8 a factor of f?
False
Let b(v) = v**3 + 14*v**2 - 21*v + 15. Is b(-15) a multiple of 11?
False
Let i(o) = -o**2 - o + 1. Let h(z) = -z**2 + z. Let x(v) = v**3 - 3*v**2 + 4*v - 1. Let n(r) = 4*h(r) - x(r). Let w(t) = 3*i(t) - 2*n(t). Is 3 a factor of w(2)?
False
Let x = 32 + -18. Does 3 divide x?
False
Let r = 79 - 27. Suppose -6*x + 2*x + r = 0. Does 13 divide x?
True
Suppose 69*v - 68*v = 23. Does 2 divide v?
False
Let l(p) = p**2 + 8*p + 14. Let g be l(-6). Suppose -g*m + u + 50 = -0*u, 3*m = -4*u + 97. Does 9 divide m?
True
Suppose -4*n + 6*n + 5*o = -28, n - 3*o - 8 = 0. Let m(b) = -5*b + 5. Let i be m(n). Let u = i + -15. Is u a multiple of 7?
False
Suppose f = 4*f - 9. Let c = f + 0. Suppose 4*o = 4*v - 112, -3*v - 2*v - c*o = -132. Does 12 divide v?
False
Let n(o) = -o**3 + 13*o**2 - 7*o + 2. Is n(7) a multiple of 45?
False
Let g(i) = -10*i - 9. Does 10 divide g(-5)?
False
Let g = 27 + -13. Is 13 a factor of g?
False
Let k(x) = 46*x**2 - x. Suppose -v + 4*b = 7, -2*b + 8 = 5*v - 1. Is 16 a factor of k(v)?
False
Let u(z) = z**2 - 6 + 5 + 10*z - 5*z. Is u(-6) even?
False
Suppose 3*l - 3*h - 37 = h, 5*h - 28 = -3*l. Does 8 divide (-10 + l)/(1/36)?
False
Suppose -3*d + 12 = -6*d. Let r(k) = k**2 - 3*k + 5. Is r(d) a multiple of 12?
False
Suppose 4*o - 4 - 4 = 0. Let t = 6 - o. Is 2 a factor of t?
True
Suppose 0 = t - 43 - 41. Is t a multiple of 12?
True
Let s(d) = d**2 + 8*d + 7. Let l be s(-7). Let g = l + 2. Is 3 a factor of 6/g*7/3?
False
Let f(i) be the third derivative of -i**6/360 - 3*i**5/40 + i**4/4 - 2*i**3/3 - 2*i**2. Let r(t) be the first derivative of f(t). Is 6 a factor of r(-8)?
False
Let h = -50 - -79. Is h a multiple of 16?
False
Let u = 5 - 3. Let a = -6 + u. Is (-30)/a*30/9 a multiple of 14?
False
Suppose 2*y - 14 = f, 5*y - 4*f = -0*f + 35. Let n(a) = a**3 - 7*a**2 + 10. Does 5 divide n(y)?
True
Suppose 484 = 2*k + 2*z, 0*k - 2*z = -4*k + 986. Is 49 a factor of k?
True
Let c(f) = f - 2. Let h be c(4). Suppose -h*v = -75 - 7. Does 15 divide v?
False
Suppose 5*s + 11 + 4 = 0. Let a be (3/s - -3) + 40. Let d = -16 + a. Is d a multiple of 13?
True
Let u = 0 + 1. Let w be u*0/(-3) - -1. Is 19 a factor of -1 - w - (-84)/2?
False
Is 77/3 - (-1)/3 a multiple of 13?
True
Let b = -32 - -17. Let u be (-112)/3 - 2/(-6). Let x = b - u. Does 11 divide x?
True
Let z = 11 + -6. Let i = z - -13. Is 18 a factor of i?
True
Let n(z) be the first derivative of 2*z**3/3 - 5*z**2/2 - 4*z - 4. Let k be n(4). Suppose k = a - 2. Is a a multiple of 10?
True
Let w(p) = p + 2. Let l be w(6). Let k = 10 + -7. Suppose k*y - 2 = -x, -3*x + 18 = l*y - 5*y. Does 5 divide x?
False
Let h = 5 - 1. Suppose 2*w = 6*w + h, f - 2*w - 35 = 0. Is f a multiple of 11?
True
Let l = 168 + -84. Does 15 divide l?
False
Let v be (-4)/6*1*6. Let b = v + -1. Let s(y) = -y**3 - 5*y**2 - 5*y - 1. Is s(b) a multiple of 12?
True
Let g = 5 + -2. Suppose -5*c - 25 = 0, 0 = -7*t + 3*t + g*c + 59. Is t a multiple of 11?
True
Suppose 0*k + 20 = k + 4*o, -4*o = 4. Does 10 divide k?
False
Let c = 32 + -12. Suppose 0*h - 4*h + c = 0. Suppose -6*v + h*v = -30. Is 10 a factor of v?
True
Let h = 70 - 13. Suppose -h + 2 = -5*c. Suppose c = 2*s + 3. Does 2 divide s?
True
Let s(v) = -3*v + 2*v**2 - 8 + 4 + 0. Let u be s(10). Is 12 a factor of u/10 - (-15)/(-25)?
False
Suppose 15 = -3*i + 60. Suppose -3 = 4*q - i. Suppose -3*v = 0, -4*b = q*v - v - 16. Is b a multiple of 3?
False
Let b = -5 - 1. Is 18*b/(-45)*5 a multiple of 12?
True
Let t(f) = 2*f**3 - 4*f**2 - 4. Let y = 8 - 5. Is t(y) a multiple of 7?
True
Let n(l) = -10*l**3 - l - 1. Let q be n(-1). Suppose 7*v = 4*p + 2*v - 38, -q = 5*v. Does 3 divide p?
False
Is 44 a factor of 3/(-6)*4*107/(-2)?
False
Let t = -9 - -17. Suppose 4*q - 5*b - 9 = 17, 0 = q - 2*b - t. Suppose -x + 20 = -q. Is x a multiple of 12?
True
Suppose 10*c - 6*c + 68 = 0. Let h = 21 - c. Does 14 divide h?
False
Suppose 2 - 6 = c. Let t be 5 + (c - (3 - 6)). Suppose -5*v = -w - 106, 24 + 44 = t*v - 5*w. Does 11 divide v?
True
Suppose 4*p - 20 = p - 4*h, -3*p + 2*h + 8 = 0. Suppose -2*m + 20 = -p*s, -1 = 4*m - 2*s - 11. Let i = 12 + m. Does 6 divide i?
True
Suppose -5*x = -4*q + 119, -4*x = -5*q - 2*x + 136. Is 11 a factor of q?
False
Let n be 5/(-2)*16/20. Let x(t) = -3*t**3 - 3*t**2 - t - 1. Let u(g) = 2*g**3 + 2*g**2 + g + 1. Let m(d) = -5*u(d) - 3*x(d). Is 6 a factor of m(n)?
True
Let u b