*s + 1241. Does 37 divide p(-10)?
True
Let a(c) = -196*c**3 + c**2 - 1. Let l be a(-1). Suppose -4*x = 3*i - l, -x + 2*x - i - 42 = 0. Is x a multiple of 23?
True
Let j(l) = 439*l**2 - 17*l - 17. Let a be j(-1). Let h = -120 + a. Does 20 divide h?
False
Suppose 6093 = i + 42*i - 1905. Is i a multiple of 3?
True
Let n(d) = -48*d + 19. Let r be n(-2). Let q = r - -117. Is 43 a factor of q?
False
Let z(x) = -x**2 - 14*x + 35. Let b be z(-16). Suppose -b = 7*a - 38. Suppose 4*k - 976 = -7*d + 2*d, -a*d + 3*k + 948 = 0. Is 32 a factor of d?
True
Is (-12)/21*-7*(1878 - -1) a multiple of 37?
False
Let t = -47 + -75. Let k be (-1)/2 + t/(-4). Let q = k - 4. Is q a multiple of 12?
False
Let q(d) = d. Let v(p) = 5*p + 12. Let r(s) = 4*q(s) - 2*v(s). Is 9 a factor of r(-9)?
False
Let m = -6903 - -8397. Does 6 divide m?
True
Let s(u) = -u**3 - 7*u**2 + 15*u + 6. Let o(t) = -t**2 + 8*t - 7. Let c be o(8). Let i be s(c). Let d = 181 + i. Is 33 a factor of d?
False
Suppose 16*c - 97*c = -544077. Does 18 divide c?
False
Suppose -2*g + 2*b - 846 = 4*b, 5*b = 4*g + 1710. Suppose 96*z + 30138 = -38694. Let r = g - z. Does 21 divide r?
False
Suppose -8*a + 64 = -4*a. Suppose 3*u = 2*f - a, 4*f = 3*u + 8*f + 4. Is 17 a factor of 2/((-24)/867)*u?
True
Let t = 88 - 89. Let z(c) = -23*c + 4. Does 3 divide z(t)?
True
Does 39 divide ((-299)/(-46))/((-1)/(-1236))?
True
Suppose -159*r = -155*r + 100. Let f(a) = -12*a - 187. Is 3 a factor of f(r)?
False
Let d(s) = -s**3 + s**2 + s - 123. Let f be d(0). Let w(v) = -82*v - 355. Let c be w(-7). Let x = c + f. Is 12 a factor of x?
True
Let s be (2 - -280)/(3/2). Suppose -407 = -5*l + s. Is 2 a factor of (-4)/34 - (-728)/l?
True
Suppose -s - 13 + 1 = 0. Let o = 12 + s. Suppose 3*w - 6 - 9 = o, -w = -2*l + 99. Is 26 a factor of l?
True
Is 32 a factor of 930*(-6 - (-4)/(-24)*-39)?
False
Suppose -3*u + 13*u = -80. Let f(v) = 8*v**2 + 16*v + 41. Does 25 divide f(u)?
True
Let b be (26*-23)/(-6 + (6 - 1)). Let r = 886 - b. Does 18 divide r?
True
Let q(r) = 18*r - 27. Let y be q(5). Suppose 69*a - y*a = -366. Let t = 42 - a. Is 8 a factor of t?
False
Let p(n) = 8*n**3 + 372*n**2 + 92*n - 62. Is 117 a factor of p(-46)?
False
Suppose -7 = -33*j + 36*j - 5*t, -3*j - t - 13 = 0. Let a(k) be the first derivative of 4*k**3/3 - 7*k**2/2 - 8*k - 1. Is 14 a factor of a(j)?
True
Suppose 0 = 33*r + 1285 + 10463. Let o = r - -818. Is o a multiple of 21?
True
Suppose 3*v + 1384 = -2*l, 2*v + 3*l = -0*l - 916. Let j = v + 752. Does 12 divide j?
True
Suppose 5409 - 10016 - 15265 = -32*a. Is a a multiple of 8?
False
Suppose 226965 + 1480 = 35*s. Does 18 divide s?
False
Let k be (56 + -49)*12/14. Suppose 3566 = k*j + 644. Is 11 a factor of j?
False
Let f(q) = 27*q**2 - 937*q + 14. Is 26 a factor of f(43)?
True
Let b be -2*8/(-48)*0. Suppose b = 4*y + 3*d - 1169, -12*y - d + 587 = -10*y. Is 5 a factor of y?
False
Let m(i) = -2347*i + 60. Does 49 divide m(-1)?
False
Let f = 300 + -297. Suppose -2*d = 2*t + f*d - 531, 3*d + 282 = t. Does 26 divide t?
False
Let x(y) = y - 9. Let h be x(-5). Is 16/28 + (-10996)/h a multiple of 29?
False
Let w = 0 - -9. Suppose w*u - 7*u = 22. Suppose -u*t - 91 = -619. Is t a multiple of 16?
True
Let u(p) = -p**3 + 52*p**2 + 38*p - 473. Is u(52) a multiple of 167?
True
Let m(x) = -6*x**3 + 9*x**2 + 19*x - 227. Is m(-9) a multiple of 15?
False
Let x be (0 + 26)*((-539)/14)/11. Let m = x - -179. Suppose -m - 44 = -4*b. Is b a multiple of 11?
True
Let a be (-4)/(-10) + 1706/10. Let v = 626 - a. Does 12 divide v?
False
Let g(q) = 4*q + 21 - 16*q - 39 + 20. Is 11 a factor of g(-4)?
False
Suppose 2*s + t - 53172 = 0, -t = 3*s + 2*t - 79767. Is s a multiple of 9?
False
Let p = -3904 - -5095. Does 3 divide p?
True
Let l be 2 + 1 + (-42)/7 + 5. Suppose d + l*d - 789 = 5*z, 0 = -5*d + 3*z + 1331. Is d a multiple of 18?
False
Suppose 0 = -264*i + 23700 + 20388. Does 3 divide i?
False
Let p(j) be the third derivative of -45*j**4/8 - 11*j**3/6 + 8*j**2 - 1. Does 37 divide p(-3)?
False
Let p(s) = -s**2 - 6*s + 65. Let q be p(0). Let a = 583 + q. Does 27 divide a?
True
Let a = 24531 - 21727. Does 6 divide a?
False
Let f(d) = 200*d - 1212. Is 3 a factor of f(7)?
False
Let d = -19 - -28. Let w be 20 - 3*3/d. Let o = w - 9. Is o a multiple of 5?
True
Let u = -535 - -537. Suppose 3677 = 5*c + u*f, f + f = 3*c - 2219. Is c a multiple of 11?
True
Let s(m) = m**3 + 10*m**2 + 15*m + 10. Let p be s(-8). Suppose 3817 + 8405 = p*w. Is w a multiple of 37?
False
Suppose -54*p + 630966 = 29*p. Is p a multiple of 14?
True
Let s be 2/(((-24)/(-4))/24). Let k(o) = 3*o**2 + 2*o + 35. Is 10 a factor of k(s)?
False
Suppose -5*a = 2*s - s - 5644, a + 2*s = 1136. Is a a multiple of 8?
True
Suppose 5235 = 39*q - 34*q. Let v = q + -575. Is v a multiple of 18?
False
Let l(d) = -998*d + 6. Let a be l(-2). Suppose 8*q - a = 990. Suppose 4*f = 5*z + 394, -z + q = 4*f + 4*z. Does 6 divide f?
True
Let s = -671 - -430. Let n = -188 - s. Is n even?
False
Let p(x) = -33*x - 9. Let z be p(-13). Suppose 10*h = 1577 + 1243. Let u = z - h. Does 23 divide u?
True
Let t(r) = 3*r + 91. Let i be t(-29). Suppose -2*b = i*b - 1260. Is 23 a factor of b?
False
Suppose 0 = 5*f - w - 1864, -4*f = -0*f + w - 1493. Let s = f + -259. Suppose -166 = -8*b + s. Is b a multiple of 7?
True
Suppose 11167 = 50*y - 37*y. Let r = -306 + y. Does 7 divide r?
True
Let j(w) = 590*w**2 + 93*w - 76. Is j(-7) a multiple of 24?
False
Let k = -133 + 135. Let d(f) = 59*f**2 + 8*f - 17. Is 5 a factor of d(k)?
True
Let y(b) be the third derivative of b**5/20 + b**4/4 + 13*b**3 + 196*b**2. Does 6 divide y(14)?
True
Suppose 0 = s + w - 300 - 4693, -4*s + 19982 = 2*w. Does 10 divide s?
False
Let y = 460 - -210. Let l = 738 - y. Does 51 divide l?
False
Let m = -1961 + 2365. Is m a multiple of 14?
False
Let w be (-3)/12 - (-1230)/(-8). Let x = 226 + w. Is x a multiple of 4?
True
Let h = -83 + 111. Suppose 0 = 2*c - 3*x - 21, -c + 4*x + h = -x. Suppose -c*l + o + 395 = 0, -3*o = -l + 111 + 18. Is l a multiple of 22?
True
Let c = -35 - -43. Let b = c - 1. Suppose 0 = 5*o - 3*z - 217, -b*z = 4*o - 3*z - 180. Is o a multiple of 22?
True
Let h(j) = 6*j**2 + 30*j - 695. Is 61 a factor of h(-41)?
False
Let q(u) = 15 + 9 - 73*u + 14*u + 29*u. Let y be q(-3). Let l = -88 + y. Is l a multiple of 26?
True
Let t = -12587 + 18750. Is t a multiple of 116?
False
Suppose -8*o = -14*o + 54. Is 15 a factor of -6 + 21/o*9?
True
Suppose s + 28 = 2*z, 0*z = -5*s - z - 129. Let i(q) = -q**3 - 25*q**2 + 26*q + 4. Let p be i(s). Is 124/p*(-5)/(-5) + -4 a multiple of 4?
False
Suppose -6*p - 75 = -147. Let k(w) = w**3 - 13*w**2 + 15*w - 30. Let y be k(p). Suppose -64 = -5*j - 4*g, -2*j + y*g = 2*g - 48. Is j a multiple of 10?
False
Let u be 18/4 + 1/2. Let x be (4/u)/(16/360*9). Suppose 4*v = -t + 257, v = -0*v + x*t + 62. Is v a multiple of 6?
False
Let o(z) = 2*z - 11. Let l be o(7). Suppose -2*k + 9 = -l. Suppose 259 + 209 = k*t. Is t a multiple of 8?
False
Suppose -29*v + 33*v = -2*w + 4750, 0 = w - 7. Is 16 a factor of v?
True
Let w(u) = u**3 + 39*u**2 - 100*u + 41. Is w(-37) a multiple of 18?
False
Does 11 divide (-54)/(-72)*(28528/32 - 1/(-2))?
False
Let m(z) = 27*z**3 - 3*z**2 + 7*z - 3. Let r be m(1). Suppose r*l - 34*l = -1920. Is 10 a factor of l?
True
Suppose -z - 2*l = -1300, -2*z - 2*l - 238 + 2830 = 0. Is z a multiple of 23?
False
Let r = -33516 - -70454. Is r a multiple of 73?
True
Let h(f) = 2136*f**2 + 13*f + 12. Let x be h(-1). Suppose -x - 25 = -16*v. Is v a multiple of 8?
False
Let p(q) = -29*q - 17. Let f = -14 + 16. Suppose -f*z = g + 11, -3*z - 10 = -4*g + 12. Is p(z) a multiple of 23?
False
Let m = 23 + 47. Suppose -m + 0 = -14*p. Suppose p*n = 389 + 11. Is n a multiple of 20?
True
Let h(y) = y**3 + 58*y**2 - 273*y + 43. Does 9 divide h(-62)?
True
Let z be 51 - (-4)/(-3 + 2). Let l = -41 + z. Does 8 divide l/21 + (-220)/(-14)?
True
Suppose 1364 = -3*i + 7*i + 4*y, 2*i = y + 667. Let o = i - 284. Is o a multiple of 2?
True
Let r(d) = -3*d + 144. Let h be r(36). Suppose -4*x = -2*x - 18. Let p = h - x. Is 18 a factor of p?
False
Suppose 40*v - 46*v - 1020 = 0. Is 14 a factor of -4 + (3279/17 - 20/v)?
False
Let f = 14 + 100. Let n(q) = -q**2 + 11*q. Let b be n(11). Suppose b = 3*l - l - f. Is 19 a factor of l?
