 36/10). Let u(y) = -y**3 - 9*y**2 - 10*y - 5. Is 11 a factor of u(z)?
True
Let i(q) = -3*q**2 + 8*q + 5. Let k(a) = -6*a**2 + 15*a + 9. Let g(y) = 11*i(y) - 6*k(y). Let c(z) be the first derivative of g(z). Is 21 a factor of c(8)?
False
Let h = -86 - -137. Is h a multiple of 6?
False
Suppose 0*j + 3*j - 117 = 0. Is 13 a factor of j?
True
Let u be (0 - 1)*(-1 - -2). Let c be (18/15)/(u/5). Let d = 30 + c. Does 14 divide d?
False
Let d(o) = 57*o + 1. Is 25 a factor of d(3)?
False
Let r = 33 - 10. Is r a multiple of 6?
False
Let f = 71 + -50. Is 9 a factor of f?
False
Let t(i) = i**2 + 5*i + 3. Does 9 divide t(-10)?
False
Suppose 0 = -4*z + 3*k - 0*k - 7, 2*z - 5*k + 21 = 0. Suppose z*b = 4 + 62. Suppose 2*m = n - b, 3*n + 2*n - 193 = 3*m. Is 16 a factor of n?
False
Let b = 55 + -38. Suppose p - b = t - 3*p, -12 = -3*p. Does 5 divide t/(-5) - 196/(-20)?
True
Let l(x) = -x**2 - 11*x - 11. Let f be l(-10). Is 10 a factor of 2/f + 18 + -1?
False
Let j = 69 + -21. Is 24 a factor of j?
True
Suppose -2*a = j - 31, 0 = -j - j - 5*a + 61. Is j a multiple of 9?
False
Let o = 117 + -29. Is o a multiple of 11?
True
Let h(c) = 3*c**2 - 3. Is 24 a factor of h(-3)?
True
Let n(m) = 10 + 7*m - 5 - 5. Is n(4) a multiple of 13?
False
Suppose -37 + 101 = c. Does 8 divide c?
True
Suppose b - 3*c - 56 = 0, 0 = 4*b + 2*c + 27 - 279. Does 13 divide b?
False
Suppose u = -69 + 24. Let y = 15 - u. Is 20 a factor of y?
True
Let n be 1/((-3)/24*-2). Let b = 0 + 9. Suppose b = n*p - 15. Is p a multiple of 6?
True
Suppose 0 = n - 7*a + 3*a - 2, 4*n - 2*a = 8. Let c(g) = 1 + n*g + 1 - g**3 - 2*g**2 - g**2 - 1. Is 9 a factor of c(-4)?
True
Let z(k) = -k**3 + 14*k**2 + 16*k + 17. Does 16 divide z(15)?
True
Suppose -3*j = -4*d - 192, 0*d + 128 = 2*j + 3*d. Is j a multiple of 8?
True
Let r(p) be the third derivative of p**4/8 + p**3/2 - p**2. Is 15 a factor of r(4)?
True
Suppose m - 62 - 23 = 4*b, 415 = 4*m - b. Suppose -i = -6*i + m. Does 7 divide i?
True
Is 14 a factor of (-2)/(-4) + (-111)/(-2)?
True
Let h be (-16)/(-6)*(-135)/20. Let r = 29 + h. Does 11 divide r?
True
Let u = 7 - 5. Let r = u + -4. Is r/5 - (-67)/5 a multiple of 13?
True
Let j(n) = -n**2 + n + 2. Let t be j(0). Let g be ((-5)/10)/((-1)/t). Is 7 a factor of (-18)/(-2) + (g - 3)?
True
Let l(b) = 5*b**2 - 15*b + 2. Let j(c) = 3*c**2 - 10*c + 1. Let a(t) = -8*j(t) + 5*l(t). Suppose -p = 4*d - 6*p + 23, -4*p = 4. Is 16 a factor of a(d)?
True
Suppose -2*m + 24 = -6*m. Let q be 0 + m/3*-1. Does 12 divide -26*(q - (-5)/(-2))?
False
Let c(y) = 10*y**3 - y**2 - 1. Let t(i) = 9*i**3 - i**2 - 1. Let f(h) = -5*c(h) + 6*t(h). Let n be f(2). Suppose 0 = -4*b + n + 45. Is 9 a factor of b?
True
Let b(z) = 9*z - 3. Let c(h) = -h**3 + 3*h**2 + 3. Let u be (1 + -2 - -2)*3. Let y be c(u). Is b(y) a multiple of 12?
True
Let y = 70 + -14. Is y a multiple of 14?
True
Suppose l + 9 = 4*l. Let f be (-1)/l + 349/3. Suppose 3*d + f = 7*d. Is 13 a factor of d?
False
Suppose -134 = -4*v + 406. Is 30 a factor of v?
False
Suppose -160 = -y - 3*y. Is y a multiple of 12?
False
Let r = 17 - -23. Does 40 divide r?
True
Is (0 - 4)*(-6 - 6) a multiple of 12?
True
Let k = -2 - -3. Let a be k + -1 - (1 - 61). Suppose -2*z + a = z. Does 10 divide z?
True
Suppose 258 - 6 = 5*b - s, -4*b + 198 = s. Is 25 a factor of b?
True
Let i(j) = -4*j - 6. Let n(v) = -v**3 + 5*v**2 - 5*v - 2. Let g be n(4). Let b be i(g). Suppose -w = w - b. Is 9 a factor of w?
True
Let c be -34*(0 + -3)/3. Let m = c - 19. Is m a multiple of 15?
True
Let v be 7 + -4 + (0 - -1). Suppose 3*l - 98 = -4*j, -2*j - 2*j = v. Does 18 divide l?
False
Let w be -6*(-1 + (-9)/(-6)). Let t be (2*(2 + w))/1. Is (-54)/(-24) - t/(-8) a multiple of 2?
True
Suppose s + 15 = l - 102, 3*s - 461 = -4*l. Suppose 2*i - l = -4*d, 7*i - 4*i = -3*d + 168. Is i a multiple of 18?
True
Let s = -16 + 23. Let m be ((2 - 5) + 1)/2. Let o = s + m. Is o a multiple of 2?
True
Let s(x) be the second derivative of 1/12*x**4 - x**2 - 5/6*x**3 + 0 + x. Is s(6) even?
True
Suppose 0 = -3*o + z + 5, -z + 2*z = -4*o + 9. Suppose o - 6 = -k. Suppose -136 = -k*q + 28. Is 14 a factor of q?
False
Let u(j) = j - 24. Let o be u(0). Let q = 56 + o. Does 17 divide q?
False
Let n(f) = -f**3 + 16*f**2 - 10*f + 20. Does 64 divide n(6)?
True
Does 24 divide ((-950)/(-4))/(-5)*12/(-10)?
False
Suppose 66*t - 63*t = 18. Is 2 a factor of t?
True
Let b = 0 + 9. Suppose b + 1 = -r - 4*y, -21 = -3*r + 5*y. Suppose 0 = h - 2*h + r. Does 2 divide h?
True
Let p = -23 + 32. Let v be 4/(-18) + 389/p. Suppose 4*q - 62 = n, 3*q - v = 4*n - 5*n. Is 15 a factor of q?
True
Let g(i) = 3*i - 14. Does 4 divide g(6)?
True
Let u(l) = l**2 - l + 5. Let c be u(0). Let i = c + -7. Is 13 a factor of 2 + -2 + i - -34?
False
Let p(z) = z**3 + 11*z**2 - 18*z + 27. Is 10 a factor of p(-12)?
False
Let c(h) = 6*h + 40. Is 10 a factor of c(0)?
True
Let u = -15 + 26. Let c(w) = -w**3 + 7*w**2 + 7*w - 2. Let t be c(6). Suppose 0 = -3*j + t + u. Does 17 divide j?
False
Let d(i) = -i**2 + 2*i + 2. Let s be d(2). Suppose -5*c + 3*r = -9 - 50, -3*c - s*r + 43 = 0. Is c a multiple of 11?
False
Let a be (-140)/(-4) + 3/(-1). Suppose -a = -4*i + 8. Does 5 divide i?
True
Let p(u) = 0*u + 8 - u + 2*u. Let r be p(-6). Does 14 divide r + 21 - (-2)/2?
False
Let z(i) be the second derivative of i**3/6 + 9*i**2/2 + 2*i. Let o be z(-4). Suppose 5*b + s = o, 7 = -4*b - 2*s - s. Is b even?
True
Suppose 0 = -4*o + 2*p - 4, 2*p - 3*p - 12 = 5*o. Let q(f) = 3*f**3 + 3*f**2 + 5*f. Let k(m) = -m**2 - m. Let c(h) = -3*k(h) - q(h). Is 10 a factor of c(o)?
False
Suppose -24 + 84 = -4*z. Suppose 6 = 5*d - 4, 25 = x - 2*d. Let g = x + z. Does 4 divide g?
False
Let y be ((-30)/(-35))/((-1)/(-7)). Let t(p) be the first derivative of p**2/2 - p - 1. Does 2 divide t(y)?
False
Let p = 11 - -95. Does 18 divide p?
False
Is ((-50)/(-6))/((32/(-60))/(-8)) a multiple of 25?
True
Let n(b) be the first derivative of -b**4/4 + 3*b**3 + 5*b**2 + 4*b + 2. Let a be n(10). Suppose v = a*v - 84. Is 14 a factor of v?
True
Let f(b) = b**2 - 2*b + 7. Let d = 1 + 8. Suppose -3*h = -6 - d. Is f(h) a multiple of 8?
False
Suppose a + 3*m = 57, m - 20 = -4*m. Let d = 41 + -33. Suppose 3*b - d*b = -a. Is b a multiple of 9?
True
Let y = 15 - 8. Let p = 22 - 18. Suppose 3*i + 4*d - 33 = 0, -i + p*d - y*d = -11. Is i a multiple of 5?
False
Let i be 68/(-7) + 8/(-28). Is 4 a factor of (12/i)/(2/(-20))?
True
Suppose -7*c + c = -210. Is 7 a factor of c?
True
Let i(b) = -10 + b + 6*b + 0*b + b**2 + 20. Is i(-8) a multiple of 18?
True
Suppose 2*c = 2*w + 7*c - 134, 2*c = 0. Suppose -w - 13 = -5*d. Is d a multiple of 16?
True
Let t = 9 - 4. Suppose 5*u + 8 - 45 = -4*q, -2*u = -2*q - 4. Suppose -t*k - 225 + 38 = -4*n, 0 = -q*n - k + 145. Is n a multiple of 18?
False
Suppose 3*i + 4*j = 19, 0*i + 4*j - 14 = 2*i. Is i + 1 - (-69 + 3) a multiple of 20?
False
Let u be 2 - (5 - 3) - -2. Is 2 - 1*(-2)/u even?
False
Suppose -4*r = -r + 3*d - 939, 3*r - 2*d = 914. Is r a multiple of 28?
True
Suppose 5*z + 735 = -2*m, -3*z - 5*m - 304 = 156. Let h = -89 - z. Does 14 divide h?
True
Suppose 0 = -4*w + 20, 3*o + 4*w - 22 = o. Let d(q) = 3*q**3 - 1. Let k be d(o). Suppose 3*c = -k*c + 30. Is 3 a factor of c?
True
Let f = 13 + -6. Suppose -q = j - f, 0*j - 3*q + 17 = j. Is 2 a factor of j?
True
Is 10 a factor of 12/(39/30 + -1)?
True
Suppose 16 = -4*c - 0*c. Let g(r) = r + 5*r**2 + 5*r**3 + 2*r - 1 - 4*r**3. Does 3 divide g(c)?
True
Let v(b) = 13*b + 1. Does 8 divide v(3)?
True
Let p be -2 - (1*-2 - 2). Let c be 3/18 + (-23)/(-6). Suppose -p*n = -c*n + 44. Does 11 divide n?
True
Suppose -3*i + 27 = 9. Suppose 120 = i*j - 3*j. Is j a multiple of 10?
True
Let n = 54 + -38. Suppose 5*i + 2*b = -11 - 7, 0 = -4*i - 2*b - n. Is 3 a factor of (1 + i*1)*-6?
True
Let a = -14 + 42. Is a a multiple of 4?
True
Let x = 16 - 1. Does 15 divide x?
True
Let g(p) = -3*p + 3. Let b be g(-5). Let k = b + 2. Suppose s - k = -0*s. Is 10 a factor of s?
True
Let b = 97 + -92. Is b a multiple of 5?
True
Suppose -1 = -2*p + 3. Let z(j) = -j**2 - j. Let g(d) = -5*d**2 - 3*d - 1. Let m(u) = -g(u) + 4*z(u). Is 3 a factor of m(p)?
True
Let q(m) = m**2 - 10*m + 9. Let n be q(13). Suppose 7*w = 5*w + n. Is w a multiple of 16?
False
Let x(g) = -g**2 - 6*g + 5. Let s be x(-