s 141 divide ((-3078)/(-4))/57*(-8324)/(-6)?
False
Let s be 36/(-66) - (-282)/33. Suppose s*d - 71 - 1145 = 0. Is d a multiple of 6?
False
Let q = 310 - 308. Suppose -4*a - q*a + 2394 = 0. Is a a multiple of 22?
False
Suppose a = -14*x + 11568, 0 = -26*x + 28*x - 8. Does 108 divide a?
False
Suppose 15*v - 20*v - 2243 = -4*g, 0 = 3*g + 5*v - 1691. Does 2 divide g?
True
Suppose -125077 + 34299 = -5*u + 3*n, -3*n = 5*u - 90772. Is 15 a factor of u?
False
Let t(o) = -26788*o**3 - 12*o**2 - 1. Does 35 divide t(-1)?
True
Is 53860/3 + -26 + (-1992)/(-72) a multiple of 95?
True
Let w = 29 + -61. Let g = w - -43. Suppose -g = -3*r - 4*q + 85, 0 = q. Does 4 divide r?
True
Suppose 3*y - 2*g = 46, 5*y = -g + 73 + 21. Suppose 8*h + 4310 = y*h. Is h a multiple of 14?
False
Suppose 1815 = 3*n - 5*x, -n + 4*n - x = 1827. Suppose -7*f = -2*f - 4*s - 637, -5*s = 5*f - n. Is 30 a factor of f?
False
Suppose -r = -4*a - 143, 5*r - r + 4 = 0. Let n be (96/(-36))/(1/a). Suppose -4*p + n = -0*p. Does 7 divide p?
False
Suppose 0 = 5*v - 3*b - 652, -v + 6*v = 4*b + 656. Suppose 0 = 4*m - 628 - v. Does 27 divide m?
True
Let b = 461 - 456. Suppose b*w = 571 + 779. Is 25 a factor of w?
False
Suppose -18*q - 44 = -22*q. Suppose q*x + 1482 = 8*x. Let s = -212 - x. Is 53 a factor of s?
False
Let h(w) = -7*w**3 - 12*w**2 - 227*w + 22. Is h(-10) a multiple of 14?
True
Is 7899 - (-3 + -2 - 3 - -11) a multiple of 8?
True
Suppose -2*t + 0 = -38. Suppose 5*u = c - t, -3*c + 10 = c + 2*u. Suppose -4*k - 4*v + 596 = 0, -3*v = c*k - 976 + 381. Does 37 divide k?
True
Let j = -13 - -16. Suppose 2*s + j*s = 3*v - 15, 0 = -5*s. Suppose -12*l + v*l + 1120 = 0. Is 16 a factor of l?
True
Let o = -39 - -60. Let r be o/14 + (-6)/4. Is 16 a factor of r/(-1) - 4 - -36?
True
Is 11 a factor of (-39)/52 - -2*(-4462)/(-16)?
False
Let m(t) be the third derivative of -t**4/24 + 182*t**3/3 - 22*t**2. Does 28 divide m(0)?
True
Let k be ((-247)/39)/(1/7)*-12. Is (-13)/((-26)/8) + k/1 a multiple of 25?
False
Suppose -13 = -5*w - 2*j - j, -2*j = -3*w + 23. Let r(n) = -4*n + 3*n - 12 - 3*n + 2*n**2. Is r(w) a multiple of 6?
True
Let u(j) = -j**3 - 17*j**2 + 38*j + 4. Let x be u(-19). Suppose 0 = 2*t, x*p - 452 = -5*t - 140. Is 39 a factor of p?
True
Let b(s) = -s**3 - 3*s**2 - s - 1. Let m(z) = z + 1. Let u be m(-4). Let v be b(u). Suppose -2*r - 4*f + 64 = 0, -5*f = -v*r + 6*r - 116. Is r a multiple of 12?
True
Let u = -9568 - -16177. Is 33 a factor of u?
False
Let i be 9/15 - 143/5. Let r = i + 31. Suppose 0 = -r*a - 3*m + 213, -2*a + 152 = -3*m + 7*m. Is 22 a factor of a?
True
Suppose 4*g = 5*u - 23, -4*u + 7 = -2*g - 9. Suppose 375 = 3*p - 3*f, 3*f = u*p + f - 379. Is p a multiple of 13?
False
Let z = 509 + 0. Let g = z + -187. Does 46 divide g?
True
Let l(n) = -9*n + 16. Let h be l(6). Let f = h - -46. Is (-4194)/(-72) - 2/f a multiple of 35?
False
Let m = 7460 - 6088. Is 14 a factor of m?
True
Suppose -39*t = -38*t - 3. Suppose -l + 62 = 4*a, -346 = -5*l + a - t*a. Suppose -5*w - v = -387, l = -5*w + v + 463. Is 6 a factor of w?
True
Let n(v) = v**2 + 14*v + 13. Let k be n(-13). Suppose k = 8*b - 184 - 960. Let o = 293 - b. Does 30 divide o?
True
Let b(w) be the first derivative of 139*w**2/2 - 14*w + 48. Is 13 a factor of b(3)?
True
Let y = -7 + 13. Let x = -6 - -346. Suppose 10*c - x = y*c. Is 8 a factor of c?
False
Suppose 13*w = 5*w. Suppose w = -2*g - 126 + 156. Does 15 divide g?
True
Is 98 a factor of 3 + (-2 - 9 - (-35804 - -7))?
False
Let d(x) = x**3 + 7*x**2 + 4*x + 12. Let u be d(-5). Let j be u/9 + (-5)/(-15). Suppose -410 = -j*h - 160. Is h a multiple of 5?
True
Let l = 119 - 113. Let q be 620/l - -1 - (-12)/(-36). Is 20 a factor of ((-15)/2)/((-13)/q)?
True
Let y be -602 - -12 - (2 - 0). Let p = -216 - y. Is 58 a factor of p?
False
Let j = 871 - -2913. Does 12 divide j?
False
Is -5 + (-970)/(-190) - (-6192)/19 a multiple of 34?
False
Let y(i) = 540*i**2 - 10*i + 11. Is 2 a factor of y(1)?
False
Suppose 3*k + 5*i - 2 = 0, -4*k + i = 5*i - 8. Is 2 a factor of -1 + (1 - -1)*k?
False
Suppose -70 = 19*f - 33*f. Suppose -18*h + 17*h + f*o = -184, 4*o = -3*h + 571. Is h a multiple of 21?
True
Let z(f) be the second derivative of 17*f**3/6 - 5*f**2 + 5*f - 10. Does 14 divide z(36)?
True
Let z be (12/(-18))/(3/(-9)). Let j be -4 + z/11 + (-582)/(-66). Suppose -369 = -j*q + 291. Is q a multiple of 7?
False
Suppose -5*n - 2*z = -81758, 5*z = n - 15307 - 1050. Does 7 divide n?
True
Let z = 99 + -331. Let u = z + 274. Is u a multiple of 4?
False
Suppose -17*i + 8*i = -12096. Is 32 a factor of i?
True
Let o(f) = -f**2 + 69*f - 148. Is 12 a factor of o(55)?
False
Suppose -10*l + 2*x = -5*l - 23, -x = -1. Suppose s + 4*c = -0*c + 81, -l*c = -s + 108. Is s a multiple of 31?
True
Let d = 86 + -90. Let j be (-558)/(-15) - d/(-80)*4. Let i = -17 + j. Is i a multiple of 3?
False
Suppose 3060 = 3*a - 2*s - 2874, a - s = 1977. Is a a multiple of 165?
True
Let q(i) = -4*i**3 + i**2 - 1. Suppose 0 = g + 5, 0 = -2*a + 5*g + 8 + 15. Let h be q(a). Suppose -h*y = -7*y + 234. Does 13 divide y?
True
Let s = 4 - -35. Suppose b + s = w - 6*w, b = 4*w + 33. Let i(q) = -q + 10. Is 6 a factor of i(w)?
True
Let v be ((-12)/54 + (-1)/36)*44. Does 16 divide (7842/(-9))/(v/(66/4))?
False
Let o(y) = -9*y**2 + 6*y - 3. Let a(c) = c**2 - c + 1. Let m(i) = 4*a(i) + o(i). Let x be m(-1). Let r(k) = -29*k - 22. Does 37 divide r(x)?
False
Let r(k) = k**3 + 7*k**2 + k + 8. Let d be r(-7). Suppose -118 + d = -9*z. Suppose 0 = -9*b + z*b - 336. Does 28 divide b?
True
Suppose -w + 97 - 29 = 0. Suppose -h + 4*s = -52, -h - 5*s = -s - w. Suppose -5*l = -n - h, 4*l + 13 = -4*n + 61. Is l even?
True
Suppose -1043 = -g - 350. Suppose -4*r + g + 771 = 0. Is r a multiple of 6?
True
Does 9 divide (-12 - 6)/(3*(-16)/10440)?
True
Suppose -w - 2*w = 5*w. Let n(x) = -4*x - x**3 + 8 + w*x**3 - 3 - 3*x + 11*x**2. Does 17 divide n(6)?
False
Let x(q) = 63*q + 2467. Is x(16) a multiple of 5?
True
Suppose 0*m + 4*o = 3*m - 1226, 0 = -5*m + o + 2066. Suppose t + 2*w = 142, -139 = 2*t + w - m. Is t a multiple of 26?
False
Suppose -199*a = -524*a + 820950. Does 3 divide a?
True
Let b = 10 - 5. Let s be b/(-10)*6 - 16. Let q = -15 - s. Is 2 a factor of q?
True
Let y(x) = 4*x**2 - 5*x - 5. Let s be y(-2). Suppose 6*v = s + 147. Does 7 divide v?
True
Let t = 809 - 801. Let v be (-4)/(-1) + 2/2. Suppose i = v*i - t, 4*i + 432 = 2*n. Is 11 a factor of n?
True
Let l(q) = 12400*q**3 - 47*q**2 + 47*q + 2. Does 106 divide l(1)?
True
Is 45 a factor of 10352 - (7 - 8)/(-2)*4?
True
Suppose -1006*v + 14598 = -997*v. Is v a multiple of 4?
False
Suppose 0 = -5*w + m + 18662, -4*m = -3*w - m + 11190. Is 34 a factor of w?
False
Does 10 divide (571 + -65)*39/6?
False
Suppose -c + 5*c = 16, -c = -5*p - 9. Let t(w) = 83*w**2 - w. Is t(p) a multiple of 16?
False
Let g = 3742 + -3413. Does 7 divide g?
True
Let p(s) = -10*s - 14. Let v be p(-4). Let g = v - 24. Suppose -g*c + w - 16 = -107, 260 = 5*c + 4*w. Is c a multiple of 10?
False
Suppose -8733*d + 8737*d - 15796 = 0. Is d a multiple of 24?
False
Let a(u) = -37*u**3 + u**2 + 5*u - 9. Is 24 a factor of a(-3)?
True
Let x(w) = -23*w - 7. Let m be x(6). Let q = m + 230. Suppose -q = -4*s + 359. Is s a multiple of 11?
False
Let o(h) = h**3 + h - 113. Let k(b) = b**3 + 5*b**2 - 3*b - 15. Let a be k(-5). Let u be o(a). Let m = 241 + u. Is 32 a factor of m?
True
Let l(r) be the first derivative of 4*r**3/3 + r**2/2 - 4*r + 6. Let u be l(-3). Suppose 4*a - 3*a + 3*c - u = 0, 4*c - 28 = -a. Is 16 a factor of a?
True
Let k = 33559 - 24787. Is k a multiple of 102?
True
Suppose -20*o + 25*o = 75. Let q(b) = 3*b - 11. Is 6 a factor of q(o)?
False
Let q = -285 - -257. Let k = 510 + q. Does 16 divide k?
False
Let c = 111904 - 52957. Is c a multiple of 128?
False
Let g be 198/495 + (-7536)/(-10). Suppose -2*h + g = -3*p, -3*p - 1 = 5. Is h a multiple of 11?
True
Suppose v = -4*y + 1953, -2*y - 979 = -4*y - v. Let q = y - 137. Does 25 divide q?
True
Suppose -2*p - 38*m = -33*m - 618, -4*m + 306 = p. Suppose -650 = -324*i + p*i. Is 13 a factor of i?
True
Let p = -10 + 10. Let c(v) = 19*v**3 - 6*v**2 + 6*v + 23. Let o(a) = -4*a**3 + a**2 - a + 1. Let k(j) = c(j) + 5*o(j). Is k(p) a multiple of 2?
True
Let k(u) = 22*u**2 - 10*u - 7. Let n(h