**2. Suppose 3*t - 4 = 4*t. Is n(t) a multiple of 21?
True
Let q(p) be the first derivative of 4/3*p**3 - p + 1/4*p**4 - 1 + 0*p**2. Does 8 divide q(-3)?
True
Is 14 a factor of (-63)/(-2)*1204/129?
True
Let p(z) = -z**2 + 27*z + 13. Is 5 a factor of p(26)?
False
Let q = 113 + -47. Is 22 a factor of q?
True
Let m(z) = 2*z + 14. Does 4 divide m(0)?
False
Let y be (-48)/(-9) + 2/(-6). Suppose 0 = x + y*k - 27, -3*x - x + 8 = -5*k. Is x a multiple of 5?
False
Let g = 5 - -2. Let f = g + 15. Is 11 a factor of f?
True
Let j(f) = f**3 - 17*f**2 + 2*f - 21. Is j(17) a multiple of 13?
True
Let l = 56 - 27. Does 9 divide -1 + l - (4 - 3)?
True
Let m(v) = -13*v - 7. Let w be m(-3). Let x = 58 - w. Does 14 divide x?
False
Suppose 0*o = o - 6. Suppose 2*j + 136 = o*j. Does 17 divide j?
True
Let y(u) = -u**3 + 6*u**2 + 11*u + 5. Let n(w) = -w**3 + 5*w**2 + 11*w + 5. Let x(h) = -2*n(h) + 3*y(h). Does 23 divide x(9)?
True
Let m(x) = 22*x - 1. Let q(u) = u**3. Let t be q(1). Is m(t) a multiple of 13?
False
Let v be (-6)/8*13*-8. Let w be v/21 - 4/(-14). Suppose 4*q = w*s + 64, -14 = -5*s + 11. Is q a multiple of 17?
False
Let r(j) be the third derivative of 2/3*j**3 + 0 + 3/8*j**4 - 2*j**2 + 2/15*j**5 + 0*j + 1/120*j**6. Is 11 a factor of r(-6)?
True
Suppose -5*z = -3*a - 3, 2*z - 1 = -2*a - 3. Let q(k) = -k**2 - k + 31. Let o be q(z). Suppose m = f - 8 + o, -2*m = -5*f - 61. Does 9 divide m?
True
Suppose -f = -3*k - 31, 0*f + 26 = -2*k - 2*f. Let z(a) = a**2 + 15*a + 11. Let n be z(k). Let r = -6 - n. Does 9 divide r?
True
Let p(o) = o**3 - 7*o**2 - 7*o + 10. Let r = -8 + 16. Does 16 divide p(r)?
False
Suppose -103 - 165 = -4*r. Suppose -68 = -3*i + r. Is i a multiple of 15?
True
Let s = -23 - -38. Is (48/s)/(4/30) a multiple of 13?
False
Let u(j) = -18*j + 1. Let l be 3 + -3 - 1 - 0. Is 5 a factor of u(l)?
False
Let j = -5 + 7. Let o = 1 + j. Does 2 divide o?
False
Suppose 3*x = 39 + 6. Is x a multiple of 5?
True
Let h be ((-6)/(-5))/(6/(-15)). Let f(j) = -j**3 - 6*j**2 + 11*j + 10. Let s be f(-8). Is (24/(-20))/(h/s) a multiple of 10?
True
Let v = -76 - 4. Let w = v - -118. Is 10 a factor of w?
False
Let v(f) = 8*f**2 + 7*f - 10. Does 10 divide v(-5)?
False
Let p = 108 + 20. Suppose -6*v + p = -2*v. Is 16 a factor of v?
True
Let n(w) = 6*w + 3. Is n(8) a multiple of 11?
False
Let j(y) = -y**3 + 8*y**2 + y + 1. Let k be j(8). Suppose 4*u + 5*n - 23 = -2, 0 = -u - 2*n + k. Is (u + -24)/(1 - 2) a multiple of 9?
False
Suppose 3*p - 5*u - 25 = 0, -2*p + p + 5*u = -25. Is 3 a factor of 8 - 6/(3 - p)?
True
Suppose -5*c - 5*d + 20 = 0, -2*c - 5*d = -7 - 7. Suppose 2*n + 3*i - 6 = 3*n, 2*n - 4 = 2*i. Suppose u + 19 = v - c*u, -4*v + n = 2*u. Does 4 divide v?
True
Let l(i) = -16*i. Does 12 divide l(-6)?
True
Suppose -m + 479 = 5*d, -3*m + 121 = 2*d - 81. Let b = d + -5. Is b a multiple of 32?
False
Let z(k) = 5*k. Let u = 2 - -1. Let t(a) = 5*a - 1. Let q(w) = u*t(w) - 4*z(w). Does 2 divide q(-2)?
False
Let t be (-3)/((-6)/8)*1. Is (-8)/(-6)*6/t a multiple of 2?
True
Let a = 29 + 27. Does 28 divide a?
True
Suppose 3*i - 2*r = 14, -2*r = -i - 0*r + 10. Suppose -3*x + 63 = -0*x. Suppose -i*h = h - x. Is 7 a factor of h?
True
Suppose -4*w + 148 = -44. Is w a multiple of 12?
True
Let h = 6 + -42. Let a = -23 - h. Suppose t = a + 5. Is t a multiple of 18?
True
Let a(c) = c**2 - 3*c + 1. Let m(u) = -u**2 - 12*u - 6. Let q be m(-11). Does 3 divide a(q)?
False
Suppose 0 = y + y + 28. Let c be 111/21 + 4/y. Suppose 0 = w + 4, c*m - 33 = w + 6. Is m a multiple of 3?
False
Suppose -9 = 3*r - 12. Does 22 divide r + (1 - (4 + -84))?
False
Let n = 21 + -15. Let m = -2 + n. Let s = 12 - m. Is 8 a factor of s?
True
Let x = -1 - -7. Suppose 0 = 8*o - x*o - 116. Does 23 divide o?
False
Suppose -23*c + 186 = -20*c. Does 8 divide c?
False
Let m(l) = l**2 - 5*l - 6. Is 10 a factor of m(-11)?
True
Suppose 4*b - 40 = -0*b. Let w be ((-2)/4)/((-1)/(-40)). Is 19 a factor of 186/b - 8/w?
True
Let o(q) = 9 + 6*q + 2*q + q**2 - q. Let x = -9 + 2. Is 5 a factor of o(x)?
False
Let p(l) = 2*l**2 + 9*l - 5. Let s(v) = v**2 + 4*v - 2. Let h(c) = -2*p(c) + 5*s(c). Let j be h(-4). Suppose 6*a = j*a - 108. Is 27 a factor of a?
True
Let x = -7 - -25. Suppose -t - x = -o, -o + t + 2*t = -22. Does 16 divide o?
True
Suppose -5*f - 7 - 3 = 0. Let g be ((-45)/(-6))/((-1)/f). Suppose -g = -3*q + 15. Does 10 divide q?
True
Suppose -4*y + 34 = -2*t, -y + 0*t + 14 = 5*t. Let i = 2 + y. Is 7 a factor of i?
False
Let l(v) = -v**2 + v - 1. Let f(k) = -5*k**2 - 3*k + 2. Let x(z) = f(z) - 4*l(z). Let t(s) = -4*s - 22. Let h be t(-4). Is 4 a factor of x(h)?
True
Let v = -11 - -6. Let c(s) = -2*s + 11. Let o(z) = -1. Let u(h) = c(h) + 6*o(h). Is u(v) a multiple of 14?
False
Let g be 4/14 - (-60)/35. Let t be (-2)/((-3)/(1 + g)). Is 14 a factor of (-460)/(-11) - t/(-11)?
True
Let c(m) = m - 14. Let h be c(7). Let n(g) be the second derivative of -g**3/2 - 4*g**2 - 7*g. Is n(h) a multiple of 13?
True
Let j(d) = d**3 - 4*d**2 - 5*d + 8. Is j(7) a multiple of 20?
True
Suppose -20 = -w + x, -2*w + x + 6 + 35 = 0. Is 7 a factor of w?
True
Suppose 3*n = -2*n + c - 75, 0 = 3*n + 4*c + 45. Suppose 2 = -2*k, z + 2*k + 3 = -k. Let b = z - n. Is b a multiple of 15?
True
Let s(v) = v**3 - v**2 + v - 1. Let a be s(1). Let z = 14 + a. Is z a multiple of 11?
False
Suppose -d = -5*h + 511, -3*d = 2*h - 50 - 151. Does 34 divide h?
True
Let i(q) = -q**3 + 10*q**2 - 9*q + 6. Let g be i(9). Let j = g - -2. Is j a multiple of 3?
False
Suppose 0 = 3*y - 5*y. Suppose 2*r - 9 - 13 = y. Is 11 a factor of r?
True
Suppose 0 = 4*j - 0*j - 8, 2*d - j + 12 = 0. Let h = 52 + d. Is h a multiple of 21?
False
Let o be -4*3/(-2 - -5). Does 15 divide (o/(-6))/(6/261)?
False
Let q(v) = 7*v - 3. Let i be q(-4). Let z = 11 + i. Does 9 divide ((-16)/z)/((-2)/(-50))?
False
Does 3 divide (21/(-14))/(9/(-48))?
False
Let o = 57 - 31. Let j = -15 + o. Does 5 divide j?
False
Suppose 3*d + 83 = 4*n, -3*n + 38 = 4*d - 18. Let g be (2 + 1)/(1/11). Let x = g - n. Does 4 divide x?
False
Let c be (-1)/(-1)*1/1. Is (c - 0)*(1 - -7) a multiple of 8?
True
Suppose -2*x + w - 3 = x, -2*x + 5*w = 2. Let h(y) = -55*y. Is h(x) a multiple of 19?
False
Let k = -7 - -31. Is k a multiple of 6?
True
Suppose -25 = 2*o + 11. Let i = o - -33. Let m = -11 + i. Is m a multiple of 4?
True
Let l be -1 + 4*(-2)/(-4). Suppose 0 = -3*a + 2*b + 89, b + 3 = -l. Does 10 divide a?
False
Suppose 4*w = -3*y - 105, -2*w + 3*w - 4*y + 50 = 0. Let c = 52 + w. Suppose -c = -2*a - 0*a. Does 11 divide a?
True
Suppose -12 = 3*t + t. Is 31 a factor of (t + (-6)/2)*-13?
False
Is 9 a factor of (-105)/45*(-12)/2?
False
Let z = -108 - -113. Is 5 a factor of z?
True
Suppose 2*o = 7 - 1. Suppose -o*g = -0*g - 6. Let a = g + 8. Does 5 divide a?
True
Let y(a) = -a**3 - 10*a**2 - 2*a + 6. Is y(-10) a multiple of 13?
True
Suppose 3*v = 71 + 46. Does 10 divide 8/2*v/12?
False
Suppose -2*a + 106 = -5*z, 5*z - 134 = -a - 2*a. Is a a multiple of 16?
True
Let i(m) = m + 7. Let r be i(-6). Is 7 a factor of -1*((-5)/r + -2)?
True
Let v(l) = l**2 - 3*l + 12. Let b(o) = 2*o**2 - 4*o + 18. Let g(n) = 5*b(n) - 8*v(n). Let q be g(-7). Suppose -11 = -5*s + q. Does 11 divide s?
False
Let h be ((-24)/(-15))/(2/5). Suppose 0*l + y = -h*l + 128, -62 = -2*l - y. Is 9 a factor of l?
False
Let t(g) = -g**3 + 2*g**2 + 3*g + 1. Let u be t(3). Suppose 0 = -3*v + 2 + u. Suppose -31 = -2*o - v. Is 15 a factor of o?
True
Suppose g - 25 = -x + 53, 2*x - 138 = 4*g. Suppose 2*v - x = -3*v. Does 15 divide v?
True
Let z = 93 - 69. Is z a multiple of 4?
True
Let f = 0 - -1. Is 1 - f - -2 - -26 a multiple of 14?
True
Suppose 0 = 3*m - 0*m - 51. Let h = 31 - m. Is 14 a factor of h?
True
Let r = -14 - -25. Is 8 a factor of r?
False
Let x be 39*((-1 - 1) + 3). Suppose 5*j - x + 14 = 0. Let g = j + 21. Is g a multiple of 13?
True
Suppose -2*s + v + 6 + 5 = 0, -4*v + 1 = s. Suppose 0 = -s*n + 3*n + 8. Let q = n - 1. Does 2 divide q?
False
Suppose 0 = 6*s - 10 - 32. Is 4 a factor of s?
False
Suppose -3*u + 4*q + 31 = -516, 4*u - 3*q - 741 = 0. Does 21 divide u?
True
Let h = 8 - -25. Suppose -3*r + 39 = -h. Is 8 a factor of r?
True
Suppose 4*k + 0*k - 16 = 0, 4*k - 61 = -5*y. Let n be ((-3)/2)/((-2)/4). Suppose 3*v - 31 = 5*l, 0*v - y = -v + n*l. Is v