ltiple of 15?
False
Suppose 0 = h + 1 - 12. Does 2 divide h?
False
Let u(n) be the third derivative of -n**4/4 - n**3/3 + 2*n**2. Let c be u(-3). Suppose -b = 3*j - c - 9, 4*b = 5*j - 36. Is 3 a factor of j?
False
Suppose i = 4*i - 210. Does 12 divide i?
False
Let m(o) = 7*o - 6 + 12*o**2 - o**3 + 9*o**2 - 15*o**2. Is 18 a factor of m(5)?
True
Suppose 21 = 3*c + 3*u, 3*c + 3*u - 2*u = 17. Let p(j) = j**3 - 6*j**2 + 7*j. Let s be p(c). Is 216/30 - 2/s a multiple of 3?
False
Let z(s) = -s**2 + 8*s + 9. Suppose -5*g + 19 = -16. Does 15 divide z(g)?
False
Suppose 0 = m - 4 - 29. Suppose -m = -5*o + 2*o. Is 4 a factor of o?
False
Let q = -2 - -3. Suppose -2*h + 11 = -q. Is 4/(8/h) + 1 a multiple of 4?
True
Let v(w) = -3*w. Let n be v(3). Let l = -11 - n. Is 12 a factor of 0/1 + (-24)/l?
True
Suppose -z + 1 = r - 8, -3*r + 11 = -5*z. Let k(j) = j**3 - 8*j**2 + 8*j + 6. Let f be k(r). Suppose f = 2*i - 15. Does 14 divide i?
True
Let z(w) = 3*w**3 + 2*w**2 - 4*w + 1. Let r be z(3). Suppose -5*f + r = -f. Is 6 a factor of f?
False
Let f = -370 + 262. Is f/(-2 - 1) + 0 a multiple of 9?
True
Suppose z + 0*z + 3 = 0. Is -2*((-12)/8 + z) a multiple of 6?
False
Let d = -1 + 20. Does 19 divide d?
True
Let o = 3 + 1. Suppose o*x - 37 = 19. Does 7 divide x?
True
Suppose 54*t - 64 = 50*t. Is 5 a factor of t?
False
Suppose -z + 2 = 5*u, 5*z - 4*u - 36 = -3*u. Suppose i + 0*i - z = 0. Is 2 a factor of i?
False
Let l(w) be the third derivative of -w**5/20 + w**4/8 + w**3/3 + w**2. Let y be l(3). Let h = y + 27. Is 11 a factor of h?
True
Suppose 2 = 2*z - 4. Suppose -z = -2*v + 7. Is 5 a factor of v?
True
Let j = -113 - -50. Let z = j + 135. Does 25 divide z?
False
Let h = -5 + 82. Is 26 a factor of h?
False
Suppose 10 = o + 3*d - 85, 4*o + 4*d - 404 = 0. Suppose 3*y - o = -y. Does 15 divide y?
False
Let a be (0 - -5)*(-16)/(-20). Let k(c) = c - 1. Let o be k(1). Suppose o*s + a*s - 56 = 0. Is s a multiple of 7?
True
Is 27/(4 - 95/25) a multiple of 27?
True
Let y = 56 - 87. Let p = 1 - y. Does 7 divide p?
False
Let v be 3 + 2*(1 - 0). Suppose -b - 5*p - 3 = -8, 0 = -v*b - 3*p + 3. Suppose -t + 5*t - 76 = b. Is 10 a factor of t?
False
Let v(q) = 11*q + 2. Is 5 a factor of v(3)?
True
Let x = -7 - -31. Does 6 divide x?
True
Let r = -2 - -1. Suppose -4*v + 2*v + 10 = 2*b, -5*b - 3*v + 25 = 0. Is (r + b)*(-1)/(-1) a multiple of 4?
True
Let y be ((-1)/(-2))/(-1)*0. Suppose -5*u + 74 + 91 = y. Suppose -3*n + 0 + u = 0. Is 3 a factor of n?
False
Is 7736/56 + (-3)/21 a multiple of 6?
True
Let b be (6/(-4))/(13/(-26)). Suppose 32 = x + 3*i + i, 141 = 3*x - b*i. Is 22 a factor of x?
True
Let o(a) = 4*a - 7 + a - 3*a - a. Let s be o(9). Does 11 divide (45 + -3)/s - -1?
True
Let k(a) = 22*a**3 - a**2 - a + 1. Is k(1) a multiple of 5?
False
Let m be (4/6)/(2/(-3)). Does 15 divide (-2)/m + 0 + 19?
False
Let w(a) = 6*a - 4. Let y be w(-4). Let g = y + 46. Does 9 divide g?
True
Let m(q) = q + 1. Let d be m(0). Let k = 0 + d. Suppose 0 = 4*i - 105 + k. Is i a multiple of 13?
True
Is (-3)/18 + 187/6 a multiple of 9?
False
Let f(m) = -1 - 23*m + 3 - 2. Is 23 a factor of f(-2)?
True
Let s = -2 - 6. Let m(v) = -v - 1. Does 2 divide m(s)?
False
Suppose -2*m + 5 = -1. Let w be (4 + -1)*(-8)/m. Is (-4)/(w/3 - -2) a multiple of 6?
True
Let m = -170 - -301. Does 41 divide m?
False
Let l(r) = r**3 + 15*r**2 + 14*r + 18. Is l(-14) a multiple of 17?
False
Suppose 4*v - 434 = -62. Is v a multiple of 39?
False
Suppose -4*o + 40 = 2*p, p + 26 = 2*p + 5*o. Is 16 a factor of p?
True
Let v be (-1086)/10 - (-4)/(-10). Let p = 104 - v. Suppose -6*a + a - 2*o = -p, o + 1 = 0. Does 17 divide a?
False
Suppose -4*d - 4*y = -32, 2*d - 1 = 3*d - 2*y. Suppose 0 = -2*t + 4*z + 6, -4*t - 4*z = -0*z - 24. Suppose s - t = d. Is 10 a factor of s?
True
Let m(n) = 2*n**3 + 5*n**2 - 4. Let s(z) = -3*z**3 - 9*z**2 + 7. Let d(x) = 11*m(x) + 6*s(x). Is 15 a factor of d(2)?
False
Let d = 876 + -536. Suppose 4*l + l = d. Let h = 98 - l. Is 15 a factor of h?
True
Let p(s) = -s - 5. Let h be p(-11). Suppose 22 = m + h. Is m a multiple of 8?
True
Let j be 6*3*(-3)/(-9). Let n = j + -6. Suppose n = -g + 11 + 4. Is 15 a factor of g?
True
Suppose -q + 6*q = 4*f - 223, -217 = -4*f + 3*q. Suppose -5*r + 0*h = -4*h - 176, 2*r - f = -3*h. Let t = 0 + r. Is 16 a factor of t?
True
Is (-76)/(-4) - (0 - -4) a multiple of 7?
False
Let n(d) = -d**3 - 10*d**2 - 3*d + 8. Let a be n(-10). Does 10 divide (4 - 15/3) + a?
False
Suppose 4 = 2*t - 2. Suppose 4*s - 2*m - 226 = 100, t*s - m = 244. Let f = s + -49. Is f a multiple of 12?
False
Let t = -16 + 7. Let j = t + 16. Suppose -q - 100 = -5*b, -5*q + 39 + j = b. Is 21 a factor of b?
True
Let j(f) = 2*f**2 - 7*f - 4. Let p(n) = n**2 - 3*n - 2. Let b(a) = -2*j(a) + 5*p(a). Does 18 divide b(5)?
True
Is (-168)/(-44) - (-2 + (-20)/(-11)) a multiple of 4?
True
Is 32/3 + 6/(-9) a multiple of 5?
True
Suppose m + 21 = 48. Does 27 divide m?
True
Let t(j) be the first derivative of -j**4/4 + 11*j**3/3 - 4*j**2 - j + 4. Is t(9) a multiple of 23?
False
Suppose 4*n - 46 = 2*v, -2*v = -2*n + 13 + 15. Let u = 41 + n. Does 24 divide u?
False
Let w(z) = -z**2 + 11*z - 12. Is w(8) a multiple of 4?
True
Let x = 6 - 1. Let c be (x + 2 + -1)/2. Suppose 5*z - 3*a - 111 = 0, -5*a + 37 - 94 = -c*z. Is 12 a factor of z?
True
Let d = -3 - -5. Let k = 3 - d. Does 6 divide (1 - -15*k) + 0?
False
Let b = -2 + 2. Let t = b - -18. Does 9 divide t?
True
Is 15 a factor of 60/(-2)*(-11)/22?
True
Let c(r) = -r**3 + 8*r**2 - 4*r - 9. Does 17 divide c(5)?
False
Suppose -5*x - 20 = -7*x. Is 5 a factor of x?
True
Let u = 48 - 22. Is 10 a factor of u?
False
Let o = 2 + -4. Let i = 5 + o. Suppose 5*n + 2*x = 189, 5*n + 0*x + i*x - 191 = 0. Is n a multiple of 20?
False
Does 14 divide (-1 - -2 - 0) + 55?
True
Let u(t) = t**2 - t + 7. Is 4 a factor of u(3)?
False
Suppose -m + 2*i = 13 - 131, -m + 127 = i. Suppose 0 = j - 5*j + m. Does 9 divide j?
False
Let y(k) = 5 - k**3 - 2*k**2 - 2*k**2 + 0*k**3 - k. Does 9 divide y(-4)?
True
Suppose 3*q = 539 + 4. Suppose -z - 231 = -5*t, t + 3*z - q = -3*t. Is t a multiple of 24?
False
Suppose 7 = 3*v - 5. Suppose 24 = 2*f - 2*c, f + 3*c + v = -0*c. Does 3 divide f?
False
Let h(j) = j**3 + 4*j**2 - 4*j - 6. Let t be h(-5). Let m = -6 - t. Suppose -3 - m = -d. Is d a multiple of 8?
True
Let w(f) = -f**3 - 11*f**2 - 9*f - 25. Is 37 a factor of w(-11)?
True
Suppose 160 = 3*i + 2*i. Suppose -d = d - i. Is d a multiple of 8?
True
Let b = -3 + 17. Is b a multiple of 7?
True
Let w = -4 + 3. Let p be (-453)/12 - w/(-4). Let j = -14 - p. Is j a multiple of 11?
False
Let i(b) be the third derivative of -b**5/60 + b**4/4 + b**3/2 + 2*b**2. Let w be i(6). Let j(z) = 3*z**3 - 2*z**2 - 3*z - 3. Is j(w) a multiple of 17?
True
Let c = 8 + -6. Suppose 3*h - 44 = 5*u + 11, c*h - 4*u - 36 = 0. Does 10 divide h?
True
Let w(j) = j**2 + j + 1. Is w(5) a multiple of 12?
False
Let p(u) = -2*u**2 + 6*u + 7. Let v(m) = m**3 + 2*m**2 - 5*m - 6. Let t(o) = -5*p(o) - 6*v(o). Let q be t(-1). Suppose 0 = i - q - 7. Is i a multiple of 7?
False
Suppose 4 = -2*i + 8. Suppose -z - i*z = -111. Is z a multiple of 20?
False
Suppose z = -z + 96. Let o = z + -23. Is 14 a factor of o?
False
Let p be 0 - (2 - 1 - 0). Is 2 a factor of 1/(6/4 + p)?
True
Suppose -9*g - 24 = -12*g. Is g a multiple of 8?
True
Let y = -9 - -61. Is y a multiple of 15?
False
Suppose 4*n - 136 = -4*n. Does 2 divide n?
False
Let o be (4/6)/((-1)/(-3)). Suppose 5*f - 50 = -j, 2*f - 3*j + 0*j = 37. Suppose -29 = -o*m + f. Is 17 a factor of m?
False
Let k(y) = 39*y + 10. Does 18 divide k(2)?
False
Suppose 0 = -0*j - 5*j + 5. Let x = j + 5. Is x/(-9) - (-23)/3 a multiple of 3?
False
Let k = 155 - 39. Let d = 7 + -4. Suppose -k = -4*n - r - 3*r, -d*n + 87 = 4*r. Does 13 divide n?
False
Let i(b) be the second derivative of 7*b**5/20 - b**4/12 + b**3/3 - b**2/2 - 2*b. Let m be (2/(-6))/(7/(-21)). Does 6 divide i(m)?
False
Let t(m) = m**3 - 4*m**2 - 4*m - 8. Let k be t(5). Does 34 divide k/2*(-1088)/24?
True
Suppose 4*z - 112 = -7*l + 2*l, 107 = 3*z - 2*l. Does 8 divide z?
False
Let x(j) = -j**3 + 9*j**2 + 11*j - 7. Let r be x(10). Suppose 3*a - 2*b + 11 = 29, 7 = 4*a + r*b. Does 4 divide a?
True
Suppose 2*h - 3*j - 2*j - 7 = 0, 0 = -h - j - 7. Is h*(-12)/(1 - -2) a m