rivative of 0*q + 0*q**4 + 0*q**5 + 1/120*q**6 + 0 - q**2 + 85/6*q**3. Is z(0) a multiple of 24?
False
Suppose -4*o - 71 - 11 = -5*c, c + 2*o - 8 = 0. Suppose -5*g + c + 5 = h, 4*h - 5*g = 1. Let j(i) = 16*i + 8. Is j(h) a multiple of 24?
True
Suppose 9*u = 63914 - 24386. Is u a multiple of 61?
True
Let q = -30 + 32. Suppose -3*v = q*v - 50. Is 10 a factor of v?
True
Let z(h) = h**2 + 9*h + 17. Let g be z(-7). Suppose -g*l + 2 = -1, -4*a + 2*l + 142 = 0. Is a a multiple of 12?
True
Is 63/(-5)*7400/(-222) a multiple of 5?
True
Suppose 5*j - o - 23 = 0, 2*j - 5 = -o - 0*o. Let p be 1/8*446 - 3/(-12). Suppose p = 4*c - j. Is c a multiple of 5?
True
Let y be ((1 - 0) + -9)*1. Let z(h) = -6 + 0 - h + 1 - 1. Is z(y) a multiple of 2?
True
Suppose s + 674 = 4*c - 2*s, 2*c - 338 = s. Let g = c + -75. Suppose -4*n + 73 = -g. Is 9 a factor of n?
False
Suppose -5*k + 2*b = -11, 0*k - 5 = -k - b. Let j be 5*13 - (-3 - -5). Let q = k + j. Is q a multiple of 22?
True
Is 6/3*(53 + (1 - 2)) a multiple of 13?
True
Let l(i) = -4*i**3 + 14*i**2 - 22. Let u(f) be the first derivative of -f**4/4 + 5*f**3/3 - 7*f - 2. Let z(v) = -2*l(v) + 7*u(v). Is 13 a factor of z(-5)?
False
Let d = 44 + -23. Suppose -d - 19 = -5*p. Suppose 11 = 2*l - s, -3*s - p = -2*l - 3. Is l a multiple of 7?
True
Suppose -9*p = 13 - 193. Is p a multiple of 4?
True
Does 70 divide 10/(-95) - 610524/(-513)?
True
Let g = 187 - -38. Is 45 a factor of g?
True
Suppose -5*y = -2*v + 30, 8*y = 10*y + 8. Suppose v*q - 168 = 192. Is 36 a factor of q?
True
Let m(d) = -4*d**2 - 3*d + 1. Let a be m(-3). Let b be (a/8)/((-3)/12). Let q = b - 9. Is 4 a factor of q?
True
Let h(i) = 159*i - 1. Let c be h(-2). Let y = -223 - c. Suppose 2*a = 6*a - y. Does 5 divide a?
False
Suppose -3*v + 13 = -5*n, -3*v - v + 6 = -n. Let t be (-18)/((-9)/96*n). Let o = t + 159. Is o a multiple of 15?
False
Let o = 134 + 13. Is 12 a factor of o?
False
Let k(g) be the second derivative of -g**7/420 - g**6/360 + g**5/60 + g**4/12 - g**3/3 + 6*g. Let o(b) be the second derivative of k(b). Is 7 a factor of o(-3)?
False
Let w(p) = -p - 4. Let y be w(8). Let u = y - -18. Suppose -u*n = -2*n - 56. Is n a multiple of 3?
False
Let g(p) = 11*p - 83. Does 5 divide g(19)?
False
Let w be 3 + 1 + (-48)/4. Is 10 a factor of 37/(w/(-2) - 3)?
False
Suppose -r = -1675 + 256. Does 6 divide r?
False
Let l = 3 - 0. Suppose 75 = 4*u - l*d, 4*d + 16 = -4. Is 2 a factor of u?
False
Suppose 5*b + 2*z - 45 = 7*z, 4*b - 33 = 3*z. Is b*(-2 + 4/3) - -143 a multiple of 17?
False
Let n = 45 - 36. Is n/15*5 + 72 a multiple of 15?
True
Suppose 22*y + 378 = 2578. Suppose 57 - 287 = -v. Suppose -6*z + v + y = 0. Does 11 divide z?
True
Does 11 divide 815 - 3/(30/50)?
False
Let i = 392 + -596. Let z be (-2)/(((-8)/(-2))/i). Suppose 0 = 2*o + 4*o - z. Is 9 a factor of o?
False
Suppose 3*j - 4*t = -46, -t - 28 = 4*j + 46. Is 48/j*((-22)/4 + 1) a multiple of 12?
True
Let l = 24 + 37. Let t = l + -32. Is t a multiple of 10?
False
Let b(l) = 534*l + 14. Is b(1) a multiple of 73?
False
Let c(m) = -8*m + 10. Let x be c(5). Let q be 4/(-30) + 116/x. Does 5 divide 316/16 - 1/q?
True
Suppose 11 = 4*z - 9. Suppose 3*f + 3*t = -124 + 487, t - 589 = -z*f. Is f a multiple of 39?
True
Let g(l) = l**3 + 7*l**2 - 9*l - 6. Let j be g(-8). Let u = 72 - j. Is 5 a factor of u?
True
Is -6 + 3/(-7) + (-2796)/(-7) a multiple of 9?
False
Suppose -15*j + 3*j = -2616. Is 8 a factor of j?
False
Let j = 4 - -1. Suppose j*g - 3*g - 36 = 0. Is 9 a factor of g?
True
Let u = -91 + 93. Suppose 0 = -u*r - 13 + 45. Does 14 divide r?
False
Suppose 2*p - 2*w - 68 = 0, p - 92 = -2*p - 2*w. Suppose -o = -r - 63 - p, -175 = -2*o + 5*r. Is o a multiple of 25?
True
Suppose 9*y = 3028 - 1183. Does 5 divide y?
True
Let l be (4 - 2) + 9/9. Suppose -q + 5*o + 246 = 0, 5*q = l*o - 4*o + 1230. Does 17 divide q?
False
Suppose -c - 25 = -6*c. Let q be (2 - c)/(1/(-1)). Suppose -9 = -s - q. Is s a multiple of 5?
False
Let t = 5366 + -2902. Is t a multiple of 32?
True
Let a(b) = b**3 - 12*b**2 - 12*b - 12. Suppose 0*c - 2*c + 26 = 0. Let h be a(c). Does 15 divide (h + 0)/(1/86)?
False
Does 49 divide 632 - -15*(-5)/(-15)*1?
True
Suppose 4209 + 5691 = 11*n. Does 5 divide n?
True
Suppose 5*q = -q + 420. Suppose -q = -b - b. Is 7 a factor of b?
True
Let h(w) = 5*w**3 + 2*w + 1. Let c be (4/4)/(1/(-1)). Let a be h(c). Let q(v) = -7*v - 7. Is q(a) a multiple of 9?
False
Let g(p) = -6*p + 11. Let o be g(6). Let f be -2 + 4 + o/(-5). Does 10 divide (2/5)/(f/350)?
True
Let r = 20 - 14. Let s(y) = 9*y - r - 3*y + 8*y. Is 23 a factor of s(7)?
True
Let r be (12/18)/(0 - 2/(-867)). Let s = r + -179. Is s a multiple of 11?
True
Let k = 237 + 103. Is 34 a factor of k?
True
Let k(b) = -b**3 - b - 2. Let y be k(0). Let u be -4*25/(-20)*y. Let v = 38 - u. Does 12 divide v?
True
Let b be 3 + 55/(-20) + (-22)/(-8). Suppose -b*f + 15 = -2*f. Is 2 a factor of f?
False
Let q(p) = p**3 + 2*p**2 - 3*p - 1. Does 9 divide q(2)?
True
Let c(w) = w**3 - 3*w**2 + 5*w - 9. Let y be c(4). Does 33 divide (-6)/y - 6222/(-54)?
False
Let x = -10 + -13. Let f = -21 - -74. Let t = x + f. Is t a multiple of 15?
True
Let t = 1806 - 1206. Does 50 divide t?
True
Let t(l) = -l**3 + l**2 - l + 32. Let c be t(0). Let w be c/112 - (-19)/7. Suppose 4*n - w*u - 158 = -5*u, 0 = 5*n - 2*u - 184. Does 19 divide n?
True
Let j = 419 + -203. Does 33 divide j?
False
Let n = 4 - 0. Let p(c) = -n*c + c**2 + 3 - 3*c + 8*c. Is p(5) a multiple of 11?
True
Let f(u) = 0 + 6 - 10*u - 27*u - 20. Does 9 divide f(-5)?
True
Suppose 28 = -4*h + 128. Suppose 5*r = h, -2*r = 2*l + 2*r - 132. Is 11 a factor of l?
False
Suppose m + 45 = 4*m. Let o(s) = s**3 - 16*s**2 + 14*s + 21. Is 6 a factor of o(m)?
True
Is 61 a factor of (4/(11 + 1))/(3/1647)?
True
Let x = 9 + 2. Suppose -3*r + 4 + x = 0. Suppose r*f = -3*l + 75, 3*f - l - 66 + 7 = 0. Does 9 divide f?
True
Suppose -5*p - 7*p = -8*p. Suppose 0 = -2*u - p*u + 280. Is u a multiple of 15?
False
Suppose m = -2*m + 6. Suppose -3 = m*v - 5. Is 19 a factor of (-1 - 2) + v + 21?
True
Suppose o - 2*q = 109, -5*o - 249 + 773 = -3*q. Is o a multiple of 31?
False
Let p(l) = -2*l**2 - l. Let t be p(-8). Let m be (-234)/(-90) - 4/(-10). Does 9 divide (-9)/(81/t)*m?
False
Let r(o) be the second derivative of -o**5/20 - 2*o**4/3 + o**3/6 - 15*o**2/2 - 13*o. Is 26 a factor of r(-9)?
False
Let l(u) = 5*u + 144. Is l(-24) a multiple of 15?
False
Let p(w) = -4*w**2 - 202*w - 23. Does 11 divide p(-38)?
False
Let b(u) = -u**3 + 6*u**2 + u - 3. Let p be b(6). Suppose -p*q = -9*q - 378. Let n = q + 95. Does 7 divide n?
False
Let c(h) = 6*h + 18. Suppose -5*p - 3 = -2*q, -p + q + q - 7 = 0. Let s be (2 - p)*(6 - -2). Is c(s) a multiple of 22?
True
Is (-1)/(15885/(-2646) - -6) even?
True
Suppose -260 + 80 = 9*m. Does 25 divide 2804/20 + (-16)/m + -1?
False
Suppose -2*u - z + 17 = 2*z, 0 = -5*u - 3*z + 29. Suppose -3*r + 2*o = -8*r + 876, 4*r - u*o = 712. Does 16 divide r?
True
Suppose 0 = -4*j + 4*n + 1884 + 9744, -j + 2937 = 5*n. Does 16 divide j?
True
Let i = -665 + 1187. Suppose -5*n + 0*m + i = m, 3*m = -2*n + 201. Is 15 a factor of n?
True
Let q be ((0 - -1)*2)/(9/486). Suppose 9*l - 369 + q = 0. Is 4 a factor of l?
False
Let d = 220 - 198. Is 6 a factor of d?
False
Let u = -150 - -390. Is u a multiple of 6?
True
Suppose -5*a + 50 = -3*s, -a - 2 = 3*s - 12. Let y be (-65)/a*(-4 - -2). Let k = y - 7. Is k a multiple of 6?
True
Let i = 2093 + -797. Does 36 divide i?
True
Suppose 6 = q + q. Let d(b) = b**3 - 12*b**2 - 13*b. Let s be d(13). Suppose s = q*m - 78 + 12. Does 11 divide m?
True
Suppose -r - 22*r = -18561. Is r a multiple of 8?
False
Let q(z) = z**3 + 6*z**2 + 5*z + 4. Let l be q(-4). Does 39 divide (l/(-10))/(16/(-1560))?
True
Let f(l) = 101*l - 17. Is f(1) a multiple of 12?
True
Let f(i) = i**3 + 5*i**2 - 5*i + 4. Let u be f(-6). Suppose 0 = -5*n + 3*t - 0*t + 15, n - 3*t = -9. Is (n - 7)/(u/34) a multiple of 5?
False
Suppose -5*k = -10*k - 375. Let m = -37 - k. Does 19 divide m?
True
Suppose 437 + 144 = 7*r. Is r a multiple of 3?
False
Suppose -6*b + 4*b + 4 = 0. Suppose 4*d - b*g = 18, -5*g - 21 = -3*d - g. Suppose 0 = -5*p - j + 101, 3*j = -p - d*p + 72. Does 11 divide p?
False
Let b be (-3)/2*(-112)/24. Suppose 34*m - 35*m = -b. Does 2 di