v) = v + 1. Let b(i) = m(i) - n(i). Does 3 divide b(a)?
True
Let u = 5 - -58. Is u a multiple of 6?
False
Suppose -4*v + 3*h = 2*h - 117, 5*h + 165 = 5*v. Let a = 66 - v. Is 9 a factor of a?
False
Let h be 8/6 + 2/3. Suppose -p - 20 = -z, 10 = -z - h*p + 39. Suppose 0 = 2*m - 4*u + 3*u - 37, 3*m + 5*u = z. Is 8 a factor of m?
True
Let p be ((0 + 2)*-1)/(-1). Suppose 1 - 18 = y - 5*f, -p*y - f = -10. Suppose y*c = 5*c - 18. Is c a multiple of 9?
True
Suppose -2*u = 2*u + 3*z - 604, u + 2*z - 156 = 0. Is 18 a factor of u?
False
Let j be 8/(-28) + (-5)/7. Let r = -2 - j. Does 7 divide r + -2 + 1 + 17?
False
Let i(b) = b**3 - 3*b**2 - 6*b + 4. Let v(z) = z**2. Let q(x) = i(x) - 2*v(x). Let t be q(6). Suppose u = 4*p + 45, 3*u + t*p - 2*p - 135 = 0. Does 23 divide u?
False
Let r = 42 + -4. Is 14 a factor of r?
False
Let n(z) be the third derivative of -z**6/120 + z**5/10 + z**4/3 + z**3/6 + 2*z**2. Let l be n(7). Suppose 0 = -x + l - 1. Does 7 divide x?
True
Does 21 divide (-4 - 32/(-6))*93?
False
Suppose -d - 7 = -2*z, -4*z = 3*d - 2*z + 37. Let m = d - -32. Is (m/(-14))/((-1)/16) a multiple of 12?
True
Let a = -11 - -61. Is 10 a factor of a?
True
Suppose 7*d + 5*x = 3*d - 103, 3*d + 3*x + 75 = 0. Let f = d - -41. Is 7 a factor of f?
False
Let g(j) = -197*j**3 - j**2 - j - 2. Is g(-1) a multiple of 39?
True
Let k be (-3 - (-5)/2)*-14. Let j = -8 + k. Is 25 a factor of (3 + -2)*49 - j?
True
Is ((-682)/4)/(8/(-16)) a multiple of 26?
False
Suppose 4*y - 4*u = -u + 6, 5*u = -4*y - 10. Suppose y = -2*n + 5*n - 48. Suppose -3*r = r - n. Does 4 divide r?
True
Let h = -13 - -17. Suppose h*t + 16 = 0, -w + 4*t + 36 = -0*w. Does 12 divide w?
False
Suppose 0 = -2*l - 4*a + 26, 10*l + 2*a - 28 = 6*l. Let o(k) = -k + 86. Let n be o(0). Suppose 9 + n = l*f. Is 19 a factor of f?
True
Is 106 + ((-42)/(-28))/(6/8) a multiple of 7?
False
Let p = 19 + -33. Let g = p - -28. Does 14 divide g?
True
Let r(i) = -i**3 + 4*i**2 + 4*i - 1. Suppose -4 + 0 = -u. Does 8 divide r(u)?
False
Let x = -9 + 67. Does 29 divide x?
True
Let o(z) = z + 11. Let m be o(0). Suppose -5*b + m = -9. Suppose -5*h - 63 = -6*h - b*p, -2*p - 205 = -5*h. Is 14 a factor of h?
False
Let g(r) = 5*r + 1. Let p(l) = -l - 1. Let b(o) = -g(o) - 6*p(o). Let i be b(-6). Is (-1)/((2/18)/i) a multiple of 8?
False
Suppose f - 16 - 1 = 0. Is 4 a factor of f?
False
Let s = -6 - -6. Let h = 0 + 36. Suppose w = -2*f + h, s = -4*f + w - 4*w + 72. Does 8 divide f?
False
Suppose 26*t - 149 = 25*t. Is 31 a factor of t?
False
Suppose 8*q - 56 = 4*q. Does 14 divide q?
True
Does 12 divide 1280/28 - 4/(-14)?
False
Let p(x) = 2*x + 13. Let u(z) = 3*z + 20. Let v(q) = 7*p(q) - 5*u(q). Let c be v(-10). Let d(k) = 12*k**3 - k**2 + k - 1. Is d(c) a multiple of 3?
False
Is 13 a factor of (-200)/(-6) - 2/6?
False
Suppose -4*f + 720 = 6*f. Does 4 divide f?
True
Suppose -1 = 2*l + 3, 4*p + 2*l - 16 = 0. Suppose -p*a = -2*a - 60. Is a a multiple of 5?
True
Is 16 a factor of 3688/10 + (4 - (-38)/(-10))?
False
Let g(v) be the second derivative of 1/6*v**3 - 3*v + 0 + 5/2*v**2. Is 5 a factor of g(0)?
True
Suppose 3*r = -73 - 29. Let c = 110 - 47. Let i = c + r. Is i a multiple of 12?
False
Suppose -a = a - 8, -k = -5*a - 61. Is k a multiple of 3?
True
Suppose -o = -2 - 10. Is 3 a factor of o?
True
Let u(q) = -6*q + 2. Let b(i) = i**3 + 5*i**2 - 6*i - 6. Let d be b(-6). Is u(d) a multiple of 10?
False
Let l be -4 - (-139 - 1) - -2. Suppose -l - 27 = -5*r. Is r a multiple of 7?
False
Suppose -2*g - 3 + 7 = 0. Suppose -3*v - 34 = -3*f - 5*v, -f = g*v - 10. Does 15 divide (16/6)/(f/198)?
False
Suppose 2*q + 1 = 3*n + 88, 5*q - 4*n = 214. Suppose 12 - q = -j. Is 10 a factor of j?
True
Let m = 13 - 8. Suppose -5*i + 235 = 5*r, -4*i + 3 = m*r - 233. Suppose -2*t - 2*t = -r. Is t a multiple of 6?
True
Let s be 3/(-1) - (-2)/(-2). Let w be s/14 + (-74)/(-14). Suppose w*m = 3*n - 116, 78 = -2*n + 4*n - 3*m. Is n a multiple of 14?
True
Let k(l) = 9*l**2 + 2*l - 7. Does 34 divide k(-3)?
True
Suppose -3*o = u - 66, o - 5*o - u + 89 = 0. Let p = -25 + 35. Let f = o - p. Is 13 a factor of f?
True
Let v = -22 - -29. Is 3 a factor of v?
False
Does 11 divide ((-5)/25 + 51/(-20))*-4?
True
Suppose f - 4*f + 15 = 0. Suppose 3 + f = 4*t. Suppose -m = -t*j + 21, j - m = -7 + 17. Is 3 a factor of j?
False
Suppose 4*v - 171 = 3*o + 108, 0 = 5*v - 3*o - 351. Is 24 a factor of v?
True
Suppose 24 + 21 = t. Suppose -3*v - 5*j + 26 = -t, -69 = -3*v - 3*j. Is 4/v + (-916)/(-44) a multiple of 12?
False
Let z = 94 + -48. Suppose -5*a + 5*t = -z - 64, 3*a - 50 = -t. Is 5 a factor of a?
False
Suppose -2*l + 7*l - 500 = 0. Is 26 a factor of l?
False
Let d be (1 - 129/(-1)) + 2. Suppose 28 + d = 4*v. Suppose -5*z = -165 + v. Is 9 a factor of z?
False
Suppose -7*t + 2*t - 5*p = -200, -4*p + 43 = t. Suppose -2*n - 5*c = -116 + t, c + 73 = 3*n. Is n a multiple of 7?
False
Suppose 4*n = n + 6. Suppose 45 = n*d + 5*j + 11, -2*j - 6 = -2*d. Does 5 divide d?
False
Suppose 5*r = -5*f + 2*f + 37, 3*f - 19 = 4*r. Let s = f + 17. Is 13 a factor of s?
True
Let j(v) = 6*v**2 + v + 4. Suppose -3*u = -2*l + 11, 2*u = 3*l - 2*u - 15. Let w(x) = -x**2. Let o(a) = l*j(a) + 5*w(a). Is o(0) a multiple of 2?
True
Let z = 38 - 3. Is 2 a factor of z?
False
Let v(b) = 6*b**2 + 3*b + 3. Let z(w) = w**3 - 3*w**2 - 6*w - 3. Let p be z(5). Let r be p/(-5) - (-12)/30. Is v(r) a multiple of 13?
False
Let q(s) = s**2 + 8*s - 5. Let l be q(-9). Suppose -l = -n + 9. Is n a multiple of 8?
False
Suppose -5*j = -2*j - 3*v - 129, -2*v = -3*j + 130. Suppose c - j = -c. Is 11 a factor of c?
True
Let l = 8 + 1. Does 3 divide l?
True
Let i(z) = 17*z - 48. Does 39 divide i(12)?
True
Let s be 22/10 - 3/15. Suppose -5*o = -s*o. Suppose -64 = -4*q - o*q. Is q a multiple of 8?
True
Suppose r - 82 = 8. Is r a multiple of 30?
True
Let h = 16 - 16. Suppose -b + 27 - 6 = h. Is b a multiple of 10?
False
Is 49 a factor of 49*((-1)/(2/(-10)) + -3)?
True
Let w = -17 - -42. Suppose -2*c + 91 = -w. Is 17 a factor of c?
False
Suppose 0 = 2*z + 6*z - 680. Does 5 divide z?
True
Let c(l) = -84*l. Does 28 divide c(-1)?
True
Suppose -2*n - 3 + 7 = 0. Suppose 19 = 4*m - 5. Does 13 divide -3*(-26)/m*n?
True
Suppose 147 = -2*q - q. Let d(b) = 22*b**2 + b - 1. Let i be d(-2). Let w = i + q. Is w a multiple of 17?
False
Let v(a) = -a**3 - 8*a**2 + 3*a - 1. Let w be v(-8). Let b(c) = 3*c**2 - 3*c + 2. Let m be b(-3). Let i = m + w. Does 12 divide i?
False
Suppose 0 = -7*p + 5*p + 58. Is p a multiple of 29?
True
Let h(r) = r**3 - 14*r**2 - 13*r + 14. Is 44 a factor of h(15)?
True
Let s = 23 - 12. Let q = 15 - s. Suppose 0 = 3*x - q*x + 35. Does 13 divide x?
False
Let n(l) = l**2 + 13*l - 5. Suppose -4*s = -32 - 8. Let b be n(s). Suppose -6*t + t = -b. Is t a multiple of 18?
False
Suppose 4*r + 10 = 6*r. Suppose -5*f + 3 + 8 = -3*v, 0 = -f + v + 1. Suppose r*m - f*m = 10. Is 6 a factor of m?
False
Let l(d) = 9*d**2. Is 2 a factor of l(-1)?
False
Let n be (-3)/(-9)*(2 + -2). Suppose n = -3*a - 3*m + 48, 3*m + 74 - 31 = 4*a. Suppose -v - a = -43. Is v a multiple of 15?
True
Let g = -168 + 384. Does 9 divide g?
True
Let a = 14 - 1. Is 13 a factor of a?
True
Let a(q) = -2*q + 3. Let x = -1 + -3. Is 5 a factor of a(x)?
False
Suppose -5*k = -182 - 83. Is k a multiple of 16?
False
Let f(c) be the third derivative of c**6/10 + c**5/60 + c**4/24 + c**3/3 + c**2. Let x(u) be the first derivative of f(u). Is 18 a factor of x(-1)?
False
Does 5 divide 6*(-14)/(-3) - 0?
False
Suppose 3*t - 6 = t. Suppose 30 = t*y - 2*y. Does 15 divide y?
True
Let s(c) = -2*c**3 - 2*c**2 + 2*c + 2. Let p be s(-2). Suppose 2*j = p, -41 - 28 = -4*n + j. Is 10 a factor of n?
False
Let y(c) = -c**2 + 11*c - 13. Let w be y(9). Let a(k) = k - 3. Is 2 a factor of a(w)?
True
Let h = -19 - -35. Is 8 a factor of h?
True
Let t(v) = 10*v. Is t(1) a multiple of 2?
True
Suppose 5 = -3*n - 2*n. Let h(w) = 7*w**2 + w. Is h(n) a multiple of 6?
True
Suppose 2*g + 3*s = 8*s + 22, 55 = 5*g + s. Is 6 a factor of g?
False
Suppose 5*w - 5 = 30. Is 7 a factor of w?
True
Let f be (-4)/(-3)*3/(-2). Let z = 3 - f. Let g = -3 + z. Does 2 divide g?
True
Let l = 20 + -16. Suppose -l*f + 59 = 15. Is f a multiple of 4?
False
Suppose 5*y + 5*n - 70 = 0, 2*n = 5*y - 3*n - 60. Is y a multiple of 5?
