e
Suppose -2*x - g - 477 = 2*x, -4*x - 472 = -4*g. Let v = x + 179. Is v a multiple of 4?
True
Let z = 737 - 409. Suppose 0 = 2*x - 10*x + z. Does 20 divide x?
False
Suppose 93 = 5*p + 378. Suppose -j + 16 - 55 = 0. Let b = j - p. Is b a multiple of 9?
True
Let f(d) = -157*d + 287*d + 26 - 2*d**2 - 165*d. Let s be f(-18). Suppose -n = -s*n + 343. Does 12 divide n?
False
Suppose 2*s - 119 = -20*p + 25*p, -28 = -s - 2*p. Suppose 5*a - 2*a = -402. Let f = s - a. Does 16 divide f?
True
Let p = -7993 - -8157. Does 9 divide p?
False
Suppose 0 = 16*s - 37043 - 66669. Is s a multiple of 8?
False
Let x(r) = 29*r**2 + 13*r + 19. Is x(-3) a multiple of 27?
False
Let o(y) = 1. Let b(m) = 28*m + 5. Let a(h) = b(h) - 6*o(h). Let g be a(1). Let s = g + -12. Is 5 a factor of s?
True
Let n be ((-79)/(-2) - -2)*2. Suppose 0 = -16*p + 2396 + 484. Let f = p - n. Does 19 divide f?
False
Let b = -10062 + 15417. Is b a multiple of 153?
True
Let y(t) = -36*t - 2. Let h be y(-12). Suppose -3*p = 2*u - 341 - h, 0 = 3*u + p - 1139. Does 7 divide u?
True
Let m(l) = l**3 + 34*l**2 - 45*l + 28. Is 74 a factor of m(-23)?
True
Suppose -4887 = 4*n - 7*n - 312. Is 25 a factor of n?
True
Let l(r) = -4*r**2 + 23*r - 1. Let n be l(5). Suppose 2*q - 17*w = -n*w + 393, 0 = -5*q + w + 1002. Does 13 divide q?
False
Let j(w) = 2*w**2 - 22*w + 45. Suppose -26 = -2*v + q + 2*q, -3*v + 5*q = -39. Is 32 a factor of j(v)?
False
Suppose -2*p + 1651 + 6801 = 4*i, 0 = -5*p - i + 21067. Is 2 a factor of p?
True
Let s be -1 + 1 + 5317 + 13. Suppose -3*m - 3*l + 1249 = -1973, -5*m = -5*l - s. Is m a multiple of 52?
False
Let r be (4/(-6))/(3/(-9)). Let o(m) = 74*m**2 + 1 - 87*m**2 + 17*m**2 + 3 - 8*m. Is o(r) a multiple of 4?
True
Suppose -m = 5*i, 8 = -3*m - 2*i + 21. Suppose -26 = -m*b + 504. Does 13 divide b?
False
Let o(t) = t**3 - 7*t**2 - t - 6. Let h be o(7). Let p(j) = 7*j + 6. Let z be p(h). Let i = 160 + z. Does 25 divide i?
True
Suppose 9*g + 312 = -17*g. Is (-8)/(-6) - (6 - (-1292)/g) a multiple of 10?
False
Suppose 7*n + 329 + 658 = 0. Let h = 606 + n. Is 14 a factor of 16/72*h - 1/3?
False
Suppose 0 = 3*b - 3*h - 159, 2*b - 16 = -3*h + 110. Suppose -f + b = -4*q - 131, f - 191 = q. Is f a multiple of 24?
True
Let k(n) be the second derivative of -9*n**5/5 + n**4/6 + 2*n**3/3 + n**2/2 + 11*n + 2. Is k(-2) a multiple of 14?
False
Is 27143/2 + (-88)/(-308)*(-63)/12 a multiple of 46?
True
Let u(x) = x**3 + 25*x**2 - 418*x + 24. Is u(-36) a multiple of 15?
False
Suppose -293*f + 16728 = -287*f. Is 164 a factor of f?
True
Let m = 56 - 189. Suppose -2*h + 429 = -5*a - 4*h, -7*a = -5*h + 624. Let n = a - m. Is 10 a factor of n?
False
Let p be ((-3)/(-12))/(1/12). Suppose 6*x - x = -2*q + 244, p*q = 6. Is x a multiple of 16?
True
Let j = 77 + -73. Suppose -2*m = b - j*m - 6, 0 = -3*b - 5*m + 7. Suppose -5*g + 125 = 4*h, -145 - 7 = -4*h + b*g. Is h a multiple of 2?
False
Let p be (-18 - -18)/(6/2). Let o be (0 - -1)*-1 + (9 - 8). Suppose f - 39 = -v - p*f, o = -3*f - 3. Is v a multiple of 5?
True
Let c = -1490 - -13835. Does 15 divide c?
True
Let k(s) be the second derivative of -9*s**2 - s**3 + 1/12*s**4 - 4*s + 0. Does 11 divide k(-4)?
True
Let t = 69 + -47. Let f = t + -26. Is (12/9)/(f/(-210)) a multiple of 10?
True
Let j(z) = z**3 - 49*z**2 - 64*z - 202. Is 21 a factor of j(55)?
False
Let h(p) = p**2. Let x be h(4). Suppose x = -4*c, 5*r - 8 = c + c. Suppose 0 = -5*m - 5*k + 90, -m + 6 = -r*k - 2*k. Is m a multiple of 4?
False
Suppose -516*d + 520*d = 44. Suppose 6*i + d = 29. Does 3 divide i?
True
Let n(b) = -8*b - 7. Let t be n(-6). Suppose 2*j + t = -0*x + x, -5*j = 3*x - 90. Suppose -4*c + x = 5*u - 46, 3*u = 2*c - 13. Is 2 a factor of c?
True
Let l(h) = h**3 + 8*h**2 - 6. Let b be l(-3). Let j = -33 + b. Suppose p = j*p - 75. Is 5 a factor of p?
True
Suppose -549 = 26*d - 22*d - 3*u, -156 = d + 3*u. Let c = d - -349. Is 26 a factor of c?
True
Let u(r) = 7*r - 27. Let k = -7 + 28. Let l = -16 + k. Is 8 a factor of u(l)?
True
Let k(p) = -4*p + 26. Let z(m) = -m**2 - 9*m + 19. Let i be z(-9). Let t be k(i). Let v = t - -94. Is 44 a factor of v?
True
Is 14 a factor of (3292020/(-240))/(6/(-8))?
False
Let q be -27*((-50)/(-15) + -2). Let k = q - -40. Is 14 a factor of -84*(2 - 10/k)?
True
Suppose 0 = 18*i - 17*i - 2097. Suppose -5*u = 4*u - i. Does 20 divide u?
False
Let d(u) = 18*u - 4. Let a be d(-4). Let k = -12 - a. Does 8 divide k?
True
Let x = -147 - -151. Suppose -x*m + 1676 - 316 = n, 2*m + 3*n = 670. Does 9 divide m?
False
Suppose -17*r = -18*r - 5. Let j(x) = 27*x + 5 + 3 - 26*x. Is j(r) a multiple of 2?
False
Suppose -328*l = -256*l - 794808. Is 7 a factor of l?
True
Let k = -12819 - -22235. Is k a multiple of 88?
True
Suppose 0 = b - 1. Let c(g) = -109 + 320 + 65*g - 109 - 106. Is 16 a factor of c(b)?
False
Suppose 2*d = 3*r - 1, 5*r - 45 + 18 = -3*d. Suppose 0 = d*v - 7 - 5. Is 14 a factor of 35/(-15)*v*-2?
True
Does 13 divide (9888/288)/(1/39)?
True
Suppose 9*a - 3*b + 9123 - 127488 = 0, 3*a + 4*b - 39445 = 0. Is 24 a factor of a?
False
Suppose 0*f - 205 = -5*f - 3*a, 0 = -f + 4*a + 41. Suppose -f = -3*r - d, 5*d + 14 - 39 = 0. Is (0 - 2052/(-21)) + r/42 a multiple of 7?
True
Suppose 3*g + 9648 = 15*g - 9*g. Does 12 divide g?
True
Let l = 53 + -17. Suppose 6*j = -l + 546. Suppose -3*h - j = -2*s - 281, -5*h = 2*s - 348. Is 7 a factor of h?
False
Let f be 384/(-240)*(-170)/4. Let x = 78 - f. Does 10 divide x?
True
Does 19 divide 372191/30 + 20/25 - (-6)/(-36)?
True
Let q = -167 + 285. Let x(s) = 2*s**2 + 15*s - 16. Let w be x(-12). Suppose -5*g + q = -w. Is 21 a factor of g?
True
Suppose -7664 = -2*z - 3*o, 21*o - 19182 = -5*z + 19*o. Does 7 divide z?
False
Suppose 3*g + 15 = 4*z - 0*z, 0 = 2*z + 4*g - 24. Suppose -z*u = 21 - 33. Suppose u*s + 6 = 14. Is s a multiple of 2?
True
Suppose -1289 = 8*l - 81. Let v = 1024 - l. Is v a multiple of 79?
False
Let t be -7*2*(-3)/21. Suppose t*v = z - 950, -13*v + 2 = -15*v. Is z a multiple of 79?
True
Is 23 a factor of (102/(-51))/(((-3)/15)/((-1428)/(-15)))?
False
Suppose 103*p = 176*p - 5840. Is p a multiple of 10?
True
Let o(l) = 9*l + 177. Let r(p) = 1. Let s(b) = o(b) - 2*r(b). Is s(10) a multiple of 8?
False
Let g = 46 - 33. Suppose -9*j + 3544 = -g*j. Does 7 divide (-16)/72 + j/(-18)?
True
Suppose -5*l - 1532 = -d, -5*l - 117 = -2*d + 2927. Is d a multiple of 24?
True
Suppose -y + 6302 - 415 = 3*g, -2*y - g + 11779 = 0. Does 62 divide y?
True
Let g(s) = s**3 + 13*s**2 + 13*s - 3. Suppose -3*a = 2*h + 129, -4*h + 2*a - 74 = 144. Let j = 46 + h. Is 15 a factor of g(j)?
False
Let q = -815 + 1426. Let l = q + 61. Is 54 a factor of l?
False
Suppose 36*t + 288*t = 2121033 + 3892083. Is t a multiple of 67?
True
Suppose 2*n + j + 3*j - 702 = 0, 3*j = n - 376. Suppose 0 = -2*g + o + 1832, 3*o - 569 = -g + n. Is g a multiple of 18?
True
Is 16626533/385 + (-4)/5 a multiple of 25?
False
Let v(i) = -10*i - 12 + 8*i - 4 + 34*i**2 + 0*i. Is 20 a factor of v(-6)?
True
Let j(t) = t**2 - 11*t - 17. Let p be j(13). Suppose -2*c + p*c = 812. Suppose -i + 2 = -c. Is i a multiple of 32?
False
Suppose -4*j - 4*o = -16528, 3*j - j = 3*o + 8284. Is 47 a factor of j?
True
Suppose -88*i - 5004 = 90*i - 181*i. Does 4 divide i?
True
Let i = -218 - -215. Is 8 a factor of -1 - i - (-73)/1?
False
Is -1*8/(-8) + 5217 + -3 a multiple of 35?
True
Does 12 divide (6/(-4) + 2)*(-186192)/(-18)?
True
Is (-128069)/(-1909) - 4/46 even?
False
Let x = 4 - 0. Let j(f) = -6*f + 4. Let q(w) = -1. Let u(a) = x*q(a) - j(a). Is 19 a factor of u(6)?
False
Suppose -35*o - 13091 + 483480 = -1376. Is o a multiple of 201?
False
Let p(q) = 923*q**2 - 33*q + 96. Is p(3) a multiple of 24?
True
Let a be 933/(4 + 44/(-8)). Let i = a - -393. Let x = i + 365. Does 21 divide x?
False
Let w(f) = -2*f**2 - 67*f + 352. Is w(-36) even?
True
Let f(x) = -23*x + x**2 + 0*x**2 + 18*x - 6. Let b be f(8). Let u = 12 + b. Is u a multiple of 7?
False
Suppose 26666 = 6*m - 18210 - 118. Is 11 a factor of m?
False
Let v be ((-36)/45)/(4/(-250)). Suppose 0 = -6*j + 3*j - 138. Let x = v - j. Is 11 a factor of x?
False
Let i be (-4921)/(-38) - 1/2. Suppose -i*b + 123*b = -2400. Is 50 a factor of b?
True
Let t(b) = 831*b + 831. Is 47 a factor of t(5)?
False
Let s = 21095 - 11589. Is 7 a factor of s?
Tru