. Let n(b) = f*b - 4 + 0 + 2*b. Is 3 a factor of n(5)?
True
Suppose 0 = -4*z + 9 - 37. Let u(y) = -3*y - 6. Is 5 a factor of u(z)?
True
Suppose -18 = -4*s - 2. Is 27/2*s/3 a multiple of 10?
False
Suppose 3*x - 14 = l, 10 - 32 = x + 5*l. Let w(b) = 2*b + x*b - 3 - 2. Is w(5) a multiple of 12?
False
Suppose -5*s + v + 230 = 0, 0*s = 2*s - 2*v - 84. Let q = 69 - s. Is (5 + -4)/(1/q) a multiple of 22?
True
Suppose -4*z + 4*y + 26 = y, 5*y + 5 = -z. Let s(o) = 3*o + 0*o**2 + 3*o**2 - 2*o - o**3 + 2*o**2. Is 5 a factor of s(z)?
True
Let x be ((-4)/(-6))/((-2)/(-18)). Let w = x - -4. Is 11 a factor of ((-25)/w)/((-1)/8)?
False
Let x(v) = 5*v**2 - 6*v + 1. Does 19 divide x(4)?
True
Suppose 0 = -2*d + k + 6 + 15, -5*d - 4*k = -20. Does 3 divide d?
False
Let v be (80/(-6))/(-2)*-3. Let n = -28 - v. Let k = 24 + n. Is k a multiple of 8?
True
Suppose 0 = b - 22 - 54. Does 38 divide b?
True
Let o(t) = 12*t**2 + t. Is o(-1) even?
False
Let u be -1 - (2*-8 + -1). Suppose -4*l = -0*l - u, -5*l = 2*v - 32. Does 4 divide v?
False
Suppose -d = 2*q - 15, 4*q + 33 = -2*d + 7*d. Is d a multiple of 6?
False
Let n(h) = -4*h - 5. Is 2 a factor of n(-7)?
False
Let f be 1 - (57 + 0 + -2). Let h = -33 - f. Is 7 a factor of h?
True
Suppose 0 = -3*u - 0*u. Suppose -2*p - 3*d = -12, 2*p = -u*p + 2*d + 32. Does 12 divide p?
True
Let h(z) = -4*z**2 - 2*z**3 - 3*z - 6 + 2 - 2*z**2. Let s be 18/(-5) + 4/(-10). Is 13 a factor of h(s)?
False
Let g = 0 + 14. Is 4 a factor of g?
False
Let i(t) = -t**3 + 12*t**2 + t + 2. Let y be i(12). Suppose 3*u - 38 = -y. Is u a multiple of 8?
True
Let y(u) = 19*u + 1. Is 20 a factor of y(4)?
False
Let l = -42 - -104. Is 14 a factor of l?
False
Suppose 3*n - 4*n - 3*z = 11, -n - 11 = -3*z. Suppose 3*p + 2*o = -6 + 14, -p + 3*o - 12 = 0. Is 1 - (p + 1) - n a multiple of 5?
False
Let b = -7 - -3. Let h(i) be the third derivative of -i**4/12 - 2*i**3/3 - i**2. Does 2 divide h(b)?
True
Does 5 divide (-16 + (-12)/3)/(-2)?
True
Let f(i) be the second derivative of i**5/20 + i**4/2 + i**2 + 4*i. Is f(-6) even?
True
Let r be (-16)/(-12) - 1/3. Let x = 17 + r. Is 18 a factor of x?
True
Let j(d) = -d + 7. Suppose -3*p = -6*p + 12. Let c be j(p). Suppose 0*l + 53 = 4*l - c*t, t = 3*l - 41. Is 12 a factor of l?
False
Suppose -o - 5*l = 2, 6 = -5*l - 4. Is o a multiple of 4?
True
Suppose 0 = v + 2*v. Let h(f) = -f**3 + f**2 + 4. Let y be h(0). Suppose 0 = 5*s + 3*q - 105, y*q - 4 + 24 = v. Is 12 a factor of s?
True
Suppose 0 = -5*q + 20, t = -4*q + 16 + 15. Let p = 4 - t. Let o = p - -18. Is 7 a factor of o?
True
Suppose a = -2*o - 2 + 1, -4*a = 2*o + 16. Let p = 10 + a. Does 5 divide p?
True
Let y(c) = 52*c**3 + 2*c**2 - 2*c + 1. Is y(1) a multiple of 5?
False
Let c(g) be the third derivative of -g**3 + g**2 + 0 - 1/15*g**5 + 0*g - 1/120*g**6 - 1/8*g**4. Does 5 divide c(-4)?
False
Suppose u - 6*u = -360. Is 12 a factor of u?
True
Let j be ((-6)/(-8))/((-3)/(-156)). Let u = j + -19. Does 10 divide u?
True
Let m(d) = -2*d**2 + 14*d - 3. Is 5 a factor of m(6)?
False
Suppose -4*s - 9 + 1 = 0. Let j = -1 - s. Is 9 a factor of 30/((-3)/j)*-1?
False
Let k(a) = -a**3 - 3*a**2 - 2*a - 1. Let l be k(-2). Let p = -1 - l. Let t = p + 4. Is t a multiple of 3?
False
Suppose -110 = -r - r. Is 11 a factor of r?
True
Is ((-2 - -3) + 0)*61 a multiple of 14?
False
Let t(a) = a**2 + 5*a - 1. Let s be t(-6). Suppose -s*z + 0*z + 4*o = 10, 0 = o - 5. Suppose v - 2 = z*r, 5*v - 18 - 4 = 4*r. Does 3 divide v?
True
Suppose 3*v + 15 = -2*v. Let a = v - -8. Is 3 a factor of a?
False
Suppose 0 = -2*p - 2*a + 14, 0 = 2*p + 5*a - a - 22. Suppose d = -p*d + 176. Let u = d - 26. Is 18 a factor of u?
True
Let o = -615 - -879. Is 22 a factor of o?
True
Suppose b + 6 = 3*b. Let g(x) = 3*x - 4. Let h be g(b). Suppose -t + 2*i = 3*i - h, -3*t + 3*i + 9 = 0. Is t a multiple of 2?
True
Suppose a - 25 = -5. Is a a multiple of 20?
True
Let v(c) = -c**3 + 9*c**2 - 6*c + 14. Does 38 divide v(7)?
False
Suppose 5*f - 3*c = 45, -2*f - 15 = -2*c - 37. Let j be (10 - f)/(4/18). Suppose -4*t = -12, h = -4*t + j + 34. Is 17 a factor of h?
False
Let g = -5 - -5. Suppose a - 18 + 5 = g. Does 13 divide a?
True
Let g = 36 + -17. Let b be g/5 - (-4)/20. Suppose 0 = 5*j - 4*x - 64, 0*j + b*j + 4*x - 44 = 0. Is j a multiple of 12?
True
Let i be -6 - 1*6/2. Suppose x = -5 - 1. Let r = x - i. Is 2 a factor of r?
False
Suppose 3*r - 4*r + 51 = 0. Let t = r + -35. Is 7 a factor of t?
False
Suppose -48 = 21*v - 24*v. Is v a multiple of 4?
True
Let o(j) = j**2 - 5*j - 5. Let p be o(-4). Let b = p - 13. Is 6 a factor of b?
True
Let o(n) = n**3 - 6*n**2 - 1. Is o(7) a multiple of 6?
True
Let u(a) = a**3 - a**2 - a + 10. Let m(d) = -d + 5. Let f be m(5). Let s be u(f). Suppose g = -0*g + s. Is g a multiple of 10?
True
Let r be (-24)/((-3)/((-18)/(-4))). Suppose -4*q + 3*q = 4*p - 12, 3*q + p - r = 0. Does 11 divide q?
False
Let i = -47 - -61. Is 9 a factor of i?
False
Suppose 17*t - 18*t + 78 = 0. Is t a multiple of 13?
True
Suppose 4*o + 4*v - 28 = 3*o, -5*v = 0. Does 8 divide o?
False
Is 3/15 - 554/(-5) a multiple of 37?
True
Suppose 3*t = 8 - 2. Suppose j - t = -0. Suppose -8 = -2*k + 2, j*i + 5*k - 47 = 0. Is 11 a factor of i?
True
Let u(y) = -y**2 + 7*y + 4. Let k be u(7). Let f = 6 - k. Suppose f*i = i + 23. Does 23 divide i?
True
Let l(y) = 2*y - 1. Let m be l(2). Suppose -m*w + 30 = -c + 120, 0 = 3*w + 3. Is c a multiple of 23?
False
Let m = 19 - 7. Is 14 a factor of (-4)/3*(0 - m)?
False
Suppose -2*o + 12 - 8 = 0. Suppose -o*v + 4 + 46 = 0. Is 14 a factor of v?
False
Let a(s) = -7*s + 17. Let v(i) = 4*i - 9. Let h(k) = -6*a(k) - 11*v(k). Is 3 a factor of h(-3)?
True
Suppose -319 = -3*u + 2*u. Is u a multiple of 18?
False
Suppose -10 = 2*s, p = -2*s - 3*s + 100. Is 25 a factor of p?
True
Let a be (-136)/(-22) - (-16)/(-88). Let o be -35*(a/(-2) + 2). Let x = o - 11. Is 11 a factor of x?
False
Let f be ((-6)/(-4))/((-6)/152). Let v = 23 + f. Does 5 divide ((-4)/(-5))/((-2)/v)?
False
Suppose q + 4*q - 366 = -3*t, 5*q - 356 = 2*t. Is q a multiple of 8?
True
Let y be (-9)/(-6)*(-8)/6. Let i be (1 + y)/((-1)/4). Suppose m + 18 = -5*f, -3*m + i*m - 17 = 2*f. Is m a multiple of 5?
False
Let k(h) be the first derivative of h**4/4 - 2*h**3 - 3*h**2/2 - 8*h - 2. Let c = 29 - 22. Is k(c) a multiple of 7?
False
Let f = -6 - -3. Let v = f + 15. Is 6 a factor of v?
True
Suppose -2*h - 15 = 3*h, 0 = 2*n - 3*h - 13. Let s = 8 - n. Is (s/9)/((-1)/(-15)) a multiple of 3?
False
Is 2/6 + 356/12 a multiple of 10?
True
Suppose a + 4 = 2*a. Is a a multiple of 4?
True
Let m(d) = -21*d - 1. Let k be m(-1). Does 8 divide 1/(2/k) - -2?
False
Suppose 14 = -5*m - 2*b, b - 6 = 4*m - 0*m. Is 0 + 14 + m + 3 a multiple of 13?
False
Suppose c = 3*c - 18. Suppose -3*x = -4*w + 86, 3*x - c = -w + 5. Is 13 a factor of w?
False
Suppose d = 5*n - 442, 3 = 3*d - 2*d. Does 19 divide n?
False
Let g = -66 + 103. Is g a multiple of 11?
False
Is 13 a factor of (-38)/((-1)/(2/4))?
False
Is 18 a factor of (-6)/(-39)*599 + (-2)/13?
False
Suppose -7*b = -0*b - 847. Is b a multiple of 11?
True
Let u be (-24)/(-3) + 3 + -2. Let v = u - 4. Is v a multiple of 3?
False
Suppose 4*u - 27 = u. Suppose -4*s = -r + u + 2, r - 7 = 2*s. Suppose -3*i = 4*g - 135, 52 = -r*g - i + 157. Is g a multiple of 18?
True
Suppose -9 = 3*z + 9. Let r(x) = -2*x. Is r(z) a multiple of 12?
True
Suppose 0 = 5*v + 170 - 790. Suppose -m - v = -5*a + 14, 2*a = -2*m + 60. Does 9 divide a?
False
Let f(s) = -s - 1. Let h be f(0). Let c be (h/(-2))/(1/4). Suppose -2*n = c*b - 38, 5*b - 2*n - 135 = n. Is b a multiple of 12?
True
Let f(n) = n**3 - 8*n**2 - 7*n - 8. Is f(10) a multiple of 32?
False
Suppose -20 - 130 = -5*h. Is h a multiple of 10?
True
Let m(l) be the third derivative of l**4/24 - 2*l**2. Let v(d) = -3*d - 4. Let h(t) = -2*m(t) - v(t). Is 4 a factor of h(0)?
True
Let r(f) be the second derivative of 13*f**3/6 + 3*f. Suppose 0 = -5*m + 2*k + 4, 0*m - 5 = -4*m + k. Does 13 divide r(m)?
True
Let y(m) = m**2 + 11*m - 13. Is 31 a factor of y(-16)?
False
Let s(z) = z**2 - 11*z - 24. Is 6 a factor of s(15)?
True
Let u be (-40)/(-12)*6/5. Suppose -q - 12 = -2*r, -u*q - 4*r - 32 = q. Let a = q + 44. Does 18 divide a?
True
Let n(c) = -2*c + 12 + 8 + 8. Does 28 divide n(0)?
True
Let w be (-