True
Let p = 200 - 110. Suppose -93 = -5*f + 2*i, 0*i + p = 5*f - 5*i. Does 7 divide f?
False
Suppose -3*g = -5*j + 82, 5*j + 4*g - 12 = 77. Suppose 0 = 3*r + 5*k - j, -r + 4*r - 8 = 4*k. Does 4 divide r?
True
Let k = 6 - 4. Is 8 a factor of k/(-12) - (-133)/6?
False
Let z = 34 - 16. Is 6 a factor of z?
True
Suppose -m = 3*a - 26, -m - 20 = -2*a + m. Let u = -12 - -12. Suppose u = h - a - 15. Is 13 a factor of h?
False
Let p = 33 + -13. Is 20 a factor of p?
True
Suppose 0*q = -2*q + 32. Is q a multiple of 4?
True
Let u(o) = -o**3 - 7*o**2 - 5*o + 8. Let a(y) = 7*y + 1. Let q be a(-1). Let z be u(q). Suppose 3*c - z*c - 8 = 0. Does 6 divide c?
False
Is 33 a factor of 2*5/((-40)/(-412))?
False
Let j be (-1 - 73/3)*-3. Let r be (45/2 + 2)*-2. Let u = r + j. Is 10 a factor of u?
False
Let j(z) = 2*z**2 - 23*z. Is j(13) a multiple of 7?
False
Let u(r) = -r**2 + 7*r + 4. Let k be u(7). Let i(p) = -p**3 + 3*p**2 + 6*p - 4. Let h be i(k). Suppose -83 = -3*t - c, -3*t + h*c = -t - 60. Does 14 divide t?
True
Let j be ((-12)/(-9))/(2/3). Suppose -4 = m + j. Does 16 divide (-1)/((-3)/(-8))*m?
True
Let o(s) = 6*s + 8. Let q be o(-9). Let l = 95 + q. Suppose -h + l = 11. Is 20 a factor of h?
False
Let j = 423 + -39. Is 12 a factor of j?
True
Let a = -55 - -139. Is 14 a factor of a?
True
Let c = 33 + 40. Suppose -c = -4*f + 3*k, 2*f = -f - k + 58. Is 11 a factor of f?
False
Let a be (-3 + 6/(-3))/(-1). Let p = a - -11. Is p a multiple of 16?
True
Let z be ((-4)/(-2))/((-3)/(-3)). Suppose -5*j + 21 = 2*o - 4*o, z*o = -3*j - 13. Let r(u) = u + 10. Is r(o) even?
True
Let u(l) = -2*l + 4*l + 2*l - 3. Does 13 divide u(4)?
True
Let o(s) = -s**2 - 8*s - 2. Let z be o(-7). Suppose 3*j - 2*f - 10 = 0, 5*j + 1 = -f - 4. Let a = j + z. Does 4 divide a?
False
Is 32 a factor of (1 - 2)/(3 - 965/320)?
True
Is 13*7 + 36/(-18) a multiple of 25?
False
Let u = -21 + -24. Suppose -3*q + x = -30 - 165, 65 = q - 5*x. Let n = q + u. Is 10 a factor of n?
True
Suppose 9 = w - 3. Does 5 divide (-6)/w + 22/4?
True
Suppose -4*i - 21 = 15. Let f be ((-1)/(-3))/((-3)/i). Does 6 divide 7 - (-2)/(f*-2)?
True
Is 18 a factor of (-8)/(-2) + 266 - 3?
False
Let l(o) = -28*o - 10. Suppose -2 = i + 2. Is l(i) a multiple of 34?
True
Suppose 3*a - 84 = -4*p, p + p + 2*a - 44 = 0. Is 8 a factor of p?
False
Let i = 8 + -5. Suppose 4*n + 68 = -2*z, -4*n + i*n + 4*z - 35 = 0. Let h = n + 43. Does 12 divide h?
True
Suppose 4*y - a = 120, -2*a + 163 = y + 4*y. Is y a multiple of 23?
False
Let c = -351 - -510. Is c a multiple of 23?
False
Let v(t) = 3*t**2 + 9*t. Let m(y) = -y - 1. Let k be m(-4). Let w be 3/(k/12*-2). Does 20 divide v(w)?
False
Let u(m) = -m**3 - 6*m**2 + 6*m - 2. Is u(-7) a multiple of 5?
True
Suppose -3*h = -3*a + h + 32, 4*a + h = 30. Let u be a - ((0 - -2) + 0). Suppose 4*x - u = 26. Is x a multiple of 8?
True
Let r(c) = -7*c + 36. Is r(0) a multiple of 4?
True
Let j be (2 + 1 + -7)*1. Let r(m) = m**2 + 3*m. Let o be r(j). Suppose o = -0*y + y. Is y even?
True
Suppose g - 23 = -l - 3*l, 0 = -4*g + 2*l + 110. Is 9 a factor of g?
True
Let r = 8 + 35. Is r a multiple of 32?
False
Let k = -5 + 3. Is 46/2 - k - 2 a multiple of 9?
False
Does 2 divide (2/5)/((-11)/(-55))?
True
Let k be 38/14 - (-14)/49. Suppose k*j = -7 + 25. Is 6 a factor of j?
True
Let y(z) = -4*z + 1. Let x be y(-1). Suppose -5*h - 4*n = -8*n + 56, -x*h - 20 = 5*n. Is ((-18)/(-8))/((-2)/h) a multiple of 3?
True
Let g be ((-48)/30)/((-2)/20). Suppose 2*s = 3*s - g. Is s a multiple of 8?
True
Let w = 3 - -2. Let k be -2 + (-15)/(3 - 6). Suppose -9 = -3*r + 3*a, -w = r - k*a - 2*a. Is r a multiple of 5?
True
Suppose -h = -2*h + 2*d + 56, -d + 161 = 3*h. Is h a multiple of 9?
True
Suppose 0 = 5*g - 2*x - 19 - 29, -5*g = -4*x - 46. Does 10 divide g?
True
Suppose -13*n - 24 = -15*n. Is n a multiple of 6?
True
Let r = 39 + -29. Does 3 divide r?
False
Let v(y) = 2*y**2 - 5*y - 3. Is v(6) a multiple of 16?
False
Let k = 7 + -2. Suppose k*h = 257 - 87. Is h a multiple of 17?
True
Let s(c) = -c**3 - 11*c**2 - 10*c - 12. Let k be s(-10). Suppose -m - 11 = -8. Is m/(-2 + (-15)/k) a multiple of 2?
True
Suppose 0 = -2*n + 4*n - 10. Suppose -n*b + 21 = 2*o + 2*o, -4*b + 5*o + 25 = 0. Suppose 0*h + b = h. Is 5 a factor of h?
True
Let k be 16/10 + 2/5. Let x(i) = 28*i**2 - 1. Let p be x(-1). Suppose k*f - 89 = -p. Is f a multiple of 9?
False
Suppose -2*v + 4*n = 3*n - 60, -4*v + 5*n + 108 = 0. Suppose -5*o - r + 10 = -4*o, 0 = 4*o + 2*r - v. Is o a multiple of 2?
True
Suppose 3*k = -2*k - 10, 4*o - 3*k - 70 = 0. Suppose 2*d + 0*d = 5*j - 34, d - o = -3*j. Suppose -j + 22 = 2*c. Does 4 divide c?
True
Let g be 8/20 - (-33)/5. Suppose -4*r - 3*q = -4*q - 13, 0 = -2*r + q + g. Suppose r*t + 48 = 4*l, 0*t + 48 = 4*l + t. Does 6 divide l?
True
Let k = 5 - -10. Does 3 divide k?
True
Suppose 176 - 6 = 2*s + 5*p, -3*s = p - 255. Is s a multiple of 20?
False
Let n(z) = 20*z. Is 24 a factor of n(10)?
False
Suppose p + 9 = 2*p. Suppose p = v - l, 4*l + 4 - 10 = -2*v. Is 3 a factor of v?
False
Suppose 0*n + 2*n - 2*k = 30, 4*n = -k + 50. Let y = n + -8. Is y a multiple of 3?
False
Suppose 200 = 5*b + 45. Is 7 a factor of b?
False
Suppose 0*q - 4*q = -72. Suppose q = 4*j - 3*j. Is 4 a factor of -6*(-8)/j*3?
True
Let n = -3 + 6. Suppose n*r - 21 = -0*r. Let y = r + 1. Is y a multiple of 4?
True
Let p(j) = 3*j**2 - 5*j - 8. Let b be p(6). Let h = b - 25. Is 14 a factor of h?
False
Suppose 5*j = 4*n - 7, n = -3*j + 3 + 3. Suppose -4*w - n*a = -w - 6, w - 20 = 5*a. Suppose -c + 5*r = w, 3*r - 59 = -5*c - 0*c. Is c a multiple of 4?
False
Let l(y) = -y. Let v(n) = -10*n**2 - 3*n + 1. Let a(w) = 3*l(w) - v(w). Does 9 divide a(1)?
True
Is (-390)/(-24) - (-3)/(-12) a multiple of 8?
True
Let f be ((-82)/(-6))/((-5)/(-30)). Suppose 3*z = 89 + f. Is 14 a factor of z?
False
Let l(b) = b**3 - 18*b**2 + 21*b - 23. Is l(17) a multiple of 9?
True
Let h(i) = i**2 + i + i**2 - 5*i**2 + 5*i**2 - 1. Is 2 a factor of h(1)?
True
Suppose 0 = -0*t + 3*t. Suppose -4*u + 2*u = t. Suppose u*c = 4*c + 4*r - 80, c - 5*r = 26. Does 8 divide c?
False
Let n(y) = -6*y. Let c be n(-2). Is (c + -2)/(1/2) a multiple of 14?
False
Suppose 0 = -5*w - 5*p + 94 + 6, -2*w - p = -41. Suppose 5*q - w = 9. Is q/4*(-5 + 7) a multiple of 2?
False
Suppose -5*t + o - 51 = 0, -4*t + 3*o - 13 - 19 = 0. Is 2 a factor of (-1)/2 - t/2?
False
Suppose 4*a - a = -4*b + 105, 3*a + 63 = 3*b. Does 24 divide b?
True
Let b(q) = 2*q**2 + 42*q - 6. Is 7 a factor of b(-22)?
False
Let t = -7 + 1. Let c be (-2)/((15/t)/5). Suppose -9*x + c*x = -30. Is x a multiple of 4?
False
Let j be (3 + -8)*2/(-2). Let p(v) = v**2 + 0 - 2 + j*v + 3 + 2. Does 11 divide p(-7)?
False
Let c(w) = -8*w**2 - 6*w + 6. Suppose 0 = 4*z + z - 3*r - 105, -2*r = -2*z + 46. Let m(f) = f**2. Let p(u) = z*m(u) + 2*c(u). Does 15 divide p(8)?
False
Suppose -6 = -j + 2*v, -3*j + 4*v + 17 = 3. Suppose j*z - 84 = -0*z. Is z a multiple of 19?
False
Let m be 2/(-7) + 258/21. Let a = 8 + -6. Does 15 divide 5/(2*a/m)?
True
Let i(q) = -2*q**3 - 2*q**2 - 1. Let n be i(-3). Let z = n - 20. Does 4 divide z?
False
Suppose -9 = 3*l, -4*l = 2*f - 5*l - 21. Does 3 divide f?
True
Let r = 7 + -2. Suppose -50 = -r*m + 5*o, -o + 22 = 2*m + 2. Let u = m + -6. Is u a multiple of 4?
True
Suppose -22 = -5*h - 2*v, 3*v = -4*h - 0*h + 19. Is 2 a factor of h?
True
Suppose l + 3*l = 3*v - 23, l + 9 = v. Is 13 a factor of v?
True
Let p(k) = 49*k**3 + 7*k**2 - 3*k. Let y(b) = 25*b**3 + 3*b**2 - b. Let a(m) = 2*p(m) - 5*y(m). Let d = -1 + 0. Is 12 a factor of a(d)?
False
Let q(x) = -17*x**2 - 11*x + 3. Let w(v) = 11*v**2 + 7*v - 2. Let j(n) = 5*q(n) + 8*w(n). Let u be j(1). Suppose 2*i - u*i = -50. Is i a multiple of 18?
False
Let p be 10/2 + (-3 - -2). Suppose -p*r + 118 = 5*c, r - 127 = -5*c - 0*r. Is 13 a factor of c?
True
Suppose -2*v - 91 = -2*t + v, -2*t + 67 = 5*v. Suppose 0 = a + 12 - t. Is 10 a factor of a?
False
Let q be (19/(-38))/(1/(-6)). Suppose 13 = -q*m + 52. Is 6 a factor of m?
False
Suppose 0 = -5*u + 2*l + 475, -5*u - l + 475 = -2*l. Is u a multiple of 17?
False
Let x = -21 + 12. Let g be 1/(-5) - 11/(-5). Is 12 a factor of x/6*(g - 10)?
True
Suppose 0 = 4*l - 21 - 75. Does 8 divide l?
True
Suppose 8 = x + 1. Suppose f - 1 = -n, -3*n - f = f - x. Does 3 d