rst derivative of v**3/3 + v**2 + 42*v + 57. Is s(-8) a multiple of 15?
True
Suppose -51 - 33 = -4*v. Let a = 237 - v. Is a a multiple of 6?
True
Suppose 13*m + 9*m = 13*m + 279396. Is m a multiple of 78?
True
Suppose 251458 = 5*s - w, -86*w = -3*s - 90*w + 150838. Is 47 a factor of s?
True
Suppose -4*a = 0, -8*a + 8 = -2*q - 3*a. Is 174 - ((-2 - (1 + -5)) + q) a multiple of 11?
True
Let w(d) = 3*d**2 - 3*d + 6. Let p be w(4). Is 2 - (-7*(p + -4) + -2) a multiple of 10?
True
Let m = 39199 - 38119. Does 45 divide m?
True
Let p = 449 - 445. Suppose p*f + 1568 = 4*g, g + 2*g + 4*f - 1204 = 0. Is g a multiple of 23?
False
Let b(f) = -2*f**3 - 16*f**2 + 2*f + 15. Let c be b(-8). Is c*6 - (19 - 70) a multiple of 3?
True
Let y(k) be the first derivative of -31 - 3*k**2 + 3 - 9*k**2 + 7*k**2 - 26*k. Does 8 divide y(-5)?
True
Suppose 142 = p + 2*c, -p + 122 = 3*c - 5*c. Suppose 684 - p = 3*v. Suppose -2*o + 4*f = -v, 5*o - 504 = -f - 0*f. Is 25 a factor of o?
True
Suppose -4*p - 54 - 10 = 0. Let d = -19 - p. Is 2 a factor of 1 - (d/(-6) - 115/10)?
True
Let s = -269 + 576. Suppose 8*b - 2059 = -s. Is 35 a factor of b?
False
Let x = -41 - -49. Let v(j) = 6*j**2 - j - 50. Does 32 divide v(x)?
False
Let n = 43339 - 21960. Is n a multiple of 31?
False
Let r be 252/(-45)*20/(-8). Suppose 0 = -r*i + 3476 + 1564. Does 18 divide i?
True
Let j = -29 + 31. Let h(x) = x + 15 - 15 + 8*x**j. Is h(-2) a multiple of 22?
False
Let p(g) = 12*g**2 - 110*g + 4. Let u be p(10). Suppose 2*w + 2*r - u = w, 3*r = w - 129. Is w a multiple of 37?
False
Suppose -3012 - 4780 = -12*t + 4460. Is t a multiple of 27?
False
Suppose -2*f + 0*f + 2*d = -14, -2*d = f + 5. Let u(k) = 113*k**2 + 12*k - 52. Is 91 a factor of u(f)?
True
Does 77 divide 4140 - (8 - 4 - 2)?
False
Let k(o) = -29*o - 16. Suppose 3*i = 5*u + 386, 4*u + 168 + 142 = 3*i. Let b = u - -70. Does 39 divide k(b)?
False
Does 44 divide (4213/(-3))/((-7)/(-20 - -272))?
True
Let v(r) = 28629*r**3 - 2*r**2 + 188*r - 185. Is v(1) a multiple of 70?
True
Let x(d) = -d**3 - 10*d**2 - 18*d + 24. Let w be x(-7). Is 9 a factor of (-2 - 1466/w)*(-9)/6?
False
Let c be (-4)/30 - (-3103)/(-15). Is (-1568)/(-3) + (-276)/c a multiple of 61?
False
Let d be 4*(4 - 15/12). Let k = -9 + d. Suppose -k*l + 52 = 12. Does 15 divide l?
False
Suppose -8*m + 61 = -3. Suppose -3*i = 2 - m. Suppose 3*t = -t + 2*d + 70, 26 = 2*t + i*d. Is 4 a factor of t?
True
Suppose 5*p + 3*p = 128. Let d(q) = 20*q + 28. Let o be d(p). Suppose -49*h - o = -53*h. Is h a multiple of 10?
False
Let n = -37 - -42. Suppose -5*z + n + 16 = -m, 0 = -2*z + 10. Suppose -4*r + 16 = 0, -m*u + u - 5*r + 101 = 0. Is 7 a factor of u?
False
Suppose 2*j + 36 = 4*j. Let g = 96 - j. Suppose -4*o + g = 2*q, -2*q - 11 = -5*o + 73. Is o a multiple of 6?
True
Let j = 770 + 125. Let o = j + -435. Is 12 a factor of o?
False
Suppose -12 = 4*z + 4*q, 3*q + 19 = -3*z - 2*q. Suppose 5*u + 5*h - 176 = z*u, -2*h = 4*u - 244. Let k = 98 - u. Is k a multiple of 18?
True
Suppose -15*k + 20*k - 1490 = -5*h, 3*k - 936 = 4*h. Is k a multiple of 4?
True
Let f(o) = 21*o - 10. Suppose -2 + 16 = 2*i. Let l be f(i). Suppose 0 = 9*t - l - 70. Is t a multiple of 13?
False
Suppose -3*u - 34*q + 29*q = -9280, -4*u + 12350 = 2*q. Is 6 a factor of u?
False
Let k = 136 - 93. Let h = k - -12. Suppose -h = -2*r + 3*l - 8*l, 5*r - l = 205. Is r a multiple of 3?
False
Suppose -5*v + 2*q - 21 = 7, -20 = 2*v - 3*q. Let t be ((-12)/8)/(v/(-56)). Let z(a) = -a**2 - 24*a - 12. Does 17 divide z(t)?
True
Suppose -h - h - n + 214 = 0, -3*n = 0. Suppose -4*x + 25 = -q + h, 0 = -4*q - 5*x + 370. Let k = q + -26. Does 6 divide k?
False
Let r(j) = -12*j - 222. Let u be r(-50). Let m = u + 57. Is 26 a factor of m?
False
Suppose 2*s - 37 = -3*g, 6*s - 5*s - 3*g - 5 = 0. Is ((-212)/(-14))/(1/s) a multiple of 12?
False
Let l(m) = -12*m - 39. Let u be ((-9)/3 + -13)/((-4)/(-10)). Let i = u + 28. Is l(i) a multiple of 15?
True
Let a = 117 + -113. Suppose a*q - 499 = -3*w, -q - 3*w + 55 = -72. Let g = q - 54. Is g a multiple of 10?
True
Let v = 213 - 216. Let g(r) = -26*r**3 - 5*r**2 - 5. Does 61 divide g(v)?
False
Let r be -3 - (-10 - (-8 - -1)). Suppose r = 14*o + 7*o - 11592. Is o a multiple of 24?
True
Let k = 17643 - 8307. Is k a multiple of 8?
True
Let u(w) = -w**2 - 22*w + 2619. Is u(0) a multiple of 31?
False
Let a(z) = 56*z + 56. Let s = -325 - -336. Is a(s) a multiple of 21?
True
Suppose 3*o - c - 587 = 1790, -3*c - 3 = 0. Is 4 a factor of o?
True
Let m be (4 - 4)/3 - -144. Let j = m - 31. Suppose -37 = -3*z + j. Does 17 divide z?
False
Let m = -3044 + 11656. Is 22 a factor of m?
False
Suppose 2*w - 4*x = -254, 387 = -3*w + 3*x - 0*x. Let h = w + 572. Suppose 0 = 5*d - h - 129. Does 23 divide d?
False
Let g(q) = -6*q**3 - 5 + 0*q**3 + 56*q - 57*q. Let o be g(-3). Suppose -n = 3*w - 0*n - 104, -o = -4*w + 4*n. Is w a multiple of 6?
True
Let o(g) = g**3 + 8*g**2 + 7*g - 6. Let n(z) = -z**2 + z - 1. Let y(s) = n(s) + o(s). Let q be y(-8). Let a = -95 - q. Does 20 divide a?
True
Let l(u) = 2*u**3 - 8*u**2 + 2*u + 6. Suppose -54 = -0*p - 2*p. Suppose -7*v = -p - 15. Is l(v) a multiple of 48?
False
Suppose -4547 = 27*o - 132253 - 5350. Does 7 divide o?
True
Suppose 34*p - 319 = 123. Let z = 10 + p. Is z a multiple of 5?
False
Let r = 70750 + -45746. Does 237 divide r?
False
Let k(z) = -z**3 - 73*z**2 + 103*z + 1109. Does 6 divide k(-76)?
False
Let r = 125 + -127. Is 40 a factor of r + (4 + -3)/((-1)/(-51))?
False
Let b = 10 - 4. Suppose 0 = -2*j + b*j - 48. Is 12 a factor of j + (3 + 0 - 3)?
True
Suppose 8 - 318 = -10*g. Let c = g + -28. Suppose -c*i - 6 = -15. Does 3 divide i?
True
Let r(z) = 2*z**2 + 184*z - 1749. Is r(-110) a multiple of 39?
False
Suppose 4906*q - 4901*q = g + 587, -4*g + 12 = 0. Let m(s) = s - 96. Let c be m(0). Let a = q + c. Is 8 a factor of a?
False
Is 2 a factor of 188/24 + 14/84 - -1708?
True
Suppose 15*u - 18*u - 15 = 0. Is 7 a factor of (3 + -1)*(16 - u)?
True
Let n = -3762 - -3888. Does 14 divide n?
True
Suppose 0 = 2*h + 8*b - 3*b - 2190, 2202 = 2*h - b. Suppose 13*x = 23*x - h. Is x a multiple of 12?
False
Is (-263)/(-9205) - 542359/(-35) a multiple of 118?
False
Let d(m) = -7*m**3 + 6*m**3 - 5 + 528*m - 532*m + 11*m**2. Is d(9) a multiple of 4?
False
Let p(b) = 3*b + 42. Let z be p(-13). Suppose -z*t = -2*t + 8. Let v(r) = -25*r + 8. Does 12 divide v(t)?
False
Let k(d) = 2*d**3 - 14*d**2 + 16*d - 10. Let c be k(9). Let w = c - 278. Suppose -w = -2*i + 5*a, -5*i - a + 383 + 40 = 0. Is i a multiple of 24?
False
Let i(r) = -2215*r - 248. Does 19 divide i(-2)?
False
Let x = 465 - 416. Suppose -x*g - 2265 = -19268. Does 6 divide g?
False
Let c(r) = 1293*r**2 - 35*r + 1. Does 90 divide c(4)?
False
Let n = -1 + 3. Suppose -7*o - 3 = -6*o, -2*h = -4*o - 68. Let c = h + n. Does 6 divide c?
True
Suppose 20*u - 342 - 238 = 0. Let c = u - 31. Does 39 divide ((-39)/c)/(5*2/40)?
True
Let q be 6 - ((-19)/(-7) - (-8)/28). Suppose -3*t + 59 = -2*t - 3*u, -q*t = u - 207. Suppose 5*a = 3*a + t. Does 3 divide a?
False
Let y(q) = 6*q + 1066. Let w be y(0). Suppose -1174 = -14*j + w. Is j a multiple of 20?
True
Is (4 - 194675/(-26)) + (-1)/2 a multiple of 14?
False
Let t(k) = 412*k**3 + 9*k**2 - 146*k + 663. Is 14 a factor of t(5)?
False
Suppose -4*l + z = -40 - 37, 29 = 3*l + 5*z. Is 27 a factor of 42*(30/8)/(9/l)?
False
Let t = -8 + 8. Suppose 4*v = -2*h - 1 - 1, t = h - 5*v - 20. Suppose -2*k = -h*k + 324. Is k a multiple of 14?
False
Let f(t) be the first derivative of 8*t**3/3 - 2*t**2 + 4*t + 315. Let d = 3 - -1. Is 38 a factor of f(d)?
False
Let o = -243 + 243. Suppose o = 5*x - 4*w - 1544, 2*x + 2*x - 1235 = 3*w. Does 4 divide x?
True
Let n = -37 - -79. Suppose -40*j - 224 = -n*j. Does 3 divide j?
False
Let s(b) = 84*b**2 - 45*b + 147. Is 24 a factor of s(7)?
False
Suppose 3*a - 111 = -v + 3, -v = 5*a - 108. Let q = 890 - v. Is q a multiple of 59?
True
Suppose -2*u + 8906 = -5*r, 1457 + 333 = -r - 4*u. Is 33 a factor of ((-56)/(-84))/((-4)/r)?
True
Let z be (2 + -3)/((-1)/155). Let a = 279 + z. Does 62 divide a?
True
Suppose 4*a - 2*z + 20 - 456 = 0, -5*a + 548 = -4*z. Suppose -25 = w - a. Is w a multiple of 51?
False
Let i be 4723/4 - 6/8. Suppose 4*r = 5*n + 1168, -4*r + i = -n - n. Suppose 2*g = -2*g + 5*h +