e
Let v = 17 - 14. Suppose 23 = 3*c + 5*d - 1, -v*d + 9 = 0. Suppose -2*w = -t + 20, 2*t = c*w - 6*w + 12. Does 3 divide t?
True
Let a be (0 + 0)/(28/14). Suppose a*r - 1 = -r, -r = 3*s - 130. Is s a multiple of 18?
False
Let f be (-2)/(-5) - (-26)/10. Suppose f*r - 17 = -5. Suppose r*w = 37 + 63. Is 7 a factor of w?
False
Suppose 0 = 3*n - 7*n + 20, 5*i - 35 = -5*n. Suppose -2*j + x + 14 = 4*x, i*x = -4*j + 20. Suppose -2*o + 117 = r, 0*r + 54 = o - j*r. Is o a multiple of 8?
False
Let y = -3 + 12. Suppose 0 = z - 4*z + y. Is 6*z - 0/(-4) a multiple of 8?
False
Let p(q) = -2*q**3 - 6*q**2 + 5*q - 3. Is p(-5) a multiple of 25?
False
Suppose 617 = 5*q - j, -q - 4*j - 236 = -3*q. Suppose -p - 20 = -2*v - 69, 3*p = 2*v + 151. Suppose 2*t + g - p = 0, 3*t - g = -2*t + q. Is 25 a factor of t?
True
Let k = -241 + 562. Is k/18 + -2*(-1)/12 a multiple of 2?
True
Let u(h) = 11 + 57*h - 16*h - 32*h + 8. Is u(8) a multiple of 13?
True
Suppose -2*q + 2*t = -34, -29 = -q + 2*t + 2*t. Suppose -q*s + 64 = -11*s. Is s a multiple of 28?
False
Let m be ((-20)/5 - (-11)/1) + -2. Suppose -m*r = -197 + 17. Is r a multiple of 9?
True
Suppose -3*k + 7 = 4. Is -1*(0 - (k + 8)) a multiple of 2?
False
Suppose 1955 = 5*b - 1620. Does 65 divide b?
True
Suppose 0 = 7*l - 4*l - 9, -z + 3*l = -61. Is z a multiple of 7?
True
Let a(m) = -m**3 - 7*m**2 + 8*m + 7. Let v be a(-8). Let k(p) = p**2 - 8*p + 5. Let x be k(v). Let o(w) = 19*w**2 - 3*w - 3. Does 17 divide o(x)?
False
Suppose 3*f + 4*y + 17 = 0, -2*f - 3*y = 10 + 3. Suppose -f - 11 = -2*a. Suppose a*u + 60 = 7*u. Is u a multiple of 21?
False
Let y(r) = 94*r**2 + 4*r + 4. Is 12 a factor of y(-2)?
True
Let d = 12 - 7. Suppose -t = -2*y - 3*t - 22, -25 = d*t. Let b(c) = c**3 + 9*c**2 + 13*c + 1. Is b(y) a multiple of 15?
False
Let t(a) = 578*a**2 + 10*a + 4. Is 22 a factor of t(-1)?
True
Let x(n) be the first derivative of n**4/4 + n**3 + 4*n + 5. Let m be x(-4). Does 18 divide 3/m*-4 + 26?
False
Let a be (-4 + 6 - 3)*-3. Is (-2)/(-4)*522/a a multiple of 24?
False
Let d be -33 - (2 - 4)/(-2). Let i be -42 - (0/1)/(-4 - -1). Let j = d - i. Is j a multiple of 2?
True
Suppose 0*n - 36 = 6*n. Is -5 + (-34)/(-6) - 416/n a multiple of 14?
True
Suppose -p = m - 5, -p - 3*m = -0*p - 5. Suppose -21 = 3*o - 96. Does 24 divide 120/o*(p + 0)?
True
Let w be (-34)/(-4) - 1/(-2). Suppose p + 2*z - w = -2, -3*p = 3*z - 12. Is 7 a factor of (-9 + p)/(3 - 4)?
False
Let b(n) = 38*n + 150. Does 23 divide b(13)?
True
Suppose u - 4*g + 23 = 7, u - 2*g = -6. Is (-1)/u - (-882)/8 a multiple of 11?
True
Suppose -4*w + 7 + 21 = 0. Let m(v) = 12*v - 33. Is 5 a factor of m(w)?
False
Let w = 5 - 13. Let a(i) = i**3 + 16*i**2 + 14*i + 1. Let d(g) = -3*g**3 - 47*g**2 - 41*g - 4. Let f(l) = -17*a(l) - 6*d(l). Is 18 a factor of f(w)?
False
Let m(t) = -25*t - 4. Let p be m(-3). Let z = p + -43. Is z a multiple of 7?
True
Let a(c) = -15*c**3 + 3*c**2 + c + 1. Is a(-3) a multiple of 10?
True
Let z = 111 - 48. Is z a multiple of 5?
False
Let i = 15 + -16. Let x be (-1 + i - -2)*-1. Suppose x = 2*g + 2*g - 72. Does 6 divide g?
True
Let r = 132 - 7. Is r a multiple of 5?
True
Let w(u) = -u**3 - 23*u**2 - 48*u + 40. Is 39 a factor of w(-22)?
False
Let d be ((-6)/(-3))/(3/(-18)). Does 5 divide d/16 + 111/4?
False
Let a(n) = 10*n + 13. Let g(y) = 5*y + 6. Let u(m) = 4*a(m) - 9*g(m). Let k(f) = -6*f - 3. Let o(p) = 2*k(p) - 3*u(p). Does 9 divide o(4)?
False
Is 44 a factor of (-11 - 7)/6 - -1783?
False
Let a(k) = 66*k + 2. Let s be (-3)/1*6/(-9). Let f be a(s). Suppose 0 = -3*g - 17 + f. Is g a multiple of 13?
True
Let y(p) be the third derivative of p**5/60 + 5*p**4/12 + 4*p**3/3 + p**2. Let d be y(-16). Suppose -2*c + 10 + d = 0. Does 12 divide c?
False
Let g(h) = h**2 - h + 304. Does 65 divide g(0)?
False
Let a(m) = -17*m + 41. Let i(g) = 35*g - 82. Let d(j) = -7*a(j) - 4*i(j). Let u(t) = 11*t - 21. Let r(k) = 6*d(k) + 11*u(k). Does 11 divide r(-8)?
True
Suppose 9*c - 6 = 4*c + 4*w, 0 = 2*c + 3*w - 7. Suppose r = c*r - 4. Let t(o) = o**2 - 5. Is t(r) a multiple of 11?
True
Let s(a) = -189*a + 35. Does 11 divide s(-7)?
False
Let j(a) = a**3 - a**2 + 6. Let u be (6 + -6)/((-1)/1). Is 6 a factor of j(u)?
True
Let p = 2113 + -1415. Suppose -3*l + 39 = l + 3*q, -3*q - 15 = -5*l. Is 13 a factor of l/27 + p/18?
True
Suppose -2*b = -3*b - z, 0 = 5*z + 15. Suppose -h = -4*v + 3*h - 8, b*v + 2 = -h. Does 9 divide (9/(-4))/(v/12)?
True
Let a(u) = 37*u**2 + 32*u - 114. Does 4 divide a(4)?
False
Let m = -198 - -1088. Suppose 5*l + m = 5*i, -2*l = -0*i + 2*i - 364. Does 20 divide i?
True
Let y = 1378 - -1874. Is 6 a factor of y?
True
Suppose 3*p - 13*g + 12*g = 7200, 0 = 3*g. Is p a multiple of 25?
True
Suppose -4*r = 3*m + m - 256, -4*m + 258 = 2*r. Let d be (-652)/16 - 4 - (-1)/(-4). Let t = d + m. Does 10 divide t?
True
Suppose -2*s = -i + 34, 5*i = 2*s + 80 + 58. Does 14 divide i?
False
Suppose -6*x = 724 + 50. Let i = x + 264. Is i a multiple of 27?
True
Let x(t) = -44*t + 295. Let p be x(7). Let r(k) = -7*k**2 + 23*k - 9. Let b(a) = -3*a**2 + 12*a - 5. Let q(d) = -9*b(d) + 4*r(d). Is q(p) a multiple of 8?
True
Let i = 386 - 200. Does 11 divide -3 + i + 4/(-4) + 5?
True
Let l = 78 - 39. Let o(w) = 14*w + 1. Let a be o(-1). Let b = l + a. Is 13 a factor of b?
True
Suppose -4*g - 2*i + 5*i = -855, -825 = -4*g - 3*i. Is 44 a factor of g?
False
Let a = 1340 + 22. Is 6 a factor of a?
True
Let f be 20/3 - 2/3. Suppose -4*q + 10 = -10, -2*i + 35 = 3*q. Let w = f + i. Does 8 divide w?
True
Suppose -6551 = -9*h + 253. Is h a multiple of 46?
False
Suppose -d + 13 = z, d + 13 = -2*z + 3*z. Suppose 3*m - 4*m = -z. Is m a multiple of 4?
False
Suppose -3*p = -2*g + 9 + 16, -100 = -4*g - 4*p. Suppose 0 = -g*n + 21*n - 45. Is n a multiple of 15?
True
Suppose -521 = -9*i + 667. Does 66 divide i?
True
Let d(j) = -56*j**2 - 2*j + 3. Let z be d(1). Is (-10)/z + (-2236)/(-44) a multiple of 17?
True
Suppose 5*b - 10*n + 6*n = 455, -3*b - n = -273. Is b a multiple of 15?
False
Let x = -80 + 34. Let m = x + 102. Let i = m - 29. Does 9 divide i?
True
Let t be 14/(-4)*34/1. Suppose -2*h + 5*h - 9 = 0, -5*p - 317 = -4*h. Let r = p - t. Does 21 divide r?
False
Let q(h) = -h**3 - h**2 - h - 1. Let s(i) = 4*i**3 - 13*i**2 + 2*i + 11. Let t(y) = -3*q(y) - s(y). Let m be t(16). Suppose -4 = -2*c + m. Does 2 divide c?
True
Let c(x) = 2*x**2 + 11*x - 14. Let a be c(-6). Let r(h) = 3*h**2 - 8*h + 30. Is r(a) a multiple of 46?
False
Let v(g) = -3*g**2 + 25. Let d be v(6). Let m = d - -148. Does 13 divide m?
True
Let h = -3 - -4. Suppose 0 = d + 2 + h. Let p = 23 + d. Is p a multiple of 14?
False
Let l be (-2)/7 - 64/(-28). Suppose 0 = -18*u + 25*u - 182. Suppose l*f = u + 40. Does 11 divide f?
True
Suppose 11*h + 1994 = 11564. Does 34 divide h?
False
Let b(x) = -x**3 - 3*x**2 + x. Let k be b(-4). Suppose 17*r - k*r = 180. Does 9 divide r?
True
Suppose -8*g + 45 = -11*g. Let k = g - -28. Does 13 divide k?
True
Suppose 0*l = -2*l + s + 275, -5*l - 2*s + 692 = 0. Suppose -4*m = -142 - l. Is m a multiple of 10?
True
Is (-24)/(-6)*-1*1785/(-14) even?
True
Let f = 31 + -115. Does 22 divide ((-51)/(-9) - 0)/((-4)/f)?
False
Let w = 163 + 606. Is 33 a factor of w?
False
Let p be (-8)/(-6)*(-6)/(-4). Suppose -2*t - 28 = -4*b, b - 4*b + 24 = -3*t. Let c = p + b. Is c a multiple of 3?
False
Let t(g) = -g - 2*g**3 + 2 + 2*g**2 + g**3 + 6 + 4*g**2. Let u be t(6). Suppose 4*k = -4*l + 140, -u*k - 66 = -4*k - 4*l. Is k a multiple of 19?
False
Let j = -753 + 1128. Does 31 divide j?
False
Suppose -3*r + 4644 = 3*c, -4*r - 26 + 38 = 0. Does 12 divide c?
False
Let x be (-1)/2*(4 - 2). Does 12 divide x + 3 + 2096/16?
False
Let s = 100 + -12. Suppose 3*w - 4*h = s + 19, 5*h - 190 = -5*w. Is 17 a factor of w?
False
Let x be (1 - 1)/((-14)/7). Let b be ((3 + x)*2)/2. Does 10 divide (1 - b - 1) + 63?
True
Let l(x) = 3*x**3 - 4*x**2 - 2*x - 8. Is 8 a factor of l(5)?
False
Let a = -282 - -786. Is a a multiple of 21?
True
Let d = -22 + 54. Suppose -8*x = u - 3*x - 5, -5*u = -2*x + 110. Let o = u + d. Does 12 divide o?
True
Suppose q + z - 252 = 0, 3*q - 4*z - 760 = -6*z. Let i = -141 + q. Is i a multiple of 15?
False
Is (-2 - (-13)/7) + 666/7 a multiple of 19?
True
Let b(j) = 12*j - 4. Let t be b(2). Is 42 a factor of 6/(-10) + 