e
Suppose 0 = d - 2*d + 2. Let v be d/(-4) - 1/(-2). Is 26 a factor of 24 + v + -2 + 4?
True
Suppose -4*t + 11 = -1. Suppose -t*q + 162 + 159 = 0. Let n = q - 47. Does 16 divide n?
False
Is 9 a factor of 2 - (-4 - 21 - -2)?
False
Let w = -11 - -5. Let o = w - -3. Let p(t) = -13*t - 4. Is p(o) a multiple of 24?
False
Let a(o) be the third derivative of -o**6/40 - o**5/12 - o**4/24 + o**3/2 - 6*o**2. Let b be a(-3). Suppose 110 + b = 2*q. Is 12 a factor of q?
False
Suppose -13*l + 8171 + 2320 = 0. Is 27 a factor of l?
False
Let r(b) = -b**3 + 9*b**2 + 5*b - 6. Let y be r(5). Suppose d - 3*n - 54 = 0, 5*d = 2*n - 49 + 319. Let f = y - d. Is f a multiple of 13?
True
Suppose 4*u + 5*y + 150 = 0, 3*y = -5*u + y - 196. Let a = u - -173. Does 19 divide a?
True
Suppose 6*a = 1556 + 1234. Is 93 a factor of a?
True
Suppose -5*f = 2*y + 2*y - 215, 91 = 2*y - 3*f. Does 25 divide y?
True
Let k(g) = 17*g + 143. Is 11 a factor of k(5)?
False
Let a(k) be the first derivative of -k**4/4 + 3*k**3 - k**2 + 13*k - 22. Is 9 a factor of a(7)?
False
Let k = 4141 + -2217. Is 12 a factor of k?
False
Let p = 23 - -11. Let l = 229 + -252. Let f = p + l. Is f a multiple of 11?
True
Let i(x) = x**3 + 14*x**2 + 3*x - 22. Does 3 divide i(-13)?
True
Let g(i) = 5*i + 23. Let l(h) = 5*h + 22. Let v(a) = 5*g(a) - 6*l(a). Is v(-5) a multiple of 4?
True
Let r = 26 + -21. Let y = -1 + r. Suppose -y*k = 3*s - 87, -2*k + 2*s = k - 78. Does 15 divide k?
False
Let i be ((-25)/15 + 2)/((-2)/(-318)). Suppose i = t - 19. Does 8 divide t?
True
Let b = -4 - -7. Suppose 5*z = -20, b*c + 0*z = -2*z + 82. Is c a multiple of 8?
False
Suppose 17 + 63 = -5*u. Let c = 19 + u. Suppose -4*k = -c*q + 18, 0 = 5*q - 3*q + 2*k - 26. Is q a multiple of 5?
True
Suppose u = 3*z - 173, 4*z - 4*u - 293 = -z. Suppose -10 = 2*x, -3*x = -3*t + 2*x + 52. Suppose t*r - 10*r = -z. Is r a multiple of 19?
True
Suppose 3*b = n - 2*n + 10, n - 2*b = 0. Suppose -4*p + z = 4*z - 289, -z + 283 = n*p. Is 17 a factor of p?
False
Suppose 0 = -129*g + 313668 + 89715. Does 14 divide g?
False
Let i(s) = s**3 - 3*s**2 - 6*s + 5. Let q = -5 + 9. Let v be i(q). Is (-61)/(-1) - (1 + v) a multiple of 22?
False
Let i be (-9)/(-72) + (-15822)/(-16). Let s = i + -576. Is s a multiple of 48?
False
Is 23 a factor of (12/10)/((378/(-2760))/(-21))?
True
Let u(c) be the third derivative of 7*c**4/24 + 17*c**3/6 + 194*c**2. Let y(z) = -z**2 - 6*z + 4. Let w be y(-5). Is u(w) a multiple of 16?
True
Suppose 0 = 4*r + 4 + 4, 2*r - 2 = -3*t. Suppose -2*l - 290 = -a - a, -2*a - t*l + 310 = 0. Suppose 2*g - a = -3*g. Does 10 divide g?
True
Let h be (-978)/(-8) + 3/(-12). Suppose 4*y - h = 46. Is 8 a factor of y*(20/6)/5?
False
Let l = -19 - -11. Let y be 6/2*l/(-12). Does 4 divide 11 + 3/6*y?
True
Suppose -3*v = -1 - 5. Let m(f) = 18*f - 5. Let d(j) = 6*j - 2. Let r(s) = -8*d(s) + 3*m(s). Is 3 a factor of r(v)?
False
Suppose 0 = s - 5 + 1. Let w = -558 + 564. Is 14 a factor of (12 - s)*(w + -2)?
False
Suppose 273*b = 279*b - 1932. Is b a multiple of 30?
False
Suppose 637 - 4651 = -18*v. Is 11 a factor of v?
False
Let n(k) = k**3 + k. Let i be n(1). Suppose 2*s + 7 = 5*p, 0 = 5*s - i*p + 8 - 22. Suppose -162 = -2*f - s*z, 2*z + z = 0. Is f a multiple of 28?
False
Is 33 a factor of ((-4)/(-6))/(2 - 4352/2178)?
True
Does 10 divide -4 + (0 - 1) - (-13860)/63?
False
Let y(n) = -n**2 - 4*n + 7. Let b be y(-5). Suppose -5*l - 63 = 42. Let u = b - l. Is 23 a factor of u?
True
Let t(b) = -15*b**2 + 35*b**2 + 14*b**2 + 7 + 2 - 5*b. Does 10 divide t(2)?
False
Suppose -6*r + 15 - 51 = 0. Is 5/(50/1836) - r/15 a multiple of 23?
True
Is (-60)/(-14)*32900/141 a multiple of 40?
True
Does 24 divide (-1942)/(-9) - 9/((-324)/8)?
True
Suppose -17*t + 2658 = -4448. Does 38 divide t?
True
Let b be -3 + -1*-1*66. Let k = b + -37. Does 13 divide k?
True
Let g(d) be the first derivative of -d**5/10 + d**3/2 + d**2 - 2*d + 5. Let q(f) be the first derivative of g(f). Does 6 divide q(-2)?
True
Suppose 2*c = 4*c - 150. Is ((-12)/(-10))/(3/c) a multiple of 15?
True
Suppose -15 = t - 4*t. Suppose 3*c - 2*c = -3*l + 273, t*l - 3*c = 455. Suppose 0 = -4*w - k + 79, -3 + l = 3*w - 5*k. Does 8 divide w?
False
Let t(v) = -v**3 - v**2 + 2*v + 3. Let q be ((-4)/(-4))/(-3)*6. Let y be t(q). Suppose 3*d - 7*d - h = -204, -y*d = -3*h - 168. Is 26 a factor of d?
True
Suppose 2*w + 8 - 39 = -5*g, 4*w - 48 = 4*g. Let h = 23 - w. Is h a multiple of 3?
False
Let j = -175 + 283. Does 82 divide j?
False
Let f(s) be the third derivative of 13*s**9/60480 + s**8/20160 + s**5/12 + 4*s**2. Let d(g) be the third derivative of f(g). Is d(1) a multiple of 11?
False
Let n(f) = -12*f + 66. Does 5 divide n(-5)?
False
Let h(q) be the second derivative of -q**5/20 - 3*q**4/4 + 7*q**3/3 + 3*q**2/2 - 33*q. Does 13 divide h(-11)?
True
Suppose -m + 892 = 8*k - 3*k, k = 4*m - 3484. Does 12 divide m?
False
Suppose 63*k + 2704 = 65*k. Is 34 a factor of k?
False
Let s(i) = -i**2 - 18*i + 21. Let d be s(-19). Suppose 3*n - 2*o - o - 192 = 0, d*n = -3*o + 138. Is n a multiple of 11?
True
Let b(p) = -23*p - 86. Suppose -5*j - 4*t = 34, -t = -6 + 2. Is 16 a factor of b(j)?
True
Let o(h) = -3*h + 4. Let c be o(-6). Let y = c - 17. Suppose -42 = -y*k + 23. Is 4 a factor of k?
False
Suppose -3*d + 397 = a, a = -3*d + 8*d + 373. Does 35 divide a?
False
Let t be (-48)/(-30) - (-4)/10. Let h(r) = 3*r - 2. Let y be h(t). Suppose y*u = 5*p - 193, u - 73 = -2*p + 4*u. Is p a multiple of 17?
False
Does 19 divide 7397/39 - (-2)/6?
True
Let w be -1 + 0 - (-3 - (43 - 4)). Suppose 3*t = 4*t - w. Is t a multiple of 4?
False
Let q = 168 - -393. Is 3 a factor of q?
True
Suppose b = -2*g + 1622, 4869 = 3*b + 50*g - 47*g. Does 7 divide b?
True
Does 49 divide (-1)/((-18)/108 + 239/1470)?
True
Let y be 3 + (-5 - -3 - -15). Is y + -20 + (1 - -19) a multiple of 8?
True
Let w(j) = 102*j - 37. Is 3 a factor of w(2)?
False
Let j(i) = i**3 + 4*i**2 - 8*i - 11. Let d be j(-5). Suppose 0 = -5*w - 3*n + 1409, d*n = 3*w + w - 1108. Does 35 divide w?
True
Let b = -12 + 15. Let x be (0 - (b - 3))/1. Suppose 2*o - 20 - 2 = x. Is 11 a factor of o?
True
Let p be 1/(12/(-9) + 2/6). Is 33 a factor of 2 + p + (46 - -5)?
False
Let d be (82 - 1 - -2)*1. Let f = 127 - d. Is 6 a factor of f?
False
Suppose -5*u = 3*z - 8, -u + 8 = -4*z - 3*u. Is 31 + (z - -3) + -4 a multiple of 13?
True
Suppose 36 - 44 = -2*s, 4*g = -4*s + 328. Is 2 a factor of g?
True
Does 3 divide 159/3*33/11?
True
Let d = 544 + -173. Does 7 divide d?
True
Suppose 0 = -18*t + 23*t - 1135. Does 9 divide t?
False
Suppose 2*f = 3*f + 5*u - 221, 906 = 4*f - 2*u. Is f a multiple of 3?
False
Let s(h) = 209*h + 13. Does 21 divide s(2)?
False
Let b(c) = -416*c**3 - c**2 + 3*c + 5. Is b(-1) a multiple of 2?
False
Is (30/21)/(144/(-147) + 1) a multiple of 12?
False
Suppose -10*b + 284 = -6*b + 2*j, 4*b = -4*j + 280. Is b a multiple of 6?
True
Suppose -4845 = -31*o - 815. Is o a multiple of 26?
True
Let v = -4 + 6. Let z(j) = 46*j**2 + 5*j + 0*j - 2 - 45*j**v. Does 11 divide z(-8)?
True
Let j = -6 + 0. Suppose -7*a + 2*a = 215. Is 20 a factor of 9/j + a/(-2)?
True
Let p = -8 + 11. Is 21 a factor of 3/(-13 + 1)*p*-168?
True
Suppose 0 = -4*x + 86 - 22. Suppose -x = -4*g + 2*g. Let r = g + 1. Is r a multiple of 3?
True
Suppose 10644 = 9*x + 3462. Does 14 divide x?
True
Suppose 36*g - 8696 = 32*g - 2*k, 5*k - 6522 = -3*g. Is g a multiple of 13?
False
Suppose -8*h = -19*h - 220. Does 4 divide 237/15 - 2*2/h?
True
Let z be -167 + (-9)/((-36)/8). Let o = -78 - z. Is 29 a factor of o?
True
Suppose 26*o - 14*o = 1956. Is 10 a factor of o?
False
Suppose -12*x + 6*x - 318 = 0. Let c = x - -114. Does 7 divide c?
False
Let i be 5*3/((-3)/5). Let n = -23 - i. Suppose -6 = -u + 4*v + n, 0 = 3*u + 5*v - 109. Is 14 a factor of u?
True
Suppose -12*b = -14*b + 4. Suppose 0 = -b*k + 73 + 229. Does 13 divide k?
False
Suppose -90 + 10 = r. Let x = -47 - r. Is 11 a factor of x?
True
Suppose z - 1 = 0, 0 = -0*y + y - 2*z - 2. Suppose s - 25 = -2*c + 74, -y*c + s = -189. Is c a multiple of 8?
True
Suppose -7702 = -15*p - 2182. Is 4 a factor of p?
True
Suppose -3*o = -x + 17 - 0, -4*o - 16 = -x. Is 5 a factor of x?
True
Suppose 26*m = -2914 + 16122. Is m a multiple of 27?
False
Let f(u) = 3*u**3 + u**2 + u - 5. Let w(y) = 