y**2 - 10*y - 27. Let r(a) = 11*a**2 + 3*a + 9. Let m(j) = -6*k(j) - 17*r(j). Let g be m(-4). Suppose 3*n - g = 43. Is n a multiple of 8?
True
Suppose -12*u + 658350 = 19*u + 44*u. Does 40 divide u?
False
Let l = -29 + 37. Suppose 124 + 324 = l*s. Suppose -24 = -4*v + s. Does 20 divide v?
True
Does 19 divide (-4527100)/(-125) - 5/100*-4?
False
Let h be 11/4 - 33/44. Is 11 a factor of h/(-7) - 2*13097/(-98)?
False
Suppose -3*j = 5*z - 802, z + j - 57 = 103. Suppose z = 3*i - 115. Suppose -8 = -5*d + i. Is d a multiple of 10?
True
Suppose -m - 15 = -210. Suppose 0 = 60*d - 65*d + m. Does 39 divide d?
True
Let k = -19180 + 42364. Is 48 a factor of k?
True
Let s(d) = 4*d**2 - 24*d - 124. Let h be s(-6). Let z = h + 358. Is z a multiple of 12?
False
Let p(x) = -7*x**3 + 4*x**2 - 21*x + 20. Let y = 40 + -47. Let q(o) = 8*o**3 - 3*o**2 + 22*o - 21. Let c(s) = y*p(s) - 6*q(s). Is c(10) a multiple of 7?
False
Is (-2300)/(-7) + 477/1113 a multiple of 3?
False
Suppose 1017*s - 1564 = 1015*s. Is s a multiple of 34?
True
Suppose -5*t - 3*z = -7*t + 1232, 3*z = -4*t + 2446. Let c = -222 + t. Is c a multiple of 17?
True
Suppose -4*t + 3*u + 133 = 0, 2 = u + 1. Suppose -3*v + 34 + 18 = -4*s, 2*s = 2*v - t. Is 16 a factor of v?
True
Let o(r) = 26*r**2 + 160*r - 208. Is 22 a factor of o(-19)?
True
Let d = -2473 + 1166. Let t = 2567 + d. Does 14 divide t?
True
Let z be 124/10 + 36/(-90). Suppose 0 = -14*x + z*x + 144. Suppose -5*w + 5*s = -90, 4*w - 4*s = -3*s + x. Does 15 divide w?
False
Let l(a) = 28*a**2 + 4*a. Let c be l(-1). Suppose c*s = 13*s + 1342. Is 57 a factor of s?
False
Let c(l) = -44*l**3 - 23*l**2 + 22*l + 12. Does 205 divide c(-8)?
False
Let o be -30*(-29 - 13)/(10/(-2)). Let b = -240 - o. Is 9 a factor of b?
False
Let u = 168 - 8. Let l = u - 51. Suppose 3 = 4*z - l. Does 5 divide z?
False
Let i = -5667 - -11675. Does 108 divide i?
False
Suppose -2*c + 4*a = -30, 5*c + 21*a = 20*a + 20. Suppose 0 = -4*g + 38*u - 34*u + 3388, 1722 = 2*g + c*u. Is 14 a factor of g?
False
Let k(s) = -s**2 - 102*s - 1124. Is k(-44) a multiple of 157?
False
Suppose 171 - 156 = -3*d. Is 17668/70 - (-2)/d a multiple of 21?
True
Suppose 0 = 20*n - 598108 - 255852. Is 37 a factor of n?
True
Let i = 3217 + 379. Does 124 divide i?
True
Let i(f) = f**3 - 103*f**2 + 403*f - 27. Is 154 a factor of i(100)?
False
Let b = -15 - -18. Suppose 3*x - b*y + 25 = -2*y, -4*x - 45 = y. Does 4 divide (48/x)/((-12)/40)?
True
Let y(l) = 458*l - 9. Let t be (9/(-45))/((-3)/30). Is 43 a factor of y(t)?
False
Let v = 27802 - 13845. Suppose 349 = -7*d + v. Does 36 divide d?
True
Let w be 51*(-1 - -6 - 4). Let g = 12 + w. Does 7 divide g?
True
Let p(t) = -t**2 - 16*t - 9. Let f be p(-16). Suppose 4*j - 107 = 25. Let u = j + f. Does 12 divide u?
True
Let o = -619 - -624. Suppose o*i + 19*i - 11352 = 0. Is 11 a factor of i?
True
Suppose -4*r - r + 323934 = 8*r. Is 17 a factor of r?
False
Let o = 3096 - 2200. Is 7 a factor of (2/(-1))/((-32)/o)?
True
Let q(o) = 2*o**3 + 4*o**2 - 11*o - 12. Let b be q(-6). Let m = 361 - b. Does 89 divide m?
False
Let k(y) = y**3 - 3*y**2 + 83*y - 963. Is 23 a factor of k(29)?
False
Let u = -35 - -35. Suppose 2*l - 1 - 19 = u. Suppose -l = -4*v + 42. Does 6 divide v?
False
Let y(k) = k + 11. Let u be y(-12). Is 42 + u + -3 + 2 a multiple of 4?
True
Is 68 a factor of (-8 - 3945/25)*(2 - (-34)/(-2))?
False
Suppose -73*v + 66354 = -49216 + 15268. Is v a multiple of 4?
False
Let k(y) = 566*y**3 - 5*y**2 + 2*y. Is 150 a factor of k(1)?
False
Let v(r) = 5633*r + 22. Does 65 divide v(1)?
True
Let i = 1 - -30. Let m = 25 - i. Is 12*3*m/(-4) a multiple of 18?
True
Suppose 5 = -6*t + 17. Let h be t*(-15)/(-25)*5/2. Suppose 3*f = 2*a - 318, 4*a = -0*f - h*f + 654. Is 36 a factor of a?
False
Let z be 76*(-21)/(-6)*4/56. Let j = z - -14. Suppose 2*i - 15 = j. Does 6 divide i?
True
Let g(r) = -r**3 - 9*r**2 - 19*r - 19. Let c be g(-8). Suppose -10*m + 141 = -c. Does 7 divide m?
True
Let s(f) = -24*f - 135. Let l be s(-7). Suppose -b - l = -273. Is b a multiple of 8?
True
Let i be 10/(-2)*(-3 + 4 + 79). Does 10 divide i/(-12)*(-9)/(-2)?
True
Let q = -2 - 33. Suppose y - 4*b - b = -75, 3*y - 5*b = -185. Let x = q - y. Does 4 divide x?
True
Suppose 60*r - 402848 - 386752 = 0. Does 11 divide r?
False
Suppose -3*h - 4*w = -8169, 2*w - 5444 = -17*h + 15*h. Is h a multiple of 62?
False
Suppose 2*r = -3*m - 2, -3*r + 15 - 3 = -3*m. Suppose r*s - 4*i = s + 162, 0 = 5*s + 4*i - 930. Does 6 divide s?
False
Suppose -k - 7*k = -64. Suppose -5*v + k = 3*v. Is -12*(-7 + 3)*v a multiple of 16?
True
Let p(r) be the first derivative of r + 10*r**2 - 4*r - 13 + 4*r. Does 24 divide p(8)?
False
Let z(t) = -2*t**2 + 1. Let k(n) = 18*n**2 + 16*n - 10. Let w(p) = k(p) + 8*z(p). Is 9 a factor of w(5)?
False
Let s(d) = d**3 + 20*d**2 + 19*d + 23. Suppose -2*u = -12 + 110. Let h = u - -30. Does 23 divide s(h)?
True
Suppose 577*g - 6884755 - 10042325 = -1963739. Is g a multiple of 10?
False
Let i(w) = 165*w + 93. Let y(l) = -82*l - 47. Let r(f) = 5*i(f) + 9*y(f). Let x be r(8). Suppose -5*h + 252 = -2*g - x, 5*h - 5*g = 975. Does 25 divide h?
True
Let p(v) = 2*v**3 + 21*v**2 + 38*v + 14. Let q be p(-10). Let d = q - -303. Is d a multiple of 12?
False
Let r be 28/10 - (-12)/60. Suppose 2*f - 2 = -5*s, -5*s - 8 = 3*f - 3*s. Does 6 divide -3 - (r + (-28 - f))?
True
Suppose 3*g - 5*a = 52, -4*g - 3*a = -5*g + 20. Suppose g*q - 11*q = 825. Does 10 divide q?
False
Let l(w) = 2247*w + 4. Is l(2) a multiple of 26?
True
Let t(p) = 6*p**3 - 10*p**2 - 9*p - 1. Let i be t(-3). Let a = i - -358. Is a a multiple of 22?
True
Suppose 26*l + 22*l - 27456 = -4*l. Is 16 a factor of l?
True
Suppose -1593 - 1559 = -8*h. Let m = -112 + h. Is m a multiple of 17?
False
Suppose -4*u + 43 - 15 = 3*d, d - 4*u = -12. Suppose -677 = -d*q + o, -q + 136 = -4*o - 52. Is q a multiple of 56?
True
Suppose 12*h = 57*h - 6750. Let c(t) = 57*t**2 - 4*t + 2. Let q be c(2). Let d = q - h. Is d a multiple of 18?
True
Let v(n) = n**3 - 3*n**2 + 9*n - 41. Let j be v(6). Suppose j*o - 117*o - 236 = 0. Is 23 a factor of o?
False
Suppose -o = o. Suppose -3*g - 219 - 84 = o. Let p = -61 - g. Is p a multiple of 10?
True
Suppose -n + 2 = -3. Let r(a) = -125*a + 743. Let f be r(6). Let m = n - f. Is 2 a factor of m?
True
Let x(z) = z**3 + 2*z - 9. Let g(q) = q**3 + q - 8. Suppose a + 0*a = 4. Let h(i) = a*x(i) - 5*g(i). Does 2 divide h(-2)?
True
Let j = -9 - -5. Let q(i) = -188*i + 1756. Let d be q(9). Is 8 a factor of j*5/(-20)*(d + -1)?
False
Let p = 162 + -161. Let b(a) = 339*a - 23. Is b(p) a multiple of 29?
False
Let a(g) = g + 28. Let f be a(0). Suppose 26*o = f*o - 8. Suppose -129 = -5*m - o. Is m a multiple of 11?
False
Let n be 1 + (-8)/(-2) + (-4 - -4). Suppose 0 = -2*y - 2*f + 222, 0*y - f = -y + 113. Suppose -b = -n*b + y. Is 5 a factor of b?
False
Let u be 78/(-104)*-2*14. Suppose -u = -14*k - 7. Let g(x) = 149*x - 1. Is g(k) a multiple of 10?
False
Let b(f) = f**3 - 16*f**2 - 143*f - 301. Does 10 divide b(37)?
False
Suppose 0 = -p - 4*h + 461, -547 = -p - h - 71. Suppose -5*i + 491 = 5*l - 4*l, 3*i - p = -l. Is l a multiple of 43?
False
Let o(u) = u**3 + 7*u**2 + 10*u + 2. Let a be o(-4). Let l(q) = q**2 - 9*q - 13. Let r be l(a). Is 13 a factor of ((-1665)/(-6))/r*-2?
False
Let k(z) = -z**3 - 11*z**2 + 2*z + 40. Let w be k(-11). Is 14 a factor of 1518/(-8)*(-48)/w?
False
Let d be (12/5)/(10/(-1825))*-1. Let g = -103 + d. Is 11 a factor of g?
False
Suppose -4 = -m - y, 3*y + 2*y = 0. Suppose 19 = 3*a + 5*q, -6 + m = 2*a - 4*q. Suppose a*n - 141 = 252. Is 56 a factor of n?
False
Let n = -18868 - -31291. Does 17 divide n?
False
Let f(a) = a**3 - 58*a**2 - 5*a + 268. Let i be f(58). Is 32 a factor of (-6)/i + (-31360)/(-44)?
False
Suppose 5*q = 3*c - 8832, 2*c = -c + q + 8808. Does 6 divide c?
True
Let t = -2296 + 2891. Does 37 divide t?
False
Suppose -218*o + 1064062 = -3237825 + 744127. Is o a multiple of 96?
True
Let m(b) = -15*b**2 - 1087*b + 3. Is 18 a factor of m(-50)?
False
Let n(z) be the third derivative of -1/60*z**5 - 7/12*z**4 - 14*z**2 + 0 + 1/3*z**3 + 0*z. Is 14 a factor of n(-10)?
True
Let s(l) = l**2 - 10*l - 6. Let k be s(-9). Let h be k/(3*1/15). Suppose -290 = -5*o + h. Is 31 a factor of o?
False
Let m = 1 - 481. Let v = 