 -23 - -39. Let k(t) = -t**2 + 11*t + 3. Let r be k(b). Let j = r + 134. Is j a multiple of 24?
False
Let b be -3 + (-4)/(8/(-174)). Suppose -80 = -4*v + 5*y, 4*v - 2*y - b = 2*y. Does 2 divide v?
False
Suppose 0 = -2*n + 2*t + 2814, -3*n + t + 4211 = -0*n. Is n a multiple of 21?
False
Let l = 9 - 3. Does 20 divide (-1)/(-3) + l/((-90)/(-1105))?
False
Let f = -24 + 4. Let t = f - -22. Suppose 0*d - 5*d = -3*r + 57, -r + 18 = -t*d. Does 24 divide r?
True
Suppose 0 = 4*t + n - 1571, 8*n + 407 = t + 13*n. Is t a multiple of 49?
True
Is (-20)/(-70) + 1800/21 a multiple of 7?
False
Let s(m) = -m**3 - 4*m**2 + 7*m - 6. Let g be s(-6). Let r = -7 + g. Does 4 divide r?
False
Suppose 3*v = 2*v + 4*n + 229, 4*n = -4. Is 45 a factor of v?
True
Suppose -2*a - 412 + 87 = k, 2*k - 2 = 0. Let m = a + 253. Is 30 a factor of m?
True
Let c(y) be the second derivative of 22*y**3/3 - 3*y**2 + 20*y. Is 14 a factor of c(3)?
True
Let j(h) = 17*h**2 + 8*h - 52. Is j(4) a multiple of 26?
False
Let c = 662 - 337. Is c a multiple of 9?
False
Suppose 12 = -2*z + 2, -3*y - 2*z + 5840 = 0. Is y a multiple of 13?
True
Let t = -1343 + 1493. Does 5 divide t?
True
Let z(i) = -7*i**2 - 2*i + 8. Let r(t) = 15*t**2 + 4*t - 15. Let v(m) = 6*r(m) + 11*z(m). Suppose 0 = -5*k + 4 + 1. Does 3 divide v(k)?
False
Let i(f) = f**3 - 6*f**2 + 8*f - 4. Suppose -y - 1 = 0, d - 2*d - 4*y - 7 = 0. Let g be d/12*(-22 - -2). Is i(g) a multiple of 9?
False
Suppose -3*r - 1260 = -3*w, 9*r + 2097 = 5*w + 7*r. Does 30 divide w?
False
Suppose -6*a + 3*a = 168. Let i = -7 - a. Is 7 a factor of i?
True
Let b = 234 - 144. Suppose 0 = -q + 24 + 46. Suppose -2*c - 3*y + q = -8, 3*y + b = 2*c. Is c a multiple of 21?
True
Let s be 4 + -6 - -3 - -69. Is (54/21)/(5/s) a multiple of 9?
True
Let f = -3018 - -4426. Is 7 a factor of (-2)/3 + f/33?
True
Let x = -11 + 18. Let l(j) = -5*j**2 - 15*j + 11. Let n(k) = -11*k**2 - 31*k + 23. Let u(a) = -13*l(a) + 6*n(a). Is u(x) a multiple of 6?
False
Let v(l) = -312*l**2 - 2*l + 2. Let o be v(1). Does 16 divide -3*(o/9 - -2)?
False
Suppose t - 6*t + 0*t = 0. Suppose 2*o - 5*i = 388, -2*o + i + 153 + 235 = t. Does 33 divide o?
False
Let b = 261 + -153. Let g = b - 32. Is g a multiple of 19?
True
Suppose -4*v + 4 = d, d + 6 = 5*v + 2*d. Suppose -v*l + 4 = -18. Is l/33 - 11/(-3) even?
True
Suppose -4*x = 4*p - 8460, 898 + 1247 = p - 5*x. Is 20 a factor of p?
True
Let h be 4/(-3) - (-50)/15. Does 11 divide (h*1/(-3))/((-22)/726)?
True
Let l(q) = -q - 32. Is 2 a factor of l(-82)?
True
Suppose -r - 4 + 17 = 0. Let v be (2*1/2)/1. Let g = r - v. Is g a multiple of 9?
False
Suppose -8 = 6*a - 10*a. Suppose 2*u + a*u = 224. Suppose -5*i + u + 64 = 0. Is 6 a factor of i?
True
Suppose 5*s - d - 1748 = 0, -39 = 3*s - 5*d - 1101. Let w = s + -232. Is 39 a factor of w?
True
Let m be (2 - (-20)/(-12))*-213. Let j = m - -33. Let b = j + 63. Is b a multiple of 18?
False
Suppose 0 = -5*g + 2*m + 4134, -44*m + 4131 = 5*g - 47*m. Is 9 a factor of g?
True
Let m(c) = 32*c**3 - c**2 - 2*c + 2. Is 3 a factor of m(2)?
False
Suppose -40*g = -43*g + 534. Let z = g - -47. Is z a multiple of 45?
True
Let b be (2*-1 - (4 + -6)) + 142. Suppose -66 - b = -4*q. Is 4 a factor of q?
True
Let c(a) = -74*a - 4. Suppose 2*t - 13 + 0 = 5*l, 11 = -2*t - 3*l. Is c(t) a multiple of 13?
False
Let j(g) = -5 - 2 - 3*g + 1 - 4. Is 17 a factor of j(-9)?
True
Suppose -3*y - 2*t = 11 + 20, 4 = -2*y + 2*t. Let k(g) = g**3 + 4*g**2 - 6*g + 9. Let q be k(y). Let l = -50 - q. Does 19 divide l?
False
Let f(b) = -b**3 - b**2 - b + 8. Let c be f(0). Let q(h) = 12*h - 14*h - 4*h - 3*h - h**2 - c. Is q(-6) a multiple of 7?
False
Let m(p) = 9*p**2 - 10*p + 45. Is 14 a factor of m(-7)?
False
Suppose -1 = o + 324. Let a be (-2)/1 - o/5. Suppose -5*k + 17 = -a. Is k a multiple of 3?
False
Suppose -2*n + 0*n = 0. Suppose a + 3 = -4*b - 0, -2*b - 2*a = n. Does 5 divide 13 - (2 + b + -3)?
True
Let d = 183 - 95. Suppose 3*u = 2*x - 44, 4*x - 6*u - d = -5*u. Let q = -5 + x. Is q a multiple of 5?
False
Let l = 1 - 39. Let v = l - -114. Is v a multiple of 38?
True
Let s(d) = 4*d**2 + 26*d + 110. Is s(-11) a multiple of 5?
False
Let h(k) = 10*k**2 - 6*k - 23. Is 12 a factor of h(6)?
False
Let g(u) = -1 + 5*u - 5*u**2 + 3*u**3 - 4*u**3 + 4. Let m = -22 + 15. Is g(m) a multiple of 14?
False
Let d(v) = -v + 1. Let z(q) = -6*q. Let f(s) = 2*d(s) - z(s). Is f(9) a multiple of 19?
True
Is 26 a factor of 4*8/((-32)/(-890))?
False
Suppose -29 + 99 = -5*s. Let o be s/21*(-24)/1. Does 4 divide 507/24 - 2/o?
False
Suppose -3*l + 4*h = 12 + 57, 0 = 5*l + 3*h + 144. Let s = 21 - l. Is s a multiple of 14?
False
Suppose 2*p - 7 = s - 61, 184 = 3*s + 5*p. Is s a multiple of 6?
False
Suppose -2 = y - 4, 2*y + 236 = 3*h. Is h a multiple of 4?
True
Let r(w) = -2*w**2 + 5*w. Does 3 divide r(1)?
True
Suppose 0*r + 32 = 8*r. Suppose -2*d - o + 91 + 0 = 0, -r*o = 4. Let j = d - 37. Does 3 divide j?
True
Suppose 2*t + 12 = 4, -2*t = -3*l + 965. Suppose -5*v + l = 59. Is 6 a factor of v?
False
Let u(w) be the third derivative of 1/120*w**6 - 1/8*w**4 + 0*w + 0 - 1/2*w**3 + 1/12*w**5 + 3*w**2. Does 6 divide u(-4)?
False
Suppose 0 = 4*t + d + 15, 3 = d + 2. Let i be (-566)/t + (-3)/2. Suppose z = 6*z - i. Is z a multiple of 14?
True
Suppose 82 = 6*w + 22. Suppose w*d - 264 = 2*d. Is d a multiple of 11?
True
Suppose 0 = -2*m - 0 + 6. Let g(k) = k**2 + k**2 + 10*k + 9 + m*k. Is g(-9) a multiple of 15?
False
Suppose 2*y + 53 + 67 = 0. Is (16/6)/((-2)/y) a multiple of 28?
False
Let p = 191 - 112. Is 7 a factor of p?
False
Let a(r) = r**3 + r + 158. Suppose 0*t = -5*t. Let h be a(t). Let j = -94 + h. Is j a multiple of 13?
False
Let w be (18/(-12))/((-6)/88). Suppose -2*j + w = -36. Does 8 divide j?
False
Let l(t) be the second derivative of 1/3*t**3 + 3*t**2 + 3*t + 0. Is 10 a factor of l(19)?
False
Let a(l) = 7*l**2 + 14*l + 12. Does 7 divide a(-5)?
False
Suppose 6*c - 12 = -2*w + 4*c, 5*c = 4*w - 33. Suppose 146 = w*q - 64. Is 30 a factor of q?
True
Suppose 4*h = -g - 42, -5*g = 5*h + 118 + 17. Let c = 20 - g. Does 7 divide c?
True
Let o(c) = 15*c - 36. Is o(11) a multiple of 6?
False
Suppose -7*j + 425 + 1388 = 0. Is j a multiple of 37?
True
Is (((-162)/21)/3)/(24/(-84)) a multiple of 9?
True
Let v(u) = -u + 48*u**2 - 46*u**2 - u + 6. Is v(3) a multiple of 9?
True
Is 117 a factor of -5 + 12450/35 + (-4)/(-14)?
True
Let t be 15/3 - 0 - 2. Let m = t + -9. Does 5 divide (-4)/(0 + m/15)?
True
Let c = 127 + -125. Suppose -c*p - 42 + 114 = t, t - 52 = 2*p. Does 31 divide t?
True
Let s(d) be the first derivative of -3*d**2/2 + 36*d - 11. Let m be s(0). Does 8 divide (m/7)/((-18)/(-84))?
True
Let h = 1206 - 647. Is h a multiple of 12?
False
Suppose 0 = 39*v - 37*v + 2. Is ((v - 1) + 5)/(24/1784) a multiple of 13?
False
Let x(g) be the second derivative of -g**6/120 + 3*g**5/20 - 3*g**4/8 + g**2/2 - 3*g. Let r(h) be the first derivative of x(h). Is r(6) a multiple of 20?
False
Let c(m) be the first derivative of -9 + 3*m - 1/3*m**3 + 13/2*m**2. Is 10 a factor of c(10)?
False
Suppose -5*q + 6206 = -2944. Is 32 a factor of q?
False
Suppose -23*p + 95 = -8737. Does 48 divide p?
True
Suppose 0 = -0*y - 4*y + 5*u + 626, 2*y - 310 = 4*u. Does 9 divide y?
False
Let q(x) = x**3 - 15*x**2 + 7*x + 31. Let c be q(17). Suppose 2*a - 5*h - 43 = 327, 4*a - c = 4*h. Is a a multiple of 12?
True
Let z(y) = -2*y**2 + 77*y - 3. Is 87 a factor of z(31)?
False
Let o = 3886 + -2529. Is o a multiple of 103?
False
Let d(y) = -22*y + 7. Let c be d(-6). Let q be (2 + 0 - 1)*5. Suppose -4*r + c = -3*w, -r - q*w = -5 - 47. Does 17 divide r?
False
Is 6 a factor of (-15)/(-6) - (-4568)/16?
True
Let a be ((-1680)/(-9))/(-8) - 4/6. Does 3 divide a/(-14)*1764/56?
True
Suppose -b - 540 = -2*k, 5*k - 7*k + 4*b = -546. Is k a multiple of 15?
False
Suppose 5*a - 243 - 997 = 0. Does 62 divide a?
True
Suppose 0 = w - 3*r + 5*r - 240, 3*w + r - 745 = 0. Suppose 3*d - 26 = w. Does 46 divide d?
True
Suppose -5*r = 5*k - 20, 6*k - 2*k + 3*r - 15 = 0. Suppose 0 = k*i, 2*s - 4*i = 3*s - 10. Suppose 4*b - s*b = -66. Does 11 divide b?
True
Suppose -6*x + 4071 = -2793. Does 52 divide x?
True
Let g = 15 - -30. Does 9 divide g?
True
Let w = 52 - 48. Suppose 5*o + 0*q = -q + 469, -w*q = 4. Is 16 a factor of o?
False
Sup