(-50)). Suppose -w = 4*b - 7*b - v, 2*b - 11 = -5*v. Suppose 0*o - 171 = -b*o. Does 21 divide o?
False
Suppose -4*a + 2963 + 1485 = 0. Suppose -2*s + 7*s - 1084 = -4*q, -a = -5*s + 3*q. Does 20 divide s?
True
Let g(v) = 18*v**2 - 44*v + 58. Does 114 divide g(8)?
False
Let y = -8 + 1. Let u(h) = 5*h**2 + 16*h + 49. Does 14 divide u(y)?
True
Suppose 79*a = 81*a - 2222. Is 28 a factor of a?
False
Let t = -2 + -1. Let c = t - 0. Let r = c + 39. Is r a multiple of 12?
True
Let x = -2 - -4. Suppose -3*r = -x*h - 7 + 20, h + 2*r + 4 = 0. Suppose -h*w - 24 = -3*w. Is w a multiple of 24?
True
Let x(d) = d**3 + 7*d**2 - 2*d. Let b be (-15)/2 + 1/2. Let z be x(b). Does 17 divide 14/(-49) - (-410)/z?
False
Let i(q) = q - 6. Let f be i(-5). Let y = f - -21. Is 5 a factor of y?
True
Suppose -5*c + 15*c - 14960 = 0. Is c a multiple of 88?
True
Suppose 24*b = 30*b + 6. Is ((-7 - -5) + -165)/b a multiple of 13?
False
Let j = -5 - -17. Let c = 14 - j. Suppose -5 = -v + c*o - 2, -2*v + 3*o + 10 = 0. Is 11 a factor of v?
True
Suppose -3*w - 9 = h, -4*h - w + 9 = 1. Let a(g) be the third derivative of g**5/12 + g**3 + g**2. Is a(h) a multiple of 8?
False
Let c(k) = -6*k - 6*k + 2 + 8 + 9*k. Is 18 a factor of c(-13)?
False
Let m be (-1)/(36/8 - 4). Let o(g) = -5*g**2 + g. Let d be o(1). Is 6/d*(-24 + m) a multiple of 13?
True
Let u(q) = 2*q - 30. Let h be u(20). Is -3 + 2 - -46*5/h a multiple of 22?
True
Let k(q) = 153*q - 5. Is 14 a factor of k(2)?
False
Let u be (5/2)/(3/6). Suppose 3*c = 2*v + 14, 3 = -4*c + u*c - v. Let k = c - 4. Does 4 divide k?
True
Suppose 4 = 2*k - 3*t - 0*t, 4*k - 8 = -2*t. Suppose -3*l + b = -53, 0 = -k*l - 3*b - b + 54. Is l a multiple of 6?
False
Suppose -5*j = -4*s - 387, 4*s = j - 4*j + 213. Let f = j + 36. Is 10 a factor of f?
False
Let r = -79 + 234. Let s = r - 55. Let c = s + -26. Is 26 a factor of c?
False
Suppose -14*v + 12 = -13*v. Let p = v + 31. Is p a multiple of 17?
False
Does 7 divide (804/18)/(16/456)?
False
Let i(g) = -g**2 + 6*g. Let c be i(4). Let j(r) = -r**2 - 2*r**2 - 2 + 11*r + 2*r**2. Is j(c) a multiple of 5?
False
Let z = 3 - 1. Suppose 0 = -z*o + 3*o - 2. Does 2 divide o?
True
Let y = 552 - 111. Is 21 a factor of y?
True
Let k(a) = -2*a + 5. Suppose v = -3*v. Let i be k(v). Suppose 2*w + 3*y = 10, -i*w - 5*y + 30 = -0*w. Is w a multiple of 5?
False
Suppose 3*g = 12, -7 = 5*p + g - 4*g. Suppose -1 = -o + p. Suppose -k = o*w - 5*w + 126, -3*k = 0. Is 13 a factor of w?
False
Let q be (-8)/(-52) - (89/(-13) + 2). Suppose q*r - f = -0*r + 475, -4*r + 2*f = -374. Does 24 divide r?
True
Suppose 5*k - 20 = -5*h, 0 = -h - 0*h - 4. Let v(n) = n**2 - 4*n - 1. Let c be v(k). Suppose 0 = -2*l + 5 + c. Is l even?
True
Let g(d) = 3*d**2 + d - 1. Let l be g(0). Is 0 + l/(-1) - -7*25 a multiple of 31?
False
Suppose -w - 4*w + 10 = 0. Let v(m) = 4*m + 3. Let h be v(w). Suppose 0 = -3*a + 13 + h. Is 8 a factor of a?
True
Let t(c) = 2*c**2 + 4*c - 1. Let l be t(3). Suppose 0 = 2*p + 5*m - 74, -126 = -5*p - 5*m + l. Let a = p - 18. Is 2 a factor of a?
False
Let b = -2 + 2. Suppose -3*q + q = b. Suppose 3*l - 90 = -q*l. Is 9 a factor of l?
False
Let a = -1720 + 2483. Is 10 a factor of a?
False
Let o(b) = 7*b - 48. Let j(p) = 10*p - 72. Let x(f) = -5*j(f) + 7*o(f). Suppose 5*d + 0*d = 0. Is x(d) a multiple of 7?
False
Let c = -111 + 117. Suppose -2*j = -c*j + 764. Is j a multiple of 17?
False
Suppose -5*d + 54 = -4*x + 795, -x + 2*d = -186. Does 23 divide x?
True
Let t(f) = f - 5. Let m be t(8). Suppose 3*p + 7 + 6 = 2*h, 0 = -m*p - 9. Suppose 0 = 4*i - 4*n - 40, 0 = h*n + 2*n. Is i a multiple of 10?
True
Let u = 38 - 36. Suppose -t = -2 - u. Suppose -t*a - 25 = -225. Does 15 divide a?
False
Let j(s) = 2*s + 23. Let f be j(-9). Suppose 0 = -2*z - 8, -5*q + 156 - 46 = -f*z. Is q a multiple of 3?
True
Let v = -63 + 325. Does 51 divide v?
False
Suppose 0 = c - 2 - 1. Let d(t) = t - 8. Let o be d(10). Suppose c*s + 38 = 4*i + o*s, 5*i - 41 = -2*s. Is 3 a factor of i?
True
Suppose -10 = -5*t + 4*z + 2, t + z = -3. Let h be (-1*t/3)/2. Suppose -5*m + 89 + 46 = h. Does 7 divide m?
False
Suppose 106*r + 4752 = 117*r. Is 6 a factor of r?
True
Let d(a) = -63*a + 8. Let g be d(3). Let u = 331 + g. Does 10 divide u?
True
Let k = -717 - -2967. Is k a multiple of 15?
True
Suppose 5461*a = 5453*a + 9840. Is a a multiple of 65?
False
Let i = -166 + 108. Let o = i - -128. Is o a multiple of 7?
True
Suppose -3*p - 3*i - 15 = 0, -2*i - 7 = 3*p + 6. Is 16 a factor of (-193)/p - (-5)/(-15)?
True
Let t be 99/(-12)*1*-12. Suppose -1683 = 21*l - 486. Let m = l + t. Is m a multiple of 7?
True
Suppose 15 = 3*h - 0*h. Suppose 544 + 75 = -h*q + 3*x, x = 3*q + 369. Let d = -82 - q. Does 13 divide d?
False
Let j(g) = -28*g + 2. Let a(v) = v**2 - 6*v + 6. Let p be a(5). Let o be j(p). Is (-4 + o/(-2))*9 a multiple of 27?
True
Suppose 0 = 28*m - 20*m - 160. Is m a multiple of 10?
True
Suppose 33*g + 2454 = 5*w + 37*g, -5*w + 2455 = 5*g. Is 70 a factor of w?
True
Let r(y) = 4*y**3 - y + 3. Let u be r(6). Suppose 4*o - u - 112 = 5*c, 994 = 4*o + 2*c. Suppose -o - 383 = -6*g. Is g a multiple of 15?
True
Let h(k) = 8*k**2 - 6*k. Let s(u) = -u**3 - 4*u**2 - 3. Let w be s(-4). Does 6 divide h(w)?
True
Let b(q) = 109*q**2 - 48*q. Is b(4) a multiple of 5?
False
Suppose -2*s + 3*u + 12 = 0, 2*s = u - 0*u + 20. Let p be -1*1 + (0 - -34). Does 11 divide (32/s)/(2/p)?
True
Suppose -3*l + 3 - 18 = 0. Let k = -5 - 17. Does 5 divide l - -2 - k/1?
False
Suppose -2*z = w - 640, 5*z - w = 2561 - 968. Does 12 divide z?
False
Let k = 46 + -41. Suppose -7*s + 12 = -k*s. Is s a multiple of 6?
True
Suppose -5*l = 3*c - 2819 - 4752, -6 = -3*c. Does 89 divide l?
True
Suppose 3*f + 539 = 4*m - 770, -2*f - 1310 = -4*m. Does 8 divide m?
True
Let d(o) = 3*o + 30. Is d(27) a multiple of 18?
False
Suppose -a + 161 = 2*q + 40, a - 239 = -4*q. Suppose q + 10 = v. Is v a multiple of 23?
True
Let t = 391 + -156. Let s = -139 + t. Is s a multiple of 24?
True
Suppose 0 = -2*w - 0*w - 5*o + 17, 4*w = 5*o - 11. Suppose -3*c + 199 = -308. Suppose 3*l + w - c = 0. Is 14 a factor of l?
True
Let a = 1346 + -760. Is a a multiple of 25?
False
Let o = 2966 + -1327. Is 27 a factor of o?
False
Suppose 38*a - 43501 = 54349. Does 44 divide a?
False
Let w = 127 - 289. Is 13 a factor of (18/27)/(1 + 158/w)?
False
Let h(p) = 206*p - 760. Is h(6) a multiple of 4?
True
Let a(j) = -j**3 + 19*j**2 - 30*j - 54. Does 3 divide a(16)?
True
Let u(o) = -30*o + 143. Is u(-23) a multiple of 17?
True
Suppose 14*t - 7286 = 2976. Does 6 divide t?
False
Let z(t) be the third derivative of t**5/60 - 5*t**4/24 + t**3/6 + 5*t**2. Let u be z(6). Let r = 14 - u. Is r a multiple of 7?
True
Suppose -4*t + 14*t = -50. Let n(o) = -2*o**2 + 4*o + 13. Let x(p) = 2*p**2 - 3*p - 12. Let g(y) = 4*n(y) + 5*x(y). Does 19 divide g(t)?
False
Let j(c) = -c**3 + 2*c**2 - 2*c + 53. Let v(p) = -p**2 + 4*p + 5. Let i be v(5). Is j(i) a multiple of 9?
False
Let k(w) = w**3 - w**2 + 912. Let r be k(0). Suppose 5*d - r = -3*d. Is 19 a factor of d?
True
Suppose a - 2*h = 8, -4*h - 20 = 5*a + h. Is 12 a factor of 94 + a - 6/3?
False
Suppose 24 = -o + 3*o + 5*g, 0 = 4*o - 2*g. Suppose -o = 4*n - 6. Suppose i - n = 3. Does 4 divide i?
True
Let a(x) = 718*x**3 + 3*x**2 + x - 2. Is a(1) a multiple of 18?
True
Let v(d) = 3*d**2 - 14*d + 21. Is 10 a factor of v(9)?
False
Does 12 divide ((-405)/(-20))/(18/336)?
False
Suppose -3*h - 478 = 4*f, 2*h - 5*f - 154 + 442 = 0. Let d = 260 + h. Is d a multiple of 38?
False
Suppose 37 + 11 = 6*l. Let c be 24/32 + (-6)/l. Does 7 divide 41 - (c + 2 + -4)?
False
Let o(w) = -w + 7. Suppose 3*l = -2*l. Let z be o(l). Suppose -z*s + 96 = s. Does 6 divide s?
True
Let y = -58 - -59. Does 12 divide 79 - (-16)/4 - 1/y?
False
Let v = -213 + 429. Is v a multiple of 30?
False
Suppose -4*c = -3*c - 3. Suppose -c*d = -3*z - 345, 2*z + 120 = z + 2*d. Let s = 178 + z. Does 17 divide s?
True
Suppose 858 - 2597 = -2*g - 5*t, 0 = -2*g - 2*t + 1730. Is g a multiple of 11?
False
Let l(b) = 11*b**2 - 24*b + 180. Does 7 divide l(6)?
False
Suppose 6*z - 3*z = -21. Let h(f) = 4*f**2 + 16*f - 4. Does 13 divide h(z)?
False
Let b(p) = -p + 11. Let o be b(-11). Let i = 105 - o. Does 19 divide i?
False
Let b(d) = 5 + 0 + 165*d**2 + 0*d + 5*d. Let r be 