ltiple of 29?
False
Let f = 4 + -1. Does 4 divide 5/(-1 - -2) + f?
True
Let o(s) = s**2 - s + 27. Suppose 0 = 7*z - 3*z. Is o(z) a multiple of 9?
True
Let x be 3/(-7) - (-4220)/14. Suppose -x = -5*r + 4. Is r a multiple of 17?
False
Let n(l) = 6*l**2 + 4*l + 3. Let z be n(-2). Suppose -2*b + b + z = 0. Does 19 divide b?
True
Suppose 3*k + 5 = 4*k. Let z = 74 - 44. Suppose k*r = -10 + z. Does 2 divide r?
True
Is 12 a factor of (96/40)/((-136)/(-45) + -3)?
True
Let n = -48 - -67. Does 13 divide n?
False
Let c(z) = 12*z - 18. Does 38 divide c(11)?
True
Suppose m + 0*m = 3. Let b(h) = -h**2 + 3*h + 2. Let f be b(m). Suppose 0 = -f*l + l + 5*a + 22, a - 28 = -l. Is 17 a factor of l?
False
Let g(w) = 4*w**3 + 7*w**2 - w - 5. Let b(u) = -7*u**3 - 13*u**2 + 3*u + 9. Let t(m) = 3*b(m) + 5*g(m). Is 25 a factor of t(-6)?
True
Let j(l) be the second derivative of 0 - 1/2*l**2 + 5/6*l**4 + 0*l**3 - 2*l. Is 9 a factor of j(-1)?
True
Suppose j - 5*j - 20 = 0. Does 9 divide (-1098)/(-45) + 2/j?
False
Suppose -2*x = 2*i - 3*x - 9, 0 = -5*i + 3*x + 24. Suppose i - 2 = -c. Is 20 + -1 + c + 0 a multiple of 18?
True
Let j(t) = 2*t**2 - 3*t + 2. Is j(-2) a multiple of 7?
False
Let y = -21 + 15. Does 6 divide (-1 - -4 - y) + -3?
True
Let h = -3 + 8. Let u(r) = 2*r**2 - 5*r - 4. Does 21 divide u(h)?
True
Suppose -4*u - 4*n + 2*n = -132, 99 = 3*u + n. Is 11 a factor of u?
True
Let o = -5 + 7. Let d(p) = 6*p - 1. Does 7 divide d(o)?
False
Suppose 0 = 2*l - 3*q - 259, 3*l - 366 = -3*q + 15. Let w be 7/(-7)*5/(-1). Suppose s - w*s + l = 0. Does 16 divide s?
True
Let s(f) be the first derivative of -2*f**4 - f**3/3 - f**2/2 - 2. Let y be s(-1). Let d = y - 5. Does 2 divide d?
False
Is 26 a factor of 28/(0 + 2/3)?
False
Let a(l) = 2*l**3 - 3*l**2 + 1. Let n be a(2). Suppose -n*o = -10*o, 4*h + o - 232 = 0. Is h a multiple of 15?
False
Let r(f) = 2*f - 24. Is r(14) a multiple of 3?
False
Suppose -4*z + 142 + 102 = 0. Is z a multiple of 17?
False
Suppose 0 = -r + 128 - 33. Does 19 divide r?
True
Suppose 2*p = 4*m - 102, -7*m - 2*p = -2*m - 123. Is 4 a factor of m?
False
Let b = 165 - 69. Is b a multiple of 7?
False
Does 29 divide 3740/(-88)*(0 + -1 + -1)?
False
Let p(r) = 52*r**2 - r + 1. Let a be 5/(-20)*(0 - 4). Let f be p(a). Suppose -3*j + 7*j - f = 0. Is 13 a factor of j?
True
Suppose -5*x - 10 = -5*w, -w - x - 3*x - 23 = 0. Let j(i) = 5*i**2 + 2*i + 6. Is j(w) a multiple of 15?
True
Let h(l) = l**2 - 25. Is h(10) a multiple of 25?
True
Let b be 1 + (3 - 1) + 62. Suppose -n = -6*n + b. Is n a multiple of 9?
False
Let j be 3 + (3 - 2) + -3. Is 0 + 1 + j - -10 a multiple of 4?
True
Let i be (-9 - 1)*(0 - 1). Suppose 4*t = 9*t - i. Is 7 a factor of t/(-7) + 200/14?
True
Let q = -11 - -20. Does 3 divide q?
True
Let u(a) = -a + 24. Does 10 divide u(-10)?
False
Let l(d) = d + 7. Let u be l(6). Suppose 0 = 2*a - f - 31, 71 - u = 5*a + 4*f. Is 7 a factor of a?
True
Suppose -5*b + 139 - 4 = 0. Does 6 divide b?
False
Let m(s) = s**2 - 2*s. Let u(j) = j - 1. Let d(y) = 3*y - 3. Let f(h) = -d(h) + 4*u(h). Let r be f(6). Does 11 divide m(r)?
False
Let f(m) = -m**3 + 3*m + 1. Let b be f(-2). Suppose -160 = -b*n - n. Suppose g - n = -g. Is 14 a factor of g?
False
Suppose 3*x = 0, -4*q + 2*x = 5*x - 48. Suppose 3*c - 60 = -2*c + 5*p, -2*p - q = -c. Suppose -2*m = r - 20, 3*r = -3*m + 12 + c. Does 12 divide m?
True
Let m = -16 - -10. Let b be ((-1)/2)/(3/m). Does 19 divide (-1)/(b + 171/(-168))?
False
Suppose 4*s = s + 63. Suppose 2 = -2*a, 2*f + 3*a = s + 60. Is f a multiple of 14?
True
Let a(h) = 17*h - 5. Is a(5) a multiple of 16?
True
Let z(g) = 4*g**3 - 1 + 5*g**2 + 2*g + 0*g**3 - 6*g**2. Is 4 a factor of z(1)?
True
Suppose -u + 2*u = 2. Let p = 2 + u. Is 4 a factor of p?
True
Let b = -15 + 2. Let i = b + 21. Suppose 3*q + 4*u = 12, 2*q + u + u = i. Is q a multiple of 4?
True
Let g = 465 - 225. Is g a multiple of 24?
True
Suppose -4*m = 5 - 57. Suppose m = 4*s - 179. Does 24 divide s?
True
Let n = -2 - -12. Does 2 divide n/(-55) - 70/(-22)?
False
Suppose -413 - 58 = -3*y. Is 26 a factor of y?
False
Suppose 3*u + c = -c + 748, 4*c - 1250 = -5*u. Does 41 divide u?
True
Let c be (2 - 0)/(2*1). Let q be (3 - 3)/(2/c). Suppose q = -3*h + 5*z + 160, 0 = -5*h - 0*h + 5*z + 250. Is 17 a factor of h?
False
Suppose -i - 11 = -5*b, 4*i - 2*i + 3*b = -9. Let w = 14 - 1. Let v = i + w. Is v a multiple of 7?
True
Does 10 divide (-1 + -14)*(-4)/6?
True
Suppose 2*q - 4 = 4*q. Let r(m) = 3*m**2 - 2. Does 7 divide r(q)?
False
Let a be 246/78 - 2/13. Suppose 6*s - a*s - 6 = 0. Is 2 a factor of s?
True
Let z(k) be the first derivative of -2*k**2 - 21*k + 1. Is z(-14) a multiple of 17?
False
Let q = 44 - 26. Let i = q + 2. Is i a multiple of 13?
False
Let w = 15 - 9. Let m = -4 + w. Suppose -3*n = -m*v - v - 33, -3*v + 9 = 3*n. Is 6 a factor of n?
False
Suppose -5*v + 3*b - 260 = 0, -207 + 50 = 3*v - 2*b. Suppose 3*n - 263 = 2*y, -2*n - 2*y + 180 = -y. Let g = n + v. Does 15 divide g?
False
Let n be (-1)/3*(9 + -9). Suppose n = 2*r - r + 4*x + 8, 15 = -3*x. Does 12 divide r?
True
Let o(d) = 11*d**2 + 5*d + 6. Is 39 a factor of o(-2)?
False
Let y(w) = w**2 + 7*w + 3. Let l be y(-7). Is 1 + l + -1 - -9 a multiple of 4?
True
Let a = 17 + 57. Is 37 a factor of a?
True
Let q(z) = 74*z**2 - z. Let t(w) = 74*w**2 - w. Let y(x) = -5*q(x) + 6*t(x). Is 22 a factor of y(1)?
False
Is 5 a factor of 1 + (2 - (-15 - -3))?
True
Let s(t) = t**3 + 6*t**2 - 9*t + 4. Let z = 6 - 4. Let r be (1 - 0)/(z/(-14)). Is s(r) a multiple of 5?
False
Let o(f) be the third derivative of 19*f**5/60 - f**3/6 - 3*f**2. Is 9 a factor of o(1)?
True
Suppose -2*g + 14 = i - 6, 4*g + 4 = 0. Does 22 divide i?
True
Let z(f) = 38*f**2. Does 8 divide z(1)?
False
Suppose -3601 = -9*j - 4*j. Is 35 a factor of j?
False
Suppose -2*v + 14 = 4*p, -3*p = -7*p - 3*v + 11. Is p a multiple of 2?
False
Let u be ((-4)/(-6))/((-3)/9). Let y be 0*u/2 - -2. Suppose y*c = -5*s + 7*c + 35, 0 = -5*c. Is 7 a factor of s?
True
Let a(v) = v**2 + 6*v - 4. Let y(t) = -2*t - 1. Let i be y(3). Is 2 a factor of a(i)?
False
Let s(f) = -8*f + 16. Let g(v) = -v + 1. Let w(j) = 28*g(j) - 2*s(j). Is 16 a factor of w(-3)?
True
Let v be ((-2)/2)/((-1)/(-32)). Let u = v + 97. Is u a multiple of 20?
False
Let o be (4/(-6))/(4/(-6)). Does 9 divide (3 + -55)/((-2)/o)?
False
Let l(a) = a**2 - 1. Let c be l(2). Suppose 3*z + z - 40 = 3*r, -z - c*r - 5 = 0. Is z a multiple of 4?
False
Let n = -7 - -11. Suppose 4*i + 11 = n*l + 3, -28 = -i - 5*l. Suppose 0 = -i*o - o + 32. Is o a multiple of 3?
False
Suppose -50*s + 60 = -45*s. Is 6 a factor of s?
True
Suppose 0*b - 4*b + 260 = 0. Suppose 5*x - 188 = -4*l, -5*l = -4*x + 6*x - b. Is 11 a factor of x?
False
Let l be 1 - (-1 - 1*-11). Suppose 4*q - 18 + 103 = -5*d, -4*d + 40 = -4*q. Let i = l - q. Does 6 divide i?
True
Suppose 4*s + 12 = -0, -4*s = -y + 160. Suppose 3*o = -o + y. Does 13 divide o?
False
Let i(d) = -d**3 - 4*d**2 + 9*d + 6. Let q be i(-6). Let u = -3 + 5. Suppose -2*p + 21 = v, 3*p = -u*v - v + q. Does 5 divide p?
False
Let f = 3 + -3. Let h be 1 - (48/(-3) + f). Let b = h - 9. Is 4 a factor of b?
True
Suppose 2*v = -3*v - 15. Is 33 a factor of (-8)/(2/84*v)?
False
Suppose 2*g = -2 - 2. Let t = g + 5. Suppose t*s - 2 = 40. Is 7 a factor of s?
True
Suppose 0*q - 2*q - 2*v = -4, -4*v + 4 = 3*q. Suppose -q*j = -0*j + 3*o, 4*j + 5*o = -8. Suppose 9 = j*u, -2*y - u + 12 = 1. Is y a multiple of 3?
False
Suppose 0 = -5*n + 200 + 595. Suppose q - 5*q + n = 3*k, -4*k + 3*q + 237 = 0. Is k a multiple of 28?
False
Let j(m) = -m**2 + 7*m - 6. Let q be j(5). Suppose 3*t + 2*t = 0. Suppose -2*v + q*v - 52 = t. Is 13 a factor of v?
True
Suppose 2*j = 2*h - 30, 0*h = h - 5*j - 19. Let i = h + -10. Is i a multiple of 2?
True
Let r be (0 + 2 - 3)*-5. Let o = -5 + r. Suppose -2*v - 2*v + 100 = o. Is v a multiple of 11?
False
Let b = 9 + -6. Does 7 divide (6/(-7))/(b/(-84))?
False
Let w = -18 + 45. Let d be ((-162)/(-21) + 0)*(3 + 4). Suppose r - 4*p - w = 0, -3*r - p = -r - d. Is r a multiple of 12?
False
Let y be 2/(-4)*0/3. Is y + 0 + -2 - -35 a multiple of 11?
True
Suppose 5*f + v + 0*v = -52, -38 = 3*f + 4*v. Let z(p) = p**2 + 9*p - 10. Let t be z(f). Suppose -c + 47 = 4*q, t = -0*c + c + 3*q - 42. Is c a multiple of 10?
False
Let p