et k be (-3)/(-12) + (-57)/(-12). Suppose 0 = -z + k*z - 84. Is 8 a factor of z?
False
Suppose 0 = 2*f + j - 112 - 23, 0 = -f - 4*j + 57. Is 17 a factor of f?
False
Suppose -3*n + 3*i + 69 = 0, 3*i - 6*i + 92 = 4*n. Is 23 a factor of n?
True
Let i be (8 + 0)*3/12. Let r = 24 + i. Is r a multiple of 13?
True
Let t be (-2)/3 + (-45)/(-27). Is (10/4)/t*40 a multiple of 25?
True
Let a(z) be the third derivative of z**6/180 - z**4/8 - z**3/6 - 3*z**2. Let s(y) be the first derivative of a(y). Is s(-4) a multiple of 13?
False
Let o(s) = -s - 85. Let r be o(0). Let b = r + 139. Is 18 a factor of b?
True
Let p be (-1)/(2/(0 + 94)). Let j = 89 + p. Is j a multiple of 21?
True
Suppose 16*l - 13*l - 36 = 0. Does 5 divide l?
False
Suppose y - 5*y + 2*c + 30 = 0, -4*y - 2*c + 50 = 0. Let u = y + 50. Is 15 a factor of u?
True
Suppose 4*o + 5*x - 111 = 0, 2*o + 3*x + 7 = 62. Is 7 a factor of o - (-4 + 1)/(-1)?
False
Let h be 268 - (-2)/(4/2). Suppose -5*d + h = -106. Suppose 2*a - 7*a = -d. Is a a multiple of 9?
False
Let c(z) = z**2 + 8*z + 2. Let h be c(-8). Does 19 divide h*(-3)/12*-76?
True
Let i = 26 - 16. Suppose -i - 38 = -4*q. Is q a multiple of 6?
True
Suppose -4*r - 1 - 15 = 0. Is 14 a factor of 82/(r/(-2 - 0))?
False
Let l be (-1 + (-10)/(-4))*2. Let h(k) = k**3 - 6*k**2 + 3. Let b be h(6). Suppose -4*r = -b*w - 1, -l*w + 3*r + 1 = -2. Is 2 a factor of w?
False
Suppose -2*x + 6 = -4*h, h + 0 = x - 3. Suppose -4*g - 118 = -2*j - 0*g, -159 = -3*j - x*g. Is 9 a factor of j?
False
Suppose 6*a - 3*a - 3*t = 24, -4*t = -3*a + 28. Suppose a*p + 0*p - 5*j - 126 = 0, -26 = -p + 4*j. Is p a multiple of 17?
True
Let n(a) = a**3 - 4*a**2 - 6*a + 7. Let t = 14 + -9. Let p be n(t). Is 11 a factor of 21/p + (-4)/(-8)?
True
Let k(d) = 7*d**3 - 3*d**2 - 4*d + 4. Is 14 a factor of k(3)?
True
Let o be (0 - (-1)/2)*10. Suppose -5*l + 5*g + 75 = 0, o*l + 2*g - 3*g = 71. Is 6 a factor of l?
False
Let w = 41 + -5. Is 20 a factor of w?
False
Let d(f) = 4*f**2 - 4*f. Let u be d(5). Suppose 3*a = -a - u. Let l = a + 38. Is 10 a factor of l?
False
Let z = -17 - -29. Suppose -b + z = 3*b. Is 9 a factor of (0 + b + -2)*17?
False
Let f be 141/(-12) - (-2)/(-8). Let k = f + 7. Let o = k + 8. Is 2 a factor of o?
False
Let o be (3/(-9))/(1/(-219)). Suppose 0 = -4*r + 75 + o. Suppose -2*q - 17 = -4*n - q, -4*q = 5*n - r. Does 5 divide n?
True
Let s(x) = 11*x**3 + x**2 - 1. Let k be s(1). Suppose -3*v - v = 3*c + 11, 2*c = v + k. Suppose c*w - 4 = -4*h, -h = -w - 2*w + 29. Is w a multiple of 3?
False
Is 0 - (1 - 1) - -73 a multiple of 16?
False
Suppose -5*s = -75 - 30. Does 11 divide 2 + 1*s + -1?
True
Is (-394)/(-8) - (-16)/(-64) a multiple of 11?
False
Suppose 8 = -5*p + 3*c, -3*c + 3 = -0. Let j be (-417)/(-3) - p/(-1). Suppose 5*r - s = j, 120 = 2*r + 2*r + 4*s. Is 9 a factor of r?
False
Let n(a) = 4*a + 1. Let s = -1 - -3. Does 3 divide n(s)?
True
Let n = 88 - 34. Does 20 divide n?
False
Suppose -3*a - 4*z - 22 = -140, 2*z = -3*a + 122. Does 21 divide a?
True
Suppose -2*o - 118 = -3*d, -32 = -2*d - o + 42. Is 19 a factor of d?
True
Suppose -4*i - 1 = 3. Let x = 3 + i. Is x a multiple of 2?
True
Suppose -5*m - 4 = -14. Suppose -5*r + 59 = -4*r + 2*n, -m*n - 295 = -5*r. Is r a multiple of 31?
False
Let t be (-3)/((-3)/(-10))*-1. Let g = t + 3. Is 9 a factor of g?
False
Suppose -4*v + 0*v = 2*l - 54, 4*l - 36 = -2*v. Does 4 divide v?
True
Suppose -2*y = -4*i - 20 - 184, -i - 5 = 0. Is 23 a factor of y?
True
Suppose -6*d - 106 + 364 = 0. Is d a multiple of 7?
False
Let f be (3 + -3)/((-4)/(-4)). Suppose f = -6*x + x + 155. Is x a multiple of 31?
True
Let q = 51 - 38. Does 13 divide q?
True
Suppose 2*r = -4 + 40. Does 3 divide r?
True
Suppose 2*o - 5*c = 20, -2*c = -2*o + 23 - 3. Is o a multiple of 3?
False
Let i(m) = m**3 + 9*m**2 + 8*m. Let w be i(-8). Suppose -2*f + 46 + 20 = w. Does 9 divide f?
False
Let r(s) = 3*s - 1. Suppose n - 11 = 3*j, -j + 8 = -0*j + 2*n. Let x(c) = -3*c + 1. Let m(p) = j*x(p) - 3*r(p). Is 13 a factor of m(-4)?
True
Let y(v) = 2*v**2 + 5*v + 7. Let j be y(-6). Suppose 5*b + 0*w = 4*w + j, 2*b - 3*w - 21 = 0. Is 9 a factor of b?
True
Suppose -5*y + 2*l = -60, -5*l = y + 21 - 6. Let s = 15 + y. Suppose c - 31 = -6*m + 3*m, -2*m - 5*c + s = 0. Is m a multiple of 3?
False
Let s be 15/2*4/6. Suppose -2*a - 4*i - s + 17 = 0, 3*a = 3*i + 18. Is a even?
True
Let u(v) be the second derivative of -11*v**5/20 - v**4/12 + v**3/2 + v**2 - 8*v. Does 12 divide u(-2)?
False
Suppose 0 = 5*l - 387 + 137. Does 5 divide l?
True
Let t = -9 - 0. Let m(n) = -n**3 - 10*n**2 - 9*n + 5. Does 5 divide m(t)?
True
Let p = 19 - 16. Suppose -p*y - 3*t + 189 = -0*y, -5*y - 2*t + 315 = 0. Is 15 a factor of y?
False
Let n be 15/(-10) + 9/2. Suppose 9 = -n*w + 4*w. Does 3 divide w?
True
Suppose 11*a - 9*a - 30 = -b, -b = -3*a - 55. Is 20 a factor of b?
True
Let c be (3/(-2))/(-3)*6. Suppose c = 2*t + 1. Let d(z) = 7*z**3 + 2*z**2 - 1. Is d(t) a multiple of 6?
False
Suppose 45 = 5*i + 5*m, 4*i + 3*m = 4*m + 46. Is 11 a factor of i?
True
Let t(x) = -x + 6. Let h(k) = 3*k - 24. Let d(j) = -4*h(j) - 15*t(j). Suppose 2*b + 0*b = 14. Is d(b) a multiple of 11?
False
Let l(t) = -3*t - 4. Let o be l(6). Let p = o - -47. Does 25 divide p?
True
Let j(x) = -4*x + 5. Let p be j(5). Does 19 divide (-564)/p - (-4)/10?
True
Let s = 9 - 4. Suppose 4*j + j - 60 = s*d, j + 4 = -3*d. Is 4 a factor of j?
True
Suppose 0 = 2*h + 61 - 13. Is 17 a factor of (39/(-2))/(9/h)?
False
Let q = 5 + 30. Suppose 0*i + i = 2. Suppose q = i*r + 3*r. Is r even?
False
Suppose 3*t + 57 = 318. Does 27 divide t?
False
Let c = 36 + 29. Does 10 divide c?
False
Let z = -739 - -1038. Is z a multiple of 56?
False
Let k(l) = 2*l - 41*l**2 + 42*l**2 + 2*l. Is k(4) a multiple of 16?
True
Let d(u) = -10*u**2 + 3*u**2 - 1 - 16*u**2. Let k be d(-1). Is k/10*10/(-3) a multiple of 5?
False
Let b = -1 + 2. Let c(g) be the first derivative of 8*g**3/3 - g**2/2 - 1. Is 7 a factor of c(b)?
True
Let l = 38 + -15. Is l a multiple of 3?
False
Let y(b) = -26*b - 4. Let t = -2 - 1. Let w be y(t). Suppose -6 = -5*s + w. Does 8 divide s?
True
Suppose 7*o - 214 - 94 = 0. Is o a multiple of 11?
True
Let u = 5 - 1. Let i be (-2 + 1)/((-2)/u). Is 11 a factor of (i + 63/6)*2?
False
Does 12 divide (320/48)/(2/66)?
False
Suppose 0*k + 4*k = -112. Does 8 divide 8/k - 174/(-21)?
True
Let r = 47 - 19. Is r a multiple of 5?
False
Suppose 3*y = -0*y - 24. Let u = -5 - y. Is ((-8)/6)/(u/(-9)) a multiple of 2?
True
Does 5 divide ((-8)/12)/(2/(-129))?
False
Let o be (-44)/(-12) + (-2)/(-6). Suppose 0 = 4*a - o*w - 100, 4*a - 121 = -2*w - w. Does 14 divide a?
True
Suppose 0 = 2*p - 6*p + 72. Is 5 a factor of p?
False
Let f be 2/(-2) - (2 - 1). Does 12 divide (-4 - f - 0)*-6?
True
Suppose -2*h + 123 = 25. Let s(x) = 5*x - 1. Let p be s(-3). Let t = h + p. Is t a multiple of 11?
True
Let k(d) = 0*d + 0*d**2 - d**3 - 7 + 4*d**2 - 2*d - 10*d**2. Is k(-6) a multiple of 2?
False
Let n be (-2)/(-8) - 39/12. Let r = n - -11. Is 4 a factor of r?
True
Let r be 111/9 + (-1)/3. Let i = r - 8. Is 4 a factor of i?
True
Let l = -360 - -556. Is 14 a factor of l?
True
Does 10 divide ((-60)/(-4))/(6/4)?
True
Let s = 195 - 121. Is 22 a factor of s?
False
Let h = 154 + -101. Is h a multiple of 23?
False
Let m be -4*(2 + 10/(-4)). Suppose m*k + 92 = t + 4*t, 5*t - 96 = k. Suppose 5*q - q = t. Is 2 a factor of q?
False
Suppose 4*m + 9 = d, -m + 2*d + 2 = -3*m. Does 10 divide (3 + m - 0) + 23?
False
Let a(t) = 5*t - 2. Is 12 a factor of a(9)?
False
Let a be (54 + 1)*1 + -1. Let r = 17 + -53. Let q = r + a. Does 10 divide q?
False
Suppose 4*j - 220 = -0*j. Suppose 0 = -2*u + u + 3*s + j, -5*u - s = -243. Is u a multiple of 10?
False
Suppose 6*d - 5*d = 4. Suppose -d*c + c = -72. Does 12 divide c?
True
Suppose -2*u = -4*u + 2*l + 122, 5*u - 3*l - 303 = 0. Does 10 divide u?
True
Suppose -8 - 152 = -4*h. Suppose q + q = h. Does 10 divide q?
True
Let b(m) = m**2 + 4. Does 17 divide b(8)?
True
Let q(v) = v**2 + 10*v + 9. Suppose 0 = 3*m + 14 + 10. Let p be q(m). Let z(a) = a**3 + 6*a**2 - 11*a - 7. Is 13 a factor of z(p)?
False
Suppose 4*u = -4*o, -u - 12 = -5*o - 2*u. Suppose 3*y + o = 0, 0 = r + y - 7 - 9. Is 17 a factor of r?
True
Suppose 3*o + 213 = 2*n + 56, o + 3*n = -45. Let r = -31 -