ctor of z?
True
Let p(q) = -48*q - 41. Let d be p(-17). Let v = -722 + d. Does 2 divide v?
False
Suppose 24*x = -10*x - 11*x + 491445. Is x a multiple of 34?
False
Suppose -51*u + 29425 + 52736 = 0. Is u a multiple of 5?
False
Let v be (-15584)/(-48)*3/(0 + 1). Suppose -174 + v = 2*h. Is 20 a factor of h?
True
Suppose 156 = -56*y + 52*y. Does 40 divide y/(-26) - (-5450)/4?
False
Let o = 46375 - 28444. Is 43 a factor of o?
True
Let o(h) = 43*h**2 - 34*h - 311. Does 11 divide o(-10)?
False
Suppose h = -a - 83, -3*h + h - 5*a = 157. Let u = h + 174. Suppose -155 = -3*g + u. Is g a multiple of 27?
True
Let y = 14814 - 14631. Does 61 divide y?
True
Let a = 13496 - 9665. Is 37 a factor of a?
False
Suppose 3*z + 64 = -0*m - 2*m, -4*m - 110 = 5*z. Let p(l) = -l**2 - 18*l + 24. Let n be p(z). Suppose 27*i - 480 = n*i. Is i a multiple of 40?
True
Suppose -2*s - s = 3*p - 49599, -p = -3. Is 87 a factor of s?
True
Let h be (-10)/4*(-28 + 26). Suppose 96 + 56 = 2*c + 5*j, -h*j = -2*c + 192. Is c a multiple of 43?
True
Suppose -4*v = 12, -47*h = -50*h + 5*v + 1917. Does 2 divide h?
True
Let t(g) = -2*g**3 - 14*g**2 + 50*g + 328. Is 135 a factor of t(-17)?
False
Let j be 8/12*12/2. Suppose 6*i - j*i = 6. Suppose -173 = -3*n - y, 3*n - i*y = -0*n + 165. Does 33 divide n?
False
Suppose 4*l + 556 = -4*b, 2*l - 4*b + 172 = -112. Is 5 a factor of 18*(-5 - (2 - l/(-8)))?
False
Let i(n) = n + 1. Let b(c) = 2*c**3 - 5*c**2 - 9*c + 8. Let q(u) = b(u) + 3*i(u). Does 21 divide q(6)?
False
Suppose 4*u = -3*q - 106, -5*u - 90 = -u - 5*q. Is 20 a factor of ((-4135)/u)/((-1)/(-5))?
False
Let c(l) = 7*l**3 - 37*l**2 - 12*l - 49. Let a(d) = -4*d**3 + 20*d**2 + 6*d + 25. Let x(w) = -5*a(w) - 3*c(w). Suppose 3*q = 5*q - 22. Is x(q) a multiple of 27?
False
Suppose 18*h - 30 = 3*h. Suppose h*a + 2*o - 1814 = 0, 2*a - 5*o = -2*o + 1814. Does 43 divide a?
False
Suppose -43*b + 21*b = -88. Suppose -b*m = g - 206, -2*g - 3*m + 38 + 359 = 0. Does 7 divide g?
False
Let d(l) = -1020*l - 2358. Is 46 a factor of d(-25)?
False
Let x = 17648 + -8779. Is 3 a factor of x?
False
Let i(h) = -7*h - 8. Let g be i(-2). Suppose -2 - 22 = g*z. Is (-4 - z - -1)/(2/110) a multiple of 11?
True
Let p(u) = 21*u**2 + 188*u - 2164. Is 51 a factor of p(20)?
True
Is (4845/(-4))/((-69)/184) a multiple of 32?
False
Suppose -18 = -5*u + 7. Suppose -5*g = -0*v + 3*v - 30, -2*v - 30 = -u*g. Let t = g - -24. Is t a multiple of 13?
False
Let a(p) = -p**3 + 15*p**2 + 59*p - 6. Let b = 969 + -951. Does 33 divide a(b)?
False
Let t = -54 - -59. Suppose -101 - 94 = t*a. Let g = a - -75. Is 9 a factor of g?
True
Let j = 23928 + 16170. Does 29 divide j?
False
Suppose 0*h - 13 = 4*h + 5*q, q = -5. Suppose 5*g + 87 = 4*n, h*g - 4 = 11. Is 4 a factor of n?
True
Suppose -5*k = -14 + 4. Suppose w - k*c + 7*c + 1 = 0, 26 = -5*w - 4*c. Let i = 43 + w. Is 11 a factor of i?
False
Suppose 0 = z - 3*w - 5 - 25, -4*w = -2*z + 54. Let f(c) = -22*c - 29 + 4*c**2 - 3*c**2 - 53 + 119. Does 8 divide f(z)?
True
Let g = -746 + 739. Is 54 a factor of 48/56 + (-10914)/g?
False
Suppose -3*w + 12015 = 657*k - 652*k, 4*k = -5*w + 20025. Is 45 a factor of w?
True
Let m(a) be the second derivative of -a**4/3 + 17*a**3/3 + 5*a**2 + 2*a + 18. Is m(8) a multiple of 6?
False
Let m be (-1 + (-6)/(-4))*(-4 - -4). Let j = 0 + m. Suppose -5*w + 110 = -j*w. Is 5 a factor of w?
False
Let j = 5404 + -4684. Is 9 a factor of j?
True
Suppose 0 = -7*x - 10 + 17. Let s be (2 + -2)/(-1) - (-2 - x). Suppose 14 = -s*n - 1, 259 = 2*u - 5*n. Does 9 divide u?
True
Let a = 1636 - 376. Suppose 120*r = 126*r - a. Does 14 divide r?
True
Let q = -4865 - -17861. Is 9 a factor of q?
True
Let s(d) be the third derivative of -d**5/60 - 7*d**4/12 - 11*d**3/6 - 3*d**2. Let z be s(-13). Suppose 0 = z*m + 2*m - 348. Is 19 a factor of m?
False
Let j(f) = 2*f**2 + 2*f + 6. Let h be j(9). Suppose 8*p - 1390 = h. Is p a multiple of 10?
False
Suppose -7*v + v + 156 = 0. Suppose 3*z = 3*i - 2*z - 79, 2*i + 2*z - v = 0. Suppose 0 = -21*k + i*k + 153. Is k a multiple of 8?
False
Suppose -16*d = -18*d + 6, -5*d = k - 21235. Does 68 divide k?
False
Suppose 10*f - 36*f + 31559 + 2891 = 0. Is 10 a factor of f?
False
Is 83 a factor of 5046072/334 - 4/2?
True
Suppose -3*t + 4 = k, 2*t - 2*k - 6 = -k. Suppose t*v = 4*m - 510, 436 = 4*m + v - 77. Does 14 divide m?
False
Suppose -2*l + 0*l + 10120 = 12*n, -n - 5060 = -l. Is 22 a factor of l?
True
Let x = -635 - -2284. Does 64 divide x?
False
Suppose 24*i = 5*i + 190. Suppose 2 = r, -2*k - i = -4*r - 162. Is 5 a factor of k?
True
Suppose g + 1822 = d, -601*g = -2*d - 604*g + 3619. Is 2 a factor of d?
False
Is ((-279)/4)/((-16)/((-96768)/(-81))) a multiple of 28?
True
Suppose 2*w + 28 = 38, -5*x + 2*w = -54620. Is 73 a factor of x?
False
Let h(j) = 8*j - 48. Let k(u) = 17*u - 95. Let p(i) = 9*h(i) - 4*k(i). Let l be p(12). Does 15 divide l/(-30) + (-20232)/(-135)?
True
Let o = 54 - 49. Suppose -460 = -4*i + o*w, 0*i - 5*w - 220 = -2*i. Is 8 a factor of i?
True
Suppose -4*k + 23 = -3*r, 2*k + 2*r + 8 - 2 = 0. Suppose w = 3*p - 252, -23*w + 28*w = 2*p - 1208. Is (0 + 2)/(-4*k/w) a multiple of 12?
True
Suppose -22*y + 826262 = 236676 - 186134. Is y a multiple of 172?
True
Let c = 90 - -901. Let l = 1671 - c. Is l a multiple of 20?
True
Let g = 9 + -6. Suppose -4*m + 6*m = 3*u + 18, 3*u = g*m - 21. Suppose 0 = 3*x + t - 60, -72 = 2*x - 5*x + m*t. Does 3 divide x?
True
Let l(b) = -32*b + 2. Let w be l(0). Suppose -4*t + 2*j + 187 = -251, -w*t + 224 = 4*j. Does 22 divide t?
True
Suppose -12*q + 14 = -19*q. Does 4 divide (428 - -2)/5 + 8 + q?
True
Let w be (-13290)/(-4) - 18/36 - -2. Is 13 a factor of w/26 - (24/(-78))/2?
False
Is 118 a factor of 4/8*(-5 + 4253)?
True
Let l(s) = -s**2 - s + 2. Let r(t) = t + 16. Let o(q) = -6*l(q) + 6*r(q). Is o(-6) a multiple of 25?
False
Let n(f) = f**3 - 19*f**2 + 9*f + 31. Let o(x) = 2*x**3 - 37*x**2 + 17*x + 60. Let r(h) = -11*n(h) + 6*o(h). Is r(13) a multiple of 4?
False
Is -4*(-60)/(-10)*(1 - (-1100)/(-12)) a multiple of 34?
True
Suppose -13*x + 2169 = 18549. Is 39 a factor of ((-24)/(-5))/((-14)/x)?
False
Let s(g) = 3*g**2 - 11*g + 7. Does 46 divide s(-30)?
False
Let z(y) = 71*y + 3901. Does 83 divide z(0)?
True
Is 23 a factor of (-124 - -9)/(2/(-194))?
True
Suppose 0 = 3*t - t - 5*h + 5, 5*t = -4*h + 4. Suppose -4*c = -f + 207, 4*f + 4*c - 7*c - 867 = t. Is f a multiple of 4?
False
Let u = 32 - 18. Suppose -3*j = 4*w - 280, w - 56 - u = 4*j. Suppose w = 5*p - 125. Is p a multiple of 13?
True
Let y(s) = 421*s + 1912. Is y(29) a multiple of 67?
False
Let b(s) = 7*s + 27. Let p(c) = -3*c - 13. Let o(z) = 4*b(z) + 9*p(z). Let h be o(11). Is 8 a factor of ((-1 - h) + -16)/(-1)?
False
Let u = 5267 + -1074. Is u a multiple of 10?
False
Suppose -y = -4, -b - y + 740 = 2*y. Suppose -l + 220 = 2*g - 7*g, -3*l - 2*g = -b. Let p = l - 114. Does 21 divide p?
True
Let r(l) = 19*l - 102. Let q(f) = f**3 - f**2 + 3. Let w be q(3). Is r(w) a multiple of 4?
False
Suppose 0*h + 575 = 23*h. Is (-36)/45 - (-4620)/h a multiple of 23?
True
Let y = 58 - 56. Suppose -y*f = -4*o - 66, -f = -5*f - 2*o + 182. Suppose -295 + f = -3*l. Is 14 a factor of l?
True
Let h be (2 + 99)*208/16. Suppose 1591 + h = 11*z. Is z a multiple of 41?
False
Suppose 17*d - 13571 - 14973 = -1072. Does 8 divide d?
True
Let x(b) = -b**3 - 16*b**2 - 26*b + 21. Let t be x(-14). Let a(q) = -17*q - 62. Does 7 divide a(t)?
False
Suppose 3*u - 1324 = -4*x, -2*u - 656 = -2*x - 5*u. Suppose 5*k + y = 2539 - x, 0 = 3*k - 3*y - 1323. Does 49 divide k?
True
Let p = -9306 - -11944. Is 36 a factor of p?
False
Let p = -32 + 93. Suppose 3*n = -z + 230 - 57, -n + 3*z + p = 0. Suppose 4*h - n = -2*g, -h - 1 - 12 = -5*g. Is h a multiple of 5?
False
Suppose 5*j - 3268 = 1807. Suppose 0 = 9*z - 1982 - j. Is z a multiple of 6?
False
Let l(m) = 7*m + 10. Let h be l(-1). Let a(k) = 14*k**2 + 5*k. Is 4 a factor of a(h)?
False
Let o(p) = -2*p**3 - 7*p**2 + 4*p + 5. Let i be o(-4). Suppose -i*s + 529 = -21. Suppose -5*x + x = -3*y - s, y + 85 = 3*x. Is 2 a factor of x?
False
Let r be (2/(-10))/(((-1)/(-1))/(-5)). Suppose 0 = 2*z + r - 5. Suppose 3*v = 15, v + 4*v + 23 = z*w. Is w a multiple of 6?
True
Let y be ((-3)/(-2))/(3/(-16)). Let w = y + -11. Let c = w - -38. Is c a multiple of