Let h be (-6)/15 - (-34)/10. Suppose -h*g + 153 = 9. Does 16 divide g?
True
Let w be (-6)/(-4)*(-20)/(-15). Suppose -5*v - 19 = -3*a, v = 2*a + w - 17. Does 4 divide a?
True
Let k(a) be the second derivative of a**3/2 + 2*a**2 - 2*a. Let w(g) = -g - 1. Let s(v) = -3*k(v) - 12*w(v). Is 12 a factor of s(4)?
True
Let p = -43 + 31. Does 18 divide 3/p + (-145)/(-4)?
True
Suppose 2*o - 125 - 311 = 2*s, 0 = 4*o + 3*s - 893. Is o a multiple of 21?
False
Let m(o) = 2*o - 7. Let b(k) = 5*k - 2. Let s be b(2). Let p be m(s). Suppose 0 = -3*w + p + 6. Does 5 divide w?
True
Let l(a) = -a**2 + 7*a - 6. Let k be l(6). Suppose -3*h + 18 = -k*h. Is 6 a factor of h?
True
Let j(z) = z**2 + 15*z - 29. Does 11 divide j(-21)?
False
Let c = 601 + -427. Suppose -4*m - 2*t + c = 0, 5*m - 44 = -5*t + 166. Is 11 a factor of m?
False
Let o(v) = 4*v**2 + 2*v - 1. Let m be o(1). Suppose m*t + 4*p = 10 + 35, 5*p - 15 = 2*t. Suppose 0 = -t*z + a + 2*a + 60, -4*z = -5*a - 35. Does 15 divide z?
True
Suppose -16*s + 284 + 580 = 0. Is s a multiple of 27?
True
Let y(o) = 6*o**2 - 1. Let r be y(1). Let v(p) = 11*p + 29. Let f(d) = -4*d - 10. Let z(w) = 8*f(w) + 3*v(w). Is z(r) a multiple of 6?
True
Let t = 4 - 2. Suppose -3*h = -t*x - 130, -x + 126 = 3*h - 4*x. Is 23 a factor of h?
True
Let h(n) = n**2 + 3*n + 2. Let q be h(-3). Let m = 1 - -25. Suppose t = l + 6 + 4, -q*t = -4*l - m. Is 7 a factor of t?
True
Is 3 a factor of (-168)/(-40) - 1/5?
False
Let o(i) = -3*i + 108. Is 12 a factor of o(0)?
True
Suppose -v - 59 = n - 2*n, -5*v - 10 = 0. Let s = n - 30. Does 6 divide (-18)/((s/6)/(-3))?
True
Suppose -5*y - 239 = 3*o - 780, -2*o = 4*y - 434. Is 6 a factor of y?
False
Let n(f) = 178*f**2 - 2*f. Is n(-1) a multiple of 20?
True
Let p be ((-9)/6)/((-9)/(-600)). Let u = p - -181. Is u a multiple of 27?
True
Suppose -3 = -o - 0. Suppose 0 = o*y + 2*y - h - 57, y - 3 = 3*h. Is y a multiple of 4?
True
Suppose -5*v + 130 = -485. Let n(b) = b**3 + 11*b**2 + 10*b + 5. Let c be n(-10). Suppose -2*k = k + p - 71, -c*k - 4*p = -v. Is k a multiple of 10?
False
Suppose 0 = -x - x + 18. Suppose -4*s + 3*s + x = 0. Is 3 a factor of s?
True
Is 6/(-2*(-6)/16) even?
True
Let o(l) = 2*l**3 + 40*l**2 - 3*l - 28. Is o(-20) a multiple of 32?
True
Let u = -4 + 5. Let j be 3 - (u + 3/(-3)). Suppose 0 = -7*n + j*n + 148. Is n a multiple of 18?
False
Suppose -2*x - 2*x = -80. Suppose 3 = -4*c + 3*r + 29, 3*c - x = 2*r. Is c a multiple of 3?
False
Let s(a) = 10*a - 19. Let w(r) = -5*r + 10. Let f(d) = -4*s(d) - 7*w(d). Is f(-6) a multiple of 12?
True
Let m = 5 - -12. Is 4 a factor of m?
False
Suppose 3*f - 2*g - 271 = 127, -10 = -5*g. Is f a multiple of 32?
False
Suppose 0 = -5*z - 5, -10 = -f + 6*z - z. Suppose 5*c + f*k - 60 = 0, 5*c + 2*k - 43 - 17 = 0. Does 4 divide c?
True
Suppose -6*n = -2*n - 3*m - 40, 4*m - 10 = -n. Let g = n + 0. Does 9 divide g?
False
Let z(f) = -9*f - 4. Let p(k) = 37*k + 16. Let a(h) = 2*p(h) + 9*z(h). Let t = 10 - 14. Is a(t) a multiple of 12?
True
Suppose -4*x + 602 - 94 = 0. Is 30 a factor of x?
False
Suppose -5*u + 5*l + 1170 = 0, -3*l = -19 + 7. Does 20 divide u?
False
Suppose -5*q = -4*y - 0*y + 335, -15 = 5*q. Does 10 divide y?
True
Does 14 divide ((-3 - -1) + 0)*(-14)/2?
True
Let y(w) = w**3 - 3*w**2 + 3*w + 4. Let a(q) = -3*q**2 + q + 1. Let b be a(-1). Let r = 7 + b. Does 11 divide y(r)?
False
Suppose -6 = -u + 9. Suppose 3 + u = 4*w - v, -w + 10 = -3*v. Is 4 a factor of w?
True
Suppose 98 = -4*l - 58. Let p = 91 + l. Does 13 divide p?
True
Suppose 0 = 2*u + 91 - 413. Is 42 a factor of u?
False
Suppose -2*m - 291 = -5*m - 3*b, 5*m + 2*b - 482 = 0. Is m a multiple of 24?
True
Let a = -33 - -48. Suppose a + 0 = 3*r. Suppose -5*s = -3*w + r*w - 15, 0 = -4*s - 4*w. Is 4 a factor of s?
False
Suppose -3 - 3 = y + 3*l, 2*y + 3*l + 3 = 0. Is y even?
False
Let y(n) = -n**2 + 23. Let a = -11 + 11. Is y(a) a multiple of 8?
False
Let i(j) = 23*j**2. Suppose -3*a + 9 = 4*l - 4*a, -4*a = l + 19. Is 15 a factor of i(l)?
False
Suppose x - 51 = -2*x. Does 9 divide x?
False
Let z(b) = b**3 + 6*b**2 + 5. Let y(g) = g - 6. Let f be 2 + 2 + -4 + 0. Let u be y(f). Is 3 a factor of z(u)?
False
Let l(k) = -2*k + 66. Is 8 a factor of l(-16)?
False
Suppose 795 = -4*c + 103. Let j = c - -268. Let n = j - 51. Does 16 divide n?
False
Suppose 0 = s - 5*b - 18, -5*b = s - 7 - 11. Does 9 divide s?
True
Suppose 0 = 5*o + 5*o - 200. Is 7 a factor of o?
False
Let i(d) = 31*d + 1. Let b be i(1). Suppose -5*z + 73 = -4*s - b, -5*z + 45 = -s. Is (-195)/s - (-2)/8 a multiple of 7?
False
Let z = 68 + -41. Let o = -19 + z. Is o a multiple of 3?
False
Let l(j) = 4*j**2 - 3. Is l(2) a multiple of 12?
False
Let s = 152 - 80. Is s a multiple of 12?
True
Let n(k) = k**3 + 6*k**2 - 3*k + 6. Suppose 0 = 3*j - o + 23, -j + 2*o - 4 = -2*j. Is 12 a factor of n(j)?
True
Let r = -2 - -4. Let d = 7 - r. Suppose 3*a - 5*c = -c + 38, d*c + 1 = -4*a. Is a a multiple of 3?
True
Let k(d) = 4*d**2 - 11*d + 10. Is k(5) a multiple of 11?
True
Let c be 0 - (2 + (2 - 3)). Let s = 12 + c. Suppose -2*a - 2*u - s = -29, 5*a - 53 = -3*u. Does 5 divide a?
False
Let z = 90 - -78. Is z a multiple of 16?
False
Let p(o) = o**3 - 5*o**2 + 8*o - 7. Let w be p(5). Let i = 49 - w. Does 11 divide i?
False
Suppose 0 = 105*l - 108*l + 72. Is 6 a factor of l?
True
Let d(s) = -8*s**2 - 9*s + 9. Let y(x) = -2*x**2 - 2*x + 2. Let m(a) = 2*d(a) - 9*y(a). Let b be m(-1). Suppose w + 24 = b*w. Is w a multiple of 9?
False
Let l be (-6 - 0)*(-5)/10. Suppose l*q - 14 = 1. Is q a multiple of 2?
False
Suppose 2*j + 46 = 230. Suppose -3*w = -j - 55. Does 13 divide w?
False
Let w(z) = z**2 + 7*z + 4. Let n be w(-7). Suppose -k + 0*k + 16 = -n*i, 80 = 5*k - 3*i. Is k a multiple of 16?
True
Let w(j) = j**2 + 10*j + 7. Suppose -s = -6*s - 30. Let f be w(s). Let g = 32 + f. Is 15 a factor of g?
True
Let s(c) = 3*c**2 - 2*c - 5. Does 10 divide s(-2)?
False
Suppose -3*i + 324 = 3*o, i + 5 = 1. Is 14 a factor of o?
True
Suppose -a - 14 = 19. Let s = -23 - a. Is 5 a factor of s?
True
Is (-6)/(-12) + 274/4 a multiple of 20?
False
Let o(n) = -25*n + 13. Does 21 divide o(-2)?
True
Suppose 4*r = -z + 10, -6*z + 5*r + 175 = -z. Is z a multiple of 7?
False
Suppose -8*x = -3*x. Suppose b - 15 - 9 = x. Is 12 a factor of b?
True
Let o = 1 - 1. Suppose 34 = -o*p + 2*p. Let a = p - 8. Does 9 divide a?
True
Let g be -1 - (-4 + 0 + -2). Suppose -a + 1 + 8 = g*w, 3*w - 9 = 3*a. Let h = w + 2. Does 2 divide h?
True
Let v = -8 + 13. Suppose 2*k - v*x + 3 = 0, -2*x + 7 + 5 = k. Is k even?
True
Suppose 2*w = -3*g + 49 + 77, -w = 2*g - 83. Suppose 4*m + m = -5*c + 30, m = 2*c - 6. Suppose -o - m = -g. Does 16 divide o?
False
Let s(q) be the second derivative of -8*q**5/5 + q**3/6 + 2*q. Is s(-1) a multiple of 12?
False
Suppose 21 = -4*l + 3*l - 5*u, 2*u = -2*l - 18. Let p = 14 + l. Is p a multiple of 4?
True
Suppose -4*f = f - 1000. Suppose f = 4*j + j. Does 14 divide j?
False
Let v(n) = 15*n - 1. Let y be v(3). Let r = y + -21. Is 7 a factor of r?
False
Let v(t) = t**2 + 4*t + 5. Let w(u) = u - 8. Let m be w(4). Let o be v(m). Suppose g + a + 59 = 5*g, o*g + a - 85 = 0. Is 8 a factor of g?
True
Suppose o + 5 = -0*o. Let c(v) be the second derivative of v**4/12 + 2*v**3/3 + 3*v**2/2 + 7*v. Does 5 divide c(o)?
False
Is ((-12)/(-7))/(14/98) a multiple of 5?
False
Let z(q) = q**2 + 2*q - 1. Is z(3) a multiple of 4?
False
Let v = 3 + -7. Is v/18 + 415/45 a multiple of 3?
True
Suppose -3*z + 15 + 0 = 0. Let h(f) = -6*f + z*f + 1 - 23*f. Is h(-1) a multiple of 13?
False
Let n(x) = x + 60. Suppose -2*d + 7 = 5*u - 1, 0 = -u + 3*d - 12. Is n(u) a multiple of 20?
True
Let k = 1 + 3. Suppose -k*w - 1 = -5*w. Suppose -2*t = -t + w, -x + 2*t = -15. Is x a multiple of 6?
False
Let q be -4 + 1 + 2 + -9. Let w = q + 17. Is 5 a factor of (-7)/(w/(-16)) - 1?
True
Let a(s) be the first derivative of 1/2*s**2 - 1 + 1/3*s**3 + 10*s. Is 5 a factor of a(0)?
True
Is 22/6*(10 - 4) a multiple of 11?
True
Let n(k) = k**2 + k - 3. Let x be n(-3). Suppose y = -5*s + 80, 5*y + 64 = -x*s + 7*s. Is 16 a factor of s?
True
Does 55 divide 1638/30 - (-4)/10?
True
Suppose -2*z = -4*q - 3*z + 19, -z - 11 = -q. Let j = 5 + -3. Suppose -j*g - q*k + 45 = -k, -3*g + 48 = k. Is 13 a factor of g?
False
Let v(b) = -b**2 + b