-103*q**2 + 11*q + 7. Let w(b) = 154*b**2 - 17*b - 11. Let g(r) = -8*v(r) - 5*w(r). Let x be (8/(-6) - -1)/(8/24). Does 14 divide g(x)?
True
Let q be (7/(-14))/((-4)/(-8)). Is ((1 + 8)*q)/((-3)/5) a multiple of 8?
False
Let q(d) = -14*d**3 + 6*d**2 - 9*d - 1. Does 58 divide q(-4)?
False
Suppose -5*j - 140 = -4*j + 5*i, -420 = 3*j - 3*i. Let c = -30 - j. Is c a multiple of 10?
True
Let i(u) be the second derivative of u**6/360 + u**5/15 - u**4/6 + 2*u. Let q(t) be the third derivative of i(t). Does 12 divide q(8)?
True
Suppose 0 = -4*v + 5*c + 79, -93 = -3*v - c - 2*c. Let k(m) = -2*m + 59. Let u be k(-6). Suppose s - u + v = 0. Does 15 divide s?
True
Let x(b) = -13*b - 2. Suppose 37 - 2 = 5*o. Suppose 6*j = o*j + 3. Is x(j) a multiple of 10?
False
Suppose -7*p + 2*p = 2*v - 22, -4*p + 68 = 4*v. Let a = v - -8. Is a a multiple of 18?
False
Let r(d) = -d**3 - 8*d**2 - 22*d - 55. Is 55 a factor of r(-11)?
True
Let f = 6 - 3. Suppose -f*t = -2*t - 2. Suppose 3*w - x = -t*x + 17, 0 = -w - 3*x + 3. Is 3 a factor of w?
True
Suppose -g + 160 = -4*v, -g - 190 = -2*g - 2*v. Is g a multiple of 12?
True
Suppose -5*m - 5*j + 2710 = 0, 3*m = -j - 580 + 2196. Does 28 divide m?
False
Suppose -6*k - 1 = -55. Is 10 a factor of (277/9 - 1) + 2/k?
True
Let z = 834 - 52. Does 13 divide z?
False
Let k(i) = -129*i - 26. Is k(-4) a multiple of 10?
True
Suppose 0*i - 3 = 2*i + 3*g, 0 = 2*i + 2*g. Suppose s + 3*m = 26, -5*s - 2*m + 40 = -i*s. Suppose -2*p = -3*p + s. Is 17 a factor of p?
True
Suppose 0*m + 4*m + 16 = -4*n, -12 = -2*m + 3*n. Suppose -2*t - 97 + 147 = m. Does 10 divide t?
False
Let a = 7 + 123. Does 13 divide a?
True
Let w(p) = 485*p - 41. Is w(8) a multiple of 9?
False
Suppose 0 = -3*d + 5*a - 3, 2 = 2*d + 4*a - 18. Suppose 0 = d*o - 471 + 39. Does 36 divide o?
True
Suppose -2*v + v + 5*j = -181, -787 = -4*v - j. Suppose h - 35 = -5*s + 186, 4*h + v = 4*s. Does 6 divide s?
False
Let f = 145 - 102. Suppose -41 = -3*s + f. Is s a multiple of 14?
True
Let i = -21 - -21. Suppose -4*m - 5*y + 195 = i, -5*m + 5*y - 149 = -449. Does 11 divide m?
True
Let o = -2841 - -4215. Is o a multiple of 25?
False
Let c(q) = q**2 - 16*q + 20. Let n be c(15). Suppose 0 = -4*z - y + 60, -n*y = -5*z - 0*y + 100. Does 4 divide z?
True
Suppose -3*c - 3219 = -5*u, 0 = 13*u - 18*u + 5*c + 3215. Is u a multiple of 25?
False
Let n(w) be the third derivative of w**6/90 + w**4/3 + 6*w**2. Let k(p) be the second derivative of n(p). Is k(9) a multiple of 18?
True
Let v = 112 + 235. Is 12 a factor of v?
False
Let x(v) be the second derivative of 5/6*v**3 + 0 + 1/4*v**4 - v**2 - 4*v. Is 18 a factor of x(-5)?
False
Suppose 2887 = 5*s - 633. Does 32 divide s?
True
Suppose 0 = -w - 4*j + 332, -646 = -2*w - 6*j + 7*j. Is 27 a factor of w?
True
Let x(f) = 60*f - 59. Does 43 divide x(6)?
True
Is 47 a factor of 3/(-72)*8 - 3104/(-6)?
True
Let p(d) = 6*d - 59. Let c be p(11). Let q(i) be the second derivative of i**5/20 - i**4/2 - i**3/2 + i**2 + i. Is 27 a factor of q(c)?
False
Let t(k) = -k**3 + 2*k**2 + 2*k + 2. Let f be t(2). Suppose -f = -3*z + 75. Is 10 a factor of z?
False
Is 3356/14 + 266/931 a multiple of 48?
True
Let c(m) = -2*m - 1. Let t be c(-2). Suppose -83 = -t*a + 31. Does 9 divide a?
False
Let i(b) = 3*b**2 - b - 3. Let y be i(-3). Let t = y - 2. Suppose -3*d + t = -p, 4*d + 3*p = 2*d + 35. Is d a multiple of 5?
True
Let k = -6 - -18. Let o(j) = -j**2 + 16*j - 8. Is 8 a factor of o(k)?
True
Let b = 4320 + -2682. Does 9 divide b?
True
Let j(z) = -z**2 - 6*z - 3. Let w be (10/2)/(1/(-1)). Let d be j(w). Is d + -1 + 7 + 0 a multiple of 4?
True
Let s be 4/(-22) - (1218/77 + 4). Is 13 a factor of (-4290)/44*s/6?
True
Let k = -12 + 25. Let p(q) = 14*q**2 - 13*q**2 + 19*q - 5*q + k. Is p(-14) a multiple of 13?
True
Suppose 0*b = -5*b - 240. Let a be b/(-26) + (-8)/(-52). Suppose -24 = -3*i - a*y + 36, 5*i - 93 = -y. Does 13 divide i?
False
Let v = -4 - 6. Is ((-108)/15)/(4/v) a multiple of 9?
True
Suppose 0 = 33*x - 24*x - 3096. Is 4 a factor of x?
True
Is 6 a factor of 77*6/15*360/21?
True
Let o = 524 - 284. Suppose j = 6*j - o. Does 12 divide j?
True
Suppose 14 + 16 = 6*i. Let v = i - -22. Does 5 divide v?
False
Suppose 0 = -2*j + 5*x + 15, 0*j - j - 3*x = 20. Let t(w) = w + 10. Let y be t(j). Suppose 0 = -y*z + 5*s + 45, 0 = 4*s + 5 + 7. Does 6 divide z?
True
Let u(f) = f**3 + 6*f**2 - 4*f + 23. Let b be u(-7). Does 3 divide (b/6)/((-6)/(-162))?
True
Suppose 4*f - 2*h = 32, -2*f + 2*h = 5*h. Suppose 0 = -f*q - q. Suppose q = 8*g - 6*g - 16. Is g a multiple of 4?
True
Let c(g) = g**3 - g**2 - 5*g + 7. Let v(x) = -x**2. Let s(f) = -c(f) + 5*v(f). Is s(-6) a multiple of 7?
True
Let l = -4239 + 7574. Is l a multiple of 97?
False
Let y = 3494 + -2454. Is 52 a factor of y?
True
Suppose 0 = -0*p + 4*p - 40. Suppose p*k - 6*k = 0. Does 43 divide 81 + -2 + 0 + k?
False
Let j(p) = 3*p - 11. Let d be j(5). Suppose 0*q = -d*q + 1696. Suppose -5*l - b - 6 + q = 0, 2*l - 4*b = 154. Is 34 a factor of l?
False
Let d(u) = -u + 11. Let z be d(11). Let a be 10 - 0 - z/(-4). Let r = a + 2. Is 12 a factor of r?
True
Let y be 1/(-4) - 27/(-12). Let o = -7 + y. Let n = 28 + o. Is n a multiple of 23?
True
Let p = 14 + -13. Let q be 5/(0 + p) + -3. Suppose -225 = -q*n - 3*n. Is n a multiple of 15?
True
Let t(s) = 3*s**2 - 5*s - 2 + 7 + 9*s. Suppose 2*i + 10 = 4*i. Does 28 divide t(i)?
False
Let f be (-16)/48 + 7/3. Suppose f*j = 5*a + 604, j - 3*a = -0*j + 304. Does 43 divide j?
False
Let p be -6*((-182)/(-4) + -2). Let l = -88 - p. Is 38 a factor of l?
False
Suppose 3 = 3*c + 9. Does 11 divide (-280)/(-25) - c/(-10)?
True
Suppose 7*f - 107 - 1741 = 0. Suppose 0*w - 284 = -4*i + w, -4*i - 4*w = -f. Does 10 divide i?
True
Suppose 0 = 4*v - 3*v. Suppose -2*u - 5*l + 128 = v, 9*u - l = 4*u + 374. Let x = u - 3. Is x a multiple of 15?
False
Let v(h) = 54*h**3 - h**2 + 2*h - 1. Let s be v(1). Suppose -x = 2*x - s. Is 4 a factor of x?
False
Suppose -z + 6 + 11 = 0. Let g = z + -10. Is 7 a factor of g?
True
Suppose 5*l + 3*i - 79 = 156, -2*l + 2*i + 110 = 0. Does 11 divide l?
False
Suppose 2*v - k - 58 = 0, -2*v - k + 68 - 14 = 0. Is v a multiple of 4?
True
Let r(n) be the first derivative of n**4/4 + 3*n**3 + 4*n**2 + 4*n + 2. Let k be r(-6). Suppose -g - 80 = -5*x - 4*g, 4*x - k = -2*g. Is x a multiple of 4?
True
Let w(n) be the second derivative of 1/3*n**3 - 2*n**2 + 0 - 1/20*n**5 + 4*n + 1/6*n**4. Is 12 a factor of w(-3)?
False
Suppose 3*y + 36 = -3*l, -l + 16 = -2*l + y. Is l/(-35) - (-298)/5 a multiple of 20?
True
Let w be -12 - (3 + -1 + -2). Let s be 42/8*(-160)/w. Let t = s + -50. Is t a multiple of 16?
False
Does 22 divide (11802/(-49))/(2/(-7))?
False
Let r = -20 - -28. Does 14 divide (-139)/(-2) - (-4)/r?
True
Does 41 divide (0 - 15)*-1*(2 - -17)?
False
Suppose 6 + 2 = -2*m, -2*m - 26 = -2*b. Suppose 10*k = 11*k - b. Is 2 a factor of k?
False
Let i(s) = -s**2 - 2*s + 481. Let o be i(0). Suppose p = -3*x - 2*x + o, 4*p = 3*x - 284. Is x a multiple of 32?
True
Let t = -310 + 2356. Is 66 a factor of t?
True
Let i(y) = -5*y - 7. Let r be i(-5). Let p be (-8)/(-36) + 32/r. Suppose -g = 2*g - 4*a - 225, 2*g - 164 = -p*a. Is g a multiple of 17?
False
Let y = 552 + 312. Is 32 a factor of y?
True
Let b = -305 + 521. Does 27 divide b?
True
Let h be ((-117)/6)/((-2)/16). Suppose 0 = -4*w - 4*z + 320, w + 3*z = -w + h. Suppose -2*g - 3*g + q = -193, -3*q + w = 2*g. Does 16 divide g?
False
Is 4 a factor of 2380/(-30)*(-3)/2?
False
Suppose q = 3*q - 582. Suppose 63 - q = -3*u. Is 10 a factor of u?
False
Let b(w) = -w**2 + 10*w + 7. Let s be b(10). Suppose -s*m + 208 = -3*m. Is m a multiple of 14?
False
Suppose -60*n - 25*n = -103360. Does 38 divide n?
True
Let v(u) = -9 + 2*u + 91*u + 56*u. Does 14 divide v(1)?
True
Suppose -62 = -9*v - 35. Suppose 2*r - 6*r + 4*n + 40 = 0, -5*n - 25 = 0. Suppose -v*q + 147 = r*k - 2*k, 0 = 2*q - 8. Is 13 a factor of k?
False
Suppose -5*v - 138 = -4*w - 0*v, 2*v - 28 = -w. Let k = -24 + w. Is 8 a factor of k?
True
Suppose -1191 = -7*z + 594. Let w = z - 175. Is 12 a factor of w?
False
Let f = -45 - -91. Let t = 113 + f. Is 16 a factor of t?
False
Suppose 372 = 4*q + 8*q. Suppose -q*n + 35*n - 144 = 0. Does 18 divide n?
True
Is -5*(-56)/80*62 a multiple of 7?
True
Suppose -2*o 