7?
True
Let f(u) = 2*u**2 - 13*u - 7. Let s be f(-9). Suppose -2*l - 446 = 3*l + 2*j, j + 358 = -4*l. Let d = s + l. Does 14 divide d?
True
Let d = 74 + -74. Is (-16)/(-8) - ((1 - 71) + d) a multiple of 4?
True
Suppose -4*q + 16504 = 4*v, -23*v + 3*q + 4150 = -22*v. Is v a multiple of 106?
False
Suppose 2*o + 3*g = 4025, -22*o = -21*o + 3*g - 2017. Does 18 divide o?
False
Suppose -2*x = 3*b - 0*b - 369, 0 = 4*x + 2*b - 750. Let v = -70 + x. Suppose -7*t + v = -350. Is 5 a factor of t?
False
Suppose -h + 5*w - 23 = 0, -2*w + 0 + 6 = -2*h. Suppose -8 = v - u, -h*u - 2 = v - 3. Is 13 a factor of 66/(3 + (v - -3))?
False
Is (17 + -15)/(56/35812) a multiple of 80?
False
Let o be (-7072)/(-78) - 2/(-6). Let x = 94 - o. Suppose x*y - 32 = -4*q, 5*q - y - 10 = 30. Is 6 a factor of q?
False
Suppose -i - 24 = 2*u - 6*i, 26 = -5*u + 4*i. Let w be (-2)/u*33/3. Suppose -16*m + w*m = -40. Does 3 divide m?
False
Suppose -12*q = -29 - 55. Is 151 + (q - (3 + 2)) a multiple of 17?
True
Let r(k) = -6*k**2 + 77*k + 44. Let q(v) = 4*v**2 - 77*v - 45. Let h(x) = -4*q(x) - 3*r(x). Does 29 divide h(-39)?
True
Let m = -57 + 27. Let v(k) = 3*k**2 - 59*k + 22. Let u be v(20). Let j = u - m. Is j a multiple of 10?
False
Suppose 13 = -2*n - 11. Let b(o) = o**3 + 11*o**2 - 16*o - 11. Let j be b(n). Let i = 32 + j. Is i a multiple of 23?
True
Let f be 20/((-15)/(-12) - 1). Suppose -6*q - f = 4*q. Does 16 divide 4/q - 225/(-2)?
True
Let w(a) = 749*a**3 - 7*a**2 - 16*a + 24. Is w(2) a multiple of 3?
False
Let s(d) be the first derivative of 124*d**3/3 + 17. Let z be s(-1). Suppose -8*n = -100 - z. Is n even?
True
Let y = 123 + -150. Is 31 a factor of (-6)/y + (-6472)/(-36) + 6?
True
Let d(t) = -t**3 + 23*t**2 - 34*t + 53. Let k be d(21). Let m = 448 - k. Does 22 divide m?
False
Suppose -8*b + 12*b + 5*l = 283, 0 = -5*b - 2*l + 341. Suppose -61*w - 144 = -b*w. Suppose w = 8*a - 2*a. Does 2 divide a?
True
Let r(p) = p**3 + 21*p**2 - 80*p - 30. Is r(-21) a multiple of 6?
True
Suppose 6*z + 57 = 381. Suppose -3*u + z = -54. Suppose -33*d + u*d = 387. Is 15 a factor of d?
False
Suppose 7*b = -5*l + 6*b - 25, 29 = -l - 5*b. Let r(x) = -70*x + 20. Is 20 a factor of r(l)?
True
Let u(j) = -9*j**3 - 52*j**2 - 14*j + 9. Is 63 a factor of u(-9)?
False
Let f(a) = 576*a + 18848. Is 341 a factor of f(62)?
True
Suppose -3*x - 10 = -34. Suppose x*o = 100 + 180. Let m = o - -17. Does 13 divide m?
True
Let f be 20/(-42)*9 + 2/7. Is (-2225)/(-10) - (-2 - 6/f) a multiple of 16?
False
Suppose 0 = -3*v + 15 + 12. Suppose 3*s + 21 = 5*r, 3*r + 4*s = 7*s + v. Suppose -7*x + r*x = -122. Does 18 divide x?
False
Does 115 divide -8 + (11 - 56*-77)?
False
Suppose -56*t = -44*t - 108. Suppose 5*w = -t*u + 10*u + 1078, 3*w + 4*u = 656. Does 9 divide w?
True
Let s = 352 - 352. Suppose s = 7*d - 782 - 898. Is d a multiple of 20?
True
Let i(g) = g + 24. Let w be i(-6). Let h(a) = a**2 - 16*a - 26. Let j be h(w). Let r = 77 + j. Is r a multiple of 17?
False
Let l(m) = -m**2 + 31*m + 3. Let p(v) = 2*v**2 - 62*v - 5. Let x(i) = -9*l(i) - 4*p(i). Is x(35) a multiple of 19?
True
Let h(d) = -2*d + 210. Let g(w) = w**2 + 13*w + 40. Let q be g(-8). Is h(q) a multiple of 5?
True
Suppose 1139 = 10*n + 169. Is 17 a factor of n + -8 + 5 - -8?
True
Suppose -o = -6*o - 3*g - 698, -4*g - 268 = 2*o. Let l = o - -398. Is 8 a factor of l?
True
Let t(g) = 2*g + 20. Suppose 2*x - 58 = 5*s, 0*s - x = 2*s + 16. Let q be t(s). Is 3 - 6 - (q - 19) a multiple of 3?
False
Suppose -143*z - 11*z - 60*z + 1070000 = 0. Is 30 a factor of z?
False
Let h(j) = -3*j**3 - 43*j**2 + 119*j + 1440. Does 2 divide h(-19)?
False
Let y = -353 + 353. Let k be 4/14 - (-1023)/21. Let p = k + y. Is 7 a factor of p?
True
Let y = 5 - 32. Let f = 28 + y. Does 11 divide 45 - (3 - 1 - (f - -1))?
False
Suppose 86139 = 36*u - 3141. Does 22 divide u?
False
Suppose -3*y = -d - 47, -4*y - 3*d + 63 = -y. Suppose -12659 = -y*j + 2199. Is j a multiple of 23?
True
Suppose 9*p + 17*p + 3198 = 0. Let b = p + 400. Does 7 divide b?
False
Is (-26 - 4)*(140/25 - 6) even?
True
Let y(k) = 49*k**3 - 3*k**2 - 24*k - 7*k + 0*k - 48*k**3 - 2. Is 41 a factor of y(9)?
True
Let k(z) = z**3 + 6*z**2 - 15. Let p be k(-7). Let o = p - -142. Suppose -4*l = 16, 2*l + o = -0*j + j. Is j a multiple of 5?
True
Let r = -177 + 180. Suppose -3*a + r*h - 5*h = -3718, 5*a - 6205 = 5*h. Does 31 divide a?
True
Let n(c) = -c**3 + 9*c**2 - 9*c - 8. Suppose 10*u - 5*u - 30 = 0. Is 23 a factor of n(u)?
True
Does 223 divide 8/(-752)*-1469780 + (-14)/(-329)?
False
Let v(t) = 7*t**3 - 26*t**2 - 73*t - 19. Let b(a) = 6*a**3 - 25*a**2 - 72*a - 21. Let j(x) = 6*b(x) - 5*v(x). Is j(23) even?
False
Let i(g) = 132*g**2 + 116*g - 24. Is i(5) a multiple of 16?
True
Let m(i) = 5 - 7*i - 6*i + 0*i + 36. Does 17 divide m(-23)?
True
Let r(n) = -n**3 - 47*n**2 + 107*n - 91. Is 19 a factor of r(-50)?
False
Suppose 2*z + 2*a + 25216 = -2*z, -4*a + 6304 = -z. Let f be z/(-6) - 4/6. Is 54 a factor of f/(-3 + 8) + 1/1?
False
Let r(z) = -86*z - 180. Let p be r(-36). Suppose -11*c = 7*c - p. Is c a multiple of 18?
True
Let h = -5996 - -9650. Is 65 a factor of h?
False
Suppose -1 = -5*g + 9. Suppose 0 = -g*q + 4. Let j(u) = 18*u + 4. Does 10 divide j(q)?
True
Suppose 0 = -2*u - 3*c + 8 - 36, 0 = -5*c. Let t(d) = 9*d + 8. Let z be t(-6). Let b = u - z. Is b a multiple of 16?
True
Let b(y) = 2*y**2 - 105*y + 1295. Is b(63) a multiple of 17?
True
Let u(t) = -19*t - 75. Let k(x) = -x**3 + 7*x**2 - 3*x + 13. Let a be k(7). Is u(a) a multiple of 5?
False
Let u be (2 - -3*(-10)/(-15)) + -4. Suppose u = -4*o - a + 784 + 1008, 4*a - 433 = -o. Does 27 divide o?
False
Let h(o) = 2*o**2 - o + 2. Let c be h(1). Suppose -c*a - 10*x = -7*x - 912, 0 = x + 3. Is 47 a factor of a?
False
Let a be (0 - 1)/((15/5)/951). Let y = 460 + a. Does 21 divide y?
False
Suppose 0 = 3*k + 3*k - 240. Suppose -4*o + k = -60. Suppose -5*s - 3*p - 12 + 203 = 0, 0 = -s - 5*p + o. Is 11 a factor of s?
False
Is 245 a factor of (-16)/(-9) + -2 - 336493704/(-8478)?
True
Suppose 26*y = 3*g + 25*y - 92, -g - 4*y = -22. Suppose -248 = 28*f - g*f. Is 31 a factor of f?
True
Let h(z) = -z**2 + 1. Let l(y) = -4*y**3 - 3*y**2 + 2*y + 2. Let v(a) = 6*h(a) - l(a). Let r be v(2). Is 13 a factor of 20/(r/(-5)) + 18?
True
Let r = 1963 + -1308. Suppose 0*k = 5*k - r. Suppose 9*t - 1147 - k = 0. Is t a multiple of 22?
False
Suppose -2*n = -5*o - 14689, -16*n + 11*n + 4*o + 36748 = 0. Does 64 divide n?
False
Let m(n) = -18*n - 36. Let v(c) = 17*c + 43. Let q(d) = 51*d + 128. Let f(i) = 6*q(i) - 17*v(i). Let z(g) = 3*f(g) + 4*m(g). Is z(-10) a multiple of 25?
False
Is 83 a factor of (-34173)/27*(3 + 0)*-1?
False
Is -1 + 2/(-4) + (-3 - 29002/(-4)) a multiple of 110?
False
Let n(s) = -18*s**3 - 11*s**2 + 80*s + 13. Is 19 a factor of n(-8)?
True
Suppose -371*x + 378*x = 63280. Is x a multiple of 80?
True
Let n = 371 - 359. Suppose 0*m - 648 = -n*m. Is 39 a factor of m?
False
Let f(m) = m**3 + 6*m**2 - 12*m - 16. Let p be f(-7). Let a = p - 17. Is a/4 - 71*(-2)/4 a multiple of 6?
True
Let n = 8981 - 5269. Does 16 divide n?
True
Suppose 2*o - 28962 = -26*i + 24*i, o - 14493 = i. Does 38 divide o?
False
Suppose 5*p = 5*g + 17845, -5*p - 68*g = -69*g - 17845. Is p a multiple of 66?
False
Suppose -2*y + 5*q = -4075, q = -y + 5*q + 2045. Does 9 divide y?
True
Let u be 6 + -4 + (-6 - -10). Is ((-2052)/48)/(u/(-16)) a multiple of 6?
True
Suppose 93*j - 146433 = 934878. Is j a multiple of 31?
False
Let t(w) = w**3 + w**2 - w - 4. Let m be t(0). Let f = -25 + 33. Does 4 divide (7*m/f)/(2/(-4))?
False
Let y(g) be the first derivative of 2*g**3/3 + 2*g**2 - g + 7. Let c be y(8). Let w = -100 + c. Does 12 divide w?
False
Let t be (-55)/(1 - -4) + 5/(-5). Does 2 divide 8*(t/20)/((-12)/150)?
True
Let z be (8/(-14))/((-23)/7 - -3). Suppose -y + 5*y + 5*w = 520, -z*w + 532 = 4*y. Let f = -63 + y. Is f a multiple of 9?
True
Is 98 a factor of (10 - -4)/(4/1288)?
True
Let r = 15354 + -10239. Is r a multiple of 93?
True
Let t(n) = -2605*n + 1830. Is 36 a factor of t(-6)?
True
Let r(l) = -1. Let y(c) = -2*c - 8. Let k(j) = 10*r(j) - 2*y(j). Let b be k(-1). Suppose 0 = b*m + 2*n - 74, n = m - 11 - 36. Does 42 divide m?
True
Is ((-30)/8)/(423/(-682440)) a multiple of 18?
False
Suppose 2 = i + 9*a - 6*a, 2