r of a?
False
Let x(d) = 6*d + 7*d - d + 0*d - 5. Let o be x(4). Let l = o - 11. Is 14 a factor of l?
False
Let l(h) = h**3 - 15*h**2 + 3*h - 35. Is 5 a factor of l(15)?
True
Suppose -g - 7 = -5*a, 5*a + 0*a = -2*g + 46. Is g a multiple of 3?
False
Let a = 5 - -1. Suppose -o - a = o. Is (-88)/(-6) + (-1)/o a multiple of 6?
False
Suppose x - 14 = -5*n, -2*x = 5*n - n - 16. Suppose -n*d - 2*d = -248. Is 21 a factor of d?
False
Is 20 a factor of ((-4)/(-8))/((-2)/(-108)) + -1?
False
Suppose 7*t - 6*t - 33 = 0. Is 21 a factor of t?
False
Let w(u) = u**3 + 11*u**2 + 10*u + 14. Is 14 a factor of w(-10)?
True
Let i be -8*(-3)/(1*-3). Let x(k) = k**3 + 10*k**2 + 11*k + 8. Let h be x(i). Let g = h - 29. Is g a multiple of 13?
False
Suppose -4*x + 786 = -3*u - 463, -x + 3*u + 310 = 0. Let w = -169 + x. Suppose 3*r - w = 4*t, -86 = -2*r + t + 5. Is 22 a factor of r?
True
Let y(t) be the first derivative of t**3/3 - 3*t**2/2 + 2*t + 1. Let l(n) = 4*n**2 - 12*n + 9. Let x(j) = -4*l(j) + 18*y(j). Is x(6) a multiple of 18?
True
Let j(k) = 25*k - 2. Does 24 divide j(2)?
True
Suppose 2*y + 3*y = 0. Suppose y*l + 2*l - 36 = 0. Does 18 divide l?
True
Let p = 118 - 69. Is p a multiple of 16?
False
Let l = 59 + -16. Is l a multiple of 27?
False
Suppose 0*i = 3*i + 12. Let k(a) = a**3 + 5*a**2 + 5*a + 2. Let u be k(i). Let t = 8 - u. Does 3 divide t?
False
Let y(d) = 17*d**2 + 3*d - 2. Let p be y(2). Suppose -2*c - 20 = -p. Does 19 divide c?
False
Let j(s) = s**2 - 3. Is 13 a factor of j(4)?
True
Let m = 36 - 53. Let h = m - -39. Is 11 a factor of h?
True
Let w(t) = t**3 + 12*t**2 - 11*t + 3. Is w(-12) a multiple of 27?
True
Let p(t) = -t**2 - t + 4. Let n be p(0). Let a(j) = -j**3 - j**2 - 1. Let s(u) = -2*u**3 + 4*u - 2. Let m(y) = n*a(y) - s(y). Is m(-2) a multiple of 4?
False
Let n = 9 + -3. Does 6 divide n?
True
Let n(g) = -7*g**2 - g - 3. Let r(m) = -m**2 - m. Let u(t) = -n(t) + 6*r(t). Let p be u(5). Suppose -z + p*q + 3 = 0, -q + 19 = 2*z - 8. Is 12 a factor of z?
True
Let b = -4 + 8. Suppose -28 = -b*j + 2*j. Is 7 a factor of j?
True
Let p(l) = l**3 - 6*l**2 + 5*l - 9. Is p(6) a multiple of 7?
True
Is 12 a factor of ((-78)/104)/(1/(-96))?
True
Let y(q) = q**2 - 7*q + 9. Let r be y(6). Suppose o - r = 26. Is o a multiple of 7?
False
Let g(w) be the first derivative of -w**3/6 + 13*w**2/2 - 2*w + 3. Let z(n) be the first derivative of g(n). Does 2 divide z(6)?
False
Suppose 0*c = 5*o + 3*c - 120, -o + 2*c = -11. Is 10 a factor of o?
False
Let t(a) = -a**3 + 6*a**2 + 4. Let m be t(6). Suppose -b - m*b = -140. Is b a multiple of 14?
True
Suppose 0 = 2*y + 2*v - 9 - 33, 3*y - 4*v - 98 = 0. Is y a multiple of 6?
False
Suppose 5*u = -4*v - v + 15, -5*v = 0. Let w be 2/(u/((-18)/(-4))). Let y = w + 9. Does 12 divide y?
True
Let t(g) = g**2 - 9*g. Does 18 divide t(15)?
True
Suppose 0 = 4*x - 2*x. Suppose -8*d + 10 = -3*d. Suppose 3*p = 0, x = -3*m + d*p + p + 9. Does 2 divide m?
False
Let y(a) = -2*a - 3. Let x be y(-2). Suppose x = z - 2. Suppose z*h - 19 = 17. Is 12 a factor of h?
True
Is (-4 + 2)/((-3)/33) a multiple of 5?
False
Is -2*2*(-210)/21 a multiple of 10?
True
Let x = -95 + 44. Let m = 103 + x. Is 13 a factor of m?
True
Suppose 5 = -j, 5*j - 47 + 306 = 3*u. Is 27 a factor of u?
False
Suppose 4*a = 2*g + 28, -5*a + 7*g + 38 = 3*g. Does 12 divide a/(-4)*-26 - -2?
False
Let m(n) be the second derivative of -1/2*n**3 + 2*n**2 + 0 - 3*n. Does 19 divide m(-5)?
True
Let y be (-2)/(-3) - 2/(-6). Let n = 1 + y. Suppose 4*r - 5*s = 79, -r + 3*r - n*s - 42 = 0. Does 13 divide r?
True
Let k = -94 + 174. Is 24 a factor of k?
False
Let u(z) = -z**3 + 5*z**2 - 3*z. Suppose 0 = -3*t - 19 - 5. Let m = -5 - t. Is 9 a factor of u(m)?
True
Let o = -12 - -17. Suppose 56 = 4*z - 0*l - o*l, -2*l - 87 = -5*z. Is 11 a factor of z?
False
Let q = 87 + -145. Let m = -17 - q. Is m a multiple of 24?
False
Let p be (9/(-12))/(3/24). Let l = p + 29. Does 13 divide ((-2 - -3) + 0)*l?
False
Suppose 26 = 2*z - 4. Does 7 divide z?
False
Suppose 0*y = -3*i - 5*y + 27, 2*y = -4*i + 22. Suppose 0 = i*v - 9*v + 15. Does 16 divide 0 + (2 - v) + 24?
False
Does 6 divide (13 + 3 + -1)*(-40)/(-4)?
True
Let k = 18 - -9. Is 9 a factor of k?
True
Let v = 162 - 107. Suppose 7*b - 2*b = v. Is b a multiple of 11?
True
Is 23 a factor of ((-49)/21)/((-3)/180)?
False
Suppose 7*d - 24*d = -2992. Is d a multiple of 11?
True
Let v be 4/18 - (-194)/18. Let g be (-218)/v - 4/22. Let t = 40 + g. Is 10 a factor of t?
True
Suppose 3*k - 12 = -3*d, 4*k = d - 1 - 3. Suppose 4*a - 4 = -k*a. Suppose a = q - 20. Does 11 divide q?
False
Let x(o) = o**3 + 17*o**2 + 7*o - 3. Does 6 divide x(-16)?
False
Suppose 2*c + p = 7*c - 56, -3*c + 2*p + 28 = 0. Suppose 2*a + a = c. Let h = 11 + a. Does 4 divide h?
False
Let p = -16 - -27. Suppose -2*q - 13 = -5*b, -5 = 3*b - 3*q - p. Suppose 0 = b*v + 15 - 3, u + 2*v = 22. Is 11 a factor of u?
False
Is (-4)/(-8) - (-311)/2 a multiple of 12?
True
Let t = -3 + -3. Let u = t + 12. Does 6 divide u?
True
Let p(s) be the third derivative of 17*s**6/120 - s**5/60 - s**4/24 + s**3/6 - 6*s**2. Is 8 a factor of p(1)?
True
Let z(y) = 5*y**3 + 4*y**2 + y. Let j be z(3). Suppose 5*k - 26 = j. Is k a multiple of 26?
False
Is 22560/100 - ((-16)/(-10) + -2) a multiple of 15?
False
Let r = -88 - -176. Is 22 a factor of r?
True
Let b(f) = 7*f**3 - 1. Let d be b(1). Let r(v) = v**3 - 2*v**2 - 3*v - 2. Let o be r(d). Suppose -4*k - 4*u = -0*u - o, -3*u - 77 = -2*k. Is k a multiple of 25?
False
Suppose -5*n + 66 + 81 = 4*x, -2*n + 4*x + 42 = 0. Is n a multiple of 7?
False
Suppose -10*w + 144 = -6*w. Does 4 divide w?
True
Suppose -3*u = -5*p - 2*u + 6, -2*p - 12 = -4*u. Suppose p*z - 50 = -8. Does 7 divide z?
True
Suppose 0 = 3*s - 303 - 252. Is s a multiple of 37?
True
Let s = -274 + 494. Does 20 divide s?
True
Suppose 148 = 2*h + 5*k, 387 = 5*h + 4*k - 17. Is h a multiple of 14?
True
Suppose 2*p = -2*x + 30, 20 = 2*x + 7*p - 3*p. Is x a multiple of 4?
True
Let p = -22 + 25. Suppose -2*c = c - 3*n - 69, 0 = p*n - 6. Does 25 divide c?
True
Suppose -64 + 14 = -5*x + 3*z, 0 = -3*x - 2*z + 11. Is x a multiple of 7?
True
Suppose p + 4*d - 12 = 5*d, -p + 9 = -2*d. Is p a multiple of 2?
False
Let q = -38 + 72. Does 34 divide q?
True
Let h = 247 - 121. Suppose -3 = i, 0*i + 4*i + h = 3*c. Is 19 a factor of c?
True
Let c(m) = -m + 2. Let z = -6 - -6. Is c(z) a multiple of 2?
True
Suppose 5*a + 4 + 1 = 0. Let s = a - -3. Suppose s*m = 3*i - 41, -4*m = -i - m + 23. Is i a multiple of 7?
False
Suppose 33 = -2*s + 5*s. Is s a multiple of 11?
True
Let b = 170 + 9. Does 31 divide b?
False
Suppose -2*q = -0*h + 3*h - 2, -5*h + 3*q - 3 = 0. Suppose 0 = -5*k - 2*t + 275, h*k - 4*t - 248 = -4*k. Is k a multiple of 19?
True
Suppose 5*c + 69 - 369 = 0. Is c a multiple of 15?
True
Let x(m) = 4*m**2 - 11*m - 7. Let s(p) = -2*p**2 + 6*p + 3. Let k(r) = 7*s(r) + 4*x(r). Does 11 divide k(5)?
True
Let m(u) = u**3 - u**2 - u + 38. Let d be m(0). Suppose -2*j + 2 = -6. Suppose -3*t - n = -d, -j*t + 2*n = t - 78. Does 8 divide t?
False
Let v(t) = 14*t**2 + t. Does 31 divide v(3)?
False
Let z(a) = 3*a**2 - 6*a - 9. Is 11 a factor of z(-3)?
False
Let z = -3 + 6. Does 3 divide z?
True
Suppose 5*w - 8 = 12. Suppose -w*a + 200 = a. Does 11 divide a?
False
Let y(o) = o**2 + 11*o - 11. Let g(t) = -4*t**2 - 33*t + 33. Let q(l) = -2*g(l) - 7*y(l). Let a be q(10). Does 8 divide a + 0 + 17 - 2?
True
Suppose -5*q = 6 - 21. Suppose -5*w = -5, 0*a + 2*a + q*w = 7. Is 2 a factor of a?
True
Let g = -19 + 36. Is g a multiple of 4?
False
Suppose 3*c + 4 = c. Let u(i) = 3*i**3 - 5*i**2 - 23*i + 2. Let w(f) = -f**3 + 2*f**2 + 8*f - 1. Let x(l) = 4*u(l) + 11*w(l). Is 5 a factor of x(c)?
True
Suppose 4*v - r - 4 = 0, -3*v + 3*r = -0*v - 12. Suppose -4*c - 3*j = 10, -2*c - 3*c - 4*j = 13. Does 18 divide 39 + (v - -1) + c?
False
Let v(z) = 2*z**2 - 1 + 0*z - 4*z**2 - 3*z. Let q be v(-2). Is (165/(-10))/(q/4) a multiple of 13?
False
Let b(w) = -w**3 + 2*w**2 - 2*w + 3. Let r be b(2). Let g be (2/(-4))/(r/(-4)). Is 8*((-3)/2 - g) a multiple of 4?
True
Let d(u) = -5*u**2 - u. Let o be d(1). Let i(w) = -8*w + 3. Is 20 a factor of i(o)?
False
Let q be (10/1 + 0)*-1. Let y(u) = u**3 + 11*u**2 + 8*u - 14. Does 4 divide y(q)?
False
Let w(x) be the second deri