 d. Is g a multiple of 12?
False
Let h = -9 + 13. Suppose -3*l - 4*k = 0, 0 = -5*k + 2*k. Suppose o + 2*p - 20 = l, -4*o + 3*p - h*p = -59. Is o a multiple of 14?
True
Let y = 5 + 1. Suppose t = -u + y, 5*u = u - t + 24. Is 6 a factor of u?
True
Let r = -17 - -36. Does 15 divide r?
False
Let c = -5 + -3. Is (-9)/(-36) + (-22)/c a multiple of 3?
True
Let t = 4 - 0. Let p = t + 18. Does 9 divide p?
False
Suppose -4*o + 3*f = -193, 4*f = -3 + 7. Suppose 4*x = -p + 35, 4*p + o = 5*x - 0*x. Does 3 divide x?
True
Let a = 106 + -75. Is 11 a factor of a?
False
Suppose 0 = -3*a + 6*a - 6. Suppose a*j + j + 105 = 0. Let z = j + 63. Is 11 a factor of z?
False
Let x = -5 - -12. Is x even?
False
Let p(z) = 6*z - 3. Let s be p(4). Let g = 19 + s. Is g a multiple of 40?
True
Let i(h) = -h**3 - 4*h**2 + 5*h - 5. Let y be i(3). Let w be 4/18 - (-6330)/(-54). Let s = y - w. Does 23 divide s?
False
Let f(o) = 28*o**2 + 12*o - 6. Does 15 divide f(-3)?
True
Suppose 0 = 4*x - 8, -439 = -3*i + x - 0. Does 14 divide i?
False
Let k be 2/(-7) - 162/21. Let n be 15/(-12)*k/2. Suppose 2*x - 10 - 6 = 4*g, -n*g - 23 = -3*x. Is x a multiple of 6?
True
Let a(s) be the second derivative of -s**3/6 + 5*s**2 - 5*s. Does 5 divide a(-12)?
False
Suppose 829 = 5*i - 2*y, 4*y - 261 = 3*i - 764. Suppose 0 = 5*b + 15 - i. Does 10 divide b?
True
Suppose -4*s = 12, 3*a + 51 = -a - 5*s. Suppose -5*z = 2*g - 119, -2*g + 23 = -3*z + 104. Let f = z + a. Is 6 a factor of f?
False
Suppose -2*v = -2 - 10. Suppose -5 = -2*z + 3*w + 10, -2*w - v = 0. Is 3 a factor of z?
True
Suppose -4*l = l - 25. Suppose -4 = -l*y + 2*m, 0*m - 10 = -4*y + 5*m. Suppose y = 3*k + 7 - 88. Is 16 a factor of k?
False
Let a be (20/(-6))/((-1)/3). Suppose d - a = -5*y, 2*d = d - 2*y + 7. Suppose -k - 76 = -d*k. Is k a multiple of 12?
False
Let g(u) = -30*u**3 + u + 22*u**3 + u**2 - 38*u**3. Is g(-1) a multiple of 14?
False
Let o(v) = -v**2 + 3*v - 4. Let q be o(3). Let t = q - -7. Let g(p) = 5*p**2 - p + 1. Is 15 a factor of g(t)?
False
Suppose -4*l + 98 = 2*j, -5*j - 2*l + 7*l + 320 = 0. Is j a multiple of 26?
False
Let d(g) = 13*g**2 + g. Let n be d(-3). Let v = n + -33. Suppose 4*t = -t + 3*c + v, -3*c = -4*t + 63. Does 9 divide t?
True
Let z(u) = 3*u - 10. Suppose -8 + 43 = 5*j. Suppose -j*o = -4*o - 30. Is 10 a factor of z(o)?
True
Let m(x) = x**3 - 9*x**2 + 6*x - 5. Let g be m(8). Suppose -3*k = -3*s - 186, 3*s + 2*k = -3*k - 162. Let q = g - s. Is 19 a factor of q?
True
Let l = -8 + 36. Let s = 48 - l. Is s a multiple of 10?
True
Let d = 90 - 37. Is d a multiple of 13?
False
Let k(y) = y**2 - 6*y + 9. Suppose 0 = -6*p + 3*p + 18. Is k(p) a multiple of 4?
False
Suppose 5*x - k = 84 - 27, 2*x - 30 = 4*k. Does 11 divide x?
True
Suppose 3*f - 23 = 5*t + 12, 2*f + 2 = -3*t. Suppose 0 = -f*c + 4*h + 37, 4*c + 4*h = -0*h + 44. Does 3 divide c?
True
Suppose 3*h = 2*y - 26, 3*h - 54 = -4*y + y. Does 3 divide y?
False
Suppose -3*i - 4*f = 28 - 77, -56 = -2*i + 2*f. Does 9 divide i?
False
Let y(x) = -3*x + 2. Let r be (-2)/(-8) + (-22)/(-8). Let v be y(r). Let a = v + 39. Is a a multiple of 16?
True
Let j be (-45)/10 - (-6)/(-4). Is 18 a factor of -1 + 16/(-3)*j?
False
Suppose 0 = 4*q - 0*q - 176. Let x = q + -8. Does 18 divide x?
True
Let o(f) = -f**3 + 3*f**2 - 2. Let j be o(2). Let y = 6 - j. Is 5*(-2)/y*-2 a multiple of 5?
True
Let w(b) = 10*b**2 - 6*b + 7. Does 8 divide w(5)?
False
Is 9 a factor of 3*(164/12 + 4)?
False
Suppose -651 = -12*q + 9*q. Is q a multiple of 25?
False
Let u(h) = 82*h. Let s be u(3). Let l = s + -170. Is 18 a factor of l?
False
Let r = 5 - 2. Suppose 22 + 8 = r*s. Is s a multiple of 10?
True
Let m(u) = u**2 - 2. Let t be m(-2). Does 17 divide t + 3/(6/82)?
False
Let m = -6 - -15. Let v(f) = -4*f**3 - 8*f**2 - 15*f - 16. Let r(x) = 3*x**3 + 8*x**2 + 14*x + 15. Let s(n) = 5*r(n) + 4*v(n). Is 8 a factor of s(m)?
False
Let n(v) = v + 8. Let f be n(0). Let c(l) = l**2 - 10*l + 12. Let m be c(f). Does 8 divide 3*6*(-2)/m?
False
Let f = 8 + -5. Suppose -h + 16 = f*h. Suppose 20 = 2*q - 3*s + h, -3*s = 5*q - 61. Does 7 divide q?
False
Let v = 85 + -35. Let d(q) = -q**2 - q + 1. Let t be d(0). Suppose v = 3*k - t. Does 6 divide k?
False
Let w be 2/(-4)*-2 + 2. Suppose -4*a + w*a = -10. Does 10 divide a?
True
Let p = -74 + -16. Let o = p + 166. Is 28 a factor of o?
False
Suppose -4*m + 831 = 115. Let y = -238 + 412. Suppose 5*x + 5*u - y = 4*u, m = 5*x - 4*u. Is 9 a factor of x?
False
Does 10 divide 448/44 + 4/(-22)?
True
Let k be 2/(-8) - (-34)/8. Suppose -4*m - 2 = -2*w - 18, k*m - 4*w = 16. Is m a multiple of 4?
True
Suppose 3*b + 2 = 11. Does 11 divide -4*(b + 69/(-12))?
True
Is 15 a factor of (-1220)/(-16) + (-1)/4?
False
Let t(o) = -o**3 - o**2 + o + 1. Let q be t(-2). Let u(v) = -3 + q*v**2 - 4*v + 2*v - 3 - 2*v**2. Is u(-4) a multiple of 15?
False
Is -1*(0 - 38) + (2 - 2) a multiple of 5?
False
Let z be (-4)/(-26) - 594/(-26). Let y = z + 4. Is y a multiple of 14?
False
Let c(k) = k**2 - 4*k. Let y be c(4). Let i be (y + -2)/((-6)/9). Is 109/i + 3/(-9) a multiple of 16?
False
Let p(z) be the second derivative of -z**4/12 - 2*z**3 + z**2 + 5*z. Let n = 6 - 14. Is 17 a factor of p(n)?
True
Suppose -7*c = 3*g - 3*c - 57, -5*c = 3*g - 60. Is 16 a factor of g + ((-2)/2)/(-1)?
True
Let d(r) = 4*r - 7. Is 13 a factor of d(5)?
True
Suppose 144 = 3*v + 5*y, 3*v - 69 - 78 = -4*y. Does 5 divide v?
False
Let t(m) = 5*m + 7. Suppose 4*z - k = -34, 2*z + 3*k + 42 = -2*z. Let f = z - -14. Is t(f) a multiple of 23?
False
Suppose 8*l + 344 = 2*m + 4*l, -m + 167 = 3*l. Is m a multiple of 34?
True
Let d(r) = r**2 - 11*r + 3. Let u be d(11). Suppose -4*t + u*x + 68 = 0, 2*x = -4*t - x + 68. Does 10 divide t?
False
Suppose 0 = -306*v + 304*v + 560. Does 40 divide v?
True
Let r be (6/(-5))/(2/(-5)). Let s be (-1)/((3/(-4))/3). Suppose -s*v = 2*z - 56, -v - 64 = -3*z - r*v. Is 12 a factor of z?
False
Suppose -6*b = -2*g - 2*b + 86, 89 = 3*g + 4*b. Does 7 divide g?
True
Is 6453/99 + (-6)/33 a multiple of 46?
False
Suppose 4*b = -4*q + 680, -2 = -5*b - 27. Does 35 divide q?
True
Let d be (2/5)/((-3)/(-75)). Let o = -4 + d. Suppose 5*n - 4*s + o*s = 17, 2*n - 14 = s. Does 2 divide n?
False
Let p = 2 - 3. Let w(n) = 2*n**3 + n**2 + n + 1. Let h be w(p). Is 20 a factor of (1/(h/51))/(-1)?
False
Suppose 0 = -3*k - 0*k - 5*w + 39, -4*w + 24 = 2*k. Suppose 0 = 5*x - 4*h + k, 5*x - 5*h + 3*h + 14 = 0. Let g = x - -5. Does 3 divide g?
True
Let k(r) = 4 + 6*r - 4*r + 0*r. Is k(0) a multiple of 2?
True
Suppose -x + 3*w + 19 + 48 = 0, -2*w - 201 = -3*x. Does 28 divide x?
False
Suppose n + 2*n - 81 = 3*x, -n + 3*x + 27 = 0. Does 3 divide n?
True
Let p(s) = s**3 - 6*s**2 - 7*s + 15. Is 9 a factor of p(7)?
False
Suppose 3*u - 2*n + 3*n = 11, 3*n = 2*u + 11. Suppose 0 = -2*m + o - 10, 0*o - 2 = -o. Let w = u - m. Does 5 divide w?
False
Let a be 2/4*(-44)/(-2). Let z be 3/(-6)*2 - a. Is (z + 4)*(-2)/4 a multiple of 4?
True
Suppose h - 96 = 3*k, -2*k = h + 2*k - 82. Does 5 divide h?
True
Let y = 81 + -28. Is 53 a factor of y?
True
Let s(v) = -14*v - 3. Is s(-1) a multiple of 6?
False
Suppose 0 = -6*d + 1042 + 68. Does 56 divide d?
False
Let q be -2*(-4)/(0 + -4). Is q - (-19)/(4 + -3) a multiple of 11?
False
Is -3 - (2/2 - 51) a multiple of 3?
False
Is 13 a factor of (-18)/6 + 59 - (3 - -1)?
True
Let d be 2/(-3)*(1 + -4). Let s(v) = v**2 + 2*v + 1. Let r be s(-1). Suppose r*t = -2*t - 5*x + 32, 60 = 2*t - d*x. Does 13 divide t?
True
Let v be ((-2)/2)/(8/72). Does 25 divide 3/v - (-163)/3?
False
Let c(r) = -r**3 + 4*r**2 + r + 9. Is 4 a factor of c(4)?
False
Let t(f) = -2*f - 8. Let c be t(0). Let i(v) = -v**3 - 7*v**2 + 7*v - 2. Does 6 divide i(c)?
True
Suppose k = 4*c + 54, -5*k + 0*k - c = -186. Is (-21)/(-9)*(k - -1) a multiple of 23?
False
Suppose 5*t = 8*t - 429. Is 13 a factor of t?
True
Let p = 13 + -19. Let y = 12 + p. Is y a multiple of 6?
True
Let j(u) = u**2 - u + 1. Let c be j(3). Let w(z) be the third derivative of z**4/24 + 7*z**2. Is w(c) a multiple of 7?
True
Suppose 12 = 3*l - v, -5*v = -2*l - 3*l + 30. Suppose 7*n - 8 = 4*n + 2*j, l*n - 10 = j. Is n a multiple of 4?
True
Let y(r) = 3*r - 3. Let z be y(-1). Let v(c) = 1 + 1 - 3 - 7*c. Does 14 divide v(z)?
False
Suppose 4*d + 2 = -4*n + 90, -5*d - 20 = 0. Is 7 a fac