8/4. Suppose -3*h - t*q = h - 706, 348 = 2*h - q. Suppose 3*m + 0*m + 147 = 4*b, -5*b - 5*m = -h. Does 7 divide b?
False
Let i = 31 - 33. Let p be 11*((-18)/12 - 23/i). Suppose -7*n + p + 324 = 0. Does 31 divide n?
True
Let x(p) = 3*p**3 + 5*p**2 - 3*p - 8. Let w be x(2). Is 414/12*80/w a multiple of 17?
False
Suppose -3*c + 9 = -v, -4*v - 15*c = -10*c + 36. Let l(f) be the first derivative of -11*f**2/2 - 39*f + 3. Is l(v) a multiple of 12?
True
Let q(p) = -1 + 10 + p + 4. Suppose -4*c + 5*a + 38 = 0, 0 = 2*c - 7*c - 5*a + 25. Is 4 a factor of q(c)?
True
Suppose 3*i - 4 + 19 = 0, -3*i - 3231 = -f. Is f a multiple of 61?
False
Is 12 a factor of -2 + 3 + 354 + (47 - 40)?
False
Let l(s) = -12*s**2 - 39 - 2*s**3 + 38 + 3*s**2 - 18*s. Does 5 divide l(-5)?
False
Let g(m) = m + 5. Let p(o) = -4*o - 16. Let t(j) = -7*g(j) - 2*p(j). Let b be t(7). Suppose 0 = b*d + 34 - 90. Is 6 a factor of d?
False
Let a be (252/(-10))/((-147)/9800). Suppose -a = 186*j - 188*j. Is 14 a factor of j?
True
Let r(o) = -o**2 - o + 1. Let w(h) = 275*h**2 - 5*h + 10. Let i(a) = -4*r(a) + w(a). Let q be i(2). Suppose -q - 50 = -10*n. Is n a multiple of 14?
False
Suppose -4*n + 39712 = 2*s, 299*n + 5*s + 19832 = 301*n. Is n a multiple of 21?
False
Let p(y) = 86*y**2 - 5*y - 1. Let i = 19 - 18. Does 39 divide p(i)?
False
Suppose -u = 4*r - 101, -3*r - 3*u = -0*r - 78. Suppose 13*w = -r - 27. Is 16 a factor of -5 - (w + 515/(-5))?
False
Let i(p) be the third derivative of -p**5/60 + 7*p**4/24 + 5*p**3/6 - 15*p**2. Let t be i(6). Suppose 2*v = -t*v + 1560. Is 18 a factor of v?
False
Let u = 81 + -87. Does 10 divide 1/u - (2462/(-12) + -3)?
False
Suppose -5*r - 32870 = -4*a + a, -2*r + 21940 = 2*a. Is a a multiple of 85?
True
Let c = -212 - -212. Suppose 327 = 3*h - c*h. Is h a multiple of 9?
False
Let u(t) be the third derivative of -t**5/60 - 5*t**4/24 + 10*t**3/3 - 41*t**2. Does 11 divide u(-5)?
False
Does 18 divide 3/((-1 - 5) + (-228173)/(-38027))?
False
Let t be 627501/63 - 4/(-6). Suppose -25*q + 7139 = -t. Is q a multiple of 18?
True
Suppose -56339 = -16*g - 37*g. Suppose -g = 5*m - 2853. Is m a multiple of 30?
False
Let v(l) = 157*l - 5590. Is 14 a factor of v(62)?
True
Suppose -67*x + 7395500 = 160*x + 1399068. Does 26 divide x?
True
Is 43 a factor of 11 - (-2448600)/98 - ((-23)/7 + 3)?
False
Let q be (-6240)/(-165) - 4/(-22). Suppose -q = -x - 4*n - 5, 2*n + 168 = 4*x. Is 41 a factor of x?
True
Let u = 4908 + -3435. Does 5 divide u?
False
Suppose -464*t = -463*t + 3*y - 13170, 2*t - 26331 = 3*y. Does 33 divide t?
True
Suppose -14*f = 57 - 15. Is 108 a factor of f - (6/16 - (-165295)/(-104))?
False
Suppose i - 57 = -0*i - 3*r, -2*i - r = -89. Let q = 44 - i. Suppose 3*j = p + 45, 0*p - q*p = -2*j + 34. Is 14 a factor of j?
True
Suppose 0 = 4*b - 20, l + 2*b - 7940 = -3*b. Is 2 a factor of l?
False
Let b = -216 - -492. Let x(u) = u**3 - 4 + 1 - 281*u**2 + b*u**2 + 14*u. Is 7 a factor of x(4)?
False
Let m = 3 + -13. Let c = m - -82. Suppose 3*t + c - 207 = 0. Is 10 a factor of t?
False
Suppose -261*o = -263*o + 4*i + 19590, 0 = -o - 2*i + 9775. Is o a multiple of 20?
False
Let w = -68 - -24. Is 28 a factor of 4/(-6)*30162/w?
False
Let u(g) = -319*g + 13817. Does 47 divide u(27)?
False
Suppose -2*q = -z - 237 - 4, 949 = -4*z + 5*q. Is 14 a factor of (z/44)/((-3)/248)?
True
Let g(r) = 7*r**3 + 2*r**2 + 6*r + 5. Let x be g(-3). Suppose n - 2*j + 118 = 0, -314 = 3*n + 6*j - 2*j. Let q = n - x. Is 12 a factor of q?
False
Suppose -5*r + 113852 = -4*k, -20*r + 24*r + 5*k - 91098 = 0. Is r a multiple of 17?
False
Is 23 a factor of 8542 + ((-2200)/(-374) - 4/(-34))?
False
Suppose 4*i = 16, -2*t + 1498 = -195*i + 188*i. Is 9 a factor of t?
False
Is (1494/(-24) + -18)*(-80)/1 a multiple of 107?
True
Let q = 153 + -172. Let k = 591 - q. Does 61 divide k?
True
Let u be 46/12 + (-5)/(-30). Suppose -u*q - 3*k + 2*k = -197, k = 1. Is q a multiple of 49?
True
Let o(h) = 14794*h**2 - 20*h + 19. Is 15 a factor of o(1)?
False
Suppose -3*v + 204*j - 202*j + 115234 = 0, -3*v + 5*j = -115213. Is 266 a factor of v?
False
Let r(g) = -413*g**3 + 341*g - 173*g - 166*g + 3. Is 26 a factor of r(-1)?
False
Let z be (20/(-14))/((-13)/637). Suppose z*t = 43047 + 38573. Is 22 a factor of t?
True
Let i = 80 + -86. Does 19 divide (95/3)/((-14)/21)*i?
True
Let h(q) = -3*q**3 + 12*q**2 + 5*q + 8. Let o be h(6). Let f = -13 - o. Is 11 a factor of f?
True
Let r(d) = -1 - 9*d + d - d + 0*d + 28*d**2 - d**3 - 6*d**2. Is r(6) a multiple of 43?
False
Suppose 43981 = 4*j + 5*w + 5710, -2*j + 4*w = -19142. Is 224 a factor of j?
False
Suppose -2*b + 6 = 0, 0 = 3*p + b - 306 - 66. Suppose 5*d + p = 8*d. Does 9 divide d?
False
Is 41 a factor of ((-1280566)/(-1432))/((-2)/(-4) - (-1)/(-4))?
False
Let h = 45 + -43. Is 4 a factor of 447/2 + h*(-12)/(-48)?
True
Let b = 3078 + -364. Is b a multiple of 23?
True
Is 67 a factor of (5970/(-20))/(41/(-8) - -5)?
False
Suppose -4*j + 38 = 2*m - 2*j, -3*m - 2*j = -59. Let s = 30 - m. Does 6 divide s?
False
Let c = -4579 - -7803. Does 52 divide c?
True
Let k(o) = 2021*o + 234. Does 13 divide k(1)?
False
Suppose -137225 = -6*x + 54*x - 659129. Is x a multiple of 23?
False
Suppose -18*p - 141405 = -18*p - 11*p. Is p a multiple of 6?
False
Let n(f) be the second derivative of 19*f**3/2 - 53*f**2/2 - 15*f. Is 38 a factor of n(5)?
False
Let n be (20/(-50))/(4/(-20)). Suppose n*i - 378 = -b, 2*b - 110 = 2*i + 664. Does 75 divide b?
False
Suppose 4*k - 120*x - 28885 = -115*x, -2*k + x + 14441 = 0. Is k a multiple of 76?
True
Suppose 5*a - 11733 = -2*s, -6*s - 4*a = -7*s + 5847. Does 21 divide s?
True
Let h = -11778 + 12713. Is h a multiple of 53?
False
Suppose -104578 = -21*u + 299546. Is 17 a factor of u?
True
Let m(z) = -2*z**2 - z**3 + 6*z - 126 + 15*z**2 + 15*z**2. Is m(28) a multiple of 6?
True
Let t = 35 + -65. Let x be (-8)/(-10)*(0 - t/12). Suppose x*v - 205 + 7 = 0. Is 9 a factor of v?
True
Let f = 7291 - 2773. Is 5 a factor of f?
False
Suppose -4*k = 23 - 7, -2*k = 3*b - 4. Suppose -6*u = -b*f - 5*u + 464, 12 = -3*u. Is 23 a factor of f?
True
Suppose -221 = -2*z - 3*c + 14477, -c = -z + 7359. Is z a multiple of 102?
False
Suppose 0 = -337*t + 22570687 - 1593785. Does 13 divide t?
False
Let q(d) be the third derivative of -d**6/15 + 3*d**5/20 + 5*d**4/12 + 7*d**3/6 + 11*d**2 - 4. Is 16 a factor of q(-3)?
False
Let j(w) = w**2 - 2*w + 2. Let g be j(2). Let s(d) = 7*d + 16 + 2*d**3 - 4*d**3 + 12*d**g - 2*d - 5. Does 28 divide s(6)?
False
Suppose 3*u + a + 3849 = 0, -24*u + 3849 = -27*u + a. Let t = 1812 + u. Is 9 a factor of t?
False
Let y(s) = -68*s - 324. Let o be y(27). Let c = 3380 + o. Is c a multiple of 61?
True
Let o(u) = 129*u**2 + 24*u + 3. Is 10 a factor of o(-7)?
False
Suppose 0 = -34*q + 7*q + 540. Suppose q*p - 360 = 14*p. Is p a multiple of 3?
True
Let o = 2101 + -2097. Let q(x) = 7*x**2 + 5*x - 3. Let t be q(-7). Suppose 65 = -o*c + t. Is 34 a factor of c?
False
Let w = 38 + -34. Suppose 2*t - t = -2*b + 16, 22 = 2*b + w*t. Suppose b*o = o + 840. Is 19 a factor of o?
False
Let n = 23712 - 16651. Is n a multiple of 73?
False
Suppose 0 = 49*i - 26*i - 161. Suppose 2*a - 4*j = i*a - 772, j = 2*a - 314. Does 13 divide a?
True
Let u(b) = b**3 + 7*b**2 + 11*b + 10. Let r be u(-5). Suppose 2*o - 161 = -r*c, o = -3*o - 2*c + 362. Suppose -o = -0*m - 3*m. Is m a multiple of 9?
False
Let c be -12*(2/8 + 1/(-2)). Suppose c*t - 3028 = -4*x + 7*t, 2296 = 3*x + 2*t. Let p = x + -534. Is 38 a factor of p?
True
Let c = 45 + -33. Suppose 8 = c*n - 11*n. Suppose -2*x = -n*x + 672. Is 8 a factor of x?
True
Let i be (-1 - 0)*(-7 - -4). Suppose -50 = 2*n - i*n. Is 4 a factor of 405/n + (-1)/10?
True
Let g(u) = u**2 - 4*u + 25. Let y(k) = -k**3 + 24*k**2 - 21*k - 49. Let n be y(23). Let l be ((-36)/(-3))/n + 1 + 3. Does 4 divide g(l)?
False
Suppose -15*p + 76933 + 14597 = 0. Is 18 a factor of p?
True
Suppose -2*j = w + 178 + 50, 3*j + w + 340 = 0. Let t be (-16)/j - 97/(-7). Suppose 776 = t*p - 6*p. Is p a multiple of 20?
False
Suppose -2*o + 42 = -54. Suppose c - o = -c. Is c even?
True
Let u(x) = x**2 + 6*x - 2. Let l be u(0). Does 11 divide 154 - (-1)/l*(3 - 3)?
True
Let w = 5999 + 1246. Is 10 a factor of w?
False
Let t(r) = -r**2 - 16*r - 24. Let o = 2 + -16. Let q be t(o). Suppos