e
Suppose -5*n + 4*n + 3*d + 49 = 0, 2*n = d + 83. Let v = 72 - n. Does 8 divide v?
True
Let d = 39 - 36. Does 13 divide (98 - 2) + (3 - (d + 0))?
False
Let j = -79 - -95. Suppose j*l + 36 = 18*l. Does 3 divide l?
True
Suppose -4 = -v - 2. Suppose 0 = v*n + 19 + 3. Let w(l) = -2*l + 14. Does 12 divide w(n)?
True
Suppose -2*i + 327 = -903. Is i a multiple of 5?
True
Let a(t) = 3*t**2 + 6*t + 3. Is a(-11) a multiple of 20?
True
Suppose 0*b = -3*b + 42. Suppose 3*r + 4*p = -b, -6*p - 13 = r - 3*p. Suppose -r*f = f - 144. Is f a multiple of 12?
True
Let u = -770 + 884. Does 9 divide u?
False
Let y = -20 + 25. Suppose -3*r + y*z + 298 = 0, 4*r + z - 5*z = 392. Does 26 divide r?
False
Let i = 2 - -4. Let c(m) = -m + 5. Let k be c(i). Is (0 - (k - -2))*-17 a multiple of 15?
False
Suppose -3*l + l = 112. Let m = 177 + l. Suppose -2*r - b + 5 = -m, 2*b = r - 73. Does 23 divide r?
False
Let q(y) = -12*y. Let a be q(-3). Let t be 8/6 - (-24)/a. Suppose 27 = 2*v - v + 4*c, t*v + 5*c - 54 = 0. Is 9 a factor of v?
True
Let x = 16 - -40. Let v be x/(-6)*(11 + -14). Suppose -5*u = -u - v. Is u a multiple of 4?
False
Let u = 19 + -3. Let n = -12 + u. Suppose 2*h + 30 = -3*x + 124, 0 = n*x - h - 107. Is x a multiple of 8?
False
Let m = -19 - -57. Suppose 6*w = -m + 200. Is w a multiple of 9?
True
Let n(v) = 50*v**2 + v - 1. Suppose 13*j = -5*z + 9*j + 15, 2*j - 7 = -3*z. Does 8 divide n(z)?
True
Let g(z) = 16*z**2 - z - 2. Let m be g(-3). Suppose m = q + 4*q. Is q a multiple of 11?
False
Let y = 284 - 406. Suppose 14 = 2*s - 5*o, -5*o + 5 = -5. Does 15 divide (-3)/s + y/(-8)?
True
Let j(n) = -n - 17. Let b be j(-18). Does 4 divide (b/(-3))/(5/(-75))?
False
Is 11 a factor of (-5)/15*247*(-32 + -1)?
True
Suppose 12*u + 3*u - 5160 = 0. Is 57 a factor of u?
False
Let o(n) = n**2 + 3*n + 4. Let f be o(-3). Let g(r) = 18*r - 17. Does 14 divide g(f)?
False
Suppose q - 9 = -5*h, 4*h - q - 3 = 6. Suppose h*i - 2 = 30. Suppose 2*c - i = 28. Is c a multiple of 22?
True
Suppose 3*w - 292 = -4*v - w, 156 = 2*v - 3*w. Is 75 a factor of v?
True
Let d(i) = i**2 + 2. Let f = 76 - 82. Is d(f) a multiple of 14?
False
Let c = 591 - 240. Suppose 20*z = 17*z + c. Does 39 divide z?
True
Let k(z) be the third derivative of z**6/60 - z**5/20 - z**4/3 - z**3/2 + 37*z**2. Is 11 a factor of k(5)?
True
Let u = 5 - 2. Let h(c) = -c**3 - 3*c**2 + 2*c + 2. Let n be h(u). Let f = -19 - n. Is f a multiple of 9?
True
Let y = -12 - -42. Suppose -32*p - 36 = 476. Let v = y + p. Is 6 a factor of v?
False
Let d be 2/4*-51*-2. Suppose -4*w = -203 + d. Let n = w - 22. Does 16 divide n?
True
Is 23/((-1078)/217 + 5) a multiple of 31?
True
Let n = 2674 - 1635. Is n a multiple of 13?
False
Suppose 0*f = -f + 171. Suppose f = s + 2*s. Does 19 divide s?
True
Let z = -20 - -19. Let v be -1*813/(z - 2). Let j = -187 + v. Is 38 a factor of j?
False
Suppose -1462 = -25*u + 10413. Is 25 a factor of u?
True
Let h(a) = -22*a - 7. Let i be h(-4). Let z = -49 + i. Does 9 divide z?
False
Suppose -4*i + 48 = 4*i. Let w(l) = -l**3 + 2*l**2 + 9*l - 3. Let a(u) = 2*u**3 - 3*u**2 - 19*u + 5. Let x(n) = -3*a(n) - 7*w(n). Does 3 divide x(i)?
True
Suppose -478*o + 465*o + 24778 = 0. Is o a multiple of 52?
False
Suppose -8*i + 20 = -3*i. Suppose 4*l - c + 12 = -6*c, i*l = 3*c + 20. Let d = 20 - l. Is d a multiple of 9?
True
Suppose -1391 = 25*x - 38*x. Is 5 a factor of x?
False
Let z be (-4 + 1)/((-9)/156). Let p = -2 + z. Suppose -4*r = -p - 118. Is r a multiple of 14?
True
Suppose 4*p = -5*v - 3, -2*v = -10 - 0. Let o = 83 - p. Does 30 divide o?
True
Let h = 4 + -6. Let b = h + 6. Suppose 5*w = 4*y + 75, -b*w + 84 = 3*y + 24. Is w a multiple of 15?
True
Let z(l) = -93*l - 3. Let b be z(1). Let v = 14 - b. Does 26 divide v?
False
Let q(w) = 15*w**3 - 5*w**2 + w - 3. Is 72 a factor of q(3)?
True
Let g(f) = f**2 - 3*f + 6. Let m be g(3). Suppose -n + 22 - m = 0. Suppose -5*u + 4*r = -63, 5*r = -2*u - 4 + n. Does 3 divide u?
False
Let o(m) be the first derivative of -103/2*m**2 - 5 + 2*m. Does 14 divide o(-1)?
False
Is 10 a factor of (-2)/(-10) + (-2831)/(-95)?
True
Suppose 0 = -c - c + 28. Let o(l) = -l + 14. Let a be o(c). Suppose 3*t - 105 = -3*b - a*t, 0 = -b - 2*t + 34. Is 12 a factor of b?
True
Let p(m) = 7*m - 15. Let d = -23 - -31. Let x be p(d). Suppose 5*u - 19 = x. Is u a multiple of 12?
True
Does 68 divide (6 + (-8192)/(-12))*3/2?
False
Is 220/12*(111 - 3) a multiple of 12?
True
Let h(r) = 427*r**2 + 12*r + 18. Is 23 a factor of h(-2)?
True
Let r = 138 + -109. Does 16 divide r?
False
Suppose 8*n = 6*n - 176. Let d = n - -130. Does 7 divide d?
True
Let i be (-3)/(12/(-8)) - 0. Does 12 divide (-6)/i - 1*-34?
False
Let v(z) be the second derivative of -z**5/20 - z**4/3 - z**3/2 - z**2/2 + 7*z. Let b be v(-2). Is 12/(2 + 0) - b a multiple of 2?
False
Let b = 596 - 462. Does 4 divide b?
False
Let q(o) = o**2 - 4*o - 5. Let z be q(7). Suppose -16 - z = -d. Does 29 divide d?
False
Suppose -6*z - 43 = -8*z + 3*t, -5*t + 74 = 3*z. Let m = -28 - -19. Let v = z + m. Is v a multiple of 9?
False
Let l(y) = y**2 + 3*y - 20. Let x be l(-7). Suppose 4*a - 963 = f, 0 = -2*f + 2 + x. Does 39 divide a?
False
Let g be -2 - 1 - (1 - 14). Let l be (28/g)/(4/20). Suppose 0*h = -2*h + l. Is h a multiple of 2?
False
Let q(m) = 4*m - 3. Let a be q(-5). Let t = 7 + a. Let r = t - -24. Is 4 a factor of r?
True
Suppose -5*i + 3591 = -13419. Does 26 divide i?
False
Suppose 6*x - 296 = 2326. Does 66 divide x?
False
Let l be 2/4 + (-13)/(-2). Suppose -1 = 4*j + l, -4*x = -3*j - 6. Suppose x = -3*q + o + 64 + 28, -4*q - 3*o = -127. Is q a multiple of 9?
False
Let y(k) = -k**3 + k**2 + 4*k + 7. Let h be y(5). Let v = h - -143. Does 7 divide v?
True
Let o(d) = d + 13. Let n(f) = f**3 - f**2 + 1. Let k be n(-2). Let b be o(k). Suppose -2*y - 66 = -b*t, -3*t + 5*y = -0*t - 105. Is 10 a factor of t?
True
Is (-132)/22 + (-111)/(-1) a multiple of 5?
True
Let x = -203 - -208. Does 4 divide x?
False
Suppose 2*y - 2*i = i - 56, -i = -4. Let c be (-4)/(-22) + 774/y. Is 12 a factor of 10/c - (-170)/7?
True
Suppose -2*v + 61 = -27. Is 4 a factor of v?
True
Let s be (15/(-20) - 0)/((-2)/8). Suppose s*v - 54 = 2*v. Is v a multiple of 18?
True
Suppose -18 = a - 5*p, -5*p - 14 - 22 = 2*a. Let s(u) = -u**3 + 6*u**2 + 4*u + 7. Let f be s(6). Let q = f + a. Does 13 divide q?
True
Suppose -5*w = -a + 38, 27 = -5*w + 5*a - 3. Let o(u) = -u**2 - 10*u - 8. Let l be o(-8). Is 5 a factor of (-102)/w*l/3?
False
Let n be 1 - (2 - (0 - 5)). Let z be (12/(-9))/(1/(-6)). Does 17 divide (-99)/n + 4/z?
True
Suppose 4*w = 10*c - 9*c - 584, 4 = -2*w. Is c a multiple of 12?
True
Let q be -1 - (-3 + 1)*2. Let m(r) = -r + 6. Let g be m(q). Suppose -4*v + 21 = g*v. Is 2 a factor of v?
False
Suppose k - 218 = 2*k. Let o = 318 + k. Is 12 a factor of o?
False
Suppose -2*o + 4392 = -2086. Is 35 a factor of o?
False
Suppose -2*d = 2*j, -4*j = -5*j + 2*d - 15. Let i = -3 - j. Suppose -n = 3*c - i, -3 = -n + 2*c - 1. Is n a multiple of 2?
True
Suppose -25*f = -28*f - 63. Let u = f - 2. Is 8 a factor of (-6 - u)/((-3)/(-6))?
False
Let c(g) = 3*g**3 - 9*g**2 - 12*g - 4. Is c(10) a multiple of 26?
True
Is 2 a factor of ((-3836)/168)/((-3)/18)?
False
Suppose 4*b - 8620 = -4*z, -4314 = -2*z - 184*b + 181*b. Is z a multiple of 16?
False
Suppose 1133*j = 1109*j + 81576. Is j a multiple of 59?
False
Suppose 4*z - 10 = -2. Suppose -5*i + 110 = 5*k, z*i - 3*k = k + 56. Is 12 a factor of i?
True
Let n(c) = 975*c**2 + 21*c - 22. Does 10 divide n(1)?
False
Let r(k) = -k**2 + k. Let h(y) = -11. Let q(d) = h(d) - 2*r(d). Is 3 a factor of q(5)?
False
Suppose 2958 = 5*p + b, 0*p + 2*p - 1174 = -5*b. Suppose -16*o + 18*o = p. Is 17 a factor of o?
False
Suppose 2*v = 1725 - 395. Is 36 a factor of v?
False
Suppose 0 = -3*t - 0*t - 5*g + 218, -4*t + 2*g = -282. Let w be (t + -5)/((-2)/(-1)). Let x = 81 - w. Is x a multiple of 16?
True
Let c be 3/7 - (-7254)/126. Suppose 3*j - 218 = c. Does 23 divide j?
True
Suppose -27*s - 8 = -29*s. Suppose s*j = -j + 190. Suppose 3*q + t - j = 0, 4*q = -2*t - 2*t + 40. Is 7 a factor of q?
True
Let i = -316 - -380. Is i a multiple of 8?
True
Let d(h) = h + 16. Let o be d(21). Suppose t - 86 = o. Is 41 a factor of t?
True
Let r(s) = 2*s**2 - 10*s + 6. Suppose 0*k - 18 = -3*k.