be v(-6). Suppose -a*i = 2*i - 390. Does 18 divide i?
False
Let k(c) = 8*c + 21. Let l be k(-2). Suppose l*v - v - 164 = -4*n, 3*n = -v + 49. Does 5 divide v?
False
Let l = 1254 + -474. Is 39 a factor of l?
True
Suppose -6*s + 30 - 36 = 0. Is 10 a factor of (s + -4)*(-28 + (-4 - -1))?
False
Let s be (12/(-5) + 2)*-5. Suppose -5*b - 310 = -335. Suppose -b*h + s*h + 111 = 0. Is h a multiple of 11?
False
Let r(o) = o**3 + 15*o**2 - 15*o - 34. Is r(-10) a multiple of 44?
True
Let a(l) = -l**3 + 11*l**2 - l + 9. Let x(q) = -q**3 - 15*q**2 + 15*q - 5. Let b be x(-16). Let c be a(b). Is 2 a factor of 1*c + (12 - 5)?
False
Let n be 2*-2 + (3 - -9). Is 20 a factor of 266/n + 3/(-12)?
False
Let z(u) = 4*u**3 - 2*u + 15. Is 4 a factor of z(0)?
False
Suppose -2*l = 3*l + f - 257, f + 107 = 2*l. Is l a multiple of 13?
True
Suppose -116 = -2*v - 3*b, v - 4*b - 144 = -v. Suppose 0 = -v*z + 62*z + 82. Is z a multiple of 2?
False
Suppose 24624 = 48*s - 24*s. Is 74 a factor of s?
False
Suppose -14*n = -6058 + 262. Is 3 a factor of n?
True
Let u = -23 - -32. Let g(c) = -3*c - 4 - u + 4. Does 3 divide g(-8)?
True
Suppose -101*b + 46464 = -57*b. Does 24 divide b?
True
Is 18 a factor of 754/21 - (1145/105 + -11)?
True
Suppose -2*a = 7 + 1, -2*l - a - 16 = 0. Let q(n) = -n**3 + n**2 - 1. Let p(z) = 7*z**3 - 11*z**2 + z + 8. Let c(g) = l*q(g) - p(g). Is c(4) a multiple of 6?
False
Suppose -28*q - 32*q + 38760 = 0. Does 5 divide q?
False
Let f = -990 - -1910. Is f a multiple of 8?
True
Suppose -m - 55100 = -26*m. Does 24 divide m?
False
Let p = -39 + 41. Does 3 divide (3 + -3 - -3) + (p - -1)?
True
Let a(v) = v**3 - 9*v**2 + v - 9. Let c be a(9). Let h = 2 + c. Let z(w) = 3*w**2 + w + 1. Does 9 divide z(h)?
False
Let v be 12*1/(3/30). Let d(z) = -z**3 - 2*z**2 - 3. Let u be d(-3). Does 10 divide (16/u)/(16/v)?
True
Does 24 divide 221198/95 - 2/5?
True
Suppose -3*k - 7 = -q + 3*q, -q - 3*k = 2. Let p be (1 - 1)/(-3 - q). Suppose p = -4*t + 77 + 115. Does 12 divide t?
True
Let a be (-2)/4 + 75/(-6). Let s be (-10)/30*(a + 1). Suppose -5*d + 0*v = v - 76, -s*v + 64 = 5*d. Is 8 a factor of d?
True
Let s(g) be the second derivative of g**5/20 - g**4/6 + g**3/3 - 2*g**2 + 13*g. Does 11 divide s(3)?
True
Suppose -4*b = 2*b + 570. Let h = -43 - b. Is h a multiple of 9?
False
Let n = 13 - 10. Suppose 0 = n*c - 3*s - 225, 3*s = 5*c - 0*c - 373. Suppose -c = -2*g + 4. Does 13 divide g?
True
Let y = -32 + 17. Suppose -2*i - 27 + 9 = 0. Let k = i - y. Does 6 divide k?
True
Suppose 3*r = 4*j - 1350 + 3459, 2*r + 4*j = 1406. Is r a multiple of 13?
False
Let k = 30 + 155. Suppose -3*z + 132 = 3*q, 7*q = 4*z + 2*q - k. Is 18 a factor of z?
False
Let d be ((-3)/1)/(27/(-1530)). Let w = d + -460. Is 10 a factor of (w/(-30))/(2/12)?
False
Let i = 227 - 136. Does 14 divide i?
False
Let b = 510 - 411. Does 10 divide b?
False
Let y(r) = r**3 - 7*r**2 + 11*r + 23. Suppose -9*p = -2*p - 49. Is 25 a factor of y(p)?
True
Suppose 3*r = 293 + 211. Is 6 a factor of r?
True
Let b = -64 + 64. Suppose b = -10*c - c + 1111. Is c a multiple of 18?
False
Let d = -1385 + 2451. Is d a multiple of 13?
True
Let i(w) = 5*w**3 - 4*w - 1. Let c be i(3). Suppose 0 = -5*r - 6*o + 9*o - 334, 186 = -3*r - 3*o. Let g = c + r. Is g a multiple of 18?
False
Suppose 3*u + 0*u - 5*w - 9 = 0, 0 = -2*u - 4*w + 6. Suppose -76 = -v - b - 0*b, -4*v = u*b - 303. Does 51 divide v?
False
Let l be (4/2)/(6/(-15)). Let m = 54 + l. Is m a multiple of 9?
False
Is 23 a factor of (-28938)/(-34) + 4/(-34)?
True
Let n = -811 - -908. Is 11 a factor of n?
False
Let k = 6 + -4. Suppose -k*i - 4*y + 96 = 0, 5*i + 4*y - y = 233. Is 6 a factor of i?
False
Suppose -90*l + 98*l - 4840 = 0. Is 55 a factor of l?
True
Suppose -p - 12 = -5*p. Suppose 2*b + p*w = 166, -83 = -b + 2*w - 4*w. Does 12 divide b?
False
Let j(w) = 4*w**2 - 22*w - 10. Let o be j(9). Let n = o - -14. Is 13 a factor of n?
True
Suppose 0 = -5*r + 25, -15*r = -3*c - 14*r + 346. Is 5 a factor of c?
False
Let v(w) = -5*w**2 - 14*w + 9. Let y(z) = -6*z**2 - 15*z + 8. Let c(u) = 7*v(u) - 6*y(u). Let g be c(8). Is (1 + 8)/(-14 + g) a multiple of 4?
False
Let n = -11 + 217. Is 8 a factor of n?
False
Let f be (10 - 0)*6/10. Suppose -f*b + 2*b + 232 = 0. Is (-2)/(-4)*b + 3 a multiple of 10?
False
Is -5*(-5)/(5/13) a multiple of 45?
False
Suppose 4*w = 3*w + 4*g + 37, 2*g = 5*w - 95. Is w even?
False
Suppose -13 = 4*g + 4*f + f, 2*g + 3*f + 9 = 0. Suppose i = 1, 7*w + g*i = 4*w + 240. Is 24 a factor of w?
False
Let b(i) = i + 12. Let d be b(0). Let a = 60 - d. Suppose a + 72 = 4*u. Is u a multiple of 10?
True
Suppose -4*t - 5 = l, -5*t + 20 = -3*l - l. Suppose t = q + 4, 4*f - 216 = -q - q. Is 28 a factor of f?
True
Suppose -106 = 5*q - 496. Is q a multiple of 13?
True
Suppose 241 + 102 = 4*u - 5*a, 170 = 2*u - 2*a. Is u a multiple of 4?
False
Suppose 2*d - 5*a = 3065, -3*d + 15*a = 10*a - 4595. Is d a multiple of 45?
True
Let i be (-1)/((-36)/(-20) + -2). Suppose -i*b - 5*c - 150 = 0, 4*c - 4 = -20. Let z = b - -50. Is z a multiple of 6?
True
Let q(w) = 3*w**3 - w + 1. Let c be q(1). Suppose -60 - 18 = -c*k. Is 4 a factor of k?
False
Suppose -34*x = 908 - 47148. Does 10 divide x?
True
Let c(f) = 3*f**2 + 10*f + 3. Is c(-8) a multiple of 10?
False
Let w(n) = -2*n - 6. Let t be w(-9). Suppose -5*y - 3*p + 26 = 0, -4*p + 0 = -5*y + t. Suppose -76 = 3*s - y*s. Is 19 a factor of s?
True
Suppose -81*z = -35*z - 92046. Is z a multiple of 69?
True
Let u(v) = 28*v**2 + v + 1. Suppose 0 = 5*d + 4 + 1. Let f be u(d). Suppose -2*n = -14 - f. Is 8 a factor of n?
False
Is 6*-192*20/(-60) a multiple of 21?
False
Suppose -22*j + 6029 = 397. Is 17 a factor of j?
False
Let t(u) = 6 + 7 + 4*u**2 - 6*u - 10 - 2*u**2. Is t(4) a multiple of 3?
False
Let j(p) = -p**3 - 3*p**2 + 3*p. Let f be j(-4). Suppose 161 = 3*z + f*k, 2*k + 90 = -3*z + 247. Does 16 divide z?
False
Let g be (27 - -1)*(-4 - 232/(-28)). Let j = -69 + g. Is j a multiple of 12?
False
Suppose -2*q - 4 = -3*b, -b - 5*q - 9 - 1 = 0. Suppose -3*k - p + 361 = b, 2*k - 5*p = 6*k - 485. Is 15 a factor of k?
True
Suppose -28 = -4*h + 76. Let p = h + -44. Let q = p + 54. Is 12 a factor of q?
True
Let c(s) = 3*s + 23. Let h be c(-6). Suppose 4*d = 3*w - 36, h*d + 3 = 5*w - 62. Is w a multiple of 4?
True
Let m = -15 - -418. Does 17 divide m?
False
Let k(f) = -f**2 - 11*f + 2. Let w be k(-11). Suppose -94 = -2*a - 2*o, w*a - a - 4*o = 57. Suppose 4*d + 1 = a. Is d a multiple of 12?
True
Suppose -f = 4*t - 3466, -5*f - 5*t = -f - 13908. Does 65 divide f?
False
Let h = 1034 - 134. Is h a multiple of 9?
True
Let b be 20/8 + (-2)/4. Let q be 417/9 + b/(-6). Let s = -27 + q. Does 4 divide s?
False
Suppose z = -2*z + 4*z. Suppose z = -2*g + 3*g + p - 40, g = 4*p + 15. Is 8 a factor of g?
False
Let s = -157 - -213. Is 6 a factor of s?
False
Let t(g) = g**2 - 2*g + 1. Let y be t(-2). Let n = y + -11. Is 18 a factor of -1*(n + (-195)/3)?
False
Let m = 26 + -26. Suppose m = 2*z - 8 - 24. Is 8 a factor of z?
True
Let u = 60 - 11. Let v = -22 + u. Is v a multiple of 9?
True
Let v(t) = -t**2 - 11*t - 18. Let b be v(-9). Suppose 0*u - 2*u + 94 = b. Is u a multiple of 20?
False
Let i = 1089 - 218. Is i a multiple of 9?
False
Does 6 divide (-13 + 16)/((-1)/(-71))?
False
Let m(u) = -u**3 + u + 4. Let k be (-11)/((0 - 1)*-1). Let h = -11 - k. Is 4 a factor of m(h)?
True
Let t = 23 - 17. Suppose -y - 590 = -t*y. Is 22 a factor of y?
False
Let h(k) = -26*k - 14. Let t(p) = -p - 18. Let c be t(-11). Does 35 divide h(c)?
False
Suppose 6 - 12 = 2*c. Is (2 + -1)*(-3 + -2)*c a multiple of 5?
True
Suppose 9*d = -120 + 651. Let i = d + -19. Does 8 divide i?
True
Let d = -492 + 558. Is 14 a factor of d?
False
Suppose 555 = y - 4*i, -5*y + 5*i + 1591 + 1259 = 0. Is y a multiple of 102?
False
Let l be (-2)/6 - 184/(-3). Let g = -7 + l. Is 18 a factor of g?
True
Let t(o) be the second derivative of o**4/12 + o**3 - 3*o**2/2 + 8*o. Does 6 divide t(-9)?
True
Let o = -79 + 119. Suppose 8 = 2*f - o. Does 6 divide f?
True
Suppose 0 = 9*m - 10*m + 7. Suppose 0 = -m*k + 3*k + 12. Let s(y) = 8*y + 1. Does 10 divide s(k)?
False
Let t(x) = -6*x**2 + 10. Let j(a) = -11*a**2 + 20. Let n(r) = -4*j(r) + 7*t(r). Let c = 512 + -517. Is n(c) a multiple of 14?
False
Let q = -52 + 277. Suppose -1