tor of u?
False
Let y(a) be the first derivative of a**2/2 + 4*a + 2. Let o be y(-4). Suppose 3*q - 23 + 5 = o. Is q a multiple of 6?
True
Let n(a) = -a**3 - 26*a**2 - 28*a - 11. Is n(-25) a multiple of 4?
True
Let j = 52 - 32. Suppose -2*a = -a - j. Does 7 divide a?
False
Suppose -2*x = 3*x - 195. Is 13 a factor of x?
True
Let q = 2439 - 5145. Let z be 6/(-27) - q/27. Suppose -3*t = 2*t - z. Is t a multiple of 10?
True
Let f(c) = c**2 - c + 2. Let w = -3 - -5. Does 4 divide f(w)?
True
Let p(c) = 37*c + 17. Is p(3) a multiple of 12?
False
Let l(d) = d**2 + d - 6. Does 9 divide l(6)?
True
Suppose 0 = 4*p - 7*p. Let l(g) = g**3 + 27. Is l(p) a multiple of 9?
True
Let o(i) = 40*i. Let l be o(3). Suppose 6*s = s + l. Is 22 a factor of s?
False
Suppose -5*r = k + 13, -k - 10 = -r + 3*k. Let s be (1 + (-2)/2)/r. Suppose -5 = -5*d - 3*y, -y - 9 = -d - s*y. Is 3 a factor of d?
False
Let p = -38 - -58. Is 20 a factor of p?
True
Let o(w) = w**3 + 5*w**2 - 6*w - 6. Let p be o(-6). Let x(h) = h**3 + 5*h**2 - 4*h + 6. Let l be x(p). Is 4 a factor of (l/(-2))/((-6)/(-16))?
True
Let d(s) = s**3 + 5*s**2 - 7*s - 1. Let z be d(-6). Suppose -5*n + x + 37 = -4, -n = z*x - 29. Is 4 a factor of 30/n - 2/(-3)?
True
Suppose -173*w + 608 = -171*w. Is 19 a factor of w?
True
Let z be 2/(-8) - (-164)/16. Let y = z - 22. Is -2*(y + (-4)/(-2)) a multiple of 10?
True
Let u(o) = -2*o - 1. Does 5 divide u(-5)?
False
Let h(o) = -o**2 + 8*o - 7. Let a(p) = -p**3 - 8*p**2 - 2*p - 11. Let f be a(-8). Let d be h(f). Suppose 0*q + d = q. Does 4 divide q?
True
Let a = 5 - 58. Let t = -14 - a. Is 13 a factor of t?
True
Let u(f) = 2*f**2 - 4*f + 6. Suppose 0 = -2*l + 6*l - 16. Is 11 a factor of u(l)?
True
Let t = 3 - -6. Let o = 26 - t. Is 9 a factor of o?
False
Let g(j) = j**3 + 6*j**2 - 3. Let k be g(-6). Does 14 divide k/9 + (-85)/(-3)?
True
Let s be 2*-11*(-3)/(-3). Let l be 4/(-8) + s/(-4). Suppose -l*y + 130 + 10 = 0. Does 14 divide y?
True
Let i(u) = u**3 - 5*u**2 + 6*u + 3. Let s be 2/8 - 36/16. Let t be 4 - s - (-1 + 2). Is 24 a factor of i(t)?
False
Let j = 89 + -221. Is 2 a factor of (-3)/12 + j/(-16)?
True
Suppose -2*i + 3 + 1 = 0. Suppose 0 = -i*s + 3*s - 26. Is 14 a factor of s?
False
Suppose 6*k - 11*k + 325 = 0. Is k a multiple of 11?
False
Suppose -2*n = n. Suppose n = -0*r + 2*r - 44. Does 11 divide r?
True
Suppose -q + 6*q - 4*p = 58, 3*q - 2*p = 34. Does 3 divide q?
False
Let u(r) = 2*r**2 - 2*r - 2. Let l be u(2). Suppose -194 = -l*w + 2*c, -5*c = -3*w + 128 + 163. Is w a multiple of 20?
False
Let x(c) = -4*c. Let w be x(-1). Let j be (-1)/w*-2*0. Suppose -4*y + h - 2*h + 36 = 0, j = 2*h. Is y a multiple of 4?
False
Let o = 117 - 209. Let l = -7 - o. Suppose 5*u - l - 25 = -2*s, -5*u + 3*s + 85 = 0. Is u a multiple of 20?
True
Suppose -u + 112 = -116. Does 23 divide u?
False
Let c be 9 + -2 + (1 - 0). Suppose -3*b = -c*b + 45. Is 6/(b/24 - 0) a multiple of 9?
False
Let h(p) = -10 - 3*p + 3*p + 2*p. Let q be h(7). Let c = 28 + q. Does 12 divide c?
False
Suppose 150 = j + 4*j. Is j a multiple of 10?
True
Suppose -c - 2*r = 11 - 81, 3*c + 3*r = 207. Is 5 a factor of c?
False
Let d = -4 + 6. Suppose 6*y = d*y - 4. Does 10 divide 27 + 0 + y + 0?
False
Suppose 0 = -2*u + 3*u - 58. Suppose -2*q - 13 + u = 3*z, 15 = q + 3*z. Is 11 a factor of q?
False
Let x(d) = -10*d - d**2 - 2 + 1 - 3. Let o be x(-8). Let z = o + 7. Is z a multiple of 19?
True
Let x be 55/(-3) + (-16)/(-12). Let p = 31 + x. Is 13 a factor of p?
False
Let o(a) = a + 1. Let f be o(3). Suppose -3*n - 3*x + 0*x + 12 = 0, 3*n = -f*x + 7. Is n a multiple of 3?
True
Let s(o) = 2*o + 6. Let c(d) = -19 + 12*d + 6 - 7*d**2 + 6*d**2. Let u be c(10). Does 9 divide s(u)?
False
Let k(b) = 2*b + 16. Is 8 a factor of k(0)?
True
Let i be 3/12 - 262/(-8). Let y = 59 - i. Is 13 a factor of y?
True
Let h be (-2)/(-3) - (-220)/(-6). Is (-1)/(-4) - 1431/h a multiple of 10?
True
Suppose 4*u - 2*z = 68 + 456, -3*u - 3*z = -411. Suppose -127 = -5*k + u. Is 13 a factor of k?
True
Let o(w) = -w**3 + 10*w**2 - 10*w. Is o(7) a multiple of 20?
False
Suppose c - 2*f = 40 - 10, 150 = 5*c - 2*f. Does 10 divide c?
True
Let s = -7 - -14. Suppose -2*l + 1 = -s. Is 89/4 + (-1)/l a multiple of 9?
False
Let u(c) = 4*c - 4. Let v(y) = y - 1. Let b be v(7). Suppose k - b*k = -30. Is u(k) a multiple of 10?
True
Let p be (3 - 2) + 1*-1. Suppose 3*r - 2*m - 23 = p, -2 = r + 4*m - 5. Let j = 23 - r. Is j a multiple of 8?
True
Let m = 97 + -65. Is m a multiple of 14?
False
Suppose -3*g + 5*v = -7*g + 52, 4*g = 4*v + 52. Is 4 a factor of g?
False
Let c be 534/18 - 2/(-6). Is ((-8)/(-3))/(10/c) a multiple of 3?
False
Let w be 36/8*2/1. Suppose -29 = -5*v - w. Is v a multiple of 2?
True
Let r(o) = o + 8 + 6*o**2 + 3 + o**3 - 3 - 8*o. Is 3 a factor of r(-7)?
False
Let p be ((-3)/9)/((-1)/(-6)). Is 12 a factor of (0 - (p + -1)) + 9?
True
Let i(t) = -2*t - 4. Let s(h) = h**3 - 7*h**2 + 7*h - 9. Let u be s(6). Let j be i(u). Let p(y) = y**3 + 2*y**2 + 2*y - 2. Is p(j) a multiple of 11?
False
Suppose 5*o = 4*i + 20, i = 4*o - 2*i - 15. Let c(t) = -t**3 + t**2 + t + 23. Does 16 divide c(o)?
False
Let p(g) = 3*g - 22. Let w(i) = 16*i - 111. Let y(q) = -11*p(q) + 2*w(q). Let o be y(0). Suppose -2*s = -6*s - h + o, 2*s = h + 4. Does 4 divide s?
True
Suppose -4*l + 36 = -l. Does 6 divide l?
True
Does 6 divide (-296)/(-10) + 12/30?
True
Let h(t) = -2*t + 10. Let m be h(7). Does 14 divide (21/m)/((-12)/32)?
True
Let t be (-1)/((-2)/4) + 2. Suppose -t = -2*k + 6. Suppose -k*v + 140 = -5. Is v a multiple of 14?
False
Let z = 0 + 4. Let o(m) = 1. Let h(u) = -6*u + 4. Let q(r) = z*o(r) - h(r). Does 3 divide q(1)?
True
Suppose -4*q = -0*q. Suppose m = -4*u - 4*m, 4*u - 5*m = q. Is 7 a factor of -2 - (27/(-3) - u)?
True
Let f = -2 + 7. Suppose 16 = 2*g + 5*i - 19, 2*g - 85 = f*i. Is g a multiple of 15?
True
Let i = 3 + -4. Let p be (i/(-2))/((-2)/(-8)). Suppose j = p*j - 6. Does 6 divide j?
True
Let g(w) = 3*w**2 - 6*w - 1. Let m be g(-4). Let s = 185 - m. Suppose 0 = 4*v - v - s. Is v a multiple of 12?
False
Suppose j + j = 296. Is j a multiple of 37?
True
Let o(z) = z**2 - 1. Let v(r) = r**2 + 10*r + 7. Let j(q) = -2*o(q) + v(q). Let f be j(9). Is f/(-4)*(-48)/9 a multiple of 12?
True
Let s be (4/(-10))/(5/1825). Let z be (6 + -5)*2/(-1). Does 26 divide 3/(3*z/s)?
False
Let i(m) = m**3 + 5*m**2 - 5*m + 8. Let w be i(-6). Let d(q) = 5*q**3 - 3*q**2 + q + 1. Does 31 divide d(w)?
True
Suppose 4*x - 345 = -x. Is x a multiple of 23?
True
Let t = 21 - 12. Is t a multiple of 3?
True
Let o = 78 - 42. Does 18 divide o?
True
Let b = 4 + -3. Let z be 2 - 4 - 2/b. Is 4 a factor of 4/z*(-20)/2?
False
Let v be 6/2 - (-3 - 0). Suppose -1 = t, -2*n - 3*t + 19 = v. Is 8 a factor of n?
True
Let f = -69 + 109. Suppose -r + 5 = 2*x - 2*r, 3*x - f = -5*r. Does 3 divide x?
False
Suppose 4*u - 63 = 57. Is u a multiple of 10?
True
Does 12 divide ((-52)/10 + 4)/(3/(-260))?
False
Let u = 19 - 27. Let p = 31 + u. Does 13 divide p?
False
Let y(b) = b**3 - 14*b**2 + 24*b + 9. Is y(12) a multiple of 9?
True
Let d = 38 + -23. Is d a multiple of 5?
True
Let n be -3 + 3*(1 - 0). Suppose n = 3*q - 22 + 4. Is q a multiple of 3?
True
Suppose 14 = l - 2*h, 4 = -h + 1. Is l/(-2)*4/(-8) even?
True
Suppose z = -4*z. Let o(j) = j**2. Let p be o(z). Suppose 2*u + 4*n - 3 = -7, -3*n - 12 = p. Is 6 a factor of u?
True
Let v(l) = 5*l + 4 - 3 - l + 5. Does 11 divide v(9)?
False
Suppose c + 2*r - 7 = 0, 19 = 2*c + 6*r - r. Is (-1)/((-3)/(3 - c)) even?
True
Suppose 0 = 2*k - 0*k - 24. Is 4 a factor of k?
True
Suppose -2*g + 242 = 3*s, 0*s - 3*g - 300 = -4*s. Is s a multiple of 14?
False
Suppose -3*b + 19 = 4*s, -4*s + 14 = -b + 3*b. Suppose s = l - 11. Is 12 a factor of l?
True
Let r(p) = 0*p + 5*p**2 + 0*p + p**3 + 3. Let d = -2 + -3. Is r(d) a multiple of 3?
True
Let g(i) be the first derivative of i**3/3 - i**2/2 - 8*i + 2. Is g(6) a multiple of 17?
False
Suppose -3 = -2*t + 5*b, 3*t + 3*b - 36 = -0*b. Does 4 divide t?
False
Suppose 0*v - 4 = v - 3*l, -2*v + 4*l - 2 = 0. Suppose v*x - 369 = 151. Suppose -4*w + x = -16. Does 11 divide w?
False
Let p be 153/4 + 5/(-20). Let f = p + 1. Is f a multiple of 13?
True
Suppose -n + 5*n = 136. Is n a multiple of 3?
False
Suppose 3*d = -2*d + 55. Is (-3)/6*d*-4 a mu