e 6*i - (-3 - -5)?
True
Suppose 0 = p + 4*r - 18, -p - 2*r = 4*p. Let w be (-3 + 51)*p/(-2). Does 15 divide (5/4)/(4/w)?
True
Suppose a + 3*o + o - 22 = 0, 2*o = -a + 12. Suppose n - 3*h - 67 = 0, -5*n + a*h = 3*h - 255. Suppose 0 = -3*q - q + n. Is q a multiple of 13?
True
Let z(q) = 3*q**2 + 4. Let w be z(-3). Let f = w - 6. Does 20 divide f?
False
Let i(u) = -u**2 + 3*u + 2. Let q be i(5). Let t be (-246)/10 - q/(-20). Let v = 42 + t. Is v a multiple of 17?
True
Let q(d) = -d**3 - 4*d**2 + 6*d + 5. Let j be q(-5). Suppose 8*g - 6*g - 20 = j. Is 8 a factor of g?
False
Suppose -7*x = -3*x - 8. Let c = 12 - x. Does 9 divide c?
False
Suppose 4*l - 100 = -l. Let z = l + 6. Is z a multiple of 11?
False
Let f be -2 - (3 - (4 + 1)). Is (3 - f)/(2/26) a multiple of 13?
True
Let k = -25 - -65. Does 6 divide k?
False
Let z = 3 - 1. Suppose w - 2*u - z = -w, -5*w + 4*u = -7. Suppose -3*c + w = -2*c. Is 2 a factor of c?
False
Let y(l) = 4*l - 4. Does 4 divide y(6)?
True
Suppose 9*t - 32 = 8*t. Is t a multiple of 14?
False
Let u = -3 + 11. Is 9 a factor of 142/u + 5/20?
True
Suppose 0 = -5*s - 15, -2*c - 4*s - 9 = -s. Suppose c*i - 73 = -i. Is i a multiple of 19?
False
Does 18 divide ((-50)/8)/(2/(-8))?
False
Suppose -4*u - 2 - 13 = p, -32 = 4*p + 2*u. Let t = 13 + p. Is -2 + t + -1 - -2 a multiple of 3?
False
Suppose 20 = -g + 36. Is 8 a factor of g?
True
Let g be 21/6*4/7. Suppose -3*t + 66 = u - 107, -224 = -4*t + g*u. Is t a multiple of 19?
True
Let a = 26 + -15. Is a a multiple of 11?
True
Let l = 98 + -20. Is l a multiple of 25?
False
Let t = -3 + 6. Suppose -5*f = t*c - 64, -6*c + 3*c + 60 = 3*f. Suppose 0 = 3*x - l - c, -2*x + 21 = -4*l + 9. Does 6 divide x?
True
Let b(a) = 4*a**2 - 10*a + 1. Let i(x) = 9*x**2 - 21*x + 1. Let f(m) = 7*b(m) - 3*i(m). Let s be f(7). Suppose 8 = p + j, -j - 8 = -p + s. Is p a multiple of 7?
False
Let f(v) be the first derivative of v**3/3 + v**2 + 4*v - 4. Let b = 4 - 8. Does 6 divide f(b)?
True
Let b(y) = -y**2 + 6*y + 5. Let m be b(7). Does 7 divide 2 + (m - -22 - 1)?
True
Let c(q) = -q + 41. Let a(p) = p - 40. Let o(n) = -6*a(n) - 5*c(n). Is o(16) a multiple of 16?
False
Suppose -2*c = -9*c + 581. Does 12 divide c?
False
Let i(d) = -d**3 - 6*d**2 - 5*d - 7. Let u(x) = -x**3 + 5*x**2 + 5*x + 1. Let p be u(6). Let h be i(p). Let a = h - -11. Does 2 divide a?
True
Let a = -10 + 6. Let q = -2 - a. Suppose -q*s + 112 = 20. Does 18 divide s?
False
Let y = 152 - 84. Suppose -3*d = 2*j - 73, -3*j + y = 3*d - 2*j. Does 9 divide d?
False
Let m(x) = -x**3 + 10*x**2 + 10*x + 8. Let v be m(11). Let s = 55 + v. Does 26 divide s?
True
Let j = 0 + 1. Let b be (12/2)/3*j. Suppose -b*p - 3*p = -95. Is p a multiple of 9?
False
Let m be 0*3/6*-2. Let t(i) = -i**3 + i**2 + i - 2. Let a be t(m). Is 8 a factor of (24/15)/(a/(-10))?
True
Let c(j) be the third derivative of j**5/60 + j**4/12 + j**3/6 - 3*j**2. Is 8 a factor of c(2)?
False
Suppose 4*s - 185 = -17. Suppose 0 = -a - 5*u + s, 0*a + 42 = a - 2*u. Is 14 a factor of a?
True
Let y(a) = -a - 2. Let r be y(-2). Suppose r = -q - 4*q + 130. Does 9 divide q?
False
Suppose 2*s = -6*s + 944. Is 7 a factor of s?
False
Let j = -1 - -4. Suppose 4*g - 42 = 3*r, j*r = g + 5*r - 5. Does 7 divide g?
False
Suppose 5*c + 4*t + 12 = -19, -2*c + 2*t - 16 = 0. Let x = c + 10. Does 7 divide (-1)/((0 + x)/(-27))?
False
Let k = 40 + -21. Is 5 a factor of k?
False
Suppose 4*g - 36 - 48 = 0. Suppose -4*r + 1 = -3*d + g, 3*r + 15 = 0. Suppose -2*n + 5 = 5*i - 17, -4*i - 8 = d. Is n a multiple of 6?
False
Suppose -5*y + 20 = -15. Is (-98)/(-2) + y + -5 a multiple of 18?
False
Let h = 39 + -6. Suppose -p = -3 - h. Is 12 a factor of p?
True
Does 3 divide ((-38)/4 - (-6 + 9))*-4?
False
Let a(w) = 2*w**2 + w**2 - 5*w**2 - 3*w - 3 + 3*w**2. Let p be a(6). Is 2 + 0 - p/(-3) a multiple of 7?
True
Is 14 a factor of (2 + 2/3)*378/12?
True
Let i be 1 - ((-14)/2 + 1). Let s = i - 0. Does 13 divide 247/s + (-2)/7?
False
Does 13 divide ((-120)/75)/((-4)/130)?
True
Does 20 divide (-5 - -3)*-2 - (1 + -154)?
False
Let w(f) = f**2 + 30. Let p be w(0). Let b = 81 - p. Is b a multiple of 17?
True
Suppose -a + 2 = -5*t, -a - t + 20 = -0*t. Let u = a + -8. Is u a multiple of 6?
False
Suppose -4*x + 0*x - 20 = 0. Suppose 3*h - 6 = h. Let v = h - x. Is 3 a factor of v?
False
Let a = -90 + 138. Suppose -9 = -3*t - 93. Let s = a + t. Does 10 divide s?
True
Let z be (20/(-25))/((-4)/10). Let t be z*((-6)/4 + 1). Does 2 divide 4/1 - (t + 3)?
True
Suppose 5*z = -4*l + 16, 4*l + 5 - 21 = -z. Is 6 a factor of 0 + -1 + z + 9?
False
Let h(p) be the third derivative of -p**4/8 - 5*p**3/6 - 2*p**2. Does 12 divide h(-6)?
False
Let x(c) = 2*c**2 - 9*c + 4. Does 19 divide x(10)?
True
Let f(c) = c**3 + 24*c**2 - 28*c - 25. Is 10 a factor of f(-25)?
True
Is 23 a factor of ((-1)/10*236)/(2/(-10))?
False
Suppose -5*z + 31 = 2*o, z - 1 = 4*o + 14. Let h(a) = -a**3 + 9*a**2 - 9*a - 6. Is 13 a factor of h(z)?
False
Suppose 0 = 6*x - 167 - 145. Is x a multiple of 13?
True
Suppose -5*k + 375 = 3*j, 3*k - 2*j = 2*j + 254. Is k a multiple of 18?
False
Suppose 0 = 2*k - 75 - 125. Is 24 a factor of k?
False
Let a(t) = t**2 - 18*t - 16. Is 24 a factor of a(24)?
False
Suppose 0 = 6*y - y + s - 80, -3*y - 4*s + 65 = 0. Suppose 0 = 2*l - 2, 0*l - y = -2*d + l. Is d a multiple of 7?
False
Suppose -5*k + 0*p - 2*p = 377, 0 = k - 3*p + 72. Is ((-12)/(-10))/((-6)/k) a multiple of 5?
True
Let a = -4 - -3. Let q = 5 + a. Suppose 4*c - 32 = -4*n, 3*n + 35 = q*c + 10. Does 7 divide c?
True
Suppose 3*d + 10 = 8*d. Does 13 divide d/3 + (-37)/(-3)?
True
Suppose -5*g = 3*j - 79, 3*g - 38 - 5 = -4*j. Is 3 a factor of g?
False
Suppose 4*l = -l + 20. Suppose l*t = -3*f + 12, -f = t + 2*f - 3. Suppose t*r = -r + 92. Is 11 a factor of r?
False
Suppose m - 17 = 19. Suppose -y + m = y. Is 2 a factor of 1/(-2 - y/(-8))?
True
Let v = 21 + -7. Is v a multiple of 14?
True
Let a(b) = -5 + 3*b + 4*b - 9. Is a(7) a multiple of 17?
False
Let v(y) = -5*y + 1. Suppose a - 2*g = 17, 4*a + 4*g - 35 = g. Suppose a = -4*i - 5, -3*i - 6 = -2*t. Is 16 a factor of v(t)?
True
Let q = -1 + -1. Let l be ((-2)/3)/(q/(-21)). Is (-1 + 47)/(-5 - l) a multiple of 22?
False
Let i(f) = 99*f**2 - f. Let x be i(1). Suppose 5*y + x = 253. Is 18 a factor of y?
False
Let g = 95 - 42. Does 8 divide g?
False
Suppose 20 = u + 4*u. Suppose 0*k + 8 = u*k. Is 13 a factor of -2*(39/k)/(-3)?
True
Let a(p) be the second derivative of -p**5/20 + 2*p**4/3 - p**3 - 7*p**2/2 - 3*p. Let w be a(7). Is 29*(1 - w) + 1 a multiple of 17?
False
Suppose -4*g + 156 + 116 = 0. Let x = -17 + g. Is 17 a factor of x?
True
Let p = 49 + -35. Is 11 a factor of p?
False
Let u(z) = -2*z + 8. Let f = -15 + 9. Does 8 divide u(f)?
False
Let u = 8 + -6. Let h be 12/(u + (-195)/102). Suppose -3*m - m = -h. Does 17 divide m?
True
Let g = 15 + -11. Suppose 0 = 3*a - g*a - 2*p - 1, 0 = -4*a - p + 31. Is 3 a factor of a?
True
Suppose -31 + 10 = -3*y. Is y a multiple of 2?
False
Let a be 1*-25*1*-2. Let s = a - 18. Does 16 divide s?
True
Let d be (-156)/10*(-280)/(-21). Does 4 divide d/(-12) + (-1)/3?
False
Let f(c) = 5*c**3 + 3*c**2 - 6*c + 7. Is f(2) a multiple of 3?
False
Suppose 3*g - 7 = 2*g + 5*v, 0 = -4*g + 5*v + 13. Suppose g*n - 5*r = 68 + 4, -2*n = 4*r - 36. Is 13 a factor of n?
True
Let c = 79 + -37. Is 21 a factor of c?
True
Suppose -10*c + 203 = -9*c. Is c a multiple of 20?
False
Suppose 5*f + 4*k - 8 = 2, 38 = 3*f - 4*k. Is f/27 - 1020/(-27) a multiple of 19?
True
Suppose 5*z - 64 = z. Let c = z - 8. Is 8 a factor of c?
True
Suppose -5*u + 25 = 0, -1 = 5*w + u + 9. Does 15 divide -1 + ((-372)/w)/4?
True
Let v = -99 - -154. Suppose -4*h + 6*h - 9 = 5*f, 5*h = -3*f - v. Let z = 16 + h. Is z a multiple of 3?
False
Let f(i) be the first derivative of 5*i**2 - 10*i + 2. Let d(q) = -q**2 - 8*q - 8. Let h be d(-6). Is f(h) a multiple of 17?
False
Is (-12)/(-3) - ((-12)/(-4) + -311) a multiple of 39?
True
Let q(p) = -p**3 + 8*p**2 + p - 4. Let b be q(8). Suppose -k + 79 = 2*k - b*g, 4*k = -3*g + 97. Is k a multiple of 25?
True
Suppose 0 = -3*w + h + 21, -3*w - 3*h = -0*w - 21. Is 4 a factor of w?
False
Let t(h) be the second derivative of h**4/12 + h**3/2 - 2*h**2 + 2*h. Is 12 a factor of t(5)?
True
Let j(t) = -t**3 - 15*t**2 - 14*t + 1