 (6/15 + s/(-10))?
False
Suppose 6*q + 4*i + 1776 = 7*q, q = -3*i + 1776. Does 6 divide q?
True
Suppose -19*u = -164239 - 583943 + 203186. Is 202 a factor of u?
True
Let a = 606 - 601. Suppose -3*w - 3*j - 1248 = -6*w, a*w - 3*j - 2090 = 0. Is 10 a factor of w?
False
Let a(i) = -i**2 - 12*i + 2. Suppose 48 = -9*g + 5*g. Let x be a(g). Is 13 a factor of -27*(x + (-3 - 2))?
False
Let a = 182 - 175. Suppose 11*s - 2*g - 2572 = a*s, -g - 2 = 0. Does 8 divide s?
False
Let i(x) = -x**3 - 4*x**2 + 2. Let l be i(-2). Let v = -5 + -13. Let y = l - v. Is 3 a factor of y?
True
Let w(g) = 130*g - 8. Let a be w(5). Suppose 2*b = -186 + a. Is b a multiple of 12?
True
Let d(p) = -p**3 - 16*p**2 + 13*p - 19. Let u be -1 - (-3 - (-40)/12)*-21. Let y be (-25)/u + 4 - 101/6. Is 7 a factor of d(y)?
True
Let m(v) = -v**3 - 4*v**2 + 4*v. Let s be m(-5). Suppose -1 - 9 = -s*w. Suppose -54 = -w*g - 2. Is g a multiple of 19?
False
Let h be 4/(-9)*(27 + -36). Let d(u) = 13*u**2 + u + 10. Does 46 divide d(h)?
False
Suppose -31*p - 45946 = -33*p + 2*z, -3*z - 22983 = -p. Does 232 divide p?
True
Suppose 8*y + 5955 = 1363. Let c = y - -957. Does 62 divide c?
False
Suppose 136*h = 115*h + 58233. Is h a multiple of 10?
False
Suppose -421*u = 43*u - 1077408. Does 98 divide u?
False
Suppose -5*l - 136 = -111. Is (l + 0 + 4)*-240 a multiple of 30?
True
Let w(o) = 2*o - 10. Let k be w(22). Let c(f) = f**3 - 33*f**2 - 32*f + 2. Is c(k) a multiple of 2?
True
Suppose 5*l = m + 8, -4*m - 2 = -m - 4*l. Suppose -m*k + 108 = k. Suppose -k*w + 105 = -35*w. Is 21 a factor of w?
True
Suppose 316*s - 578*s = -1483182. Is 17 a factor of s?
True
Is 12 a factor of (-16)/(-6)*(-1485834)/(-1904)?
False
Let a(w) = -w**3 - 8*w**2 + 7*w + 43. Let k be a(-8). Let n(p) = p**2 + 11. Is n(k) a multiple of 13?
False
Let c(k) = 33*k**2 + 4*k + 204. Is c(15) a multiple of 20?
False
Suppose -4*k = -31*k - 32*k + 84252. Is k a multiple of 28?
True
Suppose -29*k + 14135 = r - 26*k, 4*r - 56428 = 4*k. Does 9 divide r?
False
Let k = -21 + 25. Suppose k*s - 392 = -3*s. Suppose 4*l - s = -5*x, -2*x - 13 + 3 = -2*l. Is l even?
False
Suppose 27*h - 8 = 29*h, 5*j - 15720 = 5*h. Is 20 a factor of j?
True
Let i(h) = -h**3 - 8*h**2 - 13*h - 6. Let t be i(-6). Suppose -12*q + 205 + 2435 = t. Is 12 a factor of q?
False
Let u(r) = 6*r**3 - 12*r**2 + 18*r. Let z be u(4). Suppose 12*j - 4224 = -z. Is j a multiple of 6?
True
Let h = 62 - 113. Let x = 90 + h. Does 3 divide x?
True
Suppose c - 3*z = -6*z + 1590, 0 = 4*z + 16. Is c a multiple of 76?
False
Suppose 2*t = 4*x + 10508, -26260 = -5*t + 37*x - 32*x. Is 69 a factor of t?
False
Suppose 378*a + 65780 = 5*x + 373*a, -5*x - a + 65744 = 0. Is 16 a factor of x?
False
Let o be (-1292)/(-6) - 22/(-33). Suppose 4*z - o = -4*f, -f - 3*z = 2*z - 58. Suppose f = 4*m - 7. Does 5 divide m?
True
Let b be (27/6 + -2)/((-1)/(-1142)). Suppose 4*c - 5*j = c + b, 2*c - 1900 = 4*j. Is 10 a factor of c?
True
Let a = 648 + 4955. Is 52 a factor of a?
False
Let n(a) = 10*a**2 + 145*a - 335. Is n(61) a multiple of 10?
True
Let a = -9911 + 11631. Does 43 divide a?
True
Let r = -3923 + 6908. Does 5 divide r?
True
Is 9 a factor of 6407/7 - (-674)/(-2359)?
False
Let u = 701 + -316. Let v = u - 325. Is v a multiple of 6?
True
Let k(o) = 2*o**2 + 27*o - 77. Let r(f) = -3*f**2 - 53*f + 153. Let u(q) = -5*k(q) - 3*r(q). Let j be u(18). Suppose 37*l - j*l = 312. Is 28 a factor of l?
False
Let r = -26 + 28. Suppose -2*f + r*k + 208 = 0, 2*k - k - 214 = -2*f. Suppose 3*v = -x + 38, -2*x - 5*v = x - f. Is 16 a factor of x?
True
Let z = 525 - 17. Suppose -87*a = -129*a + 70056. Suppose 5*t = a - z. Is 17 a factor of t?
False
Let l be (-4)/6*(10 + -8)*-6. Is 11 a factor of l/((-221)/(-55) - 48/12)?
True
Suppose 0 = 3*a - 2*a - 2. Suppose a*x = -64 + 72. Suppose -4*k - x = -6*k, -k = 5*f - 102. Is f a multiple of 8?
False
Let n = -534 + 1146. Is n a multiple of 9?
True
Let l = 5 + -1. Suppose 0 = 5*j - t + 208, -3*j + l*t + 26 = 161. Let u = j + 49. Is u a multiple of 5?
False
Suppose 11002 = 5*l - 8*d, 23*d = -5*l + 25*d + 11038. Is 85 a factor of l?
True
Let o(i) = -722*i - 81. Does 7 divide o(-4)?
True
Suppose -l = 4*g - 996, -4*l + g = -4267 + 300. Is l a multiple of 7?
False
Let n(u) = -143*u - 31. Let j(w) = 720*w + 156. Let r(v) = 3*j(v) + 16*n(v). Is r(-3) a multiple of 14?
False
Let z be (-37)/5 + (-20)/(-50). Let u be 2/5 - z/(-70)*-76. Suppose -u*q - 7*q = -375. Does 3 divide q?
False
Let i = 12026 - 6934. Is i a multiple of 70?
False
Let j = 41 - 37. Suppose 2*n = 2*a + 115 + 43, -2*a - 148 = -j*n. Let v = -28 - a. Is v a multiple of 7?
True
Suppose -7*i = 2431 + 418. Let d = -325 - i. Is d a multiple of 13?
False
Suppose -7 = -j, 7*j - 12*j - 15250 = -3*f. Is f a multiple of 55?
False
Suppose 106*w - 1546982 = -551642. Is 6 a factor of w?
True
Suppose 0 = 44*u - 41326 - 24234. Is u a multiple of 10?
True
Let h(u) = -2*u + 5. Let v(o) = -o**3 + o - 2. Let j be v(-2). Let p be (j - 3)*-2*2. Does 3 divide h(p)?
False
Suppose -38*v + 57 = -19*v. Suppose -v*h - 13680 = -21*h. Is h a multiple of 76?
True
Let w = 183 + -181. Suppose 0 = 3*b - 5*s - 180, -3*s - w*s = 0. Is 6 a factor of b?
True
Let c(j) = 6*j**2 - 6*j - 5. Let k be c(-3). Suppose 30 = -5*m + 2*u + 141, 3*m - u = k. Is 2 a factor of m?
False
Suppose -19*z + 1512 = -7*z. Let m = -124 + z. Suppose 648 = m*c - 4*t, -c + 5*t + 24 = -291. Does 30 divide c?
True
Let d(z) = -z**2 + 10*z + 5. Let o be d(10). Let f = 60 - 59. Is 9 a factor of 73 - o/(-5) - (1 + f)?
True
Let d = -600 - -636. Does 36 divide 831 - ((-12)/d)/((-2)/18)?
True
Suppose 4*b + 1113 = n, 11*n = 6*n - 3*b + 5496. Is n a multiple of 52?
False
Let d = 3067 + -1543. Is d a multiple of 36?
False
Let w = 81 - 77. Suppose -17*o - 78 = -w*o. Is 34 a factor of (-416)/o + (-48)/36?
True
Let v = -503 - -310. Let j = 511 + v. Does 17 divide j?
False
Let g(q) = -q**3 + 29*q**2 + 61*q + 76. Let w be 93*((-21)/(-9) - 2). Is 25 a factor of g(w)?
False
Let x = -27 + 32. Suppose x*g + 3 = -5*r - 2, 0 = 4*r + 5*g. Does 46 divide (89/3)/(r/(-30))?
False
Let d(k) = 3025*k + 25. Does 9 divide d(1)?
False
Let u = -664 - -744. Is 31 a factor of 908*(-4)/u*-5?
False
Let k(a) = a**3 + 87*a**2 + 80*a + 211. Is k(-86) a multiple of 4?
False
Let i = -2888 - -3294. Is i a multiple of 3?
False
Let f = 24560 - 3235. Does 7 divide f?
False
Let h(g) = -11*g**2 - 150*g + 94. Does 3 divide h(-13)?
False
Suppose 8*w + 16 = 4*w. Does 13 divide (770/(-105))/(w/318)?
False
Let s(z) = 5*z**2 + 22*z - 12. Let u be s(-6). Suppose -47165 + 3965 = -u*m. Is 48 a factor of m?
True
Suppose -j + 2136 = -7*k + 8*k, j + 3*k = 2124. Is j a multiple of 5?
False
Suppose -6*r = -15*r + 36. Suppose -2*s + h = 5*h - 586, r*s - 1154 = h. Is 6 a factor of s/8 + 9/(-72)?
True
Let d be -2*(0 + 139/2 + 1). Let t = d - -143. Is 37 a factor of 6655/35 - t/14?
False
Is 27 a factor of (-2)/(-8) - (-137675)/100?
True
Suppose -5*h + 15 = -2*h. Suppose h*u = 1518 + 1282. Is 16 a factor of u?
True
Let h(k) = -30*k + 334. Let l(b) = b - 7. Let z(n) = h(n) + 10*l(n). Is 43 a factor of z(-37)?
False
Let g(y) = -y**3 - 7*y**2 - 9*y - 14. Let a be g(-6). Suppose 5*f - 4*m = -3*m + 7, -3*f + 18 = a*m. Suppose 211 = f*w + 57. Is 11 a factor of w?
True
Let j = 56 + -83. Let z = -27 - j. Suppose z = -r + 4*r - 363. Does 23 divide r?
False
Let j(k) = k**3 + k + 1. Suppose 6*r - 2*r + 4*w = 132, 4*r - 130 = -2*w. Suppose 5*p - 5*f = -f, -3*p = 4*f - r. Is j(p) a multiple of 23?
True
Does 251 divide 1 - (1/3*122)/(4/(-3684))?
False
Let b = 44 + -47. Let u(p) = -p**3 - 15*p**2 + 23*p - 14. Let x be u(-16). Is 12 a factor of ((-4)/(-3))/(b/x)?
False
Suppose -27 = -t - 4*j, 71 = 5*t - 3*j - 133. Let f(a) = -9*a + 1. Let n be f(-11). Let k = t + n. Does 13 divide k?
False
Suppose -5*l = 13*l + 90. Is 40*(232/32 + l) a multiple of 14?
False
Suppose -13220 = -5*w + 5*j, -10*w + 12*w + 5*j = 5330. Is w a multiple of 13?
False
Is 30 a factor of (1*-24)/1*(-1094995)/926?
True
Let j(u) = 924*u - 337. Is j(7) a multiple of 75?
False
Let y(v) = -73*v - 44. Let d(h) = 4*h**2 - 2*h - 8. Let f be d(0). Is 6 a factor of y(f)?
True
Let j(v) = 2*v**2 + 11*v - 15. Let b be j(-10). Let z = b + -33. Let u = z + -22. Is 5 a factor of u?
True
Suppose -13*x = -16*x - 6. 