+ 57867 = -6615. Is 6 a factor of j?
False
Let v = -3109 + 5472. Is 26 a factor of v?
False
Does 3 divide -8 + ((-84)/4)/((-45)/330)?
False
Does 20 divide (-110 + 90)/((-4)/(-28704)*-3)?
True
Let s(c) be the first derivative of 25 - 51*c - 11/2*c**2. Does 25 divide s(-13)?
False
Let s(i) = -i**3 + 14*i**2 + 14*i + 21. Let o be s(15). Suppose 2*w = -w + o. Is 2/(6/57) - w a multiple of 2?
False
Does 11 divide (8 - (-57817)/(-68))*-4?
False
Let s(g) = g**2 + 3*g + 9. Let x = -44 - -40. Let c = -8 - x. Does 4 divide s(c)?
False
Is 2 a factor of (-7*(-35)/(-147))/(25/(-10365))?
False
Let x = 35205 - 8936. Does 21 divide x?
False
Suppose c + 16 = 18. Suppose -3*y + 1418 = 5*q, -2*y + 954 = -c*q + q. Let r = -237 + y. Does 40 divide r?
False
Let k(u) = -u**3 + 10*u**2 - 3*u - 15. Let g be k(7). Suppose -3*i = -4*m - 742, -m - 359 = -i - g. Is i a multiple of 74?
False
Suppose 2*v + 58 = 5*i, 5*i + 3*v = i + 28. Is -2*(-143 + -1 + i) a multiple of 20?
False
Let y(q) = -96*q + 130. Does 12 divide y(-37)?
False
Let v be 60/24*(-4)/(-10). Does 5 divide v*57 - ((-3)/(-1))/3?
False
Let t = -188 + 2996. Does 24 divide t?
True
Let f(n) = n**3 - 2*n**2 - 11*n + 5. Suppose 0 = -2*z - 5*h + h - 4, -16 = -2*z + h. Does 25 divide f(z)?
False
Let k(u) = 908*u + 1422. Is 10 a factor of k(36)?
True
Is (-110)/4*(-20 - 1056/30) a multiple of 23?
True
Let b be (-7)/(2 - (3 - 0)). Suppose 2*i + b = w, 0*w + 5*i = 4*w - 25. Suppose -49 - 46 = -w*g + 3*l, 2*l = -3*g + 38. Does 7 divide g?
False
Does 2 divide ((-8)/(-32))/(11/44) - (-1 - 643)?
False
Let f(l) = -l**2 + 11*l - 8. Let v(n) = n**2 - 4*n - 23. Let k be v(8). Let x be f(k). Let i = x - -23. Is 33 a factor of i?
True
Let j(g) = -g**3 + 10*g**2 + 14. Let v be j(8). Let n = v - 212. Let a = -12 - n. Is 29 a factor of a?
True
Let v = -15 + 35. Let d be (-197)/2*(v + -22). Suppose 175 = 3*k - d. Does 31 divide k?
True
Let b(x) = 8*x + 2. Let s be b(4). Suppose 792 = -28*t + s*t. Does 22 divide t?
True
Let p = 6167 - 5027. Is 19 a factor of p?
True
Let c be 76/6 - (11 + 124/(-12)). Suppose -c*v + 14*v - 316 = 0. Is v a multiple of 13?
False
Let q(l) = -l**3 - 15*l**2 - 11*l - 160. Is 7 a factor of q(-23)?
False
Let d(k) = 12*k + 6. Let w(y) = y + 1. Let j(i) = -i**3 - 9*i**2 - 8*i - 6. Let n be j(-8). Let m(g) = n*w(g) - 2*d(g). Does 27 divide m(-6)?
True
Suppose 0 = -3*n + 4*w - 1540, -1625 = 3*n - 2*w - 87. Let p = 780 + n. Is 21 a factor of p?
False
Let k = 12997 + -8147. Does 15 divide k?
False
Let c = 7068 + -2085. Is c a multiple of 26?
False
Suppose 0 = 4*n + b - 11 - 24, 0 = 2*b + 2. Let m(o) = 218*o - 11. Is m(n) a multiple of 23?
False
Let h = 23921 + -12429. Does 68 divide h?
True
Let w(v) = v**3 + 55*v**2 + 100*v - 1490. Is w(-49) a multiple of 4?
True
Let b be (6/18)/((-1)/(-12)). Suppose -8 = -b*q + 4. Suppose -8 + 164 = q*n. Does 8 divide n?
False
Let z = 5535 - 4911. Is z a multiple of 13?
True
Let a(x) = 8*x**3 - 3*x**2 + 3. Let y be (-54)/(-24) - (-1 + 10/8). Let n be a(y). Suppose -4*g = -149 - n. Is 3 a factor of g?
True
Suppose 0*n + 12483 = -19*n. Let p = n + 801. Does 12 divide p?
True
Let k(j) be the third derivative of j**5/60 + 17*j**4/24 - 7*j**3/2 + 125*j**2. Is 39 a factor of k(-20)?
True
Let k = 397 - 349. Suppose 0 = k*o - 56*o + 2672. Is 11 a factor of o?
False
Let k(m) = 20*m - 2*m**2 + m**2 + 17 - 7*m. Suppose 139*r + 130 = 152*r. Is k(r) a multiple of 10?
False
Suppose 21550 = 5*t + 4*i, -i = -28*t + 25*t + 12947. Does 11 divide t?
False
Suppose -4*n + 4*a = -432, 4*a = -a. Let g = n - 107. Is ((-21)/63)/((-2)/378*g) a multiple of 4?
False
Suppose -b = -10*b + 261. Suppose 126 = -b*d + 32*d. Suppose -5*s + 6*z - 3*z = -113, 2*s - d = -2*z. Is s a multiple of 3?
False
Suppose 13*g + 3*n = 12*g + 196, 3*g - 549 = 4*n. Does 33 divide g?
False
Let i(b) = -6*b**2 + 16*b + 10. Let k be i(3). Is 2*2 - ((-468)/k + 2) a multiple of 7?
True
Is 8 a factor of (-6 - (-2988)/30 - 6)*(537 + -22)?
False
Suppose 496651 = 1337*o - 1293*o + 110463. Does 6 divide o?
False
Suppose 2*d = -1256*p + 1259*p + 16811, 4*d = 4*p + 33636. Is d a multiple of 111?
False
Suppose 2*g + 12 = -5*s + 6*s, -5*g + 60 = 5*s. Suppose -773 + 125 = -s*f. Is f a multiple of 12?
False
Suppose 224*r - 229*r + 8930 = 0. Is 19 a factor of r?
True
Suppose -37*r + 29969 + 116865 = -66434. Is 106 a factor of r?
False
Let b(u) = 2*u**2 + 34*u + 56. Let z be b(-21). Suppose 3*w = 4*m - 871, 0 = m - 2*w - 0*w - z. Let v = m - 16. Is 28 a factor of v?
False
Let o(s) = -455 - 2*s + 455 + s + 374*s**2. Is 18 a factor of o(1)?
False
Let b = 57 + -51. Suppose b*h - 410 + 134 = 0. Is h a multiple of 4?
False
Let i = 58758 - 38148. Does 127 divide i?
False
Let d(l) = -l**3 + 8*l**2 - 6*l - 10. Let q be d(7). Let a be 8/(-44) + q + 2316/33. Let t = a - 40. Is t a multiple of 5?
False
Let c(r) = 24*r + 9716. Does 22 divide c(-51)?
True
Suppose z - 29 = -4*j, 5*z - 3 - 2 = 0. Let b(p) = 46*p - 111. Does 86 divide b(j)?
False
Let v = -197 - -200. Suppose v*j - 300 = -j. Does 3 divide j?
True
Suppose 0 = 6*b + b - 35. Suppose -9 = 2*p - b*g, -4*p + 4*g - 9 = 3*g. Does 2 divide p + -1 - (-15 + 0 - -3)?
False
Suppose -138*g + 195698 = -70228. Is g a multiple of 34?
False
Let o(s) = 121*s**2 - 22*s - 175. Is o(-7) a multiple of 26?
False
Let l = -128 - -126. Is (l + 7 - 18/4)*184 a multiple of 5?
False
Suppose -4*g + 4*i - 680 = 0, g + 2*i + 243 - 67 = 0. Let k = 327 + g. Suppose -5*s + 422 = -a, 5*a = 4*s - 2*s - k. Is 17 a factor of s?
True
Suppose -273*n + 274*n = 5*t - 2028, 4*n = -3*t + 1226. Is 31 a factor of t?
False
Suppose 6*r = 3*r - m + 10203, r = 3*m + 3391. Does 68 divide r?
True
Suppose -3355 = 5*q - 10*q. Suppose -2*a + 1033 = -q. Is a a multiple of 11?
False
Let v be -7*(4 - (-120)/(-28)). Suppose v = -2*b - 3*p + 9, p = 4*b - 35. Suppose 360 = -0*o + b*o. Is o a multiple of 45?
True
Let u = -486 - -490. Suppose 3*f = 2*o + 8*f - 655, -1370 = -u*o + 2*f. Is o a multiple of 68?
True
Suppose 13*h + 161 = 20*h. Suppose h*l - 834 = 17*l. Is 34 a factor of l?
False
Let m = 116 - 102. Suppose -m*x + 975 = -x. Is 11 a factor of x?
False
Let a(t) be the first derivative of -t**4/4 + 4*t**3 + 11*t**2/2 + 5*t - 67. Is 22 a factor of a(10)?
False
Suppose -4*n = 4*j + 92, -3*j - n - 6 = 65. Let o(f) = -f**3 - 23*f**2 + 21*f - 45. Let t be o(j). Is t/((-18)/6)*-3*1 a multiple of 27?
True
Let c(l) = -11*l**3 - 5*l**2 + l - 3. Let g(u) = -12*u**3 - 6*u**2 + u - 4. Let q(r) = 5*c(r) - 4*g(r). Let d be -2*(15/(-6))/(-5). Is 3 a factor of q(d)?
True
Suppose -25 = -5*y, -2*k = -6*k - 2*y + 30. Suppose k*u - u - 2*s = 5780, 4*u - 3*s = 5776. Is u a multiple of 15?
False
Let a(k) = 25869*k**3 + 3*k**2 - 13*k + 11. Does 73 divide a(1)?
False
Let c(v) be the first derivative of 14 - 10*v + 23/2*v**2. Is 23 a factor of c(2)?
False
Let y(j) = 12903*j + 327. Does 286 divide y(2)?
False
Let f(p) = 3*p**3 + p**2 + 9*p - 13. Let h be f(3). Suppose 118 = u - 3*u. Let a = h + u. Is 3 a factor of a?
True
Let b = 2581 + -1799. Is b a multiple of 2?
True
Let v(d) = 9*d**2 - 46*d + 64. Does 7 divide v(31)?
True
Let y(p) = p + 5. Let x be y(-5). Suppose 2*s + 2*f - 9 = 3*s, 3*f - 6 = x. Is 35 a factor of ((-20)/2 - s)*-49?
True
Let x(i) = 3*i**2 - 4*i - 4. Let a be x(-1). Let t(v) = -3 - 23*v**3 + 4 - v**a - v**2. Is 6 a factor of t(-1)?
True
Suppose -q + 321 = 2*j, -7*j + 3*j = -q + 303. Suppose q = m - 709. Is 64 a factor of m?
True
Let w = 339 - 625. Let x = 322 + w. Does 13 divide x?
False
Suppose 4*h = 3*h + 2*h. Suppose 4*u - 173 - 103 = h. Is u a multiple of 3?
True
Suppose 0 = 5*r + 25, -3*n - 5*r + 125 = -n. Let k = 78 - n. Does 9 divide -34*k/(-10 - -4)?
False
Let b be (-1 + (-21)/(-6))*(9 - 53). Let v = b - -160. Is 5 a factor of v?
True
Suppose -2*w + 1480 + 5620 = -2686. Is 12 a factor of w?
False
Let h = -279 - -282. Suppose 1920 = 5*x + 4*z, 16*x - h*z - 403 = 15*x. Does 12 divide x?
False
Suppose 3*l = f + 32, -f - l + 24 = -2*f. Let x = f + 176. Does 39 divide x?
True
Let o(q) = -28*q**3 - 7*q**2 + 16*q + 23. Let x(c) = -30*c**3 - 8*c**2 + 18*c + 24. Let i(l) = 6*o(l) - 5*x(l). Is 12 a factor of i(-4)?
False
Is 38 a factor of (2500/7)/(64/2016)?
False
Suppose -42*g = -27*g - 1290. Suppose -3*w - 15 = 0, 4*w + g = -r + 1106. Is r a multiple of 16?
