 9?
True
Suppose s = -4*v + 5364, -3*v + 2647 = 5*s - 1376. Is v a multiple of 58?
False
Let x = 489 + -486. Let c(i) = 10*i**3 + 4*i**2 + 6*i - 24. Is 75 a factor of c(x)?
True
Is 4420/(-102)*(-46137)/35 a multiple of 26?
True
Suppose 2*m + 90 = -110. Let w = -81 - -197. Let x = m + w. Is 2 a factor of x?
True
Suppose 80 = -4*w + 780. Let c = w + -140. Is 5 a factor of c?
True
Let l = -74 - -116. Let f = l - 40. Suppose 4*y + 3*i - 279 = 0, 5*i = -3*y + f*i + 210. Is 23 a factor of y?
True
Let p(b) = 12*b + 88. Suppose 0 = -105*o + 110*o - 20. Is 20 a factor of p(o)?
False
Let t(a) = -45*a - 13. Let x be 50/(-10)*(2 + 13/(-5)). Let r be t(x). Let o = r + 248. Is o a multiple of 9?
False
Let r(n) = -2*n - 11. Let j(s) = s**2 - 13*s - 2. Let l be j(12). Let v = 5 + l. Does 5 divide r(v)?
False
Suppose 0 = -4*a - 5*q + 5 + 8308, -5*a + 10335 = -5*q. Does 7 divide a?
True
Suppose -3*x = 5*s - 11 - 842, -575 = -2*x + 3*s. Is 22 a factor of x/(33/66 - 2/(-4))?
True
Suppose -49*a - 117*a + 59*a + 1597724 = 0. Is a a multiple of 32?
False
Is 28 a factor of 988/5*(44 + (-18)/2)?
True
Let g = -437 + 693. Suppose 2*z = -4*d + g, 9*d = 3*z + 13*d - 376. Does 60 divide z?
True
Suppose 409 = 4*h + c + 2, -3*h + 308 = -2*c. Suppose h*k - 93*k = 468. Is 37 a factor of k?
False
Let z be (-2)/(-6) + (-81249)/(-63). Suppose 3*j - 13*j = -z. Is j a multiple of 65?
False
Let d be 14*26*(15 + -16). Let f be 2/7 - d/98. Suppose 3*i - 68 = -3*k - 8, -f*i + 5*k = -44. Is i a multiple of 8?
True
Is ((-48576)/(-10))/(22*96/7040) a multiple of 88?
True
Let h = 130 - 122. Let z(f) = -f**3 + 8*f**2 + 9*f - 60. Is z(h) even?
True
Suppose -4*i + 668 + 1000 = -4*k, 3*k = -2*i - 1236. Let p = -100 - k. Does 14 divide (-1)/(p/(-104) - -3)?
False
Let r = -19811 + 30722. Is 29 a factor of r?
False
Suppose 127 = 6*t + 55. Suppose -10092 = -0*y - t*y. Is y a multiple of 5?
False
Let w be (-26 - -25)/(1/8*-2). Suppose 0*y = -2*y, 0 = -w*i - y + 1920. Suppose 0 = 16*n - 11*n - i. Is n a multiple of 12?
True
Let m(b) = 2*b + 29. Let r be m(0). Let y = 117 - r. Is y a multiple of 8?
True
Let k be -3*-1*2/6. Does 46 divide 3 + (k - -220) - (9 - 8)?
False
Let i(x) be the first derivative of x**4/24 + 4*x**3/3 - 8*x**2 + 13. Let v(m) be the second derivative of i(m). Does 3 divide v(-3)?
False
Let b(s) = 874*s - 1442. Does 6 divide b(5)?
True
Suppose -9*c = 130*c - 63*c - 162716. Does 14 divide c?
False
Let n(w) = w**3 - 5*w**2 + 6*w - 6. Let l be n(4). Suppose 4*x + h = -346 - 314, 0 = -l*h - 8. Let y = -91 - x. Is 46 a factor of y?
False
Suppose 3*u - 3*f - 63 = 0, -3*u + 2*f + 49 = -15. Suppose -u*l = -1408 - 4708. Is l a multiple of 22?
False
Let v(l) = 700*l + 2320. Is v(11) a multiple of 5?
True
Does 13 divide (2860/11)/(9/(27225/11))?
True
Let i(c) = -9*c**3 - c**2 - 1. Let q(z) = -z**3 - z**2 - z. Let r(m) = i(m) + 3*q(m). Suppose 191*f + 318 + 143 = 79. Is r(f) a multiple of 10?
False
Let x be (-30)/(-4)*((-216)/(-20))/9. Let w(n) = 56*n + 18. Does 29 divide w(x)?
True
Let f(b) = 2*b**3 - 2*b - 1. Let p(j) = 5*j**3 - j**2 - 3*j - 73. Let i(c) = -3*f(c) + p(c). Is i(-9) a multiple of 29?
True
Let q be (-12)/378*-7 - (-8456)/18. Suppose 4*g = 9*g - q. Let p = g - 67. Is p a multiple of 4?
False
Suppose -28*m - 30*m = 5*m - 122598. Is m a multiple of 7?
True
Let d be 77/77*1/((-2)/152). Let i = 417 + d. Does 12 divide i?
False
Let t(g) = 12*g - 1. Let a be t(1). Suppose -5*z = -r - 75 + 80, z = -3*r + 15. Suppose z = 3*y, m = -0*m - 2*y + a. Is m a multiple of 3?
False
Suppose -3*k = -n + 10 - 0, 3*k = 3*n. Does 30 divide (7 + k + 240)/1?
False
Suppose 2*f = 92*a - 89*a + 1892, 5*f - 4*a = 4716. Does 10 divide f?
True
Suppose -8*f = 5*f. Suppose f = 42*v - 23*v - 2128. Is v a multiple of 8?
True
Suppose 0 = 4*a + 176*t - 177*t - 58058, 4*a - 58040 = 4*t. Does 191 divide a?
True
Let q be (9730/(-8))/(-7) - (-1)/4. Let l(z) = z**2 + 6*z + 2. Let p be l(-7). Is 29 a factor of (15/p + -1)*q?
True
Let g(i) = i - 12. Let m be g(-8). Let q be ((-8)/m)/((-2)/10*-1). Is 28 a factor of 37 + 3 - 1*q?
False
Let p(h) = 16*h + 7*h**2 - 3*h + 13*h**2 - 12*h**2 - 4. Is p(-6) a multiple of 20?
False
Let a = 42 - 43. Let v be (-86)/30*a + (-4)/(-30). Is v + 95 + -6 + 2 a multiple of 13?
False
Suppose -61863 = -4*z + 121807 + 83642. Is 20 a factor of z?
False
Is 36 a factor of ((306/45)/(-17))/(1 + 14141/(-14140))?
False
Does 11 divide (-3441720)/(-828) + (-14)/3?
False
Suppose -5*a = -2*a, -s + 6 = 3*a. Let v(n) = 59*n - 32. Is v(s) a multiple of 14?
True
Let f(v) = v**2 - 10. Let j be f(3). Is (19/(-4) + 4)*24/j a multiple of 11?
False
Suppose 0 = -131*j + 126*j + 90. Is 16 a factor of 12/j + (-1346)/(-6) + -1?
True
Suppose 2*x + 3*g - 1 = 0, x - 17 = -3*x - 3*g. Suppose -10 = 6*h + x. Is 187/5 + h/(-5) a multiple of 19?
True
Suppose -3*c = b - 31416 - 27601, 4*c + 5*b - 78715 = 0. Does 41 divide c?
False
Let f = 318 - 146. Suppose 4*z = 988 - f. Does 6 divide z?
True
Let y(z) = -6*z - 20. Let r be 6/3*15/(-6). Let t be y(r). Let i(h) = 3*h + 17. Is 11 a factor of i(t)?
False
Suppose -21 = 4*l - 5. Let g be -3*89/2*l/(-6). Let i = -27 - g. Is i a multiple of 12?
False
Let z(q) = 3*q**2 + 4*q + 4. Let s(x) = -3*x**2 - 5*x - 1. Let u(h) = 3*s(h) + 4*z(h). Let k be ((-9)/(-12))/(1/(-4)). Does 22 divide u(k)?
False
Does 203 divide (-986030)/(-45) + (-8)/(-36)?
False
Let u = 43 + 180. Let n = -546 + 440. Let v = u + n. Is v a multiple of 9?
True
Let l be (-522)/(-2) - ((-48)/8 - -7). Let w = 299 - l. Is w a multiple of 13?
True
Let w(g) = -27*g - 23. Let y = 528 + -531. Is w(y) a multiple of 5?
False
Does 7 divide ((-102)/12 - -15)/((-2)/(-3928))?
False
Let f = -692 + 1286. Let b = -410 + f. Is b a multiple of 46?
True
Suppose -11*m + 12 = 430. Let u = 14 - m. Is 4 a factor of u?
True
Let r(n) = 6*n**2 - 264*n + 228. Is r(98) a multiple of 60?
True
Let w(t) = 5 - 3*t - 2 + 5 + t. Let u be w(-2). Is 13 a factor of ((-65)/(-10))/(3/u)?
True
Suppose -6*a = -4*k - a + 24, -k = 5*a - 6. Does 9 divide 4/k + (-9880)/(-39)?
False
Suppose -t + 2813 = 2*f - 4018, 4*t = -36. Is 36 a factor of f?
True
Let r = 56 + -1. Suppose 47*t = r*t - 1456. Is t a multiple of 14?
True
Let h(b) = 19*b**2 + 4*b + 3. Suppose 4*n = 2*v + 114, 2*v = -6 - 0. Suppose -12 = -n*o + 31*o. Is 35 a factor of h(o)?
False
Let h = 56 + -51. Suppose h*a + 15 = 4*a. Is 21 a factor of 3/a + ((-8416)/20)/(-4)?
True
Suppose 9*c = 6*c - 3*n + 55728, -8 = -n. Is c a multiple of 211?
True
Suppose 0 = -6*m + 274 + 2. Let i = 238 - m. Does 5 divide i?
False
Let g = -1247 - -195. Let s = -564 - g. Suppose 5*z + 4*o = 610, z + s = 5*z - 2*o. Does 25 divide z?
False
Suppose -2268 = 9*i - 70722. Is i a multiple of 35?
False
Let h(k) = 8*k - 26. Let p be (0 + -1)/((-4)/(-20)). Let s be p/(-3)*2*3/2. Is h(s) a multiple of 3?
False
Let j = 973 + -974. Let h(c) be the first derivative of -141*c**4/4 - c**3/3 + c**2 + 2*c - 2. Is 14 a factor of h(j)?
True
Let l(u) be the second derivative of u**5/20 - 2*u**3 - 3*u**2/2 + 4*u. Let a be l(8). Let p = a + -251. Is 15 a factor of p?
False
Let o(s) = s**2 + 5*s - 19. Let z be o(-8). Suppose z*n + 1323 = -12222. Is 14 a factor of 4/(-6)*(0 - n/(-14))?
False
Let h = -223 - -1895. Is 22 a factor of h?
True
Let c = -1831 - -2534. Does 19 divide c?
True
Let y(g) = 6*g + 48 - 25*g + 16*g + 108. Does 7 divide y(10)?
True
Let t = 11628 - 5824. Does 34 divide t?
False
Let n(t) = -t**2 - 26*t - 3. Let a be n(-7). Let h = 530 - a. Does 16 divide h?
True
Suppose -2*v = -5*y + 6, y + 8 = 4*v + v. Suppose -v*u = -2*x + 12, -5*x = u - 14 + 2. Suppose x*q + 0*q = 5*z + 19, 1 = -q - 2*z. Is q even?
False
Let m(l) = -1438*l**3 - 14*l**2 - 5*l - 3. Does 12 divide m(-3)?
True
Suppose 4*h - 36 = -4*x, 0 = 2*h + 4*x - 3 - 15. Suppose 3*g = h, 1117 + 212 = 4*n - g. Does 42 divide n?
False
Let v(b) = 655*b**2 + 32*b - 339. Is v(7) a multiple of 20?
True
Let t(s) be the first derivative of -s**4/4 + 10*s**3/3 + s**2 + 5*s - 314. Let q be ((-16)/10)/((-14)/70). Does 12 divide t(q)?
False
Suppose 5*q = -y + 8, 3*q + y = 3 + 1. Let h(g) = 2*g**3 + 3*g**2 - 3*g. Does 5 divide h(q)?
False
Let c = -3 - -5. Suppose -5*p = c*x - 112, -4*p + 2*x + 128 = p. Suppose p = -0*n + 4*n. Is n a multiple of 2?
True
Suppose -153*t = -156*t + 2946. Let r 