e of 11?
False
Let x(q) = q**2 + 4*q - 5. Let y be x(-5). Suppose -3*k = -y*k - 21. Is k a multiple of 5?
False
Let t = -10 + 14. Suppose t + 2 = 2*q. Is 3 a factor of q?
True
Let c = -124 - -192. Does 17 divide c?
True
Suppose o - 4 = 24. Let s = 8 + o. Suppose -4*g = -2*z - 88, -48 = -3*g - 3*z + s. Does 12 divide g?
True
Let s = -2 + 98. Suppose j - 5*j = -s. Is j a multiple of 12?
True
Let q = 37 + -22. Suppose 0 = 5*t + q, 0 = 2*h + 3*h + 3*t - 221. Does 14 divide h?
False
Let r(v) = v**3 - 8*v**2 - v + 22. Is r(9) a multiple of 12?
False
Let q(f) = 11*f - 4*f**2 + f**3 - 7*f**2 + 4*f**3 + 12 - 6*f**3. Suppose -6 = 2*a + 18. Is 12 a factor of q(a)?
True
Let r be 1/2 + 5/2. Let i(z) = z**3 - 4*z**2 + 5*z - 4. Let t be i(r). Suppose -2*x + 5*x - 80 = -4*k, t*k - 2*x = 26. Is k a multiple of 6?
False
Suppose -19 = 3*y + 23. Suppose -4*t + 63 + 49 = 0. Let v = y + t. Does 14 divide v?
True
Let j = -42 - -17. Let m = j - -63. Let g = m - 4. Is g a multiple of 12?
False
Suppose -2*a + j + 13 = 0, -4*a - 2*j + 11 = j. Suppose 0 = 4*d - a*d + 91. Let n = d + -53. Does 11 divide n?
False
Let c(f) = -5*f + 13. Let g(j) = 6*j - 13. Let x(i) = -4*c(i) - 3*g(i). Is x(10) a multiple of 7?
True
Let z be 1 - (4 + -1 - 1). Let f = 2 + z. Suppose 34 = 2*u - 4*w, w - f = -4. Is 4 a factor of u?
False
Let q(i) = -31*i**3 + 2*i**2 + 2*i. Is q(-1) a multiple of 4?
False
Let p(r) = 10*r**2 + 2*r + 4. Suppose -u + 3*l = 0, 5*u + 6*l + 19 = 2*l. Let b be p(u). Suppose 2*x - q - 93 = -6*q, 4*q - b = -2*x. Is x a multiple of 13?
False
Let y = -193 - -313. Is 10 a factor of y?
True
Suppose 3 - 20 = -5*x + 2*z, -x = z - 9. Suppose x + 1 = -y. Let h = y - -18. Is h a multiple of 12?
True
Let v(d) be the second derivative of d**6/360 + d**5/40 + d**4/12 + d**3/3 - d. Let u(b) be the second derivative of v(b). Is u(3) a multiple of 10?
True
Let g = 8 + -13. Let k(a) = a**3 + 5*a**2 - 8*a - 1. Is k(g) a multiple of 13?
True
Let n(k) = 7*k + 4. Let v = -42 - -63. Suppose -5*a - 1 = -v. Is n(a) a multiple of 14?
False
Let u(b) = b + 8. Let l be u(-9). Let c = l + 3. Suppose -5*d + 24 = c*o, -36 = -3*o - 5*d + 4*d. Is 12 a factor of o?
True
Suppose x - 130 = -4*c, 111 = 3*x + 3*c - 297. Is 47 a factor of x?
False
Suppose -4*n + 21 = -11. Does 6 divide n?
False
Let z(q) = q**2 - 2*q - 2. Let l be z(4). Let r = l + -4. Suppose 50 = 3*g + r*g. Is g a multiple of 6?
False
Let d = -7 - -28. Suppose -d + 9 = -3*c. Suppose l - c*j = 4*l - 61, l - 19 = -2*j. Is 15 a factor of l?
False
Let n be (-1)/(-2)*(1 - 1). Let h(l) = l - 8. Let t be h(n). Let j(y) = -y**3 - 6*y**2 + 13*y + 10. Does 17 divide j(t)?
True
Is 1*(5 + (2 - 2)) a multiple of 2?
False
Let w be 1 + -2 - -2 - -11. Suppose 0 = 4*h - w + 332. Let t = h + 135. Is t a multiple of 20?
False
Let o = 73 - 34. Is 13 a factor of o?
True
Let c(h) = h**3 - 13*h**2 + 19*h - 13. Suppose 3*z - 75 = -d - 4*d, -2*d + z + 19 = 0. Is 22 a factor of c(d)?
False
Let m = 2 + -4. Let x be (-52)/(-14) + m/(-7). Let n = 9 - x. Is 2 a factor of n?
False
Suppose -4*l + 126 = -2*u, 0*u = l - u - 31. Is 13 a factor of l?
False
Suppose -2*s - s = -3*v - 18, -3 = -s. Is 3 a factor of v - (3 + -6 + -3)?
True
Let m(g) = g - 9. Let q be m(15). Suppose -l = y + 3*y + q, 3*l - 26 = -y. Does 4 divide l?
False
Let y be 1 + (-1 - 1*-4). Suppose 8 = u - y*f, -f - 3 + 16 = u. Does 10 divide u?
False
Suppose 15*y - 8*y - 728 = 0. Is 16 a factor of y?
False
Let s(c) = -19*c - 3. Let i be s(-2). Let y = 76 + -9. Let j = y - i. Is j a multiple of 17?
False
Let c = 4 - -1. Suppose -c*i + 33 = -67. Does 10 divide i?
True
Let g = 3 + -1. Suppose 0 = -g*t + 7 + 41. Is 12 a factor of t?
True
Let n = 115 + -34. Does 33 divide n?
False
Suppose 4*j + 3*z = -0*j + 55, 3*z - 71 = -5*j. Is j a multiple of 4?
True
Suppose -2*o + 8*o - 414 = 0. Does 11 divide o?
False
Suppose -78 = -3*m - 3*j, 1 = -5*j - 9. Is m a multiple of 14?
True
Suppose -30 = -4*z + 3*p, -3*p + 5 = -z + 17. Let h be (-4)/(-6) - 4/z. Suppose h = 2*f - 34 + 6. Does 7 divide f?
True
Suppose w - 2*w + 2 = 0. Let s be w*1 + (2 - 0). Suppose -s*t + 3*h = -8*t + 71, t + h - 19 = 0. Is 7 a factor of t?
True
Suppose -r - 3 = -z, -2*z + 0*r = -3*r - 4. Let v be 144/((z - 2) + -2). Suppose 5*t - s = 142, 4*t - v = -t + 2*s. Is t a multiple of 12?
False
Let o(a) = -18*a - 2. Is 3 a factor of o(-1)?
False
Let s = 11 - 7. Is (-100)/(-7) - s/14 a multiple of 10?
False
Suppose -8*o = -4*o - 56. Does 7 divide o?
True
Suppose -3*y - 2*i = -101, 5*y + 0*y + 4*i - 165 = 0. Is y a multiple of 8?
False
Suppose 3*p - 107 - 229 = 0. Is p a multiple of 28?
True
Suppose 4*i + 0*i + 20 = 0. Let d(v) = v**2 + 2*v - 7. Does 4 divide d(i)?
True
Let f = 28 - 14. Does 5 divide f?
False
Suppose 4*c - 2*c + 28 = -4*f, -3*f - 15 = 0. Let v = c - -2. Is 3 a factor of 2/v - 5*-1?
False
Let n(z) = z**2 - z - 1. Let w(v) = v**3 + 2*v**2 + 56. Let p(s) = -n(s) + w(s). Does 15 divide p(0)?
False
Suppose -3*j + 2*m = -0*m - 30, 0 = 2*j + 2*m - 20. Suppose -j*f + 42 = -7*f. Does 14 divide f?
True
Let t be (8/(-14))/((-11)/77). Suppose 4*s - 60 = -2*q, s - q = t + 17. Does 7 divide s?
False
Let r = 4 - 2. Let t be 2 + r + 2/2. Suppose 0*b - t*b = -80. Does 10 divide b?
False
Let y(x) = -x - 3. Let r be y(-3). Let d = 5 - r. Is d even?
False
Let x(j) = -22*j - 1. Let o be x(-1). Suppose -5*z + 9 = -o. Is 5 a factor of z?
False
Suppose 0 = -3*n - f - 1, 0*f - 2*f - 10 = -2*n. Let x be -1 - (64/n)/(-1). Suppose 0*r = -3*i - r + x, i = r + 21. Does 13 divide i?
False
Does 4 divide 13 - (-3 + (-4 - -8))?
True
Let s(v) = -2*v - 1. Let y = 7 + -9. Does 2 divide s(y)?
False
Let r(n) be the second derivative of 2*n**3/3 + 5*n**2/2 - n. Does 9 divide r(4)?
False
Let s(r) = -2*r + 1. Let y be s(-1). Suppose y*b = -29 + 101. Suppose u = 6 + b. Does 10 divide u?
True
Let h = 4 - 4. Suppose -c + 6 = -h*c. Is 6 a factor of c?
True
Let o(d) = 2*d**2 - 6. Does 13 divide o(-4)?
True
Suppose 0 = -3*l + 50 + 40. Is l a multiple of 3?
True
Let s = 107 - 73. Is s a multiple of 17?
True
Let d(c) = -c**2 - 4*c + 7. Let z be d(-5). Let v be 5 - 1/(z/(-2)). Suppose -4*u = 4*n - 64, -n - u + 28 = -v*u. Does 9 divide n?
True
Let u(h) = h**2 + 1. Let a(z) = -3*z**2 + 5*z. Let b(o) = a(o) + 2*u(o). Does 4 divide b(4)?
False
Suppose 3*z - 117 = -5*x, 4*x - 4*z - 66 - 2 = 0. Suppose -g = -x + 1. Is g a multiple of 10?
True
Is ((-4)/(-16))/((-1)/(-356)) a multiple of 24?
False
Let o(g) = 3*g - 2. Let d = 7 + -3. Does 9 divide o(d)?
False
Is 5 a factor of 1/(-5) + (-1584)/(-45)?
True
Let m(t) = 5*t**3 + 4*t**2 - 3*t + 7. Is 13 a factor of m(3)?
True
Let y(v) = -v**3 - 6*v**2 - 4*v - 5. Let l be (42/(-56))/(1/8). Does 5 divide y(l)?
False
Let d(z) = 8*z + 4. Is 12 a factor of d(7)?
True
Suppose -14 - 10 = -4*j. Let n be ((-2)/(-4))/((-1)/j). Is (-148)/n + (-2)/(-3) a multiple of 13?
False
Let f = 133 + -107. Does 24 divide f?
False
Suppose 2*g - 40 = -3*x - x, 3*x + 3*g = 24. Let n = x + -9. Is n a multiple of 3?
True
Suppose -9*z + 835 + 965 = 0. Is 20 a factor of z?
True
Let q = 25 + 67. Let m(b) = -b**2 + 6*b - 5. Let i be m(5). Suppose i*c = 2*c - q. Is 23 a factor of c?
True
Let j be (8/(-3))/(22/(-33)). Suppose -5*x - 4*c = -3 - 3, -x + 4*c + 6 = 0. Suppose x*h - 22 = 2*w, j*h = -w + 7 + 32. Is 5 a factor of h?
True
Let g(t) = t**2 - 3*t + 1. Let i be g(3). Let n(c) = 22*c + 1. Does 11 divide n(i)?
False
Let p = -80 - -118. Is p a multiple of 6?
False
Suppose 0 = 4*l + 5*r - 6 - 0, 2*l + 5*r = -2. Suppose 46 = l*b - 118. Is b a multiple of 9?
False
Let k(c) = -14*c - 4. Let v(s) = -15*s - 3. Let x(a) = 3*k(a) - 2*v(a). Is x(-5) a multiple of 20?
False
Let z = -56 - -108. Is z a multiple of 26?
True
Let t(l) = l**3 - 4*l**2 + 6*l + 4. Let m be t(6). Suppose -4*c - 2*b = -24, 7*b = -2*c + 4*b + 16. Suppose c*i - 58 = m. Is 11 a factor of i?
False
Suppose -2*z - 2*s + 157 = z, 0 = -3*z - s + 158. Suppose t - z = -3*j, -2*j + j - 4*t = -25. Is 17 a factor of j?
True
Suppose 3*a = -31 - 23. Let v = -9 - a. Is 2 a factor of v?
False
Suppose 0*h = -4*u - 4*h + 20, 2*h + 14 = 4*u. Is 1*u/((-12)/(-21)) a multiple of 5?
False
Is 460/(-69)*(-24)/10 a multiple of 4?
True
Suppose 0*c + 2*c + 10 = -3*y, -c = -2*y - 16. Let u = 56 + y. Is u a multiple of 10?
True
Let g = -37 - -53. L