- -4). Is 2 - 1/((-2)/x) a multiple of 9?
True
Let h(t) = -30*t - 7. Let f be h(1). Let y be 10/8*4 + f. Is 15 a factor of y/4*26/(-8)?
False
Suppose m - 4*x = 2, 5*x = -4*m + 2*x + 8. Suppose -9*f + 25480 = f. Suppose -11*z = m*z - f. Is z a multiple of 28?
True
Let r = -11 - -22. Let n(v) = -v**3 + 9*v**2 + 23*v - 1. Let w be n(r). Suppose w*s - 13*s - 4*j = -812, 532 = 2*s - 2*j. Is 15 a factor of s?
False
Let r(p) = -3*p + 73 + 68*p**2 + p**3 + 0*p**3 + 32*p - 93*p**2. Does 84 divide r(24)?
False
Let l(v) = 99*v + 3. Let x(s) = s. Let y(g) = -l(g) + 4*x(g). Let c be y(-1). Let j = -62 + c. Is 10 a factor of j?
True
Does 56 divide (-1 + -652)/((-61)/366)?
False
Let p be (-3 + (-2)/(-1))*-2. Suppose 0 = p*k + q + 119, -k - k + 5*q = 89. Let x = k - -142. Is 12 a factor of x?
False
Suppose 2*q - 292 = -2*w, -2*q + 0*q = -2*w - 304. Let g = q - 110. Is g a multiple of 7?
False
Let p(h) = h**2 - 301*h + 9. Is p(-4) a multiple of 13?
False
Let c = 296 + -273. Suppose -26*y + c*y = -744. Is y a multiple of 8?
True
Suppose -2*h = -5*h + 15. Suppose -1190 + 180 = -h*o. Does 9 divide o?
False
Let x = -12 - -11. Let q be -2 - ((-93)/15 - x)*5. Suppose -q*u + 26*u = 156. Does 17 divide u?
False
Suppose 66 = 28*y - 18. Suppose 0 = -4*s + 5*p + 5503, -4156 + 43 = -y*s - p. Does 28 divide s?
True
Let j(n) = 52*n**3 + 1023*n**2 + 57*n - 11. Is j(-18) a multiple of 17?
False
Let v = 915 - -354. Let b = v - 753. Is 31 a factor of b?
False
Let u = -9945 + 14073. Does 96 divide u?
True
Let b(c) = 322*c**2 + 96*c - 178. Is 144 a factor of b(5)?
True
Suppose 14*f - 7*f - 15*f = -29856. Is f a multiple of 12?
True
Let k(o) be the first derivative of o**2 + 38*o + 8. Let m(c) = -2*c - 39. Let p(b) = 3*k(b) + 2*m(b). Is p(10) a multiple of 36?
False
Let s = -5497 - -18622. Does 125 divide s?
True
Let k(u) = -641 + 4*u + 726 - 2*u + 3*u. Does 5 divide k(-6)?
True
Let l(n) = -126*n - 826. Is 150 a factor of l(-88)?
False
Let f = 13049 + -575. Does 38 divide f?
False
Suppose 2*i = -5*h - 138, 3*i = 6*h - h + 118. Let u(s) = -2*s**3 + 2*s**2 + s + 2. Let g be u(-3). Let a = h + g. Does 15 divide a?
True
Let v(p) = p**2 - 3*p + 5. Let j be v(2). Suppose 3*y + 126 = 3*r, -j*y + 90 = 2*r - 2*y. Suppose -x - 4*f = -r, f + 35 = x + 11. Does 12 divide x?
False
Let t(x) = 8 - 8*x + 48 - 14 + x. Let z be t(6). Let u(d) = d**2 + 2*d + 126. Is 9 a factor of u(z)?
True
Suppose -204 + 2538 = n. Is 6 a factor of n?
True
Let d be (-25180)/(-15)*(-3)/(-2). Is (-18)/(-4) + -4 - d/(-4) a multiple of 21?
True
Let h be (-2)/(-6) + 86/(-6). Suppose 38*j = -617 - 632 - 575. Let p = h - j. Does 5 divide p?
False
Suppose -145*m + 3951930 - 1057215 = -4480275. Is m a multiple of 147?
True
Let o = 33 - -8. Suppose -3*a + 2*u - 94 + 252 = 0, a - 3*u - o = 0. Does 14 divide a?
True
Is 7 a factor of (-119353)/(-65) + 6/(-120)*4?
False
Let l(h) = 40*h**2 - 17*h + 63. Let f be l(13). Suppose -21*s = -6292 - f. Does 53 divide s?
False
Suppose n = 5*j - 469, 37*j = 38*j + 4*n - 98. Is 56 a factor of j?
False
Does 15 divide 181/(67/(-68) - -1)?
False
Suppose -2*j = 3*w - 1920, -2845 = -5*w - 3*j + 355. Is 40 a factor of w?
True
Suppose 2*x - 32349 = -t, 0 = 5*t - 5*x + 82914 - 244749. Is 23 a factor of t?
True
Let b = 433 - 51. Suppose 4*v + 78 = b. Is v a multiple of 4?
True
Let q = -94 - -215. Let s be (-3 + 0)/((-3)/(-64)). Let r = s + q. Is r a multiple of 27?
False
Suppose 0 = 29*i - 35*i + 114. Suppose i*o = 17*o + 54. Is 6 a factor of o?
False
Let u(g) = -36*g + 196. Let c(i) = 4*i - 22. Let o(n) = 28*c(n) + 3*u(n). Let b be (17 + 1)/(0 + 2). Is o(b) even?
True
Is 29 a factor of 836 - 3/(-1) - (-4 + 2)?
True
Suppose 0 = -2*w - 4 + 6. Is w*261 + 2 - 112/(-28) a multiple of 57?
False
Let m be (4 + -1)*(-4 - 136/(-24)). Suppose -2*b - 314 = -t, 8 - 609 = -2*t - m*b. Is t a multiple of 11?
True
Let h(i) = 20 + 11*i**2 + 0*i**3 + 6*i - 38 + 5*i**3 + 26. Let g be h(-8). Is 38 a factor of (-2)/(-13) - (g/13 - 6)?
True
Let j(x) = 5*x**2 - 4*x + 6. Let g = -67 + 30. Let z = g + 40. Is 15 a factor of j(z)?
False
Let s be 168 + 0/(-1) + 44/(-11). Suppose 2*h = -10, 2*d + 3*h = d + s. Does 8 divide d?
False
Suppose 284*o + 189900 = 27909 + 989851. Is 53 a factor of o?
True
Suppose -59536 = -2*n + u, -u + 11811 = n - 17948. Is n a multiple of 14?
False
Let z(a) = 123*a**3 - 2*a**2 - 2*a. Let l be z(-1). Let w = l + 482. Is w a multiple of 23?
False
Let q(u) = 4*u**3 - 57*u**2 + 16*u + 59. Does 48 divide q(14)?
False
Let s(c) = -c**2 + 9*c + 90. Let r be s(15). Suppose 0 = -n + q + 6, -4*q - 35 = -r*n - 5*n. Is 7 a factor of n?
False
Let m be ((-2)/18)/(63/(-567)). Does 25 divide (m*2/7)/((-29)/(-21721))?
False
Let r = -46 - -50. Let s be (864/4)/r + (-1 - -4). Let x = -30 + s. Is x a multiple of 13?
False
Let t(y) = 4812*y - 10638. Does 159 divide t(11)?
True
Suppose -3*w - 169 = -5*u, 5*u = -w + 13 - 76. Suppose 2*t - 610 = -5*s, 4*s - 3*t = -8*t + 505. Let f = w + s. Is 6 a factor of f?
False
Let o be -64 + (-3 - -11 - 8). Is 8*(-8)/o*(-1581)/(-1) a multiple of 79?
False
Suppose -146328 = -60*h - 7*h. Is h even?
True
Let s(x) be the first derivative of -9*x**2/2 - 138*x - 31. Does 2 divide s(-23)?
False
Let q = -30794 + 45005. Is q a multiple of 94?
False
Does 100 divide (-150)/35*(-14280)/306?
True
Let c = 78 - 81. Is 7 a factor of 94*(-1 + 2) - c?
False
Suppose -31*q + 51*q = 10720. Let b = -326 + q. Is 30 a factor of b?
True
Suppose 30 = 10*k - 4*k. Suppose 435 = k*u - 0*u. Is 19 a factor of (-6)/2 + (-5 - -6)*u?
False
Let o be (-3)/4 - (-165)/60. Suppose -a = -3 + o, 4*x - 3*a = -3. Suppose k - 6*k + 70 = x. Is 7 a factor of k?
True
Suppose 2*n + 22108 = 5*i - 21386, 0 = -5*i + 4*n + 43488. Is 60 a factor of i?
True
Let p = -63 - -70. Let o(r) = 5*r**2 + 2*r - 26. Is o(p) a multiple of 35?
False
Let z(u) = -20*u + 163. Let v be z(8). Suppose -2*o + 120 = -2*l, 4*o - v*l - 129 = 116. Does 4 divide o?
False
Suppose -3*q + 5*q + 3*b = 3, 11 = 5*q + 4*b. Let f = -218 - -222. Suppose t = -q*j + 128, f*j - 2*j - 614 = -5*t. Does 12 divide t?
False
Suppose 0 = -3*g + 3, -a - 4*g - 5034 = -2*a. Is a a multiple of 5?
False
Is (-5959750)/(-225) - (-4)/18 a multiple of 86?
True
Suppose 2*i - 1588 = -0*c - 3*c, 2079 = 4*c - 5*i. Suppose -2*o - 188 = -c. Let k = -49 + o. Does 24 divide k?
True
Suppose 5*g - 16 = 2*q, 0 = 5*q + 4*g - 38 + 12. Is (19/(190/(-16)))/(q/(-245)) a multiple of 28?
True
Let d = 8369 + -2731. Suppose 18*b - d + 238 = 0. Does 10 divide b?
True
Let i = 1301 + -917. Is 15 a factor of i?
False
Let z(b) = -b**3 - 63*b**2 + 3*b**3 + 64*b**2 + 384. Does 16 divide z(0)?
True
Suppose 3*q - 32249 + 485 = -5*d, -q = -5*d + 31772. Does 3 divide d?
True
Suppose 5*f + 4*n = -1155, -4*f = -3*n + 1225 - 270. Let o = f + 298. Is 28 a factor of o?
False
Suppose 5*n - 122 = -3*p - 5518, 3242 = -3*n - 4*p. Let b = -619 - n. Does 16 divide b?
False
Suppose -18927*b + 18933*b - 6660 = 0. Is 222 a factor of b?
True
Let o(t) = 8*t - 40. Let q be 1/10*1366 + 15/(-25). Let y be (9/(-36))/(((-6)/q)/3). Is o(y) a multiple of 32?
True
Let t(c) = 21*c + 2*c**2 + 12 + 20*c - 30*c - c**2. Let i be t(-10). Suppose -6*n + i*n = -32. Is 4 a factor of n?
True
Does 26 divide (-135395490)/(-4785) + 4/22?
False
Let s = -11357 + 17027. Does 81 divide s?
True
Let n be 2/((-6)/(-123)) + 0. Let t(y) = 3*y - n + y**2 + 39 - 20*y + y. Does 12 divide t(22)?
False
Let l be -16 + (-6)/(-2) - 4/2. Let m be (1 - (3 - -1))/(-18 - l). Let a(y) = 204*y**2 - 2*y + 2. Is a(m) a multiple of 22?
False
Suppose 35 = 4*g - 2*p - 3*p, -g - 3*p - 4 = 0. Suppose 4*r = -12, g*l + 5*r - 2*r - 146 = 0. Is 31 a factor of l?
True
Suppose -1321*b - 25 = -1326*b. Suppose -21*g + 20*g = -b*s - 281, 3*s = -5*g + 1265. Does 4 divide g?
True
Let i(c) = -6*c - 1. Let h(p) = -20 - 62*p + 61*p - 4. Let m be h(-16). Does 10 divide i(m)?
False
Let h be 12/((-24)/(-64)*4). Suppose o - 8 = -0*j + 3*j, -2*o + j = -11. Is 310/h*(o + -1) a multiple of 31?
True
Let p be (-3)/(-2) + -1 - 51/34. Is 7 a factor of ((1 - 17) + 2)*1*p?
True
Let n be -93*((-252)/(-90))/((-6)/10). Suppose -5*r + n = -341. Is 16 a factor of r?
False
Suppose -99*w = 2*i - 97*w - 2216, -w + 5528 = 5*i. Does 65 divide i?
True
Suppose 240 = -96*p + 93*p. Let j = p - -127. Is j a multiple of 47?
Tr