ltiple of 18?
True
Let v = -112 - -116. Suppose -v*b + 6*l - 17 = l, 3*b + 5*l - 31 = 0. Does 2 divide b?
True
Let p = 7 - 4. Suppose 2*m - 7*m + 290 = p*u, 5*u = -5*m + 470. Does 7 divide u?
False
Does 7 divide 24/16*154 + -3?
False
Let a(h) = -13*h - 101. Is 12 a factor of a(-14)?
False
Let y = 71 - 46. Suppose -1 = -4*t - y. Does 11 divide t/(-21) + 1162/49?
False
Let q(l) = -15*l**2 + 13 - 10*l + l**3 + 20*l**2 - 15*l**2. Does 5 divide q(11)?
False
Let g(w) be the second derivative of 13/2*w**2 + 1/20*w**5 - 5/3*w**3 - 3*w + 2/3*w**4 + 0. Is 11 a factor of g(-9)?
True
Let b = 2072 + -972. Does 55 divide b?
True
Let c be 0 + (0 - -4) + 2. Does 15 divide ((-2)/c)/((-1)/135)?
True
Let l = -66 + 153. Let b = 39 + l. Is b a multiple of 26?
False
Suppose -3*y - 5*w + 145 = 2*y, 3*w = y - 37. Let j = y + -6. Is 4 a factor of j?
False
Is 26 a factor of 234/(-4)*(2 + (1 - 27))?
True
Let g(f) = f**3 + 6*f**2 + f - 5. Suppose -r - 2 = 2. Is 18 a factor of g(r)?
False
Let i = 344 + -279. Does 9 divide i?
False
Suppose 14*b - 22*b + 2432 = 0. Is 76 a factor of b?
True
Suppose 0 = -102*t + 111*t - 6498. Does 38 divide t?
True
Let n = 1293 + -1095. Does 27 divide n?
False
Let l = 13 - 10. Let d(q) = -3*q**3 + 6*q**2 - q**2 + q + q - 4 + 2*q**l. Is d(4) a multiple of 20?
True
Let b = -2 + 7. Let g = 8 - b. Let r(t) = 6*t - 2. Does 11 divide r(g)?
False
Let j = 3 + -8. Let y(g) = -2*g**2 - 11*g - 3. Let v be y(j). Is (-1)/v*(-40 - 2) a multiple of 21?
True
Suppose -250 = 9*u - 14*u + z, 4*z + 184 = 4*u. Is 17 a factor of u?
True
Suppose 3*f = 28 + 71. Let d = 2823 + -5895. Does 19 divide d/(-44) - (-6)/f?
False
Let s be ((-69)/(-6) - 4)*304/5. Suppose 5*p - 54 = s. Is 17 a factor of p?
True
Suppose -6*l = -l - 10. Suppose l*n - 2*j = 8, n - 4 - 8 = 3*j. Suppose n = 2*u + 3*u - 185. Is u a multiple of 30?
False
Let r(v) = 12*v - 6*v - 2*v + 19 - 2*v. Is 13 a factor of r(7)?
False
Suppose 7*d - 2*w - 3635 = 2*d, -2155 = -3*d - 4*w. Is 29 a factor of d?
True
Let r be (6/4)/1*12. Suppose 25 = r*p - 13*p. Suppose 159 = p*i - 81. Is 20 a factor of i?
False
Suppose o = 4 + 1. Suppose -3*c + 543 = 3*i, 2*i + i - 519 = o*c. Is i a multiple of 18?
False
Let o(h) = -6*h**3 - 2*h**2 - 9*h - 3. Suppose 0 = 11*y + 2 + 31. Is 12 a factor of o(y)?
True
Is 148 - 14 - 4/2 a multiple of 18?
False
Let j = -105 - 71. Let b be ((-21)/(-4))/(33/j). Does 8 divide 3 - b - (0 - -2)?
False
Let l = 7 + -5. Suppose 138 = 3*d - 5*u, 111 = 5*d - 3*d + 3*u. Does 5 divide 4/(24/d)*l?
False
Let x(n) = n + 10. Let j be x(-8). Suppose -60 = -5*b - 5*i, -j*b + 15 = -5*i - 9. Is b even?
True
Let z = -26 + 176. Is 9 a factor of z?
False
Let x(f) = -47*f - 147. Does 42 divide x(-7)?
False
Suppose 28*l = 30*l - 20. Let k(b) = b**3 - 9*b**2 + 2*b - 12. Does 9 divide k(l)?
True
Let k(d) = 3*d + 1. Let o be k(-5). Does 18 divide (-12)/(((-2)/(-6))/(7/o))?
True
Let o(y) = -y**3 - 2*y**2 + 2. Let r be o(-2). Suppose 28 = 5*w - c, r*c - 5*c = w + 4. Does 3 divide w?
False
Let i(h) = 293*h - 336. Does 59 divide i(9)?
True
Suppose 26*y - 9568 = -2*f + 21*y, -3*y - 9568 = -2*f. Is 16 a factor of f?
True
Let o(c) = -c**3 - 2*c**2 + 2. Let j be o(-2). Let u(g) = -13 + 3*g**3 - 2*g**3 + 15*g**2 - 26*g**j + 12*g. Is u(10) a multiple of 2?
False
Is 1/7 - 48528/(-168) a multiple of 20?
False
Suppose 3*g + c = 16, 0 = -0*g + 4*g + c - 22. Suppose -3*z + 2*r = -g, -2*r + 8 = 2*z + 2*z. Suppose -21 = -3*b + z*b. Is 7 a factor of b?
True
Suppose 0 = -5*o + 25, -5*m + o + 45 = -55. Does 2 divide m?
False
Let s(f) = 9*f + 9. Let r(w) = -10*w - 10. Let k(v) = 2*r(v) + 3*s(v). Is k(2) a multiple of 21?
True
Suppose 4*i = -5 + 93. Suppose 0 = -2*l - 0*l + 16. Suppose t + l = i. Is 7 a factor of t?
True
Let j(n) = -n**2 + 8*n - 5. Let t be j(7). Suppose -u + 2*u - 2*y = 127, 0 = 5*u + t*y - 575. Is u a multiple of 23?
False
Is 4 a factor of (10/(-15))/((-4)/336)?
True
Suppose -27*r = -51*r + 24048. Is r a multiple of 44?
False
Let i = -16 + 328. Is i a multiple of 39?
True
Let x be 20/(-15) - (-1)/3. Does 20 divide (-39)/(-26)*x*32/(-2)?
False
Let p(h) = -4*h + 33. Let r(l) = -5*l + 32. Let i(t) = 6*p(t) - 5*r(t). Is i(-17) a multiple of 7?
True
Suppose 5*m + 730 = -985. Does 13 divide (-5 - m)/((-1)/(3/(-6)))?
True
Suppose -5*y - 89 = q + 246, 3*q + 1059 = 3*y. Is 14 a factor of ((-24)/5)/(20/q)?
True
Let w(a) = 2*a**3 - 41*a**2 - 19*a + 101. Is w(23) a multiple of 16?
False
Let x(p) = -430*p - 60. Is x(-6) a multiple of 45?
True
Let y be (-1)/4 + (-65)/(-20). Suppose -y*b = 2*b - 15. Suppose 0 = -0*p + b*p + 4*t - 65, 4*p + 4*t = 92. Does 27 divide p?
True
Let b = 3 + 1. Suppose b*x - 2*x - 152 = 0. Suppose -h - 8 = -3, 3*v + h = x. Is v a multiple of 9?
True
Suppose 3*j - 58 - 125 = -f, 748 = 4*f + 4*j. Suppose 4*v - 7 = 5. Suppose -4*d - 4*c - c + 187 = 0, -f = -4*d - v*c. Does 16 divide d?
True
Let c(z) be the second derivative of 2/3*z**4 - 2/3*z**3 + 2*z**2 - 9*z + 0. Is 21 a factor of c(-3)?
False
Let t = 50 + -46. Suppose 0 = 5*l - 2*n - 150, 2*n = 2*l - 70 + t. Is l a multiple of 6?
False
Let i(q) = 16 - 109*q + 217*q - 102*q. Let f = 21 + -13. Is i(f) a multiple of 32?
True
Let u = -144 - -261. Let v = -77 + u. Suppose 5*w = -0 + v. Does 3 divide w?
False
Let t(r) = r**2 + 12*r + 5. Let o be t(-12). Suppose o*a - 741 = 3*y, 4*y + 1 = a - 154. Is a a multiple of 26?
False
Suppose 0 = 4*k + 4. Is 2 a factor of (9/(-2))/(k/2)?
False
Suppose -2*u + 28 = 4*x + 4, -u - 3*x = -16. Suppose -i + 75 = -y, -u*i + 335 = -0*i + 3*y. Is 20 a factor of i?
True
Suppose 0 = -i + 2*d + 9 + 11, -5*d - 80 = -5*i. Suppose -i*p + 285 = -651. Does 11 divide p?
False
Does 5 divide (42/(-35))/((-21)/825)*14?
True
Let v be (-6)/15 + (-8)/(-20) + 2. Suppose 368 = v*q + 2*q. Is q a multiple of 15?
False
Suppose -9*y = -3*y - 24. Suppose -y*x - 3*k + 176 = 0, 79 = -3*x - 4*k + 218. Is x a multiple of 13?
False
Suppose -4*n = s + 11, 4*s = -8 - 4. Let v be (8/(-16))/(n/(-1000)). Is 14 a factor of 26/117 - v/9?
True
Let w be (3 + 1)/(4/6). Suppose -w*u = -8*u + 84. Does 6 divide u?
True
Suppose -3*b = 4*w - 4168, 3*w + b - 1042 = 2*w. Does 7 divide w?
False
Does 8 divide (-846)/(-4) - (-23)/46?
False
Suppose -338*m + 337*m + 39 = 0. Is m a multiple of 13?
True
Suppose 3*j - 2587 = 4*z, 2*j + 99 = 4*z + 1817. Does 11 divide j?
True
Let i be (-4)/(-1 - (-267)/270). Suppose -8*x + 3*x = -i. Is x a multiple of 18?
True
Suppose -24 = -o - 5*o. Suppose 5*q = o*q + 5. Suppose -5*r - 4*p + 202 = 0, 2*p + 135 + 79 = q*r. Does 21 divide r?
True
Let c(j) be the third derivative of -j**5/60 + j**4/12 + j**3/3 + 4*j**2. Let x be c(0). Let p(b) = 2*b**2 + 2. Does 3 divide p(x)?
False
Let n = -44 + 7. Suppose 3*k + 33 = -2*z, -2*k + 27 = z + 42. Let r = z - n. Is r a multiple of 8?
True
Let c be 4/(-3)*(-3)/2. Let x(f) = f**3 - f**2. Let j be x(c). Suppose -j*v - 50 = -2*p + 24, 151 = 4*p - 5*v. Is p a multiple of 13?
True
Suppose 729 = 5*z - 2*g, 7*g + 582 = 4*z + 5*g. Does 21 divide z?
True
Let y be (-29 + 25)/(1/(-39)). Suppose u = 6*u - 3*z - y, 123 = 4*u - 3*z. Is u a multiple of 15?
False
Suppose 0 = 5*c - c + 240. Is (-8)/(-2) + (-14 - c) a multiple of 25?
True
Suppose 30*x = 1195 + 11285. Is x a multiple of 4?
True
Suppose -3*x = 208 + 62. Let h = -56 - x. Does 17 divide h?
True
Is (-4)/(-10) + 2104*660/400 a multiple of 62?
True
Suppose -2*g + 388 = -4*s, 2*g = 2*s + 1 + 379. Suppose 280 = -181*h + g*h. Is 8 a factor of h?
True
Suppose 0 = -13*d + 1908 + 1615. Is d a multiple of 19?
False
Suppose 4*z + 90 = z. Let v = 12 - z. Is v a multiple of 21?
True
Does 51 divide 4407/12 + 15/(-60)?
False
Let t = 608 + -78. Is 53 a factor of t?
True
Suppose 0 = -52*n + 3906 + 9562. Is 21 a factor of n?
False
Let y = 52 + -13. Let o = 91 - y. Is o a multiple of 13?
True
Let a = -49 + 401. Is a a multiple of 22?
True
Suppose 2836 + 5606 = 6*l. Is l a multiple of 17?
False
Let j = -292 + 150. Let g = -113 - j. Is 13 a factor of g?
False
Let n(f) = -69*f + 21. Let p be n(-6). Suppose -440 = -5*z + p. Is 35 a factor of z?
True
Suppose 7*h + 6 = 6*h. Is 12 a factor of (-7)/(-42) - 143/h?
True
Suppose -5*r + 2*a = -178, -11*r = -8*r + a - 109. Suppose -4*b + 1 = 4*j + 41, 3*j = b + 18. Let f = r + b. Is f a multiple of 12?
True
Let n be 2/3 + 230/6. Suppose 34