. Suppose -4*a - 3*w - b = 0, 3*a - 6*a - 2*w - 4 = 0. Suppose 2*p - 114 = i, 0*p = 3*p + a*i - 164. Is p a multiple of 7?
True
Suppose -3*q + 5 = -2*q. Suppose -5*z - 4*u + 54 = 0, -3*z = z - q*u - 76. Suppose 9*y = z*y - 45. Does 2 divide y?
False
Suppose 4004771 - 920951 = 206*c. Is c a multiple of 58?
False
Let z = -1603 - -3773. Is z a multiple of 70?
True
Is (-70)/(32230/(-4026) - (-8)/1) a multiple of 10?
True
Let d(x) = x**3 + 14*x**2 + 22*x - 24. Let k be d(-12). Suppose -2*m - m + s - 823 = k, 5*m = -s - 1361. Let p = m + 385. Is p a multiple of 14?
True
Let i(s) = 9*s**2 + 136*s + 4397. Is 15 a factor of i(-38)?
True
Let o = -53 + 54. Suppose 4*d + o = 25. Is 6 a factor of d/(-10) + 1764/15?
False
Let z(u) = -3*u**3 - 18*u**2 + 13*u + 20. Suppose -14*y + 21 = -16*y - l, -y - l = 13. Is z(y) a multiple of 30?
True
Let v = 9029 - 8714. Does 35 divide v?
True
Suppose 5*o - 3*v = -254, 0*o = 2*o - 5*v + 94. Let a = o + 277. Is a a multiple of 9?
True
Let u(y) = 6*y**3 - 52*y**2 + 2*y + 8. Let b be u(10). Suppose 4*m - b = -2*q, -3*m - 807 = -6*q + 4*q. Does 17 divide q?
True
Suppose 16083 = n + v, 4*n - 9008 = -v + 55336. Is 24 a factor of n?
False
Suppose 383665 - 87601 = 24*k. Is k a multiple of 8?
True
Let h = 314 - 309. Does 29 divide 497 + ((-462)/110 - (-1)/h)?
True
Suppose 3*a = -5*o + 1767, -3*a + 802 + 941 = o. Is a a multiple of 6?
False
Let s = 2270 - -3534. Is 72 a factor of s?
False
Is 103 a factor of 8 - 17 - -10575 - 15?
False
Suppose 5*h + 4*n = 4316, -565*h + 560*h + 3*n = -4323. Is h a multiple of 30?
False
Suppose -4*f - 4*a = -1932, f - 2*f + 471 = 4*a. Let k = 819 - f. Does 35 divide k?
False
Suppose 127 = 3*b + 5*n + 497, -371 = 3*b + 4*n. Let o = 146 + b. Suppose 2*t - 153 = o. Is 27 a factor of t?
False
Let a be 24 - 7*12/21. Suppose 4*b = -a, 3*b = -n + 7*b + 190. Is 10 a factor of n?
True
Is ((-1066)/287)/((-4)/5026) a multiple of 13?
True
Let j = -6789 - -20453. Does 7 divide j?
True
Let j(k) = -k**3 + 8*k**2 - 5*k. Let h be j(8). Let i(c) = 2*c**2 + 18*c + 53. Let z be i(-9). Let d = h + z. Is 9 a factor of d?
False
Let t = 390 - 310. Suppose -300 = -19*h + t. Is h a multiple of 4?
True
Suppose -4*w - 1932 = -16*w. Let x be ((-3*2)/(14/w))/(-1). Let k = x + 252. Does 47 divide k?
False
Let w = -11437 + 13884. Is 15 a factor of w?
False
Does 17 divide 3416 - (13 - 23 - -9)?
True
Let z = 162 + -186. Is 58 a factor of (-2 - z/10)/((-11)/(-6380))?
True
Does 29 divide (94/282)/((-4)/(-82128))?
True
Suppose 24 = 7*u + 150. Let w = u + 58. Let c = -14 + w. Is c a multiple of 13?
True
Is ((-180)/24 - -9)/(4/10160) a multiple of 5?
True
Let p be ((-144)/40)/(9/(-30) + 0). Let k(d) = -d**3 + 19*d**2 - 54*d - 24. Is 8 a factor of k(p)?
True
Suppose -2*s = 3*i + 12, -i = 6*s - 2*s + 14. Is 38 a factor of (174348/(-612) - i/(-17))*-2?
True
Let a(p) be the third derivative of -p**5/60 + p**4/3 - 8*p**3/3 - 10*p**2. Let h be a(5). Let f(q) = -88*q + 2. Is 29 a factor of f(h)?
False
Suppose 0 = -2*o + 68 - 78. Let n(b) = -13*b + 19. Is 9 a factor of n(o)?
False
Let x(w) = 56*w**2 - 2*w - 1. Let v = 32 + -33. Is x(v) a multiple of 19?
True
Let a(h) = 11*h**2 + 98*h + 81. Is 219 a factor of a(-19)?
True
Let n(c) = 677*c - 1643. Is n(29) a multiple of 86?
False
Let j = 1039 + -735. Suppose j*a - 136 = 300*a. Is a even?
True
Let k = -22881 - -32386. Does 41 divide k?
False
Suppose -c + 4*d + 644 = 0, 2*d = -147*c + 145*c + 1238. Is c a multiple of 11?
False
Let y be (-15)/10*(-32)/(-12). Let f be (-11358)/(-81) + y/18. Suppose -l + b + f = 0, 2*l - 260 = b - 3*b. Is l a multiple of 27?
True
Let n = -8149 - -8782. Is n a multiple of 12?
False
Suppose -470841 = -28*w - 21*w. Is 44 a factor of w?
False
Suppose 2624 = 354*s - 352*s + 4*b, 0 = 2*s + 7*b - 2642. Is 20 a factor of s?
True
Let l(q) = 3*q + 31. Let t be l(-12). Is 22 a factor of (-3 - -3) + 3 - (t - 58)?
True
Suppose 4*m - 54 = -4*b + 2, -4*b + 36 = -m. Let z be 5/((-75)/(-6)) + 56/b. Is 27 a factor of (-2)/z*-244 + 8/(-24)?
True
Suppose -11*m + 23565 + 27200 = 0. Is m a multiple of 111?
False
Suppose -42*x + 58 = -68. Suppose x*y = -2*r + 1155, 0 = y - 2*r - 580 + 203. Is 7 a factor of y?
False
Suppose -71*s = 31*s - 204000. Does 25 divide s?
True
Suppose -23*t - 2*t - 8*t + 858495 = 0. Is t a multiple of 55?
True
Suppose -5*l = -x + 81, -2*x - 2*l + 324 = 2*x. Let g = x - 81. Suppose -5*c = b - 48, -76 = -2*b - g*b - 5*c. Is b a multiple of 14?
True
Let q = -166 - -45. Let y = -69 - q. Does 13 divide y?
True
Let n(j) = -j**3 + 58*j**2 - 259*j + 211. Is n(44) a multiple of 12?
False
Suppose 89 = 51*t - 64. Suppose -135 = -4*c + t*o, -3*c + 26 = -3*o - 73. Does 6 divide c?
True
Suppose 3*z = 5*i + 18860 + 4498, 38868 = 5*z + 2*i. Is 18 a factor of z?
True
Let f be 12/21 - 760/56. Let h(s) = -32*s - 87. Is 40 a factor of h(f)?
False
Let s be 217 - (-5)/(0 + 5). Let t = s - 145. Suppose -4*a = -2*h - 187 - t, 2*h + 71 = a. Is 21 a factor of a?
True
Suppose 236*v - 238*v + 20 = 0. Let d(a) = -6*a - 9*a**2 + 20 + a**3 - 3 + a**2. Does 32 divide d(v)?
False
Let s = 9134 - -5353. Does 22 divide s?
False
Suppose 6*d - 31 = -2*l + d, 4*l - d = 7. Suppose 5*a - l*a + 0*a = 0. Suppose -640 = -2*r - a*r. Is 60 a factor of r?
False
Let s = 36 - 21. Let m(x) = -17*x - 19*x - s*x + 11 + 58*x. Is m(11) a multiple of 8?
True
Suppose -15*r + 8 = -16*r. Is 100/r*(-70)/7 a multiple of 5?
True
Let c(o) = -o**3 - 6*o**2 - 5*o + 14. Let i be c(-4). Does 60 divide (i/7)/(11/30261)?
False
Suppose 0*l - 5*l + 140 = 0. Suppose -3*k + 3 = 12, 5*f + k = -l. Does 8 divide 112/6*(8 + f)?
True
Suppose 3*x - 4*c = 24, x + 10*c + 11 = 5*c. Suppose 3 = -x*a - 13. Is 13 a factor of 2424/27 + a/(-18)?
False
Suppose 5*b = 4*i + 652, 0 = -i - 0*b + b - 163. Let p = 299 - i. Is p a multiple of 4?
False
Does 52 divide (10*(-24 + -1))/(((-40)/(-1))/(-4160))?
True
Suppose -4*n + 28495 - 8835 = -2*n. Is 41 a factor of n?
False
Let i(s) = 51 + 27 - 94*s + 95*s. Is 21 a factor of i(-14)?
False
Let a(u) = u**3 + 4. Let y be a(3). Suppose -5*t - 3*k + 11 = 0, 5*k = 2*t + 2*t - y. Suppose -5*s + 31 = 3*r - 35, 3*r - t*s = 93. Does 6 divide r?
False
Let d(h) be the first derivative of -7 - 1/3*h**3 - 3/2*h**2 - 77/4*h**4 - 2*h. Does 6 divide d(-1)?
False
Let q = 20499 + -3759. Is q a multiple of 186?
True
Let f(g) = g**3 - 10*g**2 - 13*g - 8. Let t(c) = -c**2 + 10*c - 9. Let q be t(7). Let j be f(q). Let k = j + -5. Does 15 divide k?
False
Suppose 4*y + 3*y = -7. Let g be (-14)/y + 2/(6/(-9)). Suppose -g*k + 727 - 265 = 0. Does 8 divide k?
False
Let y = -79 - -97. Is 47 a factor of (2/(-2))/(y/(-5508))?
False
Let f = -51743 + 84120. Is 7 a factor of f?
False
Suppose 0 = 33*k - 37*k - d + 4638, -2346 = -2*k + 4*d. Is k a multiple of 9?
True
Does 17 divide -4137*(-23)/(3864/2160)?
False
Suppose -238779 - 173254 = -98*t + 59641. Is 63 a factor of t?
False
Let i be 0*(-5)/(-25) + 7. Suppose 625 = 5*d - 5*j, 3*d = i*d + 2*j - 470. Suppose -3*o + d = -0*o. Does 3 divide o?
False
Let i = -1106 - -7268. Is i a multiple of 2?
True
Suppose 5*g + d - 1755 = 0, -57*g + 60*g - 1061 = d. Suppose -f + g = 5*r, 3*f = 7*f - 4*r - 1360. Is f a multiple of 19?
True
Let b = -4988 + 6953. Is 9 a factor of b?
False
Let h = -55 + 57. Suppose -h*a = -123 - 197. Is (1952/a)/((-2)/(-10) - 0) a multiple of 9?
False
Suppose 0 = 2*x - b + 183, 27*b - 23*b = 4*x + 360. Let m = x - -236. Is 11 a factor of m?
True
Let a(c) = c**2 - 10*c + 20. Let i be a(8). Is 6 + 836/8*i a multiple of 37?
False
Let v(d) = 51*d + 2. Suppose 2*z + 5*r - 117 = 0, 4*z - 3*r - 243 = -4*r. Let q = 63 - z. Is 21 a factor of v(q)?
False
Let q = -21978 - -23675. Does 26 divide q?
False
Let n(c) = 2*c**3 + 3*c**2 + 2*c - 2. Suppose 4*h - 28 - 16 = 0. Let z(j) = 9*j**3 + 15*j**2 + 9*j - 10. Let m(o) = h*n(o) - 2*z(o). Is m(4) a multiple of 53?
True
Let l(a) = -a**3 - 2*a**2 + 3*a + 4. Let g be l(-3). Let p(q) = -q**2 - 2 + 0*q**3 - 3 + 2*q + 3 - 2*q**3 + 3*q**3. Is p(g) a multiple of 6?
True
Suppose 14*g - 11*g + 25*g = 5964. Is 2 a factor of g?
False
Let o(g) = g**3 + 8*g**2 - 9*g - 6. Let k be o(-10). Let f = k + 118. Suppose 5*m + i - f*i = 657, 4*m - 531 = -i. Is m a multiple of 11?
True
Let c be 1120/110 - ((-2)/(-11) - 0). Suppose 0 = -c*i + 34 + 656. Is (2 + i/6)*4