?
True
Suppose 0 = -3*t - 3*l + 15, 0 = -0*t + t - l - 1. Is 36/21*t*42 a multiple of 12?
True
Let j(u) = 23*u**2 + 14*u + 71. Is 12 a factor of j(-4)?
False
Let c = 280 - 84. Is 4 a factor of c?
True
Let m(h) = -h**2 - 12*h. Let k be m(-12). Suppose k = 2*q - 6*q + f + 1569, -f + 1575 = 4*q. Suppose -5*o = 113 - q. Is 14 a factor of o?
True
Let u(n) = -2*n**3 - 14*n**2 - 40*n + 36. Is 12 a factor of u(-9)?
True
Let m = 50 - 113. Let o = 145 + m. Suppose 5*h = -2*l + o + 55, -4*h + 20 = 0. Does 14 divide l?
True
Let r(f) = -f**2 + 113*f + 168. Is r(36) a multiple of 28?
True
Let g = 27 - 48. Let a = g + 14. Let y = 12 - a. Is 4 a factor of y?
False
Let k(m) = 2*m + 29. Is 6 a factor of k(22)?
False
Suppose 1971 = 16*r - 3597. Is 16 a factor of r?
False
Let i = -644 + 2167. Is i a multiple of 46?
False
Let j = 177 + -37. Does 21 divide (18/(-30))/((-4)/j)?
True
Let w(y) = y**2 - 4*y - 7. Let h be w(6). Suppose -h*m - 32 = -9*m. Is 4 a factor of m?
True
Does 6 divide ((-570)/399)/((-1)/224)?
False
Let l(i) = -i**3 + 7*i**2 - 8*i + 8. Let x be l(6). Let d be -3 + x*(-9)/12. Suppose d = -3*m - 0*m - 5*p + 33, 11 = m - p. Is 11 a factor of m?
True
Suppose 0 = -4*m - 3*u + 148, -7*m + 4*u + 136 = -4*m. Does 8 divide m?
True
Does 18 divide 596*(42/(-168) - (-3)/2)?
False
Suppose 0*x = 6*x - 29568. Suppose -15*o = -o - x. Is o a multiple of 32?
True
Let o(j) = -9 - 23*j + 17*j + 7*j + 16*j. Does 8 divide o(9)?
True
Let p(i) = i + 1. Let z(u) = -u**2 + 12*u - 2. Let f(m) = 6*p(m) - 2*z(m). Is f(13) a multiple of 19?
True
Let k(q) be the third derivative of q**6/120 - q**5/10 - 13*q**4/24 + 10*q**3/3 - 14*q**2. Is k(8) a multiple of 41?
False
Let v = -67 + 104. Suppose v = 3*l - 2*d, 2*l + 4*d + 2 = -0*d. Does 3 divide l?
True
Let b be (-4)/(-3 - -7)*-3. Suppose -b*a + 3*s + 900 = 0, -2*a + 596 = 2*s - 0*s. Does 23 divide a?
True
Suppose 0 = -5*l + 9*l - t - 167, l - 4*t - 23 = 0. Let y(s) = -20 - 2*s**3 + 3*s**3 + 18*s**2 + l*s - 45*s. Does 4 divide y(-18)?
True
Suppose 2 = 10*a - 108. Suppose -2*c - 5*l + 140 = 0, a = 3*l + 5. Is 5 a factor of c?
True
Suppose 0 = c - 2*c - 1. Let k = c - -6. Suppose -k*w = -140 - 100. Does 16 divide w?
True
Let n be (6 - -3)*2/3. Suppose -3*w - 367 = -4*x, -n*w - 277 = -3*x - 2*w. Does 7 divide x?
True
Suppose 0 = -24*w + 23401 + 3239. Does 38 divide w?
False
Is 2/4 + ((-73822)/(-28) - 20) a multiple of 35?
False
Suppose 0 = -11*s + 7*s + 272. Let m = -40 + s. Let j = m - 15. Does 4 divide j?
False
Let f(q) = q**2 - 7*q + 11. Let r be (-1 - 1)/(6/(-33)). Is f(r) a multiple of 18?
False
Let h be (-15 + 8)*(-2 - -1). Let a be (-15 - -16)*-1*(0 - 0). Does 2 divide (15 - 15) + (h - a)?
False
Let l be (40/1)/(-2) + 0/7. Let z = 10 - l. Is 6 a factor of z?
True
Suppose -68 = -4*i - 0. Is 17 a factor of i?
True
Let p = -6 - -8. Let a(b) = 4*b**2 + 4*b - 8. Is 16 a factor of a(p)?
True
Let t(f) = -409*f**3 - f**2 - f + 1. Is 82 a factor of t(-1)?
True
Let n = 31 - 49. Let t be n/(-5) - 15/25. Suppose 3*u - 57 = 2*a, u = -t*a + 2*a + 24. Does 21 divide u?
True
Let g = -12 + 15. Let n be (4 - g)*3 + 4. Is 4 a factor of (-3)/(-7) - (-165)/n?
True
Suppose 0 = 4*r - 3*w - 13 - 1, -r - 3*w = -11. Suppose 48 = 3*u - r*l, 32 = 2*u - l - 7. Is u a multiple of 7?
True
Suppose 0*b + 4*b - 44 = -2*a, 2*b = 2*a + 34. Let x = b - 10. Suppose w + 5*c = 10, x*w + 0 = -4*c + 74. Does 15 divide w?
True
Suppose 4*i - 30 = 9*i. Let r(v) = -v**3 - 12*v**2 - 3*v + 3. Let c be r(i). Is (c/(-10))/((-3)/(-6)) a multiple of 13?
True
Does 35 divide 1676 + 1 + 88 + -85?
True
Suppose -4*o = 5*v - 20, -16 = -4*v - 0*o - 5*o. Suppose v*l = 3*d + 104, 3*d - 2*d = -2*l + 52. Does 13 divide l?
True
Let q be 4 - (4 + (-3 - -1)). Is 5 a factor of (q - -1 - 4) + 16?
True
Let q be ((-8)/8)/((-2)/4). Suppose -15 = -3*x - q*x. Suppose 2*u = x*u - 91. Does 29 divide u?
False
Is 5 a factor of (2 + (-2877)/6)/((-30)/60)?
True
Suppose 38 = l - 6*d + 2*d, -5*l - 3*d + 98 = 0. Does 12 divide l?
False
Let t = 764 - 1420. Let y = -359 - t. Does 24 divide y?
False
Let l(p) = -16 - 60*p - 35*p + 3*p. Is l(-2) a multiple of 27?
False
Suppose 5*g - 24 = -9. Suppose 4*b + 4*t = -0*b - 4, 0 = -5*b - 2*t + 4. Suppose 2*l = 2*v - g - 27, -b*l = -2. Is 8 a factor of v?
True
Let d = -12 - -32. Suppose -2*r = 5*a - 88, -2*a = -4*r - 20 - d. Does 6 divide a?
True
Let x be 4/(51/(-15) - -3). Let k be (-60)/(-14) - x/(-35). Suppose -3*l + k*l = 53. Does 13 divide l?
False
Let x = 6208 - 3319. Is 29 a factor of x?
False
Let c be (2/6)/((-5)/(-30)). Suppose -5*w - 4*l + 442 = 0, -238 + 52 = -c*w + 3*l. Is w a multiple of 10?
True
Let w(m) = -m**3 + 9*m**2 + 11*m - 9. Let p be w(10). Is 25 + p/(-2)*8 a multiple of 7?
True
Let r(z) = 10*z - 2 - 6*z + 7*z. Does 19 divide r(2)?
False
Suppose -24 = -7*v + v. Is (v/(-6))/((-2)/207) a multiple of 28?
False
Suppose 24*z = 8455 + 13193. Does 82 divide z?
True
Is 87 a factor of 0 + (-8648)/(-11) + 310/(-1705)?
False
Suppose -q + 1 + 26 = 0. Let m(r) = 3*r + q*r**2 - 15*r + 11*r. Does 13 divide m(1)?
True
Suppose 5*q + 5 = -3*l, 3*l + 3*q + 16 = 1. Let x(k) = k**3 + 16*k**2 + 23*k - 68. Let u be x(-14). Is 13 a factor of (6/l)/(u/(-130))?
True
Let f be (-18 + 1 - -1)/1. Let l = 16 + f. Suppose 3*i - 3*m - 162 = l, i + 3*m - 88 = -i. Is i a multiple of 10?
True
Let q = -216 + 57. Let z be (-2)/(-11) + q/(-33). Suppose 83 = z*d - 217. Is d a multiple of 15?
True
Let c(i) = -15*i**2 - i + 2. Let t be c(-1). Is 14 a factor of (824/(-6))/(t/18) + 4?
True
Let y = -286 + 486. Is 50 a factor of y?
True
Suppose -4*p = -13*p + 54. Suppose u + 260 = 3*u. Suppose u = -p*r + 11*r. Does 13 divide r?
True
Let v(l) = 11*l - 1. Suppose -2*i - 3 = -1. Let u(x) = -x - 1. Let r(p) = i*u(p) + v(p). Does 12 divide r(4)?
True
Suppose 1188 = -2*q + 3916. Does 22 divide q?
True
Let t(b) = b**2 - 19*b + 22. Let z be t(18). Suppose 3*c + 1 = -5*i, 5*c + i = 3*c + z. Let y(d) = 28*d + 2. Does 26 divide y(c)?
False
Is 28 a factor of (7*1/(-3))/((-13)/2262)?
False
Suppose -13 = -7*t - 55. Is 43 a factor of ((-1290)/t)/(-1 - (-6)/3)?
True
Let r be (39/(-12))/1*4*-13. Suppose -r = -7*c - 15. Is 22 a factor of c?
True
Let p(o) = 15*o + 33. Let w(l) = -60*l - 133. Let n(z) = 9*p(z) + 2*w(z). Does 35 divide n(7)?
False
Suppose -z = -5 + 9. Is 12 a factor of ((-552)/30)/(-1 + z/(-5))?
False
Suppose -111*t = -68289 - 64800. Is t a multiple of 22?
False
Suppose 31 = -4*w + 7. Let m be (-8)/2*69/w. Let h = m - 19. Is 12 a factor of h?
False
Let k(t) = -9*t + 2*t**2 + 31 - 23 + 11. Is k(9) a multiple of 42?
False
Let k = -38 + 27. Let i = -6 - -30. Let a = k + i. Is a a multiple of 13?
True
Let c(b) = b**2 + 6*b + 13. Suppose 0 = -a - 2*s - 0 - 4, -3*a + s - 19 = 0. Let m be c(a). Suppose -2*t + m = 5. Is 2 a factor of t?
True
Let a = 1082 + -427. Is a a multiple of 2?
False
Suppose 34 = 2*d - 4*s - 2, -4 = 4*s. Suppose u = 2*h - 3*u - d, -3*u = 5*h - 66. Is 3*(148/h - -2) a multiple of 20?
False
Let v = 17 - 12. Suppose -v*l + 125 = -55. Let f = -20 + l. Is f a multiple of 16?
True
Suppose -3*y - 3 = -k, -2*k = -3*k. Let g(z) = -92*z**3 - 2*z**2 - 2*z. Does 14 divide g(y)?
False
Let i be 138/(-3) + (3 - 5). Let l = 1 - i. Is l/((-3)/(-3)) - -1 a multiple of 22?
False
Suppose -9558 = -31*p + 22*p. Is 18 a factor of p?
True
Let p = 33 + -33. Suppose p*d - 12 = -3*d. Suppose -d*c - 4 = 0, -r - 2*c + 1 + 5 = 0. Is r a multiple of 3?
False
Let l(h) = 24*h - 7. Let k be l(9). Let z = k - 109. Is z a multiple of 7?
False
Suppose 0 = 48*p + 7*p - 18480. Does 84 divide p?
True
Let d = 1147 - -1188. Is 17 a factor of d?
False
Let y(a) = -a**2 + 13*a - 11. Let t be y(11). Let f(b) = 2*b - 14. Let n be f(t). Is 1 - (-4)/n*14 even?
True
Suppose 9 = -3*i, 16*i = -3*v + 19*i + 8073. Is v a multiple of 96?
True
Suppose -6*w - 12 = -2*w. Let v(c) = -2*c**3 - 2*c**2 + 5*c + 3. Let g be v(w). Does 2 divide (g/(-14))/(4/(-14))?
True
Let y = -834 - -1285. Is y a multiple of 41?
True
Suppose 2*x = 5*x + 5*k - 1075, -3*x = k - 1079. Is 40 a factor of x?
True
Suppose -21 - 3 = r. Let g = 13 - 59. Let n = r - g. Does 5 divide n?
False
Let s(o) = o**3 - 11*o**2 + 14*o - 11. Let v be s(10). Suppose 10*n + v = 3*w + 5*n, 3*w = -n + 23. Suppose w*g - 9*g + 2 = 0. Is g a multiple of 2?
True
Let j be (-12 + 24)*1