s (-23)/(-2) + 5/y a multiple of 4?
True
Let m be 0/1*(-4)/8. Let u be 1 + (-1 - (m - 0)). Suppose u*w + 24 = w. Is 16 a factor of w?
False
Let d(l) = l**3 + 5*l**2 - 4*l - 4. Let g be d(-5). Suppose -3*u = -s - 41, 3*u + 7*s = 3*s + 61. Is u/4*g/6 a multiple of 5?
True
Suppose y - 14 = 3. Suppose y = -2*r - 3. Is 12/r*15/(-6) even?
False
Let q(x) be the second derivative of x**5/10 - x**4/4 + x**3/3 - x**2 - x. Let c be q(2). Is (-5)/(20/c)*-8 a multiple of 5?
False
Let c be (-16)/(-4) - (4 - 2). Suppose -c*b = -3*q - 4*b + 76, -5*b + 82 = 3*q. Is q a multiple of 8?
True
Suppose k = -0*s - s + 19, -20 = -2*k + 4*s. Let n(b) = b**2 + b - 2. Let m be n(-2). Suppose m = -4*o + 112 - k. Is 14 a factor of o?
False
Let j = -15 + 33. Is j a multiple of 3?
True
Suppose -4*h + y = -16, -5*h + 3*y + 35 = -2*y. Is 2 a factor of h?
False
Let z = -32 + 100. Let a = -40 + z. Is 14 a factor of a?
True
Suppose 0 = 2*x - 84 - 54. Suppose -p - 2*p + x = 0. Is p a multiple of 23?
True
Let y(r) = r**2 - 6*r + 6. Let c be y(6). Let t be 12/8*20/c. Let l = t - -1. Is l even?
True
Let z(m) = 179*m**2 - 2*m - 1. Does 22 divide z(-1)?
False
Let x(r) = 104*r**2 + 3*r + 1. Does 14 divide x(-1)?
False
Let s(w) = -3*w + w**2 + 0*w**2 + 3*w. Let f be s(3). Let q = f + 3. Is 6 a factor of q?
True
Let t be 4/(-3)*(2 + -5). Suppose -33 = -3*j - x, t*j - 5*x = -0*j + 25. Is j a multiple of 5?
True
Let v = -399 - -561. Is v a multiple of 45?
False
Suppose 4*b + c = -95 + 296, -248 = -5*b + 2*c. Is 10 a factor of b?
True
Suppose 2*o = -3 - 1. Let c(a) = a**3 + 6*a**2 - a - 2. Let f be c(-6). Is 7 a factor of 4*o*(-10)/f?
False
Let p be 59 - (4/(-1))/4. Let y = p - 41. Is 19 a factor of y?
True
Let j = -4 + 10. Is 3 a factor of 61/7 - j/(-21)?
True
Let y = 124 - 40. Is 12 a factor of y?
True
Let o(a) = 9*a**2 + 1. Does 7 divide o(1)?
False
Suppose -s + 8 = -3*s - 2*h, 5*h - 5 = 0. Let z(j) be the third derivative of j**5/30 + 7*j**4/24 + j**3/6 - j**2. Is 16 a factor of z(s)?
True
Let a(j) = j**2 + 5*j - 10. Let f be a(-7). Suppose 0*b - f*b = 12. Is 16 a factor of b/((-38)/32 + 1)?
True
Suppose 2*d - 50 = -z + 3*z, d + 5*z - 49 = 0. Does 22 divide d?
False
Let w(s) = 116*s. Let m(g) = -g - 8. Let x be m(-9). Let i be w(x). Suppose -i = -0*p - 4*p. Is 8 a factor of p?
False
Suppose -5*k = 5*w - 130, 7*w - 68 = -4*k + 12*w. Is 20 a factor of k?
False
Is (8/10)/(2/20) a multiple of 6?
False
Suppose -5*i + 4*k + 202 = 0, 0 = -3*i - 0*i + 2*k + 120. Is 12 a factor of i?
False
Let f(a) = 2*a**2 - 7*a. Let s be 25/4 + (-6)/(-8). Let o be f(s). Suppose 5*n - 39 = -4*g, 0 = g + 3*g - 5*n - o. Does 11 divide g?
True
Let t(c) = -c**3 + 8*c**2 - 9*c + 4. Let k be t(6). Suppose k + 6 = 4*f. Is f a multiple of 5?
False
Suppose 25 = 5*z - 15. Suppose -5*y - 3*b + 2 - 1 = 0, -y + 2*b = -8. Suppose -z - 34 = -y*w. Is 13 a factor of w?
False
Suppose y - 25 = 37. Suppose -3*n + y + 10 = 0. Is n a multiple of 12?
True
Suppose -c = c - 10. Let w be 95/(-2)*16/(-10). Suppose 0 = 2*s - 4*p - w, -c = -0*p + p. Does 10 divide s?
False
Let w = 76 + -46. Suppose 0 = -5*h + 4*h + w. Suppose 0 = g - 7*p + 2*p - 42, h = g + p. Does 13 divide g?
False
Suppose -3*i + 32 = -22. Is i/(-63) - 471/(-7) a multiple of 17?
False
Let k(h) = -h. Let z be k(-5). Suppose -39 = -z*w + 46. Is w a multiple of 4?
False
Let u(s) = s**3 + 7*s**2 - 6. Is 15 a factor of u(-5)?
False
Let f be (15/(-25))/((-2)/10). Let q = 0 - f. Let y(k) = -5*k + 3. Is y(q) a multiple of 12?
False
Suppose 0 = -2*u + 37 - 15. Is 7 a factor of u?
False
Let c = -377 - -567. Suppose v = -4*v + c. Is 8 a factor of v?
False
Is (3 - 5)/(2/(-32)) a multiple of 11?
False
Suppose -f + 4 = 0, 3*f + f = 2*d - 86. Is 17 a factor of d?
True
Let c = 45 + -28. Suppose -3*m - 2*m + 4*v = c, -m = 4*v - 11. Let q(l) = -7*l**3 + 1. Does 4 divide q(m)?
True
Let d(w) = w**2 - 17*w + 45. Is 2 a factor of d(17)?
False
Suppose -o - 20 + 151 = 4*z, 3*z - o = 100. Does 9 divide z?
False
Let c(a) = -7*a + 7. Is c(-5) a multiple of 14?
True
Let v(c) = -4*c + 1. Let j be v(1). Let o = -1 - j. Suppose -h - 2*h + 2*m + 111 = 0, 5*m - 74 = -o*h. Is 14 a factor of h?
False
Is 52/(-6)*(-12 + 1 - -5) a multiple of 11?
False
Is (-36)/(44/56 - (-2 + 3)) a multiple of 7?
True
Let y(s) be the second derivative of s**4/12 + 7*s**3/3 - 4*s**2 - 6*s. Is y(-15) a multiple of 7?
True
Suppose w + 2*w = 3*y - 12, 4*w = -4*y - 40. Let o = 31 + -20. Let r = w + o. Is r a multiple of 4?
True
Let h = -26 + 13. Suppose -2*a = n - 10 - 2, 3*a - 5*n = 31. Let d = a - h. Is d a multiple of 20?
True
Suppose -11*g - 36 = -13*g. Is 9 a factor of g?
True
Let r(m) = m**2 + 35. Is r(-9) a multiple of 13?
False
Let x(s) = -2*s**3. Let l be x(-1). Let g be 21/(-9)*-3 + -1. Is 6*(16/g + l) a multiple of 14?
True
Let k = 10 + -18. Let i(u) = -u**3 + 10*u**2 + u - 11. Let s be i(10). Does 10 divide -1 + (2 - s) - k?
True
Suppose 5*u = 29 - 4. Let q = -5 + u. Is 13 a factor of q + 1 + 14 - 2?
True
Suppose 0 = -5*g + 559 - 199. Is 12 a factor of g?
True
Let y be 0 + 3 + -2 + -2. Is (-501)/(-9) + y/(-3) a multiple of 19?
False
Let s be -9 - 3*(-6)/(-9). Is 12 a factor of ((4 + -2)*s)/(-1)?
False
Let q(j) = j. Let c be q(1). Let v(p) = -c + p - 4 + 2 + 4. Is 7 a factor of v(6)?
True
Let q(g) = 3*g**2 + 8*g + 9. Is q(-4) a multiple of 7?
False
Let h(l) = -l**2 + 14*l - 9. Let d(p) = -p**2 + 0*p**2 - 10 + 6*p + 9*p. Let y(s) = -4*d(s) + 5*h(s). Is 16 a factor of y(7)?
True
Does 12 divide 40/12*1656/20?
True
Let g be 2/(-8) - (-2)/8. Let p(t) = -4*t - 8. Let c be p(-6). Let y = c + g. Is 8 a factor of y?
True
Let s(b) = 2*b**2 + 2*b - 2. Let l be s(-5). Suppose -3*k + 31 = -l. Is 16 a factor of k?
False
Suppose -7 = -4*z + 5. Let h be (-27)/6 + z/6. Is 18 a factor of (-32)/1*3/h?
False
Let n be (-4)/8*(-6 - -2). Suppose 2*b - 4*q - 4 = 0, -2*q - 18 = -n*b - b. Does 2 divide b?
True
Suppose -3*c + 120 = 2*c. Suppose c = -2*r + 5*r. Is 8 a factor of r?
True
Let m be 100/(-35)*(-14)/4. Let j = m - -4. Is j a multiple of 5?
False
Let h(d) = 315*d**2 + d + 1. Let z be h(-1). Is 18 a factor of (z/(-12))/5*-12?
False
Let u(j) = 3*j**2 - 2*j + 7. Is u(-3) a multiple of 31?
False
Let t(b) = -4*b**2 - 2*b + 1. Let x(j) = j**2 + j - 1. Let k(r) = -t(r) - 3*x(r). Let q be k(2). Let a(o) = -o**2 + 6*o + 2. Is 5 a factor of a(q)?
True
Suppose f - 417 = -5*a, 4*a + a = 2*f + 426. Is 21 a factor of a?
True
Let r be (2/(-6))/(2/(-24)). Let k(t) = -8*t - 3. Let n(m) = 25*m + 10. Let w(z) = -10*k(z) - 3*n(z). Is w(r) a multiple of 18?
False
Suppose c + 2*v - 15 = 24, 2*c = -3*v + 74. Suppose 3*d - 4*d = c. Let y = -15 - d. Does 12 divide y?
False
Let z be (2 + (-10)/6)*12. Suppose 4*v + z*h = -v + 96, 0 = -5*v + 3*h + 68. Is 8 a factor of v?
True
Let b(x) = 9*x - 5. Let n be 3/(-3)*-12 + 2. Suppose 6*m - 38 = m + 4*j, 4*m - n = -5*j. Is 14 a factor of b(m)?
False
Suppose 3*u - 39 = 6*v - 4*v, -2*u + 21 = -v. Let q = -4 - v. Is q a multiple of 4?
False
Suppose 2*h + 3*h - 640 = 0. Does 16 divide h?
True
Let r be (-72)/(-15) + 1/5. Suppose 0*a - 5*a - 40 = -5*k, -4*a = -r*k + 40. Is k a multiple of 4?
True
Suppose 3*c + 0*c = 48. Does 11 divide c?
False
Suppose 0 = -17*y + 6*y + 3168. Does 16 divide y?
True
Let t = 75 + -31. Is 3 a factor of t?
False
Suppose -5*u - 27 = 28. Let i(a) = -a - 12. Let m be i(u). Does 10 divide (16 + 2 + m)/1?
False
Let z(t) = -2*t - 3. Let h be z(-3). Suppose h*b - b = 78. Is b a multiple of 16?
False
Let p be 1/(-1*4 - -3). Let r(l) = -7*l**3 - 2*l - 1. Is r(p) a multiple of 8?
True
Let j = 14 + 6. Is 7 a factor of j?
False
Suppose 9 = -3*f + 3*o, 3*o + o + 20 = 0. Let s = f + 11. Suppose 5 = 2*l - s. Is 4 a factor of l?
True
Let g(k) = -k**2 + k + 2. Let y be g(-4). Let p be 1 + y/2*-7. Is (p/(-6))/(12/(-54)) a multiple of 24?
True
Let z(t) = 18*t**3 - t**2 - t + 1. Is 10 a factor of z(1)?
False
Suppose -43 - 47 = -y. Let r = 132 - y. Let o = -29 + r. Is 8 a factor of o?
False
Let u = -69 - -109. Suppose -3*i - i = -u. Suppose a - 3*a = -i. Is 4 a factor of a?
False
Let q(k) = k**2 - k + 16. Suppose -3*c + 8*c = 0. Is 5 a factor of q(c)?
False
Suppose -i - 4 = -5. Let u = -17 + i. Is 15 a factor of 4/u - (-122)/8?
True
Suppose -3*h + 15 = 0, 0*h - 131 = -j - 5*h. Is 20 a factor of j?
False
Let g(k) = 