 - 22. Let c be z(8). Let r = c + -1. Does 2 divide r?
False
Let o(m) = 8*m - 20. Suppose 0 = -0*z + 2*z - 12. Is 14 a factor of o(z)?
True
Is 56 a factor of (2/(-14))/(31/(-194866))?
False
Suppose -4*r + 28 = -4*z, -2*z - r + 10 = 3*r. Does 11 divide ((-22)/z)/(5/60)?
True
Let v = 911 + -1537. Does 15 divide v/(-8) + 15/20?
False
Let p(h) be the first derivative of h**2/2 + 50*h + 21. Does 7 divide p(-5)?
False
Let j = -31 + 941. Is j a multiple of 14?
True
Suppose -16 = 16*h - 80. Suppose -497 = -3*c + 4*b + 79, -h*c + 5*b + 768 = 0. Is c a multiple of 12?
True
Let y = -1115 - -1148. Is y a multiple of 11?
True
Let p be 20/130 + (-3885)/(-13). Let b = p - 196. Is 32 a factor of b?
False
Let t be (6/(-4))/((-4)/(-12))*-10. Suppose -2*r + 55 + t = 0. Is r a multiple of 25?
True
Suppose 0 = 16*p - 18*p + 4. Suppose -r + 185 = -4*q, -3*r - p*q + 480 = q. Is 24 a factor of r?
False
Suppose 8*w + 75 + 5 = 0. Is (-484)/w - -2 - (-24)/(-60) a multiple of 25?
True
Suppose 3*x + 30 + 56 = -5*u, -4*x = 8. Let i = 29 + u. Suppose -1 + i = p. Is 12 a factor of p?
True
Let m = 195 - 119. Let n = m + 14. Does 15 divide n?
True
Let z be -58 + (-2 - -2)/(3/(-3)). Does 15 divide (-7)/(-3) - (-12)/(-36) - z?
True
Let w(x) = -3*x**2 + 7*x**2 - 1 + 5 + 5*x + 8. Is 14 a factor of w(-4)?
True
Let j = -877 - -1274. Does 25 divide j?
False
Suppose -11*u - 326 = -3*k - 6*u, -4*k + 5*u = -443. Is k a multiple of 13?
True
Let i = -1 - -3. Let o be 63/8 - 2/(-16). Suppose -o - 4 = -i*z. Is z even?
True
Let u = -30 + 26. Let t be -37 - (-4 + 16)/u. Let l = t - -64. Is l a multiple of 8?
False
Let m(w) = w**2 - 3. Let l be m(3). Let a be l/(-3 + 8 + -3). Suppose 2*v - a*g = g + 72, 4*v = g + 165. Is v a multiple of 21?
True
Let c(j) = 2*j + 30. Let p be c(-13). Suppose -5*d = -5*y + 220, -p*y + d = 2*d - 191. Does 7 divide y?
False
Does 15 divide (-1 - 2167/(-9)) + 8/36?
True
Let q = 0 + 3. Suppose 0*a + u - 42 = -q*a, 5*a = -4*u + 70. Does 4 divide a?
False
Suppose -30 = 3*p - 0*p. Let t be 1/2 + (-15)/p. Suppose 88 + 30 = t*s. Is s a multiple of 9?
False
Let j(i) = i**2 - 2*i + 152. Let u be j(0). Let p = u - 97. Is p a multiple of 11?
True
Let f = -33 - -13. Is 8 a factor of ((-16)/(-20) + -2)*f?
True
Let c(q) = q**3 - 11*q**2 + 11*q - 7. Let k be c(10). Suppose -10 = -5*v, k*x - x - v = -98. Is 19 a factor of x/80 - 123/(-5)?
False
Let v = 2274 - 2208. Does 14 divide v?
False
Let l(s) = -13*s + 8. Is 2 a factor of l(-2)?
True
Let h = -3436 + 4966. Is h a multiple of 30?
True
Let n(i) = -i**3 - 13*i**2 - 17*i - 5. Let z(h) be the second derivative of h**5/20 + h**4/3 + 7*h**3/6 + 10*h. Let c be z(-3). Is 11 a factor of n(c)?
True
Let x(a) = -172*a - 4. Let m be x(-1). Let r = m + -120. Is 8 a factor of r?
True
Let q(o) = o**3 + 12*o**2 - 27*o - 22. Is 19 a factor of q(-10)?
False
Suppose -81 = -8*y + 5*y. Suppose -3 = -2*t + y. Is 2 a factor of t?
False
Let p(q) = -q**3 - 7*q**2 + 8*q + 2. Let f be p(-9). Suppose -10*i + 11*i = f. Does 23 divide i?
True
Let q(d) = 3*d + 204. Let w be q(0). Suppose -4*v = 4*j - w, 0 = 5*j - 2*v - v - 247. Suppose -3*g = 2*x - j, 5*g - 2*g = -x + 52. Is 9 a factor of g?
True
Suppose -g - 204 = -4*g. Let m = -33 + g. Suppose 40 = 5*l - m. Does 14 divide l?
False
Let s(j) = j**3 - 9*j**2 + 2. Let t be s(9). Let u(g) = -g**3 + 4*g**2 - g - 1. Is u(t) a multiple of 3?
False
Let y(s) = -s**3 - 10*s**2 + 9*s + 11. Suppose -j - 60 = 5*b - 0*j, -5*b + 2*j - 45 = 0. Does 2 divide y(b)?
False
Let h be 132/(-28) + 6/(-21). Let k(z) = -35*z - 46. Is 11 a factor of k(h)?
False
Suppose 4*l - 28*l = -8208. Is l a multiple of 15?
False
Let i = 2025 + -1443. Is i a multiple of 52?
False
Let m(l) = l**3 + 15*l**2 - l - 12. Let u = 2 + -17. Is m(u) a multiple of 3?
True
Let c(r) = 2*r**2 - 34*r + 192. Is 26 a factor of c(-19)?
True
Suppose 15 = 8*c - 3*c. Suppose -c*z = -p + 29, 3*z + 57 = 7*p - 4*p. Suppose 4*m - p = 18. Is m a multiple of 4?
True
Let c be ((-14)/3)/(4/(-72)). Let v(h) = -h**3 + 14*h**2 - 12*h - 13. Let m be v(13). Suppose 2*t - c = -m*t. Is 21 a factor of t?
True
Suppose 0 = 3*z - 4*z - 2. Let s(p) be the third derivative of -13*p**4/8 - 3*p**3/2 - p**2. Is 21 a factor of s(z)?
False
Let y = -19 + 3. Let f = y - -20. Suppose j = -f*j + 265. Is 8 a factor of j?
False
Let v be ((-2)/(-4))/(11/154). Suppose 2*o + v = 2*g - 9, -2*o = -g + 5. Is 11 a factor of g?
True
Let q(f) be the first derivative of -f**4/4 - 5*f**3/3 + 9*f**2/2 - 6*f - 5. Let u be q(-7). Is (u/(-2))/(3/(-6)) a multiple of 8?
False
Let y be (-4)/(-2)*(3/1)/(-6). Let d(m) = 120*m**2 - m - 1. Is d(y) a multiple of 30?
True
Suppose 0 = 37*o - 1088 - 947. Does 55 divide o?
True
Is 3 a factor of (4/(60/(-9)))/(7/(-3710))?
True
Let g = 18 + -18. Suppose n + g*n + 34 = m, 5*n = -2*m + 61. Does 11 divide m?
True
Let r(c) = 18*c**3 + 3*c - 2. Let h be r(1). Let b = -15 + h. Is 7 a factor of (18/b - 0)*2?
False
Let y = -302 - -508. Let s = y + -101. Is s a multiple of 35?
True
Let u(i) = -i**3 + 14*i**2 - 24*i + 7. Let x be u(12). Let j(c) = c**2 - 3*c + 7. Does 5 divide j(x)?
True
Let u = 343 + -183. Suppose -22*w = -30*w + u. Is 5 a factor of w?
True
Let f = 18 - 158. Let v = 66 + -120. Let c = v - f. Is c a multiple of 22?
False
Suppose 79*k - 8822 = 658. Does 5 divide k?
True
Let n = 31 - 26. Suppose 2*l + 410 = n*y, 2*l - 430 = -5*y - 0*y. Let c = y - 40. Does 11 divide c?
True
Let h(x) = -4*x + 3. Let k be h(-9). Suppose -17 - k = -2*i. Let t = i - 6. Is t a multiple of 13?
False
Let j = -104 + 220. Suppose 0 = 4*r - 4*x - j, -4*r - 7*x = -3*x - 148. Does 3 divide r?
True
Let b(a) = -a**3 + 3*a**2 - 2*a. Let n be b(2). Suppose n = -15*j + 6*j + 1233. Is 27 a factor of j?
False
Let f(l) = -l**3 + 3*l**2 + 6*l - 2. Let g be f(4). Suppose -33 = g*w - 7*w. Suppose w + 37 = 5*v. Is v a multiple of 7?
True
Let u(a) = a + 8. Let l be u(-5). Suppose -h + 4 = l*h. Is -22*4/(-8)*h a multiple of 11?
True
Suppose 0*s + 38 = -5*j + 4*s, -3*s + 6 = 0. Let v(p) be the third derivative of -5*p**4/24 - 7*p**3/3 - 2*p**2 + 38. Is 5 a factor of v(j)?
False
Let x be (0 - -1)/(2/2). Let u be 12*-8*x/(-6). Does 18 divide (u/(-20))/((-2)/135)?
True
Suppose -3*v - g = 20, -2*v + 4*g + 15 = -g. Is 16 a factor of (-2)/v - 78/(-5)?
True
Suppose 6 - 8 = v. Let w be 4 + v - 1/(-1). Is w - ((-3 - -4) + -26) a multiple of 14?
True
Suppose 38*q - 34*q - 428 = 0. Let a = 187 - q. Does 10 divide a?
True
Suppose -4*o + 174 = -146. Suppose 3*m = 5*i - 505 - o, i = 0. Let p = -120 - m. Is p a multiple of 15?
True
Let s be 384*((-18)/(-4) - 4). Suppose -5*z = -s - 33. Does 12 divide z?
False
Let z = -103 + -2. Let l = -255 + 406. Let r = z + l. Is r a multiple of 14?
False
Let h be 8/28 - (-38)/14. Suppose -h*i = 5*a + 7, 3 = -4*i - 4*a + 7. Let w(p) = 2*p**2 - 5*p + 9. Does 13 divide w(i)?
False
Suppose -i = -13*i + 9264. Does 21 divide i?
False
Suppose 3*g - 7 - 11 = 0. Let l = 0 + g. Suppose -2*p + 2*a + 16 = 0, 3*p = a - l*a + 16. Does 4 divide p?
False
Let g(r) = -21*r - 15. Is 4 a factor of g(-11)?
True
Let t be 56*((-72)/28)/(-3). Suppose 6*v = 2*v - t. Does 6 divide (54/v)/((-1)/2)?
False
Let j = 26 - 28. Let d = j + 15. Is (-2 - d)*12/(-9) a multiple of 10?
True
Let s be 4452/3 - (-2 - 3). Suppose 0 = -6*i + 149 + s. Does 40 divide i?
False
Let l(m) = m**2 + 14*m - 10. Let t be l(-13). Let f be t/2*24/(-12). Suppose -2*d = w - 2*w - f, -w + 4 = d. Does 3 divide d?
True
Let a = -36 + 35. Does 7 divide ((-6)/5)/(a/20*1)?
False
Let d = -472 + 749. Is 7 a factor of d?
False
Suppose -3*z = 5 - 20. Suppose 0*y - z*y = -4*v - 495, -5*y + 500 = -3*v. Suppose s - 5*b - y = -3*s, -76 = -4*s - 4*b. Is 11 a factor of s?
True
Suppose 0 = -0*q - 2*q + 40. Suppose 3*b - q = -a, -b - 2*a + 2 = 3*a. Suppose -3*h - b = 4*z - 0*z, 10 = -2*h. Is 2 a factor of z?
True
Suppose -8 = -2*b, n + 3*n + 5*b = -44. Let o(d) = -d**2 - 18*d + 2. Is 17 a factor of o(n)?
True
Let c = -765 + 1227. Is c a multiple of 14?
True
Let s(o) = -o**2 - 27*o + 10. Suppose 54 = -4*v - 2*j - 28, -104 = 5*v + 4*j. Is s(v) a multiple of 15?
True
Let c be 7/14*(2 - 4). Let i = c + 6. Is i even?
False
Let h be 3/(-1) - -7 - -9. Suppose h*n - 11*n - 44 = 0. Does 16 divide n?
False
Let q = -1130 - -1662. Suppose -2*s + q = -0*s. Is 19 a factor of s?
