le of 32?
False
Suppose -5*d = 2*u - 26, -4*u + 4 = d - 12. Suppose -15 = -0*w - u*w. Suppose 4*r - 89 = -3*m, w*r + 48 - 133 = 5*m. Is r a multiple of 12?
False
Let i(d) = d**2 + 6*d - 6. Let r(t) = 2*t**2 + 5*t - 7. Let s(u) = -4*i(u) + 3*r(u). Is 19 a factor of s(6)?
False
Let z(i) = -5*i + 55. Is 17 a factor of z(-6)?
True
Let u be 4/18 + (-32)/(-18). Is u + 25 + 1 + 0 a multiple of 14?
True
Let s(m) = -m**2 + 17*m + 4. Let u = 6 - 11. Let j(h) = h**2 - 16*h - 3. Let k(l) = u*s(l) - 6*j(l). Does 5 divide k(10)?
False
Let i(p) = -p**3 + 7*p**2 + 9*p - 7. Let m be i(8). Suppose 4*x - 3*j - 3 = m, -5*j + 1 = x. Let r(s) = 15*s - 1. Is r(x) a multiple of 14?
True
Suppose -i = -2*m - m - 1, -i = 2. Let p be 10/(-15) + 4/(-3). Is 2 a factor of 3 + (-1 - p - m)?
False
Let o be -1 - (-2 + -3 - 0). Suppose 130 = h + o*h. Is h a multiple of 7?
False
Let v = -134 - -202. Suppose 0 = 2*l - 84 - v. Suppose -2*k + l = 26. Does 17 divide k?
False
Suppose 0*g = -2*q + 4*g, -q - 8 = 2*g. Let n be (1 + q)*8/(-6). Suppose -18 = -2*w + 3*z, -4*w = -3*w + n*z + 13. Is 3 a factor of w?
True
Suppose 2*o - 120 = -4*f, 53 = 4*f - o - 55. Does 6 divide f?
False
Suppose 5*r + 10 = 0, -3*s + 3*r = -32 - 19. Suppose -d = -2*z - s, z + 95 = 4*d - 0*d. Is d a multiple of 6?
False
Let n(f) = -4*f - 7. Let u be n(5). Let k be (-3 + u/(-6))*4. Suppose -5*q - 5 = 0, 0 = k*o - 2*o - 2*q - 26. Does 6 divide o?
True
Let h(c) = 5*c**3 - 5*c**2 - 6*c + 9. Let g(u) = 6*u**3 - 6*u**2 - 6*u + 10. Let t(v) = -4*g(v) + 5*h(v). Is t(3) a multiple of 5?
True
Let z be (-1 - -3)*-1 + 0. Let y = z + 9. Does 4 divide y?
False
Let h(t) = -t**3 + 4*t**2 + 4*t + 7. Let c be h(5). Suppose -c*w - 53 = -j - 5*w, -18 = -j + 4*w. Does 10 divide j?
False
Let k(q) = 6*q - 3. Let i = -9 + 14. Suppose -9 - 31 = -i*f. Is k(f) a multiple of 19?
False
Let f(p) = -p + 10. Is f(-5) a multiple of 15?
True
Let n(w) = 10*w + 21. Let u(v) = 7*v + 14. Let h(j) = 5*n(j) - 7*u(j). Is 5 a factor of h(0)?
False
Let i(t) be the third derivative of -19*t**4/4 + 2*t**2. Let p be i(-1). Suppose -6*u = 3*o - 2*u - p, 2*o - 80 = -4*u. Does 14 divide o?
False
Suppose 121 = m - 3. Is m a multiple of 10?
False
Let j(z) be the second derivative of z**3/6 - 2*z**2 - 3*z. Let v be j(4). Suppose -2*r + 15 + 4 = 3*n, 4*n + 12 = v. Is r a multiple of 5?
False
Suppose 2*x - 5 - 13 = -3*m, 3*x - 27 = -m. Is 6/x - (-381)/9 a multiple of 9?
False
Let w = -14 + 30. Suppose 5*d - 5*n - 165 = 0, 4*n + w = -0*n. Does 13 divide d?
False
Let t(h) = 5*h**2 - h. Let k be t(1). Let c(p) = -5*p**2 + 2 - 1 + p**3 + k*p - 3. Is 9 a factor of c(5)?
True
Suppose 5*j - 47 + 17 = h, 2*j = -3*h + 29. Does 10 divide j + 1/2*6?
True
Let d(c) = 2*c**2 - 9*c - 8. Is d(10) a multiple of 6?
True
Let a(i) = 3*i - 13. Let d be a(6). Suppose -n - 1 = -d. Does 3 divide n?
False
Let k(h) = -4*h**3 - 3*h**2 + h. Let s be k(2). Suppose -2*d = 3*d + 120. Let i = d - s. Is 7 a factor of i?
False
Suppose 1 = -2*c + 9. Let h = 2 - c. Does 3 divide h/5 + (-37)/(-5)?
False
Let o(k) = 17*k**3 + 2*k**2 - k - 2. Does 14 divide o(2)?
True
Let z = 61 + 57. Is 59 a factor of z?
True
Suppose 5*h = -4*b + 133 + 166, -b - 2*h + 74 = 0. Does 19 divide b?
True
Let o(x) = x**2 + 9*x + 4. Let l be o(-8). Let i be 4/8 - 22/l. Suppose v + i = 2*v. Is v a multiple of 5?
False
Suppose -2*o + 6 = 0, -4*p + 8*p + o = 59. Let q be 788/p + 2/(-7). Suppose q = -0*b + 2*b. Is b a multiple of 13?
False
Let m(u) = -74*u. Let v be m(-1). Suppose -63 = -3*b - 5*p, 2*b + 3*b = 2*p + v. Let d = b - 8. Is d a multiple of 7?
False
Let k(f) = 10*f + 1. Does 11 divide k(4)?
False
Let n be (10/6)/(2/6). Suppose -5*a - 2*b + 106 = 0, -n*a + 5*b + 88 = b. Does 7 divide a?
False
Let d(n) = -n**3 + 4*n - 5. Let r be d(-4). Suppose -3*h = -r + 10. Does 11 divide h?
True
Let s(n) = n + 8. Suppose 3*v - a + 5 = -11, 2*v = 2*a - 16. Let m be s(v). Suppose 2*f - 66 = -0*f + 3*k, m*k = -f + 11. Is f a multiple of 14?
False
Let v be 0 + (0 - (-3 + 2)). Let q(r) = 6*r - 1. Let f be q(v). Suppose 2*m - 3*m = 5, 0 = 3*x - f*m - 172. Does 17 divide x?
False
Suppose -4*o - l = 1141, 0 = 4*o - 5*l + 1146 - 11. Does 22 divide (2/3)/((-5)/o)?
False
Let g(t) = t**2 - 5*t + 10. Is g(5) a multiple of 10?
True
Let j(o) = -10*o - 3*o**3 + 2*o**3 + 2*o**2 - 12*o**2 + 2. Let k(z) = -2*z + 17. Let g be k(13). Does 11 divide j(g)?
True
Let o(q) = -q**3 + 3*q**2 + 2*q - 4. Let x be o(3). Let u = 10 - x. Is u a multiple of 5?
False
Let w be -2 + (-3)/(9/(-6)). Suppose w*f - 4*f + 32 = 0. Does 4 divide f?
True
Let j = 5 - 5. Suppose -2*y + 0*y + 8 = j. Suppose -5*g - o + 38 = 0, -y*g + g - 2*o = -20. Does 8 divide g?
True
Let m = -1 + -1. Let l = -8 - m. Is 10 a factor of ((-2)/(-6))/(l/(-378))?
False
Is 6*(-8)/(-12) + 68 a multiple of 18?
True
Suppose 5*j + 155 + 385 = 0. Let d = -20 - -22. Is j/(-10) + d/10 a multiple of 6?
False
Suppose -3*z - 5*o = 177, -z + 5*o = 3*z + 236. Let u = z + 84. Does 12 divide u?
False
Suppose 5*r - 577 = -122. Is 7 a factor of r?
True
Let s(y) = -4*y**2 + 9*y**2 + 5 - 2 - 3*y + 3*y**2. Is 22 a factor of s(3)?
True
Let k = 103 - 71. Let l = -17 + 20. Suppose -l*i + 4 = 2*s - 12, -4*s + 2*i + k = 0. Does 4 divide s?
True
Let l be (1/2)/((-3)/(-30)). Suppose 27 = 2*z + l. Is 11 a factor of z?
True
Let o = 26 - 10. Let w = o - 7. Is w a multiple of 7?
False
Suppose 7*x - 161 = -3*z + 2*x, -5*z - 3*x + 295 = 0. Does 14 divide z?
False
Suppose -3*w - 6 = 0, 0 = -5*c + 2*c - 5*w + 194. Is c a multiple of 17?
True
Let x(j) be the third derivative of j**4/24 - 2*j**3/3 - 2*j**2. Let u be x(0). Is u/(-5)*(-20)/(-8) a multiple of 2?
True
Let c(x) = x**2 + 2*x - 5. Let n(u) = u**2 - 5*u - 3. Let p be n(4). Let j(z) = z**3 + 7*z**2 + 4. Let s be j(p). Is 11 a factor of c(s)?
False
Let o = -10 - -21. Let w = 15 - o. Is w a multiple of 3?
False
Suppose -4*v = 5*s - 6, 0*s + v - 14 = 5*s. Does 3 divide s/5 + 171/15?
False
Suppose 89 = 4*x + 13. Is x/4 + 10/40 a multiple of 5?
True
Suppose -1 = -3*g + 14. Suppose -2*v + g + 23 = 3*r, r = 4*v + 14. Is 9 a factor of r?
False
Let p = 16 - 10. Is (16/5)/(p/45) a multiple of 12?
True
Let x(l) = -l**2 + 11*l - 10. Suppose 5*t + 3*g = -10, 3*t - 4*g - 7 - 16 = 0. Suppose 2*f - 3*m + t = 0, 4*f - 2*m = -4*m + 38. Is x(f) a multiple of 9?
True
Suppose -5*y + 5 = 0, -5*n + 5*y - 405 = -0*y. Let i = n - -115. Does 17 divide i?
False
Let s = -37 - -120. Let d(c) = c**3 - 7*c**2 + c - 2. Let m be d(7). Suppose -5*x + 3*u + 59 = -s, -46 = -x + m*u. Is 13 a factor of x?
True
Suppose 142 = 5*z - 3*h, 0*h + 2*h = -8. Is z a multiple of 6?
False
Let l(o) = -o**3 + 8*o**2 - 8*o + 4. Let f be l(7). Is 3 a factor of -3 - (-12 - (-6 - f))?
True
Let b(k) = -2*k - 7. Suppose 0 = -3*d - 11 - 7. Let l be b(d). Let z = 4 + l. Is z a multiple of 6?
False
Suppose 2 + 4 = 2*d. Does 2 divide d?
False
Let t be -5*(20/(-4) - -2). Does 5 divide 0 + -3 + t - -3?
True
Let m(f) = 1 + 4*f**3 - 26*f**2 + 5*f + f**3 + 0. Let a(j) = 3*j**3 - 17*j**2 + 3*j + 1. Let c(d) = 8*a(d) - 5*m(d). Does 9 divide c(-6)?
True
Suppose 5*z - 66 + 11 = -5*i, -42 = -2*i + 2*z. Is 7 a factor of i?
False
Let q = 3 - 0. Suppose 4*p - 40 = -2*m, -2*p = -m + q*p + 27. Is 11 a factor of m?
True
Suppose 0 = -5*z - w - 34, 4*z = -0*w + 4*w - 8. Let o = z - -44. Is o a multiple of 19?
True
Is 26 a factor of ((-155)/(-20))/(-4 - 260/(-64))?
False
Let d = -8 - -14. Suppose -3*h - 2*r = -d*r - 95, 0 = -2*h - 3*r + 52. Suppose -h = -5*w - 9. Is 4 a factor of w?
True
Does 11 divide 376/20 - (-5)/25?
False
Suppose 3*j = -3*x + 45, 0 = -3*x - 2*j + 21 + 22. Let g(z) = -2*z**3 + z**2 - 3*z - 3. Let r be g(-2). Let y = x + r. Does 21 divide y?
False
Let s(o) = -16*o - 1. Let u be s(-1). Let c = 25 - u. Is c a multiple of 4?
False
Suppose 0*a = 2*a - 192. Does 27 divide a?
False
Is 10 a factor of (-12)/20 - (-1059)/15?
True
Let k be (-6)/4*(-88)/6. Suppose 3*u = 7 - k. Let v = 35 + u. Is v a multiple of 15?
True
Let k(d) = 7*d**2 - 3*d - 5. Let r(i) = -i**2 - i. Let o(f) = -k(f) - 6*r(f). Is o(5) a multiple of 12?
False
Let t = -2 - -101. Is 27 a factor of t?
False
Let j(b) = -8 + b - 6*b + b**3 - 2*b**2 - 5*b**2 + 2*b. Let g be j(8). Suppose -g + 187 = 5*m. Is m a multiple of 16?
False
Let y(h) = h**2 + 6*h + 3. Let d be y(-6). Suppose