 of j?
True
Let v(u) = u**2 + 10*u + 15. Is v(-13) a multiple of 27?
True
Suppose 419 + 346 = 3*f + 3*p, -4*p = -8. Is f a multiple of 10?
False
Let d = 53 - -17. Is d a multiple of 14?
True
Let g be (-10)/6*(-2 + -1). Suppose -3*w + 13 = t - 7*w, g*t = 2*w + 65. Is 12 a factor of t?
False
Suppose -5*o + 3*x = x - 70, 5*o = x + 70. Is o a multiple of 14?
True
Suppose 19 = -l - 4*v, v - 6*v = -2*l + 27. Let o = l - 6. Does 14 divide ((-28)/(-10))/((-1)/o)?
True
Suppose 5*d = -5*q + 35, q + d = -q + 10. Suppose 5*r - 235 = -5*t, 2*t + t + r - 139 = 0. Is t/q + 4/6 a multiple of 16?
True
Suppose -2*i + 6 + 138 = 0. Is i a multiple of 23?
False
Let a(s) = -s**2 + 13*s - 9. Let d(z) = z**2 - 12*z + 9. Let v(g) = -2*a(g) - 3*d(g). Suppose -j = 4*j - 35. Does 4 divide v(j)?
True
Let j(w) = w**3 - 2*w**2 - 2*w - 1. Let n be j(3). Suppose 0 = -n*h + 6*h. Suppose h*f + 4*f = 120. Is f a multiple of 15?
True
Let v(h) be the second derivative of h**4/6 - 4*h**3/3 + 3*h**2/2 - 3*h. Is v(6) a multiple of 9?
True
Let t(y) = -y**3 - 6*y**2 + y + 3. Let r be t(-6). Let a be 872/(-6) + 4/(-6). Is a/(-6) - 2/r a multiple of 9?
False
Suppose -30 = -y - 4*y. Let s(r) = 4*r + 8. Does 16 divide s(y)?
True
Let t be (-1)/((-4)/12)*1. Suppose 3*f = 3*m + 5*f - 74, 43 = m - t*f. Is m a multiple of 14?
True
Suppose -3*l - 3*f = -441, 3*f = -5*l - f + 732. Is l a multiple of 19?
False
Suppose -29 = -a - 7. Suppose -3*g + a = -2. Is 4 a factor of g?
True
Suppose -q + 18 = 4*u, 2*q + 12 = 2*u + 2*u. Let l(a) = -a**2 + 2*a + 1. Let r be l(q). Let p = r + 8. Is 9 a factor of p?
True
Suppose 3*v + 65 = 4*v. Is 42 a factor of v?
False
Let o(t) be the third derivative of 25/24*t**4 + 0*t + 1/6*t**3 + 3*t**2 + 0. Is o(1) a multiple of 13?
True
Is 29 a factor of 1 - (4 + -4 - 69)?
False
Let c(d) = 3*d**2 + d + 1. Let h be c(-1). Suppose -h*z - 2*z = -130. Let v = -16 + z. Is 9 a factor of v?
False
Let g(k) be the third derivative of -k**6/60 + k**5/60 - k**4/8 + k**3/2 + 3*k**2. Let z be g(2). Is (z/9)/(2/(-48)) a multiple of 16?
False
Let s = 368 - 242. Is s a multiple of 9?
True
Let l(c) = c**2 - 1. Let g be -4*4/((-16)/(-3)). Let j be l(g). Suppose -y = -j - 4. Is y a multiple of 6?
True
Let c(d) = -d**3 + 7*d**2 + 8*d - 8. Let h be (-10)/2*-1 + 2. Is 12 a factor of c(h)?
True
Suppose -43 = 5*i - 313. Suppose 3*g - 24 = i. Is 9 a factor of g?
False
Suppose 3*h = 5*h + 26. Let q = h + 55. Does 14 divide q?
True
Suppose -5*d = 5*o - 426 - 164, -5*o + 604 = -2*d. Is o a multiple of 14?
False
Let a = 36 - 21. Suppose -135 = -2*v - a. Let d = v - 33. Is 15 a factor of d?
False
Suppose 5*m + 27 = g - 134, -5*g + 2*m + 690 = 0. Is g a multiple of 8?
True
Suppose -4*f - 64 = -8*f. Let c = f + -8. Is c a multiple of 4?
True
Is 9*(0/4 - -2) a multiple of 18?
True
Let d = 1 + 41. Is d a multiple of 7?
True
Does 13 divide -2*(-9 + -3 + 0)?
False
Let u(l) = l + 5. Is u(4) a multiple of 3?
True
Is (-14)/3*9/(-6) even?
False
Let p = 1 - 0. Let h be (-1 + -2 + 7)/p. Suppose -h*g - 3 = -5*g. Is 2 a factor of g?
False
Let x = -120 + 168. Is 24 a factor of x?
True
Is ((-35)/(-15) + -4)*-153 a multiple of 17?
True
Let i(q) = q - 1. Let s(b) = -7*b + 3. Let n(z) = 6*i(z) + s(z). Let p be n(-9). Suppose 3*l = 2*j - 19, -j - p = -2*j - 2*l. Is j a multiple of 8?
True
Let f = -322 - -454. Does 33 divide f?
True
Let v = 0 - 3. Is 3 a factor of (3/(-9))/(v/72)?
False
Let m be (-3)/(-6) - 121/(-2). Suppose 3*v - 390 = -5*f, -2*f - m = -3*f - 4*v. Suppose 4*n + 8 = -4, -n = -3*x + f. Does 9 divide x?
False
Let w(n) be the first derivative of -6*n**2 + 0 + 3 - 5. Is w(-2) a multiple of 12?
True
Does 28 divide (75 - 2) + -9 + 5?
False
Let h(p) = p**3 - 2*p**2 + 1. Suppose -c - 2*c + 2 = y, -5*y - 8 = -3*c. Let i be h(c). Let u(k) = -k**2 - k + 46. Is 20 a factor of u(i)?
False
Let u = 16 - -14. Is 11 a factor of u?
False
Let d be -4*((-147)/12 - 2). Let r = 99 - d. Suppose 0*a - 3*a + r = 0. Does 12 divide a?
False
Let s(g) = -3 - 4*g - 2*g + 0. Let r be s(-5). Let o = r - 13. Is o a multiple of 7?
True
Let w(l) = 4*l + 7. Is w(8) a multiple of 13?
True
Suppose -4*b - 4*j + 112 = 0, b = 3*b + 5*j - 44. Does 9 divide b?
False
Let d be 3/12 + 115/4. Let u be ((-21)/(-4))/(5/(-20)). Let f = d + u. Is f a multiple of 4?
True
Let g(j) be the third derivative of 7*j**4/24 + j**3/2 - 2*j**2. Let a be g(4). Is a/1*2/2 a multiple of 11?
False
Suppose 203 = -4*t + 5*y, 5*y - 38 + 95 = -t. Suppose 0 = -5*p - 0*p + 40. Is (4/p)/((-1)/t) a multiple of 11?
False
Let r be (9 + -1)/((-8)/(-4)). Suppose 0*u - 4*u = 3*f - 30, 4*f + r*u = 44. Suppose -3*w - 3*v = -57, -5*w + 5*v + 69 = f. Is 4 a factor of w?
False
Let u(j) = 11*j. Let h be u(2). Suppose 5*z + 4*t + 0*t = 101, -2*z + 3*t + h = 0. Is z a multiple of 7?
False
Let y(c) = c + 5. Let v be y(6). Let s = v + 1. Suppose -3*o = -s - 30. Is o a multiple of 7?
True
Let c(t) be the second derivative of t**6/144 + t**5/40 + t**4/12 - 2*t. Let x(r) be the third derivative of c(r). Is 9 a factor of x(3)?
True
Let i(z) = z**2 + 10*z + 19. Does 50 divide i(11)?
True
Suppose 0 = 4*w - 1 + 9. Is (90/27)/(w/(-18)) a multiple of 10?
True
Let v = 11 - -5. Let k = v + -9. Does 6 divide k?
False
Let u(t) = t**2 - 8*t - 8. Let i be u(9). Is 5 a factor of 2 - (2 - (i - -6))?
False
Does 2 divide -4 + (6 - 3) + 4?
False
Let n(x) be the second derivative of -x**4/12 + 11*x**3/6 - 6*x**2 + 3*x. Is n(8) a multiple of 4?
True
Is 2/(-6) - 188/(-6) even?
False
Let v be (3 + -1)/(-2)*6. Let i = 11 + v. Is 4 a factor of i?
False
Suppose 5*a - 152 = -2*j, -6*a = -a + 4*j - 154. Does 15 divide a?
True
Let j = -49 - -104. Suppose 5*f - j = -5*m, 5*m + 5*f - 40 = m. Is m a multiple of 5?
True
Let n = 22 - -71. Does 31 divide n?
True
Suppose -4*j + 112 = 3*z, 4*z - 4*j + 6*j = 136. Does 9 divide z?
False
Let p(y) = -3*y - 4*y - 12*y. Let c(h) = h + 2. Let u be c(-3). Does 19 divide p(u)?
True
Let y be (-8)/4 + 1 + 25. Is 2 a factor of (6/18)/(2/y)?
True
Let l(a) = a**3 - 6*a**2 + 6*a - 2. Does 5 divide l(6)?
False
Does 16 divide 1/(-8) + (-5467)/(-88)?
False
Suppose 7 - 1 = -3*q. Let a = 1 + q. Is 5 a factor of (8 - a)/(-3 + 4)?
False
Suppose -y + 4*q = y - 212, 20 = 4*q. Is 13 a factor of y?
False
Let g be 2/(-2) + 3/1. Suppose -i = -g*b - 5, 6*b + 7 = 2*i + 5*b. Suppose i*a + 12 = 3*z, 0 = 3*z + 3*a - 30 - 6. Is 8 a factor of z?
True
Is (-435)/(-20) - 3/4 a multiple of 7?
True
Let d = -99 + 148. Let p = d - 34. Is 15 a factor of p?
True
Suppose k + 0*k = 25. Suppose -m - 2*m - 5*z + k = 0, -28 = -3*m - 2*z. Does 10 divide m?
True
Is 48 a factor of (4/(-6))/1 - (-1108)/6?
False
Suppose -4*g - 5*w = -147, g - 5*w = -4*g + 150. Let v = -83 + g. Does 24 divide (-3 - v) + 1/1?
True
Suppose -k + 2 + 1 = 0. Suppose -6*z + 3*w = -2*z - 14, k*w - 31 = -5*z. Suppose -50 = z*d - 180. Is 12 a factor of d?
False
Suppose -k + 3 = -2*k. Let r be -19 - (3/1)/k. Does 15 divide (-4)/r - 374/(-18)?
False
Suppose -g + 83 = c + 11, -4*c = 5*g - 284. Does 21 divide c?
False
Let a = 3 + 11. Let o = 44 + a. Is o a multiple of 12?
False
Let k = -307 - -452. Is k a multiple of 16?
False
Let w(r) = -2*r**2 + 2*r. Let x(g) = -3*g**2 + 3*g - 1. Let s(q) = -5*w(q) + 3*x(q). Is s(-5) a multiple of 7?
False
Suppose -2*u = -0*u - 3*d - 275, -3*u = 5*d - 384. Does 48 divide u?
False
Let b = 9 - 19. Let p = -5 - b. Suppose -2*q = -0*m - m - 30, q - 33 = p*m. Is q a multiple of 13?
True
Let f(o) = -16*o. Let v be f(-3). Suppose -4*w = -3*k - v, -4*w = -w + 5*k - 36. Does 4 divide w?
True
Let c be (-4)/((-4)/(-2 + 6)). Suppose 2*m = c*m - 32. Does 4 divide m?
True
Let n(a) = -a**2 - a. Let w be n(-1). Let i(v) = 2*v. Let u be i(1). Suppose -4*f + 5*g + 57 = w, 1 + u = g. Is f a multiple of 9?
True
Let d be -4*-2*3/12. Let z = 5 - d. Suppose -4 - 5 = -z*p. Does 2 divide p?
False
Let a be (-1*125 + 2)*-2. Is a/10 + 6/(-10) a multiple of 6?
True
Is 158/18 - (-14)/63 a multiple of 9?
True
Suppose 0 = 4*k - 20 - 40. Is k a multiple of 4?
False
Is 916/16 - 6/(-8) a multiple of 29?
True
Suppose 4*d - 2*d - 19 = -5*v, v - 4*d + 5 = 0. Suppose a = -4*b + 109, 2*b + 5*a + 1 = v*b. Is b a multiple of 5?
False
Let n = 1 - 1. Suppose 4*u + u - 75 = n. Suppose 0 = -6*c + 3*c + u. Does 5 divide c?
True
Suppose -6*w = -4*w + 60. Let b = w - -59.