= -4*q + 212. Does 36 divide q?
True
Is (-720)/(-504) - 1183440/(-35) a multiple of 12?
False
Let f(u) = -u**2 + 32*u - 204. Let s be f(9). Suppose 2*z = -s*o + 428, 417 - 17 = 3*o - 5*z. Is o a multiple of 10?
True
Suppose -82307 = -25*h - 38660 + 62978. Is h a multiple of 22?
False
Is 11 a factor of (105/(-175) - 0) + (-27658)/(-5)?
False
Let a = -335 + 648. Let j = -222 + a. Is 5 a factor of j?
False
Suppose -630 = 5*d + 13*d. Does 16 divide (((-120)/d)/(-4))/((-1)/336)?
True
Suppose -5*s + 25 = 0, s + 46 - 15 = m. Let r = 112 - m. Is r even?
True
Let t = 406 - 404. Suppose -5*x = -4*v - 68 + 304, 128 = t*v - 5*x. Is 11 a factor of v?
False
Suppose -151*z = -628593 - 1374120. Is 89 a factor of z?
False
Let p(b) = -20*b**3 + 8*b**2 - 2*b - 55. Is p(-7) a multiple of 123?
False
Suppose -4*r + 48092 + 10593 = 7*r. Is r a multiple of 15?
False
Suppose -4*q + 1 = -q - p, -2*q = -p. Let l(x) = 6*x**3 + x**2 - 2. Let g be l(q). Suppose 0 = 2*a + g*w - 229, -3*a - w + 209 = -a. Is a a multiple of 13?
False
Let h = -1531 - -1535. Let n(r) = 5*r**2 + 6*r + 1. Let q(o) = 9*o**2 + 11*o + 3. Let b(i) = -5*n(i) + 3*q(i). Does 20 divide b(h)?
False
Let j = 78 + -73. Suppose -j*b - 314 = -7*b. Is b a multiple of 11?
False
Let g be (3 - (-4)/((-4)/(-65))) + -4. Suppose -g*v - 540 = -68*v. Is v a multiple of 5?
True
Let u = 6 - -7. Suppose 33*w - u*w = 9840. Is w a multiple of 31?
False
Suppose 5*m + 2*q = -3*q + 145, -27 = -m + q. Let x(i) = 2*i - 66. Let r be x(m). Is (12/r)/(62/(-5735)) a multiple of 14?
False
Suppose -32 + 50 = 18*s. Suppose 3*u + 3*f - 11 = -f, -20 = -5*u - 5*f. Is u + (s - 3) + 32 a multiple of 29?
False
Let o(u) = -48082*u**3 - 2*u**2 - 45*u - 43. Is o(-1) a multiple of 24?
False
Suppose 5*u + 20107 = t, 3*t + 313*u = 308*u + 60421. Is t a multiple of 12?
False
Let d(o) = -6*o + 12. Let n be d(2). Let m be 4 - n*(-2)/10. Suppose -76 = -r - r - 5*a, 2*r = m*a + 112. Is r a multiple of 24?
True
Suppose -5*c = 2*c - 210. Suppose 42 + c = -12*j. Let h = 33 - j. Is h a multiple of 39?
True
Suppose 3*v + 3*b = -2*b + 1777, 5*b = 2*v - 1193. Does 4 divide -2 - (2 - v)/4?
False
Suppose c + 4*u = 2*c - 537, 2*c - 1063 = -3*u. Suppose 16*m - 4853 = -c. Is 54 a factor of m?
True
Suppose 115*j - 3912 = -3*i + 117*j, 2*j = 5*i - 6524. Does 157 divide i?
False
Let y be ((-5510)/(-29))/((0 + -2)/(-2)). Is 24/10*y/4 a multiple of 18?
False
Suppose -3*b - 2*i + 60 = 0, 3*b - 2*i - 100 = -2*b. Is 48 a factor of (-559656)/(-720) + (-6)/b?
False
Let m(h) = h**2 - 2*h - 44. Let y(s) = -s - 30. Let u be y(-24). Let f be m(u). Let x(r) = 10*r + 1. Is x(f) a multiple of 12?
False
Let b be (2/(-6))/(52/(-30732)). Let a = 758 - b. Is a a multiple of 33?
True
Let q be 1/(12555/(-2510) - -5). Is ((-15)/10)/(1/q) a multiple of 31?
False
Suppose 21*i + 4*i = 675. Suppose -i*m = -7*m - 4680. Is m a multiple of 18?
True
Suppose -3*m = -3*r + 54, 5*r + 3*m - 99 = -m. Let k be 8/32 - r/(-4). Does 5 divide ((-8)/(-10))/(2/k) - -20?
False
Let x = 16304 + -15612. Is x a multiple of 3?
False
Suppose 2*r - 686*i + 682*i - 8854 = 0, 4*r = 3*i + 17723. Is r a multiple of 10?
False
Suppose -2*t = -3*g - 3119 + 257, t = -2*g + 1424. Does 17 divide t?
True
Does 25 divide 2 + (-53230)/(-6) + (-7)/((-336)/64)?
True
Let x(p) = 53*p + 4022. Is x(70) a multiple of 48?
False
Suppose -504*v = -466*v - 462840. Is v a multiple of 14?
True
Let o(b) be the first derivative of -b**6/360 + 19*b**5/120 - 5*b**4/6 - 8*b**3/3 + 21. Let q(r) be the third derivative of o(r). Does 10 divide q(9)?
True
Let d(i) = -2*i**3 + 3*i**2 + 28*i - 34. Is 75 a factor of d(-26)?
False
Let t(c) = -11*c + 3. Let y be (-3)/(-2) - 6/12. Let q be t(y). Let x(i) = i**2 + 5*i - 11. Is x(q) a multiple of 2?
False
Suppose 5*u - 76 + 66 = 0. Let o be (-4 - (-8)/u)*-1. Suppose -j + 2*c + 23 = o, 49 = 3*j + c + 3*c. Is j a multiple of 2?
False
Does 18 divide (6/18)/(2/15)*233922/65?
False
Suppose -1005*m = 8*x - 1000*m - 210383, 4*x - 105175 = 3*m. Is x a multiple of 70?
False
Let n(f) = f**3 - 33. Let i be n(0). Is 19 a factor of (5*-3)/(i/418)?
True
Suppose -4*s - 11*s = -420. Suppose -27*i - 174 = -s*i. Is i a multiple of 29?
True
Suppose 192 = -9*l + l. Let o(d) = -d**2 - 19*d + 3. Let r be o(-19). Is 12 a factor of 386/16 + r/l?
True
Let m(i) be the third derivative of 0*i + 0 - 1/4*i**4 - 31/6*i**3 + 23*i**2. Is m(-8) even?
False
Does 25 divide 2095/((-12)/(216/(-90)))?
False
Let f(y) = -66*y - 10. Let b be f(-3). Suppose 3*k = o - 45 + b, 0 = 4*o - 16. Is 8 a factor of k?
False
Let f(y) = 31*y**3 - 11*y**2 - 9*y - 3. Is 140 a factor of f(5)?
False
Let i = 14040 - -22740. Is i a multiple of 20?
True
Let u(n) = 14834*n**2 - 7*n + 8. Is u(1) a multiple of 101?
False
Suppose 22*v + 2157 = 8933. Is v a multiple of 11?
True
Let w(h) be the third derivative of h**5/30 - h**4/12 - 2*h**3/3 + 13*h**2. Let c be w(0). Does 8 divide -174*1/(c + 1)?
False
Is (6/18)/(1/3039) - 11 a multiple of 3?
True
Suppose -4*s + 3*c - 2*c + 392 = 0, 4*s - 400 = 3*c. Suppose -807 - s = -4*g. Suppose 0 = -3*f + f + g. Does 14 divide f?
False
Let l(d) = d**2 + 12*d + 21. Let o(x) = x + 19. Let h be o(-15). Suppose -29 = -h*k - 3*s - 96, 3*s = k + 13. Is 17 a factor of l(k)?
True
Let h(m) = 2*m**3 + 12*m**2 - 19*m - 71. Is h(13) a multiple of 9?
False
Let r = -36 + 39. Let k be (120/(-6))/(4 - r). Does 24 divide -18*(k/(-45))/((-2)/6)?
True
Suppose 1735 - 10765 = 35*v. Is (2 - 5)*v/9 a multiple of 5?
False
Let z be 67*(-2 + 1) - 3. Let d = 73 + z. Suppose w + 140 = d*w. Does 14 divide w?
True
Suppose 27*t - 58201 = 14*t. Suppose -28*y + t = 109. Does 12 divide y?
True
Does 26 divide (-2118)/3*(-14)/(-21)*(-14 - 1)?
False
Let z = -74 + 83. Suppose 13*t = z*t + 500. Let a = t + -7. Does 6 divide a?
False
Let i(l) = -l**2 + 20*l + 34. Let p be i(21). Suppose p*r + 27 = 16*r. Suppose -r*c - 717 = -2958. Is c a multiple of 26?
False
Let q(i) = 29*i**3 - 5*i**2 + 3*i + 178. Does 7 divide q(8)?
False
Suppose 4*d - 8 = 2*d, -d + 34289 = 5*v. Let q = -3337 + v. Is 8 a factor of 6/(-4)*q/(-60)?
True
Let f(x) = 1810*x + 935. Is 235 a factor of f(10)?
True
Let n = -19768 - -36104. Is n a multiple of 49?
False
Suppose 0 = -0*m - 8*m + 1232. Let z = m - 84. Is 6 a factor of z?
False
Suppose 0 = 4*j + 5*b + 25, -2*b - b - 15 = 0. Suppose -3*q + j*q - 21 = 0. Let m = q + 69. Is m a multiple of 8?
False
Let t be 8/(-14) + 6*(-2)/(-21). Suppose 23 = u - 5*m, m = -t*m. Is u a multiple of 4?
False
Let i = 162 - 157. Suppose -9*f = -i*f - 624. Does 6 divide f?
True
Let q be (3/1)/((-15)/(-40)). Let r(p) = -p**3 + 8*p**2 + 76. Is r(q) a multiple of 12?
False
Let g = 418 + -397. Suppose -11*r = -g*r + 8470. Is r a multiple of 15?
False
Let m(u) = 360*u + 81. Let a(o) = 36*o + 8. Let j(h) = 21*a(h) - 2*m(h). Let n be 6/(12 + -6)*(7 + -4). Does 38 divide j(n)?
True
Let d(t) = -12*t**2 - 1231*t + 129. Is 43 a factor of d(-102)?
False
Let b be (6 + -7 - (-8)/3)*9. Suppose -5*h = b, -5*h = 5*l - 1565 + 315. Is l a multiple of 11?
True
Does 32 divide (12 - 0/3)*(-1044)/(-144)?
False
Let z = 67 + -21. Suppose -4*q + 54 = z. Suppose y + 65 = 3*i + 2, 5*i + q*y = 94. Is 16 a factor of i?
False
Suppose 0 = d + 8, 298*o - 297*o + 4*d = 11558. Is o a multiple of 61?
True
Let r = -18944 + 33499. Is r a multiple of 71?
True
Let u = -72 + 185. Suppose -6*k = -u - 583. Does 29 divide k?
True
Let d be -1 - ((-78)/6 - -7). Suppose -d*v + 7*v - 595 = -5*o, -4*v + 4*o + 1148 = 0. Is 6 a factor of v?
False
Suppose -26 = -4*b - 6. Suppose -2*j - w + 3*w = 2, b*w = -15. Is (-321)/9*(j + 1) a multiple of 20?
False
Let x(f) = f**3 + 13*f**2 - 10*f - 1. Let a be x(-11). Suppose z - a = 273. Suppose 12*o + z = 24*o. Does 26 divide o?
True
Does 219 divide 2 + -3 + 29290 - (59 - 56)?
False
Suppose -x = -2*g + 1700, 24*g + 3*x = 19*g + 4239. Is g a multiple of 5?
False
Let g be (-1 - 12/18)*-3 + -6. Does 2 divide 10/((g/18)/(-1))?
True
Let p(c) = -61*c + 14740. Is 3 a factor of p(88)?
True
Let d(a) = -460*a + 1056. Does 57 divide d(-21)?
True
Suppose -21*g + 50310 = -13*g + 18*g. Does 43 divide g?
True
Suppose 4*k - 7*k = 4*u - 5, 2*u - 20 = -4*k. Suppose -k = q + 104. Let b = q + 149. Is 6 a factor of b?
False
Is ((-12)/42)/2 + 59163/91 a multiple of 13?
True
Let i(b) = -14*b + 5. Let t be