pose -4*s = -5*h - 86 + 39, 3*s = 4*h + 36. Suppose s*t = 3150 + 738. Is 18 a factor of t?
True
Let l(f) = -f**3 + 6*f**2 + f - 20. Let q be l(5). Suppose -q*s + 3199 = -3*s. Is s a multiple of 40?
False
Let y(z) = 2365*z**3 - 30*z**2 + 6*z - 2. Is y(2) a multiple of 66?
True
Let u = 610 - 382. Let t = 203 + u. Suppose -7*g + t = -374. Is g a multiple of 18?
False
Let h = 36 + -26. Suppose -h = -t - 12. Does 9 divide t*(-6)/(-24)*(-124)/1?
False
Is 8 - (93/186)/(1/(-6074)) a multiple of 294?
False
Let p = 1639 + 1209. Does 35 divide p?
False
Suppose -23*c + 1481 = -22*c + 3*m, 3*m = 3*c - 4503. Is c a multiple of 68?
True
Suppose -q = -4 + 7, 5*q + 18 = -v. Does 4 divide (v + -65)/(4/(-16)*2)?
True
Let a(d) = 17*d**3 - 40*d**2 + 171*d + 16. Is 37 a factor of a(10)?
True
Suppose 150 = 45*b + 5*b. Let g(y) = 2 - 4 - 1 + 3*y. Is 3 a factor of g(b)?
True
Let p = 3148 + -1393. Does 117 divide p?
True
Let u be (-3)/(-12) - (-2)/(-8). Suppose -2*p + 3*p - 5*b - 9 = u, 4*p - 82 = -3*b. Suppose -p = 6*r - 7*r. Is 19 a factor of r?
True
Suppose -98*w + 10250 = -88*w + 2320. Is 18 a factor of w?
False
Let u(o) = -18*o + 26. Let m(x) = -3*x**3 + x**2 + 2*x + 1. Let f be m(2). Let i be u(f). Does 22 divide i/(-10)*10/(-4)?
False
Let y be (133270 - 2)/2 - -6. Suppose -24*l = -58*l + y. Is l a multiple of 20?
True
Suppose -2*c + 2 = -5*v - 3, -5*c + 3*v + 3 = 0. Suppose 8*u - 482 - 606 = c. Does 17 divide u?
True
Let w(n) = 2491*n - 14188. Is w(7) a multiple of 3?
True
Suppose -8*t + 3*t - 5 = 0. Let f be 130/(-20)*((-96)/(-52))/(-2). Is 22 a factor of (t*f)/2 - -105?
False
Let l(w) = 7*w**2 + 16*w - 9. Let j be l(4). Let i = j - -15. Does 7 divide i?
True
Let r(u) be the third derivative of -u**6/60 - 3*u**5/20 + 5*u**4/24 + 7*u**3/6 - 3*u**2. Let i be r(-7). Suppose -10*m + i = -433. Is m a multiple of 13?
True
Let x(i) = -4*i**3 + 10*i**2 - 16*i - 13. Let u(n) = -n**3. Let o(w) = 5*u(w) - x(w). Let a = 67 + -79. Is 17 a factor of o(a)?
False
Suppose r - 300 = -5*m, 5*m + 126 = 5*r - 1314. Suppose -3*h + 4*d + 219 = d, 4*h - r = 2*d. Does 14 divide h?
False
Let t = -188 + 192. Suppose -t*p - 2*m = -3668, 7*p - 4603 = 2*p + 2*m. Is p a multiple of 6?
False
Suppose -5*i = 5, 74*y + 2*i + 15386 = 78*y. Is y a multiple of 17?
False
Suppose -25*r + 32 = -18. Suppose 3*w + 10*k = 6*k + 1235, -r*w = 2*k - 824. Is w a multiple of 19?
False
Suppose -588 = 3*d + 2*w, -w = 8 - 11. Let u = d - -481. Does 39 divide u?
False
Let y(n) = -2*n**2 - 8*n - 22. Suppose -11*v + 10*v - 4 = 0. Let p be y(v). Let h = p + 88. Is h a multiple of 15?
False
Let n = 192 - 183. Suppose -n*t = -3264 - 5151. Is t a multiple of 11?
True
Suppose 68*g - 12558 = 22*g. Does 15 divide g?
False
Suppose -3*t + 1263 = -8841. Suppose 388*u - t = 384*u. Is 13 a factor of u?
False
Suppose 2*z - 323 = 19. Suppose 0 = p - z - 365. Does 55 divide p?
False
Let f = -14803 - -22121. Is f a multiple of 22?
False
Suppose -5*y - 385 = 5*n, -2*y + 135 = -2*n - 11. Let t = -71 - n. Suppose -2*a = -7*r + t*r + 72, 120 = 5*r + 3*a. Does 4 divide r?
True
Let i = -281 + 474. Let s = -14 - i. Let r = s - -350. Is 11 a factor of r?
True
Let u(q) = -45*q**2 - 10 + 2 - 10*q + 46*q**2. Let l be u(6). Let n = l - -57. Is n a multiple of 3?
False
Let v = 29469 + -24893. Is v a multiple of 88?
True
Suppose -41*i + 731437 = 8*i - 221564. Is 9 a factor of i?
True
Suppose -5*z + z = -r + 4, 2*r - 3*z - 13 = 0. Suppose -5*j + r*j - 12 = 0. Suppose -j*w = -w - 108. Is 23 a factor of w?
False
Let p(o) = -12*o**2 - 3*o + 2. Let d be p(2). Suppose 0 = -4*z - 3*b + 1, -2*z - 3*b = -6*z - 17. Is 26 a factor of z/(2 + 108/d)?
True
Let f = 3412 + 2416. Is f a multiple of 71?
False
Let p = -1097 - -619. Let k = p + 1134. Is 12 a factor of k?
False
Suppose 21 + 27 = 16*v. Suppose -975 = -c + v*r, 4*c + 3*r - 3900 = 6*r. Is 39 a factor of c?
True
Suppose -398 = -12*q + 1750. Let v = q + 587. Is 37 a factor of v?
False
Suppose -91 = -3*z + 113. Let a = -52 - z. Let r = 31 - a. Is 20 a factor of r?
False
Suppose 108 + 36 = 9*w. Suppose 0 = t - 4, 3*i + w*t - 173 = 17*t. Does 3 divide i?
False
Is 10 a factor of (-252155)/(-481) - (-3)/(-13)?
False
Suppose -5*l = 20, 3*s + l - 11969 - 23133 = 0. Is s a multiple of 46?
False
Let u be ((-102)/153)/((-26)/24 - -1). Suppose -2*l + 16 - u = 0. Is 9 a factor of (2 + (3 - l))/(3/513)?
True
Let q = 26 + -29. Let g be ((-762)/3 - -3)*(2 + q). Suppose 4*p = -3*h + 5*h + 538, -2*p - 5*h = -g. Does 19 divide p?
True
Let h = 2205 + -631. Let s = h - 942. Is 79 a factor of s?
True
Let g(p) = -39*p - p**2 + 27*p + 74 - 15 + 30*p. Suppose -6*t + 76 = -2*t. Does 33 divide g(t)?
False
Let p(g) = g**2 - 24*g - 333. Does 36 divide p(39)?
True
Let u = -29 - -33. Suppose 2*j - 12 = -j, u*j - 31 = -5*q. Suppose -n + 81 = 3*l, -2*n + 132 = q*l - 39. Is n a multiple of 9?
True
Suppose 0 = -4*q - 4*n + 5*n + 39, 5*q - 45 = 5*n. Suppose -296 = -q*c - 16. Is 7 a factor of c?
True
Suppose 6*a - 9*a + 7 = -5*c, 0 = a + 2*c - 6. Suppose -6099 = -a*b + 5*q, -q - 407 = 5*b - 8009. Is 39 a factor of b?
True
Suppose 0*a + 527 = 2*a + l, l = 5*a - 1321. Suppose -5*g - 260 = -4*u, 4*u - a = -2*g + 6*g. Does 8 divide u?
False
Let i = -49 + -315. Let l = i - -679. Let g = l + -221. Does 10 divide g?
False
Suppose -518*x - 250752 = -550*x. Is x a multiple of 72?
False
Suppose 3*x - 3*s - 15 = 0, -4*x - s - 2 = -22. Suppose 0 = x*k - 14 - 46. Is (k/9)/(3*(-1)/(-297)) a multiple of 12?
True
Let y(f) = -2*f**2 - 22*f. Let b(c) = 3*c**2 + c - 15. Let x be b(4). Suppose 0 = d + 2, 4*t - 4*d + x = 5. Does 6 divide y(t)?
False
Let w be 2/(-15) + -9 + 1272/90. Suppose 2*c + c = 0. Suppose 0 = w*s - u - 578, -5*s + c*u = 2*u - 569. Is 17 a factor of s?
False
Suppose 0 = -4*t + 2*f + 22, 0*t - 2*f = t - 18. Suppose 0 = -4*s + 2*s + t. Does 18 divide (-1)/(s/(-136)) + 3?
False
Let m(n) = n**2 - 16*n + 64. Let u be m(10). Suppose 0*z + z = -5*l + 1765, -728 = -2*l + u*z. Is 14 a factor of l?
False
Let t(x) be the second derivative of 8*x**3 + 7*x**2 - 13*x. Let y be t(-10). Is y/(-9) - (-50)/225 a multiple of 32?
False
Let f be (-15)/(-6)*(2 - 0). Suppose -f*l + 4 = -3*l. Is 4 a factor of l + (0 - -19) + -3?
False
Is (447/9)/((-3)/(-6) - (-1480)/(-2976)) a multiple of 228?
False
Let w(x) = 33*x**2 + 528*x - 54. Does 18 divide w(26)?
True
Suppose 34*z - 205015 - 61954 + 44507 = 0. Is z a multiple of 18?
False
Let u = 12192 + -8580. Does 41 divide u?
False
Let i = -176 - -178. Suppose k + 164 = 5*k + i*h, -5*k = -5*h - 175. Is k a multiple of 11?
False
Let d = -30 + 91. Suppose 4*v = -d + 365. Is 38 a factor of v?
True
Let q(b) = -138*b**3 + 3*b**2 - 4*b - 61. Does 19 divide q(-4)?
True
Let s be (26/(-39))/(4/(-258)). Suppose -t = 3*p - 25 - 64, -3*t + s = p. Does 6 divide p?
False
Is 45 a factor of (645/(-4))/((-872)/251136)?
True
Is 101 a factor of 3626 + ((-60)/5 - -22)?
True
Suppose 2*x + 4*d = 7*x + 5, 0 = -4*x - 2*d + 22. Suppose -5 - 61 = -3*j - x*i, 2*j - 41 = -i. Suppose -324 = j*f - 21*f. Is 54 a factor of f?
True
Let g(p) = 92*p + 144. Let u be g(29). Suppose 3*v - u = -5*d, 3*d + v + 2*v = 1692. Does 10 divide d?
True
Let d be (12/(-8))/(3/10). Let t = d - -8. Suppose 176 + 28 = t*q. Is 34 a factor of q?
True
Does 6 divide 42/(-9)*((-9765)/30 + 3)?
False
Suppose 108642 - 35198 = 43*v. Is v a multiple of 14?
True
Suppose -29*x + 25*x = 0. Suppose 15*s - 2575 - 1130 = x. Is 13 a factor of s?
True
Suppose -d = 4*x - 59980, x = 10*d - 8*d + 14986. Is x a multiple of 198?
False
Let w(y) = 3*y**2 + 49*y - 45. Let u be w(-21). Let p = u + -102. Is p a multiple of 21?
True
Suppose 4*m = -4*q - 12 - 20, -5*q - 34 = -m. Is 60 a factor of (-8125)/q + 16/56 - 5?
False
Suppose 3*o - 3*i - 51 = 0, -112 = -4*o - i - 29. Let m = 13 - 8. Suppose 155 - 35 = 3*q - 3*p, m*p = -o. Is q a multiple of 6?
True
Let a(t) = -5*t**2 - 4*t - 4. Let s(m) = -m**3 - 7*m**2 + 6*m - 13. Let u be s(-8). Let r be a(u). Let v = r - -103. Is v a multiple of 9?
False
Let n(w) = -w**3 + 2*w - 1. Let l be n(-3). Let i = l - 0. Is (-2838)/55*i/(-6) a multiple of 35?
False
Suppose 0 = -7*l + 14. Is (93 - -5) + l + 0 a multiple of 10?
True
Let j be (-2)/(-1) - (3 + -4). Suppose j*y = 12, -148 = 3*n - 7*y + 3*y. Let v = n - -97. Does 5 divide v?
False
Suppose 12*z - 3*z 