iple of 26?
False
Let y = 42 - 26. Is (-2)/(y/(-50))*4 a multiple of 19?
False
Let b(t) = t**2 - 3*t + 7. Is b(8) a multiple of 29?
False
Let c(o) = 5*o**2 - 4*o + 4. Let v be c(6). Suppose 7*s = 2*s + v. Does 18 divide s?
False
Suppose 0*q - 2*q = 18. Let v = q + 11. Suppose j = v*j - 17. Is j a multiple of 11?
False
Suppose -3*j + 311 = 131. Let c(m) = 3*m**3 + 2*m**2 - 3*m. Let g be c(2). Let o = j - g. Is o a multiple of 9?
False
Suppose z - 3*h + 93 = 0, 5*h = -0*z - 3*z - 279. Let j = 180 + z. Is 29 a factor of j?
True
Suppose 4*c + 0*z + z = -36, 4*z + 36 = -4*c. Let x(p) = -p**3 - 8*p**2 + 7*p - 7. Does 5 divide x(c)?
False
Let a(x) = -x**3 - 2*x**2 + 10*x + 13. Is 26 a factor of a(-6)?
False
Let x(f) = f**2 - 8*f - 9. Let k be x(9). Let r = k - -2. Suppose 4*u = -g, -5*g = -r*u - 2*u - 72. Is g a multiple of 6?
True
Suppose -n = z - 1, -2*n - 2*n + z - 6 = 0. Let j = n + 53. Is j a multiple of 18?
False
Suppose -3*c + 10 = 5*n, -4*c + 6 = 2*n + n. Suppose n*x - 8 = -2*x. Suppose -23 = -5*f + x. Does 3 divide f?
False
Let g = 21 + -15. Suppose n = 4*n - j - 11, 2*j = -2*n - g. Does 14 divide 14 - n*(1 + -2)?
False
Suppose 0 = 5*k - 7*k + 18. Is k a multiple of 9?
True
Let y = -1 + 3. Let w be (-1*1)/(y/24). Let a = w - -22. Is a a multiple of 9?
False
Let c(i) = 2*i**2 + 4*i + 4. Is 26 a factor of c(-6)?
True
Let f = -33 - -81. Is 16 a factor of f?
True
Let b = 632 - 350. Is 44 a factor of b?
False
Suppose -3*z - 169 = 134. Let b = z + 143. Suppose 178 - b = 4*g. Does 17 divide g?
True
Let v(s) = -s**3 - 7*s**2 - 7*s - 2. Let h be v(-6). Suppose -4*d + 154 - 2 = -4*i, -3*i = h*d - 166. Is 10 a factor of d?
True
Suppose 7*h = -8*h + 150. Is h even?
True
Let u(g) = -g**3 - 31*g**2 + 29*g - 34. Is u(-32) a multiple of 31?
True
Suppose -16*x = -18*x + 150. Is 6 a factor of x?
False
Let a be -1*(-2)/2*-1. Let u = a - -11. Suppose 2*g = -3*b + 56, -2*g = -4*g - u. Is b a multiple of 11?
True
Let k be -3 - (-11 - (0 - 3)). Suppose -207 = w - 5*w - k*l, -111 = -2*w - 5*l. Is 11 a factor of w?
False
Is 6 a factor of 74/6 + 4/(-12)?
True
Does 53 divide (-15)/20*4 + 321?
True
Let k = 111 + -58. Suppose -j = -10 - k. Is 21 a factor of j?
True
Does 19 divide (-6)/((56/(-1386))/(4/6))?
False
Let a(y) = -6*y**3 + 5*y**2 + 7*y - 4. Let v(m) = -m**3 + m**2 + m - 1. Let z(n) = -a(n) + 5*v(n). Is z(2) a multiple of 3?
True
Let j = -33 + 72. Does 13 divide j?
True
Let r(o) = -o**3 - 13*o**2 + 7*o - 11. Does 29 divide r(-14)?
True
Suppose -g = 3*n + 313, g - 305 = 3*n - 0*g. Let o = -71 - n. Does 23 divide o?
False
Suppose -3*n - 80 = -7*n. Is 10 a factor of n?
True
Let a(c) = 3 + 2 + 1 + 2*c**3 + 7*c**2 + 5*c - c**3. Is a(-6) a multiple of 6?
True
Let o = 4 - 0. Let h = -43 - -67. Suppose -o*m + 0*m + h = 0. Is m a multiple of 6?
True
Suppose -120 + 0 = -4*q. Is q a multiple of 6?
True
Suppose 3*p - 7*p = 4. Let r = 14 - p. Is 5 a factor of r?
True
Let r(p) = p - 7. Let j be r(5). Is 24 a factor of 101/2 - 1/j?
False
Suppose 0 = -h - 2*n + 14, -4*h + 3*h + 29 = 5*n. Is 12 a factor of (-488)/(-20) - h/10?
True
Let j(w) = -4*w + w**2 - 6 + 2*w + 7. Does 7 divide j(5)?
False
Suppose -f + 8 = 3*f. Does 8 divide (-162)/(-10) - f/10?
True
Let n(d) = 5*d**2 - 2*d - 2. Does 14 divide n(-3)?
False
Let c be -1 - -4 - (-71 + 0). Let j = -39 + c. Is j a multiple of 15?
False
Suppose -5*p + 105 = -3*j + j, 5*p - 70 = -5*j. Suppose 5 = 3*i - p. Does 8 divide i?
True
Let t(b) = -b**3 + 3*b**2 + 5*b + 1. Suppose -s = -2*k - 0*s + 12, -5*k + s + 24 = 0. Let c be t(k). Let x(m) = m**3 - 5*m**2 + 6*m - 3. Does 9 divide x(c)?
True
Suppose 2 = -2*m + v, m - v = 2*v + 4. Is 8 a factor of ((-40)/(-25))/(m/(-20))?
True
Let f(y) = -y + 0*y**3 + 2*y + y**3. Suppose -2 = -4*p + 6. Is f(p) a multiple of 9?
False
Let p(l) be the third derivative of -3*l**4/8 + 11*l**3/6 + 6*l**2. Does 13 divide p(-6)?
True
Let s(g) = -36*g + 22. Is 31 a factor of s(-8)?
True
Let g(m) = m**2 + 4. Let u be g(0). Suppose -91 = -u*w + 53. Does 14 divide w?
False
Let l(w) = w**3 - 5*w**2 + 1. Let h be l(5). Suppose t - 342 = -5*q, -3*t + 5 = -h. Suppose -d + 2*d = -5*j + q, d = -j + 12. Does 8 divide j?
False
Let b = -97 - -69. Let g be (-2202)/(-54) - (-2)/9. Let j = b + g. Does 13 divide j?
True
Let o = 6 + -3. Suppose 7 = o*m - 5. Suppose 2*p + m = -0*p, 3*p + 100 = 2*f. Is 13 a factor of f?
False
Let b be (-6 - -3)*(-10)/6. Is 46/(-5)*(0 - b) a multiple of 23?
True
Let o be (-33)/3 + 3 + -2. Let d be (1 - -14)*(-18)/o. Let j = d - -5. Is j a multiple of 16?
True
Let f = -1 - -1. Let m = f - -8. Is m a multiple of 4?
True
Let b(x) = x**3 + 3*x**2 - 2*x + 1. Let u be b(2). Let w = u + -9. Is w a multiple of 3?
False
Let x(p) = p**3 + 13*p**2 + 10*p - 7. Is x(-12) a multiple of 6?
False
Let a(r) = -r**2 - r. Let u(h) be the third derivative of -h**5/20 - 7*h**4/24 - h**3/2 - 2*h**2. Let f(g) = 2*a(g) - u(g). Does 7 divide f(-8)?
False
Let f(u) = u**3 + 5*u**2 - 7*u - 2. Let i be f(-6). Let l = i - 1. Does 2 divide l?
False
Let o(h) = -h**3 - 6*h**2 - 6*h + 1. Let x be (-56)/(-26) + 6/(-39). Suppose -j + 4*j + 11 = 4*m, 4*j + x*m = -22. Is 4 a factor of o(j)?
False
Suppose -2*h + 3*r + 10 + 1 = 0, -3*h + 3*r + 18 = 0. Let f = h + -4. Is (-3)/(-4)*(33 + f) a multiple of 16?
False
Let q(g) be the second derivative of -g**5/20 + g**3/6 + 7*g**2 - 2*g. Is q(0) a multiple of 7?
True
Let t = -2 - -2. Suppose t*s + s = 27. Suppose 4*k - s = k. Is 9 a factor of k?
True
Let n = -65 - -112. Is n a multiple of 17?
False
Suppose -8 = -4*y - 32. Let r(b) be the third derivative of -b**6/120 - b**5/10 - 7*b**4/24 - b**3/3 + b**2. Is r(y) a multiple of 11?
False
Suppose j + 2 = -t - 4, 0 = -3*t + 2*j - 8. Let q(i) = 3*i**2 + 4*i - 6. Does 21 divide q(t)?
False
Let d be ((-10)/(-6))/(1/6). Suppose 2*n + 3*b - d + 3 = 0, 3*n = 5*b + 1. Suppose 5*h + 3*k - 84 = 0, 4*h + 21 - 75 = n*k. Is h a multiple of 12?
False
Suppose -5*x + 38 - 3 = 0. Suppose 93 = -4*s + x*s. Is 14 a factor of s?
False
Let o(x) = -x + 25. Does 7 divide o(6)?
False
Let v be (3 + -2)/(1/17). Suppose 0 = -3*z - v + 68. Is 9 a factor of z?
False
Let a be 5/((-10)/6) + 6. Suppose -2*i + a + 57 = 0. Is 11 a factor of i?
False
Let q be (-10)/(1 - (0 + 2)). Let b = 28 - q. Is 9 a factor of b?
True
Let l = 8 - 13. Is (l - -3)*27/(-3) a multiple of 15?
False
Let y = 726 + -418. Does 29 divide y?
False
Suppose 3*w + 12 = x, 5*w - 33 = 5*x - 103. Is x a multiple of 7?
False
Let n(o) be the first derivative of o**3/3 + 5*o**2/2 + 6*o - 3. Does 14 divide n(-8)?
False
Suppose -w = -4*w + 36. Is 2 a factor of w?
True
Suppose m = -3*p, -2*m - 2*m = 5*p. Let l = p - -2. Does 2 divide l?
True
Suppose 5*b + 17 = 3*s, -4*s + 2*s + 5*b + 13 = 0. Suppose -2*u = -s, -d - 4*u + 3 = -48. Does 11 divide d?
False
Suppose 2*q - 5 + 1 = 0. Does 23 divide ((-46)/(-8))/(q/8)?
True
Let r = -3 - -3. Let m be (-6)/(-3) + 3/(-1). Does 13 divide (0 - -27) + r + m?
True
Let f = 3 - 0. Let h = 3 + f. Does 4 divide h/27 - (-34)/9?
True
Let a(x) = -7*x - 2. Let p be a(-2). Is -3*(920/p)/(-5) a multiple of 13?
False
Let l(h) = 3*h - 2. Let p be l(2). Let o = -4 - -5. Is (p/(-8))/(o/(-32)) a multiple of 6?
False
Let p(g) = g + 5. Let z be p(6). Suppose 4 = 5*y - z. Is 3 a factor of y?
True
Suppose 544 - 220 = 9*y. Is y a multiple of 18?
True
Let a be 1*(3 + 26) - 2. Suppose 16 + a = o. Does 14 divide o?
False
Suppose 5 = -0*d + d. Suppose -5*w - 12 - 8 = -5*v, -4*w = -d*v + 21. Suppose f = v*f - x - 142, 0 = 2*f - x - 70. Is 12 a factor of f?
True
Let q(r) = -r**3 - 3*r**2 + r + 4. Is 18 a factor of q(-5)?
False
Let u be -7*(-3)/(4 - 1). Let o be u + (-2 - (1 + 0)). Suppose -93 = -o*j - 21. Is j a multiple of 6?
True
Let p(h) = 0*h + 1 + h + 1. Let d be (-1 + -2)*(1 + -3). Is 3 a factor of p(d)?
False
Let d(r) = 2*r - 8. Let n be d(7). Let o be (-263)/(-5) + n/15. Suppose -a + o = 5*b, 5*a + 3*b - 196 = b. Does 19 divide a?
True
Suppose 0 = -4*l + v + 420, 4*l + 4*v = 228 + 172. Does 15 divide l?
False
Let o(x) = -2*x**2 - 2*x + 230. Does 23 divide o(0)?
True
Let h be 204/10*5/2. Suppose h = 2*b - b. Is b a multiple of 17?
True
Let q(r) = -r**2 - 3*r + 2. Let h be q(-3). Suppose h*z + 2*p + 2*p = -4, -3*z + 6 = 2*p. Suppose 0 = z*y - 11 - 53. Does 8 divide y?
True
Let p(u) = u**2 + 6*u + 