e
Let j(l) = -l**3 + 4*l**2 + 15*l - 7. Let c be j(6). Let y = c + 2. Suppose -204 = -4*h - 4*s, 2 = 3*s - y. Is 10 a factor of h?
False
Suppose 4*z - 506 = -2*f, 47*z - 997 = -4*f + 42*z. Is 9 a factor of f?
True
Let x = 1469 - -1154. Does 43 divide x?
True
Let b = 685 - 488. Is b a multiple of 39?
False
Suppose -5*s - 2*j + 1662 = -6*j, -2*j = 5*s - 1644. Does 110 divide s?
True
Let v = -375 + 403. Does 3 divide v?
False
Let s(u) = -29*u + 298. Is s(-8) a multiple of 2?
True
Suppose -2*t + 3*t = -261. Let q be (1 + t/(-6))*-18. Is (-1)/(-3) - q/27 a multiple of 10?
True
Let x(u) = 8*u**2 + 11*u + 3. Does 18 divide x(3)?
True
Does 4 divide 4/18 + (-3396)/(-27) - -6?
True
Let b = -640 - -1626. Does 17 divide b?
True
Let u = 390 + -182. Does 16 divide u?
True
Suppose -15 = 5*q, 4*q + 262 = 2*r + 3*r. Let u = r + 4. Is 27 a factor of u?
True
Suppose 4*k + 43*p = 41*p + 3256, -2*k - 5*p + 1612 = 0. Does 16 divide k?
True
Let r be ((21/(-4))/(-7))/((-2)/(-264)). Let d(s) = s**3 - 6*s**2 + 7*s - 6. Let k be d(5). Is 10 a factor of k + -5 - r/(-3)?
False
Let f(m) = m + 9*m**2 - 8*m**2 + 2*m + 4*m. Let b be f(-7). Suppose b = -5*x + w + 74 + 18, 10 = -5*w. Is x a multiple of 9?
True
Suppose 0 = -2*g + 4, 2*y = -0*y - 3*g + 584. Does 21 divide y?
False
Let l be (-2)/(-2) + (-78)/2. Let a be (-34)/(-17)*(2 - -1) + -115. Does 27 divide a/(-2) - (-19)/l?
True
Is 22 a factor of (-70716)/(-355)*5/2?
False
Let q(d) be the second derivative of d**4/12 + 5*d**3/3 + 2*d**2 - 2*d. Is q(-16) a multiple of 19?
False
Suppose -2*f + 118 + 696 = 0. Is 37 a factor of f?
True
Suppose -3*v + 5*s + 1461 = 0, -24*s = -27*s. Is 15 a factor of v?
False
Let p be 3 - 1 - (-1 - -2). Suppose i + p = 10. Suppose j - 2 - i = 0. Is j a multiple of 6?
False
Let j(u) = -u**3 + 5*u**2 - 8. Let o be j(4). Is 3/1*(o/6 - -2) even?
True
Let t(s) = -s**2 - 16*s - 27. Let i(j) = j**2 - 7*j + 1. Let r be i(3). Is t(r) a multiple of 4?
True
Let r(f) = -75*f**3 + 2*f**2 + f. Let q = -12 + 11. Is 11 a factor of r(q)?
False
Let h = 12 + -6. Suppose n = h - 1. Let d(f) = 2*f**2 - 2*f + 4. Is 11 a factor of d(n)?
True
Let q = 9294 - 6086. Does 25 divide q?
False
Let y(j) = 16*j**2 + 9*j - 4. Let f be y(4). Suppose 0 = -i + 7*i - f. Is i a multiple of 20?
False
Suppose 33*q + 1620 = 5*i + 37*q, i - 4*q - 324 = 0. Is 9 a factor of i?
True
Let t be (-92)/(-12) + (-2)/(-6). Let h = -5 + t. Does 11 divide (11/h)/1*3?
True
Suppose -5*c = l + l, 0 = l + c. Suppose l = -n - 6. Is ((-172)/8)/(3/n) a multiple of 14?
False
Let z(v) = -v**3 + 12*v**2 + 19*v - 16. Let d be z(12). Suppose -2*a - 7*n = -3*n - 124, -n - d = -4*a. Is 9 a factor of a?
True
Let f = 318 + -277. Is f a multiple of 3?
False
Suppose -4*d - 32 = -0*d. Let t = 25 + d. Suppose -5*l = -5*z + 90, 8 = -z + 4*l + t. Does 10 divide z?
False
Suppose 0 = s + 3*r - 310, -r - 2*r - 647 = -2*s. Does 29 divide s?
True
Let f(q) = -q. Let j be f(4). Let a(d) = -470*d + 2 + 1 + 451*d + 3 + 2. Is a(j) a multiple of 12?
True
Suppose 59*a - 47*a - 15264 = 0. Does 88 divide a?
False
Let m be -1 - (-2 - (-27)/(-3)). Suppose -7*r = -5*r - m. Suppose 3 = -3*c + r*q - 0, 5*c - 14 = 2*q. Is c a multiple of 3?
False
Is (-4 - 0 - -1078)/2 a multiple of 4?
False
Suppose 12*o - 3*o + 72 = 0. Let g = 177 - o. Is g a multiple of 13?
False
Suppose -2*y - 7*y = -1584. Is 16 a factor of y?
True
Suppose 2*q + 8 = v, 5*q - 4*v + 2*v = -22. Is (-4)/q - (6 - 52/3) a multiple of 6?
True
Let m = 26 - 21. Does 29 divide 138 + (m - 2 - 3)?
False
Is 13 a factor of 9 + -3 + 6 + 105?
True
Let z(a) = 171*a - 307. Does 10 divide z(7)?
True
Suppose 0 = n + 314 - 918. Is 42 a factor of n?
False
Suppose k + 31 = g - 4*k, -5*k = g + 9. Let n be 2/(-11) + 1201/g. Let t = n + -65. Does 19 divide t?
False
Let k(j) = -j**2 - 51*j - 37. Does 3 divide k(-30)?
False
Suppose 15030 = -13*u + 38027. Is u a multiple of 18?
False
Let n(c) = c**2 - 3*c + 7. Let m be n(3). Suppose m*x = -0*x + 441. Does 7 divide x?
True
Let m = -12 + -199. Let s = m - -297. Does 14 divide s?
False
Let w(c) = -3*c - 10*c**3 + 0*c**3 - 2*c**2 + 2*c. Let k = 5 + -6. Does 9 divide w(k)?
True
Suppose 5*h = 10 + 10. Let v = 1 + h. Suppose v*u - 29 = 5*b + 136, 4*b = -u + 18. Does 10 divide u?
True
Suppose -11 + 3 = 2*w. Let g = w + -25. Let y = g - -99. Is y a multiple of 14?
True
Suppose 15*d - 5*d - 900 = 0. Is 10 a factor of d?
True
Let k be 1/(1 - (-210)/(-207)). Let m be (-4)/(k/21 - -3). Suppose 26 = 2*f + 7*p - 2*p, m = f + 3*p. Is 5 a factor of f?
False
Let t = -148 - -156. Does 11 divide (-12)/t*(-5)/((-15)/(-424))?
False
Is 23 a factor of (5/((-10)/(-32)))/((-2)/(-29))?
False
Let o(j) = -j**2 + 8*j - 18. Let c be o(4). Let i = 3 + -5. Does 3 divide 20 - (-3)/i*c?
False
Let r(j) be the second derivative of -j**6/120 + 3*j**5/20 - j**4/8 - 2*j**3/3 - j**2 + 5*j. Let t(n) be the first derivative of r(n). Does 10 divide t(8)?
False
Suppose 169 = 3*o - a, -2 - 3 = -a. Let y = o - 31. Is y + -1 - (4 - 0) a multiple of 22?
True
Let o(r) be the third derivative of r**6/120 - 7*r**5/60 + r**4/8 - r**3/6 + 5*r**2. Suppose 12*i - 15*i = -21. Is o(i) a multiple of 19?
False
Let z(r) = 3*r + 4. Let w(j) = j + 1. Let d(u) = u**3 - 8*u**2 + 4. Let f be d(8). Let h be w(f). Is 10 a factor of z(h)?
False
Let p(r) = -8*r**3 + r**2 + 2. Let c = -47 + 45. Is 10 a factor of p(c)?
True
Let r = 13 - 5. Let o = -3 + r. Suppose o*i - 47 = 128. Is i a multiple of 8?
False
Let u = -69 + 73. Does 13 divide (5 - 1)/u + (-596)/(-2)?
True
Suppose -3*i = a - 137, -4*a - i + 427 + 143 = 0. Is a a multiple of 31?
False
Let q be -1 + 6 + (0 - -2). Suppose -2*a = -3*j + 20, 3*j - q*j = 3*a - 38. Does 7 divide 164/j - 1/(-2)?
True
Let k = 308 - 218. Is 9 a factor of k?
True
Is (-28)/(-5)*(13 + 172) a multiple of 5?
False
Suppose -2*c = 5*c - 154. Suppose y - c = -19. Is y even?
False
Let f(r) = 7*r**2 - 5*r + 2. Let y(k) = -22*k**2 + 14*k - 6. Let i(u) = -11*f(u) - 4*y(u). Let c be (-11 + 2)*(-2)/9. Does 17 divide i(c)?
False
Suppose 125 = -0*m - m. Let v = m + 183. Is v a multiple of 20?
False
Is 6*(-3)/(-81) + 2095/9 a multiple of 6?
False
Let n be (4 - 5) + 3/2*2. Suppose -5*x + 247 = n*w, -x - 4*w - 25 = -78. Does 8 divide x?
False
Suppose 0 = 5*a + 3*g - g - 817, g = a - 162. Let f = a - 114. Is 7 a factor of f?
True
Let f(x) be the second derivative of x**6/120 + x**5/10 - x**3/2 - 2*x**2 - 5*x. Let w(r) be the first derivative of f(r). Is 14 a factor of w(-4)?
False
Is 1472/(-10)*(-5)/(-2)*-2 a multiple of 92?
True
Let t(s) = 7*s**2 - 7*s - 20. Let w(z) = 9*z**2 - 6*z - 19. Let c(b) = 4*t(b) - 3*w(b). Is 14 a factor of c(-7)?
False
Let p(c) be the third derivative of c**5/60 - c**4/12 - c**3/6 - 14*c**2. Does 7 divide p(6)?
False
Let x = 235 - 161. Is 4 a factor of x?
False
Let v = 357 - 280. Is v a multiple of 27?
False
Does 21 divide (-3 - (-29)/9) + (-13035)/(-27)?
True
Let n(a) = -10*a - 56. Is 6 a factor of n(-17)?
True
Is 51 a factor of ((-92)/(-6))/(4/162)?
False
Let g = -145 + 160. Is g a multiple of 12?
False
Let p(b) = b + 13. Let l(w) = -w**2 - w + 2. Let h be l(-2). Suppose -5*c + c = -4*d + 40, 2*c - 4*d + 18 = h. Does 2 divide p(c)?
True
Let g(w) = 25*w - 114. Is g(11) a multiple of 15?
False
Suppose -b - 3 = 0, -4*m + 3*m + 4*b + 8 = 0. Let x(w) = -3*w**2 - 3*w - 17. Let k(z) = 2*z**2 + 3*z + 16. Let o(f) = m*x(f) - 5*k(f). Does 22 divide o(7)?
False
Let r(t) = -t + 12. Let h(x) = -1. Let y(f) = 4*h(f) + r(f). Let b be y(0). Is (-4)/b - 19/(-2) a multiple of 4?
False
Let w be ((-2)/(-6))/(2/30). Suppose -w*s + 98 = -127. Is s a multiple of 15?
True
Suppose g + 40 = 5*g. Suppose g*x - 1005 = 485. Is 19 a factor of x?
False
Suppose -3*o - 5 + 14 = 0. Is o/(-7) - 400/(-35) a multiple of 11?
True
Let c(i) = -i - 3. Let z be c(-6). Suppose -3*v + z = -9. Is 11 a factor of (v - (-75)/(-12))*-24?
False
Let o be (42/9)/7 - (-70)/(-6). Let j be (-51)/2 - (-2)/(-4). Does 5 divide j/143 - 156/o?
False
Suppose 705 = 2*c + 145. Is 3 a factor of c?
False
Suppose 2*s + 2*s - 10 = -5*y, 2*y - 3*s = 27. Suppose w + y = 51. Is 15 a factor of w?
True
Suppose 10*f - 7*f - 210 = 0. Suppose -4*x = 2*t - 0*t + f, t - x + 32 = 0. Let b = t - -40. Is b a multiple of 2?
False
Suppose -184 = -10*y + 736. Does 6 divide y?
False
Let r(i) be the first