n) a multiple of 9?
False
Suppose 4*c - 2*t + 1 = -1, c = -4*t + 22. Does 11 divide ((-2)/c)/((-11)/440)?
False
Let x(o) = -o**3 - 3*o**2 + 3*o + 1. Let f be x(-5). Suppose f = -y + 2*y. Is y a multiple of 17?
False
Does 19 divide 2124/16 + -2 + 27/12?
True
Suppose -8*b = -6*b. Suppose b = -2*h - 5*i + 5, -4*i + 21 = 2*h + 3*h. Suppose t = 0, h*a + 4*t - 6*t = 25. Is a a multiple of 5?
True
Does 7 divide 1/(-5) + 1280/25?
False
Let d(w) = 4*w**2 - w - 20. Let z(x) = -5*x**2 + x + 19. Let k(g) = -4*d(g) - 3*z(g). Is 5 a factor of k(0)?
False
Is (-19)/38 + (-198)/(-4) a multiple of 17?
False
Suppose -34*r + 35*r = 33. Does 11 divide r?
True
Suppose -96 = w + 2*w. Let b = -19 - w. Is 8 a factor of b?
False
Suppose -3*b + 2*b + 93 = 0. Suppose 4*w - b = 5*r, 5*w + r = w + 63. Is 6 a factor of w?
False
Let p(x) = -x**3 - 2*x - 1. Let r be p(-4). Let q = r + -41. Is q a multiple of 10?
True
Let f = 130 + -75. Let n be (-2)/(-4)*(3 - 61). Let g = f + n. Is g a multiple of 13?
True
Suppose -30 + 114 = j + 2*a, 90 = j + 4*a. Is 26 a factor of j?
True
Let z = 167 - 107. Let d = z - 15. Is d a multiple of 15?
True
Let b(g) = g**3 + 4*g**2 - 4*g + 1. Let r be b(-5). Is (-2)/r - (-31)/2 a multiple of 7?
False
Suppose 32 = q - 0. Is 17 a factor of ((-17)/2)/((-8)/q)?
True
Let f(n) = -312*n - 8. Does 49 divide f(-1)?
False
Let o(u) = 7*u**2 + u + 8. Let a be o(6). Let h be a/10 - 2/(-5). Let q = h - 12. Is q a multiple of 13?
False
Suppose -47 - 75 = -u. Is 16 a factor of u?
False
Let r = 123 + -73. Is 25 a factor of r?
True
Suppose -2644 + 151 = -9*q. Is 10 a factor of q?
False
Suppose -5*i + 74 = -271. Does 23 divide i?
True
Let s(p) = -13*p - 6. Let c be s(-4). Suppose -7*t + 2*v + 70 = -3*t, -3*t - 5*v = -c. Is 17 a factor of t?
True
Let j be ((-9)/(-12))/(2/(-24)). Let d(u) = 4*u - 6*u + 3*u + 13. Is 4 a factor of d(j)?
True
Let b = 17 - 11. Let n = 41 + b. Is n a multiple of 7?
False
Let j(r) be the first derivative of -r**3/3 - 9*r**2/2 + 2*r + 3. Is j(-5) a multiple of 11?
True
Let c(z) = z**2 - 4*z + 3. Let t be c(3). Let w = 36 - t. Suppose 0 = 3*x - 30 - w. Does 8 divide x?
False
Is 4 a factor of 6/(-6*1/(-8))?
True
Let c = -17 + 49. Does 8 divide c?
True
Suppose 0 = -9*a - 116 + 773. Is a a multiple of 14?
False
Let t(n) = 13*n + 3. Let z = -4 + 7. Suppose 5*v - 21 = z*h, -4*v + 0*h - h + 10 = 0. Is t(v) a multiple of 14?
True
Let k be 18/30 + 24/10. Suppose 0 = -3*y - 0*g - 4*g + 105, -k*y = -4*g - 129. Does 13 divide y?
True
Suppose 3*p = 4*o - 354 - 163, 0 = 4*o + 3*p - 547. Is o a multiple of 19?
True
Suppose -3*j - 9 = 0, 7 - 1 = -2*w - 4*j. Suppose -x - 32 = -w*x. Suppose l = 1 + x. Is l a multiple of 17?
True
Suppose 0 = -5*v + 25, -2*x - 2*v = -v - 1029. Does 9 divide (-4)/14 - x/(-28)?
True
Suppose 141 = 5*r + 2*s, 5*r - 3*s - 53 = 73. Suppose 0 = -3*d + 81 + r. Does 9 divide d?
True
Suppose -4*v = -0*v + 40. Let a = v + 22. Suppose 0 = 2*r - r - a. Is 12 a factor of r?
True
Let c = 124 - 55. Is 23 a factor of c?
True
Suppose 32 - 186 = -7*l. Does 11 divide l?
True
Let r = 7 + -3. Let z be r/6 + 3/9. Is (z - 9/6)*-16 a multiple of 8?
True
Let v be -1 - 0 - (-1 + 2). Let t(m) = -4*m - 13. Let o(d) = d + 3. Let k(l) = -26*o(l) - 6*t(l). Is k(v) a multiple of 2?
True
Let t be 4/(-2)*-1*1. Suppose o - t = 9. Is 10 a factor of o?
False
Let g(w) = -w**3 + 3*w + 14. Let c(d) = -d - 1. Let u(p) = 4*c(p) + g(p). Is 5 a factor of u(0)?
True
Let w = -18 + 42. Suppose 214 - w = 5*l. Is l a multiple of 19?
True
Let m be 0/2 + 3 - 0. Suppose 2*s + 1 - m = 0. Let q(u) = 18*u**2 - u. Is q(s) a multiple of 6?
False
Let c(o) = o**2 + 9*o. Let j be c(-6). Let x be 2/(-9) - 670/j. Suppose 28 + x = 5*l. Does 13 divide l?
True
Is 6 a factor of (332/(-16))/((-1)/8*1)?
False
Suppose 2*o - 7*o = -120. Let k = 34 - o. Is k a multiple of 7?
False
Let l(r) = -r**2 + 9*r + 7. Let q be l(6). Suppose -7 = -4*o + q. Does 4 divide o?
True
Let c = 1 - 1. Suppose c = f + 2*s - 7 + 1, 2*s = -2*f + 10. Suppose -f*w + 6 = -w. Is w even?
True
Let y be ((-2)/2)/((-1)/222). Suppose 0 = 2*a + a - y. Let q = -43 + a. Is q a multiple of 9?
False
Let r(q) = 7*q + 24. Is 7 a factor of r(6)?
False
Let z be 0/3 + (-2 - 0). Let u be ((-10 - -2) + z)/(-2). Suppose 86 + 24 = u*b. Is b a multiple of 11?
True
Suppose 5*r = c - 4, 2*c + r - 4 = c. Suppose 5*s = -15, -s + c = 2*x - 1. Suppose -3*a - 4 = -x*a. Is a even?
True
Let o(j) = j**2 - 4*j + 22. Let l be o(9). Suppose 4*f + 4 = 5*v - 120, -2*v = 2*f + 80. Let t = l + f. Does 12 divide t?
False
Is (-1)/((4 + -3)/(-51)) a multiple of 16?
False
Suppose i - 42 = 5*u, 0*u + 93 = 2*i - u. Suppose -5*r = -63 - i. Suppose 5*s = 4*q - 6*q + r, 3*q = -3*s + 6. Is s a multiple of 3?
True
Let g be (6/5)/((-6)/(-15)). Suppose -37 = -g*i - 2*q, 3 + 1 = -q. Is 15 a factor of i?
True
Does 9 divide (-4)/6*(-42 - 12)?
True
Let b be (-3)/6*-1*6. Let f(l) = -3*l + 3. Let i be f(-4). Suppose 0 = -b*z - i, 0*t = -5*t - 4*z + 40. Does 6 divide t?
True
Let l be 4 - 2 - (-1)/1. Suppose 19 = -l*t + 4*t. Does 6 divide t?
False
Let s be (-8 - -8)*2/2. Suppose s = 4*c - 2*y + 22, 0*y - 3*y = 5*c + 11. Is 9 a factor of -4*(0 + 18/c)?
True
Does 10 divide ((-8)/5)/((-2)/25)?
True
Suppose 3*z = 2*z + 41. Suppose -i + z = m, 29 = m - 3*i + 8. Is m a multiple of 18?
True
Suppose 2*b - 302 = 10. Let l = -94 + b. Does 17 divide l?
False
Let l(w) = -w**3 + 6*w**2 - 6*w + 4. Let u be l(5). Is 11 - -2 - (u + 1) a multiple of 4?
False
Let v be ((-2)/(-6))/((-1)/(-6)). Let r = v - -33. Let s = r - 19. Is 8 a factor of s?
True
Let v(w) be the third derivative of 0 + 0*w + 1/12*w**4 + 3*w**2 + 0*w**3. Does 2 divide v(1)?
True
Suppose 0 = 3*k - 2*k - 2. Suppose -k*c = -24 - 28. Does 10 divide c?
False
Let y be (-8 + 7)*(1 + -1). Suppose y = -6*n - 8 + 32. Is n even?
True
Suppose -4*m + m = 6. Does 22 divide (72/42)/(m/(-77))?
True
Let a = 19 - -174. Does 41 divide a?
False
Let m be (-8)/(-36) + (-97)/(-9). Is 2/m - 1030/(-22) a multiple of 12?
False
Let b(i) = -i + 5. Let j be b(5). Suppose -2*a + 6 + 136 = j. Is a a multiple of 22?
False
Let h(g) = -g**2 + 5*g + 1. Let s(m) = -m**2 - 7*m - 2. Let t be s(-6). Let i be h(t). Let c = 15 + i. Does 18 divide c?
False
Suppose -z = 3*p + 2*p + 102, -3*p = 2*z + 57. Let j = p - -30. Is j a multiple of 5?
False
Suppose o = u - 3*u + 148, 4*u - o = 308. Does 24 divide u?
False
Let v = -22 - -3. Let s = v - -43. Is 24 a factor of s?
True
Let j(c) = -16*c**3 + 2*c**2 - 3*c - 3. Is 15 a factor of j(-2)?
False
Suppose -8*a = -9*a + 16. Does 4 divide a?
True
Let z = 204 + -101. Suppose 5*v - z + 13 = 0. Is 16 a factor of v?
False
Suppose y - 298 = -5*n - 0*y, 5*n - 5*y - 310 = 0. Suppose -n = 2*r - 7*r. Is r a multiple of 8?
False
Let s(o) = -3 + 1 + 0 + 83*o. Let u be s(-2). Does 21 divide ((-3)/(-4))/((-3)/u)?
True
Suppose 78 = 2*b + 2*k, -3*k - 5 = 2*k. Suppose 3*r = -5*j + 7*r + b, -2*r = 2*j + 2. Let x = j + 2. Is x a multiple of 6?
True
Let d(c) = c + 5. Let k be d(-5). Suppose k = 8*p - 3*p - 440. Does 30 divide p?
False
Is 26 a factor of (-696)/(-2 - 2) - 1?
False
Let y = -3 + 4. Let q be -3*(y - 2) + 1. Suppose v + 3*v + 4*u = 216, 0 = -q*v + 4*u + 232. Does 21 divide v?
False
Suppose y - 1 = 2*y. Let m be (0/y)/(-4 + 3). Suppose 0*b - 2*b + 68 = m. Is 17 a factor of b?
True
Suppose 3*x - 3*s - 114 = 0, 4*x + 5*s + 127 - 324 = 0. Does 13 divide x?
False
Suppose 21*s + 1004 - 4112 = 0. Does 17 divide s?
False
Suppose -6*j + 41 = 3*r - j, -39 = -3*r - 3*j. Let m be (6/(-4))/((-1)/r). Suppose -a = a - m. Is 4 a factor of a?
False
Let a = 11 - 5. Suppose 0 = -2*f + 20 + a. Is 13 a factor of f?
True
Let g(h) be the first derivative of h**4/4 + 11*h**3/3 - 4*h**2 - 10*h - 5. Is g(-11) a multiple of 13?
True
Suppose -4*i = 7 + 25. Let y(u) = u**3 + 10*u**2 + 13*u + 12. Does 13 divide y(i)?
False
Let l = 6 + -26. Let d = l - -32. Does 12 divide d?
True
Suppose 0 = -0*o - 5*o + 180. Does 10 divide o?
False
Let h(w) = 2*w**2 - 26*w - 31. Is h(17) a multiple of 5?
True
Let f(s) = -s**2 - 7*s - 7. Let z be f(-5). Suppose -3*k + 50 = -o, -z*o - 48 = -6*k + 3*k. Is k a multiple of 16?
False
Suppose q - 7 = 3*z + 8, -3*q - 3*z = -9. Let y(v) = v + 1. Let m(k) = 4*k - 1. Let b(w) = -m(w) + 6*y(w). Is b(q) a multiple of 19?
True
Let q = 57 - -44