4)/(-18) - x/(-99). Suppose -t = 79*a - 80*a. Is a a multiple of 16?
True
Suppose 28*r - 14*r = 11*r. Suppose r = -11*t + 7420 + 7232. Does 74 divide t?
True
Suppose 1782 = -18*n + 63152 + 10612. Does 21 divide n?
False
Suppose 25*w + 2560 = 15*w. Let h = w + 358. Is h a multiple of 5?
False
Suppose -84 = -2*w - 2*q, 0 = -4*w - q + 108 + 48. Let d = w + -36. Suppose d*k - h = -4*h + 45, 5*h = 4*k - 57. Is k a multiple of 6?
True
Suppose 12257 = 3*u + 5*w, u - 279*w + 283*w - 4102 = 0. Is 14 a factor of u?
True
Let z be (-63812)/112 + (-2)/8. Let s = z + 1094. Does 51 divide s?
False
Let j(i) = 5*i - 31. Let u be j(7). Suppose 4*k + 188 = 6*w - 4*w, -u*k - 8 = 0. Suppose w + 126 = 6*x. Is 18 a factor of x?
True
Let b(a) = -2327 + 1192 - 7*a + 1196. Is 17 a factor of b(-14)?
False
Let s(c) = -c**2 - 10*c - 17. Let b be s(-7). Let i(f) = 0*f**3 + 2*f - 5*f**3 + 8*f**2 + 10 + b*f**3. Does 13 divide i(8)?
True
Let s(r) = -4*r - 44. Let p be s(-12). Suppose -2*h - n + 258 = -153, -p*h - n = -821. Suppose -3*u - 3*j = u - h, -2*u + 100 = 4*j. Is 6 a factor of u?
False
Suppose 5*v - q - 10783 = 1052, -v + 4*q + 2386 = 0. Suppose -3 = 3*h, -3*l - l = -2*h - v. Is l a multiple of 27?
False
Suppose 298837 = 114*m - 3041363. Is m a multiple of 100?
True
Let u(s) = 3*s + 29. Let g be u(3). Let c = 46 - g. Does 8 divide c?
True
Let a = 3596 - 3573. Is a a multiple of 23?
True
Suppose 5*s = -4*l + 65, 0 = -5*l + 5*s + 61 + 9. Does 10 divide (-6)/(-8) + l + (-23947)/(-44)?
True
Suppose -4*p + 376 = -3*p. Let k = p - 268. Is 12 a factor of k?
True
Suppose -5*c + 4*g = 6, 4*g - 2 = -3*c + 5*g. Suppose -2*u + c = -4. Suppose -5*q + 155 = 4*i - 279, 0 = 4*q - u*i - 341. Is q a multiple of 9?
False
Suppose 0 = 2*q + 3*o + 391, -4*q - o - 217 = 570. Let n = q + 214. Is n a multiple of 17?
True
Suppose 57448 = 21*f - 18601 + 11537. Is f a multiple of 23?
False
Let h(k) = -17*k - 209. Is 17 a factor of h(-29)?
False
Let d = -25 + 27. Suppose -25 = d*j - 3*j. Suppose -4*n + 15 + 37 = 4*g, 5*n + j = g. Is 5 a factor of g?
True
Let h(z) = -27*z - 47. Let r(a) = -a + 1. Let x(j) = -h(j) - 5*r(j). Is 18 a factor of x(51)?
True
Let w = -13376 - -14874. Is w a multiple of 12?
False
Let n(o) be the first derivative of 3*o**2/2 + 4*o - 2. Let z be (-8 + 6 - -6)*2. Is n(z) a multiple of 11?
False
Let r = -135 - 405. Let f(c) = 21*c**2 + c - 4. Let v be f(6). Let z = r + v. Is z a multiple of 26?
False
Let w(a) be the second derivative of 538*a**3/3 - 31*a**2/2 - 5*a + 8. Is w(1) a multiple of 32?
False
Suppose 0 = -4*q - 4, -4*h - h - 5*q = 0. Let i(f) be the third derivative of 25*f**5/12 - 5*f**2. Does 25 divide i(h)?
True
Suppose -y = 2*y - 5*q - 22770, q + 15180 = 2*y. Suppose a - y = -21*a. Does 15 divide a?
True
Suppose l = -3*w + 27, -2*l + 7 = 2*w - 27. Is 2/l + (5 - (-4901)/78) a multiple of 17?
True
Let b(o) = -o + 11. Let f(r) = -3*r - 25. Let n be f(-10). Let l be b(n). Suppose -9*v + l*v = -420. Is v a multiple of 10?
True
Let u(x) = -8*x + 12. Let v be (-21)/35 - 54/10. Let a be u(v). Suppose 0 = 7*q - 6*q - a. Does 10 divide q?
True
Suppose 0 = -2*j + 11*j + 2970. Let b = j - -518. Suppose -3*s - 5*o + b = s, s = 2*o + 34. Does 21 divide s?
True
Let h = 1062 - -2013. Does 75 divide h?
True
Let y be (40/16)/(1/2). Let w be -1 + 0 - (-45)/y. Is 5 a factor of ((-86)/w)/(3/(-12)) - 3?
True
Let p(f) = 84073*f**3 + 7*f**2 + 22*f - 30. Is 62 a factor of p(1)?
True
Suppose 2*u - 319 = 227. Let s = u - 208. Is 11 a factor of s?
False
Let h = 67 - 27. Suppose 274 - 74 = 2*b. Let q = b - h. Is q a multiple of 10?
True
Let z = 103 + -103. Let i(j) = j**2 + j + 1875. Let v be i(z). Suppose 330 = 15*n - v. Does 49 divide n?
True
Let t = 99 - 99. Suppose -2*h = 4*n - h - 177, -3*n - 2*h + 129 = t. Is 37 a factor of n?
False
Suppose -5*s + 44 = b, -2*s + 6*b = 10*b - 14. Let h(w) = w - 3. Let d be h(0). Does 13 divide 3 + 46 - (d + s/3)?
False
Let p(k) = 8*k**3 + 6*k**2 + 30*k - 116. Is p(12) a multiple of 45?
False
Suppose -11*p + 18*p = 66612. Is p a multiple of 39?
True
Let o(c) = -9258*c - 1897. Is o(-7) a multiple of 21?
False
Let w(q) = q**3 + 5*q**2 - 3*q + 23. Let s be w(5). Suppose 2*c = -3*j + 120, 5*j - 2*j = 4*c - s. Does 9 divide c?
True
Let k(v) = -7 + 6*v**2 + 0*v + 2*v + 1 + 5. Let q be k(-4). Let h = q - -108. Does 15 divide h?
True
Let f(u) be the first derivative of u**4/2 - 14*u**3/3 + 13*u**2/2 + 3*u + 154. Is 5 a factor of f(6)?
False
Let n(m) = 3*m**3 - 64*m**2 - 42*m - 17. Let o be n(22). Is 9 a factor of (-36)/486 + 8264/o?
True
Suppose -180 = m + 100. Is 14 a factor of (-10)/(((-5)/m)/(-1))?
True
Let d = -8 + 8. Suppose d = -2*y - 2*a + 2, 13 = -2*y + 3*y - 3*a. Suppose -3*k + 4*c = -148, 4*k - y*c - 210 = -5*c. Is 13 a factor of k?
True
Suppose -77*u + 844717 = -647921 + 114800. Does 45 divide u?
False
Is (-58)/5*-4*25*56/20 a multiple of 46?
False
Suppose 12*x - 13182 = 11226. Does 9 divide x?
True
Let b be (9 - -2) + 1 - 7. Suppose 2147 - 649 = 2*n - a, -b*a - 10 = 0. Is 11 a factor of n?
True
Let g be (-11 - 1)*(-6076)/(-147). Let y = -321 - g. Is 22 a factor of y?
False
Is (1716/14)/((-4)/(-6)*(-129)/(-602)) a multiple of 17?
False
Let v(n) = 11*n + 9. Let s be v(4). Let r = 62 + -80. Let a = r + s. Is a a multiple of 15?
False
Let k = -35 - -35. Suppose 2*b - 94 - 530 = 0. Suppose -b = a - 5*a - 4*c, 4*c - 8 = k. Does 19 divide a?
True
Let u(d) be the third derivative of -7*d**6/120 - d**5/20 + d**4/8 + 7*d**3/2 - 2*d**2 - d. Does 28 divide u(-4)?
False
Let j = -509 - -1203. Is j a multiple of 6?
False
Let s = -724 - -700. Is (108/96 + 3/s)*1505 a multiple of 20?
False
Let x(w) = -w**3 + 11*w**2 + 48*w + 119. Does 133 divide x(-7)?
True
Suppose 3*w + t - 127 = 179, 4*w + t - 408 = 0. Suppose 4*j - v - w = 0, 4*v - 7 = 1. Is j even?
True
Let j = 48133 - 18796. Does 21 divide j?
True
Let t(s) = 2*s + 4. Let g be t(-11). Does 2 divide 2*-1 + 172 + g?
True
Let s(r) be the third derivative of -7*r**6/120 - r**5/15 + r**4/12 - 10*r**3/3 - 2*r**2 + 27. Is 45 a factor of s(-5)?
False
Suppose -9*i + 1 = -17. Suppose i*f - 593 = 3*v + 319, -4*f = 12. Let q = 462 + v. Does 28 divide q?
False
Suppose -a + 24*m = 22*m - 18034, 90194 = 5*a - 2*m. Is a a multiple of 44?
True
Let i(m) = 2*m**2 - 169*m + 806. Is i(173) a multiple of 18?
False
Suppose 4*u + u = 10. Suppose -u*v - v - v = 0. Suppose 5*i + 115 - 295 = v. Does 12 divide i?
True
Let o(x) = 179*x**2 + 7*x + 32. Is 115 a factor of o(-5)?
False
Let n be (0 - -39 - 1)/((-8)/(-4)). Suppose 5*r - n = -3*m + 6*m, -5*r - 5*m = 5. Is 25 a factor of (-4070)/(-20) + (-1)/r?
False
Let c = 250 - -179. Suppose 0 = -4*t + z + c + 1265, 4*z = -2*t + 856. Is 31 a factor of t?
False
Let l = 11145 - 10368. Does 2 divide l?
False
Suppose -k + 6 = 2. Is 16 a factor of -432*((0/k - 5) + 4)?
True
Suppose 0 = c + 3*i - 9, 3*i - 5 = c + 4. Is 7 a factor of 702/10 - c - 1/5?
True
Suppose 4*g - 4 = 5*b + 22, 0 = 2*g - b - 16. Suppose -91 = -4*r + g. Suppose 5*a = r, -2*f + 5*f - 3*a - 330 = 0. Does 23 divide f?
True
Let z = 1502 + -1023. Is 10 a factor of (z - -12) + (-2 - -1)?
True
Suppose 4*z = 4*f - 9652, -13*z = -f - 14*z + 2417. Is 79 a factor of f?
False
Is 0 + -1190*8/(16/(-26)) a multiple of 14?
True
Let o = 75 + -51. Suppose -16*b - 288 = -o*b. Is 18 a factor of b?
True
Let m be -1 - (-799 - -3) - (1 - 2). Let s = 1144 - m. Is 26 a factor of 0 - s/(3 - 6)?
False
Suppose 67*j + 82740 = 28*j + 210855. Is j a multiple of 45?
True
Let o = 2039 + -994. Suppose -z - 4*h - 42 = -267, -4*h + o = 5*z. Is 7 a factor of z?
False
Let v(l) = 7*l**3 - 4*l**2 - 3*l + 15. Suppose -2*s - 3 - 9 = 0. Let t(n) = -n**3 + n**2. Let c(i) = s*t(i) - v(i). Is c(-6) a multiple of 15?
False
Let g be (6/8)/((-26)/(-104)). Suppose -w + 829 = z + g*w, -1670 = -2*z + 4*w. Suppose z = 12*u - 5*u. Does 18 divide u?
False
Suppose -13 = 4*u - 1. Let i(j) = j**3 - 6*j**2 + 2*j + 9. Let p(f) = -f**3 - 5*f**2 + f + 9. Let a(q) = -2*i(q) + 3*p(q). Is 15 a factor of a(u)?
True
Let h be (0 + -1)/((-5)/(-3) + -2). Suppose 575 = 3*p + h*x - 559, 12 = -4*x. Let l = p + -170. Is l a multiple of 31?
False
Suppose 22*p + 41*p + 2*p - 10595 = 0. Does 20 divide p?
False
Let y be -5 - (-1)/((3 - 2)/249). Let a = -173 + y. Is 11 a factor of a?
False
Let o be 4 + 6