*3/i even?
True
Let h(c) = -c**3 - c + 2. Let i be h(0). Suppose i*a - 15 = a. Let w = a + 15. Is 16 a factor of w?
False
Let q be 1/(-4*(-1)/52) + -1. Let r = 31 - q. Is 5 a factor of r?
False
Let l be 3/(63/(-6)) - (-216)/21. Suppose -7*x - l + 472 = 0. Is x a multiple of 5?
False
Let x be ((-1)/4)/(2/(-8)). Let y be (x + 0)/(1/(-7)). Let w = y - -35. Is w a multiple of 14?
True
Let z = 14 - -124. Is z a multiple of 12?
False
Suppose -4*y - 5*g - 4 = -5*y, 7 = -2*y - 5*g. Let l = 6 - y. Does 7 divide l?
True
Suppose 0 = -26*j + 36*j - 4750. Is j a multiple of 41?
False
Let l(p) be the second derivative of p**5/20 - 5*p**4/12 - p**3/3 + 6*p**2 + 8*p. Does 12 divide l(6)?
True
Let u(h) = -h**2 + 8*h + 12. Suppose -4*z - 10 = 3*n, 10 = -2*n - 3*n - 5*z. Suppose -n*q + 2 = -16. Is u(q) a multiple of 3?
True
Suppose -5*g + 56 = -154. Is 274/4 - g/28 a multiple of 30?
False
Suppose 0 = 5*s + 2*z - 468, 3*z = -5*s + 4*s + 91. Let l = 174 - s. Is l a multiple of 16?
True
Suppose 0 = -3*v - c - 125, 2*c = v - 2*c + 33. Let p be ((-150)/8)/((-17)/68). Let s = p + v. Is 10 a factor of s?
False
Let x(c) = 2*c + 18. Let z(b) = 2*b + 19. Let o(a) = 3*x(a) - 2*z(a). Does 15 divide o(7)?
True
Let b be ((-4)/(-6))/(7/252). Let a be (-6)/b - 17/(-4). Suppose -a*q + 7*q = 102. Is 9 a factor of q?
False
Suppose -14*g + 11*g + 9 = 0. Suppose 3*n + l + 10 = 0, 4*n = g*l + 1 - 10. Let x(w) = -w**2 - 7*w - 1. Is 4 a factor of x(n)?
False
Let g(m) = 3*m**2 + 6*m - 2. Let v be g(6). Suppose -23 + 14 = -3*r. Suppose 5*p = 2*t + 323, p = r*p - 4*t - v. Is p a multiple of 15?
False
Suppose 0 = 3*x - 3430 - 68. Is 11 a factor of x?
True
Suppose 21 = -5*r + 2*j, -r - 5*j + 0 - 15 = 0. Does 18 divide (-4)/1 + r + 274?
False
Suppose 4*x + 3*j - 2718 = 0, 3*x + 150 = 4*j + 2176. Is 21 a factor of x?
False
Let f(y) = -y**3 + 11*y**2 - 8*y - 9. Let s be f(10). Let h = s + -7. Suppose -5*i = 3*g - 131, -186 = -0*g - h*g - i. Is g a multiple of 9?
False
Let i = 156 - 152. Let a = 8 - 5. Suppose i*l = a*l - 3*q + 33, -4*q + 8 = 0. Is 13 a factor of l?
False
Let i(l) = -l**3 - 15*l**2 + l + 19. Let y be i(-15). Let o be 0/(y*2/8). Suppose o = 4*m - 37 - 143. Is m a multiple of 15?
True
Suppose -4*u - u + 180 = 0. Suppose u*m - 35*m + 2 = 0. Is ((-5)/4)/(m/96) a multiple of 12?
True
Suppose 9*c - 482 - 58 = 0. Suppose 5*t + c = 5*h, 6*h - 3*h + 3*t - 66 = 0. Is h a multiple of 7?
False
Suppose 3*d - d - 24 = 0. Suppose 9 = 2*w + 3*p, 5*w - 7*p = -3*p - 12. Suppose w*s = -2*s + d. Does 5 divide s?
False
Let r = 31 - 46. Let c = 38 + r. Does 4 divide c?
False
Let u(a) = 9*a**3 + 4*a**2 + 8*a - 28. Is 24 a factor of u(4)?
False
Let v = 330 + -290. Is 5 a factor of v?
True
Let u(q) = 102*q + 77. Is 53 a factor of u(6)?
True
Does 3 divide (-292)/(-12)*(3 + 0)/1?
False
Is 63 a factor of 2105 + -12 - 14 - 0/(-1)?
True
Suppose -5*b = -5*u + 140, 3*b + 140 = 5*u + b. Suppose u - 19 = o. Does 9 divide o?
True
Let b(x) = x - 23. Let q be b(7). Let n be 5*(q/10 - -2). Suppose -5*h = -20, n*y + 2*h - 5*h = 20. Is y a multiple of 7?
False
Let x(w) = w**2 - 19*w - 32. Let f be x(20). Let o(a) = 2*a**2 + 12*a - 18. Does 21 divide o(f)?
True
Suppose -d + 938 = -23. Suppose 8*f - d = -169. Is 33 a factor of f?
True
Suppose -4*b + 102 = -b. Let v = 598 - 542. Let c = v - b. Does 6 divide c?
False
Let c(n) = 2*n**2 - 9*n. Let a be ((10/(-8))/(-5))/(7/196). Does 8 divide c(a)?
False
Let z(n) = -13 + n + n + 2*n - n. Does 11 divide z(8)?
True
Let f(t) = -381*t + 52. Is f(-5) a multiple of 19?
True
Let u(y) = 1 - 5 + 24*y - 9. Let a(t) = 16*t - 9. Let d(c) = -7*a(c) + 5*u(c). Is d(2) a multiple of 14?
True
Let h(p) = -72*p + 310. Does 19 divide h(-45)?
False
Does 14 divide (-1923)/(-21) + (-21)/(-98)*2?
False
Let w be (-5)/(21/6 - 3). Let d be (2/(-6))/(w/(-30)). Let h(o) = -35*o**3 - o**2. Does 14 divide h(d)?
False
Does 44 divide 6*(91 - (9 - 6))?
True
Let o(j) = -192*j. Let n(s) = -55*s. Let u(m) = 18*n(m) - 5*o(m). Let b be u(-6). Suppose b = 2*d + 2*d. Is 15 a factor of d?
True
Let v(c) = c**2 + 19*c + 129. Is v(-9) a multiple of 2?
False
Suppose -4*s + 57 = 5*b - 264, b - 1 = 0. Does 6 divide s?
False
Suppose -165 = 5*q - 890. Is q a multiple of 2?
False
Let z(b) = -b**2 + 19*b + 24. Does 5 divide z(9)?
False
Let g(x) = 2*x**2 + 32*x + 1. Does 49 divide g(-18)?
False
Let h(a) = 3*a**3 - 25*a**2 - 5*a + 15. Is h(12) a multiple of 27?
True
Suppose 3*s + 7 = -4*u, -4*s - 16 = 3*u - 2. Suppose -h - 5 = u*z, -4*z = z + 25. Suppose h*t - 10 = 5. Is t a multiple of 3?
True
Suppose 678 = q + 241. Suppose q = 8*o + 53. Does 14 divide o?
False
Suppose 12 = -3*o - 3*k, -2*o = -4*k - k - 27. Is 3/6*o*16 a multiple of 8?
True
Suppose -3*w - 19 - 6 = 2*c, -3*c = -3*w + 60. Let h = -15 - c. Suppose 4*u - 4*n = 40, h = n - 3. Does 15 divide u?
True
Let a = 195 + -149. Is a a multiple of 13?
False
Let j(a) = a**3 + 6*a**2 + 5. Suppose 12 = s - 3*s. Let w be j(s). Suppose 2*g + 0*g + 2*x = 106, x + 235 = w*g. Is 12 a factor of g?
True
Suppose 9*r = 6*r + 450. Is 25 a factor of r?
True
Suppose -4*h = -5*a + 1595, -5*h + 309 = 2*a - 296. Is 35 a factor of a?
True
Let h = 59 - -471. Suppose -41*d = -36*d - h. Does 8 divide d?
False
Let y = 25 + -31. Let g be (-1)/(8/y)*-76. Let z = g + 80. Is 23 a factor of z?
True
Let s = 922 - 599. Is 20 a factor of s?
False
Let l = -45 + 70. Let t be ((-6)/(-15))/(5/l). Suppose -3*r = t*f - 8*r - 26, -4*f - r + 30 = 0. Is f a multiple of 6?
False
Suppose -44092 = -33*g - 4294. Is g a multiple of 18?
True
Let w = -13 - -44. Let u = -24 + w. Is 3 a factor of u?
False
Suppose 0 = -8*h + 5*h + 27. Let q(l) = -11*l - 19. Let f(c) = -4*c - 6. Let v(m) = 8*f(m) - 3*q(m). Does 18 divide v(h)?
True
Does 19 divide 24/(-10)*((-1900)/(-15))/(-2)?
True
Let w = -259 - -289. Is w a multiple of 10?
True
Let f(c) = -c**2 - 6*c - 6. Let u be f(-7). Let v = u + 11. Does 20 divide 18 + (5 - (-6)/v)?
True
Suppose 18*h - 332 = 14*h. Is h a multiple of 8?
False
Suppose k + 6 = -3*u - 0*u, 2*k + 4 = -4*u. Does 6 divide 33/(-2)*(-8)/k - 1?
False
Suppose 0 = 3*w - 906 + 555. Does 12 divide w?
False
Suppose -2*q = 20*o - 16*o - 1138, 0 = -4*q + 3*o + 2221. Is 43 a factor of q?
True
Is 18 a factor of (523 + -12 + 11)*4?
True
Let l = 1534 - 785. Does 41 divide l?
False
Let r(x) = 13*x - 8. Let h be r(-10). Let l = -84 - h. Does 9 divide l?
True
Suppose 354*q - 329*q = 10725. Is 13 a factor of q?
True
Suppose 34*j = 10609 + 8601. Is 5 a factor of j?
True
Let t be 2/(-1*2/(-3)). Suppose -1 = -t*x + 11. Suppose x*i = 4*b - 44, -b = 4*i - 3*i - 13. Does 4 divide b?
True
Is 14 a factor of 0 + (-7)/(7/(-2461))?
False
Let i(v) = 4*v**2 + 9*v - 111. Does 12 divide i(9)?
False
Suppose 86 - 641 = -15*b. Is b a multiple of 15?
False
Let s be (-3694)/(-3) - 5/15. Suppose -s = -11*b + 1156. Is 44 a factor of b?
False
Let a = 22 + 698. Is 20 a factor of a?
True
Suppose -4*t - 61 = -5*f, -3*f = -2*f - 4*t - 9. Let q = f + -13. Suppose 106 = 4*z - c - 4*c, 3*z - 3*c - 78 = q. Does 24 divide z?
True
Let k be 4 - (-12 - -9 - -1*3). Let l(g) = g**3 - 6*g**2 + 2*g - 9. Let j be l(6). Suppose k*z - 9 + 0 = -t, -4*z + 5*t + j = 0. Does 2 divide z?
True
Let i(r) be the third derivative of r**5/30 - r**4/4 - r**3 + r**2. Suppose m + a + 2 = 0, -2*m + 2*a - 7 = 5. Does 22 divide i(m)?
False
Let g(j) = 8*j**2 - 2*j - 12. Let y be g(-4). Suppose l = -l - 10, 4*l = 2*t - y. Is t a multiple of 13?
True
Suppose -3*b + 539 = -316. Is b a multiple of 13?
False
Let i = -62 + 14. Let z = i + 52. Does 4 divide z?
True
Let m(y) = y**3 - 2*y**2 - 2*y - 1. Let n be m(3). Suppose b + 9 = n*b. Let c = b - 4. Does 5 divide c?
True
Let j(r) = 31*r**2 + 2 - 2. Suppose 0 = -5*v + 4*d + 21, -3*d - 16 = -2*v - 2. Is 8 a factor of j(v)?
False
Let k = 15 - 12. Suppose k*c - 72 = -27. Is (c/(-2))/((-7)/42) a multiple of 15?
True
Let c(u) = -u + 1. Let p be c(-2). Suppose 0 = d + 4*k - 23 - 4, -108 = -4*d + p*k. Does 5 divide d?
False
Let j(d) = 167*d**2 + 2 - 151*d**2 - 1. Is 3 a factor of j(1)?
False
Suppose 0 = -0*z + 4*z - 192. Suppose 3*y = 7*y + z. Is 4 a factor of (36/15)/(y/(-40))?
True
Let l(c) = -c**3 - 7*c**2 + 7*c - 4. Let h be l(-8). Let j be (4 - (-124)/(-16))*(-16)/3. Suppose 4*u + j = 0, h*a - 5*u = -0*a + 97. Is a a multiple of 9?
True
Su