f x/(-3)*y/(-16)?
False
Let v be (-40)/(-8 + 4)*-8. Is 7 a factor of ((-448)/v)/((-2)/(-5))?
True
Suppose 0 = 3*l - 5*l - 92. Let i = -16 - l. Is 15 a factor of i?
True
Let s = 643 - 249. Is s a multiple of 26?
False
Let a(g) = -g**3 + 13*g**2 - 5*g - 31. Is a(12) a multiple of 6?
False
Suppose -14*w = -15*w - 8. Let v(u) = -4*u + 39. Does 11 divide v(w)?
False
Suppose q = -4*t + 54, -q = -2*t - t - 33. Is 8 a factor of 2 - 2 - (0 - q)?
False
Suppose -2*k - 2*w + 22 = 2*w, 23 = 4*k + w. Suppose -j + 55 = -k*x, -3*j + 7*j - 176 = -2*x. Is j a multiple of 45?
True
Let v = 1 - 3. Let n(b) = -126*b. Let f be n(v). Suppose 5*q - f + 72 = 0. Does 30 divide q?
False
Let g(d) be the first derivative of 9*d**4/4 - d**2/2 + 2*d + 35. Is g(1) a multiple of 10?
True
Let o = -58 + 65. Does 4 divide o/((-14)/(-64)) - 3?
False
Suppose -64 = 11*y - 86. Let f(o) = 5*o**2 - 2*o + 1. Let m be f(1). Suppose m*a = -5*t + 150, -6 = -y*t - 2. Does 14 divide a?
False
Suppose 2*q + 4*l - 190 = 0, 4*q - 2*l = -3*l + 415. Is q a multiple of 2?
False
Is 11 a factor of (-3 + 11)/((-3)/44)*-3?
True
Let r = 2196 - 236. Does 14 divide r?
True
Suppose 7*b + 3 = 24. Suppose 5*s = -b*n + 168, -s + 0*s + 2*n + 44 = 0. Is 16 a factor of s?
False
Let z(y) be the third derivative of y**5/60 + 13*y**4/24 - 2*y**3 - y**2. Let v be z(-14). Suppose v*d - 108 = -4. Is d a multiple of 11?
False
Let o be (-32)/(-8) + -3 + -1. Suppose -2*b = 5*q + 2*b - 111, q - 2*b - 25 = o. Is 3 a factor of q?
False
Suppose -35*b + 8314 = -4286. Does 20 divide b?
True
Let w be 105/15*8/14. Let x be 99 + (-16)/w + 7. Suppose 0 = -2*u + 6, -4*k - u + x = -k. Is 5 a factor of k?
False
Let d(f) = f**2 + 3*f - 6. Let z be d(-6). Let h(u) = -u**3 + 14*u**2 - 16*u - 13. Is h(z) a multiple of 11?
False
Suppose 17*a - 13*a = s + 3720, 4*a + 3*s - 3736 = 0. Is a a multiple of 53?
False
Let r = 2477 - 964. Is r a multiple of 17?
True
Let c(d) = -17*d - 1. Let b be c(-1). Let u(f) = 5*f - 35. Let y be u(b). Suppose -17 = -0*p - p + q, 0 = -3*p - 3*q + y. Is p a multiple of 4?
True
Let r = 570 - 52. Does 74 divide r?
True
Let c be 7 - 7 - 5*-3. Let t = c - 7. Let s = t + 4. Is s a multiple of 4?
True
Suppose 5*i + g = -1, 0 = -2*i + i + 2*g + 2. Is 11 a factor of (4 + 0)/(i + (-1)/(-22))?
True
Let j = -28 + 24. Is 19 a factor of (j/6)/(14/(-1197))?
True
Let l = 13 + -9. Let c = -19 + 35. Suppose -28 - c = -l*b. Does 3 divide b?
False
Let c(o) = o + 0*o + 20*o**2 + 1 + 9*o**2. Let w be c(-1). Suppose 4*z - 105 = -w. Does 19 divide z?
True
Suppose 1145 = q - j, j = -0*j + 3. Is 50 a factor of q?
False
Suppose 20*s - 2*r - 43 = 17*s, s - 4*r = 21. Is 2 a factor of s?
False
Let k = -46 + 28. Let b = -13 - k. Suppose 5*c + 3*l - 196 = 0, -2*c + b*l = -3*c + 48. Does 22 divide c?
False
Let z(f) = 22*f - 37. Is 25 a factor of z(14)?
False
Let w(s) = -s**3 - 3*s**2 + 8*s + 14. Let c be w(-4). Is 10 a factor of (128/(-20))/(c/5)?
False
Suppose 0 = -4*x - 12, 4*u - 1385 = -2*x + 4713. Is u a multiple of 14?
True
Let r(u) = u**3 - 13*u**2 + 4*u - 12. Let n be r(13). Let s = -40 + 25. Let f = n + s. Does 12 divide f?
False
Let a = 47 + 439. Is 81 a factor of a?
True
Suppose 4*z = 4*a, 4*z - 3*a = -4 + 9. Suppose 0 = i + 4*n - 91, -z*n = -6*i + 7*i - 92. Is 20 a factor of i?
False
Suppose z + 8 = -2*a - 3*z, -3*a = 2*z - 8. Let m = a + -6. Does 30 divide (-1 - (m - 0)) + 31?
True
Suppose 0 = -0*m + 5*m + 65. Let d(c) be the third derivative of -c**5/60 - 5*c**4/8 - 3*c**3/2 - 154*c**2. Is 4 a factor of d(m)?
False
Let s(f) = 2*f**3 - f**2 - 19*f + 14. Does 14 divide s(7)?
True
Let v = -9 + 9. Suppose 12*s - 13*s + 7 = v. Suppose -2*r + 2*u = -s*r + 87, -80 = -5*r + 5*u. Does 4 divide r?
False
Let r = -1147 + 1228. Does 3 divide r?
True
Suppose 2*w = -0*a - a + 3, 2*a + w - 15 = 0. Suppose 7*m - a*m = -6. Suppose m*b + 2*z - 31 = 3*z, -2*z + 48 = 4*b. Is 3 a factor of b?
False
Let f(b) = 218*b - 21. Does 20 divide f(2)?
False
Suppose h + 308 = -s + 988, 2046 = 3*h - 3*s. Does 8 divide h?
False
Let b = 36 + -51. Let o(q) = q**3 + 17*q**2 + 27*q + 3. Is 4 a factor of o(b)?
True
Let j be (2/9 - 18/81)/(-1). Suppose -5*z + 10 = -f - 8, -3*f + 6 = -3*z. Suppose j = -s + f + 6. Is s a multiple of 3?
False
Let r be 11*(21/12 + 1/4). Suppose -4*d + 602 = -r. Does 45 divide d?
False
Suppose -2*s - 5*x + 3271 = 0, 0 = 6*x - 2*x + 4. Is 39 a factor of s?
True
Let h = -24 + 58. Let w = h + -18. Does 16 divide w?
True
Suppose -147*l + 155*l = 9664. Does 24 divide l?
False
Let m(k) = -k**2 - 9*k + 12. Let b be m(-10). Suppose 0 = 3*s + 2*s + 4*g - 42, g = -b. Does 10 divide s?
True
Let c = 1459 - 737. Is 19 a factor of c?
True
Suppose 0 = -13*x + 358 + 253. Is 47 a factor of x?
True
Suppose -10*c - 60 = -5*c. Let l be (-9)/c*12/(-3). Is 14 a factor of (-7)/(75/(-24) - l)?
True
Let a(q) = -q**3 + 9*q**2 + 18*q - 7. Is 18 a factor of a(7)?
False
Let c(s) be the third derivative of -7*s**4/24 + s**3/3 + 4*s**2. Let k be c(3). Let h = k - -24. Is h a multiple of 5?
True
Suppose 15 = -2*w + f - 6*f, 0 = 2*f - 10. Let y(v) = -v**2 - 22*v - 21. Is 19 a factor of y(w)?
True
Let d = 213 + -69. Is 18 a factor of d?
True
Suppose -4*p + 2034 = -a - 180, -5*a = -5*p + 2775. Is 13 a factor of p?
False
Suppose 5*n - 405 = -5*r, 2*n + 0 = 2. Suppose 0*l + 4*l - r = 0. Is 6 a factor of l?
False
Suppose 265 = -v - 432. Let p = -412 - v. Suppose 5*z = p + 35. Does 12 divide z?
False
Let c = -4 + 6. Suppose c*b = 4*b + 10. Does 6 divide 4/b - 1485/(-75)?
False
Does 3 divide 26642/119 - 20/(-170)?
False
Is 15/(-25) + 21030/50 a multiple of 21?
True
Suppose 4*y - 392 = 4*h, -478 = -4*y - y + 2*h. Suppose j - 3*d - 35 = 0, -y = -3*j - d - d. Suppose -j = -3*x - 8. Does 8 divide x?
True
Let s = -45 + 31. Let v be (-352)/(-28) - 6/s. Suppose -v = w - 55. Does 14 divide w?
True
Let s(i) = i**3 - 8*i**2 - 8*i + 1. Let a be s(9). Does 10 divide 942/a + -1 + (-52)/(-65)?
False
Suppose -5*d - 302 = -c, -d - 576 = -2*c - 5*d. Is c a multiple of 13?
False
Let s(i) = i - 3. Let w be s(5). Suppose -3*d - 3*b + 186 = 0, b - 122 = -3*d + d. Suppose d = -f + w*f. Does 10 divide f?
True
Suppose 72 = -15*g + 477. Does 9 divide g?
True
Let l = 112 + -264. Let k be -105 - ((-2)/2)/(-1). Let v = k - l. Is 9 a factor of v?
False
Let t = -102 - -382. Is t a multiple of 5?
True
Let d = 2674 - 1465. Does 7 divide d?
False
Suppose 0 = -q + 2*u + 5, -6*q - 4*u - 45 = -q. Let h(r) = -r**3 - 3*r**2 - 4*r + 3. Let v be h(q). Suppose -19 + v = k. Is 19 a factor of k?
False
Let u(r) = 2*r**2 - 27*r - 22. Let h be u(14). Does 14 divide 2108/10 - (h + (-88)/(-10))?
True
Suppose -67*n + 9521 = -31349. Is n a multiple of 8?
False
Let k(u) = u - 1. Let w be k(-1). Let a be (-5 + 5)/(w/(-1)). Suppose q - 30 + 0 = a. Does 10 divide q?
True
Let a = 172 + -170. Suppose 5*x = a*x + 342. Does 8 divide x?
False
Is (0 - -257) + (-56)/8 a multiple of 5?
True
Suppose -z - 1 = -0*z. Let h be -5 + 9 + z*1. Is -9*(2/h - 2) a multiple of 7?
False
Let u(m) = 21*m**2 + 4*m - 5. Let x(l) = -l**2 - 13*l + 6. Let g be x(-13). Let v(r) = r - 4. Let z be v(g). Does 29 divide u(z)?
True
Let x(z) = z + 10. Let y be x(-7). Suppose -y*h = 5*b + 67 - 591, 5*b = 5*h + 500. Is b a multiple of 25?
False
Suppose 0 = -5*o - 2*l + 212, -2*o + l + 88 = -4. Is 5 a factor of 2/(-28)*4 + o/7?
False
Let c = 0 - -2. Suppose -c*g + 10 = -180. Suppose 5*p = -j + 110, p - g = -4*p - 4*j. Is p a multiple of 7?
False
Let t be ((-35)/(-10))/((-2)/(-4)). Suppose -t*z + 2*z = 35. Let s(f) = -4*f - 9. Is 8 a factor of s(z)?
False
Suppose -2*r = -19 + 13. Suppose -2*m + 3*m - 15 = 5*n, -4*n = -r*m + 1. Does 7 divide 1 + n + 34 + 1?
False
Let x(l) = 132*l**2 + 6*l. Does 13 divide x(1)?
False
Let j(m) = -9*m + 152. Does 4 divide j(8)?
True
Does 24 divide (-1 + -1)*5/(50/(-8255))?
False
Let y be (-168)/(-36) - (-1)/3. Suppose -y*r - 2*x = -293, r - 9 = 2*x + 40. Is r a multiple of 20?
False
Let p(v) be the third derivative of -v**5/40 + v**4/12 - v**3/6 + 6*v**2. Let q(t) be the first derivative of p(t). Is q(-6) a multiple of 5?
True
Suppose -3*y = -3*q, -2*y = -5*y + 3. Let k be (-5 - -4)/(q/13). Let w(n) = -3*n + 13. Is 11 a factor of w(k)?
False
Let d be (-6)/(-4) + (-1)/(-2). Suppose 2*a = 8, 2*t + 2*a + 130 = -d*a. Is 12 a factor of (-26)/(