 14?
False
Let t(f) = 1810*f**2 + 1451*f - 2. Is t(-3) a multiple of 9?
False
Suppose 0 = -90*q + 115*q - 85000. Is 40 a factor of q?
True
Let s(z) = -2*z**3 + z**2 + 6*z + 4. Suppose 5*q - 6 = -36. Let p(f) = f**2 + 9*f + 15. Let w be p(q). Is 7 a factor of s(w)?
True
Suppose 138 = -8*u + 162. Suppose -13*n = u*n - 7744. Is 7 a factor of n?
False
Suppose -3*o = -3*c - 6375, c = -4*o + 7196 + 1329. Is 15 a factor of o?
True
Let l = -6852 + 6864. Is l a multiple of 3?
True
Suppose 5*w - 6235 = -4*h, w - 3*w = 5*h - 7781. Does 8 divide h?
False
Let q(g) = 44*g**3 + 17*g**2 - 299*g + 20. Is 208 a factor of q(10)?
False
Suppose 0 = 5*c, 3*c = 4*o + 4*c - 31 - 269. Is o a multiple of 58?
False
Let f(r) = -11*r + 4. Let n(b) = b**3 - 6*b**2 - 1. Suppose s - 3 = 0, -3*v + 2*s = -2*s - 6. Let x be n(v). Is 11 a factor of f(x)?
False
Suppose 3*y - 11128 = -3*x + 194, 3778 = y + 5*x. Is 4 a factor of y?
False
Let k(z) = -17 - 4*z - 13*z**2 - z**3 + 3*z + 14*z. Let j be k(-14). Is j + 0 + 4 + 58 a multiple of 28?
False
Let p = -10 - -13. Suppose 3*b + q - 1876 = -3*q, -3*q = -p*b + 1869. Suppose 8*y = 2*y + b. Does 13 divide y?
True
Let f be -6*((-8)/6)/2. Suppose 5*r + f*k - 896 = 0, r - k = -4*k + 177. Is 12 a factor of r?
True
Let d = 105 + -681. Let z = d - -870. Suppose -2*k = 4*k - z. Does 7 divide k?
True
Suppose -142*f = -58*f - 51240. Is 2 a factor of f?
True
Suppose -2*x = 3*p - 6*p - 20, 3*p = 0. Is -12*(-226)/x*55/44 a multiple of 12?
False
Suppose 12*s - 353 + 329 = 0. Suppose 0*v + 1345 = 2*z - 3*v, 10 = s*v. Does 38 divide z?
False
Suppose 75 = 3*w - 63. Suppose -2*u + 104 = -w. Does 6 divide u?
False
Let m = 5664 - 3216. Does 9 divide m?
True
Let n(a) = 2292*a**2 - 94*a + 216. Is n(3) a multiple of 69?
True
Suppose 40 = -2*i - 2*i - 5*u, 3*i - 5*u = -30. Let s be (-1 + 1)/(i + 12). Suppose s = -2*z - 53 + 235. Is z a multiple of 12?
False
Suppose 0 = 7*j - 6*j + 48. Let f = j - -61. Suppose -f*q + 72 = -11*q. Is 6 a factor of q?
True
Suppose -574992 = -1020*k + 993*k. Is k a multiple of 8?
True
Suppose 37*u - 38*u + 2 = 0, -n - 4*u = -4679. Is 5 a factor of n?
False
Let s be 3/3 + 7 - 2*1. Suppose 2 = -s*n + 5*n. Is 5 a factor of n/(-8) + (-1089)/(-44)?
True
Let c(m) = m**3 - 9*m**2 - m + 7. Let n = 14 + -5. Let s be c(n). Is (1/s)/((-16)/5536) a multiple of 15?
False
Suppose -9 = -5*i + 11. Suppose -2*j + v + i = 0, 3*v + v - 24 = -2*j. Suppose 2*h - 33 = -k + 5*h, j*k - 146 = -2*h. Is k a multiple of 4?
True
Let p = 1138 - -543. Suppose -24*t - p = -9505. Does 11 divide t?
False
Suppose -11*p = 6 - 28. Suppose -p*b + 2625 - 863 = 0. Suppose -14*i = -b + 83. Does 7 divide i?
False
Let j(g) = -g**2 - g + 6. Let f be j(-3). Suppose 0 = -0*u + 2*u + 5*m - 116, -u + 2*m + 49 = f. Let s = u - -109. Is s a multiple of 15?
False
Let b(s) = s**3 + 7 + 14*s**2 - 1 + 2 + 8. Let z be b(-14). Let u(y) = 15*y - 60. Does 15 divide u(z)?
True
Let r(n) = -3103*n - 190. Is 20 a factor of r(-2)?
False
Suppose -114*h + 456986 = -130456. Does 29 divide h?
False
Let p(t) = -19*t - 3*t - 14170*t**3 + 28*t**2 + 14171*t**3 + 34. Is p(-28) a multiple of 26?
True
Let h = 28613 - 17877. Does 11 divide h?
True
Suppose -2*n + 0 = b - 1, 3*n = 4*b - 26. Suppose -20 = -5*k - b, 207 = 3*u + 4*k. Is 10 a factor of u?
False
Suppose -4*t + 6 = -10. Suppose 10 = 2*i, w - 35 = -4*w - t*i. Suppose -b + 4*j + 185 = w*j, 0 = -3*b - 3*j + 549. Is b a multiple of 46?
True
Let c be 6/27 - (344/36)/(-2). Suppose 5*i = 9*o - c*o + 18, 4 = -4*o - 2*i. Is (-104 + -2 - o)/(16/(-32)) a multiple of 52?
True
Suppose -4*h = 2*y - 3031 - 1639, 0 = -y - 3*h + 2336. Is y a multiple of 8?
False
Let l(m) = 4*m**2 - m**2 - 7 - 2 - 2*m. Let v be 298/(-68) + (-9)/6 - (-30)/(-255). Is 37 a factor of l(v)?
True
Let i = -630 - -634. Suppose 3*z = 2*m + 8, 0 = -7*z + 2*z - 2*m + 8. Suppose -z*t + 307 = -j, -4*t + 289 = i*j - 343. Does 33 divide t?
False
Let g(m) = 59*m**2 - 178*m + 105. Does 182 divide g(15)?
False
Let f = 174 + -170. Suppose 2*s = 2 + 2. Suppose 2*t + 848 = f*u, s*u + 2*t - 416 = t. Does 42 divide u?
True
Does 12 divide (415/166)/((-2)/4) + 4789?
False
Let y = 8482 - 7666. Is 24 a factor of y?
True
Let a(i) = 4*i**2 - 20*i + 4. Let o be a(4). Let m = o + 36. Let u = m - -60. Does 12 divide u?
True
Is 520920/20 - ((-21)/(-3) - -4) a multiple of 97?
False
Let w(q) = -115*q**2 + 12*q. Let j be w(5). Let o be -1*2/11 - j/55. Suppose 49*r + 90 = o*r. Does 7 divide r?
False
Let r(v) be the third derivative of v**5/60 + v**4/24 - v**3/3 + 6*v**2. Let m be r(2). Does 9 divide m/18 + 5126/99?
False
Let a(h) = 37*h**2 + 8*h + 1. Let s be a(5). Let r = s - 560. Does 14 divide r?
True
Let d = 4234 + -3396. Does 40 divide d?
False
Suppose 0 = 159*x - 137*x - 82720. Does 94 divide x?
True
Let j(r) = r**2 - 9. Let b be j(-3). Suppose 4*f - 537 - 11 = b. Is f a multiple of 40?
False
Let f = 3003 - 1423. Suppose -3*o = -3*k + 2391, 2*k + 7*o = 2*o + f. Does 36 divide k?
False
Suppose -1405 = -5*m + 5*u, -10*m + 13*m = -5*u + 883. Is m a multiple of 17?
False
Let b(r) = 3*r - 29*r - 23*r. Let m = 46 + -47. Is b(m) a multiple of 3?
False
Suppose -5*y = 39*o - 42*o + 9202, -2*y + 3082 = o. Is o a multiple of 106?
True
Suppose 2*o + b - 2 = 0, -b + 14 = 4*o - 4*b. Let k(u) = -u**2 + 9*u - 5. Let m be k(8). Suppose m*q = -o*q + 95. Does 18 divide q?
False
Let w(g) = g**2 - 14*g + 2. Let y be w(28). Suppose -z - f = z - y, -5*z = -f - 992. Is z a multiple of 19?
False
Suppose 2419 = 3*o - 4*u, -o + 284 + 533 = -4*u. Is 8 a factor of o?
False
Let l(o) = o**2 + 15*o + 42. Let k be l(-18). Suppose 18*p - 1680 = -k. Is p a multiple of 12?
False
Let r(p) = -3*p - 8. Let q be r(27). Let i = q - -83. Let x = 6 - i. Is 12 a factor of x?
True
Let g(k) = -k**3 - 10*k**2 + 61*k + 28. Suppose 6*d = 9*d + 45. Does 14 divide g(d)?
True
Suppose b - 27737 = -4*a, -4*b = -13*a + 18*a - 34685. Is 7 a factor of a?
False
Let d be -24*(-2 + -15*1/(-12)). Is 14 a factor of (1/1*5)/(d/2520)?
True
Suppose 4823 - 49598 = -24*s + 62673. Is 88 a factor of s?
False
Let c be -2*(-5)/(-20)*2. Is -5 + c - (-1 + -13) a multiple of 8?
True
Let u = -38432 - -58300. Is 111 a factor of u?
False
Suppose 5*d - 131 + 51 = -3*s, 4*d - 15 = -s. Suppose s*o - 25*o - 2000 = 0. Does 5 divide o?
True
Suppose -2*t + 6 = 10. Does 12 divide t/20 - 10809/(-90)?
True
Let l(v) = -12*v**3 - v**2 - v. Let j be l(-1). Suppose -j*m = -3673 - 3923. Is m a multiple of 22?
False
Let o = 667 - 673. Does 9 divide 47/((-3)/o*8/4)?
False
Let w be (-23 - -20) + 7 + 1. Suppose -5*v + w*z = -3450, v - 2748 = -3*v + z. Does 24 divide v?
False
Let d be -2*2*(1 - (-45)/4). Let s = 52 + d. Suppose -s*l + 20 = -5*p - 224, 3*p + 412 = 5*l. Does 15 divide l?
False
Let p(x) = -19*x**3 + 249*x**2 - 50*x - 9. Does 124 divide p(-10)?
False
Let r be ((-62)/6 - -5)*(-5 + -133). Let s = 896 - r. Is 40 a factor of s?
True
Suppose 3*x - 25524 = 2*y, 2*x - 2795 = 4*y + 14213. Is 10 a factor of x?
True
Let l be ((9/3 - 3)/1)/(-2). Let i(d) = -d**2 + d + 630. Let g be i(l). Suppose -8*p + p = -g. Does 18 divide p?
True
Suppose 0 = u - 2. Suppose 2*k - u*m - 1 = 11, -k = -3*m - 4. Does 5 divide k?
False
Let f(z) = 24*z**2 + 2*z - 60. Is f(7) a multiple of 5?
True
Let q(d) = -d**2 - 15*d + 6. Let b be q(-15). Is 0 + (302 - (b - 3)) a multiple of 10?
False
Let a(l) be the second derivative of 0 + 1/3*l**3 + 14*l**4 + 0*l**2 + 35*l. Is a(1) a multiple of 28?
False
Is 33 a factor of 912/18*(-969)/(-68)?
False
Suppose 5*r + 17 = -33. Let x be (-1)/(r/4 + 3). Let f(q) = -48*q + 6. Is 17 a factor of f(x)?
True
Suppose 5*c - 80 = -3*p + p, -p + 32 = 2*c. Suppose 0 = 3*b - d + 12, 4*b + 0*d + c = -4*d. Is 23 a factor of (-1028)/(-12) - b/12?
False
Let p be (-2)/(-4) + (-95)/(-10). Let q = 130 - p. Suppose q = -t + 9*t. Is 3 a factor of t?
True
Let r(s) = -133*s - 43. Let y(f) = 131*f + 44. Let v(i) = 3*r(i) + 4*y(i). Does 11 divide v(2)?
True
Let t be ((-6)/18)/((-1)/15). Suppose -20 + t = -3*z. Suppose -5*p - n = -68, -5*n + 83 = z*p + 23. Is p a multiple of 2?
True
Suppose 19*g = 4*g - 4*p + 361579, -72311 = -3*g + 4*p. Is g a multiple of 14?
False
Suppose 0*h - 42*h = -437393 - 16375. Is 74 a factor of h?
True
Let p = 13443 + 9381. Is p a multiple of 18?
True
Let p(f) = f**3 + 17*f**2 + f 