4 = -2*r + 3*s + 3. Is 0 + -3 + (-76)/(r - 2) a multiple of 10?
False
Let f = 201 - 113. Let r(c) = -2*c**3 - 3*c**2 + c + 7. Let d be r(3). Let g = f + d. Is 4 a factor of g?
False
Suppose 259 = 5*n - 5*i - 121, -2*n - 4*i = -170. Suppose -5*z + 4 = l - 45, n = l - z. Suppose -4*u + l = -58. Does 11 divide u?
True
Let q(a) = a**3 + 9*a**2 + 22*a + 9. Let t be q(-6). Let d = 507 + t. Is d a multiple of 6?
True
Suppose 3*g + 3*a - 4725 = 0, -36*g + 35*g + 1575 = -a. Does 117 divide g?
False
Let d(t) = -t**3 + 4*t**2 - 3*t + 3. Let v be d(3). Suppose -3*g + 6*g - 155 = 4*j, -163 = -v*g + 2*j. Does 5 divide g?
False
Suppose 4*l + j - 2 = 0, -j - 10 = -6*j. Suppose 2 = o, -3*d + l*o + o = -4. Is ((-1)/(-2))/(d - (-150)/(-76)) a multiple of 2?
False
Let s = 1173 - 1159. Let v(g) = g**2 + 21*g + 0*g**2 - 2*g**2 - 11. Is v(s) a multiple of 18?
False
Let t be 1 + 93/2 - (-54)/36. Suppose t*u - 2395 = 44*u. Is u a multiple of 21?
False
Let c be ((-10)/5 + 4)*(-1)/2. Let b be (c - 392/6)/((-3)/18). Suppose 5*i - 657 = -3*x, 2*i = -2*x + 40 + b. Does 37 divide x?
False
Suppose -2*h + 26464 = 4*o, 26*h + 66145 = 31*h - 5*o. Does 27 divide h?
True
Let c(w) = 7*w + 6. Let y(d) = 8*d + 7. Let j be ((-10)/(-2))/(-3 + 4). Let o(t) = j*y(t) - 4*c(t). Does 12 divide o(6)?
False
Suppose 5*j - 2320 = 1240. Let y = -448 + j. Is 33 a factor of y?
True
Let l = -30 - -247. Let i = -47 + l. Is 24 a factor of i?
False
Suppose -6*z = -7*z + 3*v + 17, 5*z = 3*v + 49. Let i be -1 - (14/z)/((-3)/132). Suppose -i = 4*g - 552. Does 12 divide g?
False
Suppose 4*i - 6*i + k + 79633 = 0, 0 = -i + k + 39821. Is i a multiple of 148?
True
Let u = -921 + 933. Let g = -71 - 165. Does 39 divide (0 + 3)*u/(-18) - g?
True
Suppose -11*b + 15*b = 11*o + 15279, 0 = 3*b - 3*o - 11433. Is 162 a factor of b?
False
Suppose -66*s - 161*s + 1087502 = -1006119. Is 33 a factor of s?
False
Does 47 divide (136/6 + -3)/(10380/5184 + -2)?
False
Suppose 129*n = -21*n + 596658 + 923142. Is n a multiple of 13?
False
Suppose 5*v - 12 - 8 = 0, 3*p + v - 58 = 0. Is (1 - 30/p)*(0 - 75) a multiple of 25?
True
Let j = -105 - -1062. Suppose j + 209 = 4*d - 2*h, 0 = -3*h + 9. Suppose 0 = -5*m - d + 808. Is m a multiple of 21?
False
Suppose 5*h - 776 = -4*i, -h + 3*i + 2*i + 132 = 0. Suppose 0 = 2*m - 3*u - h, -3*u + 0*u - 304 = -4*m. Is m a multiple of 7?
False
Let r(s) = -55*s + 145. Let b be r(10). Is 22 a factor of -1 + (-2987)/(-15) - (-54)/b?
True
Let c(u) = 4*u**3 + 4 - 3*u**3 - 2*u + 16 - 5 + 5*u**2. Let i be (0 - 2) + 2 + -5. Does 5 divide c(i)?
True
Suppose -12*t - 4675 = -13759. Is 15 a factor of t?
False
Let m(n) = -3670*n - 296. Does 306 divide m(-5)?
True
Let f(d) = -d**2 - 42*d - 108. Let x be f(-39). Suppose -x*u + 576 + 1062 = 0. Does 6 divide u?
False
Let l be (-1)/4*12/(-9)*15. Suppose 3*d - 142 = 2*d + 3*p, p - 694 = -l*d. Is d a multiple of 77?
False
Let m = 4187 - -5777. Is m a multiple of 17?
False
Suppose 5*k + 189 = -4*s, -8 = -s - s. Let j be 60/24 - (-1055)/10. Let t = j + k. Is 14 a factor of t?
False
Suppose 3*s - 11896 = 7*l - 5*l, -s + 3964 = -l. Suppose 453*j - 461*j + s = 0. Does 8 divide j?
True
Let c(s) = 27*s**3 + 12*s**2 - 29*s + 35. Let h(x) = -9*x**3 - 4*x**2 + 10*x - 12. Let k(d) = 6*c(d) + 17*h(d). Is k(3) a multiple of 22?
False
Suppose 5*u - 220 + 240 = 0. Is 18 a factor of (u/8)/((-5)/720)?
True
Let f(l) = -l**3 - 16*l**2 - 49*l - 20. Let w be f(-14). Let v = 284 + w. Is v a multiple of 17?
False
Let b be ((-3)/2 - -2)*230. Let h = b + -136. Does 11 divide (-1)/(((-28)/10 + 3)/h)?
False
Suppose 40 = 3*v + 2*v - 2*i, 0 = -3*v - 3*i + 3. Suppose -2*p - 36 = -2*k, 5*k - 90 = -v*p + 2*p. Does 9 divide (k - (-4 - -1)) + -3?
True
Let x(i) = i**2 - 6*i + 9. Let u be x(7). Let r = -7 + u. Let t = r - 4. Does 3 divide t?
False
Suppose -6*c + 4*c = -478. Suppose c = 3*d - 253. Suppose 2*z - d = -a - a, 0 = a + 2*z - 79. Is 10 a factor of a?
False
Let k be 1 - ((-36)/(-48) + (-10077)/12). Suppose 5*j - 4224 = 3*m, -k = -3*j + 2*j + 3*m. Is 47 a factor of j?
True
Does 6 divide -8 + (-41665 - -1)/(-7) + 12?
False
Let b = 1444 + -751. Is b a multiple of 26?
False
Let r(y) be the second derivative of 41*y**3/6 + 50*y**2 + y - 45. Is r(7) a multiple of 43?
True
Let q = -542 - -974. Suppose -4*k = -3*k - q. Does 27 divide k?
True
Suppose s = -s - v - 469, 953 = -4*s + 3*v. Let u = s - -284. Is 12 a factor of u?
True
Let t(n) = -37*n + 938. Does 6 divide t(-10)?
True
Let u(m) = m + 4. Let g be u(5). Suppose 2*q - l - g = -0*q, -q + 2*l + 3 = 0. Suppose 2*a - 39 = s - 9, -q*a - 4*s = -75. Is 3 a factor of a?
True
Let l = -315 + 525. Let x be (8/12)/(4/l). Suppose x = i + 29. Is 2 a factor of i?
True
Suppose -t + 2569 = -4*p, t + 7*p - 3*p = 2537. Is 16 a factor of t?
False
Let n = -63 + 68. Suppose 5*i = b + 498, -n*b - 26 = -11. Is i a multiple of 11?
True
Suppose -2*y = -6, -5*c + 3 = y + 5. Let p be (8/3)/(c/3). Is 15 a factor of 92 + (12/9)/(p/12)?
True
Suppose 1441 = 5*g - 819. Let i = g + -220. Suppose 108 = 4*h - i. Is 17 a factor of h?
True
Suppose 5 = 5*c - 5*m, -m = 1 + 1. Let g be c + (4/2)/((-4)/(-6)). Suppose g*s - 5 + 187 = 4*y, 2*y = 3*s + 81. Is y a multiple of 11?
False
Let u(q) = 15*q**3 - 9*q**2 - 12*q + 14. Does 45 divide u(8)?
False
Let n(d) be the first derivative of 21*d**2/2 - 246*d - 164. Is n(35) a multiple of 20?
False
Suppose 10*o - 13*o = -3*l + 51, 0 = 2*l + 2*o - 34. Suppose -68 = 16*b - l*b. Is 8 a factor of b?
False
Let l be (1 + 13/3)*72. Let c be (-9)/(-4)*l/9. Let j = -38 + c. Does 33 divide j?
False
Suppose 0*m + 3*m - 9 = 0. Let f(p) be the first derivative of p**3 - 3*p**2/2 - 2*p - 523. Is 16 a factor of f(m)?
True
Suppose 0 = 49*l - 77*l + 97888. Is 43 a factor of l?
False
Let i be (-2 + 18 + -2)/(10 + -8). Let c(w) = i + w + w - 11*w + 6. Does 40 divide c(-13)?
False
Suppose -7352 = -w - 3*v - 309, -2*v = 0. Is w a multiple of 32?
False
Let v(j) = j + 1. Let k(p) = 15*p + 6. Let t(r) = k(r) + 4*v(r). Is t(6) a multiple of 10?
False
Does 76 divide ((-38682)/(-56))/(3/100) + (2 - -1)?
True
Suppose 2*v = 2, -4*h + 2*v + v = 167. Let u = 47 + h. Suppose 4*r = k - 25, 0 = -3*r + r + u. Is 7 a factor of k?
False
Suppose 686*g - 150*g + 61*g = 27223200. Does 160 divide g?
True
Let f(z) = -z**3 - 6*z**2 - 16*z - 26. Suppose 9*n - 5*n = -24. Is 5 a factor of f(n)?
True
Let y(a) be the second derivative of 2*a**5/5 - 5*a**4/12 - a**3/3 - a**2/2 - 18*a. Let o be y(5). Suppose -12*d + 3*d + o = 0. Is d a multiple of 15?
False
Let d(f) = -28*f - 43. Let w be d(-6). Let j = w + -93. Does 16 divide j?
True
Let x(s) = 8*s**2 + 51*s + 349. Is 3 a factor of x(-13)?
True
Is (10/55*341)/(2/116) a multiple of 58?
True
Suppose 2*k + k = -15, 3*t + 3*k = 42. Let f(z) = 8*z - 37. Let a be f(t). Suppose 0 = -m + 3*g + a, -4*g = 4*m - 3*g - 512. Is 11 a factor of m?
False
Suppose 5*y = 6*n - 6072, 3*n + 2*n - 5060 = -5*y. Is 22 a factor of n?
True
Suppose -87 = -4*q - 3. Let o(u) = -16 - 5*u + q + 20*u. Does 9 divide o(3)?
False
Let i(s) = -s**2 + 7*s - 2. Let u be i(3). Let f = 2517 - 2557. Does 10 divide 8/u - 1968/f?
True
Let c(r) = 3927*r - 1134. Does 14 divide c(6)?
True
Is 4 a factor of (1864 - -1) + -1 - (28 - 24)?
True
Let j be (-54*2/(-8))/(3/200). Let r = j - 151. Suppose 4*t = -4*h + 6*t + 1002, r = 3*h - t. Is h a multiple of 33?
False
Suppose -f + 13694 = -4*t, -32*f = -31*f - 3*t - 13689. Is f a multiple of 43?
True
Suppose 203776 = -1684*f + 1716*f. Is 32 a factor of f?
True
Suppose 107*i - 3*u = 110*i - 27477, 2*i - 18338 = 2*u. Does 8 divide i?
False
Suppose -14*j = -4*w - 13*j + 3, w + 12 = -4*j. Suppose s = 137 + 102. Suppose w = 2*h - s - 371. Is h a multiple of 26?
False
Suppose 0 = -2*c + t - 30 - 0, -55 = 3*c + t. Let o(x) = -x**3 - 19*x**2 - 46*x + 15. Is o(c) a multiple of 73?
True
Suppose 4*p = l + 17, -p - 7 = -l - 15. Suppose -3*w = 3*n - 2181, -p*n + n + 1458 = -2*w. Is n a multiple of 16?
False
Suppose -q = -31*p + 30*p - 11074, 2*p = -q + 11080. Does 142 divide q?
True
Let n be -61 + -4 + (-1 - 0). Let f(b) = 24*b - 200. Let m be f(7). Let u = m - n. Does 5 divide u?
False
Let s(p) = -p**3 - 6*p**2 - 11*p - 17. Let i be s(-5). Suppose -17*a = -i*a - 1272. Is a a multiple of 21?
False
Let z = -918 - -2349. Is z a multiple of 27?
True
Supp