3*s = 8*k - 65. Is 14 a factor of (-4)/k - 636/(-15)?
True
Suppose -264 = -2*y - 2*y. Suppose c + y = 4*c. Does 11 divide c?
True
Let d be ((-2)/(-4) + 0)*4. Suppose d*f = -x + 4, 3*x + f = -0*f + 22. Is x a multiple of 3?
False
Suppose -4*o + 220 = 52. Does 13 divide o?
False
Suppose -4 = -2*m, 2*o = 3*o + 5*m - 13. Is -1 + (-20)/((-12)/o) a multiple of 4?
True
Let n be 25/35 - (-4)/14. Suppose -c = -n + 3. Does 9 divide 552/30 - c/(-5)?
True
Let f(i) = -i**2 + i - 6. Let b be f(0). Suppose 0 = 2*s - 20 + 4. Let t = b + s. Is t even?
True
Let i = 7 - 5. Is i/6 - (-202)/6 a multiple of 17?
True
Suppose -20 = -n + 29. Let c = n + -25. Does 12 divide c?
True
Suppose 0 = -i + 1, i - 6*i - 85 = -5*t. Does 5 divide t?
False
Let j = 2 - 0. Suppose -j*i = -5*i. Suppose 3*u + 54 = 3*x, -4*x = u - i*u - 67. Is 6 a factor of x?
False
Let p = 2 - 0. Let y be (p + -6 + 2)*-52. Suppose -51 = -5*k + 3*j + 51, 0 = -5*k + j + y. Is k a multiple of 8?
False
Suppose -2*c + c - 4 = 0. Let b = 9 + c. Suppose 0 = b*w - 40 + 15. Is w a multiple of 5?
True
Suppose 3*w - 163 + 7 = 0. Suppose -4*x + w = -2*x. Is 13 a factor of x?
True
Let y(j) = -2*j**3 + 19*j - 7. Is y(-4) a multiple of 6?
False
Suppose -1010 + 326 = -6*q. Suppose -2*b - l = -q + 15, -3*b - 4*l = -141. Is 11 a factor of b?
False
Suppose -4*p - 6 = z, 0 = 5*z + 4*p - 7 - 11. Does 13 divide 2*(-9)/z - -29?
True
Let i(z) = -2*z**3 + 4*z**2 + z + 3. Suppose y - 7 + 3 = 0. Let c be i(y). Let o = -36 - c. Is o a multiple of 21?
True
Is 12 a factor of (2508/55)/((-1)/(-5))?
True
Let u(i) = 3*i + 6. Let o be u(6). Let v = o + -39. Let w = 27 + v. Is w a multiple of 6?
True
Suppose 4*z = 6 - 2. Let y be (1*14)/(z/(-4)). Does 10 divide y/(-6) + (-2)/(-3)?
True
Is 10 a factor of 0 + (-3 - -60 - 1)?
False
Let m(h) = h**2 + 6*h - 3. Let r be m(-5). Let k = r - -16. Does 6 divide (-23)/(-3) - k/12?
False
Let t(a) be the first derivative of 14*a**2 + a - 1. Is t(1) a multiple of 16?
False
Suppose -3*l + 9*l - 168 = 0. Is 6 a factor of l?
False
Let s = 59 - 33. Is 13 a factor of s?
True
Let h = -194 - -460. Is h a multiple of 38?
True
Let c(h) = -h**3 - 3*h**2 - 6*h. Does 20 divide c(-4)?
True
Suppose 7*i + 162 - 582 = 0. Does 10 divide i?
True
Let w(f) = -f**2 - 5*f + 6. Let l be w(-6). Suppose l = -d + 1, -u - 3*d - 62 = -d. Let s = -38 - u. Is s a multiple of 13?
True
Suppose 5*y + 4 + 6 = 0. Let x be 183/9 - y/(-6). Suppose 0*w + x = 2*w - k, 20 = 5*k. Is w a multiple of 12?
True
Let w(g) = g**2 + g + 36. Suppose 4*s - 2*s = 0. Does 6 divide w(s)?
True
Let q = 2 - 5. Does 3 divide 1/(q + 66/21)?
False
Suppose 252 - 56 = 4*v. Suppose 2*s + r + 0*r = -59, -61 = 3*s - 4*r. Let n = v + s. Does 8 divide n?
False
Suppose 0*x = 2*x + 2*m - 106, -x + 4*m = -48. Let z(o) = o**2 + 3*o + 6. Let s be z(-6). Let q = x - s. Does 17 divide q?
False
Let c = -48 - -83. Does 13 divide c?
False
Let a(m) be the first derivative of -3 + 8*m + 3*m**3 + 3*m**2 + 1/4*m**4. Is 12 a factor of a(-8)?
True
Let v(j) = -j**3 + 5*j**2 - 2*j + 6. Is 7 a factor of v(4)?
True
Let u(l) = -2*l**3 + 7*l**2 - 5*l. Let v be u(4). Let k be (-6)/15 - v/(-10). Is 2 a factor of k/6 + (-42)/(-9)?
True
Let o = -6 + 6. Suppose o = -i - 3 + 22. Is i a multiple of 10?
False
Suppose -4 - 21 = -5*f. Suppose -18 = -f*k - 5*n - 3, 18 = 4*k + n. Is k even?
False
Let y = 0 - -3. Suppose -3*i + 5*j + 185 = 0, -189 = -y*i + 2*j + 11. Suppose 20 + 20 = 5*x - 5*l, 5*x - i = -l. Does 13 divide x?
True
Let r(b) = -b**2 - 2*b - 1. Let c be r(-1). Let j = c + 45. Does 20 divide j?
False
Suppose 2*c + c - 45 = 0. Suppose -g = c + 8. Let q = 82 + g. Is 24 a factor of q?
False
Suppose -4 + 1 = -t. Let q = t + 6. Is q even?
False
Let y be 3/((-1)/(-8)*-3). Let n = y + 11. Suppose -1 = -s - 5*l, -n*l = -3*s - 2*l + 67. Is 21 a factor of s?
True
Let o = -3 - -6. Let r(n) = 5*n + 2. Let p be r(-3). Let k = o - p. Is 16 a factor of k?
True
Let k = -1 - -5. Suppose -k*g = g - 25. Suppose -67 = -5*j + 3*x, -g*j - 2*x - 3*x = -35. Is 5 a factor of j?
False
Let m(l) = -l**2 + 8*l - 8. Let r be m(7). Does 10 divide ((-4)/8)/(r/60)?
True
Let p(z) = z**3 - z**2 - z + 34. Let r be p(0). Suppose 0 = -4*w - 0*v - 5*v + 4, -3*w = -4*v - r. Is 20/w*(-6)/(-2) a multiple of 4?
False
Suppose 4*x + m - 13 = -x, 15 = 5*m. Suppose -x*h + 38 = -32. Let y = h + -11. Is 13 a factor of y?
False
Let y(d) = d**2 - 7*d + 2. Let z be y(7). Let v(a) = -a + 2*a**z + 1 - 8 - 6*a. Is v(7) a multiple of 16?
False
Let j = -2 - -12. Suppose 3*t = 5*m + j, -3*t - 4*m + 13 = -6*m. Suppose 5*g - 65 = t*n, 0 = 3*g - n - n - 40. Does 8 divide g?
False
Let b(h) be the first derivative of -h**5/20 - h**4/4 - 2*h**2 - 2*h - 2. Let v(d) be the first derivative of b(d). Is 6 a factor of v(-4)?
True
Let i(o) = -o**3 - 4*o**2 + 4*o - 6. Let u be i(-5). Is 35 + u + -1 - 1 a multiple of 13?
False
Suppose 53 = -2*h + 141. Let a = 77 - h. Is a a multiple of 11?
True
Let h(i) = 15*i + 6. Let n be (-45)/5*(-2)/6. Does 26 divide h(n)?
False
Let r = -3 - -5. Let u be (9/(-4))/(r/8). Is 9 a factor of (-2)/9 + (-128)/u?
False
Let o(w) = w - 6. Let c be o(11). Suppose 1 = -c*z + 71. Let u = 37 - z. Is 15 a factor of u?
False
Suppose -5*r = -f - 38, -4*r + f = -2 - 28. Let d = 89 + -29. Suppose d = 4*i + r. Is 5 a factor of i?
False
Let z = 25 - 17. Suppose z + 12 = 5*i. Is i a multiple of 3?
False
Let i = 46 - 34. Is 2 a factor of i?
True
Suppose -3*j - 24 = j. Let q be -3*2/j*7. Suppose -q = -t + y, t - 1 = -2*y - 0. Is t a multiple of 5?
True
Let m be (6/(-8))/((-2)/(-8)). Let q be 6/(-9) + (-602)/m. Does 8 divide 6/(-9) + q/12?
True
Suppose -2*j + 3*o + 57 = 0, -j + o = -2*o - 21. Does 9 divide j?
True
Let b = 78 - 50. Does 14 divide b?
True
Suppose -h - 315 = -113. Does 21 divide ((-21)/(-6) - 4)*h?
False
Does 9 divide 35/2*(4 - 2)?
False
Suppose -5*a + 2*b = 1 - 2, -3 = -3*a + 2*b. Let u(h) = -6*h**3 + 1. Is u(a) a multiple of 7?
True
Let l be (-2)/((24/9)/4). Is 13 a factor of 195/4 - l/12?
False
Let j = 4 - -3. Let w = j + 0. Is w a multiple of 7?
True
Suppose 56*r - 51*r = 130. Does 4 divide r?
False
Suppose -4 = -z - 4*b, 5*b - b = 4*z + 4. Suppose z = 7*c - 2*c - 180. Is 18 a factor of c?
True
Let r be (2 - 3)/((-2)/44). Let x = -10 + r. Is x a multiple of 6?
True
Let o(d) = -d**3 - 10*d**2 + 2*d - 27. Is 24 a factor of o(-11)?
True
Let i be 2/4 - 2/4. Suppose 5*u + 40 = -3*q - 0*q, -4*q - 3*u - 35 = i. Is (2/q)/((-3)/315) a multiple of 26?
False
Let c(d) = -d**3 - 5*d**2 - 4*d + 3. Suppose -5*u + 3 = -5*m - 7, 4*m = 8. Suppose 2*s + 3*f + 11 = u*f, -3*s - 2*f = 6. Does 3 divide c(s)?
True
Suppose -2*b + 3*q + 57 = 0, -4*q - 125 = -2*b - 3*b. Does 14 divide b?
False
Let g(a) = a**2 - 7*a - 4. Is 8 a factor of g(12)?
True
Suppose -3*d = 4*q + 38, 0 = d - 0*q + 5*q + 20. Let k = d + 16. Is 6 a factor of k?
True
Suppose 5*y - y = 4. Let p be 10/15*-9*1. Is 2 a factor of (-9 - p) + y + 7?
False
Let k = 85 + -141. Let b be k/3*12/(-4). Suppose -3*q + 3*v = -8*q + 132, 2*v = -2*q + b. Is q a multiple of 13?
False
Let p(h) = -33*h**3 - 1. Is 8 a factor of p(-1)?
True
Suppose 4*u + 5*k = 165, 2*k - 185 = -4*u - u. Does 24 divide u?
False
Let g = 0 - -5. Suppose 2*z - 4*d - 24 = 0, 4*z + g*d + 17 = -0*d. Is 6/z + -3 + 2 a multiple of 2?
True
Let d = 12 - 20. Let o(f) = f**3 + 8*f**2 - 4*f - 9. Does 11 divide o(d)?
False
Let n be 590/30 - 1/(-3). Let w be ((-52)/10)/((-2)/n). Suppose -2*m + w = 2*t, m + 106 = 4*m - 4*t. Is 15 a factor of m?
True
Is 16 a factor of 2/(-4) - (-66)/4?
True
Let b = -9 + 2. Let i(q) = -q**2 - 9*q - 4. Is 5 a factor of i(b)?
True
Let u = -109 - -171. Suppose -22 = -w - w + 5*g, 4*w = g + u. Is 11 a factor of w?
False
Suppose -1016 = -3*f + f - 2*z, -5*f + 4*z = -2567. Let n = 29 + -65. Does 20 divide (-8)/n - f/(-9)?
False
Is 3/(-18) + (-19)/(-6) - -96 a multiple of 33?
True
Is 25 a factor of 4/20 + (-1624)/(-5)?
True
Suppose o - 63 = 2*f, 39 = -3*o - 5*f + 261. Does 7 divide o?
False
Suppose 3*q + 2*q = 10. Suppose 50 = q*x - 3*p, x = -0*x + 3*p + 31. Suppose -m + x = 4*o - 3, 75 = 4*m + 3*o. Is 6 a factor of m?
True
Let n = 0 + -7. Let v = -12 - n. Does 2 divide 15/6*(-8)/v?
True
Suppose -5*y - 2*g + 23 = 0, -5*y + g + 3*g - 1 = 0. Is 13 a factor of 39*(-1)/(-3)*y?
True
Let d(n) = n - 8. Let j be d(12)