+ o = 3*h. Is 10 a factor of h?
False
Let i be 20/1*35/10. Let r = i - 50. Does 17 divide r?
False
Let y(h) = -h**3 + 9*h**2 + 2*h - 2. Let d be (34 + 1)*(-8)/(-10). Let b = d - 19. Is 8 a factor of y(b)?
True
Let m = -68 + 122. Suppose w + 5*y = 68, -4*y - m = 4*w - 278. Is w a multiple of 26?
False
Let z(c) = c**3 - 4*c**2 - 6*c + 5. Suppose -11 = -3*p + 4. Let d be z(p). Suppose 9*y - 4*y - 245 = d. Is 20 a factor of y?
False
Let k = -49 + 82. Is 13 a factor of k?
False
Suppose -4*l = y - 88, -2*l - 2*l + 240 = 3*y. Does 19 divide y?
True
Let w = 28 + -16. Is w a multiple of 2?
True
Let v = -17 + 31. Let g(k) = k**2 - 5*k - 1. Let d be g(4). Let f = v + d. Is f a multiple of 9?
True
Suppose -4*j + 48 = -336. Is j a multiple of 16?
True
Let x = -27 + 43. Let w = -10 + x. Is 6 a factor of w?
True
Let a = 20 + 105. Is a a multiple of 25?
True
Suppose 0 = -0*u - 2*u - 108. Is 10 a factor of (8/6)/((-4)/u)?
False
Let i(b) = 2*b**2 + 2*b. Let m be i(2). Suppose m = 3*h + h. Is 3 a factor of h?
True
Suppose 3*k - 17 = -5*l - 0, 2*k + 18 = 4*l. Let b = -2 - k. Let m = 4 - b. Does 2 divide m?
False
Let a(w) = w**2 + 4*w - 5. Let o be a(-6). Suppose -3*n - o = 5, 2*g = 5*n + 60. Suppose -p + 3*p = g. Is p a multiple of 5?
True
Let k(b) = -6*b**2. Let x be k(-1). Let s = -24 + 35. Let r = s + x. Is r a multiple of 4?
False
Suppose -4*g + 114 = 3*w, -5*w = -g - 266 + 53. Does 14 divide w?
True
Let h(n) = 3*n**2 - 3*n + 3. Let x be h(2). Let q(g) = g**2 - 9*g + 7. Does 4 divide q(x)?
False
Let g(z) = z + 7. Let x be g(-5). Suppose -x*s + 18 - 4 = -v, -4*s - 3*v = -8. Suppose 5*i - 2 = 2*d, s + 11 = 2*i + 3*d. Is i a multiple of 2?
True
Suppose -u = 4*u - 300. Is 12 a factor of u?
True
Suppose 4*l = 2*l + 86. Is 10 a factor of l?
False
Suppose -2*y - 58 = -3*y. Is 29 a factor of y?
True
Suppose -d - 3*d = 864. Let a = -151 - d. Is 14 a factor of a?
False
Let p(o) = -26*o + 23. Is p(-9) a multiple of 21?
False
Let w be 87/9 + (-1)/(-3). Let l = -6 + w. Is 2 a factor of l?
True
Suppose -401 = -5*q + 469. Is q a multiple of 29?
True
Let f(t) = -6*t + 5. Is 17 a factor of f(-19)?
True
Let a be (-2 + 3/(-6))*-2. Suppose 9 + 1 = a*l. Suppose l*z + 3*y - 79 = 0, -2*z - 187 = -7*z - 4*y. Is 13 a factor of z?
False
Let m = -10 - -14. Suppose -m*o + 29 = -67. Is 8 a factor of o?
True
Suppose 0 = -2*d + 8*h - 3*h + 25, 2*h + 10 = 0. Suppose b = 3*v + 363, 2*v + 731 = 2*b + 13. Is (-4 - d)*b/(-28) a multiple of 17?
True
Let a = -2 + 2. Suppose a*m - 4*o - 24 = -4*m, 4*m = -4*o + 8. Suppose -75 = -u - m*u. Is u a multiple of 15?
True
Suppose -108 = -4*t + 8*t. Let p = t + 39. Does 12 divide p?
True
Is 4 a factor of 4/14 + (-444)/(-14)?
True
Let w(c) = -c + 2. Let s be w(5). Is 9 a factor of (6/s - -17) + 3?
True
Let x(f) = -f**3 - 7*f**2 + 5*f - 8. Does 4 divide x(-8)?
True
Suppose 6*v = 10*v + 24. Let w be v/9*(1 + -4). Suppose t + 21 = w*t. Is t a multiple of 7?
True
Let r(h) = h + 7. Let c(y) = y + 6. Let s(z) = -6*c(z) + 5*r(z). Let g be s(-6). Let k = g - -8. Is 13 a factor of k?
True
Suppose -5*i + 35 = -4*c, 5*i + c - 35 = 25. Suppose p - 2*v - 11 = 0, -5*v - i = -3*p + 19. Suppose -20 = -p*k + k. Is k even?
False
Let h be -1 + 3 - (-3 - -3). Suppose -5*l + 0*b = h*b - 138, 5*l = -b + 139. Is l a multiple of 25?
False
Let c = 17 - 7. Let q be (2/(-3))/((-10)/45). Suppose q*z - c - 80 = 0. Is 12 a factor of z?
False
Let u = 130 - 29. Is 9 a factor of u?
False
Let h(v) = v. Let x(j) be the third derivative of -5*j**4/24 + 7*j**3/6 + j**2. Let l(c) = 2*h(c) + x(c). Is 11 a factor of l(-5)?
True
Let l(a) = -4*a - 4. Let z be l(-3). Suppose 58 = k + z. Suppose -58 = -4*w + k. Is w a multiple of 13?
False
Let m = 283 + -154. Suppose 6*k = 3*k + m. Does 23 divide k?
False
Suppose -3*g - 2*c = -29, -5*g - c + 37 = -23. Is 4 a factor of g?
False
Let u = -51 - -115. Is 9 a factor of u?
False
Suppose 0 = -5*d, 3*s - 244 = s - 3*d. Suppose 5*j + 0*j = 10, 0 = -5*l - j + s. Does 9 divide l?
False
Let f(v) = -2*v - 6. Suppose 3*s + s + 36 = 0. Let r be f(s). Suppose n + n = r. Is 6 a factor of n?
True
Suppose -136 = -3*n + p - 0*p, n - 2*p = 52. Is n a multiple of 22?
True
Suppose 0 = 3*c - y - 13, 5*c + 5*y = -1 - 4. Suppose -45 - 12 = -c*x. Does 6 divide x?
False
Suppose 5*c + 15 = -5*l, -30 = -0*c + 4*c - 5*l. Is 17 a factor of c*-1*34/5?
True
Suppose -4*a - q = 76, -5*a - 2*q - 131 = -39. Let n(r) = -34*r + 1. Let x be n(1). Let m = a - x. Does 8 divide m?
False
Let r(w) = -w**3 - 4*w**2 + 3*w - 7. Suppose -y = -2*i + 7, 0 = -4*y - y + 3*i - 28. Let v be r(y). Suppose -v*p + 8 = -p. Is p a multiple of 4?
True
Suppose 2*q = q + 28. Does 6 divide q?
False
Let z = 1 - -2. Suppose 4*u - 4*j - 24 = 0, -3*u - 3 = -u + z*j. Is u a multiple of 2?
False
Let q be (-63)/(-12) - (-3)/(-12). Let p(n) = -3*n - 4. Let u be p(q). Let v = u - -31. Is v a multiple of 7?
False
Let h(v) = -v - 3. Let a be h(3). Let x be (-3 + 4)*-3 - -4. Is (x + (-27)/6)*a a multiple of 8?
False
Suppose 4*i = m + 8*i - 15, 0 = m - i - 20. Does 6 divide m?
False
Let f = 193 - 125. Is 17 a factor of f?
True
Suppose 2*a = 4*z + 14, -2*a + 14 = -0*z + z. Suppose -3*t = -a*t + 48. Does 4 divide t?
True
Suppose 4*t - 25 = -t. Is 3 a factor of t + -2 + -1 + 1?
True
Let c(f) = f**2 - 2*f. Let r be c(8). Suppose r = 3*h - 2*k, 4*k - 6 = 2*h - 38. Does 6 divide h?
False
Suppose -10 = -2*s - 3*s. Let t(m) = m + 2. Is t(s) a multiple of 4?
True
Let x be (-5 - -2)*(-24)/9. Suppose v + 0*y + y = x, -v = 5*y - 20. Suppose u + v = 4*z + 2, -5*u - 3*z + 100 = 0. Is u a multiple of 11?
False
Suppose 100 = 17*m - 16*m. Is 49 a factor of m?
False
Let q be ((-48)/60)/(2/(-10)). Suppose 5*p = -1738 + 398. Does 9 divide p/(-10) - q/(-20)?
True
Let w(x) = 2*x**2 + x - 1. Let n = -16 - -28. Suppose -3*b + 15 = 2*b, n = 3*p + b. Is w(p) a multiple of 9?
False
Suppose 3*a = 0, 0*z + 4*a - 425 = -5*z. Let i be 3 + -1 + -4 - -8. Suppose x = i*x - z. Does 15 divide x?
False
Suppose 7*x = 2*x. Let h(t) = -t**3 - t + 1. Let i(u) = 4*u**3 + 2*u - 20. Let v(m) = -3*h(m) - i(m). Does 10 divide v(x)?
False
Let h(i) be the first derivative of 82*i**3/3 - i + 2. Is 21 a factor of h(-1)?
False
Suppose 4*u = 9 - 1. Let y be ((-2)/(-4))/(u/16). Suppose 103 = y*a - 25. Is a a multiple of 16?
True
Suppose -5*y = -3*p - 0*p - 12, 2*y = 2*p + 4. Suppose -y*q + 3 = u - 2, -u = -5*q + 19. Suppose q = j - 18. Is j a multiple of 21?
True
Let w be (2 - 3 - 2)/(-1). Suppose w*o = 6*o - 150. Is 19 a factor of o?
False
Let y(x) = 6*x**2. Let i be (-4 - (-5 + 3))*-1. Is 12 a factor of y(i)?
True
Suppose -5*o = -63 - 2. Does 13 divide o?
True
Let n = 89 - 29. Does 20 divide n?
True
Is 6 a factor of (-7512)/(-72) - (-4)/6?
False
Let y(c) be the second derivative of -c**4/12 - c**3/6 + 45*c**2/2 + 3*c. Does 17 divide y(0)?
False
Let c(t) = -3*t**2 - 15*t - 8. Let h(q) = -5*q**2 - 30*q - 16. Let j(m) = 7*c(m) - 4*h(m). Is 19 a factor of j(11)?
False
Suppose 0 = -5*g - 5*k, 2*g + 4*k = -1 - 9. Suppose -g*i + 24 + 6 = 0. Suppose -3*b + 4*d = -120, b + 5*d = i*b - 195. Is b a multiple of 14?
False
Let n = -2 + 3. Suppose -o + 2*o = n. Is 12 a factor of 3/(o - 8/10)?
False
Suppose 465 = 4*i + n, 2*n - 5*n = 9. Suppose -k = 2*k - i. Does 13 divide k?
True
Let g(c) = -3*c - 24 + c + 2*c + c. Let q be g(0). Let i = q + 37. Does 5 divide i?
False
Is 5 a factor of 73 + -6 + (2 - -1)?
True
Let y = 65 + -92. Let w = -9 - y. Is w a multiple of 8?
False
Let y(j) = -10*j + 7. Let g(q) = 19*q - 13. Suppose -5*u - 4 = w + 35, -3*w - 33 = 3*u. Let l(b) = u*y(b) - 4*g(b). Does 11 divide l(-3)?
False
Suppose -1 = 4*p - 9. Suppose 4*x = 3*m + 116, 0*x = -5*x - p*m + 122. Is 13 a factor of x?
True
Suppose -3*s = -s - 3*v - 17, 3*v = 4*s - 25. Suppose o - 4*o = -s*q + 79, 4*q - 2*o = 78. Is q a multiple of 7?
False
Let h = -12 - -28. Is 8 a factor of h?
True
Suppose r + r = -2. Let x = r + 6. Suppose -2*q + q - 5*l = 2, 4 = 3*q + x*l. Is q a multiple of 3?
True
Suppose 3*m = 11*m - 1024. Is m a multiple of 32?
True
Suppose b = -2*f + 8, 3*b - 36 = f - 3*f. Is (-8)/b + (-2754)/(-42) a multiple of 29?
False
Does 6 divide 30 + 1 + -6 + 3?
False
Let m be (0 + -1)/((-1)/3). Suppose 8*s = m*s + 10. Is s even?
True
Suppose 2*f - 19 = 3*t, -t - 12 = 3*t. Let g = f - 2. Suppose -72 + 11 =