se
Suppose 70*r + 1794 = 6624. Does 69 divide r?
True
Does 5 divide (-1 - 4)*9/(-5)?
False
Suppose 5*z + 4*a = -6 - 0, -z + 2*a = -10. Suppose -p = -z*p. Suppose 4*f - 2*w - 1 = w, p = 4*f - w - 11. Is f a multiple of 3?
False
Let z(r) = r**3 - 14*r**2 - 18*r - 3. Let t be z(15). Let m = t - 1. Let v = m + 103. Is 15 a factor of v?
False
Let h(z) = z**3 + z**2 - z + 1. Let a(v) = -5*v**3 + v**2 + 2*v - 13. Let q be 2/1*(-12 - -10). Let r(l) = q*h(l) - a(l). Does 19 divide r(6)?
True
Suppose 0 = -14*p + 18*p. Suppose 2*k - 124 - 174 = -4*n, p = n + k - 77. Is n a multiple of 12?
True
Suppose -7897 = -26*q + 3387. Is 12 a factor of q?
False
Suppose 0 = -d + 3 - 1. Let b(h) = -4*h**3 - 3*h**2 + 2. Let p be b(1). Does 21 divide ((-44)/20 - d)*p?
True
Let k be (-2)/((-4)/12*2). Suppose 5*t = -10, 2*t - 518 = k*r - 6*r. Is 11 a factor of (3/(-9))/((-2)/r)?
False
Suppose 19*s = 24*s - 15. Let d = 43 + 160. Suppose 4*j = -s*j + d. Does 4 divide j?
False
Suppose 0 = 7*j - 108 + 1025. Let y = j - -150. Does 2 divide y?
False
Let i(j) be the third derivative of j**4/6 - 7*j**3/3 + 7*j**2. Let h be i(16). Let s = h + 12. Is s a multiple of 31?
True
Let u(o) = -o - 13. Let i be u(-10). Let k(b) = -1 + b**3 - 2*b**3 + 4*b - b. Does 3 divide k(i)?
False
Let b = -112 + 217. Suppose -11 = -4*m + b. Does 19 divide m?
False
Suppose -4*n + 16 + 4 = 0. Suppose n*i + d - 23 = 0, 5*i + 2*d - 13 = 8. Suppose 2*a = -2*k + 22 + 72, -i*k = 5. Does 24 divide a?
True
Suppose 31*a - 34*a - 1176 = -3*t, 4*a - 760 = -2*t. Is t a multiple of 33?
False
Let l be (10/(-4))/(2/(-4)). Let w(g) = -g**3 + 6*g**2 + 4*g + 12. Let y be w(l). Suppose -2*t + 7 = -y. Is t a multiple of 8?
True
Let s(g) = -4*g - 20. Let m be s(-6). Suppose -4*i - 3*n + 83 = -51, 0 = m*i - 2*n - 124. Is i a multiple of 16?
True
Let q(z) = z**2 + 23*z + 85. Is q(-26) a multiple of 16?
False
Let g = -22 + 58. Suppose -17*m + 15*m = -g. Is 6 a factor of m?
True
Let c = -25 - -20. Let v = -4 - c. Is 3 a factor of -12 + 29 + (-2 - v)?
False
Suppose -2*t + 6*t - 214 = 2*m, 5*m = 4*t - 211. Suppose 11*r - t = 8*r. Does 6 divide r?
True
Let c(k) = 9*k**2 + 1. Let a be ((1 - -1)*-2)/(-4). Is c(a) a multiple of 10?
True
Suppose 5*j = -5*x + 1845, x - j - 57 = 316. Is x a multiple of 53?
True
Is -2 + (-10102)/(-18) + 46/(-207) a multiple of 14?
False
Suppose 2*l = -5*x + 95, -5*x + 2*l + 125 = -2*l. Suppose 0 = -3*i + 165 - x. Suppose -5*b + i = -32. Is b a multiple of 4?
True
Let x = 2354 + 171. Is x a multiple of 25?
True
Suppose 94 - 29 = 5*n + 4*y, -3*y - 12 = -3*n. Let i = n + -24. Let h(z) = z + 19. Is h(i) a multiple of 2?
True
Let g(r) = 9*r**2. Let w be g(1). Suppose -4*p = -0*f + 3*f - 28, p + 2*f - 12 = 0. Suppose -p*b = -w*b + 10. Is b even?
True
Suppose 22*m + 14 = -30. Is -1 + (m - -237) + -2 a multiple of 29?
True
Let l = 129 - 28. Let q = l + -21. Let i = q - 32. Is i a multiple of 16?
True
Suppose 5*u = 2*n - 6, 0*u + n = -u - 4. Does 5 divide (-3 - (7 - 15))/(u/(-16))?
True
Suppose b - j + 378 = 3*b, -4*b = 4*j - 756. Suppose 2*t + b = 5*t. Is t a multiple of 11?
False
Let f = -12 + 12. Suppose -5*c = f, c - 2 - 16 = -3*j. Is 18 a factor of (9/j)/(-3)*-72?
True
Suppose -7*g + 5*g = -14. Suppose -g = 2*j - 3, 0 = -3*v + 3*j + 84. Is v a multiple of 4?
False
Let d(u) = 5*u**2 - 2*u + 14. Is d(-20) a multiple of 41?
False
Let j(o) be the third derivative of 14*o**5/15 - o**4/24 - o**3/6 - 10*o**2. Is 17 a factor of j(-1)?
False
Is (-1)/(0 + (-6)/924) a multiple of 14?
True
Let d = 746 + -165. Does 32 divide d?
False
Let a(q) = -q**3 + 2*q + 2. Let j be a(-1). Suppose 4*l - 458 = -5*f, 2*l - j = 3. Does 14 divide f?
False
Suppose 0 = 5*x - 2*l - 763, 165 = x + 3*l + 9. Is 9 a factor of x?
True
Let g(a) = a**3 + 8*a**2 + 3. Suppose -4*x - x - 40 = 0. Let h be g(x). Suppose 3*f = 2*v + 133, f + 13 = -h*v + 50. Is f a multiple of 15?
False
Suppose u - 1070 = -31*d + 26*d, u = 5*d - 1060. Is d a multiple of 3?
True
Suppose -16*x = 10*x - 780. Is 18 a factor of x?
False
Suppose -4*y + 12 = 0, 3*r + 2*r = 5*y + 1665. Does 42 divide r?
True
Suppose -m = -7*m + 18. Suppose 5*k = -2*s - m*s + 420, -2*s = -4*k - 168. Is s a multiple of 21?
True
Suppose 3*s = 3*k - 10 + 949, -2*k + 8 = 0. Is s a multiple of 31?
False
Suppose 5*r - 4*o - 492 = 0, -2*o = -4*r + 481 - 91. Let h be 1/(-2) + (-11)/(-2). Suppose 0 = 4*t - 5*t - h*i + r, 0 = 2*i. Does 13 divide t?
False
Let j = 17 - 8. Let n = j - -41. Is 10 a factor of n?
True
Is (-9)/18*-4 + 1288 a multiple of 45?
False
Does 7 divide (2*(-462)/(-49))/((-6)/(-147))?
True
Let h(p) = 14*p - 14. Let i(l) = 1. Let o(s) = -h(s) + 4*i(s). Is o(-6) a multiple of 11?
False
Let m = -2 + 10. Is 8*(28/m + 3) a multiple of 13?
True
Suppose -5*o = -1209 - 101. Let c = o + -143. Is c a multiple of 8?
False
Let r(m) = m**2 + 12*m - 7. Let h be r(-12). Let t = -5 - h. Suppose -3*a + 119 = z + 4*z, -2*z = t*a - 74. Does 16 divide a?
False
Suppose -a - 236 = -4*y - 5*a, -4*y + 239 = a. Is y a multiple of 20?
True
Let h(y) = -y**2 - 9*y + 12. Suppose -2*a + 1 = -s, 2*s + 17 = s - 2*a. Does 3 divide h(s)?
True
Let k(c) = 3*c + 347. Is 8 a factor of k(-38)?
False
Let p(y) = -y**3 + 5*y**2 - 3*y - 3. Let d be p(3). Let l be d*(-6 + 2)/(-8). Suppose -i + l*i = 18. Is i a multiple of 3?
True
Suppose 2*w = -2*c + 58, c + 71 = 5*w - 44. Is 19 a factor of ((-76)/(-6))/(2/w)?
True
Suppose -5*g + n + 1798 = 0, 3*g = -n + 438 + 644. Does 24 divide g?
True
Let l be ((-9)/(-6))/(6/(-536)). Let i = l + 237. Is i a multiple of 18?
False
Let o(c) = 386*c - 469. Is 9 a factor of o(8)?
True
Suppose -5*x = -x - 4. Let o = 363 + -359. Suppose -w - o*s - 9 + x = 0, w - 4 = -s. Is w a multiple of 3?
False
Let l = -23 + 23. Suppose l = 2*s - 278 - 8. Suppose -s = 5*j - 608. Is j a multiple of 18?
False
Suppose j - 5*k = -0*k - 7, 4*k = 5*j + 14. Is 92 - (4/j + 0) a multiple of 18?
False
Let x = -27 - -16. Let d(u) = -2*u + 37. Is d(x) a multiple of 30?
False
Let k(h) = -h**3 + 5*h**2 + 5*h + 2. Let m be k(5). Suppose 4*c + m = 3*v, -2*v - 5*c = 3*v - 10. Suppose v*y = y + 144. Is 18 a factor of y?
True
Suppose -3*j + 2*j - 378 = 0. Let s = j + 572. Is 15 a factor of s?
False
Suppose 0 = 5*c - 3*k - 43, -3*k = -2*c + k + 6. Suppose c = -2*q + q. Let g(m) = -m - 6. Is g(q) a multiple of 3?
False
Let a(h) = h**2 + 7*h - 21. Let c = 72 + -82. Does 9 divide a(c)?
True
Let l(z) = 31*z**2 - 2*z - 3. Let r = -24 - -23. Is 4 a factor of l(r)?
False
Suppose 2*a = 0, 3*a - 832 + 34 = -3*u. Is 17 a factor of u?
False
Let j(r) = 775*r**2 + 24*r + 19. Is j(-2) a multiple of 37?
True
Let p(k) be the third derivative of k**6/6 + k**5/30 - k**4/6 + k**3/6 + 42*k**2. Is p(1) a multiple of 17?
False
Let i be 6/(((-24)/116)/(-3)). Suppose -a - 5*t + i = -0*a, a + t - 87 = 0. Is 7 a factor of a?
False
Suppose n = -3*b + 571, b = 2*n + 171 + 17. Does 6 divide b?
False
Let d(p) = -3*p + 2. Let w be d(-1). Suppose 2*v = -w*x + 546, 228 = 2*x - 2*v - 2*v. Suppose 6*f - x = f. Is 11 a factor of f?
True
Let h = 2 - 6. Let x be 60/(-9)*(h + 7). Let r = -8 - x. Is 3 a factor of r?
True
Suppose 4*a = 0, -5*w = -3*a + 49 + 6. Does 16 divide 1 - w/((-3)/9*-1)?
False
Let a(o) = -2*o + o**2 - 5 - 3 + 5. Let r(s) = -s - 14. Let j be r(-19). Does 10 divide a(j)?
False
Does 8 divide 4/(-3) - (7 - 1634/6)?
True
Suppose 4*w - 9*w = -1410. Is 23 a factor of w/5 - (-6)/(-15)?
False
Is (-23)/184 + 3185/8 a multiple of 19?
False
Let f = 60 - 86. Suppose 4*j = 6*j, 3*d + j + 183 = 0. Let x = f - d. Is x a multiple of 9?
False
Let m = -1019 + 1451. Is 19 a factor of m?
False
Let o(y) = -y**3 + 7*y**2 + 9*y - 9. Suppose 4*m = 3*m - 2*t - 13, 3*m + 4*t + 31 = 0. Let b = 12 + m. Is 27 a factor of o(b)?
True
Suppose -4*y - g + 4*g = 8, -2*g = -5*y - 10. Let n be 6/((-5)/(-10) - (-20)/(-8)). Is 4 a factor of 9 + (2 - n) + y?
True
Suppose 0 = 3*f - 714 - 1704. Is f a multiple of 13?
True
Suppose -151*c + 131*c + 9180 = 0. Does 17 divide c?
True
Let r be (-96)/(-42) + 2/(-7). Let v(o) = 10*o + 4. Let w be v(r). Suppose -w - 22 = -d. Does 12 divide d?
False
Suppose 1 = 5*n + 6. Let u(x) = 48*x**2 - 3*x - 3. Is 16 a factor of u(n)?
True
Let c = 2 - -2. Suppose 0*q - c*q = 116. Let v = q + 57. Is 6 a factor of v?
False
Let s = -2498 + 4200. Does 46 divide s?
Tr