 -2*j = -2*s - 42, 21 = 2*j - j - 2*s. Is j a multiple of 7?
True
Suppose 4*n + 6 = n. Let y be ((-3)/3)/(n/10). Is 5 a factor of y*7/(35/6)?
False
Let y be (3/2)/(-3)*-8. Suppose i = -0*i - y, 0 = c + 3*i - 2. Is c a multiple of 14?
True
Let j(x) = 9*x**2 + x + 1. Let a(g) = -36*g**2 - 5*g - 5. Let d(z) = 2*a(z) + 9*j(z). Suppose -2*q - 2 = -4*p, -5*q + 7*q + 9 = -3*p. Is 3 a factor of d(p)?
True
Does 10 divide (1*(4 + -3))/((-3)/(-120))?
True
Let d(v) = -v**3 + 9*v**2 - 10*v + 2. Let s be d(7). Let a = -17 + s. Is 9 a factor of a?
False
Is 20/3*(-198)/(-10) a multiple of 13?
False
Let n(b) = 12*b + 15. Let j(k) = -6*k - 7. Let m(a) = 5*j(a) + 3*n(a). Let z(o) = -9*o - 15. Let x(c) = -7*m(c) - 5*z(c). Is x(6) a multiple of 14?
False
Suppose 0 = -10*u + 2*u + 368. Is u a multiple of 11?
False
Suppose 0 = 6*s - 2*s + 324. Let d be s/(-36) + (-1)/4. Suppose d*c - 6 = 54. Is c a multiple of 15?
True
Let s = -24 + 18. Suppose -4*y = 2*i + 62, -2*y + 6 = -4*i + 22. Is 7 a factor of (s/(-4) + -2)*y?
True
Let n = 39 - 4. Is n a multiple of 12?
False
Let v(f) be the first derivative of f**2 + 3*f - 5. Let t = 0 - -3. Is v(t) a multiple of 3?
True
Let u = -6 - -10. Let d be ((-54)/u)/((-6)/12). Suppose d + 7 = b. Is 17 a factor of b?
True
Let u(l) be the first derivative of -2*l**3/3 + 2*l**2 + 1. Let s be u(4). Let v = s - -26. Is 6 a factor of v?
False
Let z(o) = o + 1. Let n be z(3). Let u = n - -1. Suppose -u*j = -6*j - 1, -3*j = -g + 21. Is g a multiple of 18?
True
Suppose 364 = 2*s + 4*l, -124 = -s - l + 54. Does 29 divide s?
True
Suppose 2*q - g = -2*g + 200, 4*q - 400 = -3*g. Is q a multiple of 10?
True
Let q = 54 + -31. Is 3 a factor of q?
False
Let p(y) = -62*y - 3. Does 2 divide p(-1)?
False
Let m(h) = 48*h + 1. Is 9 a factor of m(1)?
False
Does 11 divide (-235 + (-1 - -5))*(-2)/6?
True
Let y = -200 - -375. Is 33 a factor of y?
False
Let v = -39 + 74. Does 12 divide v?
False
Let t = -2 + 59. Does 19 divide t?
True
Suppose 4*i + 5 = 5*u - 17, -6 = 3*u + 4*i. Suppose 6*r = u*r + 72. Does 10 divide r?
False
Let v = -21 - -30. Suppose 0 = -b + v + 43. Suppose -b = -2*z - c, -5*z + 2*c + 141 = -c. Does 16 divide z?
False
Let i(u) = -u**3 + 1. Let l(w) = -7*w**3 + w**2 + 7. Let n(r) = 6*i(r) - l(r). Suppose 0 = -4*k + 1 + 7. Is n(k) a multiple of 3?
True
Let u = -14 + 14. Let z(q) = 2*q + 9. Is 3 a factor of z(u)?
True
Let i = 16 + -11. Suppose i*p = -0*x + 3*x - 35, -3*p = -2*x + 23. Is 9 a factor of x?
False
Let y(w) = -9*w**2 - 2*w - 1. Let c be y(2). Let k = c + 77. Let q = -19 + k. Is q a multiple of 17?
True
Does 12 divide 8/44 + (-559)/(-11)?
False
Suppose k = 2*w + 12, -2 + 1 = w - 3*k. Let a(n) be the third derivative of n**5/60 + n**4/4 - n**3/3 + n**2. Does 5 divide a(w)?
True
Suppose -157 = -m - 2*l + 4*l, -5*l = 10. Is m a multiple of 15?
False
Let u(y) = y**3 - 7*y**2 - 10*y - 16. Is 13 a factor of u(9)?
False
Let r = 6 + -8. Let n(y) = y**2 - 1. Let g(j) = 3*j**2 - 9. Let c(w) = -g(w) + 9*n(w). Is c(r) a multiple of 9?
False
Suppose 0 = -5*t + 397 + 58. Is t a multiple of 13?
True
Let a = -21 + 36. Does 3 divide a?
True
Let m(t) be the first derivative of -t**2 + 52*t - 3. Is 13 a factor of m(0)?
True
Suppose 7 = 2*l - 1. Suppose 0*d + d = 8. Let b = d - l. Is b even?
True
Let c(s) = -5*s**2 - 4*s - 2. Let a(q) = 4*q**2 + 4*q + 3. Let d(m) = 4*a(m) + 3*c(m). Is 10 a factor of d(-6)?
False
Suppose -2*z + f + 356 + 320 = 0, 20 = 5*f. Suppose 4*j + 3*t - z = -t, -5*t = -10. Is 30 a factor of j?
False
Suppose h - 97 = -0*a + 2*a, -h - 3*a = -72. Is h a multiple of 12?
False
Let n = -12 + 9. Does 15 divide n - (-3 + 0) - -17?
False
Suppose 0 = n - v - 71, -n + 5*v = -2*n + 77. Suppose -2*i = 2*q + 3*q - n, -4*i = 16. Is 5 a factor of q?
False
Suppose k - 20 = 5*k. Let f(m) be the third derivative of -m**4/8 - 6*m**2. Is f(k) a multiple of 7?
False
Let x(u) = -u**3 + 13*u**2 + 16*u - 20. Let t be x(14). Let h(c) be the second derivative of c**5/20 - 2*c**4/3 + c**3/3 - 11*c**2/2 + c. Is 3 a factor of h(t)?
False
Let l(a) = a**2 + 13*a + 17. Let k be l(-12). Is 6 a factor of (-2)/(-10)*18*k?
True
Let n = 3 - 7. Is 2 a factor of n/(-2) + 6 + -3?
False
Let f(h) = 5*h**2 + 3*h - 3. Let d(c) = -c**3 + 3*c**2 + 6*c - 3. Let y be d(4). Let u = 2 - y. Is 13 a factor of f(u)?
False
Suppose -4*j + 3*r + 51 = 0, 4*r = -2*j + 20 + 22. Let l be 17/5 + (-6)/j. Suppose l*k + k - 28 = 0. Is k a multiple of 7?
True
Let t = -54 - -75. Let l be 12/7 + (-4)/(-14). Suppose -l*v = v - t. Does 7 divide v?
True
Let z = 103 - 53. Is 6 a factor of z?
False
Suppose u = 5*l - 71, -24 = -l - l - 4*u. Does 2 divide l?
True
Let f = -118 + 164. Is 6 a factor of f?
False
Let c(q) be the first derivative of -2*q**2 + 3*q**2 - 2 + 11*q**2. Does 16 divide c(1)?
False
Let g = -90 + 140. Suppose -w + g = 2*z + 4*w, 0 = 3*z - w - 41. Does 4 divide z?
False
Let g(h) = -h**2 - 8*h - 2. Let k = 9 + -15. Is g(k) a multiple of 3?
False
Let o = 40 - 10. Is 13 a factor of o?
False
Let d(z) be the first derivative of -z**3/3 + 9*z**2/2 - z - 2. Let r be d(9). Is 17 - r/(2/4) a multiple of 13?
False
Let s = 3 - -1. Suppose -m + 2*l = -0*l - 10, -s*l = 8. Is m a multiple of 4?
False
Is 84 - (-3 + 2)*0 a multiple of 28?
True
Let l(w) = -7*w**3 - w**2. Let u be l(1). Let i(p) = -p**2 - 9*p - 4. Let y be i(u). Suppose 2*h = -2*b - 3*h + 123, h = -y*b + 219. Does 14 divide b?
False
Let q(x) = -x**3 - x**2 + 1. Let j(n) = -19*n**3 - n**2. Let b(y) = j(y) + q(y). Let r(u) = -2*u + 3. Let a be r(2). Is b(a) a multiple of 19?
True
Let l(h) = 2*h + 2*h + 3 - 6. Suppose 2*u + 0*t - 3 = 5*t, -4*u + 14 = -2*t. Is l(u) a multiple of 9?
False
Let d(j) = -j**3 - 8*j**2 + 9*j + 5. Let a be d(-9). Suppose 52 = 2*r - 0*r + 4*v, -3*v = -a*r + 65. Does 8 divide r?
True
Suppose 2*r + 19 - 93 = -2*q, 0 = -5*r + 4*q + 158. Does 8 divide r?
False
Let i be -1*(2 - 1)*-1. Let y = 6 + i. Let o(t) = -t**3 + 7*t**2 + 5*t - 1. Is 17 a factor of o(y)?
True
Suppose m + 5*g = 20, m + 2 = 3*g - 2. Suppose 4*i - 3*u = 146, -5*i + 10*i = -m*u + 200. Is 17 a factor of i?
False
Let a(x) = x**2 + 7*x + 2. Let p be a(-6). Does 11 divide (22/p)/((-5)/30)?
True
Suppose -7*x + 8*x = 7. Is 3 a factor of x?
False
Suppose -90 - 38 = 4*u. Is 16 a factor of u/(-6)*(4 - 1)?
True
Let d be ((-10)/(-6))/(3/27). Suppose m + 3*m = -3*y + d, 5 = -3*m + y. Suppose 4*h + 2 - 26 = m. Does 3 divide h?
True
Is 33 a factor of (270/(-25))/(4/(-110))?
True
Is ((-75)/(-9) - 2)/((-2)/(-42)) a multiple of 19?
True
Let h = 90 + -64. Is h a multiple of 15?
False
Let o(d) = -d**3 - 10*d**2 - 4*d - 5. Is o(-11) a multiple of 20?
True
Let k(f) = -f**2 + 7*f. Let u be k(7). Suppose o - 5*o + 84 = u. Does 11 divide o?
False
Let m = 59 + -38. Let s be 3/15 - m/5. Let t(c) = c**3 + 7*c**2 + 7*c + 6. Is t(s) a multiple of 14?
False
Suppose -j + l = -47, 3*j - l - 147 = 4*l. Suppose j + 25 = 3*b. Let x = b - 14. Does 6 divide x?
False
Let y(d) = 3*d - 6. Let h be y(4). Let f(r) = -2 + 0*r**2 - r**2 + 14*r - 2. Is 22 a factor of f(h)?
True
Let v be 9/2 + (-2)/4. Suppose 0 = -3*o + v*o. Suppose o*w + 4*g - 44 = -2*w, w + 5*g - 37 = 0. Is 6 a factor of w?
True
Let c(x) = -x**3 - 2*x**2 - x + 4. Is c(-3) a multiple of 5?
False
Suppose -3*t + 6*t = -5*y + 8, 16 = t - y. Does 3 divide t?
False
Let j(d) be the first derivative of -5*d**2/2 - d - 1. Let m be j(-1). Suppose -m*v - 4*b = -136, 2*v - 3*b - 61 = 27. Is v a multiple of 13?
False
Suppose 4 = 3*x - 2*n, -2*n - 6 = -x + 2. Let k = 32 + x. Is 9 a factor of k?
False
Suppose 2*u + 2*h = 14, 5*h - 1 = u + 4*h. Suppose 0 = u*v + 2 - 11. Suppose 4*y - 54 = -5*l, -v*l - 2*l + 43 = 3*y. Is y a multiple of 4?
False
Let u(v) = -v**2 - 2*v - 2. Let o be u(-3). Let t = o + 7. Suppose t*x = -x - 12, 2*x = -5*s + 117. Does 9 divide s?
False
Suppose -21 = -3*n - 0. Let v(l) = l**3 - 6*l**2 + 2*l - 5. Is 13 a factor of v(n)?
False
Let l(i) = 3*i**2 - 2*i**2 + 47 - 10. Is 12 a factor of l(0)?
False
Does 71 divide 194 - -16 - (-2 - 1)?
True
Let l = 13 - 5. Let q(i) = -3*i**2 + i - 1 - l*i**3 - 2*i + 2*i**2. Does 7 divide q(-1)?
True
Let a(r) = -r + 5. Let w(i) = i**3 - 5. Let b be w(0). Is 5 a factor of a(b)?
True
Let p(u) = 5*u - 1. Let z be p(-1). Let j be ((-3)/z)/((-1)/(-32)). Let w = j + 0. Is w a multiple of 14?
False