*3*-1263. Suppose -d - 59 = -5*k. Does 19 divide k?
False
Suppose 23*s - 616 = 19*s. Let b = -73 + s. Let r = -41 + b. Does 20 divide r?
True
Suppose -3*r - 2 = 25. Let a = -1187 - -1213. Does 10 divide a + 6*6/r?
False
Let n = -12 + 23. Let z = n + -7. Suppose z*r - 72 = 152. Is 14 a factor of r?
True
Let w(m) = -3*m**3 - m**2 + 2*m - 6. Is w(-3) a multiple of 12?
True
Suppose -3*x - 3*f + 318 = 0, -2*x = 5*f - 219 + 22. Is 3 a factor of x?
True
Let r be 2 + 1 + 0/(-5). Suppose -2*q + 4*c = -350, -r*q + 0*c + 535 = -4*c. Is q a multiple of 9?
False
Let u = 36 - 20. Suppose u = 8*y - 4*y, 5*o + 3*y = 432. Is 12 a factor of o?
True
Let m(n) = -n**2 + 19*n - 3. Let w be m(12). Let y = 181 - w. Does 20 divide y?
True
Let t = -52 - -53. Is 5 a factor of (23/t - 4) + -3?
False
Suppose -4*p + 8 = -2*u, -p + 3*p = 2*u. Suppose -p*q + 0*a + 8 = 2*a, 2*a = q + 3. Is 25 a factor of 416/6 - q/3?
False
Let f(u) = -11*u - 10. Let o be f(-5). Suppose 0*n - 3*b = -3*n + o, -4*b = -5*n + 80. Is n a multiple of 14?
False
Suppose -2*l + 361 = 4*c - 23, 2*l + 204 = 2*c. Let d = -34 + c. Is d a multiple of 6?
False
Let l(f) = f - 12. Let g be l(-6). Let x = g + 58. Is x a multiple of 22?
False
Let q(f) = -f**3 + 2*f**2 + 8*f - 2. Let m be q(6). Let j = -50 - m. Is (-2)/12 + 344/j even?
False
Is 9 a factor of ((-197)/8)/(3 + 450/(-144))?
False
Suppose 7*q + 2 = 16. Suppose -w - 657 = -l - q*l, 5*l - 3*w = 1099. Suppose -l - 2 = -4*z. Is 11 a factor of z?
True
Let u be 0 + 0 + 1 - -4. Suppose -6*p + 370 = 5*g - p, -2*g + u*p = -162. Does 38 divide g?
True
Suppose 0 = 5*b + 2*o - 13, -9*b = -13*b + o + 13. Is b even?
False
Suppose 5*v = -5*q + 3755, -q + v + 277 + 466 = 0. Does 20 divide q?
False
Let i(s) = 9*s**3 + 9*s**3 - 16*s**3 - 3*s + 10 - 7*s**2 + s**2. Is 11 a factor of i(4)?
False
Let o be 6/9 + 772/3. Suppose -4*s + o - 42 = 0. Is 6 a factor of s?
True
Let x(y) be the second derivative of -y**3/6 + 2*y**2 + 6*y. Let c be x(0). Suppose -c*t + 33 = v, -2*v + 3 = 1. Is t a multiple of 2?
True
Suppose 1 = -2*g + 11. Suppose g*b - 2*b - 12 = 0. Is 21 a factor of 120/(b - 0) - -3?
False
Suppose 2*q + 3*l = 6*q - 828, -5*l - 828 = -4*q. Does 23 divide q?
True
Let x be -3 - 2*3/((-15)/80). Suppose -5*b - 5*q - 80 = 0, 0 = -2*b + 5*q - 6 - 5. Let p = b + x. Is 5 a factor of p?
False
Let t(f) = 3*f**2 - 7*f. Let b(x) = -x + 10. Let c be b(9). Let z be (-4 - -3)/(c/(-5)). Does 20 divide t(z)?
True
Suppose 0 = 4*a - w - 195, a - 248 = -4*a - 3*w. Suppose -27 = -4*f + a. Does 19 divide f?
True
Let n(a) = -a + 16. Suppose 0 = -3*w - 2*k - 11, 17 = -9*w + 4*w - 3*k. Let c be -3 - (w - 0) - -2. Is n(c) a multiple of 16?
True
Let v = -270 + 20. Does 20 divide v/(-3)*18/15?
True
Suppose 3*a + a = -3*w + 34, -5*w = 2*a - 24. Let d be a/2*(-6)/(-3). Let h = -2 + d. Is 5 a factor of h?
True
Let s(v) = 101*v + 1. Suppose 0 = -r + 12 - 13. Let q be s(r). Let k = -35 - q. Does 15 divide k?
False
Let w(g) be the second derivative of 0 - 1/3*g**3 - 6*g - 3/2*g**2 + 0*g**4 - 1/20*g**5. Does 9 divide w(-2)?
True
Let a = -57 - -115. Suppose -4*f - l = l, 4*f = -l + 2. Is (a/(-6))/(f/(-3)) a multiple of 8?
False
Does 4 divide (415 - 0) + 6/(54/(-63))?
True
Let a be 676/6 + (-2)/(-6). Let f = 236 + -308. Let j = f + a. Is j a multiple of 15?
False
Let x(g) = g**3 + g**2 + g - 3. Let t be x(0). Let d(s) = s - 3. Let r(q) = -3. Let b(a) = -5*d(a) + 6*r(a). Is 8 a factor of b(t)?
False
Suppose 7 = 3*p + 37. Let w be (-2)/4 + p/(-4). Suppose -2*v = 4*b - 58, w*v = 4*b - 30 - 8. Is b a multiple of 6?
True
Let r(d) = -2*d - 18. Let w(h) = -1. Let x(v) = -r(v) - 6*w(v). Is 24 a factor of x(12)?
True
Does 10 divide (-3720)/(-2)*((-2)/(-4) + 0)?
True
Suppose -5*n + 3*z + 45 = -0*n, 0 = 4*n - 3*z - 39. Suppose n*i = 3*i + 195. Let c = i - -8. Is 21 a factor of c?
False
Suppose -3*l + 10 = 1. Suppose 100 = -l*x - x. Does 16 divide ((-160)/x)/(2/10)?
True
Does 21 divide (-946)/55*(1 + (-6 - 0))?
False
Let m = -1433 + 2063. Does 70 divide m?
True
Suppose -5*w - 1175 = -5*c, -2*w = 2*c - 7*w - 470. Suppose 5*f = -5*v + c, 2*f + 16 + 105 = 3*v. Is v a multiple of 3?
False
Suppose 8*v - 9535 = 6*v - 3*q, -4*q = -3*v + 14260. Is v a multiple of 28?
True
Let n(w) = -w**3 + 7*w**2 + 23*w + 18. Let r be n(10). Let x = r - -117. Is x a multiple of 13?
True
Suppose -3*l + 120 = 3*l. Does 2 divide -1*(-2 + 3) + l?
False
Let a(m) = -m**2 - 3*m + 4. Let r be a(-4). Let l be (r - 119) + 6 + -5. Let w = 172 + l. Does 13 divide w?
False
Let q(o) = o**2 + 18*o + 2. Let s be q(-18). Suppose s*c - 5*c + 279 = -5*f, c + 5*f = 113. Is c a multiple of 15?
False
Is (318/(-4))/(33/(-88)) a multiple of 5?
False
Let u = 1297 + -1263. Does 34 divide u?
True
Let n be 6 - (-1 + 0 + 4). Suppose -a = c + 25, -n*a + 4*c = 46 + 8. Let w = 42 + a. Does 5 divide w?
True
Let v(a) = a + 8. Let h = -2 + -3. Let q be v(h). Suppose k = q*k - 5*c - 7, -5*k = -c - 75. Is k a multiple of 11?
False
Suppose l = t - 26, -5*t + 64 = l - 3*l. Let v(j) = -8*j - 19. Does 17 divide v(l)?
False
Suppose -18*i = -21*i. Is (i - 36/(-5))*240/36 a multiple of 19?
False
Let j be 1098/(-27) - 4/(-6). Suppose 5*m = 3*v + 173, 51 = -v - 0*m + 5*m. Let y = j - v. Is 18 a factor of y?
False
Suppose -4*c = -3*c - 5. Suppose 9*u - 680 = c*u. Is u a multiple of 34?
True
Let m(o) = -o**3 - 22*o**2 + 22*o + 29. Let k be (-46)/4*((-12)/(-2))/3. Is m(k) a multiple of 13?
True
Suppose 4*c - 7*c = -3*i + 5814, 0 = 4*i - 3*c - 7750. Is i a multiple of 19?
False
Let s(o) = o + 6. Suppose 0 = -3*c - 2*c + 50. Suppose 3*b - c = b. Is s(b) a multiple of 4?
False
Is 2/((-3427)/(-685) + -5) a multiple of 15?
False
Suppose -904 = -51*j + 2870. Is 7 a factor of j?
False
Does 18 divide 4 - 113610/(-49) - (-12)/(-21)?
True
Let p(d) = 12*d**2 - 245*d + 30. Is p(22) a multiple of 7?
True
Suppose 2*b = 2*m + b + 5, -9 = 4*m - 3*b. Does 14 divide 3 - (-25 + (m - -3))?
True
Let p(h) = h + 10. Let g be p(-5). Suppose -a = -g*a + 156. Is 4 a factor of a?
False
Suppose 4 + 56 = 5*i. Suppose -15*v = -i*v. Is -3 - -7 - (v - 18) a multiple of 8?
False
Let t(r) = 12*r. Let b = -19 - -24. Does 27 divide t(b)?
False
Let z(n) = -6*n - 6. Let l be z(-4). Let m be (l/15)/(6/(-140)). Let u = m + 31. Is 3 a factor of u?
True
Let x be 2/(-6) + 64/(-6). Let p = 25 - x. Let y = 55 - p. Does 8 divide y?
False
Suppose 4 + 18 = 2*v. Let p = 1 + v. Let k = p - 9. Is k even?
False
Let q(d) = 5*d**2 - 14. Suppose -4*b = 4*h - 12, 2*b + 2*h = -3*b + 18. Is 11 a factor of q(b)?
True
Let p = -7 - -76. Let l = p - 41. Suppose -3*b = 5*t - 84, 5*b = 4*t - 3*t - l. Is 8 a factor of t?
False
Suppose 4*d - 5813 = -3*r, -4*d = r - 0*r - 5823. Is 23 a factor of d?
False
Does 7 divide (-7)/(882/(-220) - -4)?
True
Suppose 4*u = -7*b + 4*b - 19, -2*u - 6 = -2*b. Suppose 5*o + 30 + 0 = 0. Does 12 divide (o/(-8))/(b/(-52))?
False
Let d(l) = -3*l - 20. Let a be d(-8). Suppose 0 = 2*n - 3*n - 5, 5*r + a*n - 325 = 0. Is r a multiple of 21?
False
Suppose -h + y + 3 = 0, -3*h - 2*h - 5*y + 5 = 0. Does 13 divide ((-156)/(-10))/((h - 4)/(-10))?
True
Let q be 1*226/(-2) + -2. Let p be 19 + 173 + (-6 - 1). Let s = q + p. Is s a multiple of 14?
True
Let o(s) = 17*s + 11. Is o(12) a multiple of 5?
True
Let u(t) = 2*t + 12. Let w be u(-6). Suppose 3*s - s = w. Suppose 2*b - 3*v - 21 - 27 = 0, s = -4*b - 2*v + 64. Does 5 divide b?
False
Let g(k) = 2*k**2 - 25*k - 183. Does 9 divide g(-19)?
False
Let q(v) be the third derivative of v**6/120 + 2*v**5/15 + 3*v**4/8 + 5*v**3/6 + 5*v**2. Let h be q(-7). Let m(u) = -u + 3. Does 6 divide m(h)?
True
Let p(f) = 2*f**2 + 2*f + 399. Does 14 divide p(0)?
False
Let h(n) = -7*n + 29. Let r be h(-4). Suppose -v + 116 = -r. Is 16 a factor of v?
False
Let v = 21 - 16. Suppose -v*b + 2*b - 2*p = -565, -3*b = 5*p - 553. Suppose 0 = -4*t - b + 623. Is t a multiple of 36?
True
Let c(i) = 8*i**2 + 15*i - 153. Does 49 divide c(-19)?
True
Let y = 1628 + 225. Is y a multiple of 109?
True
Suppose -6 = -12*m + 30. Suppose -29 = -z - 3*f, m*z + f = 7*z - 181. Is z a multiple of 5?
False
Suppose -2*s - s = d - 23, s = 3*d + 11. Let q be 2/s + 23/4. Let u(i) = -i**3 + 5*i**2 + 6*i + 8. Does 3 divide u(q)?
False
Let y(j) = -5*j**3 + 5*j**2 - 2*j - 1. Let w(q) = -6*q**3 + 5*q**2 - 3*q. Let a(l) = -4*w(l) + 5*y(