r even?
False
Suppose 9*m = 10*m - 66. Suppose -n - 9 = -m. Is 19 a factor of n?
True
Let r(c) = 2*c**2 - 22*c + 40. Is 20 a factor of r(10)?
True
Is 5 a factor of 2*4/(-8)*-25?
True
Suppose 0 = 5*f + 4*d - 3*d - 742, 0 = 4*d - 8. Is 8 a factor of f?
False
Let t(q) = -q**2 - 7*q + 1. Let z be t(-6). Suppose c - 4 = z. Is 11 a factor of c?
True
Let x(h) = 239*h**2 + 3*h + 4. Is x(-1) a multiple of 24?
True
Let k(r) be the third derivative of -r**5/60 + r**4/24 + 15*r**3/2 + 3*r**2. Is 14 a factor of k(0)?
False
Suppose -2*q - 2*i - i = 37, 0 = -i + 3. Let r = -81 + 34. Let s = q - r. Does 24 divide s?
True
Suppose -739 = 5*k + 741. Is 10 a factor of k/(-10) - (-4)/10?
True
Suppose -3*n + 48 = 9. Is n a multiple of 4?
False
Suppose 2*d = 5*n - 0*n - 875, 5*n = -4*d + 875. Is 35 a factor of n?
True
Let v(i) = i**3 + 20*i**2 - 14*i + 65. Does 15 divide v(-20)?
True
Suppose 0 = 6*m - 46 - 8. Is m a multiple of 9?
True
Suppose -4*a - 30 = -5*d, -a + 17 = d - 4*a. Is 1/d*(-48)/(-1) a multiple of 8?
True
Suppose -4*y + 3*g + 114 = 0, 5*y + 7*g = 4*g + 129. Suppose -3 - 1 = 2*k - 3*f, -5*k - f = y. Let h = 15 + k. Does 9 divide h?
False
Suppose 0 = n + 3*u - 6, -3 - 7 = -n - 5*u. Suppose c + 29 = d - 8, n = d + c - 33. Does 12 divide d?
False
Is 99 + 0*((-4)/12 - 0) a multiple of 11?
True
Suppose 0 = -4*q + 18 + 22. Suppose -5*t - q = 0, -47 = -2*y + t + 31. Does 19 divide y?
True
Is ((-510)/119)/(6/(-28)) a multiple of 19?
False
Suppose 0 = -4*y + 1 - 25. Let q be (-344)/(-6) + y/(-9). Suppose 4*m - f - 54 = 0, -4*m + 2*f + f = -q. Does 13 divide m?
True
Let n(a) = -a**3 + 4*a**2 + 2*a + 4. Let l be n(4). Suppose -2*o - 3*d + 7 = -l, 5*o = -3*d + 43. Does 3 divide o?
False
Let d = -106 - -234. Does 16 divide d?
True
Suppose 2*v = -v - 15, r - 14 = v. Is 3 a factor of r?
True
Let r(d) = -d**2 - 9*d - 6. Let s = -15 + 8. Is r(s) a multiple of 8?
True
Suppose -3*v = -v - 10. Suppose 0 = -v*i - 4*p + 253, 4*i + i - 3*p = 274. Is 21 a factor of i?
False
Suppose -5*u - 4 - 4 = 4*v, -u = 3*v - 5. Let z be u*((-1 - 2) + 2). Suppose -2*c + z*a = -8, -8 = -5*c - a + 67. Does 13 divide c?
False
Suppose 0 = 2*w + 3*w, -5*w + 18 = 2*q. Suppose 5*n = 3*y + 20 + 66, q = 3*y. Is n a multiple of 6?
False
Let m = 12 - 14. Let r = m - -25. Is 19 a factor of r?
False
Let t(c) = -6*c**2 - 2*c - 4. Let u(f) = -3*f**2 - f - 2. Let l(o) = -4*t(o) + 7*u(o). Does 16 divide l(3)?
True
Suppose 0 = 5*v - 3*s - 13, 0*v - 6 = -v + 4*s. Suppose 0 = -2*u + 4*a - v, 3*a = -0 + 9. Is u a multiple of 3?
False
Let z(a) be the third derivative of a**7/504 + a**6/240 - a**5/40 - a**4/24 - 3*a**2. Let t(q) be the second derivative of z(q). Is 17 a factor of t(2)?
False
Suppose 0*u - 3*v = -5*u + 862, 2*u - 342 = 4*v. Is u a multiple of 13?
False
Suppose 3*z - 44 = -f + 32, -2*z + 47 = -3*f. Is z a multiple of 7?
False
Suppose 0 = -4*n - 4*w, -3*n + 5*w + 16 = -0*n. Let q be 148/18 + n/(-9). Let k = 16 - q. Is k a multiple of 8?
True
Let d be (-56)/(-2) + (6 - 3). Let p be (-58)/6 + (-4)/(-6). Let k = p + d. Is 9 a factor of k?
False
Suppose 2*s = 0, 2*s = m - 0 - 4. Let w(c) = 3 + 11*c - 5 + m. Does 26 divide w(3)?
False
Suppose -u + 5*u = 232. Is u a multiple of 29?
True
Suppose w + w = 5*v - 40, 55 = 3*v + 5*w. Let s = 5 - v. Let q = s - -27. Does 13 divide q?
False
Let s be (7 - 1)*(-1)/(-2). Suppose 4*v - s = 3*v. Suppose -2*n + 72 = 2*h, 2*h + 79 = 2*n - v*h. Is 15 a factor of n?
False
Suppose -11*u + 252 = -5*u. Is 10 a factor of u?
False
Let s(p) be the second derivative of -5*p**3/3 - p**2/2 - 4*p. Let j be s(-1). Is (0 + j)*44/12 a multiple of 14?
False
Let c(u) = 6 + 0 - 7 - u + 2*u**2. Suppose 2*z + 15 = 7*z. Is 7 a factor of c(z)?
True
Suppose -5*z + 3 = -3*a, 5*z - a - 4 = 7. Suppose 0 = h - z + 1. Suppose -3*i = h*i - 130. Is i a multiple of 20?
False
Let c(b) be the first derivative of -b**4/4 + 8*b**3/3 - 5*b**2/2 - 8*b - 1. Is 17 a factor of c(6)?
True
Suppose k + 3*k - 8 = 0. Is -2*(21/(-6) + k) even?
False
Let j = -158 - -489. Is 50 a factor of j?
False
Let n = 26 + -5. Suppose o + 5*u = n, -o - 33 = -4*o - 5*u. Is 5 a factor of o?
False
Suppose 5*y + 28 = 3*m, -3*m + 5 = -3*y - 7. Let s be (30/y)/(12/32). Does 9 divide ((-28)/(-10))/((-2)/s)?
False
Suppose -5*l - 5 = 0, -4*j - 4*l + 21 = -11. Let g be (15/j - 2)*-9. Suppose -g*c = -2*c - 3. Is c a multiple of 3?
True
Suppose -d + p = 4, 4*d + 24 = 2*p - 0. Does 26 divide (d/(-10))/((-18)/(-585))?
True
Suppose 0 = 3*s - b - 194, 3 = 3*b + 18. Does 7 divide s?
True
Let g be 2*((-316)/(-8) - -4). Let v = g - 52. Is v a multiple of 7?
True
Suppose 7*c - 3*c = 528. Is 18 a factor of c?
False
Suppose -2*t = 4*p - 48, t = 5*t + 5*p - 93. Is t a multiple of 8?
False
Let n(v) = v**2 - 2*v. Suppose 114 = 4*p - 5*d, 3*p + d - 24 = 2*p. Suppose -p = -2*l + 4*m, -9 = -2*l + 3*m + 13. Is n(l) a multiple of 14?
False
Let p(z) = -z**3 - z**2 - z + 24. Let u(k) = k**2 + k. Let l(c) = c**2 - 3*c - 1. Let w be l(3). Let j be u(w). Is p(j) a multiple of 12?
True
Let q(y) = y**2 + 8*y + 2. Let o be q(-8). Let t = 2 + o. Is t a multiple of 4?
True
Suppose 4*y + 147 = 3*d, -5*d + 6*y = 5*y - 228. Is 8 a factor of d?
False
Suppose 3*z = z + 32. Suppose -7*m + 3*m = -z. Does 2 divide m?
True
Suppose -6 = -2*t + 12. Suppose 4*q - 15 = t. Let a(y) = -y**3 + 5*y**2 + 9*y - 2. Does 8 divide a(q)?
True
Let o(f) = -f**2 - 5*f + 2. Let d be o(-5). Suppose -m - d*u + 12 = 0, 2*m = 3*m + 4*u - 20. Is m*(-24)/(1 - 4) a multiple of 16?
True
Suppose o + 99 = 2*o. Is o a multiple of 33?
True
Let o(b) = -b**2 - b + 6. Let t be o(-3). Suppose t = -4*h - 8, 30 = k + 3*h - 4. Is k a multiple of 10?
True
Suppose -m = 2*w - w - 29, 3*m + 5*w = 81. Is m a multiple of 11?
False
Let x(k) = -7*k**2 - 7*k - 6. Let i be x(-6). Let m = i + 338. Suppose 4*j + 18 = m. Does 13 divide j?
True
Does 16 divide (-2681)/(-21) + (4/(-6) - -1)?
True
Suppose 4*i - 5*q + 23 = 0, i + 2*q + 6 = 3*q. Let k(d) = -d**3 - 5*d**2 + 9*d - 10. Does 9 divide k(i)?
False
Let c be 4*1/4 - 2. Let i(x) = -15*x**3 - x. Is 10 a factor of i(c)?
False
Suppose 5*l - 2*l = 681. Is 33 a factor of l?
False
Suppose v - 3*v + 128 = 0. Suppose 0 = -7*i + 6*i + v. Is i a multiple of 20?
False
Let p be -4 - (-4 + 2 + -2). Suppose p = 3*j - 36 - 162. Is 31 a factor of j?
False
Let u(t) = -t**3 + 7*t**2 - 3*t + 3. Does 6 divide u(4)?
False
Let n(g) = g**3 - 4*g + 1. Let r be n(3). Let s = 24 - r. Does 7 divide s?
False
Suppose 4 + 8 = -2*r. Is 46/(-4)*36/r a multiple of 23?
True
Let u be (-1 + 2)/(1/(-3)). Let h be (-148)/16 - u/(-4). Is 7 a factor of (-61)/(-9) + h/(-45)?
True
Suppose -9 - 3 = -3*d + 3*f, -8 = 4*f. Suppose -2*y + 3*r + 11 = d*r, 2*y - 13 = -r. Is (-5 - -2)/(y/(-28)) a multiple of 7?
True
Let q be ((-6)/18)/((-2)/(-12)). Suppose u = -5*g - 27, -3*u = -g + 6 - 21. Let k = q - g. Does 4 divide k?
True
Let g(l) = 48*l + 1. Let t be g(1). Let a = -34 + t. Is 5 a factor of a?
True
Let d(w) = -w. Let r(t) = -9*t - 1. Let l(k) = -5*d(k) + r(k). Let m be l(-12). Let b = m + -28. Is b a multiple of 9?
False
Let l = -10 + 10. Suppose -3*s - 4*f = -38, l = -s - 0*s - f + 13. Does 5 divide s?
False
Suppose 27 + 56 = u. Is u a multiple of 22?
False
Let q(i) = -i**2 - 11*i - 12. Let a be q(-10). Is 17 - -3*a/6 a multiple of 9?
False
Suppose 7*c - 5*c = 0. Suppose c*l = -5*l + 210. Does 21 divide l?
True
Let w = 11 + 4. Let k = -7 + w. Suppose -d + k - 5 = 0. Is d a multiple of 2?
False
Let o(b) = 4*b**2 + b + 1. Is o(-2) a multiple of 15?
True
Suppose 0 = 4*b + 11 + 9. Let c(t) = 3*t**2 - 7*t - 7. Let s be c(b). Let k = -73 + s. Is k a multiple of 15?
True
Let h(q) = q**3 + q**2 - q + 27. Let w(n) = -4*n**3 + 2*n**2 + n. Let v be w(-1). Let b = -5 + v. Is 20 a factor of h(b)?
False
Let c = 37 + -13. Suppose 18 = 3*t + 3*l, 3*t + t = l + c. Suppose t*n - 35 = n. Does 7 divide n?
True
Let w(j) = 2*j**2 - 4*j + 3. Let o be w(2). Let i be 1/3*-3*-5*1. Suppose 0 = o*d - i - 4. Does 3 divide d?
True
Let w be 3/3*(-3)/(-1). Suppose -w*o + o - 4 = 0. Is 5 a factor of (0 - 5)/(1/o)?
True
Let f be (-3)/(-6) - (-62)/4. Suppose 2*i - f = -2*i. Suppose i*w = 8*w - 116. Is 17 a factor of w?
False
Let n be 3 - (3 - -1)/(-2). Let i = -7 + n. Is 6 a factor of ((-10)/(-25))/(i/(-30))?
True
Let p(b) be the second derivativ