e
Let q = 5 - 5. Let g be q + (2 - (-3 + 1)). Does 21 divide 132*((-7)/2 + g)?
False
Does 8 divide 127/(-5)*(-260)/52?
False
Suppose j + 68 = -22. Let s = j + 272. Does 26 divide s?
True
Suppose -4*y = 5*x - 0 - 8, 0 = y - 3*x - 2. Suppose 196 = -y*r + 4*r. Suppose 2*t + r = 2*g, 4*g = -2*t + 37 + 159. Does 29 divide g?
False
Let v = -18 + -2. Let q be 4/6*(-1830)/v. Let r = -38 + q. Is r a multiple of 6?
False
Let m = 2309 + -1166. Does 127 divide m?
True
Let t = -13 + 10. Is 14 a factor of ((-108)/(-18))/(t/(-26))?
False
Let r(t) = -t + 6. Let h be r(4). Suppose 0*f - 6 = h*f - 4*m, 4*f - 8 = 4*m. Is f a multiple of 4?
False
Suppose -17*q = -16*q + 2. Let n be (q + -2)/(-4) - -49. Suppose 0 = 4*b - 5*i - n - 28, -4*b + 4*i = -80. Is 15 a factor of b?
False
Suppose 0 = 9*i - 7*i + 3768. Let y be i/28 + (-6)/(-21). Let m = y + 130. Does 21 divide m?
True
Suppose -2*v - 2*v = 484. Let d = -37 - v. Is 12 a factor of d?
True
Is (-1*4)/((-4)/774*3) a multiple of 35?
False
Let v = -58 - -110. Is 54 a factor of (1027/v)/((-1)/(-4))?
False
Let w be (0 - 7)*(-111)/21. Let k = 161 - w. Does 31 divide k?
True
Suppose 3*k + 3*q = 180, 7*q = -k + 3*q + 63. Is k a multiple of 4?
False
Let o be (14 - 58)*6/4. Suppose -2673 = -4*a + 391. Is (-12)/o + a/22 a multiple of 10?
False
Suppose 0*j = j. Suppose 5*h = 3*q, 0 = 5*q - j*q + 3*h. Suppose q*d - 2*m = 5*d - 338, 214 = 3*d + 4*m. Is 18 a factor of d?
False
Let g(j) = -2*j - 22. Suppose 4*a - z = 41, 3*z - 2 - 5 = -a. Let s be (-2)/3*(a - -11). Is g(s) a multiple of 2?
True
Is 13 a factor of (-6)/((-72)/(-39) - 2)?
True
Let g = 39 - 90. Is 9 a factor of 2/(-3)*g*(-3)/(-6)?
False
Let s(g) = -4*g - 10 + 3*g + 45. Let c be s(0). Let r = c + -25. Is r a multiple of 3?
False
Let u(b) = -b**3 + 12*b**2 - 10*b - 9. Let m be u(11). Suppose m*n - 80 = 160. Is n a multiple of 24?
True
Let p = 255 - -108. Suppose -4*r = k - p, -3*r + 5*k + 246 = -9. Suppose -r + 10 = -5*s. Is 7 a factor of s?
False
Let g(t) = 6*t**3 + 10*t**2 - 13. Let w(h) = -h**3 + h**2. Let i(o) = -g(o) - 5*w(o). Let l be i(-15). Suppose z + 5 = l. Is z a multiple of 8?
True
Let y(x) = -x**3 - 12*x**2 + 12*x - 8. Does 36 divide y(-14)?
True
Does 32 divide (-46)/26*-73 - 76/494?
False
Suppose -3*y = 6*t - 4*t - 1461, -2*t - 5*y + 1467 = 0. Suppose -3*l = 3*z - t, 2*l + 6*z - 3*z = 480. Is l a multiple of 15?
False
Let m be 32/8 + (-2)/(-2). Suppose -3*k + m*k = 0. Suppose 5*g - 2*b + 4*b - 82 = 0, k = 2*g - 5*b - 27. Does 6 divide g?
False
Suppose 5*o = 4*y + 9077 + 3715, y - 5109 = -2*o. Does 9 divide o?
True
Suppose 7*c - 120 = 5*c. Is (c - (3 + 0)) + -1 a multiple of 11?
False
Let d(g) = -55*g - 29. Is 5 a factor of d(-2)?
False
Let t = -13 - -16. Suppose -54 = -5*j + o, 2*j - t*j = -o - 14. Does 6 divide j?
False
Let q(k) = 2*k - 11. Let n be q(8). Suppose -3*y - 5*i = 42, y = -0*y + n*i - 14. Let c = -11 - y. Does 3 divide c?
True
Let z = -97 - -647. Suppose 6*f - 558 = f - 3*l, -5*f + z = -5*l. Is 18 a factor of f?
False
Suppose -5*n - 30 = 2*h, n + h + 30 = -4*n. Let i = n - -105. Is i a multiple of 11?
True
Let c(s) = 17*s**2 - s. Let l = 7 + -2. Suppose -q = -5*x + q - l, 3*q - 5 = 5*x. Is c(x) a multiple of 9?
True
Let i(q) = 3*q**3 - 8*q**2 + 28*q - 11. Let x(c) = 2*c**3 - 5*c**2 + 19*c - 7. Let d(h) = 5*i(h) - 7*x(h). Is d(4) a multiple of 6?
True
Let v = -573 + 861. Is v a multiple of 18?
True
Let p(o) = 37*o + 6 + 3*o - 7*o. Is p(2) a multiple of 8?
True
Let a = -41 - -40. Let n = 1 - a. Suppose 0 = -3*y + s + 156 + 5, -2*s = -n. Is y a multiple of 27?
True
Does 89 divide 4/(-22) + 33290/22?
True
Suppose -74 + 26 = -m. Is m a multiple of 8?
True
Let q(g) = g**2 - 7*g + 8. Let x be q(6). Suppose 4*n = h + 3*h - 56, 2*h + 4*n + x = 0. Suppose h*j - 2*j - 140 = 0. Is 10 a factor of j?
True
Let n be 2510/(-50) + (12/10 - 1). Is 20 a factor of -5 - n/5 - -105?
False
Suppose 2*f - 5*v + 1 = -1, 3*v = -3*f + 18. Let r(a) = 10*a - 7. Let s be r(f). Is 7 a factor of 11 + 0 + s/11?
True
Let p(f) = 3*f**3 + f**2 - 2*f + 3. Let o be p(2). Let b = -23 + o. Suppose 0 = b*x - 133 - 67. Does 25 divide x?
True
Suppose -5*o + 7 = -4*o. Suppose o*g - 156 = -16. Does 4 divide g?
True
Let x(g) = g**2 - 7*g - 8. Let s be x(7). Does 13 divide 27 + (1/(-2) - (-4)/s)?
True
Let r(p) be the second derivative of 37*p**3/6 - p**2 - p. Is r(1) a multiple of 20?
False
Let j = 284 - 130. Is j a multiple of 14?
True
Suppose 252 = -5*w - 4*w. Does 7 divide (147/w)/(3/(-16))?
True
Suppose 2*k + 3*k - 60 = 2*s, -67 = 3*s + 4*k. Let a = -23 - s. Suppose n - 135 = -a*n. Is n a multiple of 9?
True
Let i(w) = -2*w**2 + 2*w + 2. Let q be i(-1). Let d(a) = -2*a. Let b be d(q). Suppose -b*k + 3*s = 4*s - 98, -5*s = 10. Is k a multiple of 8?
False
Let c be 1/3*-3 + 21. Is c/(-90) + 130/18 a multiple of 5?
False
Let o(j) = -2*j**2 - 3*j + 709. Is o(0) a multiple of 31?
False
Suppose -u = -5*r + 4*u, -5*u + 10 = 0. Suppose 5*l + 2*o - 69 = 23, -31 = -r*l + 5*o. Is 6 a factor of l?
True
Is 1*38*6*(-1)/(-4) a multiple of 17?
False
Let u(d) = 2*d**3 + 19*d**2 + 11*d + 12. Does 29 divide u(-5)?
False
Suppose 4*m + 149 = 41. Let a = m + 133. Is a a multiple of 5?
False
Let f(z) = -4 - 2*z + 8*z + 0. Let v = -146 - -150. Is f(v) a multiple of 5?
True
Let c(u) = -u**3 + 8*u**2 + 25*u + 14. Is 37 a factor of c(-9)?
False
Let a be (-4)/(-7)*(-14)/(-4). Suppose -3*c = -4*l - 30, a*l + 16 = -0*l + 2*c. Is (2 + 92/(-8))*l a multiple of 19?
True
Is 40*((-444)/(-60) + (-2)/5) a multiple of 15?
False
Let o(u) = -20*u - 1. Let v be o(1). Suppose -c + 4*r = 2*r + 31, 0 = 4*c + 3*r + 113. Let h = v - c. Does 7 divide h?
False
Suppose -5*a - 10224 = -17*a. Is a a multiple of 74?
False
Suppose -2*b + 2148 = 2*q, 5 - 15 = -5*b. Is 12 a factor of q?
False
Let z = 19 + -10. Let g = -5 + z. Let k(c) = 4*c**2 - 4*c - 3. Is k(g) a multiple of 15?
True
Let g(p) = -26*p. Suppose -3*k + 8*k = 4*u + 30, -5*u = -3*k + 18. Suppose -c - 5*q - 21 = 0, -2*c + 4*q + 8 = -k. Is g(c) a multiple of 13?
True
Let o(j) = -j + 9. Let t be o(6). Let k(h) = -h**3 + 5*h - 6*h + 2*h - 2*h**2 + t. Is 13 a factor of k(-4)?
False
Let z(g) = -g**3 - 10*g**2 + 7*g - 23. Is z(-11) a multiple of 6?
False
Suppose -5*w + q - 422 - 108 = 0, 2*w - 2*q + 204 = 0. Let o = w - -196. Does 14 divide o?
False
Let v = -5 + 5. Suppose j + w - 65 + 14 = v, 2*w - 214 = -4*j. Is 10 a factor of j?
False
Let i(r) = r + 7. Let p be i(-8). Let m be p/((-1)/14*2). Suppose 0 = -m*j + 2*j + 150. Is j a multiple of 5?
True
Let z(j) = -j**3 - 8*j**2 - 5*j - 8. Let t be z(-8). Suppose -3*d = -4*d + t. Let f = d - 17. Is f a multiple of 15?
True
Suppose -5*l + 19 = -11. Suppose -j - 12 = -2*z, 5*j = z - 0 - l. Let a = 10 - z. Is a a multiple of 4?
True
Suppose y - 1 = -3*s, -4*y + 2*y + 4*s = 8. Let x be 1280/24 - y/3. Suppose 0*t - 2*t + x = 0. Is 14 a factor of t?
False
Suppose -2*j + 5*u - 1175 = -7*j, u = 2*j - 473. Does 4 divide j?
True
Let y(s) = -s**3 + 16*s**2 + 19*s - 17. Does 7 divide y(16)?
True
Let i(a) = -36*a - 4. Is 11 a factor of i(-16)?
True
Suppose 12*w - 2 = 118. Let p = 30 - w. Is p a multiple of 5?
True
Suppose -345 = -w + 5*k, -4*w + 2*k + 1476 = 6*k. Suppose -42*i + 37*i + w = 0. Is i a multiple of 14?
False
Let t(z) = -z**3 - 124 + 122 - z**2 - 2*z - 3*z**2. Let y be t(-4). Is 15 a factor of (-3 - y)*(-5 + 0)?
True
Let d = -479 - -509. Does 7 divide d?
False
Let o be (5 - 1)/(8/(-2172)). Is 6 a factor of 0 + o/(-36) + (-1)/6?
True
Let n(k) = 6 + 3 + 2*k - k**2 + 2*k + 2*k**2. Is n(-4) a multiple of 3?
True
Suppose 5*v - 5*p - 13 = 192, p = 0. Is 5 a factor of v?
False
Let s = 4 - -68. Does 6 divide s?
True
Suppose 50*r - 47*r - 2223 = 0. Is 11 a factor of r?
False
Is 22 a factor of -8*8/(-64)*(758 - 2)?
False
Let y = 25 - 23. Let n be 0*y/4*-1. Suppose -5*c + 18 + 142 = n. Is c a multiple of 8?
True
Suppose 4*f = -51*p + 56*p - 680, -279 = -2*p + 3*f. Is p a multiple of 3?
True
Let g(v) = -v + 1. Let b be g(1). Suppose -3*z - 2*q - 8 = b, 0 = -2*q - 3 - 5. Suppose -2*n + 10 + 164 = z. Is n a multiple of 29?
True
Let x be (-2)/(-3 + 20/8). Suppose -79 = x*c - 315. Is c a multiple of 5?
False
Let x(d) = 3*d. Let r be x(1). Suppose k - 7 = -r. Suppose k*s - 81 = -3*y - 2*y, -5*s - 4*y = -99. Is 10 a factor of s?
False
Is 14 a factor 