30 divide s?
True
Is 19 a factor of 262/7 + (156/28 - 5)?
True
Let n(v) = -6*v + 8. Suppose 4*l + 5*d + 11 - 3 = 0, 4*d = 0. Is n(l) a multiple of 10?
True
Let f(v) = -9*v**2 + 16*v**2 - 6*v**2 - v - 1. Let n(d) = -5*d**2 + 8*d + 9. Let t(o) = 6*f(o) + n(o). Is t(-6) a multiple of 9?
True
Suppose 0 = -3*w + 3723 + 774. Is w a multiple of 21?
False
Let m(b) = -3*b**3 + 2*b**2 + 2*b + 5. Let v be m(-5). Suppose -8*h + v = -3*h. Is 21 a factor of h?
True
Suppose 29*a - 168 = 27*a. Suppose -b + a = 29. Does 9 divide b?
False
Suppose -24 + 6 = -3*s. Let x(m) = 6*m + 13. Does 36 divide x(s)?
False
Is 7 a factor of 2/((-678)/342 + 2)?
False
Let x(q) = 2*q**3 + 19*q**2 + 7*q + 10. Does 26 divide x(-9)?
False
Let m = -6 - -19. Suppose 0 = 4*d - k - 17, -4*d + 3*k - 6*k = -m. Is 10 - ((d - 3) + 3) a multiple of 5?
False
Let c = -16 + 8. Let b(r) = r + 6*r + 16 - 3*r - 3*r. Does 3 divide b(c)?
False
Suppose 0 = -5*v - 4*i - 21, 5*v + 4*i + i = -25. Is (-5)/(5/v) - (-52 + 1) a multiple of 13?
True
Let k = 58 + -58. Suppose k = 2*f - w - 618, -2*f - 2*w = -0*w - 612. Is f a multiple of 30?
False
Let u(s) = s + 13. Let x be u(-9). Suppose 0 = -x*d + 8, -b = -3*b + 4*d + 48. Does 5 divide b?
False
Let h = -435 - -639. Suppose -5*i + r + 148 = 0, -5*i + h = r + 52. Is 5 a factor of i?
True
Suppose d - 73 - 707 = -3*m, 3*m - 783 = -2*d. Does 7 divide m?
True
Let b(c) = 3*c**3 + c**2 - 2. Let u(s) = 2*s**3 - 2. Let f(k) = 3*b(k) - 4*u(k). Let d be f(-3). Suppose 42 = d*p - 2*i - 0*i, 48 = 2*p + 4*i. Does 12 divide p?
False
Let i = 442 + -144. Is i a multiple of 26?
False
Let o(s) = -s**2 + 26*s - 27. Suppose -5*g - 55 = -2*p - 14, -2*p - 3*g + 49 = 0. Does 7 divide o(p)?
True
Let s be (4 - -2)/(-3) - -2. Suppose 7*t - 35 = -s*t. Suppose -z - 4*z - 2*x + 233 = 0, -t*z = -2*x - 217. Is 15 a factor of z?
True
Suppose 4*y + d = 17, -d + 14 = 3*y + 1. Suppose -2*v - v + 3*f = -222, -65 = -v + y*f. Let z = v + -2. Is z a multiple of 18?
False
Let z(u) = u - 5. Let f be z(4). Let b be (-3)/6*(-3 + f). Suppose t - 21 = b. Is 23 a factor of t?
True
Let k be -2 + 1/(3/21). Suppose u + k = -0*u. Let o(s) = -6*s - 9. Is 7 a factor of o(u)?
True
Let g = 6 - 2. Suppose 4*z - 2*w - 21 = -3*w, 0 = -4*z + 4*w - g. Suppose -u - z*u = -90. Is 6 a factor of u?
True
Let j = 57 + 919. Does 16 divide j?
True
Let i = -54 - -56. Suppose 0 = i*w + 82 - 252. Is w a multiple of 17?
True
Suppose i - 2 - 1 = 0, 4*i = 5*r - 13. Let b(w) = 2*w**2 - 4*w - 2. Is b(r) a multiple of 25?
False
Let q = 92 - -308. Is q a multiple of 29?
False
Suppose -4*p + 430 = -582. Is 14 a factor of p?
False
Let i = 719 + 706. Is i a multiple of 15?
True
Does 3 divide (2/1 - (23 + -14))*-9?
True
Suppose 460 = 2*o + 20. Is 22 a factor of o?
True
Let y(h) = -109*h - 84. Is y(-3) a multiple of 13?
False
Suppose -4*m + 5*n = -2*m - 445, 4*m - 5*n - 865 = 0. Is m a multiple of 15?
True
Let p(h) be the second derivative of h**5/20 + 3*h**4/4 - 13*h**3/6 - 7*h**2 + h. Let i be p(-10). Let m = i + -6. Is 3 a factor of m?
False
Let x(q) be the third derivative of -q**5/30 + 5*q**4/24 - 4*q**2. Let w be x(4). Let o = w - -37. Is o a multiple of 9?
False
Suppose -3*b + 3*k - 6 = -3, -2*b = -5*k + 17. Let s(r) = 8*r**2 - 6*r - 4. Is s(b) a multiple of 8?
False
Let s = -309 + 689. Is s a multiple of 8?
False
Suppose 0 = -4*t - 5*w - 17, 2*w - 2 = t - 14. Let n be 0*(t + 0 + -1). Suppose -6*z + 23 + 25 = n. Is z even?
True
Suppose 9*x = 8*x + 245. Suppose 3*u = 4*p - 75 - x, 0 = 3*u - 12. Is 8 a factor of p?
False
Suppose -3*y + 4*t = -4*y + 4, t - 16 = -y. Suppose -6*a + y = -a. Suppose o = -3*j + 8, a*o + j - 45 = -13. Does 2 divide o?
True
Let s(r) = r**3 - 6*r**2 - 15*r + 27. Suppose 0*d + 4*d = 36. Is s(d) a multiple of 15?
True
Suppose -6*c + 4*r = -3*c + 244, 186 = -2*c - 2*r. Let g = c + 157. Does 3 divide g?
True
Let k(u) = u - 2. Let g be k(-9). Let o = -11 - g. Suppose o = 5*a - 136 - 234. Is 11 a factor of a?
False
Let s(m) = m + 168. Is s(0) a multiple of 28?
True
Suppose 81 - 286 = -5*p. Suppose 51 = 2*c + 4*m - 3*m, p = 2*c - m. Suppose 2*r - 73 = c. Does 14 divide r?
False
Suppose 3*v = -9, -j - 31 = 3*j + v. Let i(h) = 15*h - 8. Let o be i(j). Let k = o - -166. Is k a multiple of 20?
False
Suppose 5*j = -4*b - b + 3480, 0 = 4*b - 5*j - 2739. Does 30 divide b?
False
Suppose 3*j + 2 = 5*j. Is j/(3*(-1)/(-27)) a multiple of 3?
True
Let b = 38 - 37. Does 4 divide (b/(-3)*1)/((-1)/24)?
True
Suppose -2*i + 0*u + 2022 = 3*u, 0 = -2*i + u + 2014. Does 7 divide i?
True
Let p = 1687 - 427. Is p a multiple of 15?
True
Let p be (-36)/27*(-714)/4. Suppose 0 = l - p + 60. Does 26 divide l?
False
Let i(b) = 20*b**3 - 4*b**2 + 7*b - 3. Let h be i(2). Let c = h - 131. Is 5 a factor of c?
False
Is 4/(-6)*(-11610)/60 a multiple of 6?
False
Suppose -4*k + 980 = -0*k. Suppose 4*n - k = -5*h + 1, h - 53 = 3*n. Suppose -4*b + h = -r, -5*r = -2*b + 19 + 15. Is b a multiple of 6?
True
Does 12 divide 10/25 + 7/((-35)/(-1458))?
False
Let w(l) = l**2 + 11*l. Let v be w(-11). Suppose -2*u + v*f + 138 = -5*f, -4*u + 252 = 2*f. Is 16 a factor of u?
True
Suppose -6*x = -5*l - 2*x + 18, -2*l - 2 = 3*x. Is 9 a factor of (-3 - (-14)/l) + -2 + 241?
True
Let g(i) = 3*i + 26. Let d be g(-8). Suppose -d*j + 19 = -147. Is j a multiple of 24?
False
Suppose 0 = 20*o - 5*o - 1845. Is 25 a factor of o?
False
Suppose 5*y - 4*u = 1352, -u + 36 = 3*y - 782. Does 68 divide y?
True
Suppose -7*g + 15*g - 40 = 0. Suppose -4*h + 449 = 5*a, g*a + 2*h = a + 364. Is a a multiple of 20?
False
Let h(i) = 2*i**2 + 9 + 8 + 5*i - 4. Let m be h(-9). Suppose -3*q + m = 2*q. Is q a multiple of 13?
True
Let q(j) = 2*j**2 + 8*j + 3. Let w(y) = 2*y**2 - 12*y + 4. Let v be w(5). Is q(v) a multiple of 11?
False
Let u = -22 + 30. Is (90/u)/(12/64) a multiple of 30?
True
Suppose c - 3*u + 87 = 0, 0*u + 228 = -3*c - 2*u. Does 13 divide c*(0 - 12/8)?
True
Let n(s) = -4*s**2 - 7*s**2 - 3*s + 2 + 5*s**2 + s**3. Let z be n(6). Let h = -1 - z. Does 3 divide h?
True
Let k be (2/(-6))/(4/12). Let w(x) = -41*x + 1. Let h be w(k). Suppose 4*g - 275 = -3*p, -p + 3*g + h = -28. Is p a multiple of 12?
False
Let n = -300 + 412. Is n a multiple of 28?
True
Let q(x) = x - 5. Let m be q(9). Suppose -m*k + 116 + 44 = 0. Is 10 a factor of k?
True
Let k be ((-24)/30)/((-2)/5). Suppose -6*v + k*y + 25 = -v, 5*y - 5 = -v. Suppose q = -3*r + 2*q + 74, v*q = 20. Is r a multiple of 13?
True
Suppose 29*h = s + 31*h - 463, -3*h = -5*s + 2341. Is 46 a factor of s?
False
Let o(z) = -2*z**2 - 50*z + 44. Is o(-22) a multiple of 4?
True
Let q(j) = j**3 + 11*j**2 + 13. Let x be q(-11). Suppose -x*h + 9*h = -140. Is 10 a factor of h?
False
Suppose 2*n - 3159 = 1685. Is 12 a factor of n?
False
Let f = -108 + 90. Let h = 34 - f. Does 13 divide h?
True
Let d be 237/9 - 3/9. Let o be (16/10)/(d/(-975)). Is 12/o + 146/5 a multiple of 29?
True
Suppose 3*t - 88 = 92. Let n = t + -8. Is 4 a factor of n?
True
Let m be -8 - (-1 - (-3)/(-3)). Let f(t) = t**2 + 8*t - 4. Let s be f(m). Let y(h) = -2*h + 14. Is 23 a factor of y(s)?
True
Let n(t) = t - 4. Let o be n(5). Let w = 7 - o. Let i(u) = -2*u**2 + 17*u - 13. Is 11 a factor of i(w)?
False
Let i(v) = v**3 + 5*v**2 + 2. Let q be i(-5). Suppose 3*x - q*x - 4 = 0. Suppose -4*g + 30 + 90 = -x*l, -3*g - 3*l + 96 = 0. Is 16 a factor of g?
False
Let c(d) = -2*d**3 + 4*d - 5. Let j be c(-4). Let y = -30 + j. Does 7 divide y?
True
Let l(i) = -i**3 - 22*i**2 - 21*i + 30. Is l(-21) a multiple of 6?
True
Is (5 - 0) + (-423 + -3)/(-6) a multiple of 9?
False
Suppose -3052 - 8939 = -7*l. Is 92 a factor of l?
False
Suppose -8*q - 9 = 5*o - 4*q, -5*q = -3*o + 2. Is o*(-204)/8*2/3 a multiple of 2?
False
Suppose -33*a = -29*a - 328. Suppose 86*h - a*h = 260. Does 6 divide h?
False
Let h(q) = -q - 8. Let w be h(-4). Does 4 divide (-3 - w)*2*5?
False
Let d = 3 - 0. Let h(m) = -m + 46*m**d + m**2 - 58 + 58. Does 11 divide h(1)?
False
Suppose 109*i = 61*i + 23760. Does 2 divide i?
False
Let t = 921 + 36. Does 33 divide t?
True
Suppose 17 - 53 = 3*y. Let m = y - -36. Is 6 a factor of m?
True
Let z(i) = -2*i**2 + 18*i + 4. Let b(u) = -4*u**2 + 36*u + 9. Let d(f) = -6*b(f) + 11*z(f). Let h(q) be the first derivative of d(q). Does 13 divide h(11)?
True
Let v(t) = 4*t + 31. Let a be v(-15). L