 21729 = -12*c + 17*c. Is c a multiple of 14?
False
Suppose -o = -3*r + 68, 2*o - 78 = -5*r + 28. Suppose 49*g = r*g + 7506. Is g a multiple of 27?
False
Let b(h) be the second derivative of -h**4/12 + 4*h**3/3 + 3*h**2 + 2*h. Let c be b(9). Is 16 a factor of ((-52)/c)/(30/45)?
False
Let o = -173 + 179. Suppose -600 = -4*f - o*f. Is f a multiple of 2?
True
Does 12 divide ((-40)/(-8))/((-5)/(-372))?
True
Let g = -11886 - -12318. Does 7 divide g?
False
Is 108 a factor of (-26 + 19)*(-3817 + 9)?
False
Suppose -4*d - 2*l + 4686 + 5442 = 0, 0 = 3*d - 5*l - 7583. Does 54 divide d?
False
Let j be (-47)/(-2) + 96/(-64). Let n be -3 + 155/55 - 2372/j. Does 18 divide (-2 - (-12)/9)/(2/n)?
True
Let d(g) = 4*g**2 + 34*g - 26. Let f be d(-29). Suppose 0 = -12*j + 5*j + f. Is 12 a factor of j?
True
Let p be -3 + -1*(-4 - -1). Suppose p = -2*j - 5*j - 294. Let x = j + 81. Does 23 divide x?
False
Let x be 427/4 + -9 + (-9)/12. Suppose x*r - 98*r + p = -1691, -3*p - 1689 = -r. Does 12 divide r?
True
Suppose a = -17*k + 18*k + 4060, -6 = -3*k. Is 4 a factor of a?
False
Let i = -4513 - -6642. Suppose -2*p = -y + 2*p + 430, p - i = -5*y. Does 62 divide y?
False
Let f(k) be the third derivative of k**5/6 + 8*k**4/3 + 4*k**3/3 + 138*k**2. Does 17 divide f(-8)?
True
Suppose -p = -5*o - 9, 17*o - 20*o = 2*p - 5. Is 4 a factor of o/12 - (-1155)/36?
True
Suppose 2*h - 4 = 0, i + h - 5 = -0*h. Let a(t) = 3 + 25*t - 6 + 4 + 0. Is 17 a factor of a(i)?
False
Let t(x) be the third derivative of x**4/24 - 9*x**3/2 - 15*x**2. Let u be t(-20). Let y = 56 + u. Is 5 a factor of y?
False
Let r(y) = 554*y + 485. Is r(5) a multiple of 4?
False
Let i(n) = 19*n**2 - 175*n + 3679. Is i(21) a multiple of 83?
True
Let t(v) = 84*v**2 - 13*v - 152. Is 126 a factor of t(10)?
False
Suppose -21*x = -1741 - 15122. Is 140 a factor of x?
False
Let q(w) = 3*w - 26. Let s be q(4). Let v = s + 18. Suppose -4*a + 5*r = -220, -3*a + v*r + 27 = -137. Is a a multiple of 10?
True
Let i(g) = g**3 + 27*g**2 + 31*g + 45. Does 5 divide i(-25)?
True
Suppose -251*y = -245*y - 13176. Let s = y + -336. Is s a multiple of 20?
True
Let w(j) = 4*j**2 + 5*j - 5. Suppose -5*n + 4 = -4*n, 5*i - 46 = n. Suppose 2*a = 4*m, -4*a - 4*m = -a - i. Is 2 a factor of w(a)?
False
Suppose 3*q + 53*a - 15331 = 52*a, 4*a + 10244 = 2*q. Is q a multiple of 12?
True
Let j be (11 - 11)/(1*-2). Suppose 3*p + d + 0 + 12 = 0, d = j. Is 15 a factor of (-5 + 9 - p)*4*2?
False
Let c(x) = -2*x + 8. Let a be c(-2). Suppose a*o - 5040 = -6*o. Is 25 a factor of o?
False
Let l = -317 - -817. Suppose 3*h - 708 - 738 = -3*c, -h + l = -5*c. Does 9 divide h?
False
Let g(j) = -113*j + 228. Does 16 divide g(0)?
False
Is 22 a factor of (2/4)/((424/(-197120))/(-53))?
True
Suppose -37 = 51*j - 1210. Suppose 2*l + 53 = 255. Let g = l - j. Is g a multiple of 14?
False
Suppose -169 - 281 = 5*c. Is 23 a factor of 12/c*5 - (-2153)/3?
False
Let t = -5 + 9. Let o = -2617 + 3766. Suppose -4*f + 0*z = -z - o, 1144 = 4*f + t*z. Is f a multiple of 41?
True
Let u = 192 + -184. Let b(h) = 4*h**2 + h + 16. Is b(u) a multiple of 41?
False
Let g(c) be the third derivative of c**5/60 - 9*c**4/8 - 21*c**3/2 + 2*c**2 + 10*c. Is 9 a factor of g(33)?
True
Let j(s) = -58*s - 443. Let z be j(-47). Let n = -1518 + z. Is n a multiple of 17?
True
Suppose 0 = 3*l - 0*s - 2*s - 47, 0 = -2*l + s + 30. Suppose 4*f - l = -3*n, 0 = -n - 4*n - 4*f + 27. Suppose 0 = n*u - 141 - 97. Does 7 divide u?
False
Let g = -3615 - -3615. Let d be (1/3)/(3/27). Suppose g = -d*h - 2*n + 227, -h + 3*n - 2*n = -79. Is 16 a factor of h?
False
Suppose 30*h + 10747 - 83017 = 0. Is h a multiple of 73?
True
Let b(r) = -416*r. Let w be b(4). Let m be 6/4*(w/(-12))/8. Suppose 130 = 4*h + m. Does 26 divide h?
True
Suppose 0 = -11*z - 20 - 46. Is 7 a factor of ((-45)/z - -6)*(-28)/(-6)?
True
Let k(b) = b**2 + 3*b**3 - 119*b - 2*b**3 + 115*b + b**3 + 885. Is 15 a factor of k(0)?
True
Let z be 45/10*(-12)/(-9). Suppose -10*f + 8272 = z*f. Is 47 a factor of f?
True
Let d(k) = 11*k**2 + 9*k - 10. Let n be d(5). Let f = -34 + n. Is 69 a factor of f?
True
Let t(c) = 4*c**2 - 9*c + 588. Is 21 a factor of t(-30)?
False
Suppose -20 - 14 = 3*t + 4*x, -2*t - x = 26. Let g = -29 + t. Let y = g - -83. Is 18 a factor of y?
False
Is (12*3)/(868/9331) a multiple of 43?
True
Does 14 divide 461673/27 + -3 + -12?
False
Let a = -319 - -206. Let u(q) = 35*q + 6. Let l be u(6). Let d = l + a. Is d a multiple of 16?
False
Let i(w) = 2*w + 2. Let b = -4 + -12. Let p be 2 - 0*4/b. Is i(p) a multiple of 6?
True
Suppose 6*i - 23972 = -7*i. Suppose 3*a - 1374 = -3*o, -i = -4*a + o + o. Does 5 divide a?
True
Suppose 17*c + 4 = 18*c. Does 26 divide (-2)/c + 3279/6?
True
Let d(w) = 1026*w + 8158. Does 16 divide d(20)?
False
Let y(d) = 7*d - 14*d + 4*d - 2. Let f be y(0). Is (-80)/(-5) + 0 + f a multiple of 14?
True
Let f be 1*(-28)/(-7)*(-110)/8. Let k = 58 + f. Suppose 0 = 4*j + 2*v - 74, -2*v - 115 = -5*j + k*v. Is j a multiple of 10?
True
Suppose 0 = 9*b + b - 60. Suppose 0 = -b*h + 3*h + 21. Suppose 3*r - 1190 = -h*r. Does 9 divide r?
False
Suppose -156 = -4*l + 44. Suppose -5*x - 740 = 5*c, 3*x + 2*c = -0*c - 439. Let t = l - x. Is 40 a factor of t?
False
Let w be ((-3 - 14) + (2 - 2))*1. Let v be (-19 - w) + 0/2 + -80. Is (-1)/(-2) - v*6/24 a multiple of 7?
True
Does 6 divide 4868/5 - (-273)/(-455)?
False
Suppose -11*z = a - 9*z - 872, -3*z = -3*a + 2571. Does 79 divide a?
False
Let a = 30 + -30. Suppose -2*m + 25 = 2*q - 43, 2*m - 2 = a. Suppose q*j = 28*j + 25. Is j even?
False
Let w(k) = 97*k - 5. Let t(l) = -194*l + 11. Let i(m) = 4*t(m) + 7*w(m). Let u be -2*((-85)/10)/(-17). Is 53 a factor of i(u)?
True
Let y = -138 - -148. Suppose y*l - 23 = 3697. Is 62 a factor of l?
True
Suppose 17*a - 25*a + 384 = 0. Let l be a/(-84)*(1 + 303/(-2)). Let x = 21 + l. Is x a multiple of 23?
False
Let v = 15940 + -15542. Does 95 divide v?
False
Let f = 1062 - 556. Let q = f + 105. Is q a multiple of 40?
False
Let d = -15854 + 16848. Is 21 a factor of d?
False
Let y(h) = 287*h**2 + 14*h + 27. Let a be y(-4). Suppose -17*r + a = -8*r. Does 19 divide r?
False
Let u = 27 - 7. Let f be -5 - (0 + -3)/((-9)/24). Let y = u + f. Is 7 a factor of y?
True
Suppose 117684 = 97*g - 12*g - 938526. Is g a multiple of 13?
False
Is (-18340)/(-100) + 14/(-35) a multiple of 21?
False
Let u(g) = 20*g**2 + 27*g + 4. Suppose 55*h + 295 = -4*h. Is u(h) a multiple of 9?
True
Let x(k) = 75*k - 1698. Is 17 a factor of x(87)?
False
Let y(h) = -h**2 + 4*h + 14. Let n be y(6). Let r(s) = -37*s + 3. Let m be r(n). Let o = m + 104. Is o a multiple of 33?
True
Let j(i) = 63*i**2 + 2*i. Let b be j(-1). Suppose -14*q - b = -15*q. Is 3 + q + (-10)/5 a multiple of 31?
True
Suppose 10*u - 349162 = -49*u. Is 19 a factor of u?
False
Let c(n) = -n + 21. Let i be c(22). Let s(t) = -5*t**3 + 2*t**2 + t. Let h be s(i). Suppose h*v - 7*v = -223. Does 40 divide v?
False
Let q(y) = -89*y**2 - 13*y + 16. Let s be q(3). Let o = 1328 + s. Is o a multiple of 7?
True
Is 16 a factor of ((-328)/(-14))/(388/126294)?
False
Suppose m = 5*b - 421, 4*m = 5*b - 302 - 122. Is (-63 - -7)/(3/(b/(-8))) a multiple of 6?
False
Let v be -4 + (-45)/(-3) + (1 - 3). Suppose 0 = -7*q + v*q + 80. Let r = q + 78. Does 18 divide r?
False
Let x = 31 - 33. Let k = x + 16. Suppose k*y = 7*y + 693. Does 33 divide y?
True
Let d(x) = x**3 + 154*x**2 + 128*x - 1427. Is 22 a factor of d(-153)?
True
Let d = 439 + -437. Let z(s) = 4 - 4*s**2 + 0 - 2*s + 19*s**2. Is 30 a factor of z(d)?
True
Let v(l) = -l**3 + 94*l**2 - 150*l - 136. Does 11 divide v(92)?
True
Suppose -5*n = 18*u - 12*u - 126655, -u + 3*n = -21090. Does 15 divide u?
True
Let s(z) = -z**3 + 26*z**2 - 27*z + 36. Let o be s(24). Suppose -4*i = -2*q - 156 + 516, 0 = 3*q + 3*i - o. Does 15 divide q?
True
Let l be (1528/(-4))/(3 - (1 + 4)). Let u = l - 20. Suppose -747 = -6*c + u. Is 12 a factor of c?
False
Suppose -40*i - 22*i = -3*i - 145376. Does 88 divide i?
True
Let x(d) = 605*d**2 - 40*d + 203. Is 15 a factor of x(3)?
False
Suppose -17*y - 2056 + 5779 = 0. Suppose y - 11685 = -26*d. Is 13 a factor of d?
False
Suppose -3*o = -2*g - 1606, 0 = -419*o + 417*o + g + 1069. Is 97 a factor of o?
False
Let q = -1887 + 1871. Let l be ((-801)/(-6))/(6/8). Is 23 a fact