= -2 + 1. Let s be m(z). Let v = s - 30. Is 15 a factor of v?
True
Suppose -7*h + 429 - 51 = 0. Is h a multiple of 9?
True
Does 50 divide (-1952)/(-13) + 1*(-4)/26?
True
Let z = 1 + 0. Suppose z = 5*v - 9. Suppose v - 16 = -y + 2*g, -5*y + 2*g + 62 = 0. Is y a multiple of 8?
False
Let w(m) = m**3 - 6*m**2 + 5*m + 3. Let l be w(4). Is 18*(-5)/l*3 a multiple of 9?
False
Suppose 5*a = -5*k + 20, -2*a + 2*k = 6*k - 10. Let t = a + 0. Is t a multiple of 3?
True
Suppose 3*q + 6 = 0, -5*o + q = -6 - 16. Suppose o*y = 12 - 0. Suppose -y*v + 172 = 55. Is v a multiple of 13?
True
Suppose 343 = 3*g - 137. Suppose 4*z + 16 = g. Is z a multiple of 12?
True
Let t = 228 + -44. Is t a multiple of 8?
True
Suppose -3*m = 2*n - 5*m - 12, 4*m + 14 = -n. Suppose -q = 5*z - 156, -z + 2*q + 48 = -n*q. Does 27 divide z?
False
Let a(u) = 2*u + 8. Does 11 divide a(10)?
False
Let x = -70 - -134. Does 32 divide x?
True
Let x be (-3)/(-4) - 14/8. Is 12/(-15)*(-139 + x) a multiple of 19?
False
Let r(k) = k**3 - 15*k**2 + 3*k + 48. Is 5 a factor of r(15)?
False
Let b(p) be the second derivative of -7*p**5/20 - p**4/6 + p**3/6 + 2*p**2 - 7*p. Does 16 divide b(-2)?
False
Let n = 8 - 23. Suppose 5*s - w = s - 101, 9 = -3*w. Let r = n - s. Is 11 a factor of r?
True
Let f(t) = -t**2 - 6*t + 10. Let w be f(-7). Suppose -2*h = -5*h + 3*p, -w = -p. Is h a multiple of 2?
False
Suppose 4*l - 210 = -l. Is 5 a factor of l?
False
Suppose 0 = b - v + 4, -3*v - 1 = -13. Let m = b - -14. Is 4 a factor of m?
False
Let c = 1 - -11. Is 8 a factor of c?
False
Is 4 a factor of -2 + 4 - 2 - -13?
False
Let f(b) = 11*b**2 - 5*b - 10*b**2 - 12 - b. Is 5 a factor of f(9)?
True
Let o = 320 - 212. Suppose -26*w - o = -30*w. Is w a multiple of 24?
False
Let x(j) = 13*j - 70. Is 12 a factor of x(10)?
True
Let g = -2 + 20. Suppose -4*l = -l - g. Is l a multiple of 3?
True
Suppose 0 = 2*g - 0*g - 4. Suppose 0 = g*o + 2*l - 4, 2*o + 4*l - 1 - 1 = 0. Is o even?
False
Let c(q) = 4*q**3 + q**2 - 3*q - 4. Let v be c(3). Let n = -59 + v. Does 18 divide n?
False
Suppose 4*w - 400 = -w. Is 20 a factor of w?
True
Suppose -4*l + 56 = 4*p, -6*l + p + 81 = -2*l. Suppose a + 4 = 2*m, -3*a = 2*a + 3*m - l. Suppose 0 = -5*z - 3*q + 42, a = -3*z + 3*q + 8. Does 6 divide z?
True
Let a = -2 + 34. Is 10 a factor of a?
False
Let b(q) = -3 - q**3 + 8*q**2 - 3*q**3 + 6 + 5*q**3. Let j be b(-8). Suppose 84 = j*i + i. Does 7 divide i?
True
Let w = 185 + -683. Does 14 divide w/(-18) + 1/3?
True
Let u = -5 + 5. Let g = u + 2. Suppose -g*x + 4*x = 64. Is x a multiple of 16?
True
Let j(z) = -3*z + 5. Suppose 0 = 3*l + 12 + 9. Let x = l + 2. Is 10 a factor of j(x)?
True
Suppose 0*p + 3*p = 264. Suppose -t - p = -5*t. Does 9 divide t?
False
Suppose 14 = -2*v + 2*l + 434, 3*l = -2*v + 440. Is 24 a factor of v?
False
Suppose z - 4*n - 48 = -n, -z + 36 = 3*n. Let j = z - 25. Does 5 divide j?
False
Let j = -5 + 23. Suppose -3*i + 2*k = -2*i - j, 0 = 5*k - 15. Does 5 divide i?
False
Let r be ((-8)/5)/(2/(-10)). Let s be (-2)/r - 21/(-4). Suppose -5*p + 104 + 102 = -2*d, 0 = -4*p + s*d + 158. Is p a multiple of 21?
True
Let n(o) = 2*o**2 - 7*o. Let f be n(5). Let m be 8/6*(-27)/(-6). Suppose -a + f = -m. Does 10 divide a?
False
Suppose 4*u = 4*x, -6 + 4 = -2*x + u. Let h = 0 + x. Suppose -4*j + 6*i + 182 = i, -h = i. Does 17 divide j?
False
Let n(y) = 9*y**2 + 4*y. Let g be (-2)/3*(-18)/4. Does 27 divide n(g)?
False
Let d(l) = 15*l**2 - 1. Let y = -3 + -2. Let w be -3*(y/(-3))/(-5). Is 7 a factor of d(w)?
True
Suppose 0 = 4*y - 73 - 27. Does 5 divide y?
True
Let u(r) = -2*r + 6. Let c be u(9). Let q(a) = -a. Does 5 divide q(c)?
False
Let u(h) = -3*h**3 - 5*h**2 - 2*h + 2. Let n be u(-3). Suppose -3*v - v + n = 0. Does 10 divide v?
False
Suppose -3*q + 53 = -19. Is 17 a factor of q?
False
Let o(w) = w + 35. Is 5 a factor of o(-10)?
True
Let a(q) = 7*q. Let w be a(1). Suppose w = t - 20. Is 11 a factor of t?
False
Let w(i) = -28*i + 2. Does 19 divide w(-4)?
True
Let c be (-3)/(-9) - 196/3. Let f be (-3 - c)*(3 + -2). Let y = f + -30. Is y a multiple of 16?
True
Let b = -3 - -4. Suppose -j + 2 = -0*j, d - b = -j. Is 3 a factor of ((-30)/(-25))/(d/(-5))?
True
Does 14 divide 54*1*1 - -2?
True
Let d(n) = n + 6. Let u be d(0). Let a be u - (1 - -2 - 1). Let j(z) = z**3 - 3*z**2 - z + 4. Is 16 a factor of j(a)?
True
Let a = -120 - -68. Let b = a + 100. Is b a multiple of 12?
True
Let w = -27 + 12. Does 13 divide (5/(w/(-39)))/1?
True
Let w(r) = -15*r + 7. Let s be w(-7). Suppose 0 = v + v - s. Does 14 divide v?
True
Suppose -244 = -5*o - 2*p + 6*p, 45 = o + 3*p. Suppose 5*k - 70 = -5*q, 0 = 2*k + k + q - o. Does 10 divide k?
False
Suppose 4*q - 280 = -4*q. Is q a multiple of 7?
True
Suppose 4 = p - 4*l, 0 = -p - p + 5*l + 11. Let t(s) = -s + p*s - 3 + s**2 + s**2. Does 10 divide t(-6)?
False
Suppose r - 348 = -3*r. Is 29 a factor of r?
True
Let l(u) be the third derivative of -u**6/40 - u**5/15 - u**4/8 + u**3/3 - 4*u**2. Is l(-3) a multiple of 17?
False
Suppose 12*a - 11*a - 22 = 0. Is 12 a factor of a?
False
Let z(q) = -q**3 - 7*q**2 - 2*q. Suppose -x = -4*x - 18. Let k be z(x). Is 15 a factor of ((-90)/k)/(1/4)?
True
Let p(c) = 3*c**3 - 9*c + 4. Does 32 divide p(4)?
True
Let w(k) = k**2 + 4*k - 3. Let p be w(-6). Let b(r) = -2*r**2 - 5*r + 11. Let h be b(p). Does 16 divide (-4)/6 - h/6?
True
Let h be 7/(-3) + 4/(-6). Let u(o) = o**2. Let s(f) = 2*f**2 - 3*f + 3. Let w(d) = s(d) - 3*u(d). Does 2 divide w(h)?
False
Let j be ((-2)/(-4))/(1/4). Let u(c) = -c**3 - 6*c**2 - 2*c - 7. Let r be u(-6). Suppose -j*g = -t + 28, -77 = -5*t + r*g + 48. Does 11 divide t?
True
Let o = -91 + 211. Is 15 a factor of o?
True
Let b = 8 - 6. Let s = -11 - b. Let d = 32 + s. Is 16 a factor of d?
False
Let m(x) = 2 + 4 + 0*x - 1 - x. Is m(-5) a multiple of 5?
True
Let a be 27*1*2/(-3). Let g = -13 - a. Suppose 4*z = 0, 4*d + 0*z - 124 = -g*z. Is 12 a factor of d?
False
Let d = -8 + 33. Is 25 a factor of d?
True
Let q(d) = -d**3 - 4*d**2 + 3*d - 6. Let l be q(-5). Suppose -2*f - 8 = 0, -4*s - l*f = -2*f - 96. Is 13 a factor of s?
True
Let l(v) = 5*v + 1. Let m(q) = -q + 3*q**2 - 1 - 2*q**2 + 2*q. Let a be m(1). Is 3 a factor of l(a)?
True
Let h(k) = -k**3 + k**2 - k - 2. Let a be (-4)/(-6)*3/(-1). Does 6 divide h(a)?
True
Let n(s) = 28*s + 10. Is 17 a factor of n(4)?
False
Let h be (-15 + -3)/(-2 + 1). Suppose 0 = 5*l - 8*l - h. Does 19 divide (3/l - -1)*38?
True
Suppose 98 = 3*u - 28. Let g = -28 + u. Is g a multiple of 14?
True
Let m(t) = -t**3 + 6*t**2 - 6*t - 6. Let y be m(5). Let x = -185 - -125. Let g = y - x. Is 19 a factor of g?
False
Let b = 0 - 23. Does 8 divide b/1*(-4)/4?
False
Let y = 117 - 85. Is 4 a factor of y?
True
Suppose -109 = -3*u + 119. Does 7 divide u?
False
Let q = 40 + -18. Does 11 divide q?
True
Let t be 2 - (1 + -1) - -3. Suppose -t*c - 123 = 2*h, c = 4*h - 2*h - 15. Let i = 39 + c. Is i a multiple of 8?
True
Let m = 75 + -33. Does 14 divide m?
True
Suppose s = -4*s - 4*w + 154, s + 3*w - 22 = 0. Is 17 a factor of s?
True
Let t = 1 - -3. Suppose -5*k = -t*o + 58 + 7, 95 = 4*o + 5*k. Is 10 a factor of o?
True
Suppose -4*f = -0*f. Suppose 2*j = -f*j + 22. Does 5 divide j?
False
Let n(r) = 4 - r - 5 + 2 + 3*r. Is n(8) a multiple of 6?
False
Suppose -5*r = 4*y - 55, -y - r + 14 = -0*r. Let v = 32 - y. Is 17 a factor of v?
True
Suppose t = -2*o - o + 76, 5*o = -t + 124. Is 24 a factor of o?
True
Let y = 89 + -68. Is 10 a factor of y?
False
Let l = 6 + -9. Let w be (-5)/(-15) - (-1)/l. Let s = w + 26. Is s a multiple of 8?
False
Suppose -10 = -l - 27. Let n = l + 26. Does 9 divide n?
True
Let p = -33 + 68. Suppose -23*a = -26*a. Suppose -4*u - u + p = a. Is u a multiple of 7?
True
Let w(i) = i + 6. Let x = -25 - -14. Let j be w(x). Is 6 a factor of 1/(10/(-12))*j?
True
Let a(u) = -u**3 - u**2 + 1. Let r be a(-1). Let y be -1 - -9 - 1/r. Suppose -3*h + 32 + y = 0. Does 8 divide h?
False
Suppose -4*g - 61 + 413 = 0. Does 25 divide g?
False
Let t(m) = -m. Suppose -2*w + 14 = -3*q, 2*w - 3*w + 4 = 0. Let f be t(q). Is (-45)/(-2) + (-1)/f a multiple of 12?
False
Suppose -12 - 8 = 4*c, c = 3*z - 71. Is 11 a factor of z?
True
Let h = 18 - 13. Does 11 divide 3/h + 52/5?
True
Let t(k) = 16*k**2. Let m be t(1). Suppose -4*h + m = -40. Does 7 divide h?
Tr