of 83*p**2/2 - 11*p - 33. Does 6 divide v(1)?
True
Suppose 71*l + 24 = 79*l. Let j be 208/(2*2/4). Suppose 3*p - j = -i - i, -4*i + 452 = -l*p. Is 22 a factor of i?
True
Suppose -c + 4*b + 4 = 0, -3*c + 4*c + 2 = -2*b. Suppose -t - 3*t + 144 = c. Does 9 divide t?
True
Let q(r) = 2*r**2 - 39982 + 39965 + 3*r - r**2. Suppose 3*c - 5*c = 2*k - 10, -4*k + 38 = -5*c. Is 12 a factor of q(k)?
False
Let t(u) = -88*u - 4. Let b = 89 + -82. Suppose -y - 5*f = -b*f - 1, 0 = 3*y + 5*f + 19. Does 26 divide t(y)?
True
Suppose -5*o + 3*c = -62044, -71*c = 5*o - 69*c - 62079. Is 34 a factor of o?
False
Let b(j) = 3*j**3 + 8*j**2 - 45*j + 22*j - 2 + 25*j. Let d(o) = 13*o**3 + 32*o**2 + 8*o - 9. Let s(y) = 9*b(y) - 2*d(y). Is 5 a factor of s(-7)?
True
Let d(m) = m**2 + 16*m - 31. Let p be d(2). Suppose -p*q + 8897 = 3*k, -4*q - 829 + 7921 = -4*k. Is q a multiple of 103?
False
Let l = -3986 - -6659. Is 9 a factor of l?
True
Let x(n) = -n**2 - 175*n + 13 + 70 + 110*n. Is x(-44) a multiple of 53?
True
Is 14 a factor of 3150*(-231)/(-66)*16/42?
True
Let c(m) be the second derivative of -m**3/3 - 23*m**2/2 - 9*m. Let y be c(-13). Is y + 2 - (3 + -156) a multiple of 14?
False
Let u be 3/(-6) - 72/(-16). Suppose 0 = -w + 3*k + 447, -974 - 392 = -3*w + u*k. Is w a multiple of 33?
True
Let x(v) = -3*v**2 - 6*v + 3. Let k be x(1). Does 18 divide (-124)/k*1368/48?
False
Suppose -61310*r + 61359*r = 2677801. Does 246 divide r?
False
Suppose -37*z - 125*z = -16*z - 15038. Is 72 a factor of z?
False
Let n be (-8 + 32/4)*2/(-4). Suppose n = -9*s - 148 + 31. Let o(v) = -v + 35. Is o(s) a multiple of 24?
True
Let o(w) be the second derivative of w**4/3 - 25*w**3/6 + 7*w**2 - 17*w. Is 5 a factor of o(-6)?
False
Let s(f) = -19*f + 14. Let x be s(-12). Suppose -8*j + 694 = -x. Is j a multiple of 13?
True
Let m(v) = 2*v**2 - 83*v - 3090. Is m(-69) a multiple of 50?
False
Suppose 503 = 8*o + 663. Is (-4719)/22*o/6 a multiple of 11?
True
Suppose -5*g + 34*d - 29*d = 0, 5*g + 2*d = 28. Suppose -5244 = -g*f - 34*f. Is 4 a factor of f?
False
Suppose 16*k + 120576 = 64*k. Does 44 divide k?
False
Suppose 7*q - 52 + 17 = 0. Suppose -12 + 4 = 4*f + 4*c, -4*f - 3*c = 6. Suppose -b - 4*b = q*y - 150, f = -5*b + 5*y + 150. Does 6 divide b?
True
Let l(k) = k**3 - 10*k**2 + 7*k + 24. Let g be l(9). Suppose -g*o - 669 = -i - 3*o, o - 3329 = -5*i. Does 74 divide i?
True
Let s be (4/(-10) - 104/(-10)) + -3. Let u be (-6)/14 + 17/s. Suppose -u*h = l - 269, -h + 3*l = -10 - 128. Is h a multiple of 18?
False
Let v be (-5)/(-30) - (-148)/(-24). Let h(w) = w**3 + 8*w**2 - 5*w - 16. Is h(v) a multiple of 6?
False
Let c be 1*(-2 + -20 + (1 - -1)). Let z be (3 + 1/(-2))*c/(-25). Suppose z*a = 3*i - 340, 5*a = 3*a + 2. Is i a multiple of 19?
True
Suppose -2*f + f = 5*g - 38, f + 4 = g. Suppose 2*d + 60 = g*d - 5*l, d - 3*l - 20 = 0. Suppose 4*s - 420 = -d*s. Does 10 divide s?
False
Let h = 3983 - 2511. Suppose 5*q + h + 1118 = 0. Is (-20)/(-90) - q/18 a multiple of 7?
False
Suppose 707*r + 2*k = 711*r - 13384, -5*k = -3*r + 10024. Is 16 a factor of r?
False
Let l be ((-14)/(-3))/((-102)/807228). Is 21 a factor of l/(-168) + (-3)/(-18)?
False
Let j be 2/2 - 12/4. Is 4 a factor of j/6*-2*108?
True
Let c(t) = t**3 - 34*t**2 - 33*t - 75. Let s be c(35). Is ((-194)/(-3))/(s*6/(-135)) a multiple of 8?
False
Suppose -v = -5*f - 90, -4*v = 4*f - 155 - 157. Let a = 297 - v. Suppose 79 = -6*q + a. Is q even?
False
Suppose n + n + 2*j = -298, 278 = -2*n + 2*j. Let w(t) = -3*t**3 - 8*t**2 + 3*t - 14. Let o be w(-6). Let l = o + n. Is 20 a factor of l?
False
Suppose -3*t = -4*t + 15. Is 3 a factor of (-1740)/24*(-36)/t?
True
Let i(l) = -l. Let c be i(-11). Suppose 0 = 3*r + 9, -3*r = -4*j + c + 6. Suppose -o = -2*n - 37, -4*o + 66 = -2*o - j*n. Is 4 a factor of o?
False
Let g(v) = 3*v**2 - 2*v + 1. Let r(t) = -7*t**2 + 3*t - 1. Let b(u) = 5*g(u) + 2*r(u). Is 4 a factor of b(5)?
True
Does 29 divide (-2578 + (-3 - 4))/(8/(-16))?
False
Let d(r) = -116*r**3 - 3*r**2 - 20*r - 10. Does 73 divide d(-4)?
True
Let z(v) = 149*v - 3. Let j(t) = 19*t - 150. Let o be j(8). Is 10 a factor of z(o)?
False
Suppose 4*a - 1628 = -0*s - 2*s, 0 = -5*s + 3*a + 4031. Is 8 a factor of s?
True
Suppose -551 = 3*m - m - v, 2*m - 3*v = -557. Does 23 divide (19 + 1)*-3*m/24?
False
Let v(c) = 1141*c - 8273. Is 38 a factor of v(31)?
False
Suppose -4*s + 11164 = -16644 - 19584. Is 70 a factor of s?
False
Let y(s) be the first derivative of 5*s**3/3 + 6*s**2 + 287*s + 71. Does 25 divide y(-16)?
True
Let r(x) = 9*x - 35. Suppose -65 = o - 17. Let v be o/(-8) + 0 + -1. Is r(v) a multiple of 5?
True
Let i(y) = -9*y + 51. Let u be i(6). Does 16 divide u/4 - (14420/16)/(-7)?
True
Let b(f) = f**2 + 9*f - 41. Let r be b(-13). Suppose r*s + 2*s = 5850. Is 25 a factor of s?
True
Let b(t) = 17*t + 2*t**2 + 6*t - 4 + 7*t**2 + 4*t**2. Let x(i) = 7*i**2 + 11*i - 2. Let n(p) = -6*b(p) + 11*x(p). Does 31 divide n(-13)?
False
Suppose -70 = -38*m + 31*m. Is 6 a factor of 2416/m + -3 + (-153)/(-45)?
False
Suppose -2*z = -2*w - 3*w + 201, 4*z + 101 = 3*w. Does 39 divide w?
False
Let o be (3/(-2))/((-24)/432). Let h(g) = 2*g**3 - 54*g**2 + 3*g - 13. Does 7 divide h(o)?
False
Suppose 8*i - 16 = 4*i. Suppose p + 4*s = 1353, 0 = -i*p - 3*s - 1605 + 7043. Suppose 8*a + 241 - p = 0. Does 20 divide a?
True
Suppose 3*f + 3*l - 2028 = 0, 0*l = -3*l + 12. Let n(k) = 61*k - 6. Let p be n(-6). Let j = f + p. Is 13 a factor of j?
False
Suppose 0 = 3*w + p - 8, p = 7*w - 2*w - 16. Suppose m + 372 + 501 = c, 2595 = -w*m - 5*c. Is 24/(-32) + m/(-8) a multiple of 27?
True
Let i(w) = 8*w**2 + 29*w - 24. Let g be i(-7). Suppose 3*u - g - 482 = b, -4*b = -u + 212. Does 85 divide u?
False
Let q be 4 + -6 + (-16)/(-4). Let y(n) = -4*n - 11*n**2 - 5*n**2 + 3 + 33*n**2 - 13*n**2 + 9*n**3. Is 12 a factor of y(q)?
False
Let y(t) = 2280*t - 774. Is y(4) a multiple of 17?
False
Does 153 divide 5770 - 3/(-3) - (-39 - -33)?
False
Is (20045 - -88) + (8 - -14) a multiple of 79?
False
Let z(k) = 16*k + 5. Let p be 3*(-3)/9 + 5 - -2. Suppose -8 = -p*t + 64. Is 12 a factor of z(t)?
False
Does 22 divide ((-78)/1)/((-528)/497024)?
False
Suppose -5*d + 30 = 10. Suppose -d*n + 7*n = 1671. Does 19 divide n?
False
Let o be (28/(-12))/(((-1)/(-18))/1). Let x = o + 49. Suppose -3*r = -3*w + 297, x*r + 391 = 4*w + 4*r. Does 16 divide w?
False
Let v(h) be the third derivative of 0 - 5/12*h**5 + 9/8*h**4 + 7/2*h**3 + 1/120*h**6 + 0*h + 12*h**2. Does 31 divide v(24)?
True
Suppose 4*v = -22 - 42. Let k = 20 + v. Suppose k*d + u - 351 = 0, 0*d = d - u - 84. Is d a multiple of 30?
False
Suppose 0 = -3*m - 5*c + 724, 1707 = 5*m - 5*c + 447. Let p = -156 + m. Is p a multiple of 92?
True
Suppose 0 = 25*o - 23*o - 26. Let c = o + 195. Is c a multiple of 8?
True
Let a(v) = -4*v + 15. Let o = 15 - 11. Let x be a(o). Is 1/(x + -2)*-294 a multiple of 14?
True
Let s = 5176 + -4652. Is 4 a factor of s?
True
Let d = 1 + -3. Let j be d + (6 - 3) + 1. Suppose 252 = o + j*o. Is o a multiple of 14?
True
Suppose 3360 = 8*r - 2*r. Let o = -340 + r. Does 20 divide o?
True
Suppose 0 = 3*r + k - 18, -3*r + 23 = 3*k - 1. Suppose -z + 44 = 5*w, -w - r = -9. Is 6 a factor of z?
True
Suppose -4625 = -2*b + 271. Let o = b + -1263. Is o a multiple of 63?
False
Suppose 89 = -4*y - v, -5*y - 2*v = 11 + 104. Let h(q) = 2*q**2 + 98. Is h(y) a multiple of 13?
False
Let k = -262 + 287. Suppose -k*m + 37*m = 4608. Does 48 divide m?
True
Let m = -436 - -696. Suppose 6*u - 2*i - 390 = 3*u, 2*u + 4*i - m = 0. Does 20 divide u?
False
Suppose x - 36 = -2*m + 931, 0 = 2*m + 2*x - 962. Does 18 divide m?
True
Let v(y) = 2*y**2 - 28*y + 71. Is 4 a factor of v(36)?
False
Let j(r) = r**3 - 5*r**2 + 8*r - 9. Let a be j(4). Suppose -38*n - a*n = -41490. Is n a multiple of 56?
False
Suppose 12*r - 12 = 6*r. Suppose 5*c = 5*d - 10, -4*d + 8 = 6*c - r*c. Suppose -10*b + d*b + 200 = 0. Is b a multiple of 3?
False
Suppose -3*c = 4*u - 36299, 5*c - 9*u - 63945 + 3478 = 0. Is c a multiple of 14?
False
Suppose -2*l - 2*o - o = -5747, l = 3*o + 2860. Suppose 1590 + l = 7*b. Is 20 a factor of b?
False
Let k(w) = 23*w**2 - 3*w - 5. Suppose 11*x = 12*x + 3. Let j be k(x). Suppose t + 3*t = -2*o + 246, -2*o + j = -3*t. Does 19 divide o?
False
Let d = -35 + 39. Suppose 8*c 