 t(i)?
False
Let i = 18 - 12. Let c be (-6)/(-10)*(11 - i). Let k(p) = 12*p + 10. Does 22 divide k(c)?
False
Let g(o) = -2*o**3 + 11*o**2 + 4*o - 8. Let t(v) = 5*v**3 - 32*v**2 - 13*v + 25. Let m(a) = 8*g(a) + 3*t(a). Let j be m(-8). Let b = j - -5. Does 16 divide b?
False
Let t be (-14)/4 - -2 - (-1467)/6. Suppose -3*l + 171 = 3*b, 3*l - 2*l - t = -4*b. Is 22 a factor of b?
False
Suppose -6*i - 414 = 3*v - 10*i, 2*i - 138 = v. Let f = -89 - v. Does 5 divide f?
False
Does 103 divide 120/(-16)*952/(-10)?
False
Suppose 0 = 2*g - 4*t - 22, -8 - 6 = g + 3*t. Let d(u) = 66*u**2 + 1. Let k be d(g). Let s = 143 - k. Is s a multiple of 21?
False
Let m(a) = 5*a**3 - 2*a**2 + 12*a - 40. Is m(4) a multiple of 74?
True
Let t(h) = 237*h - 91. Does 31 divide t(3)?
True
Suppose -g + 2*v - 12 = 7, 5*g + 3*v = -134. Let b = -22 - g. Is -24*(b - 33/9) a multiple of 6?
False
Let s(d) = -d**2 + 5*d - 7. Let u be s(2). Is (-11 - -10) + (49 - u/(-1)) a multiple of 14?
False
Let n(j) = 241*j - 68. Is 14 a factor of n(4)?
True
Is 2 + 1542 - (32 + -30) a multiple of 22?
False
Let d(g) = -g**3 - 4*g**2 + 8*g + 9. Let h be -2 + -3 + (0 - 2). Is 25 a factor of d(h)?
True
Let d be (-16320)/221 + -2*2/26. Let a = -50 - d. Is a a multiple of 2?
True
Suppose -4*j + 12*j = 792. Let t = j - 51. Does 4 divide t?
True
Let c(w) = w**3 - 8*w**2 + 10*w - 7. Suppose 3*f - 1 = 20. Does 14 divide c(f)?
True
Let r(v) = v + 3. Let w(h) = -h - 1. Let t(s) = 5*r(s) + 20*w(s). Suppose -2*q + 3 = 17. Is 25 a factor of t(q)?
True
Suppose 7 - 15 = -2*c. Suppose 7*r - 27 = c*r. Is r even?
False
Let o(t) = -2*t**2 - 15*t. Let v(q) = -q**2 - q. Let i(r) = o(r) - 6*v(r). Does 30 divide i(6)?
True
Suppose -72*q + 180207 + 62721 = 0. Is 37 a factor of q?
False
Suppose 4*p + 12 = 0, 165 = 2*i - 0*p + 5*p. Is 15 a factor of i?
True
Let t be (-2)/5 + (-132)/(-55). Let l(d) = 9*d - 8 - 2*d**2 + 5*d**t - 2*d**2. Does 16 divide l(-12)?
False
Let n be 6/9 - 50/3. Let t = n - -25. Is t a multiple of 9?
True
Let c = 7 - 45. Let d = c - -42. Let m(h) = h**3 - 3*h**2 + 5*h + 4. Does 8 divide m(d)?
True
Let s(l) = l**3 + 25. Let t(p) = p**2 - 6*p - 7. Let c be t(7). Is 4 a factor of s(c)?
False
Suppose 1 = -7*o - 27. Let v be 556/10 + o/(-10). Suppose -h - s + v = 0, 5*s = -12 - 8. Does 14 divide h?
False
Suppose 7 = -2*q + 11. Suppose 0*z - q*z = -p - 245, -z = 3*p - 140. Is 11 a factor of z?
False
Suppose -4*r = -5*r + 10. Does 5 divide r?
True
Let h be 38/10 + (-68)/85. Is 17 a factor of (3 - h) + -3 + 71?
True
Let o = 5 - 4. Let c be (o - (3 + -2))/1. Suppose -t + 32 + 1 = c. Is 11 a factor of t?
True
Let u(f) = -f**3 + 32*f**2 - 215*f + 6. Is 15 a factor of u(21)?
False
Let p = -11 + 95. Suppose -j = 5*j - p. Let u = j - 11. Is 3 a factor of u?
True
Let k(r) = -3*r**3 - 5*r**2 + 30*r + 15. Is 31 a factor of k(-7)?
True
Let x(j) = -6*j + 7*j**2 - 4*j**3 - 4*j**2 - j**3 + 5*j + 7. Is 12 a factor of x(-3)?
False
Suppose 15 = 3*t, 4*j - 6*t = -5*t + 13067. Is 76 a factor of j?
True
Suppose 5*g - 43 = -2*s, -2*g + 31 = 3*g - s. Suppose -216 = 3*a - g*a. Suppose -a - 66 = -5*c. Is 8 a factor of c?
True
Let x(y) = y**3 - 15*y**2 + 25*y - 56. Does 15 divide x(16)?
True
Let i(w) = -6*w - 9. Let x be i(-9). Let q = -6 + 9. Suppose 12 = -q*f + x. Is 11 a factor of f?
True
Let l = 1569 - 800. Is 4 a factor of l?
False
Let s = -216 - -406. Is 41 a factor of s?
False
Suppose 4*l - 14*l = -6510. Is l a multiple of 31?
True
Let v = 122 + -97. Let p = v - -210. Is 14 a factor of p?
False
Is ((-27)/12*1)/(60/(-6400)) a multiple of 20?
True
Suppose 0 = k - 2*x - 386, -4*k - 3*x = -6*x - 1544. Suppose 0 = j - 0*j + 4*y - 183, 2*j + 4*y = k. Is j a multiple of 45?
False
Let d(x) = 0*x**2 - 1 - 2 + x - 2*x**2. Let n be d(2). Does 11 divide (-1576)/(-36) + (-2)/n?
True
Let j = 37 + -11. Let q = j - -1. Does 4 divide q?
False
Let i(q) = -q**2 - 11*q + 42. Let s be i(-14). Suppose s = -4*c + 4*y + 400, -4*y - 100 = -c - 0*y. Does 20 divide c?
True
Let t(p) = 17*p**2 + 14*p - 17. Let y be t(7). Suppose s - y = -5*m + 2*m, -m - 5*s + 286 = 0. Is m a multiple of 51?
True
Let z(w) = 12*w**2 - 6*w + 24. Let j be z(6). Suppose -9*n = n - j. Is 21 a factor of n?
True
Let x(c) be the first derivative of c**2/2 - 3*c + 6. Let a(y) = -3*y + 7. Let s(w) = -6*a(w) - 15*x(w). Is 8 a factor of s(7)?
True
Suppose -2*y = 12*y + 42. Is (0 + y)/(1/((-12)/4)) a multiple of 8?
False
Let k(y) = 4*y**2 + 12*y - 1. Is k(-12) a multiple of 13?
False
Suppose 0 = -r - 4 - 15. Does 15 divide -1 - r - (3 + 0)?
True
Suppose 0*h + 4 = h. Suppose -7*g + 397 = -3*g + d, -h*g = 5*d - 401. Suppose -w + g = 3*b + 2*w, -2*b + 31 = -5*w. Is 7 a factor of b?
True
Suppose 23*s = 12*s + 33. Does 2 divide s?
False
Suppose -18 = 5*p + 2. Is 40 a factor of p - (9/(-2))/((-4)/(-248))?
False
Let z be 6/2 + 9*-2 + -1. Suppose h - 2*v - 2*v = -38, h + v + 63 = 0. Let j = z - h. Is j a multiple of 11?
False
Let s(r) = 2*r**2 + 17*r + 14. Let g be s(-9). Suppose 3*j = 5*o + 57, -g = -j + 5*o - 2*o. Is j a multiple of 3?
False
Suppose -5*g = -25, 0 = -5*q - 0*g + g + 2955. Is 10 a factor of 2/3 - q/(-12)?
True
Does 5 divide 3*4*((-13706)/(-12))/11?
False
Let f be ((-1340)/(-50))/((-2)/(-5)). Suppose 4*c + i = 121, 0*i - 4*i - f = -3*c. Is 5 a factor of c?
False
Let y(f) = -20*f + 64. Let q be y(11). Let x = 171 + q. Is x a multiple of 15?
True
Let r be (-15)/(-35) + (-1070)/14. Let q = -6 - r. Does 18 divide q?
False
Suppose 0 = 3*h - 9*h + 12. Suppose -5*j + 90 = 5*g, -5*j - 12 - h = -3*g. Is g a multiple of 4?
False
Let k(f) = f**2 - 12*f + 1. Let h be k(6). Suppose 73 = 4*z - 291. Let x = z + h. Does 14 divide x?
True
Let d = -1310 + 1464. Is d a multiple of 5?
False
Let a(k) = k**2 - 2*k. Let z = -15 + 17. Let u be a(z). Suppose 5*d = -u*q - 3*q + 127, 3*q + 3*d - 123 = 0. Is 13 a factor of q?
True
Suppose 0 = -4*p - 10*u + 13*u + 2731, -2*u - 3412 = -5*p. Is 71 a factor of p?
False
Let g = -48 + 90. Suppose -4*n + 138 = -g. Does 5 divide n?
True
Suppose 0 = 22*t + 2067 - 9371. Does 5 divide t?
False
Suppose 17 + 5 = -2*a. Let w be (-387)/(-12) - 5/20. Let p = w + a. Is 5 a factor of p?
False
Suppose 0*k + 160 = 4*k + 3*l, k - 47 = l. Let t = k - 30. Is 4 a factor of t?
False
Suppose 2*y - 3*j - 1156 = 0, 0*j + 1158 = 2*y - 4*j. Is y a multiple of 23?
True
Suppose -1 = 6*h + 245. Let q = h + 119. Is q a multiple of 13?
True
Let x(t) = 13*t + 6. Let m be x(-5). Suppose 709 = 5*a + 159. Let v = a + m. Is 17 a factor of v?
True
Suppose 2*l + 3*b - 78 = -0*b, -l = -b - 34. Suppose -o - l = -4*o. Is 8 a factor of o?
False
Let p(v) be the third derivative of 17*v**4/12 + 5*v**2. Is p(1) a multiple of 8?
False
Let u = 654 - -259. Is u a multiple of 48?
False
Let t(c) = c**2 - 15*c + 16. Let l be t(14). Suppose -5*r + 5*g - 28 = -103, 2*r + 5*g - l = 0. Is r a multiple of 5?
False
Let w = -10 + 5. Let v be 145 + w + 3 + -2. Suppose v + 7 = 4*p. Is 12 a factor of p?
False
Let i = -1164 + 1429. Does 2 divide i?
False
Let j = -52 - -73. Let f be 3/(-6)*0 + (0 - 1). Let o = j + f. Does 20 divide o?
True
Let o(x) = -2*x**3 + 2*x**2 + 3*x + 2. Let y be o(-1). Suppose -y*r + 201 = -15. Is r a multiple of 24?
True
Let w(z) be the first derivative of -33*z**2/2 + 3*z + 32. Let b be 24/16*2/(-3). Is 9 a factor of w(b)?
True
Let b = -88 - 2. Let h = 42 + b. Does 22 divide 21*(-4)/(h/28)?
False
Let i be 5 + -1 - (0 - -94). Let s = i + 126. Does 18 divide s?
True
Suppose 4*j + 2*o = 328, 4*j - 5*o - 395 + 67 = 0. Suppose 0 = 3*v - v - 2*f - j, 5*v - 3*f = 201. Let q = v - -11. Does 23 divide q?
False
Let b = -38 - -20. Let o be 14/2*b/(-63). Does 4 divide o - (1 + 22/(-2))?
True
Suppose 0 = -4*w - 2*w + 576. Does 24 divide w?
True
Suppose -3*g + q + 1 = 0, -2*q = 3*g - 6*q - 4. Does 17 divide (g - (102/(-2) - 0)) + 0?
True
Suppose 4*f + f - 770 = 0. Let k = 246 - f. Is k a multiple of 28?
False
Let t = 36 + -29. Suppose -t*d + 3*d = -24. Let h(y) = -y**2 + 11*y + 3. Does 11 divide h(d)?
True
Let x be (0 + -1)*((-2 - -5) + -4). Is 11 a factor of -1 + 612/10 + x/(-5)?
False
Suppose x = -2*x + 3201. Is 13 a factor of x?
False
Let f be 1/(1/16) + -3. Suppose 54 = -11*q + f*q. Is q a multiple of 27?
True
Suppose 2*q = -3*q + 20, 5*c - 464 = 4*q. Suppose -3*m - 60 = -4*h + h, h = 5*m + c. Does 11