ose 0 = o*q - 7 - 2. Does 2 divide q?
False
Suppose -6 = -2*x, 0*c = 5*c + x - 23. Suppose 3*a = -4*s - 2*a + 132, -c*s - 2*a = -120. Does 7 divide s?
True
Let g = -14 + 46. Suppose -3*v + 4 + g = 0. Is 3 a factor of v?
True
Let i be (2 - -764)*(-2)/2. Let n be 2/(-11) + i/22. Is 10 a factor of (-96)/(-10) + (-14)/n?
True
Let j = 88 + 7. Does 8 divide j?
False
Let y(v) = 18 - 7 + 5 + v + 18. Let c(t) = t + 4. Let l be c(-4). Does 12 divide y(l)?
False
Suppose 0 = -0*i + 3*i - 3, s = -5*i + 159. Suppose -5*k = 4 - s. Is 11 a factor of k?
False
Let j(p) = 4*p**2 - 2*p + 1. Let o be j(-2). Suppose -o = -3*n + 4*c, -5*n + 4*c + 20 + 23 = 0. Is 11 a factor of n?
True
Let g(m) = m**2 - 1. Let l(r) = 2*r**2 + 7*r - 3. Let x(s) = 3*g(s) - l(s). Let p be x(6). Let j = p - -17. Is j a multiple of 4?
False
Suppose -78 - 32 = -5*r. Is 11 a factor of r?
True
Suppose 5*l - 32 = -142. Let g be 0/(-1) - (l - 1). Suppose 3*a = 28 + g. Does 11 divide a?
False
Suppose -17 = 2*m - 5*w, m + 19 = 2*w - 3*w. Let q = 1 - m. Is 6 a factor of q?
False
Let r(i) = i**2 - 8*i. Let s be r(8). Let c = s + 20. Does 10 divide c?
True
Suppose 0 = 2*h - 5*h + 6. Let p = h - 11. Let d = 43 + p. Is d a multiple of 13?
False
Suppose 2*g = 5*g - 6. Let w = -16 + 15. Is g*(w + 18/4) a multiple of 4?
False
Suppose 0 = 4*c - 2*k - 6, k - 3 = -5*c + 1. Let o be (c - 6)*(-6)/15. Suppose -5*q - o = -177. Is 13 a factor of q?
False
Suppose -3*b = -3*m, 2*b + 4*m - 36 = -3*b. Suppose b*i - 84 = -5*o, 2*o - i - 55 = -11. Is o a multiple of 20?
True
Suppose 5*c - 16 = 5*o - 61, -5*o - 2*c + 17 = 0. Suppose 0 = -q + o + 5. Suppose 5*m = -4*l + 49, q = l - 0*m + 2*m. Is 16 a factor of l?
True
Let m = 110 + -62. Is m a multiple of 9?
False
Let s = 38 - 15. Suppose -f = -0*f - 5. Suppose -2*m + s = m - l, -10 = f*l. Is m a multiple of 7?
True
Suppose -5*v + 2*t - 38 = 0, 0 = -2*t + 6*t + 4. Is 5 a factor of 2/v - (-41)/4?
True
Let q(w) = w**2 - 3*w + 1. Let s be q(4). Suppose -n + s*n = 64. Is 15 a factor of n?
False
Let l be (-4)/(-2)*(-2)/(-4). Does 2 divide 5*((-2)/(-5))/l?
True
Let q(v) = 7*v + 2. Let c(h) = -2*h - 9. Let x be c(-8). Suppose -4*t + 15 = x. Is q(t) a multiple of 8?
True
Suppose 12 = 6*r - 2*r. Suppose a = -r*a + 396. Suppose 0 = -2*w - w + a. Does 18 divide w?
False
Let s be ((-42)/(-15))/((-3)/75). Let a(r) = r**3 - 3*r**2 - 2*r - 2. Let y be a(-3). Let o = y - s. Is 10 a factor of o?
True
Suppose 12*l + 126 = 15*l. Is 14 a factor of l?
True
Suppose -3*i - 27 + 66 = 0. Let x be (-2)/i - (-268)/52. Suppose x = -c - 4*f, f - 18 = -3*c + c. Is c a multiple of 5?
False
Let v(q) = q + 9. Let o be v(-7). Suppose -o*z - 5*h = -6 - 18, -5*z - h + 106 = 0. Is 6 a factor of z?
False
Suppose -3*y - 2*q + 7*q - 39 = 0, -q = 2*y + 13. Let c(d) = d**3 + 9*d**2 + 4*d + 10. Let v be c(y). Suppose 5*r - v = 2*r. Does 10 divide r?
False
Suppose -a - 8 = -5*a. Let y(b) = 7*b + 2. Is y(a) a multiple of 16?
True
Suppose v + 3*v = 28. Is 2 a factor of v?
False
Let b be (52/(-12))/((-2)/18). Let v = b + -6. Is v a multiple of 11?
True
Suppose -12 + 0 = -4*s. Let y = s - 6. Does 3 divide (-26)/(-4) - y/6?
False
Suppose 26 = -o - 5*f, 41 + 38 = -4*o + 5*f. Let t = o - -51. Is t a multiple of 10?
True
Suppose 4*k - 16 = -0*k. Suppose 6*s - 112 = k*s. Is 14 a factor of s?
True
Suppose -4*z + 4*d = -2*z - 176, 5*d = -3*z + 264. Does 22 divide z?
True
Let x(d) = -d + 1. Let a be x(-4). Suppose -m + 92 = -a*s, 4*s + 0*m = 2*m - 70. Is 3/(-3)*(s - -1) a multiple of 9?
True
Let o(u) = -u**3 + 2*u**2 + 2*u - 4. Let z be o(-3). Let s = z + -20. Is s a multiple of 7?
False
Suppose -5*f = -20, -2*f = -5*r - 0*f + 12. Suppose -2*w - r = -4*w. Suppose 4*m = 3*b - 9, -4*b + 5*b = w*m + 1. Is 7 a factor of b?
True
Let q be 30/12*(-4)/(-5). Let m = 0 + q. Suppose -2*a = -4, s - 20 = 2*a + m. Is 13 a factor of s?
True
Let y = 113 - 32. Let j be 1638/y - 4/18. Let w = -2 + j. Is 18 a factor of w?
True
Let d = -5 + -9. Suppose -10 = -r - 3. Let w = r - d. Does 10 divide w?
False
Let t = 5 - 12. Is 10 a factor of (36/t)/(12/(-84))?
False
Let x(l) be the second derivative of l**4/12 - 5*l**3/6 + 3*l**2/2 + 2*l. Let c(i) = -i**2 + 4*i - 3. Let q(p) = -5*c(p) - 4*x(p). Does 14 divide q(5)?
True
Suppose 2*p + 8 = 4*p. Suppose -p*v + 4*i = -112, -5*v - 3*i = 2*i - 100. Is v a multiple of 9?
False
Suppose -117 = -i - 27. Suppose i = -s - s + 2*g, -s - 3*g = 49. Let z = s - -68. Is 11 a factor of z?
True
Let h(b) = -b**3 + 6*b**2 + b - 6. Let k be h(6). Let w = k + 3. Suppose 2*j = -0*g + w*g - 74, -132 = -5*g - j. Does 13 divide g?
True
Let z(c) = -5*c**3 + 11*c**2 + 12*c + 8. Let j(l) = -6*l**3 + 12*l**2 + 13*l + 9. Let h(u) = 6*j(u) - 7*z(u). Does 14 divide h(-5)?
True
Let x(a) = a**3 + 12*a**2 + 10*a + 3. Let t be x(-11). Let f = t + -8. Does 3 divide f?
True
Suppose a - 1 + 0 = -2*h, 2*a - 2 = 3*h. Suppose 0*p = -5*p - 45. Is p/3 - (a - 6) even?
True
Suppose -3*o - o + 4*i + 292 = 0, 4*o + i - 287 = 0. Is o a multiple of 13?
False
Suppose -8*q = -13*q + 5, 191 = 2*u - 5*q. Is 14 a factor of u?
True
Let g be ((-4)/(-5))/(10/(-75)). Is 3*(-3 - 28/g) even?
False
Let l(v) be the third derivative of 7*v**5/60 - v**4/12 + v**3/2 + v**2. Let d be (15/3 + -1)/2. Does 17 divide l(d)?
False
Let d(a) = 189*a + 1. Let t be d(3). Suppose -3*l + t = l. Suppose 4*u + l = 5*v, -9 = -3*u + 6*u. Is v a multiple of 13?
True
Let b = -10 - -15. Suppose b*q - 20 = 5*k + 70, 2*k = 0. Is q a multiple of 5?
False
Let t(s) be the second derivative of -s**3/6 + 5*s**2/2 + 2*s. Is t(-6) a multiple of 9?
False
Let a(f) = -f**2 + 7*f. Suppose 2*l = -3*l + 15. Is 8 a factor of a(l)?
False
Suppose -k - 2*x = -4*x - 194, -2*k = 3*x - 381. Is 16 a factor of k?
True
Let n be ((-12)/9)/2*-6. Suppose -n*f = -7*f. Suppose f = -5*j + 4*t + 29, 3*t - 3 - 19 = -5*j. Is 5 a factor of j?
True
Let v = 24 - -18. Suppose 5*g = v - 2. Is 5 a factor of g?
False
Suppose m + 0 = 36. Is 12 a factor of m?
True
Let s = -10 + 5. Does 16 divide s + 2 + 2*19?
False
Let v = -14 + 14. Suppose 0 = -v*b + 2*b - 30. Does 7 divide b?
False
Is 3 a factor of 0 + -1 + (14 - 10)?
True
Suppose -q - 9 + 21 = 0. Is 12 a factor of q?
True
Let h(p) = 12*p**2 - 10*p - 5. Is 21 a factor of h(4)?
True
Let o be 2/4*40/4. Suppose o*c + 26 = 3*u, -5*c + 58 = -2*u + 6*u. Does 8 divide u?
False
Suppose -32 = 2*q - 198. Is 20 a factor of q?
False
Suppose -3*a = -661 + 163. Is a a multiple of 29?
False
Let s = 2 - 2. Suppose s*q = q + 1. Is (-40)/(q - 0) + -1 a multiple of 13?
True
Suppose 0 = -c - 4*c - 150. Let d be 2/(-5) - 12/c. Does 4 divide (3 + -4)*(-4 - d)?
True
Let r(x) = x**2 - 4*x + 1. Let s be r(5). Let n = 17 + s. Does 14 divide n?
False
Let d(s) = 2*s**2 - 9*s + 5. Let k(v) = -v**2 + 8*v - 5. Let l(i) = -2*d(i) - 3*k(i). Let c be l(-7). Does 9 divide (3/(-2))/(c/12)?
True
Let u(z) = -z + 7. Let n be u(5). Suppose 5*v - 4*r + n = 4, 10 = 4*v + r. Let j(h) = 5*h**3 + 3*h**2 - 2*h + 1. Is 19 a factor of j(v)?
False
Let n(k) be the third derivative of -11*k**4/24 - 2*k**2. Let z be n(-1). Suppose z = -2*b + 3*b. Does 11 divide b?
True
Suppose 0 = 4*d - 192 - 24. Is 6 a factor of d?
True
Suppose 0*i = i - 5. Suppose -2*t + 21 = -i*t. Let h(p) = -3*p - 7. Is h(t) a multiple of 11?
False
Suppose -7*s = -w - 3*s + 48, -s = 4*w - 141. Is w a multiple of 18?
True
Let b(q) = -q**2 - 7*q - 4. Let j(u) = -2*u**2 - 15*u - 9. Let t(c) = -13*b(c) + 6*j(c). Let d be t(-3). Is 12 a factor of d*3/6 + 10?
True
Let z = 22 + -17. Let s be 2 - 1 - 52/(-2). Let u = z + s. Is u a multiple of 16?
True
Let f = 315 - 179. Suppose 5*y - f = y. Is y a multiple of 15?
False
Suppose -p = 2*w - 157, 0 = 2*w - 7*p + 2*p - 187. Does 29 divide w?
False
Let z be 6/9*(-30)/(-4). Suppose 0*x - 3*m = 5*x - 55, -45 = -5*x - z*m. Does 7 divide x?
True
Let m be (54/(-4))/(24/(-224)). Suppose p = -p + m. Is p a multiple of 12?
False
Let v(n) = -n + 7. Let b(s) = -3*s + 20. Let u(q) = 3*b(q) - 8*v(q). Suppose 0 = -6*m + 2*m - 28. Is 11 a factor of u(m)?
True
Let o = 121 - 205. Let x = -50 - o. Does 17 divide x?
True
Let d(m) = 2*m - 5. Let w be d(4). Suppose 5*f + w*b - 138 = 0, -2*f - 3*f + 3*b = -132. Is 14 a factor of f?
False
Let c(n) = n**3 - 6*n**2 - 18*n - 10. Does 13 divide c(9)?
False
Let m(y) be the first derivative