d a multiple of 2?
True
Let p(j) be the third derivative of -5*j**4/24 - 2*j**3/3 - j**2. Is p(-4) a multiple of 8?
True
Let y(q) = -51*q + 3. Let d(x) = -103*x + 5. Let i(u) = -4*d(u) + 7*y(u). Let j be i(1). Suppose j = 5*w - 4. Is 6 a factor of w?
True
Suppose 14 - 77 = -3*k. Does 4 divide k?
False
Suppose -t = -l - 13 - 1, -5*t + l = -58. Is 3 a factor of t?
False
Let c(q) = q**3 + q**2 - 3*q + 3. Let f(s) = s**2 - 2*s - 4. Let x be f(4). Suppose -13 + 1 = -x*g. Is c(g) a multiple of 10?
True
Let f be ((-6)/(-2))/(3 + -2). Suppose 16 = d + 3*q, -2*d + q - f*q + 36 = 0. Is 7 a factor of d?
False
Suppose -12 = 4*b, 5*u + b - 221 = -9. Is 4 a factor of u?
False
Suppose 9*p = 3*p + 576. Let t = p + -67. Is 12 a factor of t?
False
Let t(z) be the second derivative of 0 + 1/20*z**5 + 2*z**2 - z - 1/2*z**3 - 1/3*z**4. Is t(5) a multiple of 7?
True
Let d(a) = a**2 + 8*a + 1. Suppose 0 = -p + 3*t + 2 + 3, 2*p + 10 = 2*t. Does 21 divide d(p)?
True
Let i(t) = -t**3 + t + 1. Let b(p) = -2*p**3 + p**2 + 8*p. Let z(s) = b(s) - 3*i(s). Let l = -28 + 31. Is 20 a factor of z(l)?
False
Is (-281)/(-4) - 3/12 a multiple of 14?
True
Let t(i) = 1. Let s(m) = 6*m + 21. Suppose 5*u - 3 = 2. Let g(a) = u*s(a) - 18*t(a). Is g(5) a multiple of 15?
False
Let d(g) = -g - 4. Let h be d(-6). Let p(v) = v**3 + 3*v**2 - 2. Is 9 a factor of p(h)?
True
Let n(r) = -4*r - 8*r**2 - 2 - 6 - 6*r - r**3 + 2*r. Let j be n(-7). Let d(a) = -22*a**3 - a**2 - 2*a - 1. Does 11 divide d(j)?
True
Suppose 22 = 2*o - 134. Is o a multiple of 13?
True
Suppose -105 = -5*h + 2*f + 2*f, -3*h + 36 = 3*f. Suppose 4*y = -4*u + u + h, -y + 3*u + 8 = 0. Does 2 divide y?
False
Let v(j) be the first derivative of 11*j**2/2 + 3*j + 2. Let r be v(6). Let u = r - 41. Is 14 a factor of u?
True
Is 3 a factor of -1 + 0 + 11/1?
False
Is 18 a factor of (0 + 18)*(-4)/(-2)?
True
Let m be 0/(-7) - (-2 - 0). Let o be (-5 + m)*-1 - 1. Suppose -15 = 3*i + o*i, -84 = -3*j - i. Does 21 divide j?
False
Let g(q) be the third derivative of q**5/60 - 7*q**4/24 - 7*q**3/3 - q**2. Is 6 a factor of g(10)?
False
Let z = 3 - -25. Let w = 56 - z. Is 14 a factor of w?
True
Suppose l - 2 = 3*x + 4, -14 = -4*l + 2*x. Suppose 7*r + 6 = 2*f + l*r, 39 = 5*f + 2*r. Is 7 a factor of f?
True
Let m = 10 - -19. Does 5 divide m?
False
Suppose 34 + 11 = -3*n. Let l(d) = d**3 + 15*d**2 + 3. Does 2 divide l(n)?
False
Suppose -4 = -2*z + 4, -5*z + 40 = 4*l. Suppose -4*o = y - 116, 0*o + 4*o - l*y = 92. Suppose h - 3*a = 39, -h + 9 = -5*a - o. Does 14 divide h?
True
Let l(x) be the second derivative of -x**3 - 3*x**2/2 - 2*x. Let r be l(-3). Let q = r + 6. Does 8 divide q?
False
Let r = 35 - -135. Does 30 divide r?
False
Let j(l) = 2*l**2 - 2*l - 2. Suppose 6 = 4*v - 2. Suppose -4*n - s = 5, 2*n + 2*n + v*s + 2 = 0. Does 8 divide j(n)?
False
Let a = 7 - 4. Suppose -5*s + 25 = -0*s + q, -a*q + 27 = 3*s. Does 2 divide s?
True
Suppose -2*d - 4*c = -0*d - 116, d - 3*c = 83. Does 34 divide d?
True
Let l(t) = -2*t - 3. Let u be l(-5). Let k(s) = 9*s - 8. Is k(u) a multiple of 15?
False
Let w = 250 - 146. Does 13 divide w/10*(-5)/(-2)?
True
Is (-32)/(-3)*3 - 3 a multiple of 7?
False
Let a = -35 + 76. Let x = -24 + a. Does 17 divide x?
True
Let q(r) = r + r + 5 - 2 + 2. Let d be q(-6). Let f(y) = -6*y + 10. Is 19 a factor of f(d)?
False
Suppose 1 = 2*j - 3. Suppose 12 = 2*t + j. Is 2 a factor of t?
False
Let k(v) = -8*v + 4. Let i(m) = -7*m + 5. Let x(t) = -6*i(t) + 5*k(t). Is 8 a factor of x(9)?
True
Let z(g) = 46*g**2 + g. Suppose 0 = -4*k + 2*y - 10 - 0, 4*k + 16 = 4*y. Is z(k) a multiple of 16?
False
Suppose -11 - 56 = -h + m, 222 = 3*h + 4*m. Does 11 divide h?
False
Suppose 3*v - 2*p = 38 + 59, -4*v = 5*p - 91. Suppose -2*a + 97 = -v. Is a a multiple of 22?
False
Suppose 0 = -2*m - 3*p + 5, 2*m + 0*m - 8 = -2*p. Let i(x) = x**3 - 7*x**2 - x + 7. Let y be i(m). Let d(j) = j**2 + 9. Is 9 a factor of d(y)?
True
Let n = -226 + 325. Is (6/(-3))/((-2)/n) a multiple of 28?
False
Suppose -5*r = -j + 38, 0 = -3*j - 2*r - 2*r + 76. Does 9 divide (4/6)/(j/1134)?
True
Let r = 10 + -4. Suppose 3 = 3*a - r. Is 2 a factor of a?
False
Suppose 79 = -2*w - 3*x, 3*w + 76 = w - 4*x. Let t = 2 + 62. Let k = t + w. Is k a multiple of 8?
False
Let h = 19 - 11. Suppose -4*m + 3*m = -h. Is 4 a factor of m?
True
Let h = -4 - -6. Let c(l) = -2*l + l**2 + h*l + 9*l**3. Is c(1) a multiple of 10?
True
Is (-189)/2*(-8)/6 a multiple of 21?
True
Suppose -5*b - 4*z = -646 + 217, 4*b - z = 339. Is b a multiple of 17?
True
Let v(i) = -i - 3. Let j be v(-5). Suppose 3*m + 1 = d, -j = 3*d - 4*m - 10. Suppose -2*f - 18 = -4*n, 5*n - 4*f = 20 + d. Is n a multiple of 2?
True
Suppose 6*g = g. Suppose g = b - 41 - 37. Suppose 0 = -5*p - c - c + b, -5*p + 50 = -5*c. Is p a multiple of 7?
True
Suppose -5*a = 2*q - 6, -2*a + 15 - 1 = -5*q. Suppose -d + a = -6. Let b = 0 + d. Is b a multiple of 4?
True
Let b be (-78)/(-30) + 6/(-10). Suppose 0 = -2*p - 8, -2 = -h + b*h - 5*p. Let v = h - -33. Is v a multiple of 11?
True
Is 18 a factor of (-91)/2*32/(-56)?
False
Let v(h) be the first derivative of -3*h**3 - h**2 + 2 + 0*h - 1/4*h**4. Is v(-9) a multiple of 15?
False
Let n(s) = -s**2 + 5*s - 8. Let u be n(-5). Let x be (-1)/((-2)/10)*-5. Let w = x - u. Is w a multiple of 18?
False
Let d = -22 + 39. Is d a multiple of 14?
False
Suppose -3*j + 261 - 21 = 0. Does 6 divide j?
False
Let o = 10 - 7. Suppose o*z + 6 = 5*z. Suppose z*q - 90 = -12. Is q a multiple of 14?
False
Let x(t) = -t**2 - 14*t - 6. Is 21 a factor of x(-8)?
True
Suppose -144 = 2*j + 2*j. Let k = 3 - j. Is k a multiple of 13?
True
Is 2 a factor of 134/10 - 4/10?
False
Let a be (-6)/(-4)*(-140)/21. Let b(x) = -3*x - 10. Is b(a) a multiple of 17?
False
Let v be ((-8)/3)/(6/162). Let z = v - -120. Is z a multiple of 16?
True
Let g be (2/4)/(4/16). Let r(m) = 3*m**g + 1 + 0 - 2*m - m**2. Is r(3) a multiple of 6?
False
Suppose 5*v + 2*r - 73 = 0, 2*v - 3*v - 5*r = -33. Let x = 35 + v. Suppose -2*d + x = 2*d. Is d a multiple of 7?
False
Let r(o) = -8*o - 4. Suppose 8 = c - 3*c. Let m(d) = -d. Let p(s) = c*m(s) + r(s). Does 4 divide p(-4)?
True
Suppose 4*p - 50 = -2*s, -p + 75 = 3*s - 3*p. Is 25 a factor of s?
True
Let o = 0 + -1. Suppose -3*g - 10 = -1. Is (g/(-4))/(o/(-20)) a multiple of 5?
True
Suppose -3*d - 10 = -1. Is 4 a factor of (d + -1)*3/(-2)?
False
Is 38*3/6 - -1 a multiple of 20?
True
Let u = 499 + -244. Does 28 divide u?
False
Is 15 a factor of ((-9)/18)/(1/(-90))?
True
Let q(f) = -f + 11. Is q(0) a multiple of 2?
False
Suppose 3*r - 2*r = -4*h + 260, 3*r = 2*h - 130. Does 11 divide h?
False
Suppose 4*o - 4*v - 26 = 206, 4*o + 5*v = 250. Is 6 a factor of o?
True
Suppose -5*m + 6*i = 2*i - 285, -2*i = -m + 63. Let x = -34 + m. Does 19 divide x?
True
Let a(h) = -h**3 - 3*h**2 - 2*h. Let o(s) = -s**3 + 7*s**2 + 6*s + 7. Let d be o(8). Let j be d/(-2)*4/(-6). Is 3 a factor of a(j)?
True
Let d be (-1 - -1)/(4/2). Suppose 2*t + d*t = 16. Does 6 divide t?
False
Suppose 3*q + 4*w - 76 = 0, 0*q - q + 2*w = -42. Does 5 divide q?
False
Suppose -3*y - 1 + 10 = 0. Is 0 - (-1 + -20 + y) a multiple of 9?
True
Let a(c) = -c**3 - 9*c**2 - 5*c - 1. Let i be a(-4). Let k = i + 109. Is 12 a factor of k?
True
Let k(m) = -m**3 - m + 3. Let b be k(0). Does 19 divide 148/b - 12/(-18)?
False
Let k = -365 + 580. Is k a multiple of 20?
False
Does 38 divide 12*19 - 0*(-6)/(-42)?
True
Suppose -3*m = -3 - 9, 5*m + 6 = 2*g. Suppose 0 = -0*y + 2*y. Let n = g + y. Is 13 a factor of n?
True
Let n = -16 + 31. Is n a multiple of 5?
True
Suppose q - 18 + 4 = -4*w, 107 = 4*q - w. Let t = -4 + q. Does 22 divide t?
True
Suppose -b - 3*c - 49 = 98, -4*b + 2*c = 532. Let y be 1 + 1 - -1 - b. Does 9 divide 2/(-10) + y/15?
True
Suppose 3*l + 155 = -5*n, -5 = -l - 0. Is n/(-4) + (-9)/(-18) a multiple of 5?
False
Suppose -5*p - 13 = r - 42, -22 = -3*r - 2*p. Suppose -r*n = o - 93, -2*o + 23 + 2 = n. Is 13 a factor of n?
False
Let b(p) = -2*p**2 + p - 1. Let w be b(2). Let n be (-68)/w - (-4)/14. Suppose j + n = 2*j. Is 5 a factor of j?
True
Let j = 55 - 55. Suppose -3*f + 8 = f + 2*w, -5*f = 5*w - 5. Suppose 27 = f*a - j*a. Does 3 divide a?
True
Suppose 30*q + 112 = 32*q. Is 14 a factor of q?
True
Let u(z) be the first derivative of 2*z**3/3 + 5*z**2 + 8*z - 3. Let