. Is 7 a factor of a?
True
Suppose 0 = 5*k - 5*t - 385, -3*t = 2*k + 17 - 146. Suppose -2*d - d = -k. Does 8 divide d?
True
Suppose 5*n + 5*i - 10 = 0, 0*n + 5*i = n + 16. Let o = n + 11. Let b = -6 + o. Is 3 a factor of b?
False
Let c(b) = b**3 + 4*b**2 - 5*b + 1. Let z be c(-4). Suppose q + z = v, q + 0*q = -4*v + 69. Is v a multiple of 9?
True
Let q(r) = -r**3 - 1. Suppose -2*g + 2 = -3*v, 3*v = 4*g - 0*g + 2. Does 4 divide q(v)?
False
Let t(b) = 7*b**2 + 2*b + 8. Is 23 a factor of t(-5)?
False
Suppose -5*w = 5*n - 65, 3*w + 0*w = -5*n + 41. Suppose q + 4*g = 27, 2*g + w = 5*g. Does 11 divide q?
True
Does 35 divide (-4982)/(-18) + 14/63 - -3?
True
Let r(n) be the first derivative of n**4 + n**3/3 + n**2/2 - n - 4. Is r(1) a multiple of 5?
True
Suppose 0 = -2*b - 3*i + 14, 2*b + 2*i - 9 = b. Suppose h - 1 = b. Is -10*(-3)/15*h a multiple of 2?
True
Let r(t) = -2*t**3 - 16*t**2 + 6*t + 11. Let g(p) = -p**3 - 8*p**2 + 3*p + 5. Let l(d) = 11*g(d) - 6*r(d). Is 4 a factor of l(-8)?
False
Suppose 4*d = 2*d + 4. Suppose -5*j + 10 = -0*j - 3*h, 0 = d*h - 10. Suppose v - 23 = 4*r - 134, -5*r - j*v = -120. Is 11 a factor of r?
False
Let o be 6/9*9*1. Is -24*(o/9 - 2) a multiple of 17?
False
Suppose a + b - 6*b - 31 = 0, 3*a + 5*b - 153 = 0. Let p = 102 - a. Does 14 divide p?
True
Let k = 58 - -10. Is k a multiple of 34?
True
Let q(f) be the third derivative of f**6/60 - f**5/20 - f**4/6 + f**3/6 + 12*f**2. Suppose -3*b + 5*i + 19 = 0, -i = -0*b - 5*b + 17. Does 6 divide q(b)?
False
Let z(i) = i**2 - 8*i - 2. Let g be z(7). Let r = -9 - g. Suppose r = -j - 4*j + 200. Does 20 divide j?
True
Suppose 3*y - 104 = -2*m, -2*y + 6*y - 120 = 2*m. Suppose 87 = -5*i - 5*k + y, 0 = -3*k + 12. Is 8 a factor of (-23)/(-2) - i/10?
False
Let l(h) = -4*h - 2*h**3 + 5*h + 3*h**2 + 2*h - 8*h**2. Is 12 a factor of l(-4)?
True
Let l be -2 + 2 + (0 - -2). Let j = 50 + l. Suppose 5*d + 55 = 5*i, -5*i + 3*d + 3 + j = 0. Does 11 divide i?
True
Let u(l) = -l**2 - 29*l + 65. Is 11 a factor of u(-25)?
True
Let d(x) = 15*x + 1. Let a be (-6)/(-3) - (-2 + -1). Does 21 divide d(a)?
False
Suppose 5*w + 12 = -2*a, -2*w = -2*a - 4*w. Suppose -37 = -6*n + 3*n - 4*f, 48 = a*n + 4*f. Let i = n - 8. Is 2 a factor of i?
False
Let s = -15 + 52. Suppose 3*x - 244 = -x. Let c = x - s. Is c a multiple of 10?
False
Suppose 2*m - 3*r + 64 = 0, -70 = -0*m + 3*m + 2*r. Let q be (-420)/m + 2/(-13). Let f = 10 + q. Does 16 divide f?
False
Let f = 11 - 18. Let q = 79 + f. Is 15 a factor of q?
False
Let z(t) = 3*t + 5. Let f(d) = d**2 - 1. Let s(q) = 4*f(q) + z(q). Does 14 divide s(-3)?
True
Let t = 64 - 7. Is t a multiple of 33?
False
Let g(c) = -4*c - 3. Let v be g(-2). Suppose 232 = v*o + 62. Suppose 9 = -5*s + o. Does 2 divide s?
False
Let z(h) = h**3 - 3*h + 1. Let l be z(2). Suppose -l*m - 5*b = -30, -3 = 5*b - 4*b. Is m a multiple of 13?
False
Let v(m) = 3 + 14 + 11 + 1 + m. Does 8 divide v(0)?
False
Let j(h) = -3*h - 2. Let o be 2 + (4 - (-2 + 2)). Let n(z) = z**3 - 7*z**2 + 5*z + 1. Let i be n(o). Is 5 a factor of j(i)?
False
Let w = -8 + 3. Let m(z) = 8*z - 4. Let k be m(-3). Let c = w - k. Is 8 a factor of c?
False
Let v(c) = c**3 - 3*c**2 - 5. Let f be v(4). Let t = 19 - f. Is t a multiple of 4?
True
Let i = -18 + 8. Let r = -36 - -56. Is 15 a factor of 308/r + 4/i?
True
Let y be (0 + -4)*(-1)/2. Is 20 a factor of y + 19/2*4?
True
Let a = 2 - -41. Is a a multiple of 17?
False
Suppose 0 = -24*w + 23*w + 75. Is w a multiple of 9?
False
Let i = 115 - 79. Suppose -i = -0*w - 2*w. Does 7 divide w?
False
Let k be (-2 + 15/12)*4. Let x(a) = -3*a - 7. Is 2 a factor of x(k)?
True
Let q(g) = 6*g - 6. Is q(6) a multiple of 6?
True
Let g(j) = 29*j + 27. Is 10 a factor of g(7)?
True
Let f be (-2)/9 + 130/18. Suppose 2*v - f*v = -125. Let h = v + -16. Is 9 a factor of h?
True
Suppose g = o + 2, 2*g - 4 = 3*o - 2. Suppose g*q + 16 = 0, -y - 4*q - q + 55 = 0. Suppose -5*r = 3*a - y, -r = -0*a - 2*a - 15. Does 10 divide r?
False
Let u(g) be the third derivative of g**5/60 + 4*g**2. Is 12 a factor of u(4)?
False
Let i(h) be the first derivative of -h**3/3 - 7*h**2/2 - 8*h - 3. Let g be i(-6). Is 9 a factor of (2/(-3))/(g/27)?
True
Let a = 174 - 47. Is a a multiple of 11?
False
Suppose -2*h + 3 = -3. Suppose -h*i + 4*x - 35 = 0, i - 1 = -4*x - 2. Does 21 divide 12/54 - 547/i?
False
Suppose -65 = -4*x + 123. Is x a multiple of 19?
False
Let g(u) = 11*u**3 - 3*u**2 + 1. Does 11 divide g(2)?
True
Suppose 0 = -6*c - 5*c + 792. Does 8 divide c?
True
Let g(z) = z**2 - 6*z - 20. Is g(16) a multiple of 10?
True
Suppose -u - 3*a = -60, 5*a + 0*a - 280 = -5*u. Is u a multiple of 9?
True
Suppose -2*f + 93 = -3*o, 0 = -f - 5*o + 22 + 18. Is 45 a factor of f?
True
Let c = 102 - 47. Does 17 divide c?
False
Let k(x) = 8*x**3 + 6*x**2 - 2*x + 4. Let d(u) = 7*u**3 + 5*u**2 - 2*u + 3. Let w(s) = -5*d(s) + 4*k(s). Let q be w(2). Let p = 45 + q. Does 11 divide p?
True
Is 5 a factor of 4/(-6) - (-188)/12?
True
Suppose 3*f - 2*f = 6. Let h = -6 + f. Suppose h*n + 19 = n. Is n a multiple of 11?
False
Let k(y) = -y**2 - 11*y + 6. Does 6 divide k(-9)?
True
Let j(v) = 2*v**2 + 2*v. Let p be j(-2). Suppose -o - 61 = 3*u, 21 = 2*o - 3*o + 5*u. Is 4 a factor of p/10 + o/(-10)?
False
Suppose 3*p + 134 + 151 = -5*q, -142 = 3*q - 4*p. Is (q/(-3))/(-1 - -3) a multiple of 4?
False
Is 29 a factor of (-4)/14 + 1640/56?
True
Suppose -445 = -4*r - 109. Suppose 7*s - r = 3*s - 2*q, -2*s = -5*q - 42. Is 21 a factor of s?
True
Suppose z - 3*g = -12, 4*g = 5*z + g. Suppose -7 = 5*t + z. Is 3 a factor of (1/t)/((-7)/112)?
False
Let s(l) = -l**2 - 4*l + 2. Let i be s(-3). Let y(u) = -u**3 + 5*u**2 + 4*u - 6. Is 14 a factor of y(i)?
True
Let n(x) = x**3 + 4*x**2 - 2*x. Let r be n(-4). Suppose -3*o + 9 = v - 9, -2*o - 28 = -v. Suppose -r + v = j. Is j a multiple of 8?
True
Suppose -3*x - 5 = -4*x. Suppose 2 = x*l - 8. Suppose -5*u + 71 = v, -v = -5*u + l*u + 41. Does 7 divide u?
True
Let y(x) = -1 - x + x + 3*x. Is y(4) a multiple of 11?
True
Let s(k) = -k**2 + 2*k + 1. Let u be s(2). Let q(m) = 4*m. Let d be q(u). Suppose -3*z = -3*a - 6, -a - 3*a + d = 0. Does 3 divide z?
True
Let c(b) = 8*b + 4. Is c(7) a multiple of 15?
True
Let i = 4 + -4. Let a be i + 1 + (-3 - -4). Let x = a + 9. Does 3 divide x?
False
Does 8 divide (4 - 3) + 0 + 58 + -3?
True
Let n be 3*3/27*9. Suppose -2 = h - 7, -3*h + 81 = n*f. Is f a multiple of 11?
True
Let k(c) = c + 54. Is 18 a factor of k(-18)?
True
Let c be -4 - 24/9*-3. Let o = -14 - -36. Suppose -o + c = -3*q. Does 5 divide q?
False
Suppose -3*s = 4 - 31. Is (-1)/(-1)*2 + s a multiple of 2?
False
Let n(h) = 2*h - 1. Let z be n(3). Let w(d) = -d**3 + 7*d**2 - 2*d - 5. Let m be w(6). Suppose 3*g = z + m. Does 4 divide g?
True
Suppose -74 = -5*a + 21. Is 19 a factor of a?
True
Let r(m) = 6 + 2*m - m**2 - 2*m + m. Is 4 a factor of r(0)?
False
Let y(i) = -7*i - 8. Is y(-9) a multiple of 11?
True
Let c(t) = 9 - 9 - 4*t. Let a be c(-4). Suppose -2*x - 2*x + a = 0. Does 4 divide x?
True
Let r(z) = z**2 + 5*z - 41. Is r(-14) a multiple of 25?
False
Suppose g = -k + 1 + 5, 3*k + 4*g = 15. Does 9 divide k?
True
Let a = -19 + 33. Is a a multiple of 7?
True
Let s(f) = 3*f - 5. Is 7 a factor of s(11)?
True
Suppose -3*i = -9, 0*w - 2*w + 90 = -2*i. Is 9 a factor of w?
False
Let k be ((-2)/2 - 9)/(-2). Let t be ((-4)/(-3))/(k/30). Is -2*(-1)/(-2) + t a multiple of 4?
False
Let p(s) = -s + 28. Is p(0) a multiple of 28?
True
Suppose -4*c + c + 84 = 0. Suppose 1 = -5*n + 11. Suppose n*h + 3*x - 20 = 0, -c = -3*h + 2*h + 3*x. Does 8 divide h?
True
Suppose -4*i + 5*z + 91 + 76 = 0, -2*i - 5*z + 91 = 0. Is 18 a factor of i?
False
Let y be (24/(-28))/((-1)/7). Let i = -4 + y. Suppose 0*k + i*k + c - 29 = 0, 5*k = -5*c + 85. Is 12 a factor of k?
True
Let m = -25 + 43. Does 10 divide (-1 - m)*(-4 + 3)?
False
Let w = -35 + 67. Is w a multiple of 13?
False
Let v = 0 - -11. Does 4 divide v?
False
Suppose y + 2*q + 0*q = -7, 0 = -3*y - q + 4. Suppose 2*p = -n + 5*p + 5, 5*n + y*p = 25. Is n a multiple of 5?
True
Let w = -25 + 44. Is 5 a factor of w?
False
Suppose -672 = -5*g - 4*v, -8*v = -4*g - 6*v + 548. Is 17 a factor of g?
True
Suppose -5*j + 76 = -9. Is j a multiple of 5?
False
Let t = -444 + 633. Is 11 a factor of t?
False
Let t be (-1