t t(j) = j**3 + 3*j**2 + 1. Let l be t(-3). Let o be (-20)/(-6) - l/3. Is 7 a factor of 6/4*o*2?
False
Let u be (4 - 3/1) + 2. Suppose u*h - c - 11 = -2, c = h - 5. Suppose 0*t + 3*t + 2*r - 96 = 0, h*t - 3*r = 77. Does 19 divide t?
False
Suppose m - 2*m = -24. Does 6 divide m?
True
Suppose -93 = 3*g - 3*z, 2*z - 2 = -4. Suppose 0 = 5*o + 20 + 5. Let v = o - g. Is 27 a factor of v?
True
Suppose 76 + 92 = 3*n. Does 31 divide n?
False
Let d(k) = k**2 + 4*k. Is 15 a factor of d(6)?
True
Suppose -5*k - 21 = -2*k. Let f = -7 - k. Suppose f = -2*n - 2*n + 36. Does 9 divide n?
True
Does 10 divide (40/(-6))/((-2)/3)?
True
Suppose -3*z + 39 = s, z - 9 = 4*z. Does 29 divide s?
False
Let q = 0 - 2. Let b(k) = -30*k - 5. Is 11 a factor of b(q)?
True
Suppose 2*f - 29 = -5. Does 6 divide f?
True
Does 25 divide 184 - (0 + -1 + -2)?
False
Does 16 divide (96 - -1) + -2 + 1?
True
Let z(s) = 2*s - 2. Let d be z(3). Suppose -4*b + d + 12 = 0. Suppose -n - 40 = -5*j + 7, -5*n + 55 = b*j. Is 4 a factor of j?
False
Suppose 754 = 2*q + 96. Is q a multiple of 47?
True
Let h = 153 - 88. Does 10 divide h?
False
Is 8 a factor of (2 - -112) + 8/(1 + -5)?
True
Let z = 10 + -8. Suppose -4*p = -4*r + 48, z*r - 10 - 4 = p. Let f = p - -16. Is 6 a factor of f?
True
Suppose -2*f - f = 4*k + 5, -4*f = -2*k - 30. Suppose -f*w + 4*r = -31, 0*w - w + 3*r = -15. Is 5 a factor of 14*(-3)/((-9)/w)?
False
Let q(z) = -z**2 + 8*z + 9. Let d be q(7). Let y = -2 + d. Does 14 divide y?
True
Suppose -3*l + 324 = -5*w, 3*w + 160 + 56 = 2*l. Is l a multiple of 12?
True
Let g = 142 - 79. Does 19 divide g?
False
Suppose 9*u + 5*u - 2730 = 0. Does 20 divide u?
False
Suppose h + h - 6 = 0. Let l be (-8)/((-5)/(-2) - 3). Suppose l = h*m + m. Does 4 divide m?
True
Let v = -16 - -44. Is 14 a factor of v?
True
Let t(z) = 4*z**2 + 0*z**2 - 2 - 2 - 5*z. Let d be t(-4). Suppose p - d = -4*p. Is p a multiple of 8?
True
Let u = -94 + 145. Let g = u - -14. Suppose g + 52 = 3*h. Is 13 a factor of h?
True
Let f = -42 - -9. Let n = f - -73. Suppose -n - 29 = -3*z. Is 9 a factor of z?
False
Suppose z - 12 = 6. Is 3 a factor of 9 - (z/(-3))/(-2)?
True
Let o = 23 - 18. Let f(b) = b**2 - 4*b + 7. Is f(o) a multiple of 12?
True
Suppose 86 = 5*r - 19. Suppose -5*a + 9*a = -3*c + 24, -a = 2*c - r. Does 12 divide c?
True
Suppose q - 2*y + 6 = 0, 0 = -2*q - 3*y + 4 + 12. Suppose -a - 2*o = 21, q*o = 3*a - 2*o + 113. Let n = 51 + a. Is 10 a factor of n?
True
Let l(u) = u**3 + 3*u**2 + u + 3. Let p be l(-3). Suppose p = 2*n + 3*k - 2*k - 45, 0 = -5*n - k + 105. Is n a multiple of 20?
True
Suppose -13*y + 10*y = -36. Is y a multiple of 6?
True
Let r = -16 - -26. Let s be (8/r)/2*15. Does 19 divide (-38)/(-6)*(0 + s)?
True
Let c be (4/6)/(1/(-3)). Let i be 5/c*(-8)/(-2). Is 15 a factor of 627/15 + (-2)/i?
False
Let u(z) be the second derivative of z**5/20 + z**4/12 - z**3/6 + 41*z**2 - 8*z. Is 22 a factor of u(0)?
False
Suppose 19*y - 4530 = -312. Does 8 divide y?
False
Suppose 0 = 5*h + 10, -2*v + h = -0*v - 198. Suppose -2*r = -5*y + v, 2*y - 2*r - 42 = -4*r. Is 9 a factor of y?
False
Suppose y - 228 = -3*y. Suppose 63 = 5*i - y. Is 7 a factor of i?
False
Suppose -4*v + 30 - 10 = 0. Suppose -3*m - y - 3*y + 25 = 0, -2*m - 5*y + v = 0. Is 15 a factor of m?
True
Let l(z) = z**2 - 5*z + 2. Let q be l(5). Is (-1)/q + 189/18 a multiple of 5?
True
Let b be (0 - -24)*(-6)/8. Does 15 divide 315/b*(-24)/14?
True
Let y be 1 + -5 - (-2 - -4). Is 24*4/(-36)*y a multiple of 4?
True
Let i(m) = -m + 6. Let p be i(9). Let j be p/4*(1 + 3). Is 3 a factor of (2/j)/((-8)/48)?
False
Does 20 divide -4 - -3 - (-79 - 2)?
True
Suppose -5*b - 2*u = 3*u + 40, -5*b - 3*u = 30. Let p(s) = -2*s + 1. Is 2 a factor of p(b)?
False
Let l(z) = z**3 - 6*z**2 + 6*z + 1. Let m be l(5). Let i(c) = -2*c**2 + 8*c + 2. Let a be i(m). Is (-898)/a - (-2)/11 a multiple of 24?
False
Let w = 92 + -50. Let v be 3/(-6)*(3 - 163). Let u = v - w. Is 19 a factor of u?
True
Let y(w) = -w. Suppose 3*o = o - 6. Let c be y(o). Suppose c*i - 53 = 4*j, -2*i - j - 49 = -6*i. Is i a multiple of 5?
False
Is 4 a factor of 2*-1*4/8*-25?
False
Let f = -6 - -10. Suppose 0 = -f*z - j + 267, -2*z + 7*z + 2*j - 336 = 0. Suppose -5*p + 3*p + z = 0. Does 15 divide p?
False
Suppose -m = -3*m - 2. Is 0 - (1 - -10)/m a multiple of 11?
True
Let q = -271 + 481. Is 14 a factor of q?
True
Suppose 2*p + 80 = 4*p + m, -2*p + 3*m + 64 = 0. Is p a multiple of 19?
True
Let g(i) = -62*i - 9. Does 12 divide g(-2)?
False
Suppose 5*v + 207 = 4*l + 2*v, -2*v = 5*l - 230. Suppose 4*f + l = 4*t - 0*t, -2*t = -3*f - 22. Is t a multiple of 14?
True
Let x = 11 + -4. Is 7 a factor of x?
True
Suppose 6 = 3*a + 3*u, -5*a + 2*u = -3*u + 10. Is 3 a factor of (0 - -8) + (a - -1)?
True
Suppose 3*n + n = 20. Suppose -2*a + 86 = -0*a + 4*k, -n*a + 223 = 2*k. Is 12 a factor of a?
False
Let y be (7/7)/(0 + -1). Let c = 1 - y. Suppose t + 52 = o + 2*o, 63 = c*o + 5*t. Is o a multiple of 19?
True
Suppose -66 - 30 = -6*y. Is y a multiple of 7?
False
Let d(g) = -3*g - 1. Let x = -11 + 8. Does 8 divide d(x)?
True
Let r(l) = 2*l**2 - 3*l - 10. Is 10 a factor of r(-5)?
False
Suppose -2*v - v + 300 = 0. Suppose 2*f - r - 52 = -2*r, 0 = 5*f - 5*r - v. Is f a multiple of 14?
False
Let y = -7 - -3. Let j = y + 6. Suppose -2*k - j*k + 20 = 2*v, -4*k = -3*v + 50. Does 14 divide v?
True
Suppose -19 = 4*z + 5*d, -z + 2*d - 10 = 5*d. Let i be z/(-2) + (-1)/2. Suppose 0 = 5*g - l - 166, -2*l = -i*l - 8. Is g a multiple of 17?
True
Let v be (-4)/1*6/(-8). Suppose -v*z + 4 = -11. Does 3 divide z?
False
Let r(f) = -f**3 + 4*f**2 - 3*f. Let m be r(3). Suppose m = -0*u + 3*u - 9. Suppose -q = u*q - 120. Is q a multiple of 15?
True
Let t = 835 + -571. Does 22 divide t?
True
Suppose 2*c = -3*u - 0 + 11, 27 = 5*u - c. Suppose u = 3*h - 13. Suppose 37 = 3*p + 4*q, -h*p + 5*q + 50 = -p. Is 11 a factor of p?
True
Suppose 4*b + 9 = b, -t = -5*b - 52. Is 15 a factor of t?
False
Let q = 71 - 31. Suppose q = -t + 2*t - 2*s, 0 = t + 3*s - 30. Is 12 a factor of t?
True
Let r(u) = -9*u**2 - 3*u + 3. Let o be r(2). Let m be o/4 - 2/8. Let y = m + 44. Is 17 a factor of y?
True
Suppose -5*i = -26 - 39. Suppose i = 3*r - a - 6, -25 = -r + 5*a. Let d = 13 + r. Does 9 divide d?
True
Let f be 23/3 - (-4)/12. Let u = 11 - f. Is u a multiple of 2?
False
Suppose q - i = 42, -2*i = -7*i - 25. Does 23 divide q?
False
Let f(g) = 5*g**2 + 6*g + 4. Is f(-4) a multiple of 20?
True
Suppose -3*j = 2*j + 35. Let s(a) = a**3 + 6*a**2 - 7*a + 10. Does 5 divide s(j)?
True
Let z(r) = -r**2 + 3*r. Let c be z(3). Suppose h + c*h - 3*g - 15 = 0, 39 = 4*h - 5*g. Does 6 divide h?
True
Let t(p) = 35*p - 9*p - 1 + 48*p. Let z be t(1). Let y = z - 51. Does 22 divide y?
True
Suppose 0 = 4*n - 2*b + 12, 5*b + 4 = -6. Does 15 divide (-290)/(-8) - (-1)/n?
False
Let u = -72 + 39. Let c = -55 - -2. Let q = u - c. Is 10 a factor of q?
True
Let h = 68 + -46. Does 9 divide h?
False
Is 13 a factor of (-74)/(-6) - 2/(-3)?
True
Let x(s) = 25*s + 9. Is 12 a factor of x(3)?
True
Does 45 divide (-34 + 4)/(2/(-3))?
True
Suppose 4*u + 73 = -3*m, -5*u + u = -2*m - 82. Let q(t) = t + 1. Let p be q(1). Is 0 + 4/p - m a multiple of 12?
False
Let a(f) = -6 - 1 + 0. Let y(v) = v + 8. Let z(u) = -5*a(u) - 4*y(u). Is 9 a factor of z(-4)?
False
Let t = -4 + 6. Does 11 divide t/(-3) + 35/3?
True
Suppose 6*j = 2*a + 4*j - 918, 2*a - 921 = 5*j. Is 13 a factor of a?
False
Let a = -99 - -136. Does 4 divide a?
False
Suppose 23*l = 20*l + 78. Does 10 divide l?
False
Let u = -43 + 80. Is u a multiple of 6?
False
Suppose 0*u + 3*u = 0. Let h(p) = -p + 11. Let l(v) = v - 12. Let r(k) = -6*h(k) - 7*l(k). Is 9 a factor of r(u)?
True
Let v(l) = 78*l - 1. Does 20 divide v(5)?
False
Suppose 0 = -8*k + 191 + 73. Is 11 a factor of k?
True
Is 6 a factor of ((-3)/(-5))/(408/80 - 5)?
True
Suppose -2*q + 6*q + l - 159 = 0, 38 = q + 2*l. Is q a multiple of 20?
True
Let c = -16 - -10. Let t = c + 11. Suppose t = 2*d - 7. Is d a multiple of 6?
True
Let w(z) = -z**2 - 4*z + 3. Let o be w(-4). Let u(i) = 8*i**o - 2*i**3 + 1 - i**2 + 8*i**3. Is u(1) a multiple of 7?
True
Suppose 2*m + 6 = 0, a - 5*m = 26 - 8. Suppose 4*s - 49 = 67. Suppose 25 = a*w - s. Is 18 a factor of w?
True
Suppose 3*q - 14 = j - q, -3*j = -5*q + 7. Is (-132)/(