 - 0. Is h a multiple of 5?
True
Let s(x) = x**2 - 2*x - 1. Let i be s(3). Suppose -3*m = -4*w + 3, 5*m = -7*w + 3*w - 5. Suppose w = 4*r - i - 10. Is 3 a factor of r?
True
Let f(h) = 2*h**3 - 8*h**2 + 9*h - 4. Let p be f(6). Suppose -3*i + 4*d = i - 212, 4*i - p = -2*d. Is 14 a factor of i?
False
Suppose -5*x - 1000 = -3065. Suppose -2*d = -x - 121. Let f = d + -137. Is f a multiple of 30?
False
Let o be ((-9)/(-3))/6*0. Let n be (2 - o)/(-2) + 3. Suppose -h + 2 = 0, -n*v = -6*v - 4*h + 28. Is v a multiple of 5?
True
Let g be 1*-22 - (6 - 4). Let h be (-14)/(-4) + g/16. Is 11 a factor of h*(148/8 - -1)?
False
Suppose 0 = 2*v + 8 + 12. Let w = 13 + v. Suppose 2*b + 45 = 4*b - 3*n, 3*b - 72 = w*n. Is 7 a factor of b?
False
Let o = -91 - -94. Suppose -3*q + o*p = -75, q + 2*q - 80 = 4*p. Is q a multiple of 8?
False
Suppose 0 = i - 5*f - 84, 3*f - 91 = -5*i + 329. Does 12 divide i?
True
Let o(p) = -9*p**3 + p**2. Let c be o(-1). Let s be (-6)/15 - (-934)/c. Let a = 139 - s. Does 14 divide a?
False
Let n be 4*(3/(-6) + 1). Suppose 70 = n*s - 208. Let b = -93 + s. Is b a multiple of 23?
True
Let z = -8 - -9. Let m = z - -2. Suppose 5*y - 3*x = 93, 4 = -x + m. Is y a multiple of 9?
True
Let l(m) = 103*m - 43. Let r be l(1). Suppose -20 = -3*o + 5*g, 8 = o + 4*o - 2*g. Suppose 5*h + n = 5*n + r, -5*n - 25 = o. Is 4 a factor of h?
True
Let z(r) = r**2 - r - 2. Let h be z(-4). Suppose 4*d - 30 = h. Is 16 + -1 - 12/d a multiple of 7?
True
Let u = 68 - -166. Is u a multiple of 9?
True
Let r(m) = 3*m**2 + m - 25. Let j be ((-6)/1 + 12)*1/(-1). Is 7 a factor of r(j)?
True
Suppose i - 4*p + 32 = 2*i, 2*i = 3*p + 86. Let y = i + 46. Let j = -44 + y. Does 16 divide j?
False
Let g(c) = -3*c + 1. Let y be g(6). Let w = -5 - y. Is w a multiple of 3?
True
Suppose i = -i + 4*x + 1248, -4*x - 630 = -i. Does 20 divide i?
False
Let r be (1*-3)/(3/(-48)). Suppose -20 = -2*x + r. Is x a multiple of 17?
True
Let p(a) = 2*a**3 + 49*a**2 + 7*a - 188. Does 86 divide p(-21)?
True
Let z(o) = o**3 + 4*o**2 - 8*o - 6. Let i be z(-5). Suppose -2*y + i = y. Suppose p - 5 - y = 0. Is 8 a factor of p?
True
Let h be (-244)/(-24) - 2/12. Let b(y) = -y. Let a be b(h). Is 2/a + 966/30 a multiple of 22?
False
Let n(d) = d**2 - 2*d + 13. Let f be (-4)/(-30) + (-10)/75. Suppose f = 2*i + 4*m, -2*i - 32 = -0*i - 4*m. Is n(i) a multiple of 22?
False
Suppose 0*k = -6*k. Let p be (k + 1)*(2 + 3). Suppose -p*s = -1 - 4, 3*s = -3*w + 87. Is w a multiple of 14?
True
Suppose -691 - 1010 = -7*s. Is s a multiple of 10?
False
Suppose 47 = 7*h + 12. Suppose 3*u - 160 = 2*y, 2*u + 2*y - h*y - 110 = 0. Is 6 a factor of u?
False
Let f(u) be the third derivative of -47*u**4/24 + 4*u**3/3 + 15*u**2. Is f(-1) a multiple of 9?
False
Let f = -13 - -17. Suppose 0 = f*k - 45 - 83. Does 8 divide k?
True
Let b(g) = g**2 - 10*g - 49. Let z(r) = -r + 1. Let w(m) = b(m) - z(m). Is w(14) a multiple of 4?
True
Let o be (3/9)/((-3)/(-36)). Suppose k + 41 = 4*d + o*k, 4*k = d + 4. Suppose 7 + d = n. Is n a multiple of 15?
True
Let x be 599/3 - (-44)/(-66). Suppose -4*p + x = -497. Is 58 a factor of p?
True
Let o = 247 - 104. Let n = 297 - o. Is n a multiple of 24?
False
Suppose 34*n - 68 = 36*n. Let m = n + 49. Is m a multiple of 5?
True
Suppose 927 + 2283 = 5*l. Suppose 5*n = x - 140, 4*x + 4*n - l = -x. Does 11 divide (-2)/(-13) + 7000/x?
False
Let b(o) be the second derivative of -11*o**5/120 + o**3/2 - 4*o. Let j(r) be the second derivative of b(r). Is 11 a factor of j(-1)?
True
Let y = 2968 - 1738. Is 11 a factor of y/7 + 4/14?
True
Let d(n) = 2*n - 22. Let i = 45 + -29. Does 5 divide d(i)?
True
Suppose -3*t - 6 - 2 = -2*y, 4*t = y - 4. Suppose t*o - 3*o = -15. Suppose 5*l - h - 100 - 38 = 0, -4*l + o*h + 102 = 0. Is 15 a factor of l?
False
Suppose -2*i + 3*i = -5*b + 615, 4*i - 2460 = -4*b. Does 15 divide i?
True
Suppose -4*q + 2*q - 5*k + 1051 = 0, -4*q + 2087 = 5*k. Is 74 a factor of q?
True
Let k be (1 + 4)*(-30)/(-75). Suppose k*r - 4*i + 32 = 108, -4*r + i = -124. Is r a multiple of 10?
True
Suppose 4*m + 3880 = -4*m. Let x = -342 - m. Is x a multiple of 11?
True
Is 4432 - ((-9)/6)/((-2)/(-4)) a multiple of 53?
False
Let o be 7*(-7)/((-49)/(-6)). Let u(y) = -8*y + 11. Does 7 divide u(o)?
False
Suppose p + 11 = 82. Let z = p + -17. Is 27 a factor of z?
True
Let q = 249 - -31. Is 14 a factor of q?
True
Let i(c) be the second derivative of -c**5/20 + 7*c**4/4 + 7*c**3/2 + 13*c**2 - 3*c. Is i(22) a multiple of 3?
False
Suppose 0 = 15*v - 16*v. Let c be 2*(-3)/(v - 3). Suppose 0 = i - c*i + 5*s + 37, -4*s - 68 = -4*i. Is 4 a factor of i?
True
Does 15 divide (18170/(-20) + -2)*-2?
False
Let z = -1899 - -2927. Does 29 divide z?
False
Suppose -5*f + 2*f = -12. Suppose 0 = 2*q + 2*s - 36, 3*q - 3*s = f*q - 24. Is 20/(-3)*(-36)/q a multiple of 8?
True
Suppose s - 593 = 5*o, -4*s = o + 3*o - 2252. Is 71 a factor of s?
True
Suppose -5*b - 22 = 2*i - 0*b, -3*b = 4*i + 58. Let z = i - -147. Is 15 a factor of z?
False
Let o(f) = f**3 + 6*f**2 - 12*f - 15. Let q be o(-7). Let j be (q/(-25))/(4/(-310)). Suppose 0 = 3*l - 40 - j. Is l a multiple of 19?
False
Let v = -46 - -237. Does 21 divide v?
False
Let t(w) = 7*w**2 + 5*w + 6. Let b be t(-3). Suppose -b = x - 7*x. Is x a multiple of 2?
False
Let m(y) be the first derivative of y**3/3 - 2*y**2 + 7*y + 747. Let h(z) = -z**2 + 4*z + 1. Let s be h(3). Does 7 divide m(s)?
True
Suppose 9 + 5 = -2*f. Let b(w) = w**2 + 7*w + 2. Let o be b(f). Suppose -20 = -o*s + 3*x + 2*x, -4*s = -3*x - 54. Does 14 divide s?
False
Let g(k) = -4*k + 20. Let f be g(5). Suppose f = -t + 12 + 10. Is t a multiple of 15?
False
Suppose -m + 153 = 3*g, 0 = 3*g - 4*m - 0*m - 138. Let p = 90 - g. Suppose -5*h = -3*h - p. Is 11 a factor of h?
False
Let c(p) = -p**3 - 3*p**2 - 2*p - 10. Let f be c(-3). Is 49 a factor of ((-98)/(-8))/((-1)/f)?
True
Let u(t) = -t**2 - 4*t + 5. Let f be u(-4). Is (0/(-4))/f - -100 a multiple of 20?
True
Let k = 1945 + -1261. Does 17 divide k?
False
Is 109 a factor of 109/(8 + (1 - 928/104))?
True
Suppose 0 = 2*u + u - 6. Is 9 a factor of -36*u/8*-1?
True
Suppose 3*n - 2106 - 3687 = 0. Is 6 a factor of n?
False
Suppose 4*d - 158 - 37 = 5*b, -2*d + 78 = 4*b. Suppose 0 = 2*p + p + 3, p + 64 = 3*m. Let h = d - m. Does 6 divide h?
True
Let q(i) be the third derivative of i**6/120 - i**5/15 - i**4/24 + 2*i**3/3 - 27*i**2. Is q(7) a multiple of 25?
False
Suppose -a + 8 + 20 = 0. Let b be (-4)/14 - (-64)/a. Suppose b*o = 30 + 30. Does 10 divide o?
True
Let j(w) = -7*w**3 + w**2 - w - 17. Let v(m) = 3*m**3 + m + 8. Let o(c) = 2*j(c) + 5*v(c). Let f be o(-4). Let a = -23 - f. Does 5 divide a?
True
Suppose 2*r + 5*w = -0*r - 54, -5*w = 4*r + 118. Let o = 66 + r. Does 17 divide o?
True
Let s(q) = 4*q - 2. Let o(x) = -11*x + 5. Let c(n) = 2*o(n) + 7*s(n). Is c(4) a multiple of 10?
True
Let j be (8 - 17) + 0/(-1). Let w = 9 + j. Suppose 2*k - z - 135 = 0, 2*k - 132 + w = 4*z. Is k a multiple of 22?
False
Let m(a) = 3*a - 9. Let x be m(6). Let n be 386/3 + 3/x. Let d = n + -78. Is d a multiple of 17?
True
Let l(n) = -25*n**2 + 14*n + 7. Let k be l(9). Let t = k - -3862. Is 39 a factor of 22/77 - t/(-14)?
False
Suppose -2724 = 20*y - 7244. Does 20 divide y?
False
Let m = 26 - 27. Let u be 0*m/2 + 5. Suppose -6*q - u*z + 70 = -q, 4*q - 3*z = 49. Is 6 a factor of q?
False
Let l(g) = -g**3 + 5*g**2 - 3*g - 1. Let z be l(4). Let c = 78 + -36. Suppose -2*u - c = -z*u. Is u a multiple of 14?
True
Let i(h) = -h**3 + 30*h**2 - 60*h - 47. Is 39 a factor of i(27)?
False
Suppose 3*b + 0*b - 39 = -4*s, 2*s - 15 = 3*b. Is 63/12*12/s even?
False
Let c(v) = -10*v - 11. Let r be c(-4). Let m = r + -9. Is m a multiple of 5?
True
Suppose -4*m + l + 2*l + 1084 = 0, 3*m + 2*l - 830 = 0. Is m a multiple of 29?
False
Suppose b - 21*d = -26*d + 1075, 0 = 2*b - 5*d - 2150. Is b a multiple of 43?
True
Let q = 114 + -33. Let w = q + -60. Is 2 a factor of w?
False
Let n be 14 - (-8)/12*-6. Suppose n = q - 10. Is q a multiple of 20?
True
Suppose 30 = 22*r - 12*r. Suppose 0 = -4*o + 5*i + 755, 0*o - 190 = -o + i. Suppose r*d = 3*k - o, -k = 4*d + d - 53. Is k a multiple of 21?
True
Let p(m) = m**3 + 21*m**2 - 21*m + 79. Is p(-22) a multiple of 57?
True
Let q(j) = 4*j**3 - 7*j**2 + j + 10. Let c(x) = -7*x**3 + 13*x**