-c - 7 = m. Let o(l) be the first derivative of l**3/3 + l**2 + 8*l - 15. Does 7 divide o(m)?
False
Suppose 60 = 5*o - 4*w, 3*w + 21 = 6. Suppose 4*y + 128 = o*y. Does 12 divide y?
False
Suppose -4*s = -232 + 76. Is s a multiple of 8?
False
Suppose 0 = -4*b + 5*i - 267, -5*b = -0*b - 3*i + 324. Let j be (-144)/b - 2/7. Suppose 3*n - 31 = 4*d, 0*d - j = -d. Is 5 a factor of n?
False
Let l = 465 + -276. Suppose -331 - l = 5*s + 5*v, -318 = 3*s - 3*v. Let g = 179 + s. Is 30 a factor of g?
False
Suppose 68 = -g - 112. Let i = -114 - g. Is 13 a factor of i?
False
Let h(g) = -g**2 - 41*g + 39. Is 33 a factor of h(-15)?
True
Suppose 1 - 3 = s, -4*d + 3306 = -3*s. Is d a multiple of 37?
False
Let k be (8/12 - 1)*-9. Suppose 0*o = k*o - 3, -3*l = -o - 5. Suppose 3*v + l*v = 210. Is 14 a factor of v?
True
Let d be 132/9*(-108)/(-8). Let k = d - 54. Is 18 a factor of k?
True
Let q(v) = 7*v - 3*v + 7*v - 12 + 2*v. Let k be q(19). Let y = k - 167. Does 17 divide y?
True
Let c(s) = 3*s - 15. Let n be c(5). Suppose 4 = l + 4*m, -l - 2*m + n = -2. Suppose 3*v - v - 92 = l. Does 12 divide v?
False
Suppose p + 2*o = 3*p - 6, 4*o + 12 = -2*p. Suppose 0*s - 56 = -2*s + 4*z, 3*z + 6 = p. Is s a multiple of 12?
True
Suppose 176 = -5*j - 139. Let d be ((-2)/3)/(6/j). Let c = 22 - d. Does 5 divide c?
True
Let a = -48 + 52. Is 24 a factor of (-1)/(-6)*a - (-307)/3?
False
Let o = -240 + 684. Is 6 a factor of o?
True
Suppose 3*s = 4*n - 38 - 47, -5*s = -5*n + 135. Let t = s - -35. Does 12 divide t?
True
Let z(x) = -8*x - 5. Let p(l) = -2*l - 5. Let m be p(-5). Let y be ((-3)/m)/((-7)/(-35)). Is 19 a factor of z(y)?
True
Is 3 a factor of 0*(-1)/(-2) + -33 + 317?
False
Let w(p) = 8*p. Let i be w(-1). Let t = -9 - i. Let s(n) = 27*n**2 + 2*n. Is s(t) a multiple of 20?
False
Suppose 0 = 29*w - 27*w + 6. Suppose -10 = 3*x - x, -4*x = -3*y + 23. Is -2*y - 24/w a multiple of 6?
True
Suppose 3*n - 73 = l + 398, 2*n - 315 = l. Is 10 a factor of n?
False
Let d(o) = 4*o**3 - 19*o**2 + 65*o - 90. Is 114 a factor of d(11)?
False
Suppose v - 6*v = 60. Suppose -5*f + 11 = s - 16, -4*f = 3*s - 26. Let p = s - v. Is 8 a factor of p?
False
Suppose 4*d + i = 3581, 2*d - 2*i - 1788 = -0*i. Suppose k + d = -2*y + y, -4*k - 3583 = y. Does 6 divide (-2)/9 - k/63?
False
Suppose k + 4*j + 44 = 5*k, -5*k + 4*j + 59 = 0. Suppose -4*q = -k*q + 495. Does 5 divide q?
True
Let j = 3 - 7. Let f = -30 - -39. Let g = f - j. Is g a multiple of 9?
False
Let m be (15 - 5)*1/(15/6). Does 50 divide 203 + m - (-5)/((-10)/4)?
False
Let o(t) = 5*t**2 + 2*t + 7. Let d be o(5). Let h(l) = -4*l**2 - 7*l - 29. Let a be h(-5). Let f = a + d. Is f a multiple of 12?
True
Let s = 271 + -257. Let b = 5 + 0. Suppose -2*i = b*p - 21, -2*i = -4*p + 2*p - s. Is 8 a factor of i?
True
Let n(q) = -2 + 20 - 3*q - 2*q - 3*q. Let f be n(-18). Suppose -225 = -3*p - 4*b, -4*p + f + 138 = -5*b. Is 19 a factor of p?
False
Let r = 91 + -159. Let u = r + 113. Is 5 a factor of u?
True
Suppose 912 = 4*d + 232. Suppose 0 = f - 5*f + 2*g - d, 226 = -5*f - 2*g. Let y = -34 - f. Does 2 divide y?
True
Let y(w) = -28 + 21 + w + 15. Is y(-5) a multiple of 3?
True
Let a be 1557/(-33) - (-6)/33. Let p = -31 - a. Is (-24)/16*p/(-3) a multiple of 4?
True
Let h = -1 - -4. Let y = 62 + -42. Suppose -h*s - y = -4*s. Is s a multiple of 10?
True
Let q(l) = 3*l**2 + 27*l - 28. Is 4 a factor of q(-13)?
True
Let v = 1 - -2. Let g = 25 - 25. Suppose g = -p + 6*z - 4*z + 40, -4*p + v*z + 140 = 0. Is 12 a factor of p?
False
Suppose 0 = -0*d + 8*d - 26880. Is 84 a factor of d?
True
Let b(m) = 2*m**3 + 7*m**2 - 6*m + 18. Let n(u) = -3*u**3 - 10*u**2 + 9*u - 27. Let o(z) = 8*b(z) + 5*n(z). Let d be o(-7). Let a = 7 - d. Does 26 divide a?
True
Let m be 4/5 + (-484)/(-20). Let c = m + -13. Is 12 a factor of c?
True
Suppose -g - 5*c = 0, 29 - 1 = 5*g - 3*c. Suppose d - g*d - 5*s = -119, 5*s + 67 = 2*d. Does 16 divide d?
False
Suppose -5*w = -10, 0*a - 5*w + 16 = a. Suppose 4*x - a - 2 = 0. Is 18 a factor of ((-79)/(-5))/(x/10)?
False
Suppose 5*b - 2*m = 3*m - 10, -3*m = 0. Does 19 divide (b/(-2))/(-4 - (-381)/95)?
True
Let a be ((-1)/(-3))/(1/12). Let i be (-6)/24 - 311/a. Let x = 147 + i. Does 23 divide x?
True
Let j(i) = -i**3 + 33*i**2 - 144*i + 8. Is 44 a factor of j(25)?
True
Let n = 949 - 395. Suppose 4*x = 12, -68 = 5*m - 3*x - n. Suppose 3*p - m = -0*p. Is p a multiple of 29?
False
Suppose -3*c = 5*o - 112, 199 = 5*c - 3*o + 1. Let h = c + -9. Is h a multiple of 15?
True
Let g = 560 + -497. Is 7 a factor of g?
True
Let s = 128 + -123. Suppose -3*f + 2*f = 5*l - 120, 0 = 2*f + s*l - 220. Is 7 a factor of f?
False
Suppose v + 84 = h - 4*h, -5*v + 56 = -2*h. Let q = 164 + h. Suppose 10 - q = -3*u. Is 27 a factor of u?
False
Let k = -12 - -8. Suppose 5*n - 3*f = 3*n - 1, 0 = -3*n + 2*f + 1. Does 10 divide 39/n + (-5 - k)?
False
Let c be 2*((-6)/24 - 205/4). Let w = c - -177. Does 15 divide w?
False
Let p = 48 + 327. Is 15 a factor of p?
True
Suppose -30 = 3*w - 4*x, -2*x - x + 9 = 0. Let u be (-222)/4 + 3/w. Let v = 94 + u. Is v a multiple of 12?
False
Let h(t) = -7 + 6*t + 1 - t + 16 + 3*t**2. Does 10 divide h(5)?
True
Suppose -5*a + 769 = 3*g + 46, 3*g = -4*a + 579. Is 36 a factor of a?
True
Let d = 142 - 71. Is d a multiple of 3?
False
Suppose 45 = 5*s - 0*s. Suppose 0 = -5*y + s*y - 192. Is 16 a factor of y?
True
Suppose 180*j - 5640 = 177*j. Is j a multiple of 20?
True
Suppose 5*o - 1 = 4*d - 11, -2 = -5*d + o. Suppose 3*r - 136 - 419 = d. Suppose 5*p - r = -3*k, 225 = 5*p - 5*k - 0*k. Is 20 a factor of p?
True
Let o(k) = 38*k + 96. Is o(5) a multiple of 13?
True
Let i be (3 - 6)*15/(-9). Let c be (6 - 3) + i + -3. Suppose c*u + o - 88 = 0, 0 = 5*u - u + 2*o - 68. Is u a multiple of 18?
True
Suppose -10 = 3*g - 2*f, -3*g - 3*f = -0*f. Let v be 12*((-2)/(-8) + 1). Is 18 a factor of 542/v - g/(-15)?
True
Let o(p) = 2*p + 15. Let t be o(0). Suppose 2*f - 3*l = 2*l + t, 3*l - 55 = -2*f. Is f a multiple of 10?
True
Let t be (8/3)/(4/6). Let x = -219 - -322. Suppose 0*q - 5*q = t*u - x, -4*u + 112 = -4*q. Does 11 divide u?
False
Suppose b = 437 - 296. Does 3 divide b?
True
Does 66 divide 36956/16 + 12/48?
True
Let v(l) = -l**2 + 10*l - 19. Let x be v(7). Is (0 - 0) + x/1 + 0 a multiple of 2?
True
Suppose -3*h + 3*r + 21 = 0, -3*r = -r + 6. Does 3 divide (-6 + 1 + h)/(1/(-3))?
True
Let x(n) = 4*n**2 - 35*n - 77. Is 71 a factor of x(33)?
True
Suppose 3*k + g = -7, g - 23 = 2*k - 2*g. Let c be (-11)/k - 2/(-8). Is (54/15)/(c/45) a multiple of 12?
False
Let j = -52 + 61. Suppose 0 = 2*w - 5*u - j - 24, -5*u - 9 = 4*w. Is 2 a factor of w?
True
Suppose 0 = -1112*v + 1115*v - 1728. Does 8 divide v?
True
Let t(q) = 3*q**2 + 16*q + 6. Let w be t(-5). Is w*(-4 - 280/(-4)) a multiple of 11?
True
Let d(k) = -35*k - 30. Is d(-4) a multiple of 31?
False
Suppose -3*c - 3*f - 9 = 0, 5*f + 15 = c - 0*c. Suppose 3*v + n + c*n - 204 = 0, 0 = 2*v + 3*n - 136. Is 7 a factor of v?
False
Let i be -4*(-5)/10 - -3. Suppose i*u - 4*u = 10. Is 4 a factor of u?
False
Let n(l) = -2*l + 53. Let z be (0 - 1)/((-3)/(-30)). Is 33 a factor of n(z)?
False
Let f = -15 - -15. Suppose f = -2*t + 5*t - 231. Does 11 divide t?
True
Let f(u) = -u**3 + 9*u**2 - 9*u + 12. Let i be f(8). Is 13 a factor of (159/9 + i)*6?
True
Suppose 2 = w + 5*g, -3*w - w - 3*g - 9 = 0. Is 10 a factor of 89 + -2 + 6/w - -2?
False
Let k be (-6)/((5/2)/(-5)). Let l = -5 + k. Let f = -4 + l. Is f a multiple of 2?
False
Let k = 30 - 42. Does 4 divide ((-20)/15 + 0)/(1/k)?
True
Suppose 3*v - 2*u - 44 = 0, 3*v - 3*u = v + 26. Suppose -w + 3*p + 7 = -v, 3*p + 6 = 0. Suppose 4*a = w + 423. Is 30 a factor of a?
False
Does 60 divide ((-16)/(-4))/(-2) + 2111?
False
Let j = -301 + 828. Is j a multiple of 17?
True
Let p(z) = 3*z + 3. Let w be p(1). Suppose 3*o = 9*o + w. Let n(u) = -22*u - 1. Is 18 a factor of n(o)?
False
Suppose 5*u - 38 = 4*h, -3*u + 0*h + h = -20. Let d(g) = 4*g**2 - 6 - 2*g**2 - 8*g - g**2 + 3*g**2. Is 30 a factor of d(u)?
True
Let u(l) = 39*l - 105. Is u(5) a multiple of 10?
True
Suppose -h = 6*f - 9*f - 575, -h + 595 = f. Is h a multiple of 10?
True
Let s = -35 - -50. Let p be s/(0 - (-4)/20). Suppose -3*w - p = -8*w - 3*l, 0 = w + 5*l - 37. Is 6 a factor of w?
True
Let s(z) be the third derivative of z**4/8 