s**2 - 5*s - 3. Let v be w(-3). Let m = v - -1759. Suppose -4*a + 434 = -i, 5*a + i + 0*i = m. Is a a multiple of 27?
True
Suppose -294 = -r - 7*o + 5*o, -4*r + 1182 = 5*o. Let w be (-2)/(-6) - r/(-6). Suppose -20 = 4*j, -2*p + 3*j + j + w = 0. Is p a multiple of 3?
True
Suppose -5*t + 0 = b + 22, -3*t - 6 = 0. Let u be 2*-22 - 64/(-16). Let j = b - u. Is j a multiple of 14?
True
Let n be -6*(-25)/75*5*37. Let p = 531 - n. Is p a multiple of 4?
False
Suppose i = -2*i - 342. Let n = -979 + 923. Let y = n - i. Is y a multiple of 14?
False
Let s be 12/18 - 313/(-3). Suppose -98*f - 588 = -s*f. Is f a multiple of 3?
True
Let w(j) = -j**3 + 37*j**2 + 125*j - 56. Does 2 divide w(39)?
False
Suppose 3*y + 5669 = 9*n - 4*n, -n + 1129 = y. Suppose -23*f + 639 = -n. Is f a multiple of 37?
False
Suppose -2*y = 5*y - 28. Suppose -2*m = -6, 5*m + 0*m = -y*p + 115. Is 25 a factor of p?
True
Let q(w) = 1447*w**2 + 7*w - 11. Let d be q(2). Suppose 14*p = 6809 + d. Does 15 divide p?
True
Suppose -21*p + 18508 = -29687. Let b = -1308 + p. Does 12 divide b?
False
Let v(c) = 20*c**2 - 5*c + 3. Suppose 3 = -2*a - 9. Let w = a - -9. Is v(w) a multiple of 14?
True
Let j(x) = -5*x**3 + 10*x**2 - 3*x + 11. Let v be j(11). Let q = -30 + 40. Is 13 a factor of (-2)/q - v/35?
True
Let o(q) = -64*q**3 + 304*q**2 - 26*q + 7. Does 41 divide o(-8)?
True
Let j be 11/(-3) + 8/(-24). Let h(o) = 90*o - 26. Let t(c) = 15*c. Let s(q) = -h(q) + 4*t(q). Is s(j) a multiple of 10?
False
Let h = 44 + -38. Suppose -s = -4*m - h - 77, 5*m + s + 97 = 0. Let g = m - -115. Is 13 a factor of g?
False
Suppose 78030 = 608*d - 591*d. Does 51 divide d?
True
Suppose -2*v + 4*f = -10214, 5*v + 2*f + 1472 = 27067. Is v a multiple of 20?
False
Let a be (-8)/4*2 + 247. Suppose 2*v + j + 182 = 677, a = v - 4*j. Is 11 a factor of v?
False
Suppose o - 7549 = -4*j, 10401 = 3*o + 3*j - 12174. Is 73 a factor of o?
False
Suppose 197 = -27*o + 494. Suppose o*x = -2*x + 11830. Is 26 a factor of x?
True
Suppose -29*q - 42239 = -324903 + 30103. Is q a multiple of 33?
False
Suppose -7312 = -u + 5*h, 365*u - 5*h + 22076 = 368*u. Is u a multiple of 11?
False
Let g = 3133 + 2082. Is g a multiple of 4?
False
Let c = -2611 - -4487. Is c a multiple of 14?
True
Let p = 76 + -73. Suppose p*x - 3*c = 6, 8*c = 3*c - 15. Does 46 divide ((2 + 274)*x)/(12/(-8))?
True
Let t(v) = -v**3 + 34*v + 49*v - 14*v + 20*v - 106 - 34*v**2. Is t(-37) a multiple of 59?
True
Let c(n) = n**2 - 15*n + 17. Let a be c(7). Let z = a - -41. Suppose -4*m - 147 - 453 = -4*x, 3*x - z*m = 452. Is x a multiple of 49?
False
Let s be (-4)/(-12) + 2 + (-418)/(-6). Let i = 13 - s. Let q = i - -80. Does 3 divide q?
True
Let n(k) = -k**2 - 31*k - 90. Let w(z) = -z**2 - 32*z - 90. Let d(c) = -7*n(c) + 6*w(c). Is 6 a factor of d(-32)?
False
Let r(p) = -17*p**3 - 10*p**2 - 14*p - 3. Let u be r(-6). Is 35 a factor of (-26)/(-3)*u/78?
False
Suppose -797 = 5*j + 1483. Is (495/27 + 5)*j/(-10) a multiple of 45?
False
Let t(r) = -r**2 - 8*r - 14. Let g be t(-4). Let p be (g - (3 - 0)) + -271. Let u = -149 - p. Is u a multiple of 16?
False
Let l be 15/((-9)/(-3)) + -242 + 21. Let u = 234 + l. Is 5 a factor of u?
False
Suppose -80*o - 2926 = -43406. Is o a multiple of 46?
True
Let x = 3358 - 2040. Is x a multiple of 36?
False
Suppose -3*l + 2*m + 13553 - 1108 = 0, 0 = 4*m + 20. Is l a multiple of 196?
False
Let w(g) = 56*g - 184. Let c be ((2475/(-30))/(-15))/(2/4). Is w(c) a multiple of 15?
False
Let s(q) = 3*q**2 - 7*q - 15. Let b be s(7). Let y = b - 84. Let p = y - -87. Is p a multiple of 9?
False
Let r(v) = 165*v + 1408. Does 29 divide r(38)?
False
Suppose -7*s - 36 = -9*s. Let m(k) = -k**3 + 20*k**2 - 32*k - 22. Let r be m(s). Let n = r - 39. Does 6 divide n?
False
Let h(k) = 5*k + 60. Let o be h(-12). Suppose -a = -0*a - 8. Suppose -a*g + 16 + 40 = o. Is g a multiple of 6?
False
Let d(n) = -3*n - 181. Let p be d(0). Let v = p - -68. Let w = v + 197. Does 21 divide w?
True
Let h = 461 + -30. Suppose 0 = 3*i - h - 79. Is 7 a factor of i?
False
Suppose 26*w + 2*u = 31*w - 119, -3*w + 75 = -3*u. Suppose -2*l = -w*l + 3444. Does 10 divide l?
False
Let f = 3668 + -2712. Is 50 a factor of f?
False
Let d(q) = 24*q - 3. Let u be d(4). Suppose -16*a = -170 - 714 - 2044. Let h = a - u. Does 28 divide h?
False
Let j be ((-32)/(-48))/((-2)/(-6)). Suppose h = -0*h, -5*a + j*h - 790 = 0. Does 32 divide -1*1/(0 + 2/a)?
False
Let p be -1 + 2 - ((-6)/2 + -61). Let c = 70 - p. Suppose c*x + 5*l - 102 = 528, -x - 4*l + 141 = 0. Does 43 divide x?
False
Suppose 63*h = -4*y + 59*h + 103272, 77436 = 3*y - 3*h. Is y a multiple of 15?
True
Suppose -139 = -u + 2*v, 526 = 4*u + 3*v + 3. Is u a multiple of 19?
True
Let v(h) = 2*h + 2 + 0 + 2*h. Let q(u) = 23*u - 2091. Let i be q(91). Is v(i) a multiple of 9?
False
Let k(l) = l + 173. Let t be (-19)/(19/(-102)) - (-1 - 1). Let i = 104 - t. Does 13 divide k(i)?
False
Suppose 1011*k - 1001*k - 5390 = 0. Does 5 divide k?
False
Suppose 0 = -823*v + 826*v + 39. Is (v + 15)*245/10 a multiple of 5?
False
Let l be 4 + (0/(-7))/(-5). Suppose a = l*t + 493, 0*a + a = t + 499. Is a a multiple of 43?
False
Let l(j) be the third derivative of j**5/60 + j**4/2 + 16*j**3/3 + 71*j**2. Is 23 a factor of l(15)?
True
Let j be 6/(-8)*-4*433. Let o = 816 - j. Let y = -175 - o. Is y a multiple of 51?
False
Let l be ((-4)/(-6))/((-3)/414*-4). Suppose -l*x + 39*x = 5760. Does 8 divide x?
True
Let p = -467 - -472. Suppose 1 = -i, 0 = p*c + 4*i - 1318 - 6913. Is 21 a factor of c?
False
Let j(l) = l**3 + 12*l**2 - 16*l - 37. Let n be ((-78)/(-12))/(1 - 9/6). Let x be j(n). Is 4/(32/1838) + x/8 a multiple of 32?
False
Is 106 a factor of -6 + -4 + 19/(38/25036)?
True
Let s = 18490 + -7358. Is s a multiple of 23?
True
Let g(i) = i**3 - 13*i**2 + 22*i - 6. Let z be g(11). Let x be (1 - -1)/(-5 - z). Let v = 36 - x. Does 17 divide v?
True
Let h = 326 - 315. Suppose -h*g + 13*g + 4*p = 394, 587 = 3*g + 2*p. Is 65 a factor of g?
True
Suppose -2*f - 5*q + 2*q - 40 = 0, 4*f - q = -52. Let c(v) = -v**2 - 11*v + 45. Let j be c(f). Suppose -j*t - 1135 = -8*t. Does 12 divide t?
False
Let n(h) = h**3 - 28*h**2 + 3*h + 39. Suppose 3*f - 89 = 5*i, -10*i - 2 = -8*i. Does 16 divide n(f)?
False
Is 14 a factor of 19927 - (-24 + (25 - 3))?
False
Suppose 57198 = 30*i - 178632. Does 7 divide i?
True
Suppose 22*y = -90*y + 60592. Does 25 divide y?
False
Suppose -9*v + 8*v - 30762 = -3*t, 0 = 2*t + 4*v - 20480. Is t a multiple of 137?
False
Let w(x) = 3*x**3 - 12*x**2 + 5*x + 18. Suppose 2*h - 3*h = -3*c - 13, 4*h - 4*c - 44 = 0. Suppose 0 = -11*f + h*f + 6. Does 12 divide w(f)?
True
Let m be -400 - (2 + -2)/(-2). Let r = 240 - m. Is 40 a factor of r?
True
Is 44246 - (0 + 6 + -6) - (3 + -4) a multiple of 129?
True
Suppose -14326*c + 14317*c = -18927. Is c a multiple of 48?
False
Suppose -5*r + 2*v - 4 = 0, 5*v - 7 = r + 3. Suppose -2*a + 2*n + 408 = r, -n - 2*n = 5*a - 980. Does 16 divide a?
False
Let g(a) be the third derivative of -23*a**4/24 - a**3/2 + 8*a**2. Let b be g(3). Let c = 34 - b. Does 28 divide c?
False
Let b = 615 + -550. Let d = 47 - 73. Is 47 a factor of 1 - ((-4)/d + (-9110)/b)?
True
Let d be ((-3)/(-5))/(10/50). Suppose 27 = 5*u - d. Suppose 5*w + 4*k = 126, k = w + u*k - 42. Does 22 divide w?
True
Let z be ((-164)/(-6))/((-18)/(-27)) + 5. Suppose -2*a - 3*a = 0. Suppose a = b - z - 10. Does 14 divide b?
True
Does 79 divide (-4)/(-3)*(25373 - (-24 - -38))?
True
Suppose 121*v - 31*v - 2354890 = 910760. Does 12 divide v?
False
Suppose -3*r + 5*v + 99419 = 0, 16*r + v - 99413 = 13*r. Is 37 a factor of r?
False
Suppose 0 = -3*u + 11*u + 32. Let f(i) = 13*i**2 + 7*i + 4. Let b be f(u). Does 2 divide (b/(-69))/((-2)/36)?
True
Suppose 5*w - 190 = -5*o, -5*o - 2*w - 115 + 302 = 0. Let x be (14/6 - (-13)/(-39))*-71. Let s = o - x. Is s a multiple of 36?
False
Let t(b) = b**2 + 7 - 9 + 5*b - 2*b**2. Let y be t(3). Suppose 0 = 4*l + a - 6*a - 295, -y*l - 4*a + 268 = 0. Is 7 a factor of l?
True
Let s(i) = -10*i**3 - 37*i**2 - 42*i + 59. Does 82 divide s(-15)?
False
Let l(n) = 2197*n + 75. Is l(2) a multiple of 120?
False
Let m = -2 + -27. Let s = -22 - m. Is 11 a factor of (-7)/(-1)*(0 + s)?
False
Let g(o) = o**3 + 19*o**2 + 15*o + 22. Let t be 55/(-3) - (-5)/15. Does 4 divide g(t