*(-40 + z) even?
True
Suppose t - 5*y - 7644 + 800 = 0, 2*t + y - 13688 = 0. Is 116 a factor of t?
True
Let o be (3 - 0) + -1 - (-6)/3. Suppose -392 = -o*h + 204. Suppose 0*m + m = h. Is 44 a factor of m?
False
Let g be 1422/5 - (294/35 - 9). Let q = 399 - g. Does 6 divide q?
True
Suppose -5*o = -5*n - 5730, -20*n + 23*n - 4584 = -4*o. Does 9 divide o?
False
Suppose 6*f = -5*q + 2*f + 349, 0 = -4*q - 2*f + 278. Suppose -67*v - 1794 = -q*v. Does 47 divide v?
False
Let o be (-1 - -14)*-6*4/(-12). Suppose -244 = -30*y + o*y. Let d = 50 + y. Is 18 a factor of d?
False
Let n = -879 - -141. Does 41 divide (138/(-18) + 8)/((-2)/n)?
True
Let n(r) = -r**2 - 10*r - 4. Suppose -21 = 3*m + 2*g, 0 = 4*m + g + 34 - 1. Let f be n(m). Suppose 292 = f*q + 3*d - 0*d, -5*q - d + 284 = 0. Does 14 divide q?
True
Is (-50608)/(-20)*1/10*25 a multiple of 17?
False
Let o(i) = 5*i**2 - 137*i - 6409. Is o(131) a multiple of 90?
False
Let z = -40 + 38. Let m be (17 - 14) + (z - -1). Suppose 0*a = -2*k - m*a + 18, 2*a = 2*k - 6. Is k a multiple of 3?
True
Let v be -26*538/(-10)*145/58. Let l = v - 1922. Is 87 a factor of l?
False
Suppose 0 = -x + 13 - 6. Let l(d) = d**3 - 9*d**2 + 10*d + 4. Let r be l(x). Is ((-12)/15)/((-1)/r)*-5 a multiple of 32?
True
Suppose 0 = -24*j + 77550 + 162426. Is j a multiple of 33?
True
Let c(j) = -11*j**2 - 52*j - 8. Let p(g) = 6*g**2 + 28*g + 4. Let r(y) = -3*c(y) - 5*p(y). Is 16 a factor of r(-10)?
True
Let a be (6/5*-1)/((-6)/20). Suppose 2*k + 3*o - 3 = 4, -a = -3*k + 2*o. Suppose -2*y + 105 = 3*n, 0*y - 2*y - k*n + 100 = 0. Is y a multiple of 9?
True
Let z = 2636 + 493. Is z a multiple of 14?
False
Let t(p) = p**3 - 6*p**2 - 10*p + 19. Let b be t(8). Suppose -5*y + f + b = 0, -4*y - f + 5*f + 44 = 0. Is 8/(-28) + 1376/y a multiple of 25?
False
Suppose 8*f = 2*f. Suppose f = 28*d - 21*d - 700. Suppose -2*z + m - d = -4*z, 2*m = -8. Does 10 divide z?
False
Let w(d) = -d**3 + 37*d**2 - 2*d + 151. Is 9 a factor of w(37)?
False
Let a(x) = 5*x**3 - 17*x**2 + 5*x + 2. Does 95 divide a(11)?
True
Let g(o) = 932*o**2 - 72*o + 248. Does 14 divide g(4)?
False
Let q(u) = 2*u**2 - 11*u - 4. Let k be q(6). Suppose k*i + 6 = 6. Suppose 5*j + 3*w - 35 = i, -3*j - 12 = -j - 4*w. Is 4 a factor of j?
True
Let c(a) = 34*a**3 + 1 + a**2 - 4 - 27*a**3 + a. Let i be c(2). Suppose -x - i = -254. Does 39 divide x?
True
Let v(t) = -t**3 + 14*t**2 - 11*t + 29. Suppose 5*x - 5 - 85 = -5*w, 0 = -x - 5*w + 38. Is v(x) a multiple of 15?
False
Suppose 3*s = -3*t + 7953, 2*s - 5292 = -0*s + 3*t. Is 46 a factor of s?
False
Let y(v) = 10*v + 20. Let h be y(6). Suppose -5*x = -3*x - h. Suppose 4*l - 156 = -4*i + x, l + 5 = 0. Is i a multiple of 6?
True
Is 16 a factor of 1645/1 - 1 - 12?
True
Let v be (1/2 - -1)*11752/(-78). Does 12 divide 7 + -6 + 0 - v?
False
Let b = 163 - -131. Suppose -112*g + 134*g = 4466. Let r = b - g. Is r a multiple of 25?
False
Let c(p) = 6690*p + 67. Is c(3) a multiple of 194?
False
Suppose -21*x - 28 = -28*x. Is 3/x + 62013/84 a multiple of 38?
False
Is 143 a factor of (-25780)/10*-5 + -4?
False
Suppose -2*n + 190 = 3*j, 2*j - 3*j - 4*n = -60. Suppose j*h = 60*h + 8. Suppose -5*f + h*f = -90. Is 14 a factor of f?
False
Suppose a - 12 = -3*a. Suppose -r + a*i = 4*r - 1235, 1235 = 5*r + 4*i. Suppose -r = -l - 83. Is 29 a factor of l?
False
Suppose 0 = -8*j - 5*t + 36767, -15*j + 17*j - 9208 = 2*t. Is j a multiple of 43?
False
Let d = -828 - -804. Let h(p) = -p**2 - 34*p - 127. Is 4 a factor of h(d)?
False
Let g(q) = -q - 39. Let w be g(-29). Is w + (-35)/(-7) + 13 a multiple of 7?
False
Let s(j) = -36*j**3 - j**2 + 5*j + 1. Suppose 0 = 3*q - 0*q + 6. Let l be s(q). Suppose 3*g - 6*g + 3*y = -807, 0 = -g - y + l. Is g a multiple of 34?
True
Suppose -42*m + 10*m = -237312. Does 24 divide m?
True
Suppose -1019*i + 1012*i = -22596. Is 5 a factor of i?
False
Let g = 450 + -310. Let j be 0 + 2 - (4 + 57). Let o = j + g. Does 31 divide o?
False
Suppose -5*k + 991 = -6*k. Let h = -676 - k. Suppose -5*x + h = -0*s + 3*s, x + 5*s - 63 = 0. Does 11 divide x?
False
Let l(c) be the first derivative of c**5/10 - 2*c**3/3 - 7*c**2/2 - 17*c + 1. Let m(i) be the first derivative of l(i). Is m(4) a multiple of 21?
True
Let m(f) = 15*f**3 - 4*f**2 - 118*f + 875. Is 19 a factor of m(15)?
True
Suppose v - b = 6768, 2*b - 6858 = -2*v + 6662. Does 89 divide v?
True
Suppose -k + 1 = 5. Does 13 divide 1/(k/776)*(-1)/2?
False
Suppose 3*y = -10 + 1. Let o(a) = -20*a**2 + 15*a - 21. Let b(s) = -s + 4. Let q(r) = -8*b(r) - o(r). Does 39 divide q(y)?
False
Let y be 38 + -92 + 1*(-1 + 0). Let w = 85 + y. Suppose 15 = d - w. Does 45 divide d?
True
Suppose 37*o - 9*o - 232170 = -13434. Is 12 a factor of o?
True
Let u be (3 + 1 - -1) + (10 - -1). Suppose 0 = -w + 110 - u. Does 47 divide w?
True
Suppose -11*u - 78*u + 727650 = 254437. Does 44 divide u?
False
Suppose -1 = z + 3, -96 = 2*r - 4*z. Let w = r + 112. Is w a multiple of 7?
True
Let y(j) be the first derivative of 18*j**2 - 381*j - 47. Does 7 divide y(17)?
True
Let j(h) = -h**2 + 2*h. Let n be j(4). Let q be 7 - (4 + n) - 1. Suppose q*l = 6*l + 108. Is l a multiple of 4?
False
Does 7 divide 1/(23/92) + 12234?
False
Let s(o) = -483*o - 6. Is 9 a factor of s(-10)?
True
Let f = 1371 - 1359. Let i(g) = -7*g - 4*g + g**2 - 24 + 4*g. Is i(f) a multiple of 9?
True
Let h be -4*7/(-6)*(-6)/(-2). Let z = h + 6. Does 13 divide 3 - z/8 - 362/(-4)?
True
Let t(a) = -3*a - 4*a + 1004 + 4*a + 4*a. Let s be t(0). Suppose -5*r = -r - s. Does 43 divide r?
False
Let b = -4028 + 4247. Is b a multiple of 13?
False
Suppose 9*x - 1156 - 2732 = 0. Suppose 3*h = 6*h - x. Does 11 divide h?
False
Suppose 338*s - 1215964 = -703385 + 1730051. Does 2 divide s?
False
Suppose 2538 - 662 + 5824 = 4*t. Is 18 a factor of t?
False
Suppose -21213620 = 197*n - 627*n. Does 34 divide n?
True
Suppose -8*m - 534 = -550. Is 6 a factor of (19/m)/((-8)/(-672))?
True
Let i(f) = -f**3 - 8*f**2 - 18*f - 4. Let x be i(-8). Let q = x - 12. Is 64 a factor of q?
True
Let g = -5818 - -7086. Does 8 divide g?
False
Let z = -2250 + 7512. Is 20 a factor of z?
False
Let d(b) = b**3 + 3*b**2 - 2*b + 8. Let y be d(-4). Suppose 4*m + 119 - 13 = u, -4*u - m + 509 = y. Is 21 a factor of u?
True
Suppose 0 = 3*t - 4*z + 11, z = -2*t - 4 + 15. Suppose -12 = t*s, -3*n + 4*s - 620 = -5*n. Is n a multiple of 53?
True
Does 52 divide (-87471)/(-6) - (-152)/(-304)?
False
Is (-44 + (-18 - -32))*60/(-1) a multiple of 15?
True
Let h be (5/20)/((-2)/(-32)). Suppose -366 = h*m - 10*m. Is m even?
False
Suppose -7*n + 11883 + 32413 = 0. Is 113 a factor of n?
True
Suppose 2*d - 2*q = 1660 - 106, -d - 3*q = -773. Suppose 70 = -2*j + d. Suppose -j - 111 = -4*k. Is 30 a factor of k?
False
Let d(q) = 5*q**3 - 26*q**2 + 13*q - 25. Let c(t) = 8 + 25*t**2 - 4*t**3 + 16 - 2347*t + 2333*t. Let u(h) = 4*c(h) + 3*d(h). Does 7 divide u(21)?
True
Let w(j) = 9*j**2 - 11*j + 532. Is w(48) a multiple of 89?
False
Let g(i) = 13*i + 49. Suppose n - 4 = 5*n, 22 = 3*o + 2*n. Does 17 divide g(o)?
True
Suppose p + 0*u - 4*u - 4736 = 0, -5*p - 4*u = -23728. Does 28 divide p?
False
Let x(f) be the third derivative of f**6/120 - f**5/3 - 17*f**4/24 + 5*f**3/6 - 46*f**2 + 3. Suppose 3 = -2*y + 45. Is x(y) a multiple of 16?
False
Let z be 2/(-4) + -9*(-44)/(-8). Let k = z - -131. Let g = 51 + k. Does 33 divide g?
True
Let p = 8283 - 5957. Is 16 a factor of p?
False
Let s be 9*-4*7/(-42). Let a(q) = 7*q**2 - 14*q + 46. Is 36 a factor of a(s)?
False
Let m be ((-3 - 1) + 5)*3. Suppose m*q = 349 + 71. Does 5 divide q?
True
Let t(p) = p**3 + 45*p - 23*p + 17 - 12*p**2 - 10*p**2 + 36*p. Does 6 divide t(19)?
True
Is (-10 - -18 - 3853)/(-1) a multiple of 24?
False
Let x be (-24*50/(-20))/1. Does 28 divide (10080/75)/(9/x)?
True
Suppose -n - 4*m + 538 = n, 4*m + 1317 = 5*n. Let x = n + -77. Does 27 divide x?
False
Suppose -7*k + 2521 = -6876 - 2258. Is k a multiple of 3?
True
Let h = 75887 + -49802. Is 27 a factor of h?
False
Let d be (-2)/(5 - (-17)/(-3)). Suppose 624 = 4*g - 2*q, -4*g + 129 = d*q - 475. Does 22 divide g?
True
Let j(g) = g**3 - 11*g**2 + 15*g + 21. Let b be j(9). Let p = b - -9. Suppose 12*y - 630 = p*y. Does 7 divide y?
True
Suppose -12*j + 1 - 13 = 0. Does 16 divide 0 - j - (-21 - 262)?
False
Let v = 9 + -4. Let 