se -3*g - 39 - 66 = -3*z, 5*z - 3*g - t = 0. Is 15 a factor of z?
True
Let z(l) = l - 2. Let u be z(5). Suppose 4*d - 97 = d + n, 4*d + u*n - 138 = 0. Is d a multiple of 18?
False
Let j(z) = -z**3 + 6*z**2 - 3*z + 17. Is 3 a factor of j(5)?
True
Let l = 22 + -42. Let f be l/6*6/(-5). Suppose -f*s = 34 - 130. Does 12 divide s?
True
Let p(q) = 48*q - 8. Let z be p(6). Suppose -4*s = -z + 72. Is s a multiple of 19?
False
Suppose 0 = w + 2*r - 0*r - 13, 4*w - 42 = 2*r. Let m(n) = 86*n. Let s be m(4). Is s/44 + 2/w a multiple of 4?
True
Let p(x) = 2 + 10*x - 3 + 7*x. Does 9 divide p(1)?
False
Suppose 3*j = 5*b + 9, -2*b - 5 = 3*j - 14. Suppose 0*q + j*q + 3*p = 51, -q = -5*p - 23. Is q a multiple of 9?
True
Let s = -43 - -20. Suppose -t - 156 = 2*t. Let u = s - t. Is u a multiple of 19?
False
Let n = -10 + 16. Is 18 a factor of n/21 - 243/(-7)?
False
Let u(m) = -m + 2. Let a be u(0). Suppose 2*i - a*w + 5*w = 8, -w + 16 = 4*i. Does 3 divide i?
False
Let z = -29 + 33. Let r(w) = w - 1. Let d be r(1). Suppose 3*g - 21 = -5*h, h = -d*h - z*g - 6. Is h a multiple of 3?
True
Suppose -a - 2 = -2*a. Suppose 0 = h - c + 3*c - 236, a*h - 4*c = 472. Suppose 0 = w + 1 - 5, 0 = -5*q - 4*w + h. Is 16 a factor of q?
False
Suppose -3*x - 4*w + 222 = 0, 5*x - 2*w = -5*w + 359. Is x a multiple of 7?
True
Let v(o) = 2*o**3 - o**2 - 2*o + 3. Let d = -5 - -9. Suppose 3*j - 5*i = 29, j - i + 9 = -d*i. Is v(j) a multiple of 21?
True
Let d(x) = 26 - 14 - 15 - 12*x. Is 7 a factor of d(-2)?
True
Let m(c) = 2. Let z(u) = -3*u - 1. Let o(d) = -6*m(d) - 2*z(d). Is 19 a factor of o(9)?
False
Let w be -3*(-4 - 6/(-2)). Let b = w + 10. Is b a multiple of 13?
True
Let q = -54 + 150. Does 8 divide q?
True
Suppose -m - 8 + 2 = 0. Let k(g) = -7*g**3 - 13*g**2 - 8*g + 2. Let u(d) = 15*d**3 + 27*d**2 + 17*d - 3. Let s(t) = -13*k(t) - 6*u(t). Does 11 divide s(m)?
False
Suppose 3*m = -3*f - 228, 0*f - 8 = 2*f. Let a = m - -135. Is a a multiple of 27?
False
Suppose 2*o - 6*o = 2*x - 62, -3*o - 3*x + 51 = 0. Suppose 2*p - 4*d + 5*d - 23 = 0, p + 3*d = o. Is 3 a factor of p?
False
Let s(l) be the first derivative of -2*l**2 - 2. Let r be s(-10). Is 16 a factor of (10/8)/(2/r)?
False
Let n be 1/2 - 115/10. Let y = -9 - n. Suppose u = -2*a + 101, -157 = -3*a - y*u + 6*u. Is a a multiple of 15?
False
Suppose 19 = -5*l - 4*t + 58, -t = 5*l - 36. Is 3 a factor of l?
False
Suppose g = -3*m - 4*g + 31, 3*m - g = 1. Does 2 divide m?
True
Let u(g) = 3*g**2 - 8*g - 5. Does 59 divide u(-4)?
False
Let h(v) = 2*v**2 + 4*v + 2. Let j be h(-2). Suppose -a + j*a = -6. Is ((-78)/(-4))/(a/(-8)) a multiple of 13?
True
Let r(h) be the first derivative of h**5/10 + h**4/24 - h**3/3 - h**2 - 2. Let k(z) be the second derivative of r(z). Is k(-2) a multiple of 10?
True
Suppose -2*i - 5*t - 9 = 0, i = -i + 3*t + 15. Suppose -i*v + 68 = v. Does 5 divide v?
False
Suppose 2*i + l = -0*l + 35, -i + 5*l + 1 = 0. Is i a multiple of 8?
True
Let w be ((-2)/5)/((-2)/10). Suppose w*m + 14 = 4*m. Does 7 divide m?
True
Suppose 7*g + 5*k = 2*g + 20, 2*g = -k + 6. Suppose -j + g*y = -11, 4*j + y = -17 + 79. Does 8 divide j?
False
Suppose -225 = -9*a + 4*a. Is 9 a factor of a?
True
Let n be (12/18)/(4/6). Let z be -76*(n - (-6)/(-4)). Let s = z + -24. Is 7 a factor of s?
True
Let a = 19 + -15. Let d = a - -37. Does 11 divide d?
False
Suppose p = -p + 84. Is 15 a factor of p?
False
Let s(v) = -2*v**3 - 5*v**2 - 3*v. Is 11 a factor of s(-3)?
False
Let f be ((0/(-1))/(-2))/(-3). Suppose 38 = 2*h - f*h. Does 5 divide h?
False
Let a be 13 + -4 - 0/(-2). Let x = 22 + a. Is x a multiple of 17?
False
Let x(o) = o**3 + 6*o**2 - o + 9. Does 13 divide x(-5)?
True
Let d = 50 - 36. Suppose 5*g = d + 26. Does 5 divide g?
False
Suppose 2*m - 276 = -2*m. Let c = m + -39. Is c a multiple of 15?
True
Suppose 4*u = -0*r + 2*r + 6, 0 = -5*r - 2*u - 63. Let l = r - -2. Let o = 15 + l. Does 6 divide o?
True
Let b(i) = 14*i**2 + 3. Let f(k) = 14*k**2 - k + 4. Let n(x) = 3*b(x) - 2*f(x). Does 12 divide n(-1)?
False
Let m = 14 - 8. Suppose -24 + m = -2*l. Is 6 a factor of l?
False
Suppose -4*m = 581 - 1477. Is 22 a factor of m?
False
Suppose 7*q - 14*q + 63 = 0. Does 3 divide q?
True
Let v(i) = i + 13. Let a be v(-7). Is (-11 + 5)*(-16)/a a multiple of 9?
False
Let s = 60 + -14. Is 22 a factor of s?
False
Suppose -7*j + 4 = -3*j. Let o(l) be the second derivative of l**3 + l**2/2 - 3*l. Is o(j) a multiple of 5?
False
Let i be ((-15)/(-9))/(2/6). Suppose -4*v = -v - 3*w + 3, -w = i*v - 25. Is 13/v*(4 + 0) a multiple of 11?
False
Suppose -15 + 3 = 4*s. Let j(r) = 4*r**2 - 8*r + 5. Let u(q) = 3*q**2 - 8*q + 4. Let c(a) = s*u(a) + 2*j(a). Is c(6) a multiple of 10?
True
Suppose 2*i = -5 + 9. Suppose 5*j + 28 = t, -270 = -5*t - i*j + j. Is t a multiple of 11?
False
Let k(w) = -w**3 + 5*w**2 + 12*w + 16. Let b be k(7). Let x = 4 - -44. Suppose -x = -b*u + u. Is u a multiple of 24?
True
Suppose -3*u - 9 = -0*u + 3*g, 2*u = -5*g - 18. Suppose -2*o = -11 - u. Is 4 a factor of o?
False
Let v(b) = -10*b + 1. Suppose l + 5 = 1. Is 15 a factor of v(l)?
False
Suppose 6*n - 4*n - 128 = 0. Is 16 a factor of n?
True
Suppose 0 = -4*b - t - 54, 0 = 2*b + 2*b - t + 50. Let y = b - -34. Does 10 divide y?
False
Let f = 18 - 2. Does 16 divide f?
True
Let s = 66 - 30. Is s a multiple of 9?
True
Suppose -2 + 5 = 3*n. Does 12 divide ((-18)/24)/(n/(-48))?
True
Let y be 75/18 - 3/18. Suppose 91 = y*i - 133. Does 12 divide i?
False
Suppose -2*q + 12 + 24 = 0. Let j = 1 - -1. Suppose -l = l - 2*g - 20, -3*g - q = -j*l. Is 12 a factor of l?
True
Suppose -2*p - 6 = -2*l - 0*l, 0 = 4*l - 3*p - 7. Let b(s) = -2*s - 1. Does 3 divide b(l)?
True
Let d(g) = -2*g + 16. Is d(-4) a multiple of 2?
True
Let w be -1*-3*(-2 - -3). Suppose -6*j = -w*j. Suppose j = -5*f + 4*f + 13. Is f a multiple of 4?
False
Let g(l) = -9*l + 0 + 10 - l**3 + 2*l + 9*l**2. Is g(8) a multiple of 10?
False
Suppose -5*v - 16 = -3*b, -5*b + v = -v - 33. Let r(c) = c**3 - 7*c**2 + c + 3. Is 5 a factor of r(b)?
True
Let c(t) be the first derivative of 13*t - 10/3*t**3 + 3 - 1/4*t**4 + 0*t**2. Is c(-10) a multiple of 13?
True
Let j be 14/(-35) - 273/5. Let a = 91 + j. Is a a multiple of 15?
False
Suppose -4*g + 3 + 5 = 0. Let p be (g/4)/(1/2). Suppose -c - p = -2*o - 4*c, 4*c + 12 = -o. Is 4 a factor of o?
True
Let d(b) = -4. Let q(z) = z**2 - z. Let v(r) = -d(r) - q(r). Let f be v(0). Suppose 3*c - f*k - 34 = 0, -2*c + 4*c - 8 = -k. Does 3 divide c?
True
Let s(a) = a**2 - 8*a + 7. Let c = -55 - -23. Let u be 3*(c/(-3))/4. Is s(u) a multiple of 4?
False
Suppose -6 = -3*r, 4*r - 21 = -4*f + 35. Suppose 0*d + 3*w = 2*d + f, 4*w = d + 11. Let n = d - -32. Is 11 a factor of n?
False
Let l(i) = -i**2 - 4*i**2 + 3*i**2 - 2*i + 3 + 3*i**3. Suppose 6 = -6*f + 18. Is l(f) a multiple of 5?
True
Let t = -120 - -224. Suppose g = 5*g - t. Does 13 divide g?
True
Let w(n) = 2*n**2 - 5*n + 2. Let a = 11 + -6. Does 10 divide w(a)?
False
Let w = -4 - -7. Let v(t) = 14*t**2 + 3*t - 1. Let x(k) = -5*k**2 - k. Let r(j) = 4*v(j) + 11*x(j). Does 3 divide r(w)?
False
Suppose 2*n + 20 = 4*x, -3*x + 2*n = -1 - 15. Suppose 32 = 4*g + x*b, g - 2*b - b = -12. Suppose l + 5*s - 8 - 5 = 0, -g*l + 5*s = -39. Is l a multiple of 13?
True
Let s = 6 + -4. Suppose -o + 3*o = -s, -5*o + 65 = y. Suppose 3*u + 2*u = y. Does 7 divide u?
True
Let s = -1 + 25. Is 21 a factor of (-6 - -2)*(-186)/s?
False
Suppose -84 = 11*v - 568. Is v a multiple of 20?
False
Suppose -2*p = -0*p + 28. Let s = p + 18. Is s a multiple of 2?
True
Let g = 14 - 7. Let r(q) = q**3 - 7*q**2 + 6*q. Does 21 divide r(g)?
True
Let q = -8 - -6. Does 9 divide (q + 1)*(-18 + -3)?
False
Let f be 8/6 - (-6)/9. Suppose -8 = -4*t - 2*z, 2*t + f*t - 4 = -4*z. Suppose -t*p + 59 = 4*m, 0*m + 5*p = -m + 19. Does 10 divide m?
False
Let t(d) = d**2 + 5*d - 4. Let z be t(-5). Let g = 7 + z. Does 8 divide 1/g*(-4 + 55)?
False
Let j(d) = -2*d - 1. Let w be j(-2). Suppose 0 = w*m - 2 - 4. Suppose 3*q + m*q = 65. Is q a multiple of 7?
False
Let q(a) = -a**3 - 9*a**2 - 2*a + 13. Let z be q(-9). Suppose -4*d + z = -25. Is 14 a factor of d?
True
Let q = -2 - -3. Let y be -28 - q/2*-2. Let a = 9 - y. Is 16 a factor of a?
False
Suppose -4*p + 3*s - 71 = 0, p + 3*p + 2*s + 66 = 0. Let n = 8 + p. Let t = n + 40. I