2 - m. Let l be z(6). Suppose -3*o = -3*b + l, -4*b - 7 = 1. Let d = o - -130. Does 12 divide d?
False
Suppose -57*j + 41*j = -16624. Does 17 divide j?
False
Let s(b) = -b**2 + 8*b - 1. Let u be (18/(-4) - -2)*-2. Suppose 0 = u*v - 2*v - 15. Is s(v) a multiple of 6?
False
Let c(g) = -5*g - 2. Let m be c(-1). Suppose 3*y + 27 = 162. Is (m - (3 - 1))*y a multiple of 15?
True
Does 55 divide (-3)/((-24)/(-1760)*(-4)/11)?
True
Suppose 166 - 4180 = -6*j. Does 9 divide j?
False
Let c(r) = -r**3 + 10*r**2 + r - 12. Suppose 5*b = 4*o + 4, -16 = -o - 2*b - 4. Suppose -a = -o*a + 27. Is c(a) a multiple of 10?
False
Suppose -7*o - 657 = -1980. Suppose j = -3*d + 34 + 1, 5*j + d - o = 0. Is 19 a factor of j?
True
Let s be (-69)/(-46)*(-4)/3. Let y = 12 + s. Is 10 a factor of y?
True
Let b(p) = p - 5. Let n be b(8). Let q = -1 + n. Suppose 0 = 4*j - q*d - 106 - 54, -5*j + 200 = -d. Is j a multiple of 16?
False
Let t(s) = 2*s**2 - 114*s - 83. Is 42 a factor of t(-26)?
False
Let t = 47 + -45. Suppose -5*b = -t*r - 17, r + 4*r + 5 = 0. Is b even?
False
Suppose 3*v = 2*x + 21, -3*v - 5*x = -3*x - 9. Suppose 2*s + 0*s + 3*a + 12 = 0, v*s - 12 = 3*a. Suppose s*h - 644 = -7*h. Is h a multiple of 31?
False
Let h be (6 - 1) + (1 - -5)/(-6). Suppose 3 + 12 = -3*b, 3*b + 95 = h*m. Does 20 divide m?
True
Suppose 0 = 4*u - 20, -8*f = -6*f - 4*u - 604. Does 24 divide f?
True
Suppose -4*s + 6 = -22. Let l(w) = -w**3 + 8*w**2 + 7*w - 8. Is 18 a factor of l(s)?
True
Let j = -23 + 26. Suppose 3*i - o = -7 + 106, -j*o = -3*i + 99. Suppose -2*m - i = -4*v + 3*v, m = 4*v - 132. Is 11 a factor of v?
True
Suppose -2*r + 710 - 180 = 0. Let t = -189 + r. Is 19 a factor of t?
True
Let k be -2 + 20/6 + (-14)/(-21). Suppose -k*g = -3*g + 62. Is g a multiple of 15?
False
Suppose -30*w + 276 = -27*w. Suppose -68*h - w = -72*h. Is 18 a factor of h?
False
Suppose 0 = v + 5*c - 448, v + 0*v + c - 460 = 0. Suppose -175 = 8*t - v. Is 12 a factor of t?
True
Let b(i) = 11*i**2 + 37*i + 108. Is b(-17) a multiple of 32?
False
Let a(r) = -3*r - 7. Let t be a(-5). Is (300/(-14))/((4 - t)/56) a multiple of 60?
True
Let d(w) = 2*w - 18. Let u be d(11). Let b = 19 + u. Is b a multiple of 10?
False
Let h = -68 + 71. Suppose 233 = h*r - 94. Is r a multiple of 23?
False
Let p(g) = 6*g - 1. Suppose 6*o + 7 - 25 = 0. Suppose o*z = 3 + 3. Is 11 a factor of p(z)?
True
Let r(g) = -g**2 + 8*g + 3. Let x be r(8). Let b(d) = d**3 - 3*d**2 + 4*d + 3. Let j be b(x). Let p = 25 - j. Does 9 divide p?
False
Suppose 0 = z + 6 - 5. Let s be z*(-2 + (-3 - -5)). Suppose s = -2*i - 14 + 66. Does 5 divide i?
False
Is 464/87*(-1050)/(-8) a multiple of 28?
True
Suppose 2*i = 158 + 330. Is i a multiple of 13?
False
Suppose 50*u = 54*u - 2*t - 822, 3*u - 614 = -t. Is u a multiple of 5?
True
Is 4 a factor of 3/(-9) + -536*7/(-42)?
False
Suppose m + 0*m - j = 155, 5*j = -10. Let b = m + -23. Does 26 divide b?
True
Suppose -5*p + 2242 = 3*t - 2300, 7542 = 5*t - p. Is 24 a factor of t?
False
Let x(l) = -8*l - 1. Suppose -20 = 2*v + v - 2*r, -2*v + r - 15 = 0. Let f(m) = m**2 + 11*m + 5. Let g be f(v). Is x(g) a multiple of 13?
True
Let s(c) = c - 7. Let u be s(4). Suppose 0 = 5*f - 2*x - 50, f + 3*x = -2*x + 10. Let v = f - u. Does 6 divide v?
False
Let z(y) = -1055*y - 45. Is 5 a factor of z(-1)?
True
Let z(h) = 6*h**2 - 2*h. Let r be z(-3). Suppose 5*w = 5*s + r, -s - 54 = -3*w - 20. Suppose -4*l + 48 = f, -35 = -f + 2*l - w. Is f a multiple of 19?
False
Suppose 98*l = 102*l. Let r be -2 - -3 - 1 - -91. Suppose l = 4*j - 113 - r. Does 17 divide j?
True
Let r = -13 - -297. Suppose r + 74 = t + 3*p, t = p + 354. Suppose 4*s + s = t. Is s a multiple of 27?
False
Let a be -2*(4 - 5)/((-2)/(-199)). Suppose -z + 325 + 272 = 3*t, -5*z = -t + a. Is t a multiple of 10?
False
Let m = 1416 - 527. Is 52 a factor of m?
False
Let z(s) = s**2 - 19*s + 5. Let k be z(19). Suppose k*n = -2*d + 644, -d - 396 = -3*n + d. Is 13 a factor of n?
True
Let b be 4/(-4)*1 - -114. Suppose h - b = -2*h + 4*v, 0 = 4*h - 3*v - 146. Is (63/h)/(3/45) a multiple of 9?
True
Suppose -5*n = 5*g - 3 - 2, -2*n = g - 3. Let w = n + -2. Suppose w = -6*c + c + 180. Is c a multiple of 16?
False
Let n = 799 - 399. Is 50 a factor of n?
True
Suppose -3*q - 3*q = -798. Is q a multiple of 6?
False
Let h = -485 + 738. Does 6 divide h?
False
Suppose 86 = 2*j - 108. Suppose -6 = -3*c + 6, -2*c = -3*x + j. Is x a multiple of 7?
True
Let c be 10/(-25) + 17/5. Suppose -s - 73 = -c*u - 2*s, -3*s = u - 27. Is 6 a factor of u?
True
Let c(b) = 17*b**2 - 7*b - 12. Let i be c(-5). Suppose 3*h - 7*h + i = 0. Is 16 a factor of h?
True
Let g(s) = 6*s**2 + 12*s - 1. Suppose j + 33 = 3*j + 5*f, -2*f + 2 = -2*j. Is 13 a factor of g(j)?
True
Suppose 0 = -2*x - 6*l + l + 124, 3*x = -l + 173. Let v = x - 24. Is v a multiple of 18?
False
Let z be 4/(-14) - (-7530)/42. Let n = 263 - z. Is n a multiple of 9?
False
Let f = 674 + -467. Does 23 divide f?
True
Let q(b) = -b. Let d(w) = -6*w - 16. Let r(s) = -3*d(s) + 15*q(s). Is r(0) a multiple of 15?
False
Let t = 197 + -131. Suppose -r - t = r. Let x = r - -58. Does 9 divide x?
False
Suppose -3 - 323 = -l. Let b be 1/(-1*(-2)/l). Suppose b = 2*o - 55. Does 31 divide o?
False
Let z = -802 + 1113. Is z a multiple of 9?
False
Let k(s) = 16*s - 2. Suppose 0*m + 15 = 5*m. Let o = 5 - m. Is 6 a factor of k(o)?
True
Let r(d) = d - 6. Let x be r(8). Suppose -70 = -x*w + 140. Suppose 0*z = -5*z + w. Is 21 a factor of z?
True
Is 48 a factor of (-25)/((-175)/84) + 1411?
False
Let r(l) = -2*l**3 + 10*l**2 - l + 5. Let k be r(5). Suppose k = -2*q + 6*q - 2*u - 58, 51 = 3*q - 4*u. Is q a multiple of 6?
False
Let f(r) = -r**3 - 8*r**2 - r. Let w(c) = -4*c - 4. Let d be w(1). Is f(d) a multiple of 8?
True
Let s(f) = 79*f - 196. Is 16 a factor of s(12)?
True
Suppose -h + 216 = 3*h + 2*v, 5*v - 20 = 0. Suppose h + 8 = 3*d + 3*x, 0 = -2*d - 3*x + 45. Is 8 a factor of d?
False
Let l be 3376/56 - 4/14. Suppose 5*i + 13 + 110 = -2*s, -i = s + l. Let h = s - -82. Is h a multiple of 9?
False
Suppose 4*j - 269 - 427 = 0. Let m = j - 42. Is 12 a factor of m?
True
Let v(i) = -i**3 - 2*i**2 + 18*i + 3. Is 15 a factor of v(-10)?
False
Let v(h) be the third derivative of -3*h**4/8 + 3*h**3/2 - 13*h**2. Let q be v(-4). Suppose -22*o + 21*o + q = 0. Is o a multiple of 15?
True
Let l(y) = -y**2 - 5*y + 20. Is l(-5) a multiple of 20?
True
Let h(n) = -69*n + 100. Let v(l) = -14*l + 20. Let m(k) = 2*h(k) - 11*v(k). Is m(6) a multiple of 38?
True
Let w = -12 + 31. Let n(v) = -v**3 + 19*v**2 + 3*v + 17. Does 14 divide n(w)?
False
Suppose 0 = 4*p + x - 4037, -3*p - 9*x + 11*x + 3014 = 0. Is p a multiple of 24?
True
Suppose 2*p - 3*v = 1830, -5*v + 1302 = 4*p - 2336. Does 8 divide p?
True
Let k(q) be the first derivative of q**4/4 + 13*q**3/3 + 5*q**2 - 3*q + 11. Is 7 a factor of k(-12)?
True
Does 38 divide 8*681/18 + (-24)/(-18)?
True
Let o = -222 + 247. Is 5 a factor of o?
True
Let q(p) = 2*p**2 + 41*p - 34. Is q(-26) a multiple of 10?
False
Let r(x) be the third derivative of -x**6/120 - x**5/10 + 5*x**4/8 - x**3/6 - 6*x**2. Does 2 divide r(-8)?
False
Let o = 235 + 125. Is 40 a factor of o?
True
Let n(w) = -4*w**3 + 3*w**2 - w. Let r be n(2). Let u = -6 - r. Is 15 a factor of 454/6 + u/(-24)?
True
Let k = 537 + -494. Does 2 divide k?
False
Let i(n) = -n**3 - 8*n**2 + 4. Let m be i(-8). Let u be -4 - (m + -8) - 2. Is 12 a factor of 215/6 + u/(-12)?
True
Let o(r) = 4*r**2 - 2*r. Let w(x) = 2*x - 6. Let n be w(5). Suppose -3*b + n + 2 = 0. Does 6 divide o(b)?
True
Let b(j) = -7*j - 1. Suppose -4*l + 3*d = -5 - 0, 4*l + 3*d = -13. Let t be b(l). Is 9*2/t + 22 a multiple of 5?
True
Let q be (-3952)/(-95)*5/2. Let o = -98 + q. Is o a multiple of 5?
False
Suppose 11*b = 13*b - 494. Does 7 divide b?
False
Suppose 30 + 12 = -7*f. Let z be (-51)/f - 2/4. Suppose -3*q - 360 = -z*q. Is q a multiple of 24?
True
Suppose 3*z = 7*z - 300. Suppose -3*g - 22 = -5*w + 53, -3*g = 5*w - z. Suppose 3*u + a - 29 = 0, -5*a = 2*u - 0*a - w. Is 4 a factor of u?
False
Suppose -4*o + 2*o = 4*d - 1790, -d + 3*o = -444. Is d a multiple of 40?
False
Let r be (-58 - -13)*(-4)/6. Suppose -r = -7*g + 4*g. Does 10 divide g?
True
Let x = -117 - -172. Let y = 74 - x. Is y a multiple of 14?
False
Suppose -s - 23 = -11. 