 even?
True
Let x(z) = -2*z**3 + 12*z**2 + z - 11. Suppose -3*p + 9 + 15 = 0. Let o be x(p). Does 13 divide o/(-4) + (-2)/(-8)?
True
Is 12 a factor of (1 + 9*15)*2255/410?
False
Let s(l) = -l**3 - 5*l**2 + 45*l + 7. Does 17 divide s(-11)?
True
Suppose 3*q - 1235 = 3*s - 4910, -4*s = q - 4905. Does 14 divide s?
False
Let u(f) = 42*f - 36. Does 52 divide u(8)?
False
Let f be (-1 - 4) + 5 - -4*1. Is -1*(f + -3)*-27 a multiple of 9?
True
Let a = 14 - 13. Let i be 3/(-18) - a/(-6). Let c(t) = t + 12. Is c(i) a multiple of 12?
True
Let q be ((-286)/1)/(10/10). Is q/(-3) + (-8)/24 a multiple of 19?
True
Suppose u - 257 = -3*c, 3*c - 2*c = 2*u + 74. Suppose -3*b + 54 + c = 0. Does 5 divide b?
False
Suppose -2*l - l - 4*d = -200, 65 = l + d. Is 20 a factor of l?
True
Let g be -26 + -3 - 0 - 1. Let p = g - -42. Is p a multiple of 7?
False
Suppose -3*l - 3*l = 3*l. Suppose 18*j - 1577 - 691 = l. Is j a multiple of 18?
True
Suppose 13*v - 10*v - 1202 = a, -2*v + 792 = 4*a. Is 4 a factor of v?
True
Let j = -184 - -247. Does 9 divide j?
True
Suppose 6 = -2*g - g. Let f(s) = -5*s**3 - 4*s**2 - s + 2. Is f(g) a multiple of 4?
True
Let w(p) = p**2 - 26*p - 74. Does 10 divide w(33)?
False
Let m(k) = -4*k + 2. Let t be m(2). Let c = -10 - t. Let w(a) = -11*a - 4. Is 19 a factor of w(c)?
False
Suppose 3*v = 15, j + j = 2*v + 556. Let g = j - 159. Let k = 226 - g. Does 34 divide k?
True
Suppose 0 = 3*j + j + 4. Let x be (j/3)/(23/(-207)). Suppose -d = x*d - 232. Does 23 divide d?
False
Is 19 a factor of (6 + 3)*(2 + 300/2)?
True
Suppose -3*d = 3*r - 21, d = 4*d - 4*r + 7. Suppose -x = -9 + d. Is 2/x - (-1452)/18 a multiple of 14?
False
Let m(i) = -4*i**2 + 15*i + 8. Let a be m(-4). Let q = 3 - a. Does 9 divide q?
False
Does 25 divide (1150/184)/((-1)/(-100))?
True
Suppose -5440 = -5*g + 3*g. Does 28 divide (-8)/6 - g/(-24)?
True
Let o(z) be the third derivative of z**6/120 + z**5/10 - 11*z**4/24 - z**3/2 + z**2. Suppose -5*a + 2*a - 21 = 0. Does 8 divide o(a)?
False
Let h(d) = -d**3 - 6*d**2 - 3*d + 5. Let k be h(-6). Let r = -19 + k. Is 3 a factor of r?
False
Let w(d) = 2*d**2 - 30*d + 20. Is 15 a factor of w(23)?
False
Let a(b) = -14*b - 1. Let v be 2 - ((2 - -1) + 0). Is 13 a factor of a(v)?
True
Suppose 12 = -n - 3*n + 2*v, 2*v - 2 = -n. Let c be n*(-1)/(-3)*-3. Suppose 0*w + 4 = c*w + 4*r, -28 = -3*w + 5*r. Is 3 a factor of w?
True
Let p(d) = -d + 9. Suppose 6*w - w - 25 = 0. Let z be p(w). Let a = z + 20. Is 4 a factor of a?
True
Is (2 - -3)*-1 - (-133 - 19) a multiple of 21?
True
Suppose 17 = 3*h - 28. Suppose -b - h = -3*p, 2*b + 0 + 10 = 2*p. Suppose -4*s + b*s - 4*z + 112 = 0, -5*s - z = -124. Is 8 a factor of s?
True
Let k(r) = 6*r + 68. Does 43 divide k(4)?
False
Let k(c) = c**3 - 36*c**2 + 51*c - 56. Does 12 divide k(35)?
True
Let h(i) be the third derivative of -i**6/120 + i**5/6 + 19*i**4/24 - 13*i**3/6 - 34*i**2. Is 17 a factor of h(11)?
False
Let y(a) = 4*a**2 + 10*a - 229. Does 65 divide y(-20)?
False
Let s(d) = d**2 + d - 1. Let u(t) = -2*t + t**2 - 3 + 2*t - 4*t. Let o be u(5). Is 5 a factor of s(o)?
True
Let z = 38 - 11. Let m = z - 18. Is 174/18*m/1 a multiple of 29?
True
Suppose -2*b - 19 = -29. Suppose -5*n - 4*q + 13 + 87 = 0, -5*n - b*q + 95 = 0. Is 5 a factor of n?
False
Suppose 0 = 2*b - 3 - 9. Suppose 2*y - 3*p = 16, 0*y + y + p = -2. Suppose -y*r = -b*r + 120. Is 10 a factor of r?
True
Suppose 24*m - 10997 = 17491. Is m a multiple of 10?
False
Let o be 1*0*4/12. Suppose -4*x + 4*j + 112 = o, -3*x = x - j - 118. Is x a multiple of 10?
True
Suppose 3*a + a = -4*d - 40, -15 = 3*d. Is 26 a factor of 2/a + ((-3104)/(-10) - -2)?
True
Is (-19665)/(-36) - 15 - (-3)/4 a multiple of 16?
False
Let l be ((-4)/10)/((-16)/80). Suppose -3*w = 5*u - w - 976, 4*u - 788 = l*w. Is 21 a factor of u?
False
Let m be 2 + -1 + 2 + 65. Suppose -x + 5*v + 12 = 0, -m = -5*x - 5*v + 112. Is 8 a factor of x?
True
Let k(w) = 3*w + 1. Let q be k(-2). Let d = q + 7. Suppose -d*r + 23 + 73 = 0. Does 15 divide r?
False
Suppose 510 = 3*d + 2*d. Let r = d - 15. Is r a multiple of 14?
False
Let q = -28 - -40. Let v = 8 - q. Is ((-27)/v)/((-3)/(-8)) a multiple of 6?
True
Let l(p) = -9*p + 6. Let o be l(-7). Let j = o + -123. Let f = j + 124. Is f a multiple of 35?
True
Suppose o = 3*w + 210, 2*o - 7*o + 1050 = 3*w. Is o a multiple of 42?
True
Is 10 a factor of (-1380)/(-9) + (-4)/(-6)?
False
Suppose -3*f - 1717 = -2*y, -y + 583 = -3*f - 268. Does 71 divide y?
False
Suppose 15 = 2*o - 5*x, x = 5*o - 0 - 3. Let f = o - -12. Suppose -f*s + 135 = -7*s. Is s a multiple of 15?
False
Let t = 5037 - 8529. Is t/(-33) - (-16)/88 a multiple of 31?
False
Suppose 9*i - 4*i - 24 = 3*s, 4*s = -12. Suppose 5*z - i*p = 7, 0 = 4*z + 6*p - 2*p + 20. Is 9 a factor of (z - -4)*9 - -3?
False
Suppose 3*i - 1 = -2*k, -3*i - 2*i - 3 = k. Let h(p) = p**2 + 7*p + 22. Let j be h(-11). Does 4 divide 517/j - i/6?
True
Let g(a) = a**3 + 9*a**2 + 6*a - 5. Let w(f) = -f - 13. Let s be w(0). Let x be 2/s + (-534)/78. Does 18 divide g(x)?
False
Suppose c = -4*c + 30. Let u = c + -3. Does 2 divide u?
False
Is 5 a factor of (-1941)/(-10) + (-300)/3000?
False
Let c = 52 - 47. Suppose 680 = c*s - 40. Is s a multiple of 24?
True
Suppose -4*x + 4 = -2*x. Suppose -5*u + 114 = 3*i - x*i, u - 2*i - 25 = 0. Is u a multiple of 23?
True
Let w(m) = 100*m - 485. Is w(22) a multiple of 13?
False
Suppose -2*c = 4*x - 240, -x = 2*c - 4*c - 50. Let f = 70 - x. Is 11 a factor of f?
False
Suppose -w + 43 = -j, 3*w - 219 = 5*j - 0*w. Does 47 divide (3/(3/(-128)))/(j - -44)?
False
Let p(l) = -l**3 + 13*l**2 - 11*l - 12. Let i be p(12). Let u = 5 - i. Suppose -2*f + 85 = 5*n, u*f = f - 5*n + 155. Is f a multiple of 16?
False
Let a(v) = -309*v + 49. Is a(-4) a multiple of 63?
False
Suppose -4*i - 18 = -2. Let u = i - -20. Is (2 - u)*44/(-8) a multiple of 20?
False
Let g(m) = -m + 8 + 2*m + 5*m + m**2. Does 8 divide g(-10)?
True
Let v(s) = 51*s + 7. Let o(p) = 51*p + 6. Let l(d) = -4*o(d) + 3*v(d). Is l(-3) a multiple of 14?
False
Is (3189 - 48/(-8)) + -9 a multiple of 118?
True
Is ((13/2)/13)/(3/8742) a multiple of 82?
False
Let o be 192 + 3/(6/(-6)). Suppose -o = -78*q + 77*q. Is q a multiple of 21?
True
Let n(o) = 2*o - 2. Suppose 2*p + p = -9. Let j be (-2 - 0)/(2/p). Is 2 a factor of n(j)?
True
Let r = 182 - 45. Is 22 a factor of r?
False
Let z be (-33)/(-15) + (-1)/5. Let a = z + -2. Suppose a*c = -c + 9. Does 9 divide c?
True
Suppose -5*w + 117 = -103. Suppose -3*j + 132 = -3*a, -j - 3*a + 0*a = -w. Does 22 divide j?
True
Let x = 149 + 713. Is 7 a factor of x?
False
Let o = 645 - 433. Does 10 divide o?
False
Suppose -193 = -o + 224. Suppose -73 = -5*r + o. Is r a multiple of 14?
True
Let y = -204 + 374. Is 34 a factor of y?
True
Let y(o) = -9*o - 56. Is 52 a factor of y(-12)?
True
Suppose m + 1 = 10. Suppose m*j + 612 - 1710 = 0. Does 13 divide j?
False
Let z(v) = 494*v + 220. Does 62 divide z(5)?
False
Let n(x) = x**3 - 7*x**2 + x - 4. Let r be n(7). Suppose -i + r = -8. Let w = i - 6. Is 5 a factor of w?
True
Let l = -16 - -17. Is -17 + 14 + 18*l a multiple of 4?
False
Let h = -19 + 22. Suppose a + h*a = -52. Let c(t) = -t**2 - 15*t + 14. Does 8 divide c(a)?
True
Let g be (-2785)/20 + 2/8. Let y = g - -315. Suppose 0 = -4*d + 4*q + y, -3*q - 6 = -d + 48. Is 13 a factor of d?
True
Let w be -2*(-5 - -4) + 118. Suppose 0 = -i + 4*i - w. Does 8 divide i?
True
Let f(d) = -d**2 - 1. Let l(a) = 4*a**2 - 7*a + 9. Let j(c) = -5*f(c) - l(c). Let v = -1257 - -1264. Does 29 divide j(v)?
False
Is 94 a factor of 24/20 + -15858*20/(-75)?
True
Let u be (-219)/((-56)/(-20) + -3). Suppose 8*n - 1225 = u. Is n a multiple of 58?
True
Suppose 2*h - 4*h = 5*z - 106, h - 52 = -2*z. Suppose -3*v = -v - h. Is 6 a factor of v?
True
Let i = 397 + -163. Is 2 a factor of i?
True
Suppose 194*v = 198*v - 84. Let l be (-2)/(-6) - 24/(-9). Suppose v = 4*f - l. Does 3 divide f?
True
Suppose 0 = -4*v - v + 15. Let w(a) = a**2 - 2*a + 3. Let o be w(v). Suppose 66 = 3*f - 2*x, -3*x = 2*f - o*x - 39. Does 24 divide f?
True
Let o be 4*((-188)/(-16) - 0)/1. Let s = o - 36. Does 3 divide s?
False
Suppose 0 = 2*i - 4*b - 74, 3*i + 13 = 5*b + 123. Suppose i = h - 7. Suppose 3*l - 3*a + 5*a - h = 0, 0 = 3*l - 4*a - 42. Is 4 a factor of l?
False
Let t = 783 + -