- 3*n**2 + 2*n - 1. Let p be g(3). Suppose 5 = -p*f - 5. Let z(j) = -12*j - 1. Is 9 a factor of z(f)?
False
Suppose 80*j = 74*j + 5280. Is j a multiple of 44?
True
Let y = 190 + -109. Suppose f - c = y, -4*c - 34 - 124 = -2*f. Is 28 a factor of f?
False
Let z(k) = 222*k**3 - 4*k**2 - 3. Let u(h) = -221*h**3 + 3*h**2 + 2. Let w(t) = 3*u(t) + 2*z(t). Is 20 a factor of w(-1)?
True
Let o(m) = -10*m + 25*m**2 - 12*m**3 - 6 - 19*m**2 + 13*m**3. Is o(-7) a multiple of 4?
False
Let j = 329 + -186. Is 4 a factor of j?
False
Let f(o) be the third derivative of o**4/12 + 3*o**3/2 + o**2. Let u = -179 - -184. Is 19 a factor of f(u)?
True
Let j = 36 + -17. Let i = j - 19. Suppose -5*z = i, -z = 5*o - 27 - 28. Is 11 a factor of o?
True
Suppose 3*p - 222 - 840 = 0. Is 59 a factor of p?
True
Suppose 0 = -7*j + 1374 + 292. Is 7 a factor of j?
True
Let h = -7 - -6. Let k be -3 - h - (5 - 30). Let u = k + -2. Is 7 a factor of u?
True
Suppose 0 = -5*m + 7*m, 0 = 4*o - m - 60. Suppose -o*j = -13*j - 5*z - 80, -5*j + 262 = 3*z. Is 10 a factor of j?
True
Let q = -1300 - -2278. Is q a multiple of 8?
False
Let l(d) = d**3 + 26*d**2 - 24*d - 224. Is l(-26) a multiple of 20?
True
Let p(o) = -o**2 + 16*o + 41. Let v be p(18). Suppose 0 = n - v*a - 74, -5 - 3 = 4*a. Is n a multiple of 32?
True
Suppose -11*n = -4*n - 35. Suppose -f = n*s - 4*f - 1812, 4*f - 1819 = -5*s. Does 11 divide s?
True
Let c = 7 - 2. Let p be (1 + (-3)/9)*3. Suppose -p*a - 4*z = -4, -2*z - 2*z = -c*a + 52. Is 4 a factor of a?
True
Is ((-11)/4)/((-11)/2860) a multiple of 13?
True
Suppose 0 = -c - 2*c. Suppose 14 = s - h - 0, c = -2*s - 3*h + 3. Suppose -4 = -g + s. Does 13 divide g?
True
Let f be (4 + -19)*(-26)/(-3). Let v = f + 75. Let s = v - -82. Is s a multiple of 11?
False
Let b(w) = -15*w - 12. Is 5 a factor of b(-10)?
False
Let t = 5238 - 2559. Is t a multiple of 141?
True
Let o(g) = -g + 15. Let s be o(11). Suppose 0 = 4*b - 4*d - 272, -b - s*d + 83 = -5. Does 8 divide b?
True
Let y(h) = 2*h - 8. Let d be y(3). Does 30 divide d/(-6) + (-3231)/(-27)?
True
Let c be (-13 + -2)*1*-1. Let q = c - 10. Let d = q - -10. Does 15 divide d?
True
Let r(k) = -4*k**3 - 8*k**2 - 9*k - 1. Let o(u) = -11*u**3 - 23*u**2 - 26*u - 4. Let x(g) = -3*o(g) + 8*r(g). Let v be x(-4). Is 24 a factor of (0/v - 24)*-1?
True
Suppose 0 = 11*d - 16*d + 35. Suppose -o - 4*o = 5. Let b = d + o. Is 5 a factor of b?
False
Let r(s) be the first derivative of 9*s**2/2 + 6*s - 13. Is r(6) a multiple of 15?
True
Let v(w) = -6*w**3 - 14*w - 4 + 5*w**3 - 4*w**3 + 12*w**2 + 4*w**3. Does 13 divide v(10)?
False
Let w = 163 - 114. Let i(g) = -3*g**2 - 8*g + 20. Let j be i(-4). Suppose -w = -j*m - 5*n, -6*m = -4*m + 2*n - 26. Is m a multiple of 9?
False
Is 15 a factor of 72/(-1)*(-3990)/56?
True
Suppose -105 = -5*h - v + 495, 2*v + 585 = 5*h. Suppose -80 = -4*p - w + 169, 2*p - 5*w - h = 0. Does 31 divide p?
True
Suppose 0 = -5*b + 15 + 50. Let o = b + -4. Does 4 divide o?
False
Let r be 837/12 - 2/(-8). Let t(q) = 9*q + 21. Let n be t(-6). Let b = n + r. Is b a multiple of 12?
False
Let p be -3*2/8*4. Let z(l) = 6*l**2 + l + 4. Does 11 divide z(p)?
True
Let x(y) be the second derivative of -y**4/12 - 8*y**3/3 - 2*y**2 - 5*y. Does 9 divide x(-13)?
False
Suppose -2*z - 5 + 9 = 0. Suppose 0 = -z*c + 10. Is c a multiple of 3?
False
Suppose 125 = 5*t - 2*q, 3*t - 44 = -4*q + 5. Let f = 38 - t. Is f a multiple of 14?
False
Let t = 33 + -23. Suppose 30 = j + t. Does 20 divide (24/(-4))/((-6)/j)?
True
Suppose -b + 12 = b. Let s be 9/b*8/3. Is (6/s)/((-16)/(-320)) a multiple of 6?
True
Let v = 297 + -202. Let z = 57 - v. Let y = z + 52. Does 6 divide y?
False
Let m(x) = 41*x**2 - 3*x - 5. Let i(s) = 122*s**2 - 9*s - 14. Let n(f) = 4*i(f) - 11*m(f). Does 9 divide n(-2)?
True
Let v(h) = 2 + 4 + 2 - 12*h - 7. Is v(-12) a multiple of 45?
False
Suppose -1175 = -5*s - n, 5*s - 2*n - 52 - 1138 = 0. Does 59 divide s?
True
Let m = 289 + -390. Let k be (-2)/8 - 283/4. Let q = k - m. Is 21 a factor of q?
False
Let k(a) be the third derivative of -a**4/6 + a**3/6 - 10*a**2. Let x be k(-1). Suppose 3*m - 34 = -x*r, m + 4*r + 43 = 4*m. Is 10 a factor of m?
False
Let d(f) = -1294*f. Is 9 a factor of d(-1)?
False
Let y = 75 + -29. Does 8 divide y?
False
Let u(z) = 2*z + 24. Let m be u(-10). Suppose -12 = m*r, -4*s - 2*r = -3*r - 755. Is s a multiple of 25?
False
Suppose 4*i + 0*c = 3*c - 2, -i + 2 = -2*c. Does 19 divide i + 3 - -1 - -169?
True
Is ((-27)/(-45) - (-2)/5) + 506 a multiple of 23?
False
Does 6 divide 196 - (-1 + -3)/(6 - 5)?
False
Let s = -740 + 1528. Does 99 divide s?
False
Suppose 5*d + 677 = -4*z + 2425, -1292 = -3*z + d. Is 12 a factor of z?
True
Let g be (2 - (1 + -3))*36/16. Suppose 2*p = -g*p + 1430. Does 25 divide p?
False
Let f(u) = u**2 - 3*u - 40. Let q be f(-8). Suppose -4*a - 5*b = -q - 90, 0 = -5*a + 5*b + 150. Does 8 divide a?
True
Let h = 166 + -126. Is 5 a factor of h?
True
Let i(d) = d**3 + 8*d**2 + 12*d + 6. Suppose -4*u = 5*m + 19, -3*m = -2*u - 2*m - 13. Does 6 divide i(u)?
True
Let z = 14 + -9. Suppose 0 = 2*j - z*s - 105, 4*j - s = s + 202. Does 25 divide j?
True
Let a = 3087 + -1768. Is a a multiple of 26?
False
Let b(l) = -6*l + 15. Let p be b(-5). Let v = -28 + p. Is 17 a factor of v?
True
Let b = -70 - -254. Suppose -3*j - 26 = -m, -8*m - 3*j + b = -3*m. Is m a multiple of 3?
False
Let o = -164 - -580. Does 16 divide o?
True
Let k = 627 - -45. Does 16 divide k?
True
Let o be ((5 - 3)*-20)/1. Let d be -9*(o/3 + 3). Suppose 2*p = -0*r + r - d, -p = 0. Is 18 a factor of r?
False
Suppose -5*v + 3 - 27 = 3*a, -3*a - 15 = 2*v. Let b = v - -24. Does 5 divide b?
False
Suppose -6*i + 8*i + u - 201 = 0, 5*i - 4*u = 522. Is ((-17)/(i/(-1044)))/2 a multiple of 3?
True
Let b be ((-24)/20)/((-2)/90). Suppose -2 = 2*w - 5*h - b, -5*h + 200 = 5*w. Is w a multiple of 3?
True
Is 17 a factor of ((-51)/(-2))/(258/120 - 2)?
True
Let z = 52 + -51. Let r(f) = 43*f**3 + 3*f**2 - 4*f + 2. Does 4 divide r(z)?
True
Let g(q) = -9*q - 21. Let t(j) = -5*j - 11. Let x(y) = -4*g(y) + 7*t(y). Let u be x(-5). Is 7 a factor of -1 - u - (-6 - 18)?
True
Is 22 a factor of 1/(-15) - 89378/(-345)?
False
Suppose 34*g - 41*g + 2142 = 0. Does 18 divide g?
True
Is 13 a factor of 3/(3/92) + 0 + 1?
False
Let p be -2*(-1 - (-28)/8). Let f(z) = -24*z - 9. Let k be f(p). Let a = k + -54. Is a a multiple of 19?
True
Let k = -3 + 5. Suppose x + w - 2 = -k*w, 2*w - 18 = -4*x. Suppose f = j - 31, 4*f + 43 = -4*j + x*j. Is 9 a factor of j?
True
Let n = -1389 + 1664. Does 14 divide n?
False
Is 7 - (-40)/(-6) - (-140)/3 a multiple of 2?
False
Let j(b) = 4 + 11 + b**3 - 14*b**2 - 6*b - 10*b. Let w be j(15). Suppose 3*x = -w*x + 180. Is 12 a factor of x?
True
Suppose -24 = -3*x - x. Suppose -9*g + 1485 = x*g. Is 19 a factor of g?
False
Let q(a) = a**3 - 4*a**2 + 2*a + 4. Let j be q(3). Let z(r) = 35*r + 2. Let h be z(j). Let x = 39 + h. Does 24 divide x?
False
Suppose 296 + 5638 = 23*d. Is d a multiple of 6?
True
Suppose -14 = 5*w + 11. Let m(u) = 2*u**2 + 2028 + 4*u - 2035 + 0*u. Does 6 divide m(w)?
False
Let n = 115 + -44. Let k be 7/(7/4) + -1. Suppose -n = -k*b + 64. Is 15 a factor of b?
True
Suppose 6 = 6*y - 78. Suppose -y*n + 11*n = 0. Suppose -36 = -n*o - 3*o. Is o a multiple of 6?
True
Suppose -8*o + 1911 + 473 = 0. Let p = o + 22. Does 40 divide p?
True
Let u be 1/(2 + 1)*(3 + 30). Suppose -9 - u = 5*o, -n = 5*o - 48. Is n a multiple of 38?
False
Suppose 0 = 4*k + 5*n + 354, 3*k - 4*n = -2*k - 422. Let m = -10 - k. Suppose -4*q + m = 4*h, -5*h = -2*h - 3*q - 51. Is 9 a factor of h?
True
Let w be (25 - -1)/(3 - 4). Let q be (w/(-6))/((-11)/(-858)). Suppose 59 = -3*o + q. Does 32 divide o?
False
Let y(f) = -f**2 + 7*f - 2. Let x = 7 + 0. Let o be y(x). Does 18 divide (-14)/(3/(o + -4))?
False
Let p(i) = i**2 - 12*i - 48. Is 28 a factor of p(-8)?
True
Suppose -31*s + 8808 = 128. Is 15 a factor of s?
False
Let d(b) = b + 9. Let h be d(-5). Suppose -5*k - 4*x + 24 = -k, 3*k + 5*x = 26. Suppose h*t - 19 - 225 = -v, -4*v = -k*t + 104. Is t a multiple of 14?
False
Suppose -10 + 12 = m. Let j = 6 + -2. Suppose -c = -m*l - 3 - 1, -5*c + 20 = j*l. Does 4 divide c?
True
Let c(f) = 8*f - 10. Suppose 0 = -t + 6 - 4, 0 = -q + 2*t. Is 7 a factor of c(q)?
False
Does 11 divide 2 + 1