 y = -4 - -8. Suppose 5*b - i = 26, 13 + 3 = 4*b + y*i. Does 4 divide b?
False
Let y(r) = r**3 + r**2. Let w be y(0). Suppose 13 = 4*x - 15. Suppose w = t - 34 + x. Does 16 divide t?
False
Suppose 5*f - 134 = 26. Let g = 66 - f. Does 11 divide g?
False
Does 22 divide 1316/10 - 7/(35/(-2))?
True
Let c(r) be the first derivative of -11/2*r**2 + 4*r + 2. Is 17 a factor of c(-4)?
False
Suppose -4*b = b. Suppose 2*j - 3 + 23 = b. Is (-48)/j + 2/10 a multiple of 5?
True
Does 51 divide ((-1 - 0) + (-12)/(-8))*204?
True
Suppose 0 = 2*k - 1 + 39. Let g = 32 + k. Suppose -2*x - 3*x = i - g, 1 = -x. Is 18 a factor of i?
True
Does 30 divide 6 + -3 + (2 - -55)?
True
Is ((-98)/56)/(1/(-52)) a multiple of 13?
True
Suppose -15 + 57 = 2*x - 2*u, 4*u = -x + 31. Does 5 divide x?
False
Is 3 a factor of (-57)/95 + (-86)/(-10)?
False
Let s(k) = -k**2 + 13*k - 8. Is s(9) a multiple of 6?
False
Let o(i) = -34*i**2 + 6*i - 6. Let l be o(4). Does 11 divide 6/(-27) - l/18?
False
Let h be (-2)/5 + (-3)/5. Let t = h - -2. Is (t - 0) + 1*28 a multiple of 14?
False
Let q = -3 - -9. Let m(h) = 4*h + 7. Does 18 divide m(q)?
False
Is 431/11 + (-14)/77 a multiple of 13?
True
Let d(r) = -2 + r**2 + 6*r + 6*r**2 - 2*r**2 - 8. Let s(q) = 6*q**2 + 7*q - 10. Let u(y) = 5*d(y) - 4*s(y). Is 14 a factor of u(7)?
False
Let x = -13 + 18. Suppose x*g - 163 = 57. Is 19 a factor of g?
False
Suppose 2*j = -j + 5*t + 961, 5*j = -5*t + 1535. Is 40 a factor of j?
False
Suppose 3*u - p = 0, 4 + 0 = -2*u + 2*p. Let q(t) = 5*t**3 - 2*t**2 + 2*t - 1. Is q(u) a multiple of 3?
False
Let g = -1 + 1. Suppose 0 = -7*x + 2*x - 5*i + 245, g = i - 2. Let y = x - 33. Is y a multiple of 12?
False
Suppose 8 = -4*p, 894 = 5*j - 2*p + 315. Is 23 a factor of j?
True
Suppose 0 = -c + 4*c - 9. Is 20 a factor of 2*c/(-6) + 45?
False
Suppose 0 = 6*j - j. Suppose -d - b - b = -22, 4*d - 3*b - 33 = j. Is 12 a factor of d?
True
Let o = -27 + 17. Let n(u) = -3*u - 7. Does 12 divide n(o)?
False
Let o(m) = -m**2 + 6*m - 4. Let p be o(8). Is 8 a factor of (-10)/20*(0 + p)?
False
Let k(z) = 38*z**2. Is 9 a factor of k(1)?
False
Let w be 3 + 93/1 + 2. Suppose -4*c - w + 370 = 0. Suppose 7 = 3*m - c. Is m a multiple of 7?
False
Suppose -5 - 15 = -5*m. Suppose m*i + 8 = 4*t, 2 = 5*i - 8. Does 2 divide t?
True
Is 20 a factor of 786/39 + 6/(-39)?
True
Suppose 19*h - 372 = 7*h. Does 15 divide h?
False
Let k = -1 + 3. Let r(a) = 4*a**3 - 3*a**2 + 2*a - 1. Is r(k) a multiple of 23?
True
Let q(h) = h**2 + 2*h + 5. Let t be q(0). Suppose -5*k + t = 2*i - 40, -5*i + 5*k + 165 = 0. Does 10 divide i?
True
Is 26 a factor of 0 + 80 + 14/(-7)?
True
Suppose -2*v - 31 = -155. Does 15 divide v?
False
Let u(y) = -y**3 + 11*y**2 - 8*y - 2. Let g(z) = z**3 + 5*z**2 - 3*z - 5. Let l be g(-5). Is 9 a factor of u(l)?
True
Suppose -3*i - 4*z = -7*i + 44, 4*i - 5*z = 44. Does 11 divide (i/2)/((-3)/(-30))?
True
Let f(q) = 2*q - 3*q + q - q + 4*q**2. Does 6 divide f(2)?
False
Let v(t) = t**3 + 3*t**2 - 4*t + 3. Suppose 5 - 1 = -w. Is 3 a factor of v(w)?
True
Suppose -23 = 2*f - 95. Is 18 a factor of f?
True
Suppose -211 + 52 = -a. Is 19 a factor of a?
False
Let z(n) = 3*n**2 - 8*n - 10. Is 10 a factor of z(-4)?
True
Let y be (6/(-8))/((-3)/(-12)). Let r be 2*((-9)/(-6))/y. Does 10 divide -1 - 1 - (-19 + r)?
False
Let y be (-9)/5 + 2 - (-12)/(-10). Suppose 5*f + 5*b = -25, -2*f + 1 = -f - b. Does 14 divide (-23)/f*y*-2?
False
Let n(a) = -5 + 12*a - 12*a - 1 - 11*a. Let z be (3/(-6))/((-2)/(-16)). Is 11 a factor of n(z)?
False
Let l(z) = 3*z - 1. Is 11 a factor of l(4)?
True
Suppose -4*l - 502 = -2*w - 0*l, -5 = l. Is 9 a factor of w?
False
Suppose 2*n = 4*n. Let z be (0 - n)/(5/(-5)). Is 8 a factor of (-2 - (-3 + z))*9?
False
Let v(j) = -6*j + 12. Let z(d) = -7*d + 12. Let l(g) = 6*v(g) - 5*z(g). Let n be l(10). Suppose 80 + 9 = 2*f + c, -n*f = -2*c - 74. Does 17 divide f?
False
Let u be ((-4)/(-5))/(2/10). Suppose -a - u*a = 10. Is (-2 - a/(-4))*-2 a multiple of 2?
False
Let z(g) = g**2 + 2*g + 1. Is 12 a factor of z(-7)?
True
Suppose -3*w + 3*p = 3, -2 = -4*w + 2*p + 2. Suppose -9 = 5*o + 2*b - 34, w*b = 0. Suppose 10 = o*v, 3*q - 102 = -q + 5*v. Does 14 divide q?
True
Suppose -u = 2*c - 218 + 17, -5*c - 636 = -3*u. Does 15 divide u?
False
Let o = 1 - -3. Let f(k) = 20*k + 6. Let z(q) = 10*q + 3. Let h(m) = -2*f(m) + 5*z(m). Is 15 a factor of h(o)?
False
Let x be 792/28 + 6/(-21). Does 3 divide (-8)/x + (-88)/(-14)?
True
Suppose 2*a + 3*a - x - 139 = 0, -2*a = 4*x - 38. Suppose 0 = 2*m - a + 1. Does 10 divide m?
False
Suppose -5*a = -71 + 1. Does 14 divide a?
True
Suppose 5*g - 4*g - 65 = 0. Does 13 divide g?
True
Let d be (-2)/10 - 348/(-15). Suppose 2*a = 11 + d. Is a a multiple of 17?
True
Let s = 17 + -9. Suppose -i + s = 4. Is i even?
True
Let q be ((-1)/3)/(2/66). Let l = -9 - q. Is 7 a factor of 6/l - (-2 + -2)?
True
Suppose 3*z - 7 = 5. Suppose -z*q - 19 = -103. Is 7 a factor of q?
True
Let l(p) be the third derivative of -p**6/240 - p**5/8 + p**4/8 - 2*p**2. Let u(q) be the second derivative of l(q). Is 5 a factor of u(-10)?
True
Let l be (-3 + 16)*(1 - 2). Let a = -5 - l. Is 8 a factor of a?
True
Let p be (0/(-3) + -6)*8. Let l = -89 - p. Let v = 93 + l. Is v a multiple of 18?
False
Let l(i) = -i**2 - 5*i - 2. Let t be l(-4). Suppose u + 63 = t*u. Is u a multiple of 21?
True
Suppose 3*d - 4 = 14. Let f(q) = -q**3 + 7*q**2 - 3*q + 5. Does 6 divide f(d)?
False
Let m(l) = -13*l. Is 13 a factor of m(-1)?
True
Suppose -2 - 10 = f - 4*a, 4*f - 2*a + 6 = 0. Suppose s + s = 6, -2*t + 4*s + 166 = f. Is t a multiple of 24?
False
Let p = -11 - -6. Let h = 13 + p. Does 4 divide h?
True
Suppose 128 = k + 68. Is k a multiple of 5?
True
Let b be (-3)/3*(-1 + 1). Let w(r) = 8 + r**2 + r**2 + 11*r + b*r**2. Is 12 a factor of w(-7)?
False
Let s = 12 - 7. Suppose 0 = -s*y + 5*q - 10, -5*y - 3*q = -0*y - 30. Let d(k) = 5*k + 3. Is d(y) a multiple of 9?
True
Let o = -9 - -15. Let z be (-3 - 0) + o + -1. Suppose 5*u + z*i - 101 = 0, -4*i = u - 8 - 5. Does 21 divide u?
True
Let t be (5 + -3)/((-2)/4). Does 9 divide ((-27)/(-2))/((-3)/t)?
True
Suppose 3*n - 6*n + 66 = 3*d, 2*n + 4 = 0. Is 3 a factor of d?
True
Let b = -8 + 13. Suppose -345 = -3*i + 3*p, -b*i = -0*i - p - 595. Suppose 0*v + 5*v = i. Is 9 a factor of v?
False
Let g(i) = i**3 + 4*i**2 - 6*i. Let k be g(-5). Suppose -w + 2*p = 20, 0 = k*w - 5*p + 134 - 9. Is 5 a factor of (1/(-2))/(3/w)?
True
Let q(d) = 13*d + 1. Let x be q(7). Suppose 390 = 5*u - 2*u. Let l = u - x. Is 19 a factor of l?
True
Let u = 18 + -2. Is 8 a factor of u?
True
Is 113 - ((0 - 0) + -2) a multiple of 9?
False
Suppose f - 189 = -5*y, -y - y + f = -77. Is y a multiple of 5?
False
Suppose -416 - 52 = -13*u. Is u a multiple of 25?
False
Let s(h) = -h**3 + 3*h**2 + h - 1. Let b be 5/3 + 1/3. Let q be s(b). Suppose -q*n = 4*c - 149, -2*n - 10 = -4*n. Is 9 a factor of c?
False
Suppose -2*z = -2*y + 138, -2*y + 5*z - 365 = -7*y. Let a = 23 - -18. Let g = y - a. Does 12 divide g?
False
Let o = -169 + 116. Let a = o - -80. Does 23 divide a?
False
Let w = 4 - 5. Let k be (1 - w)*(-46)/4. Let h = k - -33. Is h a multiple of 7?
False
Let w(v) be the second derivative of -v**4/12 - 11*v**3/6 - 2*v**2 + 3*v. Is w(-8) a multiple of 8?
False
Let r(k) = -k**3 + 4*k - 4. Is r(-4) a multiple of 20?
False
Let z(s) = 3*s - 1. Suppose -3*u - 14 = 5*l, 16 = -2*u - 3*l - 2*l. Let d(f) = -f**3 + 5*f**2 - 3*f + 3. Let m be d(u). Is 13 a factor of z(m)?
True
Does 15 divide (15/2)/(13/52)?
True
Let q be 4/18 - 34/(-9). Suppose -2*k + 7 = x - 0*x, -48 = -4*x - q*k. Does 17 divide x?
True
Suppose -m = -0*w + 5*w + 2, 3*m - 4*w = 13. Suppose -45 = m*x - 3*f, -6*x + x + 4*f = 70. Is ((-8)/5)/(4/x) even?
True
Suppose -6*b - 336 = -5*f - 4*b, -5*b = -2*f + 126. Does 17 divide f?
True
Let w(t) = -2*t. Let r be w(-2). Let b be 2/(-3)*(-42)/r. Suppose 0 = q - 0 - b. Is q a multiple of 3?
False
Let b(t) = 3*t**2 - 3*t + 1. Let o be b(2). Suppose -3*y = -3*m - 9, 0 = 5*y - 3*m - m - 14. Does 2 divide 19/o + y/7?
False
Let l(v) = 8*v**3 - 2*v**2 + v. Let d(i) = i**2 - 3*i + 3. Let z be d(3). Suppose -w = -z*b - 13, -2*b + 3*b = -4. Is 3 a factor of l(w)?
False
Suppose 0 = 3*i + 2*p - 58, -2*i + p + 43 = i. Does 8 divide i?
True
Suppose 0 = -f + y + 2, 4 - 6 = 2*f + y