03 - 417. Does 26 divide h?
True
Suppose -15*s = -12*s + 288. Let h = 142 + s. Does 8 divide h?
False
Let w = 7 + 4. Is 11 a factor of w?
True
Let r(y) = -46*y**2 + y. Let o = -4 - -3. Let h be r(o). Let q = -28 - h. Is 11 a factor of q?
False
Let s = 26 - 2. Does 24 divide s?
True
Let n = -2 + 6. Suppose 0 = n*y - y - 240. Suppose -5*w = -2*f - 3*f - y, 25 = -5*f. Does 6 divide w?
False
Suppose -11 = 2*l - 61. Does 5 divide l?
True
Suppose -553 + 121 = -4*j. Suppose 5*q + 5*r - 200 = 0, 5*q - 92 = r + j. Is 20 a factor of q?
True
Let a be -11*((-2 - -2) + 1). Let k = a + 16. Suppose j - 2*d = 11, -2*j + k*j - 4*d - 35 = 0. Does 12 divide j?
False
Let m = 12 - 7. Suppose -5*a + 110 = m*j, 0 = -3*a + 2*j - 4*j + 64. Suppose -a = -z - z. Does 10 divide z?
True
Is 10 a factor of (-165)/30*-12*2/2?
False
Let a be 2/7 + (-153)/21. Let q(l) = -3*l + 5. Let t be q(-7). Let n = t - a. Is n a multiple of 14?
False
Let x(s) = s**3 - 4*s**2 - 5*s + 1. Let n be x(5). Let f be n - ((-1100)/(-2))/(-2). Is 7 a factor of 4/(-10) + f/15?
False
Suppose 5*y - 300 = -5*i, -2*i = -5*y + 145 + 141. Does 15 divide y?
False
Let y(g) = -g - 4. Let k be y(-3). Suppose 12 = 4*h - 4. Let p = k + h. Is 2 a factor of p?
False
Suppose 4*n - 180 = -4*m, -2*n + 7*n - 4*m - 216 = 0. Does 22 divide n?
True
Let c be ((-4)/10)/((-8)/20). Let k = 19 - c. Is k a multiple of 9?
True
Is 9 a factor of ((-144)/(-80))/((-1)/(-15))?
True
Let v = -15 - -21. Is 81/6 - 3/v a multiple of 4?
False
Suppose 3*w = -5*m + 2, 3*w - 2*m = 2*m + 47. Is w a multiple of 2?
False
Let s be (6/5)/(6/20). Is 23 a factor of s*3*27/12?
False
Let l = -4 + 1. Let u(c) = -c + 9. Let k be u(0). Is 120/k*l/(-2) a multiple of 20?
True
Suppose -6 = -3*n - 0. Suppose -3*a - 4*b = -157, -17 = -a + n*b + 42. Is a a multiple of 20?
False
Let g = -5 + 10. Let t be ((-1)/(-3))/((-2)/(-18)). Suppose -t*a + 6 = 0, -g*a + 15 + 5 = b. Is b a multiple of 5?
True
Let f be (2 + -5)*(-1 + 0). Suppose 7*w - f*w = 20. Suppose -w*g = -g - 48. Does 6 divide g?
True
Let r(l) = -4 - l + l - l. Let n be r(-6). Suppose 0 = 2*v + 4*d - 21 - 31, 16 = n*v - 5*d. Is v a multiple of 9?
True
Suppose 0 = -4*p - 0*v - 5*v + 774, 374 = 2*p - 4*v. Is p a multiple of 23?
False
Suppose 4*b + 0*b - 4 = 0. Let q be 0 + b/((-2)/(-12)). Suppose -p + 6 = -q. Does 6 divide p?
True
Let w = 36 + -46. Let b = -1 + 19. Let n = b + w. Is 4 a factor of n?
True
Suppose -3*k - 2*c = -468 - 105, -3*k = 5*c - 564. Is 9 a factor of k?
False
Let s(l) = l**2 + 2*l - 1. Let g be s(1). Let m = 8 - g. Suppose -m = -h + 12. Does 8 divide h?
False
Suppose -114 = -3*n + 102. Let f = n + -46. Is f a multiple of 7?
False
Let t(a) = 4*a**2 + 3*a. Let y be t(-3). Does 12 divide (2 - (0 + 5)) + y?
True
Suppose -5*r + 0 + 10 = 0. Suppose -u + r*h + 0*h + 7 = 0, 2*u = h + 2. Is u/(-6) + 70/12 a multiple of 5?
False
Suppose 201 + 9 = 5*u. Is u a multiple of 11?
False
Suppose -4*f + 4*j - 2 = 2*j, 0 = -5*f + j + 5. Is f a multiple of 2?
True
Let l(t) = 3*t**2 + 4. Suppose -2*a - 2*a = -5*b + 28, -14 = -4*b - a. Suppose -b*v = 3*s + 6, -3*s + s = v - 1. Does 12 divide l(v)?
False
Let m(c) = 3*c - 7. Let i be m(5). Is 11 a factor of (i/12 + 0)*42?
False
Let k(g) = 2 - 5*g + 13*g - 4*g + 11*g. Let h be k(-2). Does 8 divide 2/7 - 440/h?
True
Let u = -34 - -16. Let h = u - -26. Is h a multiple of 8?
True
Let x be (-1)/(-2)*(13 - -1). Let z(k) = k**3 - 5*k**2 - 9*k - 1. Is 13 a factor of z(x)?
False
Let i = -4 - 1. Let x(p) = -p**3 + 8*p + 5. Let h be x(i). Suppose y = 2*v + 18, 5*y + 5*v - h = 6*v. Does 9 divide y?
True
Suppose 0 = -4*u + 5*c - 8 + 236, -3*u - 2*c + 148 = 0. Let b = 76 - u. Is b a multiple of 12?
True
Let k(l) be the third derivative of 0 + 5/24*l**4 - l**2 + 0*l + 5/6*l**3. Is k(6) a multiple of 9?
False
Let b(z) be the first derivative of -z**2/2 + 17*z + 1. Is 12 a factor of b(-7)?
True
Let q = 189 - 109. Does 13 divide q?
False
Let s(i) = 4*i - 5. Does 3 divide s(4)?
False
Suppose 56 = -f + 8*f. Is 8 a factor of f?
True
Let t = 2 - -94. Suppose -3*m = m - t. Does 8 divide m?
True
Let p be (-13)/(-3) - (-4)/(-12). Let q = p - 2. Suppose -2*y - q*y + 44 = 0. Does 7 divide y?
False
Suppose -5*l = 0, 2*h - l - 280 = 4*l. Does 12 divide h?
False
Suppose 2*a - 4*j + 6 = -18, -4*a - 38 = 2*j. Let c = a + 15. Is 5 a factor of c?
True
Let q = 11 + -7. Suppose -57 = -q*u - 25. Does 8 divide u?
True
Let b = -3 + 35. Is b a multiple of 6?
False
Let g = 15 - -26. Is 12 a factor of g?
False
Let n = 21 - 3. Does 18 divide n?
True
Suppose 2*n = 4*n - 120. Does 30 divide n?
True
Suppose 5*x + 5 = -0*x. Let y(m) = 4*m**2 + 2*m + 1. Let j be y(x). Suppose j + 21 = z. Is 24 a factor of z?
True
Let f(x) = -x**2 + 11*x + 2. Let a(q) be the third derivative of q**5/20 - 7*q**4/8 - 5*q**3/6 + q**2. Let c(o) = -2*a(o) - 5*f(o). Is 10 a factor of c(-11)?
False
Suppose -2*x - 154 = -3*x + 2*r, -x = -4*r - 160. Is x a multiple of 18?
False
Let w(c) = c**3 - c**2 - c + 2. Let i be w(2). Suppose 2*g + 4*d - 28 = -0*g, -d - 29 = -i*g. Does 8 divide g?
True
Suppose 0 = 7*o - 2*o. Suppose o*p = p - 3*a - 40, -2*a + 104 = 2*p. Does 13 divide p?
False
Let g(y) be the first derivative of 2*y**2 - 3. Let k be g(1). Is 3 a factor of -2 - k/((-12)/27)?
False
Let n(c) = 2*c**2 + 2*c - 8. Suppose o - 1 + 7 = 0. Is n(o) a multiple of 26?
True
Let g = 7 + -3. Suppose 3*b + 4*s = 84 + 89, b - 63 = -g*s. Is 14 a factor of b?
False
Let a = -1 + 4. Let r be 15*(-4 - (3 + -8)). Suppose -a*z + r = 3. Is 4 a factor of z?
True
Let i(c) = c**2 - c + 32. Suppose 0 = -5*w + 2*w. Is i(w) a multiple of 16?
True
Let q = -35 + 50. Does 3 divide q?
True
Suppose 2*d + d = -90. Let k be (12/(-10))/(9/d). Suppose 2*m + k = 3*m - 3*o, 3*m = 5*o + 28. Does 11 divide m?
False
Let q = -25 - -36. Is 11 a factor of q?
True
Let u(v) be the second derivative of -3/2*v**3 + 0*v**2 + 0 + 2*v. Is u(-2) a multiple of 16?
False
Let f = -8 + 7. Let m be -6*(f + 1 + -1). Suppose 0 = -3*j + 3*n, n = 2*j + m*n - 21. Does 2 divide j?
False
Suppose -3*n + d = -37 - 102, -3*n - 2*d + 127 = 0. Is 15 a factor of n?
True
Let y be 0 + 3/(3/(-4)). Let l be (-4)/(-6)*(-12)/(-8). Let j = l - y. Is j a multiple of 3?
False
Let g be (-1624)/18 - 4/(-18). Suppose 0 = -2*h - 3*h + 20. Does 18 divide (24/(-15))/(h/g)?
True
Let d = 1 + 3. Let n be 66/d*(-2)/(-3). Let l = n - 7. Does 3 divide l?
False
Let l = -1 + -14. Suppose -5*c - 3 = -148. Let h = l + c. Does 14 divide h?
True
Suppose 2*r - 6 = 0, -2*j - 6 = j + r. Let q be 1*(j - (-1 + -2)). Suppose q*z + 3*z - 78 = 0. Is z a multiple of 11?
False
Let s = 10 + 3. Suppose 4*j - 11 = s. Is j a multiple of 6?
True
Let c(g) = -3*g - 4. Let y = -18 + 12. Does 7 divide c(y)?
True
Let v = -93 - -140. Does 13 divide v?
False
Suppose 4*j = 4*v - 92, -2*v = 3*j - j - 50. Is 12 a factor of v?
True
Let r(d) = -d**2 + 3*d. Let x be r(2). Suppose -3*f = -x*f. Suppose f = h + 3, 5*s + 0*h = 2*h + 61. Does 7 divide s?
False
Let k be ((-8)/16)/((-2)/(-4)). Let q be 196/8 - k/(-2). Suppose q - 6 = d. Does 7 divide d?
False
Let z(r) = r - 2. Let m be z(1). Is ((-2)/(-3))/(m/(-15)) a multiple of 10?
True
Suppose -t = -3*t - 4. Is t/2*-2 - -27 a multiple of 10?
False
Suppose 0 = -2*v + 4, -5*y + v = -3*v - 147. Does 31 divide y?
True
Let f(w) = 0*w**2 + 2*w**2 + w**3 - 1 + 4*w**2 - 3*w - 4*w**2. Is f(3) a multiple of 22?
False
Let q = 81 - 49. Is 24/q - (-354)/8 a multiple of 15?
True
Let b = 12 - -11. Is 6 a factor of b?
False
Suppose 3*x - 4*m - 32 = 0, 1 = 2*m - 1. Let r be 2/(-12) - (-2)/x. Let y(w) = -w**3 - w**2 + 29. Is y(r) a multiple of 10?
False
Let q(t) be the second derivative of 0 + 1/12*t**4 - 1/2*t**2 - 2*t - 1/3*t**3. Is q(-3) a multiple of 5?
False
Suppose 8*t - 3*t = 60. Is t a multiple of 4?
True
Let p(j) = 15*j + 15. Is p(3) a multiple of 12?
True
Let h be (-1)/(2/24*-2). Let r(a) = 16*a + 1. Let n be r(h). Suppose 4*z - 5*q = n, -6*z + 3*z = -4*q - 74. Is z a multiple of 7?
False
Suppose 0*o + 5*o - 50 = -h, 0 = 2*o - 2*h - 20. Let z = 23 - o. Is 13 a factor of z?
True
Let h be 17*1/(2/2). Let b = 8 + h. Does 9 divide b?
False
Suppose 0 = -2*m - 4*g + 8, -6 + 0 = -2*m - 3*g. Suppose 3*a - 5*f - 41 = m, 0 = -2*a - 3*f + f + 54. Is 22 a factor of a?
True
Let c = 9 + 7. Suppose 6*p = 4*p + c. Does 8 di