. Does 8 divide t?
False
Suppose -12 = 7*l - 9*l. Is l a multiple of 6?
True
Let a(v) be the third derivative of -v**6/180 - v**5/30 + v**4/6 - 3*v**2. Let p(x) be the second derivative of a(x). Is 16 a factor of p(-5)?
True
Let h(o) = 5*o**2 + o. Let u be h(-1). Suppose -97 = -u*q + 35. Is q a multiple of 11?
True
Let z(o) = -o**2 + 8*o + 5. Let j be (-2)/(-8) - (-93)/12. Let w be z(j). Suppose 120 = 2*x + x - 4*g, -4*g - 208 = -w*x. Does 22 divide x?
True
Suppose 0 = 5*c - 2*p - 9 - 13, 2*p = c - 6. Suppose 2*n - 6*n = 4*i - 48, -2*i + c*n = 0. Is 3 a factor of i?
False
Suppose -b + 1 = 0, 2*k - 2*b + 179 = -b. Let r = -25 - k. Is r a multiple of 16?
True
Let s = 10 + -6. Let w(f) = 3*f**2 - 5*f - 1. Let l be w(s). Suppose k + 5 = l. Is 22 a factor of k?
True
Let m(k) = -2*k. Let t be m(-1). Suppose x = 22 - t. Does 20 divide x?
True
Let b = -12 - -1. Let i = 14 + b. Is 2 a factor of i?
False
Let w = 423 - 234. Does 22 divide w?
False
Let n(u) = 45*u + 4. Is 12 a factor of n(2)?
False
Let i(p) = -p**3 - 3*p + 2. Let t be i(1). Does 33 divide 4/((-256)/132 - t)?
True
Suppose 2*u = -8, 1461 = 5*p + 7*u - 6*u. Does 54 divide p?
False
Let p(b) = -b - 3*b + b**2 + 4 - 3*b + 3*b. Let g be p(4). Suppose -g*a + 92 = -48. Does 16 divide a?
False
Let z(r) be the first derivative of r**4/4 - 5*r**3/3 - 3*r**2/2 + 8*r + 3. Let s be z(6). Suppose 0 = 3*w - 22 - s. Is w a multiple of 16?
True
Suppose -5 = -y, -q = -y + 2*y - 11. Let p(f) = -18*f. Let s be p(q). Is (1/(-2))/(6/s) a multiple of 9?
True
Let u = 71 + -17. Does 17 divide u?
False
Suppose 5*n - d - 19 = -0*d, 5*n + 4*d = 24. Suppose -n*u - 28 = -8*u. Does 7 divide u?
True
Suppose 0 = -3*i - 2*i. Suppose i*o - 118 = -2*o. Suppose 4*v - o = -c, v + 0*v = -3*c + 23. Does 10 divide v?
False
Let r be 1 + -1 - (-12)/(-1). Let s = r + 25. Does 7 divide s?
False
Let y = 112 - 41. Is 14 a factor of y?
False
Is ((-1534)/39)/((-1)/3) a multiple of 17?
False
Let w(d) = -d**2 - d + 12. Is w(0) a multiple of 3?
True
Suppose -2*c + 88 = 2*c - 5*r, r + 66 = 3*c. Is c + (4 - 2)/(-2) a multiple of 7?
True
Let d(z) = -z**3 + z**2 + z - 4. Let p be d(-3). Let n = 48 - p. Is 5 a factor of n?
False
Suppose 3*u + 141 = 4*w, 2*w - 58 = -5*u + 19. Suppose -w = 3*g - 5*g. Does 12 divide g?
False
Suppose m = -4*m + 220. Does 33 divide m?
False
Let k(x) = x**2 - 4*x + 4. Let n be ((-4)/5)/((-2)/10). Let f be k(n). Suppose f*v - 24 = -0*v. Does 6 divide v?
True
Let z = -474 - -843. Does 41 divide z?
True
Let o(y) = -y + 2. Let k be o(0). Does 2 divide (k/(-6))/((-7)/63)?
False
Suppose 5*y - 3 = -w, 5*w + 3 = -3*y - 4. Let t be w*(36/(-3) + 1). Suppose -2*o + 28 = -a - t, -3*o + 70 = -4*a. Is o a multiple of 20?
False
Let z = -101 + 157. Is 28 a factor of z?
True
Let x(m) = -m**2 + 13*m - 6. Let t be x(9). Suppose v + t = 6*v. Does 6 divide v?
True
Suppose 0 = 20*h - 2300 - 5020. Is 23 a factor of h?
False
Let g(m) = m + 10. Let i be g(-8). Suppose 2*z + 0 + i = 0. Let l = z + 4. Is 3 a factor of l?
True
Let q(z) = 11*z**2 - z - 2. Let v be q(-2). Suppose 20 = 3*g + 3*t - 16, 3*t = 5*g - v. Let k(l) = l**2 - 8*l + 4. Is k(g) a multiple of 12?
True
Let y be 3/(-9) - (-7)/3. Suppose -y*h - 5*v = -35, h - 3*v + 0*v = -10. Is 3 a factor of h?
False
Let s = 5 + -15. Let b = s + 24. Is b a multiple of 14?
True
Let n = -115 + 63. Is 4/(-10) - n/5 a multiple of 3?
False
Suppose 2*t = 3*t + 8. Is 16 a factor of (1 + 29)/(t/(-12))?
False
Let k(m) = 3*m + 3. Let w be k(8). Let g = 38 - w. Is 6 a factor of g?
False
Let y(c) = c. Let q(x) = -6. Let m(w) = -q(w) - 8*y(w). Does 27 divide m(-6)?
True
Suppose -2*u + 7 + 3 = 0. Suppose -72 + 16 = -4*s + 3*j, 0 = 5*s + u*j - 70. Is s a multiple of 13?
False
Suppose 2 = 5*a - 3. Let h = a - -19. Is 10 a factor of h?
True
Let i(t) = -39*t + 3. Is i(-3) a multiple of 32?
False
Let g = -5 + 6. Let w(x) = x**3 + 9*x**2 + x + 6. Let z(h) = -h**3 - h**2. Let f(c) = g*w(c) + 2*z(c). Does 13 divide f(7)?
True
Suppose 18 = -3*k + 6*k. Does 14 divide ((-1496)/51)/((-4)/k)?
False
Suppose 0 = -2*n - 2 - 4. Is -1 + n + 1 + 27 a multiple of 6?
True
Suppose -y = 4*y - 1280. Suppose 5*z - y = -3*v, 5*z - 2*v + v = 248. Is 9 a factor of z?
False
Suppose 4*l - 79 = -15. Is l a multiple of 7?
False
Let w(h) be the second derivative of h**5/20 + 5*h**4/12 + h**3/2 + h**2 - 4*h. Let v be w(-5). Is 9 a factor of ((4 - 3) + -2)*v?
False
Let s = 5 - 2. Suppose -s + 2 = -5*g + u, 4*u = -2*g - 4. Suppose -4*v = -g*v - 3*d - 184, 94 = 2*v - 2*d. Is 17 a factor of v?
False
Let h = -13 + 58. Suppose o + 5*v - 17 - 2 = 0, 0 = 2*o + 3*v - 17. Suppose 12 = 3*b + l - o, -2*l = -5*b + h. Is 3 a factor of b?
False
Let n(u) = -3*u + 2. Let m be n(-6). Let v = -12 + m. Is 4 a factor of v?
True
Suppose -3 = 4*d + 289. Let j = d - -112. Is 13 a factor of j?
True
Suppose 5*i = 4*i + 2*p + 3, 4*i - 24 = -4*p. Suppose -i*q - 113 = -3*a, -a + 47 - 12 = q. Is a a multiple of 12?
True
Let q(h) = h**2 + 1. Let b be q(-2). Let z be b/20 - (-7)/4. Suppose w + 18 = z*w + 2*f, f - 44 = -3*w. Is 14 a factor of w?
True
Let d = -6 - -4. Let k(i) = -2*i - 2. Let b be k(d). Suppose -3*v = b*q - 75, v - 2*v = -4*q + 157. Does 10 divide q?
False
Let k be 0 + (-2 - -3)*2. Suppose 192 = k*p + 2*p. Is 11 a factor of p?
False
Let m(n) = n**3 - 7*n**2 - 7*n + 1. Let b be m(8). Suppose 0 = -2*h - b + 61. Is h a multiple of 13?
True
Let s(v) = -2. Let g(t) = -t + 1. Let n(c) = 4*g(c) + s(c). Let u be n(-2). Is 10 a factor of (4/u)/(1/25)?
True
Let r = -75 + 174. Is 15 a factor of r?
False
Let j(p) = 3*p - 2. Is 5 a factor of j(10)?
False
Let u = -25 - -61. Is u a multiple of 9?
True
Is 3 a factor of -4 + 6 + 3 + 1?
True
Suppose b = -3*q + q - 11, 5*b + 5*q + 45 = 0. Let n(h) = h**3 + 7*h**2 - h + 8. Let m be n(b). Let j = m - 3. Does 6 divide j?
True
Let y(b) = b**3 - 11*b**2 - 13*b + 16. Let t be y(12). Suppose 7 = -t*w - 5. Let o = 13 - w. Is o a multiple of 8?
True
Let f(l) = -l**3 - 4*l**2 + l. Let o be f(-4). Is (-336)/(-60)*(-10)/o a multiple of 14?
True
Let v(y) = y**2 + 10*y - 9. Let i be ((-10)/25)/(1/20). Let q be v(i). Let r = -17 - q. Is r a multiple of 4?
True
Let s be ((-6)/5)/(6/(-100)). Suppose -5*l - 5*i - 2 = -62, 3*l - 5*i - s = 0. Is 8 a factor of l?
False
Suppose 3*n + 3 - 9 = 0. Let g be n/11 + (-394)/(-11). Suppose -3 = 3*m - g. Does 4 divide m?
False
Suppose h = 5*h - 12. Suppose -4*v + 3*v - k + 30 = 0, -h*v + k = -90. Does 15 divide v?
True
Suppose 4*o + 328 = 4*r, -2 = -3*r - 2*o + 244. Is 37 a factor of r?
False
Let a(g) = 50*g**2 - g + 1. Let k be a(-2). Suppose 17 = 5*o - k. Is 22 a factor of o?
True
Let q(f) = f**3 + 6*f**2 + 2*f + 4. Does 14 divide q(-4)?
True
Suppose -8*p + 9*p = 38. Is p a multiple of 14?
False
Let n be ((-4)/6 - -2)*-3. Is 5 a factor of 5*(144/(-15))/n?
False
Suppose 2*h - 32 = -4*u, 4*h = -0*h - u + 43. Let q = 19 - h. Is q a multiple of 8?
False
Suppose -3*h - 2*n = -0*h, -3*h - 3 = 3*n. Suppose 0 = 2*b - 4*l - 6, -b + l - 12 = -h*b. Does 6 divide b?
False
Let z be -3*((-80)/12)/(-5). Does 7 divide ((-28)/(-6))/(z/(-18))?
True
Let z(x) = -3*x - 1. Let m be z(-3). Suppose 5*u = m + 7. Suppose 0 = 2*v - 33 - u. Does 18 divide v?
True
Does 27 divide ((-5263)/(-38))/(1/2)?
False
Suppose -5*f - 3*g + 250 = 0, 2*g - 100 = -2*f + 4*g. Does 25 divide f?
True
Let p be (-10)/(-2 - (-243)/123). Suppose 2*w + 3*w = p. Is w a multiple of 21?
False
Suppose 4*g + a = 173, 3*g - 2*g - a - 37 = 0. Let f = -15 + g. Does 10 divide f?
False
Let r(i) = 27*i + 52. Is r(9) a multiple of 17?
False
Let j = 67 + 5. Is 21 a factor of 11/(22/j) + 0?
False
Suppose -3*d = 12 - 33. Suppose 0 = t - 0 - d. Is t a multiple of 6?
False
Suppose -i = -3*i + 6. Suppose -i*x + 2*l + 30 = x, 4*x - 37 = -5*l. Is x a multiple of 7?
False
Suppose 2*c + 68 = 5*o, -2*c + 44 = 3*o - 0*c. Is o a multiple of 10?
False
Let p(w) = -w - 8. Let n be p(-8). Suppose 5*c - 29 - 6 = n. Is c a multiple of 3?
False
Let n(w) = 0 - w + 3 + 1. Let c be n(4). Suppose 4*y - 105 = -5*h + y, c = -h - 5*y + 21. Does 15 divide h?
False
Suppose -222 = -7*s + 128. Is s a multiple of 10?
True
Suppose 4*q - 6*q + 2*i + 26 = 0, 5*i = -2*q + 61. Let c = q - 2. Is 15 a factor of c?
False
Let p = 8 + -6. Let t(v) = 4*v**3 - 2*v**2 - v - 1. Is t(p) a multiple of 7?
True
Le