 - 2*m - 2150 = -3*r, 0 = -2*r - m + 1424. Is r a multiple of 42?
True
Suppose 3892210 = -12*z + 54*z + 28*z. Is z a multiple of 80?
False
Suppose 17036 - 43676 = -5*z. Does 144 divide z?
True
Suppose -2*n + 9412 = -g, 0 = -n + 5*g - 2*g + 4711. Does 54 divide n?
False
Let x = 291 + 167. Is 16 a factor of x?
False
Suppose 5*v = 3*w + 214, -2*v - 2*v = 3*w + 223. Let i = 56 + w. Let c(q) = -3*q - 48. Does 3 divide c(i)?
True
Let f = -167 + -67. Let z = 344 + f. Let p = z - 101. Is 7 a factor of p?
False
Suppose 30 + 6 = 3*s. Let f(n) = 5 - 10*n + 16*n + 4 - 5*n. Is 7 a factor of f(s)?
True
Let f be 4/(-8)*5/((-15)/6). Suppose -f = -w + 4. Suppose -x - w = -54. Does 22 divide x?
False
Let p = 8444 - 6204. Does 8 divide p?
True
Let o = 11 - 203. Let p = -166 - o. Is 26 a factor of p?
True
Does 6 divide (25722/120*5)/((-5)/(-40))?
True
Suppose o = -l - 3, -7*o = -3*o - 4*l - 28. Suppose 2*z + 8 = -o*w, -z + 3*w = 2*z - 6. Is 14 a factor of 0 + z - (-99 + -8)?
False
Let d = 2098 - 2093. Let o(z) = z**3 + 5*z**2. Let a be o(-5). Suppose 2*h - 2*b - 116 = 0, -d*h - 4*b = -a*b - 290. Is h a multiple of 14?
False
Suppose 44*h - 24*h - 91234 = 156346. Does 11 divide h?
False
Let v be 8 - (-1 + 0 - 0). Let g(x) be the second derivative of -x**5/20 + x**4 - 11*x**3/6 + 6*x**2 - 445*x. Is g(v) a multiple of 12?
True
Suppose 0 = -89*c + 74*c + 237090. Is c a multiple of 14?
True
Suppose -26 = -2*p + 2. Let a(j) = -3*j**2 + 25*j - 8. Let n be a(p). Let q = 382 + n. Is q a multiple of 17?
True
Let q = 672 + -1103. Let r = q + 838. Is r a multiple of 3?
False
Let j = -966 + 384. Let f = 1197 + j. Is f a multiple of 70?
False
Suppose -24 = -3*d + 4*r, 5*r - 10 = 4*d - 41. Suppose -2*s = -3*x + 7 + 42, s + 37 = d*x. Let f(v) = -v + 7. Does 10 divide f(s)?
False
Suppose 0 = -5*i - 4*y + 6191, -i + 125*y - 129*y + 1235 = 0. Is i a multiple of 59?
True
Let c(v) = v**3 - v**2 - v + 2. Let r be c(-2). Let x(u) = -u**2 - 22*u - 52. Is x(r) a multiple of 15?
True
Suppose 8*m - 4*m = -3*u + 6027, 0 = 4*u - 4*m - 7980. Is 7 a factor of u?
False
Suppose 3*f + 27 = -15. Suppose 3*m = -4*b - 42, -2*b - 3*m = 12 + 12. Let c = b - f. Is 5 a factor of c?
True
Suppose -2*i - 152 = -5*x, -5*i - 140 = -4*x + 274. Let p = -88 - i. Is 1*(-2 - (-61 + p)) a multiple of 16?
False
Let g(f) = -2*f**3 + 11*f**2 + 4*f - 7. Let a(j) = j**3 - 10*j**2 - 5*j + 8. Let b(l) = -3*a(l) - 2*g(l). Suppose -9*h = -31 + 85. Is 4 a factor of b(h)?
True
Let b be (1 + 3 - (1 - 2))*3. Suppose 113 = 3*i + 4*f, -3*i + 4*f + 136 = b. Does 7 divide i?
False
Let l(d) = 2*d**2 + 9*d - 19. Let t = -14 - -6. Let n be l(t). Let r = n + 47. Is r a multiple of 42?
True
Suppose 0 = 13*f + 74473 - 307238. Is f a multiple of 5?
True
Suppose 2*f + 333 = v, 7*v - 71*f - 2283 = -73*f. Is v a multiple of 37?
False
Suppose 0 = 895*j - 892*j. Suppose 45*z - 50*z + 990 = j. Is 16 a factor of z?
False
Let s be (-5824)/(-128)*(-5)/((-105)/24). Let u(l) = 20*l + 10. Let g be u(-7). Does 50 divide (-100 + 0)*g/s?
True
Let c = 57 + -49. Let n(d) = 9 + 5*d**2 - 3*d - 6 + 9*d + c. Is n(-6) a multiple of 14?
False
Let c(n) = -8*n**2 - 17*n**3 + 19*n**3 - 2*n**2 + 15*n - 15. Let k be c(6). Suppose -4*r = -g - k, -5*g = 5*r - 137 - 28. Is r a multiple of 12?
True
Let q(a) = a**3 + 5*a**2 - a - 4. Let h be -7 + 5 + (1 - 1). Let n be q(h). Is (46/5)/(2/n) a multiple of 17?
False
Suppose -257339 - 1544286 = 2*r - 73*r. Is 9 a factor of r?
False
Does 2 divide (1 - 3) + -5 + -1141*12/(-84)?
True
Let v(t) = -t**3 - 9*t**2 - 6*t + 18. Let q be v(-8). Suppose 2*w = q*i + 16, -4*i - 15 = w - 3. Is w - (-60 - 0) - 0/(-2) a multiple of 16?
True
Let l(z) = -1082*z + 1425. Does 36 divide l(-8)?
False
Suppose -3*u - 4 = 5*g, 2*u - 1 - 11 = 4*g. Let r be ((-1)/u)/(7/1876). Let y = r - -301. Is y a multiple of 14?
False
Suppose 6*q = -29*q - 28*q + 569961. Is q a multiple of 84?
False
Let m be (350/56)/(2/2072). Is (-2)/(-3) - (m/(-21) - -5) a multiple of 18?
False
Is 235/94 + (-386827)/(-14) a multiple of 183?
True
Suppose -2*f + 1279 = 3*m, 3*m - 4*m + 433 = 2*f. Suppose -2*z - 2*k + 18 = -0*z, -5*z = -5*k - 45. Suppose 12*o = z*o + m. Is o a multiple of 14?
False
Let x = 1108 + 14718. Is 54 a factor of x?
False
Is (-35692)/(-24) + 31/(-186) a multiple of 5?
False
Let t(z) = -4*z**2 + 351*z + 46. Is t(82) a multiple of 69?
True
Let g(b) = -3*b - 15. Let r be g(-6). Let u(o) = o**2 + 4*o. Let z be u(r). Suppose 2*v = -2*w + 74, -w + 6 = 3*v - z. Is 20 a factor of w?
False
Suppose -279408 + 24402 = -6*p. Does 31 divide p?
True
Suppose 2*k - 252 = -4*k. Suppose 3*t + 12 = -5*s, -6*t - k = -2*t - 2*s. Is 18 a factor of ((-372)/(-9))/((-6)/t)?
False
Let x(f) = 10*f**2 - 108*f + 56. Let c be 19 + -7 - (-5 + 0). Is x(c) a multiple of 10?
True
Let a(n) be the second derivative of 26*n**3/3 - 64*n**2 - 41*n. Is 13 a factor of a(6)?
False
Let r(q) = 202*q**2 - 103*q - 8. Does 131 divide r(-10)?
True
Is ((-34)/10)/(-7*18/193410) a multiple of 5?
False
Suppose -2049 = -3*i - f, 13*i - 17*i + 2713 = -5*f. Suppose 10*q = -q + i. Is q a multiple of 5?
False
Let n(a) = a**2 + 5*a - 19. Let d be n(-8). Suppose 327 = 3*c + w, 3*c + d*w = 3*w + 324. Suppose 6*m - 2*m = -4, -j + 5*m = -c. Is j a multiple of 15?
True
Let x(h) = 765*h + 3100. Does 34 divide x(17)?
False
Let r(t) be the third derivative of 7*t**5/60 - t**4/24 - t**3/6 + 5*t**2. Suppose -140*y - 8 = -144*y. Is r(y) a multiple of 4?
False
Suppose -16*u + 12*u + 2*j - 52 = 0, 2*u = 5*j - 42. Suppose 148 - 3 = 3*c + 2*p, 5*c + 3*p - 241 = 0. Let n = c + u. Is n a multiple of 8?
False
Let c = 168 + 20. Suppose 3*f + g + 594 = 6*f, -f = 3*g - c. Is f a multiple of 19?
False
Let p(k) = 11*k**3 - 22*k**2 + 186*k - 153. Does 79 divide p(10)?
True
Let d(y) = 2*y. Let s(r) = -r + 162. Let h(t) = 3*d(t) - s(t). Is h(30) a multiple of 6?
True
Is (-7)/4*(-558)/(13650/(-804) - -17) a multiple of 25?
False
Suppose 0 = 6*l - 8*l + 4972. Is 4 a factor of l?
False
Let m be 2 + 5 + -10 + 13. Suppose c = 4*v - 155, -5*v - 220 = -m*v - 4*c. Is 3 a factor of v?
False
Let d be (15/(-2))/((35/(-14))/5). Suppose -14*w = -d*w + 59. Does 14 divide w?
False
Let l = 204 - 354. Let f = -122 - l. Is 13 a factor of f?
False
Let n be 1/(-2) + 3076/(-16)*-2. Let o = -364 + n. Does 10 divide o?
True
Let d = -44 - -47. Suppose -d*i = 17 - 401. Suppose 3*x = -x + i. Is x a multiple of 16?
True
Suppose -93 = 5*o + 32. Let g = -521 + 517. Is 58 a factor of (o/10*4)/(g/86)?
False
Let p(x) = x**3 + 28*x**2 - 134*x - 391. Is 3 a factor of p(-31)?
False
Let v(h) = -4653*h + 31. Is 17 a factor of v(-1)?
False
Let q be (6/(-18))/(2/18). Let j = q + 627. Is 12 a factor of j?
True
Let f(k) = -2*k + 10. Let n be f(5). Suppose n = 4*a - 10*a - 2*a. Suppose 213 = -a*t + 3*t. Is t a multiple of 15?
False
Let p = 12498 - 7445. Does 23 divide p?
False
Suppose 24*c - 18*c = 136*c - 378430. Is 2 a factor of c?
False
Suppose -4*w - 4*h - 2 = -14, h = 4*w - 12. Let l(v) = 3*v**2 - 12*v - 2*v**2 - 1 + 7 + 9*v. Is 3 a factor of l(w)?
True
Suppose 566 - 155 = 3*n. Suppose 0 = -2*w + n + 13. Is w a multiple of 13?
False
Suppose -8*f + 10*b + 31917 = 9*b, 7968 = 2*f - 4*b. Does 75 divide f?
False
Suppose -j = -10*n + 96249 + 84391, 0 = 2*j. Is n a multiple of 149?
False
Let i = -716 + 1070. Is i a multiple of 2?
True
Let s be (-2)/(-5) + -54*18/(-20). Suppose -s*a + 44*a + 25 = 0. Suppose a*b - 394 = 4*v, 0*b + 3*v + 234 = 3*b. Is b a multiple of 6?
False
Suppose -163*f = -159*f - 11690 + 1186. Is 41 a factor of f?
False
Suppose 0 = -3*d - 2*w + 558, -2*w + 0*w - 178 = -d. Suppose 188*x = d*x + 296. Is x a multiple of 16?
False
Suppose 0 = 8*z - 5*z - 36. Let c(o) = -3*o**3 + 41*o**2 - 34*o + 28. Is 33 a factor of c(z)?
False
Let b(w) = -83*w - 56. Let c be b(-3). Is ((-224)/(-56))/(4/c) a multiple of 9?
False
Let d(z) = -376*z**3 + 3*z**2 - 32*z - 74. Does 11 divide d(-2)?
False
Suppose 4*j - 2 = -2*b + 8, 0 = -5*b + 5. Suppose -2*l - 1 = s - j, 0 = l - 3*s - 11. Suppose 0 = -p + l*o + 25, o - 4*o + 93 = 3*p. Is 22 a factor of p?
False
Suppose 62*v + 342398 - 4580966 = 0. Is 324 a factor of v?
True
Let t be (9 - 6) + (2 - -56). Let x = t - 64. Is 11 a factor of (x + -5 + 5)*(-110)/6?
True
Let t(v) = 75*v + 39. Let z be t(5). Suppose -4*q = -z - 130. Let a = -6