 + 400 = 2*b, 5*b = -5*d + 1000. Let k = 247 - b. Does 47 divide k?
True
Let l(p) = p - 16. Let q be l(16). Suppose -5*g - 21 + 81 = q. Suppose g*i - 630 = 5*i. Does 30 divide i?
True
Let n(h) = -h**3 + 4*h**2 + h + 13. Let w be n(4). Suppose -w*x = -13*x - 4*j - 1944, -4*x + 3*j = -1944. Is 27 a factor of x?
True
Suppose 0 = 3*r - 4*i + 1135 + 110, 5*i + 434 = -r. Let n = -255 - r. Does 45 divide n?
False
Let v(a) = a**3 + 3*a**2 + a - 2. Let m(o) = 4*o**2 + 4*o - 3. Let u(z) = 2*m(z) - 3*v(z). Is 8 a factor of u(-3)?
False
Let t(c) = -4344*c - 6446. Does 25 divide t(-7)?
False
Suppose 37*z - 76277 - 48968 = 0. Is 5 a factor of z?
True
Let t = 74 + -83. Let l be 168/49 - t/(-21). Suppose 0 = -4*x + o + 60, -l*x + 2*o = -2*x - 8. Does 8 divide x?
True
Let p = -14440 - -28422. Does 13 divide p?
False
Suppose 2*w = -0*w + 306. Suppose -11*g + 4629 = 5564. Let c = w + g. Is c a multiple of 17?
True
Let k be -5 + 12/(4 + 0). Does 12 divide (-715139)/(-590) + k/20?
True
Suppose -24980 = -5*b - 6*x, -5*x + 4977 = b - 0*b. Is 41 a factor of b?
True
Let c be (-1 + -1)/(68/(-76) - -1). Let j = 336 + c. Does 17 divide j/3 + 3 - (-4)/12?
False
Suppose -j = -2*r + 1033 - 180, -5*j - 1269 = -3*r. Suppose 10*p = 14*p - r. Does 3 divide p?
False
Let w(z) = 8*z + 304. Let b be w(-9). Let a = -192 + b. Is a a multiple of 10?
True
Suppose -t = -2*b - 14655, -18*b + 14658 = t - 19*b. Is t a multiple of 29?
False
Suppose -7*p - 2352 = p. Let y = 501 + p. Does 22 divide y?
False
Suppose -10*y + 82 + 38 = 0. Suppose -2*n + 4*m = -296, -4*n + 2*m + 598 = y. Does 8 divide n?
False
Let k be 1 - -6 - (4 - 0). Suppose -l = -2*l + k. Does 9 divide 58 - 0 - (-8)/(1 + l)?
False
Suppose 8*c - 4*c - 12 = 0. Suppose -4*v = 9*v - 390. Does 3 divide v/(-1)*c/((-60)/8)?
True
Let h(j) = 2*j**2 - 111*j + 335. Is 20 a factor of h(-117)?
True
Suppose -149*u - 129*u + 2800140 = 61*u. Is 7 a factor of u?
True
Let x(s) = 2*s**3 + 182*s**2 - 27*s - 271. Does 8 divide x(-91)?
False
Suppose -3*u + 60 = 3*m, -6*m + u = -m - 100. Suppose -m = -26*j + 24*j. Suppose -5*r - j = 0, 0*y + y - 62 = -3*r. Is 8 a factor of y?
False
Let s(x) = x**2 + 5*x + 1. Let g be s(-11). Let i = g + -81. Let z(d) = d**2 + d + 30. Is z(i) a multiple of 34?
False
Suppose -18*p - 272850 = -34*p - 81762. Is p a multiple of 56?
False
Suppose 16 = -z + 19. Suppose 0 = 3*s - y - 1273, 1270 = z*s - 2*y + 4*y. Is 40 a factor of s?
False
Let c be (5/3 - 2) + 24374/42. Suppose 2*m + c = 7*m. Let j = 337 - m. Is 29 a factor of j?
False
Let c(m) = -m**2 - 19*m + 30. Let r be c(-15). Is r/(-25)*(3 - (-98)/(-6)) a multiple of 12?
True
Let v(o) = 11704*o**2 - 17*o - 28. Is 104 a factor of v(-1)?
False
Let w = 5981 - 5156. Does 29 divide w?
False
Suppose -13 = -6*a - 1. Suppose d - a*d = -3*c - 639, -4*c - 2516 = -4*d. Does 24 divide d?
True
Let a = -1 - -1. Let d = 536 + -526. Suppose -2*k + 2 = a, 0 = -2*u + 3*u + 4*k - d. Is 4 a factor of u?
False
Suppose -50*h - 2 = -51*h. Suppose -h*y - 5830 = -13*y. Is 55 a factor of y?
False
Suppose 0 = -3*w - 4*f + 14173, 142*w + 4725 = 143*w + f. Does 8 divide w?
False
Suppose 4001*o - 3998*o = 28416. Is o a multiple of 67?
False
Suppose -2*j - 121 = t, 3*j + 126 = -t - 0*j. Let l = t - -219. Suppose -r + 7*r = l. Is 9 a factor of r?
True
Suppose -56*h + 4583762 = 341*h. Does 60 divide h?
False
Suppose 184*v = f + 187*v - 34674, 16 = 2*v. Is 10 a factor of f?
True
Suppose 3*j + 3*k - 2037 = 6*k, 5*j - 3390 = 4*k. Suppose 1658*l = 1660*l - j. Does 3 divide l?
False
Let l = -15910 - -25444. Is l a multiple of 55?
False
Let a = 9 - 11. Let u be ((-18)/10)/(a/10) + 3. Suppose u*q + 160 = 13*q. Does 20 divide q?
True
Let h = -51 - -276. Suppose n = 0, -15*m - n = -18*m + h. Is m a multiple of 9?
False
Is (2 - (-26051)/(-3))*(-1140)/950 a multiple of 42?
False
Let h(k) = -k + 7*k**2 + 3 + 16*k**3 - 35*k**3 + 20*k**3. Let i be h(-6). Does 18 divide (i - -7) + (-2)/(-1)*1?
True
Suppose 3*q + 6 = h + 3*h, -2*h - 2 = -4*q. Let n(a) = -45*a - 16 + 58*a + 0*a**2 + 5*a**2 - h*a**2. Is 29 a factor of n(-12)?
True
Let j(w) be the first derivative of -11*w**2/2 + 230*w + 100. Does 37 divide j(-43)?
True
Suppose 3*k - 32 = -5*l, 0 = l + k - 1 - 7. Suppose 13*d - 3094 = -l*d. Is d a multiple of 9?
False
Let d be 30*(2/(-13) + (-88)/(-65)). Let g be 65/9 - 8/d. Suppose -y + 2*y + i - g = 0, 2*y - 3*i = 39. Is y a multiple of 2?
True
Let g be (-2 + -90 - (-1 + 0)) + -2. Suppose 3*t + 2*t + 226 = -2*b, 4*b = 5*t + 208. Let j = t - g. Is j a multiple of 25?
False
Let l = 8592 - -13438. Is 25 a factor of l?
False
Suppose -10 = 15*m - 17*m. Suppose -12 = -m*y - 2. Suppose r - 84 = -2*u, -2*r - y*u + 150 = -7*u. Does 20 divide r?
True
Suppose -39 + 11 = -7*x. Suppose -4*j = x*d - 448, 0 = 2*j + 2. Suppose -32 + d = g. Does 17 divide g?
False
Let u = 76 + -74. Suppose -r + u*r + 47 = h, -227 = 5*r - 3*h. Let w = 70 + r. Is w a multiple of 27?
True
Is 119 a factor of 1/(-11)*1*-2 + 33306924/1804?
False
Let v = 3679 - 3223. Does 19 divide v?
True
Suppose 135*k - 102096 - 77679 = -100*k. Is 17 a factor of k?
True
Let t(j) = j**2 + 19*j + 23. Let c be t(-18). Suppose 15*u - 11*u + c*h - 624 = 0, u + 4*h = 167. Does 4 divide u?
False
Suppose -5*c + 19 = 3*f, -f - 3 = -4*c + 2. Is c/5 + (892/(-10))/(-2) a multiple of 11?
False
Suppose -24*m + 30 = -19*m, 6236 = 5*l + m. Does 89 divide l?
True
Suppose -3*w + 3*m + 19242 = 0, -8*w = -11*w - m + 19222. Suppose -w - 961 = -22*a. Is 7 a factor of a?
False
Let j(o) = -259*o + 21173. Is 19 a factor of j(0)?
False
Let h = -25388 - -36068. Does 89 divide h?
True
Suppose -535*l + 43209 + 25146 = -530*l. Does 10 divide l?
False
Let h = 360 - 358. Suppose 4*l + 2197 = 3*q + 3*l, 0 = 2*q + h*l - 1478. Does 36 divide q?
False
Suppose -4*l + 1 = 5. Let y = l - -215. Suppose 18 = -4*k + y. Is k a multiple of 9?
False
Suppose 0 = -4*g + x + 3 + 30, -5 = 5*x. Let k = -354 + 362. Suppose k*v + g*v = 1216. Does 19 divide v?
True
Let p = 1418 + 669. Does 3 divide p?
False
Let b(z) = -6*z**2. Let t be b(0). Suppose -v + 5*v = -3*u + 860, t = 5*v + 2*u - 1075. Is 3 a factor of v?
False
Let p(d) = -d**2 - 61*d + 2387. Is 12 a factor of p(-73)?
False
Suppose 10 = -6*x + 28. Suppose 0 = -2*r + 3*h + 221, 3*h - 195 = x*r - 522. Is 50 a factor of (0 - (-1 - r))/(4 + -3)?
False
Suppose -74*q - 8 = -78*q. Suppose q*s = -2*s + 1784. Does 43 divide s?
False
Suppose -5*n = -5*c - 165, 11*n + 2*c + 32 = 12*n. Let j = -21 - -4. Let s = n - j. Is s a multiple of 14?
False
Let w = 514 + 935. Suppose -3*n - w = -6*n. Is 29 a factor of n?
False
Is 3810 - ((-2)/10)/((-16)/240) a multiple of 21?
False
Let i(x) = -7*x**3 - 121*x**2 + 9 + 122*x**2 - 3*x - 6*x**3 - 2. Is i(-3) a multiple of 14?
False
Is 3/27 + 1651/(-27)*-87 a multiple of 19?
True
Let x be -4 + 5 + 1 + 1. Suppose 2*u - 5*f = 73, 0*f - 129 = -x*u + f. Let h = 91 - u. Is 8 a factor of h?
False
Let c(g) = 5*g**3 + 3*g**2 + g - 1. Let t be c(-2). Let y(s) = 12*s + 677. Let f be y(-45). Let n = t + f. Is n a multiple of 15?
False
Let w = 474 + -465. Let j(i) = 78*i + 47. Does 6 divide j(w)?
False
Let g(d) = 2*d**2 + 9*d + 8. Let z be g(-5). Let k(v) = 14*v**2 + v - z*v**2 + 8*v - 15. Is k(10) a multiple of 18?
False
Suppose -36*m + 32*m = -40. Let p be (30/25)/((-3)/m) + 114. Suppose 3*q + 3*a - 366 = 0, q - 2*q = -5*a - p. Does 15 divide q?
True
Suppose 0 = 5*k + 2*b - 19, -k + 4*b - 1 = 6*b. Suppose -3*o - 233 = 4*h, -5*o + 87 = -k*h + 4*h. Does 12 divide h/(-2 - 4 - -4)?
False
Suppose 54*h + 74051 - 102814 = 128431. Does 21 divide h?
False
Let v(y) = -y - 8. Let h(j) = -2*j - 9. Let i = 1 - -5. Let o(d) = i*v(d) - 4*h(d). Is o(13) a multiple of 2?
True
Let v be 4/4*(8 + -17). Let b = v + 215. Is 3 a factor of b?
False
Let r be 9/(405/369) + 2/(-10). Let x = r - -176. Does 23 divide x?
True
Suppose 0 = w + 5*h - 14200, 44*w - 49*w + 71030 = 10*h. Does 35 divide w?
True
Suppose 4*z + y + 402 = 3*y, -z = -3*y + 93. Let o be z/4*(1 - 63)/1. Suppose -13*m - 229 + o = 0. Is m a multiple of 13?
True
Let p(a) = a**2 - 2*a - 30. Let n be p(7). Does 82 divide n/(-1 - (3 + -3)) + 415?
True
Let l be (2/3)/(16/120). Suppose 553 = w + 5*p, 2*w - 770 = l*p + 321. Does 21 divide w/13 - 30/195?
True
Suppose 11 - 2 = 3*c. Suppose 0 = g + 3*w - 42, -36 = 4*g 