*n - 71. Is z(-3) even?
False
Let t(v) = 131*v**2 - v - 1. Let c be t(1). Let k = -125 + c. Suppose -505 = -k*n + 23. Is 11 a factor of n?
True
Suppose 6*h - 131 = 13. Suppose 160 = h*y - 8*y. Is y a multiple of 3?
False
Let a = -1139 - -371. Let c = a + 1599. Is 13 a factor of c?
False
Let i be (32/20)/4 - 12852/(-20). Suppose 0 = p + 115 - i. Does 44 divide p?
True
Suppose -3*h = -2*s + 118122, 4*s + 42523 = -5*h + 278833. Does 358 divide s?
True
Let y be 756/210*(-176 + 1). Let a = y - -633. Is a even?
False
Let q(m) = 2*m**3 - 9*m**2 - 12*m + 3. Let v be q(9). Suppose -21*b - v = -22*b. Is b a multiple of 16?
True
Suppose -5*a + 4*z - 3*z = -1044, 2*z + 8 = 0. Suppose 5*c - 18*c + a = 0. Is 8 a factor of c?
True
Let h(m) = 11 - m**2 + 3*m**2 + 33*m - 46*m. Does 7 divide h(9)?
True
Suppose 0 = -3*n - 4 - 47. Suppose 18*a + 85 = 913. Let r = n + a. Is 18 a factor of r?
False
Let z be (6 - -372)/((-3)/(-3)). Suppose -11*n + z = -4*n. Suppose 3*o - 33 = -3*i + n, o = -2*i + 27. Is o a multiple of 4?
False
Suppose -u = -3*x + 70428, -9*x = u - 2*u - 211290. Is 13 a factor of x?
False
Suppose -5*p = 5 - 30. Suppose 5*u = -2*q + 14, -p*q + 2 + 3 = 5*u. Is 20 a factor of (0 - 2/(-5))/(u/200)?
True
Suppose z + 3*a = -z + 220, 0 = 3*z + 4*a - 332. Let k be ((-91)/(-14) + -7)*(1 - 11). Suppose -199 - z = -k*p. Is p a multiple of 9?
True
Suppose -126041 = -18*c - 35102 + 121281. Is 90 a factor of c?
True
Let q = 44 + -56. Let x be (368/q)/(4/6). Let k = x - -196. Is 15 a factor of k?
True
Let b(s) = -s**2 + 9*s - 18. Let h be b(12). Let l be 47/9 + 2 - (-12)/h. Suppose -l*n = -8*n + 70. Is 7 a factor of n?
True
Suppose 4*q + w = 29, w = 5*q - 3*q - 13. Suppose q*c - 160 = 2*c. Does 26 divide c?
False
Let y(r) be the first derivative of 227*r**3/3 + 11*r**2/2 - 10*r - 56. Is 23 a factor of y(2)?
True
Let v(m) = -5*m**3 + 2*m**2 + 2*m. Let q be v(-1). Let d be 7/3 - (q - (-85)/(-15)). Suppose 193 - 644 = -5*h - s, -d*h + 266 = -4*s. Is 15 a factor of h?
True
Suppose 8*d - 20*d + 131807 - 19955 = 0. Is 13 a factor of d?
True
Let b(c) = 103*c + 91. Is 23 a factor of b(67)?
True
Let s = -42574 + 83682. Is 43 a factor of s?
True
Suppose 5*r = -15*r + 20100. Suppose -r = -2*i - 5*g + 433, 5*i = 3*g + 3564. Is 22 a factor of i?
False
Suppose 0 = -0*g + 5*g - 5*v - 745, 3*g - 441 = -3*v. Let f = 274 - g. Is f a multiple of 7?
True
Let f be (2 - 4) + (-40)/(-2). Suppose 0 = 3*l - f - 21. Suppose l*x + 30 = 16*x. Is 6 a factor of x?
False
Suppose -32 + 8 = -12*g. Suppose -n + 2*o = -g*n - 7, 0 = -3*n + 2*o - 5. Is n*(40/(-12) - 3) a multiple of 2?
False
Suppose 4*l - 49*p - 10203 = -46*p, 0 = -2*p - 10. Is 48 a factor of l?
False
Let t be (-8)/(-5)*(13 + -8). Suppose -2*w = 4*o - 4350, 0 = 13*o - t*o - 3*w - 5443. Is o a multiple of 34?
True
Suppose -11*d - 4*g + 24 = -12*d, -3*g + 27 = -3*d. Let l(i) = -2*i**3 - 4*i**2 + 9*i + 7. Does 4 divide l(d)?
False
Let j(n) = 3*n**3 + 7*n - 14. Let u = -157 - -159. Is j(u) a multiple of 2?
True
Suppose -8*t + 15*t = 0. Suppose -3*m + 22 + 8 = t. Is 10 a factor of m?
True
Let g(f) = 93*f**2 + 2*f + 8. Let d be g(-2). Suppose 0 = 4*m + 4*v - d, 4*v = -m - v + 78. Does 14 divide m?
True
Suppose -4126 + 10671 = 11*q. Does 59 divide q + 3 + -5 - 3*1?
True
Suppose -52*k = -57*k + 20. Suppose k*c + 4*d = 9*d - 61, -2*c + 3*d - 29 = 0. Let o = c - -93. Does 5 divide o?
False
Let k(m) = m**3 - 6*m**2 - 4*m - 19. Let b be k(6). Suppose -4*c - 4*j = -540, j + 895 - 250 = 5*c. Let q = b + c. Does 14 divide q?
False
Let u(i) = i**2 + 6*i - 2. Let t be u(-5). Suppose 3*o - 10 = 62. Is (1 - 2 - t)/(o/496) a multiple of 31?
True
Let i = -1330 + 364. Let t = 2617 + i. Is 13 a factor of t?
True
Let l be ((-11)/(-33))/(2/(-12 - 0)). Let g be 2329/9 + 0 + l/(-9). Suppose -6*r + r + g = -y, 0 = -y + 1. Is 14 a factor of r?
False
Suppose -54*i + 39529 = 2235 - 23726. Does 2 divide i?
True
Let n(d) = 15*d**2 + 7*d + 16. Let b be n(-5). Suppose 4*i - b = -3*h, 2*i + 0*h + 2*h = 176. Suppose -3*w - i = -605. Is w a multiple of 57?
True
Let d be -4 + 2 + 1*169. Suppose q = -3*p + 94, -23*q + 4*p - 198 = -25*q. Let b = d - q. Is b a multiple of 29?
True
Let c(y) = 68*y**2 - 595*y - 17. Does 17 divide c(10)?
True
Suppose 157806 = -916*z + 921*z + t, 0 = 5*z + 5*t - 157830. Is 20 a factor of z?
True
Let i be (0 - (-12)/8)*-56. Suppose 298 = 5*c - 227. Let t = c - i. Does 21 divide t?
True
Let b be 22*(-5)/((-30)/(-39)). Let c be (b/(-22))/((-14)/8 + 2). Suppose -c*v = -30*v + 1216. Is v a multiple of 38?
True
Suppose -67*a + 53*a = -84. Is ((-8)/a)/(2 - (-3080)/(-1533)) a multiple of 18?
False
Let t be (91 - 98)/((-1)/27*1). Suppose -87 = -2*j + 2*q + 117, t = 2*j + 3*q. Does 9 divide j?
True
Does 13 divide (-31186245)/(-1105) - (96/52 + -1*2)?
True
Let j(k) = 9*k**2 + 2*k + 13. Let p be j(-5). Let l = 354 - p. Is 18 a factor of l?
True
Let j(y) = -y**3 - 4*y**2 + 2. Let l be j(0). Suppose 0 = -3*t + l*v - 0*v + 107, 12 = -3*v. Does 6 divide (t/12)/(3/72)?
True
Let t(w) = -5*w + 9*w + 15 - 6*w. Let c be t(6). Suppose c*u = -3*q + 390, -7*u + q = -3*u - 510. Is u a multiple of 21?
False
Suppose 15*b = 13*b + 36*b - 12206. Is b a multiple of 3?
False
Suppose 0 = -2*z + 4*i + 6, 4*z = -2*i + 5 - 3. Does 9 divide (-42 + -93)/(-1*z/3)?
True
Let b = -22 + 24. Suppose -5*f - 30 = -5*m, -5*f + 2*f = 2*m - b. Suppose 0 = m*z + 3*l - l - 746, 5 = l. Is z a multiple of 46?
True
Suppose 4*c + 0*w - w = 7, 5*c + 3*w = 30. Suppose 4*m + 4*x = 188, 0 = c*m - 0*x - 3*x - 141. Is m a multiple of 47?
True
Let s = 34 - 48. Let f be 91/s + (-2)/(-4). Let v = f - -87. Is 31 a factor of v?
False
Let i = -322 - -819. Let v = 717 - i. Suppose 4*a - v = 20. Does 15 divide a?
True
Let j = 1035 + 2127. Suppose 0 = -2*i + 6*i - 5*s - 3127, 0 = -4*i - 2*s + j. Does 13 divide i?
False
Let u = 6609 + -4648. Is u a multiple of 53?
True
Let p be (4 - (-10)/(-4))*14. Let y be 8 + (p/(-3) - -4). Suppose -y*m + 548 = -152. Is m a multiple of 20?
True
Let j(a) = 649*a**3 + 3*a**2 - 9*a + 7. Let t be j(1). Let h = t + -488. Is h a multiple of 6?
True
Suppose -4*j + 70 = 46, -15416 = -4*l + 4*j. Is l a multiple of 96?
False
Let b = -231 + 227. Does 18 divide (32*21)/4*(-3)/b?
True
Let g be (0 - -26) + 6/((-6)/(-3)). Suppose -g*v + 24*v + 495 = 0. Is v a multiple of 23?
False
Let a = 4636 - 3623. Is 11 a factor of a?
False
Let p(n) be the second derivative of 23*n**3/3 - 539*n**2/2 + 2*n - 54. Is p(38) a multiple of 12?
False
Let x(l) = 232*l - 9. Let b be x(3). Suppose o + 62 = -5*k - 131, -3*k = 4*o + b. Is o/(2 - (-9)/(-3)) a multiple of 12?
True
Let g = 189 + -149. Is 800/(-6)*(-192)/g a multiple of 20?
True
Let v be 0/(-31) - ((-5)/(10/8) - 0). Suppose -2*j = 4*x - x - 424, -4*x + 550 = -5*j. Suppose 2*f + x = v*f. Is 7 a factor of f?
True
Suppose 0 = -4*m - u + 11669, -95*u = -4*m - 99*u + 11660. Suppose -3*n + 4*h = -m, -3118 = -4*n - 2*h + 736. Does 16 divide n?
False
Suppose 0 = f + 2*n - 31722, -4*f - 24824 = -3*n - 151646. Is f a multiple of 30?
True
Suppose 6*u = -2*u + 288. Does 6 divide 191/3 + u/(-54)?
False
Let d(j) be the second derivative of -115*j**3/3 - 69*j**2/2 + 3*j + 12. Is d(-1) a multiple of 3?
False
Let f be ((-56)/32)/(2/(-16)). Suppose 5*j = 5*d + 720, -5*j = -f*d + 16*d - 706. Is j even?
True
Let p(w) be the first derivative of -465*w**4/4 - 2*w**3/3 + 49. Does 20 divide p(-1)?
False
Let t(f) = 2*f. Let z be t(1). Let c be (-242)/(-3)*9/6. Suppose 2*p + z + 4 = 0, -c = -n - 4*p. Does 21 divide n?
False
Suppose -o = a - 0*a - 2, 2*a + 4*o - 4 = 0. Suppose -5*p = -4*t - 1299, -a*t + t - 1 = 0. Let n = p - 153. Is 39 a factor of n?
False
Let h = 32231 - 24600. Is 22 a factor of h?
False
Suppose -146*t + 19807 = -25745. Is 24 a factor of t?
True
Let o = 9749 - 5531. Is o a multiple of 6?
True
Let p(h) = 3*h**2 - 22*h - 35. Let n be p(-10). Suppose n = -c + 6*c. Let i = 117 - c. Does 5 divide i?
True
Suppose 10 = -f + 3*p - 8*p, -97 = 4*f + p. Let x = -13 - f. Let c = 100 + x. Is 28 a factor of c?
True
Suppose 21 = 5*f - 2*p - 12, 0 = -f - 5*p + 12. Let o(v) = -2*v**3 - 98*v**2 + 97*v - 134. Let x be o(-50). Let i = x - f. Is 6 a factor of i?
False
Let u = -10947 + 14899. Does 208 divide u?
True
Let b(g) = -4*g**3 + 10*g**2 + 3*g + 24. Let i(x) = 3*x + 50 + 1