+ 81/3. Let j = d + 11. Is 11 a factor of j?
False
Suppose -m = k - 6*m - 60, 5*m + 340 = 5*k. Is k a multiple of 13?
False
Suppose 6 = 3*z - 0*z. Does 13 divide -2*z/(-8)*52?
True
Let o be (-28)/6*12/(-14). Suppose -j + o = -2. Is j even?
True
Let i(g) = -g**3 + 8*g**2 + 13*g - 12. Suppose n + 27 = 4*n. Let q be i(n). Let k = 57 - q. Does 12 divide k?
False
Let i(r) = 7*r**3 - 14*r**2 - 25*r - 7. Let h(d) = 3*d**3 - 7*d**2 - 12*d - 3. Let t(c) = -5*h(c) + 2*i(c). Does 17 divide t(8)?
True
Does 32 divide (-2786)/(-42) + 4/(-3)?
False
Let w = 55 + -34. Is 3 a factor of w?
True
Suppose -2*m - 33 = -2*d + m, -4*m + 75 = 3*d. Is 7 a factor of d?
True
Suppose -2*g + 115 + 11 = 0. Does 21 divide g?
True
Suppose -2*p = -4, -2*p - p = 2*f - 130. Suppose 5*x - 4*d = -0*x + 339, 5*d - f = -x. Is x a multiple of 29?
False
Let v(r) = 3*r**3 + 3*r**2 - r - 1. Does 25 divide v(2)?
False
Suppose -2*f = -27 - 21. Does 6 divide f?
True
Suppose 0*l + 4*l + 150 = 5*n, 30 = n - l. Does 3 divide n?
True
Let o(u) = -u**3 - u**2 - 2. Let p be o(0). Is 10 a factor of (-2656)/(-88) + p/11?
True
Suppose 0*o + 3*o - 123 = 0. Let v = o + -10. Does 27 divide v?
False
Let z = 71 + -25. Suppose -4*k - 4*w + 80 = 0, 10*w = -2*k + 5*w + z. Is 18 a factor of k?
True
Let f(i) = -2*i**2 + 45*i - 16. Does 5 divide f(22)?
False
Let m = 32 + -17. Suppose 3*y - 204 = -3*f + m, -y - 5*f = -61. Does 25 divide y?
False
Suppose 4*c - 2*c - 3512 = 0. Let n be c/22 - 8/(-44). Suppose -2*p - p + n = 2*f, 4*p + f - 115 = 0. Does 10 divide p?
True
Let x(f) = -4*f**3 + 7*f**2 - 10*f - 15. Let b(c) = 5*c**3 - 7*c**2 + 10*c + 16. Let j(k) = 5*b(k) + 6*x(k). Let p be j(-8). Is 15 a factor of -18*5*(-2)/p?
True
Suppose -56 + 14 = -6*u. Is u a multiple of 7?
True
Let c(j) = j**2 + 9*j + 9. Let y be c(-9). Does 14 divide (-2)/y - (-598)/18?
False
Let b = -6 + 9. Suppose b*u + 1 + 8 = 0, 5*u = -5*x + 90. Is x a multiple of 6?
False
Suppose -3*d = -4*w + 8, -d - 23 = -3*d - 3*w. Suppose -d*b - 64 = -3*c, -b - 56 = -2*c - 5. Suppose 5*u = u + c. Is u a multiple of 7?
True
Let p be 2*4*34/4. Suppose -p = -s - s. Is s a multiple of 12?
False
Suppose 4*y - 6 = y. Let a be 2/(y/(-19))*-3. Suppose 0 = 3*d - a - 42. Is 11 a factor of d?
True
Suppose -n - 56 = -r + 41, 94 = r + 2*n. Is 12 a factor of r?
True
Let o be 2/(-6) + (-4)/6. Let i be 10/5 + (-1 - o). Suppose 3*u - 83 = -i*w, -43 = -4*u + 2*w + 63. Is u a multiple of 12?
False
Let i(b) = b**3 - b - 1. Let z(n) = -5*n**3 - 4*n**2 + 9*n + 8. Let f(g) = -4*i(g) - z(g). Let r be f(-5). Does 11 divide 25 + -1 + (r - -2)?
True
Let t(b) = b**2 - 11*b + 48. Is 7 a factor of t(20)?
False
Let n be (-1*1)/((-9)/(-38934)). Let k be n/(-77) + (-4)/22. Suppose 0 = -3*r + 146 - k. Does 15 divide r?
True
Let a(x) = -x**3 + 7*x**2 - 7*x + 8. Let u be a(6). Is 13 a factor of ((-3)/6)/(u/(-52))?
True
Let m(r) = 6*r**2 + 3*r**3 - 2*r**3 - 3*r + 0*r**3 + r. Is 12 a factor of m(-5)?
False
Is 7 a factor of (3 - 2)/(-3)*-33?
False
Let i = 45 + -3. Let f = i - 10. Does 16 divide f?
True
Suppose -2*y + 20 = 2*y. Let a = -2 + y. Suppose b - 21 = -a*r - 0, -5*b = -r + 7. Does 5 divide r?
False
Suppose -4*o + 4*a + 16 = 5*a, o = -3*a - 7. Suppose -k = 5*j - 31, k - j + o*j = 29. Does 8 divide k?
False
Suppose -3*b + 79 = -3*x - 431, -864 = -5*b - 2*x. Let o = 245 - b. Is 15 a factor of o?
False
Let a = -1 - -7. Is a a multiple of 3?
True
Let u(g) = 3*g**2 - 2*g - 1. Let a be u(-1). Let r = -6 + a. Is (12 + (r - -2))*4 a multiple of 16?
True
Let u = 8 - 3. Suppose 85 = 2*k + m, -235 = -u*k + 3*m - m. Suppose 4*w - w = k. Is w a multiple of 15?
True
Suppose -4*x + 8 = 2*b, 2*b = 5*x - 2*b - 36. Let o = 5 + x. Does 4 divide o?
False
Let t(z) = -z + 2. Let b be t(-5). Let g(h) = h**3 - 5*h**2 - 11*h + 6. Is g(b) a multiple of 20?
False
Let c(y) = -y**3 - 6*y**2 + 7*y. Let a be c(-7). Suppose -3*d = -5*r - 10, a*d + d - 5 = 0. Does 7 divide r/(20/(-7) + 3)?
True
Let o(y) = y**2 - 5*y + 4. Let h be o(4). Let i be 33 - (-2 - -2) - h. Let w = i + -20. Does 13 divide w?
True
Suppose -2*q - 17 = -3*n + 2, -3*q - 11 = -n. Suppose -n*o = 5, 2*t - o - 3*o - 64 = 0. Is 12 a factor of t?
False
Suppose 5*h + 4*j = 3*j, 0 = -4*h + 2*j. Suppose h*s + 5*q = s - 12, 3*q - 3 = 4*s. Let o = s - -10. Is o a multiple of 7?
True
Let m(h) = -h**3 - 4*h**2 + 4. Suppose -6 = u - 1. Is m(u) a multiple of 7?
False
Let y(q) be the first derivative of -q**3/3 - 3*q**2 + 2*q + 2. Let h be y(-6). Is 9 a factor of (-2 + h + -1)*-18?
True
Let y = 1 + 1. Suppose -y*a + 31 = -4*c - 23, 51 = 2*a - c. Is 10 a factor of a?
False
Suppose -5*q = 2*l - 318, -2*q + 132 = -0*q - 4*l. Is q a multiple of 7?
False
Suppose -2*z = -4*g - 30, 0 = 2*z + z + g - 66. Let y = -12 + z. Let k = y + -2. Does 7 divide k?
True
Suppose -3*t + 2*t - 1 = 0. Suppose -14 = -2*n + 2*m, 0 = -2*n + 5*m + 2 + 6. Is 6 a factor of (t - -2) + n + 4?
False
Suppose -2*f = 4*u - 44, -4*u - 5*f + 56 = -0*u. Is u a multiple of 9?
True
Suppose -2*w + 3 = -81. Is 21 a factor of w?
True
Let n = 10 + -5. Let p = 20 - n. Suppose -105 = -5*i + y + p, i - 3*y - 24 = 0. Is i a multiple of 12?
True
Let p(v) = -v + 5. Let u be p(-13). Let o(f) = -2*f**2 - 1. Let i be o(2). Let c = i + u. Does 4 divide c?
False
Let z(n) = 2*n - 4. Is z(6) a multiple of 2?
True
Does 9 divide (5/(-10))/(2/(-212))?
False
Suppose -a + 7 + 19 = 0. Let b = a + -18. Is 17 a factor of (b/(-20))/(1/(-85))?
True
Let n(v) = -2*v**3 - 1 - v**2 + 3*v**3 - v**2 - v. Suppose 1 = 5*i - 14. Is 5 a factor of n(i)?
True
Suppose 4*c - 5 = b - 1, 0 = 5*b + 4*c - 4. Let n = 3 - b. Suppose -8*z = -n*z - 25. Is 4 a factor of z?
False
Let o be (4/(-10))/(3/(-30)). Suppose -4*g - 4 = -o*s, -47 = 2*g + 5*s - 17. Let p = -1 - g. Is 4 a factor of p?
True
Suppose -2*z - 207 = -2*b - 3*b, -121 = -3*b + 2*z. Suppose 38 = 3*v - b. Is 9 a factor of v?
True
Let q = 70 + -173. Let z = q + 151. Is z/22 - (-16)/(-88) even?
True
Let n = 4 + -4. Suppose n*m - m + 5*a = -13, 0 = m + 4*a - 4. Is 4 a factor of m?
True
Let b(p) = -p**3 - 10*p**2 + 10*p - 13. Let s be b(-11). Is 11*5/s*-2 a multiple of 18?
False
Suppose -5*n + 5 = 2*c, -4*c + 24 = -n + 3. Let h = n - -4. Suppose 0 = 4*l + 4, 29 + 6 = h*t + l. Is t a multiple of 6?
True
Suppose -3*z + 4*v + 622 = 0, -3*z + 0*v = 4*v - 638. Does 30 divide z?
True
Let h be (-2 - -2)/(-2)*-1. Suppose h*m - 2*m = -6. Does 2 divide m?
False
Let y be -1 - (4 + -2) - 3. Let o be 63 - (-2)/((-4)/y). Let k = o + -39. Is 15 a factor of k?
False
Let u = 93 + -5. Is 8 a factor of u?
True
Suppose 0 = 6*q - q. Let c = q + 4. Suppose -c*t = 9 - 29. Does 3 divide t?
False
Let s(q) = -q**2 + 28*q - 6. Is s(14) a multiple of 34?
False
Let r(h) = -4*h + 1. Let y(f) = -f**3 + 5*f**2 - 3. Let q be y(5). Let z be r(q). Let a = z - 7. Is a a multiple of 6?
True
Let i(j) = -11*j + 9. Let c be i(-7). Suppose c = 3*o - 13. Suppose -4*n + 55 + o = 0. Is 11 a factor of n?
True
Suppose d - 3*j = -3, d = -0*j + 2*j - 4. Let x be -9*((-4)/d + -1). Suppose -s + 176 = x*s. Is 22 a factor of s?
True
Let z(k) = 2*k**2 - 11*k - 9. Does 43 divide z(-10)?
True
Suppose 2*n - 274 = -z - 3*z, 283 = 2*n + z. Is n a multiple of 16?
False
Suppose -3*d + 188 = -v, v - 190 = -d - 2*d. Does 9 divide d?
True
Let o(k) = -3*k**3 + 7*k**2 - 7*k - 7. Suppose -9*u = -7*u - 20. Let c(x) = -x**3 + 3*x**2 - 3*x - 3. Let y(v) = u*c(v) - 4*o(v). Does 6 divide y(2)?
True
Let q(a) = -3*a - 2. Let m be q(-2). Let u(k) = -k**3 + k**2 + k + 2. Let b be u(0). Suppose 0 = -b*w + m. Is w a multiple of 2?
True
Suppose i = 4*i + 285. Let t = 140 + i. Is 12 a factor of t?
False
Let i(b) = b**2 - 10*b + 8. Let c be i(8). Let a = c - -12. Is 2*(130/a)/5 a multiple of 13?
True
Let w be ((-1)/2)/(1/(-42)). Let j = 36 - w. Suppose -a - j = -4*a. Is 3 a factor of a?
False
Let m(z) = z**2 - z - 6. Is m(-6) a multiple of 10?
False
Let b(g) = 77*g**3 - g**2 - 3*g + 2. Let s be b(2). Suppose -s = 4*z - 0*z. Is 19 a factor of z/(-6)*6/4?
True
Let r = 375 - 150. Is 25 a factor of r?
True
Let r = 57 - -366. Is 62 a factor of r?
False
Let n(h) be the first derivative of 8*h**3/3 + h**2 + 3. Is 14 a factor of n(-2)?
True
Suppose 4*r + 0*r = -4*j + 68, -5*j = -5*r + 35. Does 4 divide r?
True
Suppose 9*o - 4*o + 193 = -4*i, -i = o + 48. Is 8 a factor of (-2