2*j - 238 = -4*h, j + 3 = -2. Is h a multiple of 26?
False
Let z(f) = f**3 - 10*f**2 + 5*f - 3. Let w be z(9). Let k = w + 84. Is 22 a factor of k?
False
Let k = -85 - -147. Does 12 divide k?
False
Suppose 4*h = 3*h + 5*c + 21, -4*h + c + 103 = 0. Is h a multiple of 13?
True
Suppose l - 21 = -l - b, 10 = 2*b. Let f = l + -6. Suppose -2*z - z = -f*d - 103, -4*d - 20 = 0. Is z a multiple of 11?
False
Suppose -602 = -4*f + 3*l, -444 - 14 = -3*f - l. Is 15 a factor of f?
False
Suppose 2*d - w - 17 = 0, 4*d - 2*w = -4*w + 38. Let g(u) = -u**2 + 10*u - 5. Let b be g(d). Suppose 0 = b*q - 2 - 2, -5*q = -4*z + 59. Is 8 a factor of z?
True
Suppose -4*n = n - 360. Does 12 divide n?
True
Let j = -72 + 45. Let y = 56 + j. Is 12 a factor of y?
False
Suppose 0 = 3*m - 2*m - 13. Suppose -4*g + m + 7 = 0. Suppose g = 2*v - 27. Does 16 divide v?
True
Let c(y) be the first derivative of y**3 + y - 1. Suppose -7 = -2*b + 3*b + 2*j, -3*b - 2*j = 13. Is c(b) a multiple of 14?
True
Suppose 0 = 5*y - 1 - 9. Suppose 0 = 2*v - 5*a + 3, 3*v - y*a - 24 = -2*v. Suppose -4*i - s + v*s + 37 = 0, -4*i = -3*s - 35. Does 4 divide i?
True
Is 17 a factor of (-909)/(-54) + 1/6?
True
Suppose -4*x + 314 = -3*m, 4*x - 238 = x + m. Suppose -3*v + 199 = -x. Is 26 a factor of v?
False
Is (-30)/(5/(-45)*3) a multiple of 9?
True
Suppose 0 = y - 5*y. Suppose i + j + 3 = -0*i, 4*i - 3*j + 19 = y. Does 13 divide (4*1)/(i/(-14))?
False
Suppose -34 = -5*h + 16. Let a(f) = -f**3 + 11*f**2 - 8*f - 5. Does 6 divide a(h)?
False
Let x = 88 + 20. Is 18 a factor of x?
True
Suppose -4*q + 90 = 5*f, -3*f - 8 = f. Let h = -10 + q. Is 15 a factor of h?
True
Suppose 2*b + 14 = -k - 4*k, b + 2*k + 5 = 0. Suppose 2*g = -n + 10 + 9, b*n + 15 = 0. Is g a multiple of 5?
False
Suppose r - 6 = -r. Suppose r*j = -3*y + 6, 0 = -2*y + j + 2*j + 4. Suppose 3*f - 71 + 23 = -y*k, -2*k - 2*f = -48. Is 12 a factor of k?
True
Let o(b) = -9*b**2 - 2 + 1 - 3*b + 3*b. Let n be o(2). Let j = -19 - n. Does 8 divide j?
False
Let n(w) = w**3 - 7*w**2 - 3*w + 11. Is n(8) a multiple of 10?
False
Suppose -x + 0*x + 3 = 0. Let m = 2 - x. Let u = m - -26. Is u a multiple of 10?
False
Let s be ((-4)/(-5))/(8/20). Suppose 12 = -4*k, 2*m = s*k - k + 47. Is 22 a factor of m?
True
Let q(x) = -4*x + 4 + 4 - 2. Does 14 divide q(-9)?
True
Suppose -4*d + 11 = 3. Suppose 3*b + 5*c - 35 = d*b, 3*b - 3*c - 51 = 0. Is 19 a factor of b?
False
Let o be 1*23 + (-4)/(-4). Suppose 4*q + 26 = 6*m - 4*m, 0 = m + 4*q + 17. Suppose -m*j + o = -j. Is j a multiple of 10?
False
Let o(g) = 44*g**2. Let y be o(-1). Let j = -20 + y. Does 8 divide j?
True
Let y(h) = -23*h**2 - 6*h - 15. Let b(o) = 11*o**2 + 3*o + 7. Let v(w) = 13*b(w) + 6*y(w). Is 7 a factor of v(-2)?
False
Let w be (-26)/(-8) - 48/(-64). Suppose 4*n + 3*v = 3, 0 = -0*n + 3*n + 2*v - 2. Suppose -w*h + n*h = -28. Is h a multiple of 5?
False
Let i(w) = w**2 - w - 3. Suppose 19 = j - 5*a, 0 = 3*j + 3*a + 2*a + 3. Let x be i(j). Let y(z) = -z**2 + 9*z + 6. Is 3 a factor of y(x)?
True
Let x(s) = -5*s + 0 + 0 + 0. Does 7 divide x(-3)?
False
Suppose 0 = -2*i + 6. Suppose -25 = -2*x - i*x. Suppose -3*b + x*b - 24 = 0. Is b a multiple of 12?
True
Suppose -5*w - 13 = -6*w. Suppose -48 = 9*l - w*l. Is 4 a factor of l?
True
Let u be (1 - 0)*18/(-6). Let m be 0 + (-1)/(u/6). Is 7 a factor of m + 9/(-3) + 19?
False
Let t be (-1)/(4 - 175/45). Let q(n) = -3 - 4 - 5*n - 5. Does 12 divide q(t)?
False
Does 14 divide 19*5 - 6/(-18)*0?
False
Suppose -2*q + 1 = -3, -3*a - 3*q = 114. Let m = 68 + a. Does 14 divide m?
True
Let v(x) = x**2 + 10*x + 8. Let s be v(-9). Let j be (s/2)/(2/28). Is 17 + j + 2*1 a multiple of 7?
False
Suppose -1 + 13 = -3*n. Let q(u) = u**3 - u**2 + u + 1. Let l(a) = -4*a**3 - 2*a**2 - 2*a - 1. Let w(r) = -l(r) - 3*q(r). Is 18 a factor of w(n)?
True
Let t(f) = 9*f**2 - 5*f - 2. Is t(-2) a multiple of 11?
True
Let g be (-552)/(-10) - (-2)/(-10). Suppose -12 = -3*r - 0, 17 = 3*y + 2*r. Suppose u + 5*c = -5, -8*c = 4*u - y*c - g. Does 10 divide u?
True
Suppose 20 = -5*b, -2*b - 10 = 2*w - 3*w. Is 7 a factor of (13/w)/1*2?
False
Let p(o) = 11*o - o**2 + 1 - 2*o - 3. Let f be p(6). Is 10 a factor of (1 + 0)*(3 + f)?
False
Suppose 0 = 3*a - 8 - 4. Suppose 2*h - 3*t - 3 = 0, -t = a*h + 2*t - 33. Is h a multiple of 6?
True
Suppose -5*i + 12 = -i, 2*m - 2*i - 64 = 0. Does 5 divide m?
True
Let m = -2 + 20. Is m a multiple of 9?
True
Let c(x) = -3*x**2 - 4*x - 3. Let o be c(-4). Let b = o + 74. Does 13 divide b?
True
Let y(q) = 102*q**3 - q**2 + q. Let z be y(1). Let h be (-6)/(-27) - z/(-27). Suppose -5*d + 68 = 4*j, -2*d - 108 = -h*j + 3*d. Does 11 divide j?
True
Let r(i) = -9*i - 9. Does 45 divide r(-6)?
True
Let w(l) = -2*l - 1. Let f be w(-3). Let q(h) = h**2 + 6*h - 3. Let i be q(f). Suppose 26 + i = 3*u. Does 11 divide u?
False
Let a = -54 - -159. Does 15 divide a?
True
Let s(y) = -146*y. Let o be s(-3). Is 24 a factor of o/9 + 2/(-3)?
True
Let l = -14 - -7. Let q = l + 7. Let t = 9 + q. Is 4 a factor of t?
False
Suppose 2*m = -0*m + 4. Suppose -33 = -j + 5*r, -m*j = -3*j + r + 13. Suppose -3*z - j = -4*y, 2*y = -2*y + 20. Is 2 a factor of z?
True
Suppose 2*x - 15 = -3*x. Suppose -x*d + 58 = -2*t, -5*t - 24 = -d - d. Does 9 divide d?
False
Suppose 79 = -3*a - 38. Let n = 118 + a. Let b = -47 + n. Is b a multiple of 12?
False
Let j be 2/(3/180*4). Let i be (-7)/4*(1 - 5). Let n = j - i. Does 9 divide n?
False
Suppose -4*r = -5*w + 30, -2*w = 4*r - 6*r - 14. Let c(z) = 22*z**2 + z + 1. Let a be c(-1). Suppose -2*l - 3*u = -a, -20 = -w*l - u - 3*u. Does 8 divide l?
False
Suppose -3*q = -22 - 41. Is 7 a factor of q?
True
Let y(u) = u**3 - 8*u**2 - 4*u - 9. Let c = -10 - -19. Is y(c) a multiple of 9?
True
Let f(t) = 5*t**2 - 2. Let k be f(-2). Does 6 divide (-1 - 1) + k/2?
False
Let t be 2/(-10) + 3576/30. Is (-4)/(-20) + t/5 a multiple of 12?
True
Suppose -2*y + 22 = 2*q, -q + 76 = 3*q - 4*y. Suppose r - 8*v = -4*v + 21, 0 = r + 5*v + q. Is 2 a factor of r?
False
Suppose -105 - 17 = i + 4*m, 4*i - 3*m = -450. Let r = i + 220. Does 27 divide r?
False
Let w = 6 - 3. Let d = 6 - w. Let r(b) = 6*b - 3. Does 6 divide r(d)?
False
Let l = -8 + 6. Let b be (-1)/2*184/l. Suppose -4*i = -b - 34. Is i a multiple of 20?
True
Let w(g) = -9*g - 2. Let k(z) = 6*z + 3. Let b(a) = -5*a - 2. Let d(v) = 5*b(v) + 4*k(v). Let j be d(4). Does 9 divide w(j)?
False
Let h(x) = -23*x**3 + x**2 + 2*x + 1. Is h(-1) a multiple of 6?
False
Let a = 6 + -6. Let o = a + -3. Is (7*-1 + -2)*o a multiple of 13?
False
Let i(h) be the first derivative of -h**4/4 - 4*h**3/3 - h**2 + 2. Let x be i(-4). Does 11 divide 45/4 + (-2)/x?
True
Suppose -5*o = z - 1243, 5*o + 2*z - 1228 = 6*z. Suppose 37 = 5*m - o. Is m a multiple of 19?
True
Is -2 - (9/(36/8) - 69) a multiple of 5?
True
Let r(y) = -y**3 + 7*y**2 - 4*y + 12. Let q be r(8). Let g = q - 160. Is g/(-12) + 1/(-3) a multiple of 9?
False
Suppose -3*k + 4*k + 4*p = 34, 5*p = -3*k + 137. Is k a multiple of 5?
False
Suppose -12*j + 3375 = -153. Is 49 a factor of j?
True
Suppose -4*c + 2*d = -34, -11 + 0 = -c - 2*d. Suppose -c = -2*m - 1. Does 4 divide m?
True
Let z = 7 - 3. Let n = 24 + z. Suppose 0*m + m = n. Is 14 a factor of m?
True
Does 3 divide 833/63 + (-4)/18?
False
Let q(o) = 54*o + 1. Suppose 3*a - 11 = 4*p, 3*p - 4*a + 17 = -0*a. Is 25 a factor of q(p)?
False
Suppose -4*p + 58 = n - 3*p, -4*n = 5*p - 229. Let a = n + -12. Suppose -26 = -j - z, 2*j = -0*j + z + a. Does 11 divide j?
False
Let o(n) = n**3 - 6*n**2 + 6*n - 7. Let u = -2 - -4. Suppose a + u*a - 18 = 0. Is o(a) a multiple of 24?
False
Is 132/2 - -5*8/20 a multiple of 31?
False
Suppose x = 2*u + 65, 5 = -2*u - 2*x - 63. Let a = 48 + u. Is 235/a - 1/(-3) a multiple of 12?
False
Let g(q) = q - 6. Let p be g(7). Suppose p = -k + 4. Suppose -24 = -k*n - 0*n. Is 8 a factor of n?
True
Let n = 7 + 65. Is 18 a factor of n?
True
Let x = -5 - -3. Let u be (-4)/10 + (-137)/(-5). Is 3 a factor of u/6 + x/4?
False
Let u = -198 - -326. Does 16 divide u?
True
Let v(q) = -6*q**2 - 17*q + 22. Let o(k) = -5*k**2 - 16*k + 21. Let z(n) = 5*o(n) - 4*v(n). Does 4 divide z(-13)?
True
Suppose -3 = -4*s + 29. Is s a multiple of 6?
False
Let m = -293 - -527. Does 6 divide m?
True
Let w(j) = j**3 - j**2 - 2*j - 3. Let a be w(-2). Let h = 2