o = h - 235, -7*o + 10*o = -4*h + 943. Is h even?
True
Let a = 173 - 171. Does 2 divide a?
True
Let j = 537 - 291. Suppose 0*l = 2*l - j. Is 27 a factor of l?
False
Is (38/76)/(-3*(-3)/7776) a multiple of 24?
True
Suppose -177*a + 1170 = -171*a. Does 42 divide a?
False
Let y = -17 - -2. Does 14 divide (-1098)/(-30) + 9/y?
False
Let c = 21 + -25. Let u = 16 + c. Is 6 a factor of u?
True
Is (-2)/2 - (-125 + (4 - 4)) a multiple of 25?
False
Let w = 604 + 353. Does 29 divide w?
True
Let i(l) = 6*l**2 + 2*l + 4. Is i(-4) a multiple of 3?
False
Let p = -33 - -35. Suppose -355 = 5*w - i - 957, -236 = -2*w + p*i. Does 16 divide w?
False
Suppose -2*i - 3*s + 255 = 0, -4*i + 0*i - 4*s + 520 = 0. Suppose -4*l + 2*l = 158. Let j = l + i. Is j a multiple of 28?
True
Suppose 3*i - 244 = 4*f + 49, 4*i + 152 = -2*f. Let m = 140 + f. Is m a multiple of 22?
True
Let x be ((-24)/20)/(2/(-30)). Let p = x - -18. Does 18 divide p?
True
Let g(t) = -t**2 - t + 56. Suppose 2*r + 18 = -3*w - 5, -5*w - 50 = 5*r. Let x = -7 - r. Does 22 divide g(x)?
False
Let u = 45 - 20. Suppose -20*w + u*w - 280 = 0. Is 11 a factor of w?
False
Let c = 16 + 642. Does 47 divide c?
True
Suppose -308 = 10*l + 4*l. Is 17 a factor of (-2248)/l + 4/(-22)?
True
Let c(z) = -86*z + 3. Let f be c(-2). Let s = f + -85. Is 30 a factor of s?
True
Is (6 + 54 + 9)*15 a multiple of 45?
True
Suppose 7*x + 90 = 17*x. Does 5 divide x?
False
Suppose 3*n = 7*n - 152. Suppose 2*a - n = -10. Let c(z) = -z**2 + 19*z + 9. Is 32 a factor of c(a)?
False
Let f = -2446 - -3060. Is f a multiple of 27?
False
Suppose t - 4 = -x, -12 = 3*t - 6*t. Suppose -3*y + 223 + 128 = x. Is 39 a factor of y?
True
Let z = -419 + 442. Is 17 a factor of z?
False
Let i(v) = v**3 - 21*v**2 + 43*v - 19. Does 19 divide i(19)?
True
Suppose -b = -59 - 0. Let y be 1*2 + (9 - 3). Suppose 2*v = -0 + y, -2*v = a - b. Does 17 divide a?
True
Let s(f) be the third derivative of -f**7/2520 - f**6/48 - 23*f**5/120 + 7*f**4/24 - 3*f**2. Let w(j) be the second derivative of s(j). Does 7 divide w(-11)?
True
Suppose -7*b = 25 + 10. Let o be (5 - 2)/(b/(-5)). Is o/(-18) - 134/(-12) a multiple of 11?
True
Does 7 divide (140/(-8))/((6/8)/(-3))?
True
Let m(w) = -w**3 - 9*w**2 - 9*w + 9. Let t be m(-8). Let n = 71 + t. Does 11 divide n?
True
Let h(s) = s**2 + 4*s - 3. Let b be h(-5). Suppose -b*z - 3*z = -10. Does 2 divide z/((-2)/(-7)) + -1?
True
Let l be (9/(-6))/((-9)/12). Suppose 4*w - 250 = 3*f + l*f, w = -4*f + 52. Suppose -3*j + 201 = -w. Does 29 divide j?
True
Is (15984/18)/((-9)/(-6)) a multiple of 74?
True
Suppose 0 = 5*q - 5*v - 3245, 0 = -4*q + v + 1846 + 738. Is q a multiple of 39?
False
Suppose 0*d = 5*d - d. Suppose -3*w + 11 = l, 5*l + d = -2*w + 120. Is l a multiple of 17?
False
Suppose -4*a + 2401 = -4*n + 873, 3*a - 1144 = 2*n. Is 3/((15/a)/(2/8)) a multiple of 4?
False
Suppose j - 125 = -x + 26, 0 = -j - 4*x + 145. Suppose -4*g = 5*g - j. Is g a multiple of 2?
False
Is (-12)/(-54)*-6 - 10544/(-6) a multiple of 29?
False
Suppose -2*r + 275 = 29. Let p be -52 + (-3 - 2 - 0). Let d = r + p. Does 33 divide d?
True
Does 6 divide (0 + 1866/4)/(33/88)?
False
Suppose 0 = -3*i - h - 5, -2*h + 7 = -5*i - 5*h. Is 27 a factor of 143 + -6 + i + 2?
False
Let t be (-4)/(-18) - 5043/(-27). Let r = -298 + t. Let d = r - -188. Is 13 a factor of d?
False
Suppose 0 = v + 3*z - 34, 5*v - 2*z + 7*z = 180. Is 3 a factor of v?
False
Let v = -1061 + 1310. Does 6 divide v?
False
Suppose 4*h - 54 = -o, -2*o - 3*h = h - 120. Suppose 453 = 3*f + o. Is f a multiple of 30?
False
Let y be -1 + (-4 - -2 - -5). Suppose 4 = 3*k - y*k. Suppose -k*q - 16 = -5*q. Is q a multiple of 6?
False
Suppose -16*p - 36 = -17*p. Suppose 42*h - 1008 = p*h. Is 10 a factor of h?
False
Suppose -5*s = 3*a - 1432 - 343, 3*s + 4*a = 1076. Does 22 divide s?
True
Suppose 0 = x + 137 + 120. Let c = -112 - x. Suppose 0 = 2*y - 7*y - 5*i + c, 142 = 5*y + 2*i. Does 9 divide y?
False
Let u be 8/(-28) - 3*(-6)/63. Does 3 divide u/4 + 2 + 1 + 12?
True
Suppose -2*o = 2 - 6. Let g be (o*-17)/((-7)/28). Suppose -v - 3*r = -3*v + 131, 2*v - 4*r = g. Does 29 divide v?
True
Let t = 81 - 69. Suppose -12*k + t = -8*k. Is 3 a factor of k?
True
Suppose -78*b + 111180 = -18*b. Does 109 divide b?
True
Let q(g) = -9*g**2 - g - 7. Let x(f) = -f**2 - f - 1. Let h(n) = -q(n) + 6*x(n). Let y be h(2). Suppose -5*a + 240 = -y*a. Is a a multiple of 20?
True
Suppose -239 = -2*g - 71. Does 12 divide g?
True
Let x = -22 + 34. Let h = 31 - x. Is 3 a factor of h?
False
Is ((0 - -4) + 404)*3/4 a multiple of 17?
True
Does 11 divide 2*(345/2 - 2)?
True
Suppose 2*m - 69 = -5. Suppose -4*f = -6*f + m. Let d = f + -8. Is d a multiple of 8?
True
Let y be (-1)/(-3) + -7 + (-2877)/(-9). Suppose 15 = 8*z - y. Is z a multiple of 21?
False
Suppose -6*w - 992 + 236 = 0. Let r = -67 - w. Let y = 109 - r. Is 25 a factor of y?
True
Suppose -4*z - 5*d = 47, -z - z - 2*d - 22 = 0. Is 15 a factor of 6/z*(-46 + 6)?
True
Let h = -20 - -143. Is 24 a factor of h?
False
Let l = -2402 - -3491. Does 36 divide l?
False
Suppose 0 = 3*s + r - 8866, 0 = -3*s - 96*r + 101*r + 8842. Is 63 a factor of s?
False
Suppose -2*o = -4*d + 20, d - 4*o = -3*o + 4. Is 396/(-30)*(-15)/d a multiple of 10?
False
Let p(o) = 18*o**2 - o + 5. Is p(2) a multiple of 75?
True
Let u be 21*2 - (-4)/2. Let t be u + 3 + 4/4. Suppose 3*z + 4*m = z + t, -z = 3*m - 23. Does 10 divide z?
False
Let h(n) = 18*n**2 + 6*n. Let o be (6 + -4)*2*(-1)/(-2). Is 14 a factor of h(o)?
True
Suppose 119*b = 117*b + 3982. Does 11 divide b?
True
Let v(h) be the first derivative of -17*h**2 + 16*h + 11. Is 10 a factor of v(-5)?
False
Let m = -30 + 34. Suppose 3 = -m*q - 1, 4*x = 4*q + 36. Suppose -4*r = -x*r + 436. Does 22 divide r?
False
Does 9 divide -357*(4 + 5/35 + -5)?
True
Let u = 17 - 22. Let l be 3/u - 78/(-30). Suppose -5*y - 3*i + 294 = 0, -l*i + 0 - 4 = 0. Is 20 a factor of y?
True
Let o = 46 - 44. Suppose -o*d + 0 = -24. Is 3 a factor of d?
True
Let j = -1 - -4. Is 5 a factor of j/(-18) - 122/(-12)?
True
Suppose -5*c - 600 = -4*g, 81*g - 2*c = 82*g - 137. Is g a multiple of 16?
False
Let d be 2*(7/(-2) + -3). Let o = -11 - d. Suppose -o = -2*i, 3*t - 88 = -i - 0*i. Is t a multiple of 13?
False
Let a(k) be the second derivative of -k**5/20 + k**4/3 + 2*k**3/3 - 4*k**2 + 17*k. Is a(4) a multiple of 6?
False
Suppose 0 = 3*w - 2*t - 999, 2*w + 3*t = 5*t + 666. Does 37 divide w?
True
Does 10 divide (-26)/52 + 10006/(-8)*-2?
False
Suppose 5*s - 2*j - 10 = 0, -5*j = 3*s + 2*s - 45. Let o = 9 + s. Is 3 a factor of o?
False
Is (-1881)/(-9) - ((-1 - -4) + -3) a multiple of 6?
False
Let c(n) = 7*n - 14. Let y be c(6). Suppose 6*w - y = -w. Suppose -w*f = -21 - 3. Is 4 a factor of f?
False
Suppose 2*m + 16 = m. Let y be (-1)/4 + (-628)/m. Suppose -12*b + y = -9*b. Is 5 a factor of b?
False
Let j(m) = -m**3 - 5*m**2 + 4*m + 2. Let p be j(-4). Let v be 9*(-2 + p/(-9)). Is 3 a factor of 2/v + 41/6?
False
Let x be (-129)/3*-2*(0 + 1). Suppose -4*p + 4 = -2*p. Suppose v - 51 = s, -280 = -4*v + p*s - x. Does 16 divide v?
False
Does 13 divide ((-3)/(-2))/((63/218)/21)?
False
Let g(d) be the first derivative of d**4/4 - 3*d**3 + d**2 - 7. Let f be g(9). Is f/4 + 11/(-22) even?
True
Let k(b) = -7*b + 10 - 3*b + 9 + b**2 - 5*b. Is k(16) a multiple of 13?
False
Let m = -40 + 39. Is 15 a factor of -4 - (-112 + (m - -4))?
True
Let y(v) = v + 4. Let r be y(-5). Let l(n) = -n**2 - 2*n - 1. Let z be l(r). Is (1 - -1 - z)*4 a multiple of 8?
True
Suppose 0 = l - 6*l. Suppose l = 4*a - 24 - 4. Suppose 3*s + a = -z + 15, 0 = -5*z + 5*s + 40. Does 4 divide z?
True
Is 7068/(-6)*(-1)/2 a multiple of 19?
True
Let d be (-5)/(-2 - 3)*22. Suppose 0 = -3*h - 2*k - k + 51, -2*h + 4*k + d = 0. Is h a multiple of 5?
True
Let b be (-1 - 0)*0*1. Suppose b = -4*w - q + 48, -5*w = 4*q - 23 - 37. Is w even?
True
Let d(m) = -m**3 - 9*m**2 + 9*m - 8. Let w be d(-10). Let c(z) = z - z**w - 10*z**3 + 18*z**3 + 10*z**3. Does 6 divide c(1)?
True
Let n(u) = 8*u**3 + u**2 + 11*u + 10. Let d(o) = -7*o**3 - 2*o**2 - 10*o - 10. Let q(z) = 7*d(z) + 6*n(z). Is q(-8) a multiple of 6?
False
Let h be (-5)/(-20) + (-3)/(-4). Is (h - 12/8)*-34 a multiple of 3?
False
Let j be (-3)/(-2) + 66/12 + -5. Suppose -3*z = -b + 29642, -4*z - z - 49414 = b. Is