2 - 3*a. Let t(w) = -7*w**2 - 2*w + 1. Let z be t(1). Is 20 a factor of x(z)?
False
Let r = -63 - -170. Is 6 a factor of r?
False
Let o(n) = 4 + 6*n - 2 - 6 - 6. Is 12 a factor of o(7)?
False
Let a = 0 - -2. Suppose -3*b - 35 = a*b. Let s = b + 42. Is s a multiple of 14?
False
Let x(u) = -2*u - 4. Let m be x(-6). Let j be (4/(-8)*0)/(-2). Suppose -4*f + 3*f + m = j. Is 5 a factor of f?
False
Let b = 14 - 11. Does 3 divide b?
True
Let c(h) = 12*h - 6. Does 26 divide c(11)?
False
Suppose -i - 2*i + 493 = o, 5*i - 816 = 4*o. Does 24 divide i?
False
Suppose 3*t = t + 4. Suppose -t = -b + 3. Suppose q + b*r - 43 = 0, 3*q + 2*r - 46 = q. Is 18 a factor of q?
True
Is 28 a factor of (-24)/84 - (-1)/(7/723)?
False
Suppose -4*r - 10 = -70. Let l = -11 + r. Does 2 divide l?
True
Let y(t) = -t**3 + 4*t**2 + 6*t + 7. Let h be y(5). Suppose x + 7 = -3*i, -5*x + 4*i + h + 10 = 0. Suppose -6*p = -x*p - 32. Is 4 a factor of p?
True
Let u = -7 - -7. Is ((-3)/6 - u)*-36 a multiple of 9?
True
Let k = -130 + 357. Does 14 divide k?
False
Suppose 0 = -0*c - 6*c + 306. Does 17 divide c?
True
Let x = 54 - 38. Let h = x + -9. Does 7 divide h?
True
Let p(s) be the first derivative of 13*s**2/2 + 11*s - 1. Let k(t) = 7*t + 6. Let g(o) = 5*k(o) - 3*p(o). Is g(-7) a multiple of 11?
False
Suppose -g + 3 + 48 = 0. Is 14 a factor of g?
False
Suppose o + 12 = 5*v - 26, 0 = 5*v - 3*o - 34. Suppose -117 - v = -5*g. Is 22 a factor of g?
False
Let j(l) = 2*l - 3. Let a be j(3). Suppose 0 = 4*p + d - 10, -2*d = a*p + p - 8. Suppose q + 4 = 2*z, 0 = -z + p*q - 4 + 1. Is z even?
False
Let c = 0 + 4. Suppose -2*s + 25 = -5*p, -c*s - 15 = -p + 4*p. Let m = s + 2. Does 2 divide m?
True
Suppose 3*t = 4*n - 16, 2*n + 6 = t + 4*t. Suppose 0 = -3*b + 104 + n. Does 8 divide b?
False
Let x = -4 + 9. Suppose 15 - x = 5*p. Suppose -p*a = 3*a - 30. Is 6 a factor of a?
True
Suppose 14*p = 17*p + 24. Let x = p + 13. Is x a multiple of 3?
False
Is 10 a factor of 4/((-8)/(-86)) + -2?
False
Suppose 2*h = -52 + 162. Does 5 divide h?
True
Let m = 8 + -11. Is m - (-8*2)/1 a multiple of 10?
False
Let q(m) = 52*m**2 + m. Is q(1) a multiple of 18?
False
Suppose 2*g + 1 = 15. Let t = g - 4. Suppose 63 = t*q - 0*q. Is q a multiple of 9?
False
Suppose -4*p - 94 = -0*p - 5*o, 82 = -4*p - o. Let l = 12 - p. Let h = l + -11. Is 11 a factor of h?
True
Suppose -10*j = -14*j + 652. Is j a multiple of 31?
False
Is 45 a factor of -310*10/(-8)*(-28)/(-70)?
False
Let g(t) = -t**2 - 4*t + 10. Let q be g(-7). Let v = -4 - q. Does 7 divide v?
True
Let z(l) = l - 1. Let f be z(3). Does 25 divide (-14)/f*180/(-42)?
False
Let u be ((-4)/6)/(6/(-45)). Suppose -13 - 3 = -2*s - 2*j, s - 8 = -u*j. Is 4 a factor of s?
True
Suppose -3*k + 3*u = -7 - 2, 0 = k - 2*u - 4. Suppose 3*q + 60 = 3*l, -2*l - k*q = -q - 40. Suppose 0*t = -5*t + l. Is 3 a factor of t?
False
Suppose 2*r + r = 9. Suppose -5*t - r*a + 7*a = -202, -3*t + 3*a + 120 = 0. Is 14 a factor of t?
True
Is 6 a factor of (7 - 14)*1/(21/(-306))?
True
Does 15 divide (40/(-8))/(3/(-18))?
True
Let t = 4 + -12. Let p = t + 11. Suppose 0*m + 51 = p*m. Is m a multiple of 17?
True
Let b be (21/(-9) + 2)*-3. Suppose 224 = 5*m - b. Does 9 divide m?
True
Let v(g) = 32*g**2 + g + 15. Does 20 divide v(-3)?
True
Suppose -12 = 4*q - 7*q. Suppose -q*n = -n - 165. Suppose -2*v = 3*v - n. Does 8 divide v?
False
Does 45 divide ((-78)/(-4))/(8 + 77/(-10))?
False
Let u = -10 + 7. Let f be 47/(u + (-7)/(-2)). Let p = f + -65. Is 14 a factor of p?
False
Suppose 362 = 2*g - x, 3*x = -0*g - 3*g + 534. Suppose -5*j + 5*m = 15 - g, 5 = -5*m. Is 13 a factor of j?
False
Let c(p) = p**2 + 5*p + 4. Let m be c(-5). Suppose -u + 5*u + 2*r = 8, m*u - 2*r = 0. Does 3 divide ((-6)/10 - u)*-5?
False
Let n be ((-11)/(-4))/(1/4). Let x(z) = 5*z + 13. Is 18 a factor of x(n)?
False
Suppose -4*r - 12 = -2*o, -r = -o + 4*o - 4. Is o/9 + 3228/54 a multiple of 15?
True
Let b(z) = z**3 + z**2 - 2*z + 2. Let o be b(-3). Let w(a) = -13*a. Let k be w(-2). Let j = k + o. Does 8 divide j?
True
Suppose 3*s + 4*p - 65 = 0, 3*s + 2*p - 36 = 19. Suppose 4*b = 4*n + 37 + s, n = -b - 23. Let k = n - -55. Is k a multiple of 16?
False
Let t(b) = 5*b - 9. Does 7 divide t(6)?
True
Let m(v) = 4*v + 2. Let p be m(-5). Let c = 42 + p. Is c a multiple of 12?
True
Suppose 3*y = q + 290, 2*y + 2*y = -3*q + 365. Suppose -3*k - 2*r + y = -0*r, 3*k + 3*r - 90 = 0. Suppose 5*x - k = 25. Is 6 a factor of x?
True
Let n(x) = 16*x - 2. Let j be n(3). Let d = j - 22. Does 14 divide (-4 + 2 + d)*1?
False
Let a(b) = -b + 8. Suppose -x + 3*x - 12 = 0. Let z be a(x). Suppose 0 = 3*c - z*c - 22. Is c a multiple of 8?
False
Is ((-18)/(-15))/(10/25) a multiple of 2?
False
Let z(h) = -11*h + 3. Let b be z(3). Does 5 divide 1*2*b/(-5)?
False
Suppose 0 = 3*j + 4*x - 44, 0*j = -j + 2*x + 28. Does 13 divide j?
False
Let o(w) = -w**3 - 12*w**2 + 20*w - 11. Is o(-14) a multiple of 19?
False
Suppose -2*p - 11 = -15. Suppose 3*k + 196 = 4*q, 2*q + p*q = -5*k + 164. Is 23 a factor of q?
True
Let v(o) = 5*o**2 + 6*o + 4. Let m be v(-4). Is 13 a factor of m/25*40/6?
False
Let w(n) = 1 - n**3 - n**3 + 3 + n**3 - 3*n**2. Let l be w(-3). Is (-1)/l + (-195)/(-12) a multiple of 12?
False
Let j(z) = 22*z - 6. Let a be j(-5). Let w be 0 - (a/2)/1. Suppose -3*v = -0*v - 5*u - w, 5*v - u = 126. Is v a multiple of 13?
True
Suppose 4*n - 14*n + 240 = 0. Is 7 a factor of n?
False
Suppose -10 - 3 = -q. Is q a multiple of 13?
True
Suppose y - 4*w - 9 = 0, 3*y + y - 74 = -3*w. Is y even?
False
Suppose -3*m = 2*m - 65. Let p = 21 - m. Let d = 55 - p. Is d a multiple of 16?
False
Suppose 9 + 1 = 2*r. Suppose 130 = 3*c + y, -3*c - 82 = -r*c - 3*y. Is c a multiple of 14?
False
Let k = -71 - -38. Let a = -20 - k. Is 7 a factor of a?
False
Let v(h) = -2*h - 11. Let i be v(-8). Is 17 a factor of ((-200)/(-6))/i*6?
False
Suppose -3*v = z + 33, -3*z + 0*v - 88 = -2*v. Let g = 53 + z. Suppose 4*b - 41 - g = -4*o, 74 = 5*o + 2*b. Is 7 a factor of o?
True
Suppose 44 = 2*w + 2*w. Suppose -3*a = -4*a + w. Does 4 divide a?
False
Let p be (-2)/2*-2*8. Let k = 6 - p. Does 11 divide (-41)/(-2) + (-5)/k?
False
Let p(b) be the first derivative of b**3/3 + 7*b**2/2 + 10*b + 3. Does 10 divide p(-7)?
True
Suppose 0 = -5*u - 0*u + 15. Suppose -2*m = -u*m + 5. Is m a multiple of 3?
False
Let d(g) = g**3 + 12*g**2 + 11*g - 3. Is d(-10) a multiple of 10?
False
Suppose 5*c - 239 = -94. Is c a multiple of 7?
False
Let b be (3/(-6)*14)/1. Let h = b - -8. Does 2 divide (-1 - -3 - 0)*h?
True
Let t(y) = -9*y**3 - 23*y**2 - 29*y - 8. Let q(r) = 5*r**3 + 12*r**2 + 15*r + 4. Let j(v) = -11*q(v) - 6*t(v). Is j(7) a multiple of 9?
True
Let d(z) be the second derivative of -z**5/20 - 5*z**4/6 - z**3/3 + 5*z**2 - z. Suppose -2*v - 8 - 12 = 0. Is d(v) a multiple of 10?
True
Let q(m) = 11*m - 36. Is q(5) a multiple of 4?
False
Suppose -3*g + 5*g = 138. Is g a multiple of 10?
False
Suppose -2*u = u + 9. Let r = -3 - u. Suppose r*j = 2*j - 28. Is 7 a factor of j?
True
Let g(y) = -y**3 - 3*y**2 + 3*y - 5. Let i be g(-4). Let f be 68*(i - (-9)/6). Suppose -2*j = -2*l + 12 + 22, 2*l + 4*j - f = 0. Does 10 divide l?
False
Let r be (-86)/8 - (-3)/(-12). Let j = 18 + r. Suppose -13 = -4*z + j. Is z a multiple of 3?
False
Suppose 7*a - 180 = 3*a. Does 5 divide a?
True
Let t = 49 + -31. Is (1/2)/(1/t) a multiple of 7?
False
Suppose -3 = 4*j - 19. Let r(k) = k**3 - 12*k - 2*k**3 - j - 8*k**2 - k**2. Does 14 divide r(-8)?
True
Let h(q) = q**3 + 8*q**2 - 10*q - 10. Is 19 a factor of h(-7)?
False
Let j(d) be the first derivative of d**7/840 - d**6/120 - d**5/20 - d**4/4 + 2*d**3/3 - 3. Let u(f) be the third derivative of j(f). Does 7 divide u(5)?
True
Suppose 4*j + 0*j = 24. Let b be (j/9 - -1)*-9. Let g = b - -24. Is 9 a factor of g?
True
Let w be 115/1 + -2 + 3. Suppose 3*n = 4*x + w, -x - 113 = -3*n - 12. Suppose -5*l = -3*l - n. Is 13 a factor of l?
False
Let b = -80 - -156. Is 38 a factor of b?
True
Suppose y = 3*m + 3*y - 8, 3*m = 5*y + 1. Suppose n + o - 25 = 2*o, -m*o + 13 = n. Is 7 a factor of n?
True
Let l = -4 + 7. Suppose 8*t - l*t = 20. Suppose p - t - 8 = 0. Does 8 divide p?
False
Let r(q) = q**2 + 11*q - 16. Let y be r(-12). Let g = y + 8. Is 4 a factor of g?
True
Let i(z) = z**3 + z - 68. Let h be i(0). Let m = h 