 of j?
True
Let f = -42 - -288. Is 23 a factor of f?
False
Suppose -428 - 310 = -6*v. Does 13 divide v?
False
Let f be 1*(-1 - (2 + -1)). Does 21 divide 2*((-19)/(-2) - f)?
False
Suppose 0 = 6*x - 0*x - 150. Is x a multiple of 12?
False
Let c(x) be the third derivative of -1/120*x**6 + 0 - 2/15*x**5 - 2*x**2 - 1/2*x**3 - 1/24*x**4 + 0*x. Is 4 a factor of c(-8)?
False
Let r(j) = j**2 + 5*j + 4. Let o be r(-3). Let h = o - -23. Does 10 divide h?
False
Let z(l) = l**2 - l - 10. Let u be z(5). Let y(v) = v**3 - 10*v**2 + 3*v + 10. Does 10 divide y(u)?
True
Does 10 divide 41 - (1 + 6/3)?
False
Suppose -2*m - 5 = 4*w + m, -5*w + 2*m - 12 = 0. Let h be (-1 + 3 + w)/1. Suppose -2*l - l + 13 = -2*b, l - 5*b + 13 = h. Does 3 divide l?
False
Suppose -2*t + 18 + 6 = 0. Let n(l) = -l**3 + 13*l**2 - 8*l - 11. Is n(t) a multiple of 18?
False
Suppose 0 = -0*s + 2*s. Suppose s = 4*t - 0 - 8. Let m(u) = -u**2 + 4*u + 1. Is 5 a factor of m(t)?
True
Let d(a) = 47*a**2 + 8*a + 28. Is 61 a factor of d(-3)?
True
Let m = -199 + 303. Suppose 5*c + 0 = -4*y + m, -y + 2*c + 26 = 0. Does 13 divide y?
True
Suppose -81 = 3*a - 4*a. Is a a multiple of 12?
False
Suppose -2*g = -2*d - 3*g + 101, 3*g = 4*d - 207. Does 20 divide d?
False
Let k be (8/5)/(6/15). Suppose -v = -0*v - k. Suppose -37 = -u - 5*i, 8*u - 3*u = -v*i + 80. Is u a multiple of 6?
True
Let m = -27 + 31. Is 4 a factor of m?
True
Let o be (-6)/3 + 4 + 1. Suppose z + 4 = o*z. Is z a multiple of 2?
True
Let t(l) = l**2 + 2. Let z = -2 + 0. Let c be t(z). Suppose -3*s - 33 = 2*y - 5*y, 0 = 2*y + 2*s - c. Is y a multiple of 4?
False
Is 119 - (-5 - -4 - 0) a multiple of 15?
True
Suppose 97 = 4*b - 19. Is b a multiple of 17?
False
Suppose 3*l + 0*l = 5*z + 25, -19 = -l - z. Does 14 divide ((-156)/l)/(3/(-15))?
False
Does 7 divide (40/6)/(-2 - (-44)/21)?
True
Let z(c) = -5*c. Let v be z(-1). Suppose k = w - 1, v*w + 0 = 2*k + 8. Suppose 48 = w*m + 2*m. Is 6 a factor of m?
True
Let p = -5 + 25. Suppose p = -6*l + l. Is 11 a factor of (l - -5)*1*13?
False
Let u(r) = -87*r + 1. Let z be u(-1). Let h = z - 35. Is h a multiple of 15?
False
Let t(y) = 2*y + 5. Let m(x) = -2*x - 6. Let b(d) = 5*m(d) + 6*t(d). Does 8 divide b(4)?
True
Let x(p) = p**3 + 8*p**2 - 2*p + 2. Suppose -9 = 2*q + 7. Is 18 a factor of x(q)?
True
Let o(a) = -a**3 + 10*a**2 - 11*a + 5. Let r be o(7). Suppose r = 5*i - 30. Let y = 33 - i. Is 6 a factor of y?
True
Let k(x) = -9*x - 3. Let q be k(-3). Suppose 9 = -5*t + q. Suppose t*c = -2*c + 45. Is c a multiple of 5?
False
Let u(d) = -d**2 - 11*d - 8. Let y be u(-8). Is 10 a factor of y/20 - 86/(-5)?
False
Suppose 5*p - 40 + 10 = 0. Suppose -5*j + 4*r + 9 = 0, 5*j - 7 - p = 3*r. Suppose -8 - 1 = -3*g, -j*d = -2*g - 124. Does 26 divide d?
True
Suppose -x = -l + 49, -3*x = 3*l - 0*x - 129. Is 23 a factor of l?
True
Let s(r) = r. Let g be s(1). Let k be (2 - g)*(5 + -3). Suppose -o = -k*o + 7. Is o a multiple of 4?
False
Let j = -14 + 24. Is 10 a factor of ((-52)/j)/((-4)/10)?
False
Suppose 80 = -3*a - 40. Let h be ((-6)/(-5))/((-12)/a). Suppose -123 = -h*r + r. Does 12 divide r?
False
Let l(y) = 3*y - 10. Let j = -4 - -11. Does 11 divide l(j)?
True
Let r(k) = 21*k - 41. Let c(x) = 5*x - 10. Let l(d) = 9*c(d) - 2*r(d). Let j be l(6). Suppose 0 = 5*v + j, -5*w = -3*w - 5*v - 64. Does 12 divide w?
False
Let t = -169 - -511. Is 38 a factor of t?
True
Suppose 1 = -3*i + 5*i - 3*k, -k + 5 = 0. Let q be ((-3)/(-1))/(6/i). Suppose -5*d + 87 = -3*p, -3*p + 48 = q*d - 0*p. Is d a multiple of 5?
True
Let w(k) = 0*k**2 + 2*k + 4 - 3*k**2 + 0*k**2 - 2*k**3. Suppose 12*o = 4*o - 24. Does 23 divide w(o)?
False
Let n be (-52)/2 + 1 + -1. Let f be 2*(-2 + n/(-4)). Let c = f - -5. Does 10 divide c?
False
Let i(u) = 2*u**2 + 6*u + 10. Let p be 3*1*(-15)/9. Is 11 a factor of i(p)?
False
Let y be 0 - -1 - 38/2. Let k be 3 - y/(-3) - -3. Suppose k = 2*i - 5*i + 72. Is i a multiple of 7?
False
Suppose -4*g + 357 = -191. Does 8 divide g?
False
Let y(d) = 3*d**2 - 2*d. Let r be y(2). Does 11 divide 1/2 - (-196)/r?
False
Suppose 0 = -4*u + 4, -42 - 123 = -4*g + 3*u. Is 6 a factor of g?
True
Let m be -14 + (0/(-3) - 1). Let t = m - -52. Is t a multiple of 15?
False
Suppose 2*v + 4*k - 7*k = -15, -v = 2*k - 10. Let a be -2*1*(v - 2). Suppose -a*l + 8 = -0*l. Is l even?
True
Let y(h) = h - 6. Let c be y(10). Suppose -33 = 3*l - c*l. Is 11 a factor of l?
True
Let b(z) = z**2 - 4*z + 13. Is b(-7) a multiple of 18?
True
Let w(x) = x**3 + 6*x**2 + x - 3. Let p(f) = -f**2 + 10*f - 9. Let b be p(7). Suppose -b = 2*j + j. Does 15 divide w(j)?
False
Suppose 0*p = 3*p + 18. Let i be (-134)/26 - p/39. Let b = 3 - i. Is b a multiple of 8?
True
Let z = -217 - -418. Is z a multiple of 30?
False
Let j = -3 + 6. Suppose 0 = -4*s + 2*y + 46, -j*s + y = 2*s - 62. Suppose 0 = x - 0*x - s. Is 11 a factor of x?
False
Let w(u) = 4*u - 34. Is w(21) a multiple of 10?
True
Let l = -493 - -703. Suppose -o = 2*o - l. Let q = o - 39. Does 11 divide q?
False
Let h(u) = u**2 + u - 8. Does 9 divide h(-6)?
False
Let p(t) = 2*t + 2. Let y be p(4). Let s be 1/(-2) - 14/(-4). Suppose 3*x + y = d, -s*d - 2*x + 3*x + 62 = 0. Does 15 divide d?
False
Let z be 2/(-4) + 83/2. Suppose 40 - 3 = 4*p + h, -5*p = -4*h - z. Does 9 divide p?
True
Let l(y) be the first derivative of -16*y**2 + y - 4. Is 11 a factor of l(-1)?
True
Let s = -9 - -16. Let i = s - -18. Suppose 4*f - i = -f. Does 2 divide f?
False
Suppose -5*b - 3 = -38. Let d(z) = -7*z - 15. Let c(p) = -10*p - 23. Let j(n) = -5*c(n) + 7*d(n). Is j(b) a multiple of 11?
False
Let l(r) = 0 + r**3 + 3*r**2 + 6*r - 4 - 6*r**2. Is l(4) a multiple of 18?
True
Suppose 0 = 3*f + t - 151, -2*f + 3*t + 99 = 4*t. Suppose 2*q + s - 13 + 1 = 0, 5*q - 3*s - f = 0. Let r = -3 + q. Does 3 divide r?
False
Let l(o) be the second derivative of 65*o**4/12 - o**3/6 - 3*o. Is l(1) a multiple of 23?
False
Suppose d = 4*q + 3*d - 64, 4*q = 3*d + 54. Does 11 divide q?
False
Is 1/2*-1*-40 a multiple of 5?
True
Let v be 0 - 2/((-6)/87). Suppose w - 29 = -2*l + v, l + 4*w = 43. Is 8 a factor of l?
False
Suppose -5*d = 3*k - 164, -5 = 2*d - 13. Does 8 divide k?
True
Let b(d) = -3*d. Let u be b(-2). Suppose -x = -u - 9. Is 15 a factor of x?
True
Suppose f + 4*l = 9, 3*l + 2 + 43 = 5*f. Is (f/4)/((-6)/(-16)) even?
True
Let c(m) = m**3 - 5*m**2 + 8*m - 6. Suppose 3*l + f - 45 = 0, -5 + 20 = l - f. Suppose 4*a - l = a. Does 13 divide c(a)?
False
Let l = -32 - -17. Let d = l - -33. Is 6 a factor of d?
True
Suppose 4*u + 0*u + f = 95, 4*f = -2*u + 44. Is 15 a factor of 3/((-36)/(-15))*u?
True
Let a(y) = 122*y**2 - 6*y + 5. Does 7 divide a(1)?
False
Let h = -75 + 96. Does 21 divide h?
True
Let h = 1 - -1. Let n be 2/9 - (-133)/9. Suppose -n = -h*i + 49. Is 12 a factor of i?
False
Let x = -141 - -169. Does 7 divide x?
True
Let y(w) = -w**3 + 11*w**2 - 4*w - 13. Is 21 a factor of y(8)?
True
Let q be -2 + 0 - (-10)/5. Suppose 4*d - 3*t + 0*t - 107 = 0, -4*d + t + 97 = q. Is 7 a factor of d?
False
Let h = 23 - 15. Suppose -3*b - 4*d + 46 = 0, -4*b + 2*b + 3*d + h = 0. Is b a multiple of 10?
True
Suppose 0 = -5*k - 5*n + 520, -5*k + 7*n + 502 = 3*n. Is 17 a factor of k?
True
Let g(i) = i**3 - 3*i**2 - 3*i - 1. Let r be g(5). Suppose -5*n + 2*a + a = -r, a = 5*n - 28. Suppose -35 = -n*u + 55. Does 18 divide u?
True
Let u(d) = -11*d + 4. Is u(-7) a multiple of 24?
False
Suppose -o = 7 - 131. Does 12 divide o?
False
Let b(o) = -o**2 + 7*o + 4. Let z be b(7). Suppose 9 = -f + z*f. Suppose 0*g + 144 = f*g. Does 17 divide g?
False
Let p(y) = 7*y**3 - 3*y**2 - 2*y + 3. Is p(3) a multiple of 10?
False
Let q = -6 - -6. Suppose q*x + 4*x = 60. Is 15 a factor of x?
True
Suppose 2*r - 406 = -4*z, 5*z - 509 = -0*r - 2*r. Is 15 a factor of z?
False
Let b(y) = -y - 7. Let u be b(-9). Let g be 5/20 + 1/(-4). Suppose g = u*q - 132 + 40. Is 16 a factor of q?
False
Let t(s) = -3*s + 4. Let c be t(5). Let m = c + 25. Is 14 a factor of m?
True
Suppose 0 = -2*n - 4*p + 150, n = 5*n + p - 335. Is n a multiple of 29?
False
Let x = -1 + 22. Let i = x + -12. Does 9 divide i?
True
Suppose o - 10 = -o. Let u = o + 3. Let w = u + 5. Is w a multiple of 11?
False
Suppose 2 = -4*l - 5*p, -2*p - 8 = 4*l - 6*l. Suppose 13 = l*s + 1. Is 2 a factor of s?
True
Let f(q) be the second derivati