3*g + 4*c, -5*g - c = -10. Suppose -g*b + 72 = -12. Suppose -5*u + b = -28. Is u a multiple of 7?
True
Let f = -815 - -1965. Is 23 a factor of f?
True
Let c be 248/24 + 8/(-6). Let a(y) = 22*y - 31. Is a(c) a multiple of 37?
False
Suppose -12*i = 21621 - 56337. Is i a multiple of 17?
False
Let o be 12/(-8) - (-588)/8. Suppose 4*j - o - 136 = 0. Is j a multiple of 9?
False
Is ((-2)/(-5))/(3/2070) a multiple of 20?
False
Suppose 5*d = 4*b - 1606, -2*b + 1626 = 2*b + 5*d. Does 22 divide b?
False
Let c be (912/4)/4 - (0 + 0). Suppose 37 = 3*l - b + 3, 5*l - 2*b - c = 0. Is 3 a factor of l?
False
Let l(k) = 45*k + 217. Does 23 divide l(13)?
False
Suppose 9*t - 3 = 8*t. Suppose -p - t*y + 158 = 0, -2*y = y - 6. Is 38 a factor of p?
True
Is 46/(-69) + (-1114)/(-6) a multiple of 37?
True
Let c = 5 - 20. Is (c/(-10))/(2/60) a multiple of 28?
False
Let o(l) = l**3 + l**2 + l + 11. Let n(c) = 2*c**3 + 2*c**2 + 2*c + 21. Let b(y) = -6*n(y) + 11*o(y). Is b(-5) a multiple of 50?
True
Let n = 8711 + -3419. Does 108 divide n?
True
Suppose 0 = -d - 4*v - 16, 0*v = d + 2*v + 6. Let k(x) = -x**2 + 19*x + 2. Let m be k(17). Suppose -m = -7*u + d*u. Does 4 divide u?
True
Is (-1*6)/((-91)/55328) a multiple of 76?
True
Suppose 4*v - 2*v = h + 1, -5*v = -4*h - 1. Let b be h + 0 + 10 + -1. Suppose -d - 68 = -4*d - 2*i, 5*i = -b. Does 24 divide d?
True
Suppose -c - 3*j + 247 = 0, 502 = 2*c - 6*j + 4*j. Suppose -c - 149 = -t. Is 57 a factor of t?
True
Let j(t) = t**2 + t + 1. Let z(d) = 3*d**2 - 11*d. Let i(q) = 2*j(q) - z(q). Is 24 a factor of i(11)?
True
Suppose q + 14 = x, -5*x + 53 + 3 = 2*q. Let u = x + 3. Is 11 a factor of (-3)/u - 828/(-15)?
True
Let l = -262 + 553. Is l a multiple of 52?
False
Let c = 745 - 199. Does 26 divide c?
True
Suppose 3*g - 5*a = -105 + 19, -102 = 5*g + 2*a. Let z = g - -42. Is z a multiple of 5?
True
Let d(y) = y**2 - y + 10. Is 15 a factor of d(-10)?
True
Suppose -5*x + 147 + 158 = 0. Let r = x - 17. Does 9 divide r?
False
Let h(u) = -4*u**2 + 56*u + 8. Is 12 a factor of h(13)?
True
Suppose 0 = q - 22 - 33. Is 2 a factor of q?
False
Suppose -n - 19 = -202. Let a = -262 + 581. Let w = a - n. Is w a multiple of 23?
False
Suppose -5*n + 211 = -4*f, 3*n = f - 1 + 45. Suppose -w + 4*o + 2 = -63, 0 = -4*w + o + 335. Let k = w + f. Is k a multiple of 26?
True
Let b = 317 + 51. Is b a multiple of 10?
False
Let x = -9 + 14. Let h(y) = -y**3 + 5*y**2 + y + 1. Let i be h(x). Is 2/i - 318/(-18) a multiple of 6?
True
Suppose 4*c - 3*t - 184 = 0, c - 5*c - t = -200. Is (-2 - 2)*c/(-2) a multiple of 14?
True
Let o(u) = u**3 + 10*u**2 - 29*u - 11. Is o(-10) a multiple of 9?
True
Suppose 616 = 4*s - 5*c, 3*c + 308 = 2*s + 8*c. Is 19 a factor of s?
False
Let x(c) = 2*c**3 - 43*c**2 - 29*c - 34. Does 28 divide x(23)?
False
Suppose 5*c + k + 987 - 3191 = 0, 4*c - 1740 = 5*k. Is c a multiple of 20?
True
Let j(w) = w**3 - w**2 + 5*w + 460. Is 23 a factor of j(0)?
True
Let h(w) = 5*w**2 - w**3 + 7*w - 10 + w + 3*w. Is h(5) a multiple of 8?
False
Let i = 23 + -22. Let c(o) = 67 + 27*o**3 + o + 26*o**3 - o**2 - 66. Does 18 divide c(i)?
True
Suppose 0 = 2*n + 2*d - 1092, -5*n + 5*d - 4*d = -2748. Does 10 divide n?
False
Let h be (3 - 9/2)*-6. Let j be (-69)/h + 2/3. Let n(w) = -w**2 - 7*w + 9. Is 6 a factor of n(j)?
False
Let b = -14 + 20. Suppose -b*h + 4*h = 0. Suppose 3*g - 90 + 18 = h. Is 8 a factor of g?
True
Suppose 4*c - 16 = -0*c. Let x(y) = y**2 + 5*y - 6. Let k be x(c). Suppose 400 = 5*q - j, j - k = 4*q - 349. Does 37 divide q?
False
Let t(v) = -42*v + 7. Let z be t(-6). Suppose z = 14*b - 13*b. Is 41 a factor of b?
False
Let p = 35 - 37. Is -3 - -2 - -252 - p a multiple of 14?
False
Let a = -51 - -61. Let s(t) = t**3 - 9*t**2 - 8*t - 5. Does 11 divide s(a)?
False
Let f(s) be the first derivative of -s**6/120 + s**5/10 - s**4/8 + s**3/3 + 5*s**2/2 - 6. Let j(d) be the second derivative of f(d). Does 8 divide j(4)?
False
Suppose -c = -2*n + 12, 2*c = -3*n + 3*c + 17. Let l(a) = -a - 7. Let y be l(-9). Suppose n*w + 2*g - 310 = -94, -y*g = -4*w + 162. Is 10 a factor of w?
False
Suppose 5*v = 100 + 375. Does 11 divide v?
False
Suppose -w = 2*t - 670, 3*t + 3*w = -0*t + 1002. Does 28 divide t?
True
Let r(t) = 30*t**2 - t - 1. Let x be (2/(-3))/(6/9). Is 11 a factor of r(x)?
False
Let q(a) = a - 2. Let g be q(4). Let o be 3 - (g/2 - -56). Let m = 110 + o. Is m a multiple of 14?
True
Let w = 64 - 34. Is 3 a factor of w?
True
Suppose d = -d - 2*l + 6, -d = -2*l. Suppose -g = d*g - 144. Let v = -21 + g. Is v a multiple of 18?
False
Suppose 30*s = 22*s + 1408. Suppose -13*t + 14*t = s. Is t a multiple of 22?
True
Suppose 0 = 39*r - 25*r - 2254. Does 23 divide r?
True
Suppose 3*u - 15 = -3*t - 0*t, -2*t - 3*u = -13. Suppose 11 = t*z + 3*v, 2*z - 11 = 3*z - 4*v. Suppose -z = -3*r + 29. Is 10 a factor of r?
True
Suppose 4*x - 6*x - 16 = 0. Let n(z) = -2*z**3 - 16*z**2 - z - 5. Does 3 divide n(x)?
True
Let p(l) = -2*l + 37. Let x be p(3). Let v = 9 + x. Does 8 divide v?
True
Let z be (-483)/(-4) - 2/(-8). Let i = z + -46. Is 11 a factor of -3 + 3/(9/i)?
True
Let r(x) = 1025*x**2 - 25*x + 25. Does 25 divide r(1)?
True
Let y(x) be the third derivative of 25*x**4/24 - x**3/6 - 30*x**2 - 4. Let d(g) = 2*g - 1. Let c be d(1). Is y(c) a multiple of 6?
True
Suppose 58 = 8*y - 6*y. Let v = y + -44. Let g(a) = a**2 + 14*a + 5. Is 20 a factor of g(v)?
True
Let y(a) = a**2 + a - 36. Let s be 0*-3*2/(-12). Let u be y(s). Let p = u + 118. Is 24 a factor of p?
False
Suppose -22*v - 528 = -28*v. Is v a multiple of 11?
True
Suppose -4*d - 4 - 2 = 2*v, -2*v = -d + 6. Suppose d = -n - 0*n - 4. Let b = 48 - n. Does 28 divide b?
False
Let m = 1776 + -1664. Is m even?
True
Suppose 11*q - 10*q - 5 = 0. Suppose 2*b - 4*i = b - 19, -q*b = -2*i + 5. Suppose 0 = 5*k - 3*x - 118, 45 = k + 5*x - b. Is 13 a factor of k?
True
Is 4 a factor of ((-64)/112)/((-1)/161)?
True
Is 68 a factor of 203 + 3 + -2 + 1 + -1?
True
Suppose 5*r - 2*r - 2*k = 279, -5*r = k - 465. Is (r - (1 - (2 - 3))) + -3 a multiple of 8?
True
Suppose q - 32 - 3 = -2*x, 0 = 2*q - x - 55. Let o be q/2 + (-8)/16. Let i = -7 + o. Is 2 a factor of i?
False
Let b(a) = -89*a - 2. Let m be b(-1). Let c = m + -34. Is c a multiple of 11?
False
Suppose 57*l + 624 = 70*l. Does 16 divide l?
True
Suppose 2*f = 4*f - l - 8, -4*l = 0. Suppose -613 = -f*k - 2*u + 339, -u - 4 = 0. Suppose -k = -7*b + 2*b. Is 24 a factor of b?
True
Let f be 44/6*27/6. Let k(c) = c**2 - c + 3. Let b(a) = -5*a**2 + 6*a - 16. Let m(g) = f*k(g) + 6*b(g). Is 14 a factor of m(-4)?
False
Let o = -84 + 86. Suppose -3*d - 793 = -5*j, o*j - 310 = 2*d + d. Is j a multiple of 27?
False
Suppose 0 = 11*s - 19*s + 24. Is 3 a factor of s?
True
Let c(i) = -i - 41. Let p be c(12). Suppose -3*t + 331 = -2*h, -4*t + 250 = -2*h - 190. Let l = p + t. Is 28 a factor of l?
True
Let y(m) = 12*m**2 - 194*m - 10. Is 8 a factor of y(17)?
True
Suppose -9*k = -14*k + 675. Suppose -15 = 3*h - 8*h, -o + k = 2*h. Is 43 a factor of o?
True
Let d be (-3 + (-20)/(-6))*99. Let g = 35 - d. Suppose 2 = -g*c, 0 = j - 2*j + 5*c + 72. Is j a multiple of 19?
False
Suppose 0 = 4*s - x - 1274 - 1905, 5*x = 4*s - 3175. Does 15 divide s?
True
Suppose 8 = -10*g + 14*g, -5*g - 294 = -4*u. Does 19 divide u?
True
Suppose 26*f = 2*f + 57600. Is f a multiple of 30?
True
Suppose -3*b - 8 - 7 = 0. Let p be (b/(-2))/(10/8). Suppose -p*k + 2*h = -174, -5*k + 249 = -2*k + h. Is 13 a factor of k?
False
Let h = 2134 + -1286. Does 22 divide h?
False
Let x = -2482 - -4961. Is x a multiple of 17?
False
Let u(v) = -23 - 25*v + v**2 + v - 3*v**2 + 16. Is 2 a factor of u(-11)?
False
Let n = 107 + -191. Let i = n - -172. Is 36 a factor of i?
False
Suppose 2 = -k - 4*g, 3*k + 2 = 2*k - 3*g. Let t = 38 - k. Is t a multiple of 16?
False
Let p = 18 + -14. Suppose c = p*j + 2*c - 407, -2*c = -4*j + 422. Is j a multiple of 27?
False
Suppose 0 = -4*b - 5*z + 3204, b - 5*z - 524 = 252. Does 90 divide b?
False
Let a(d) = d**3 + 3*d + 1. Let x be a(3). Suppose r + x = 4*o, -6*r + 2*o = -3*r + 71. Let c = 36 + r. Is c a multiple of 5?
True
Let f = 41 - 37. Suppose 0 = -f*x - 3*j + 487 - 82, 0 = -4*x + j + 393. Is x a multiple of 30?
False
Let c(s) = 3*s**2 + 12*s - 67. Is c(-13) a multiple of 2?
True
Let c(i) = 2*i**3 - 5*i**2 + 3