Let a be 2*7 - (4 - 3). Let u = a - -11. Is u a multiple of 12?
True
Let v be ((-42)/35)/(2/(-30)). Let k = v - -16. Does 9 divide k?
False
Suppose -10*i + 2*i + 1936 = 0. Is i a multiple of 33?
False
Let x = 58 + -28. Is 6 a factor of x?
True
Let h(c) = -c**2 - c + 10. Let x be (2 + -3)*(0 - -9). Let a be (-2)/x - 6/27. Does 4 divide h(a)?
False
Let b(v) = -v - 2*v - 3*v. Is b(-2) a multiple of 6?
True
Let b(d) = -d**3 + 6*d**2 + 3*d - 4. Suppose u = 4*u - 18. Suppose -2*y = -y - u. Is b(y) a multiple of 10?
False
Suppose 3*m = -4*r + 28, m = -2*r - 3*r + 24. Let n be (38/(-4))/((-2)/r). Suppose -d - 128 = -5*f, -2*f - 2*d + n = -f. Does 9 divide f?
False
Suppose -336 = -5*x + 204. Is x a multiple of 36?
True
Does 26 divide (41 - -6)/((-9)/(-6) - 1)?
False
Let a(f) = 3*f**2 + 8*f - 10. Does 13 divide a(-8)?
False
Let q(t) be the third derivative of -t**6/120 - 13*t**5/60 - t**4/12 - 19*t**3/6 - 6*t**2. Is q(-13) even?
False
Let g be -17*(2 + (-1 - 0)). Let x = -14 - g. Is 3 a factor of x?
True
Let f = -58 - -154. Does 20 divide f?
False
Let q = -43 + 76. Does 8 divide q?
False
Let n = 26 - 26. Suppose 0 = -4*h - 2*j + 32, n*h - 2*j - 16 = -2*h. Is h a multiple of 4?
True
Suppose 0*p + 2*p + 4*r = 28, 7 = -2*p + 3*r. Suppose -p*j = -j + 12. Is 364/10 - j/(-10) a multiple of 18?
True
Does 10 divide ((2 + -3)*-42)/1?
False
Suppose 80 = 4*k - 56. Is k a multiple of 16?
False
Suppose -5*l + 3*b + 28 = 2, -2*b = -6. Is 7 a factor of l?
True
Let x = 34 + -2. Is ((-21)/(-2))/(12/x) a multiple of 14?
True
Let w = 94 + -154. Let g = w - -116. Is g a multiple of 28?
True
Let n(u) = 11*u + 1. Suppose -5*a = -g - 7, a - 2*a = -5*g + 13. Let i be -2 - a*(-3)/2. Does 12 divide n(i)?
True
Let b(a) = a**3 - 6*a**2 + 3*a + 5. Let q be b(6). Suppose -2*p + 3 = -q. Suppose 4*s - 65 = -p. Is 13 a factor of s?
True
Suppose -4*y + 75 = y. Let k = 5 - 7. Is 0/(4/k) + y a multiple of 9?
False
Suppose 5*t = -5*q + 750, 0 = t + 5. Suppose 0 = 5*y + 10 - q. Suppose d - y = -d + l, -5*d = 4*l - 79. Is d a multiple of 15?
True
Suppose -60 = 2*t - t. Let r = t - -90. Suppose 0*d = -4*y + 5*d + r, -4*y - 2*d + 44 = 0. Is 10 a factor of y?
True
Let w(d) = -d**2 + 9*d - 3. Let z be w(6). Let s be (2 + -2)*(-2)/4. Suppose 0 = -5*t + 3*u + 19, -3*u = -3*t - s*t + z. Does 2 divide t?
True
Let q(y) = 2*y**2 + 4 + y**2 + 1 - 3*y - 3. Suppose 5*h - 10 = -5*z, z + 3*z - 2 = -h. Is q(h) a multiple of 3?
False
Suppose 0*q = 4*q - 228. Suppose -3*s - 4*c + q = 0, 0*c = 3*s - 5*c - 57. Does 6 divide s?
False
Suppose 0 = r - 5*d + 16, 0 = -r - 0*r - 5*d + 4. Does 8 divide (-1)/2 - 141/r?
False
Let c be 8/12 - 13/(-3). Let g(t) = 0*t**2 - 4*t - t**3 - 2*t**2 - 2 - 4*t**2 + c*t**2. Does 14 divide g(-3)?
True
Let i(r) be the second derivative of -r**3/3 + r**2 - 2*r. Does 8 divide i(-3)?
True
Let y(j) = 19*j - 1. Let f(g) = -g**3 - g**2 + 4*g - 1. Let x be f(-3). Let a = -3 + x. Is 10 a factor of y(a)?
False
Is (2/8 + -1)*-140 a multiple of 12?
False
Let g(f) = -f**3 - 3*f**2 - 3*f - 4. Let w be g(-3). Suppose 4*i + 8 = -4*u, -5*i + w*u = -27 - 13. Does 2 divide i?
False
Let g = 8 + -5. Suppose -4*b - g*y - 2 = 0, b - 2*y + 1 = 6. Suppose -2*v = -5 - b. Is 2 a factor of v?
False
Let g(u) = 8*u + 5 - 4 - 4*u. Let f be g(1). Does 3 divide f - (1 + -2*1)?
True
Let c(k) = 2*k**2 + 11*k - 9 + 3*k**3 - 11*k**2 - 2*k**3. Let y be c(8). Is (24/(-20))/((-1)/y) a multiple of 12?
False
Let f be (-1 - -2) + (-4)/(-2). Let y be (-1)/(-3) - f/9. Suppose y*w + w - 2 = 0. Is 2 a factor of w?
True
Let u(t) = 6*t. Let p be u(1). Let o be 4/p - (-8)/(-3). Is 12 a factor of 2/o*(-42 - 1)?
False
Let n(y) = 2*y + 4. Let b be n(-3). Let i = 6 + b. Is 14 a factor of (-400)/(-28) + i/(-14)?
True
Let h be 4/(-6)*15/(-2). Suppose 0 = -h*u + 71 + 184. Suppose 0 = 4*f + u - 179. Does 20 divide f?
False
Let r be -2 - 1/2*2. Let s be 5/1 + (r - -1). Suppose -s*h - c + 25 = 0, -3 = h - 2*c - 9. Does 5 divide h?
False
Suppose 5*o - 17 = 333. Is 7 a factor of o?
True
Let i = 6 + -4. Let o be (-190)/15*3/(-2). Does 11 divide i - o*(-3)/3?
False
Suppose -c + 2*f = 1 - 2, 4*f = 4. Suppose -m + 372 = c*m. Suppose -4*y + 8 = g - 14, -5*g - 3*y = -m. Is 9 a factor of g?
True
Let v(c) = -c**2 - 4*c + 14. Let m be v(-6). Suppose -4*d + 0 = -8. Suppose d*a - 42 = -x, x - 22 = m*a + 20. Is x a multiple of 21?
True
Suppose 15 = -5*v + 3*z, 4*v - 20 = -v - 4*z. Let o = v + 4. Does 26 divide ((-2)/o)/(1/(-120))?
False
Does 6 divide 18 + 1 - 0/(2/(-1))?
False
Let w = 2 - -9. Is w a multiple of 3?
False
Suppose -4*g = -g + 33. Let h = g - -7. Is h/(-16) - 23/(-4) a multiple of 6?
True
Let k be 0 + (-4 - -3) - -3. Let q(j) = -j**2 - j. Let o(t) = -2*t**3 + t**2 + 3*t + 1. Let v(n) = -o(n) - q(n). Is 4 a factor of v(k)?
False
Let g(m) = -m - 1. Let f(q) = -1. Let j(r) = -2*f(r) + 2*g(r). Let p be j(3). Is 23 a factor of (3/p)/(1/(-92))?
True
Suppose -4*n = 3*b - 261, 3*n = -b + 130 + 72. Does 23 divide n?
True
Suppose -171 = -4*n - 3*q, -n - 5*q + 14 = -50. Suppose 1 = -2*c + 7. Is 10 a factor of n/c*1 - 3?
True
Let z be ((-12)/5 - -2)*-5. Suppose z*h + 4 = 0, a - 5*h = 3*a - 108. Does 37 divide a?
False
Suppose 0 = -4*o - 5*r - 8, 4*r = 4*o + 2*r + 8. Does 14 divide (-17)/(-1) + (o - 1)?
True
Let t = 6 + -14. Let a(i) = -2*i + 11. Does 8 divide a(t)?
False
Is 13 a factor of -3 + 3 + (-90)/(-3)?
False
Let w be (4 - 0)*(-20)/16. Let r(g) = 2*g + 0*g + 2*g**3 - 4*g**2 - 3*g**3 + 7. Is 10 a factor of r(w)?
False
Does 11 divide 56/(-30) + 2 + 10552/60?
True
Let t(q) = q**3 - 4*q**2 - 4*q - 5. Let c be 10/(-12)*2*-3. Let v be t(c). Let x = v - -2. Does 2 divide x?
True
Let p be (36/(-8))/((-9)/96). Suppose -p = -5*h + 192. Is h a multiple of 16?
True
Let l(z) = -z + 1. Let y be l(-7). Let x be 44/6 + y/12. Does 13 divide 198/x + 3/(-4)?
False
Is (-5)/(20/12) - -57 a multiple of 11?
False
Let t(d) = -21*d - 2. Let y be t(-2). Suppose 2*j - y = -3*j. Does 6 divide j?
False
Let u(a) = -16*a**2 - 5*a + 2. Let q(x) = 11*x**2 + 3*x - 1. Let c(d) = -7*q(d) - 5*u(d). Suppose 5*w + 3 = 5*m - 27, 2*w + 8 = 0. Is 13 a factor of c(m)?
False
Let j(t) = 12 - t - 10 + 1 + 18. Is 5 a factor of j(11)?
True
Suppose -3*a = m + 4, 16 = 3*a + 4*m + m. Does 7 divide ((-27)/a + 0)*1?
False
Suppose 4*c = 62 - 14. Suppose 2*n + n = c. Suppose o - u = -3 + 5, n*u = 2*o + 4. Is 3 a factor of o?
True
Suppose -2*u + 28 = i, -i = -3*i - 4. Let a = 84 - 50. Let y = a - u. Is y a multiple of 19?
True
Does 18 divide 372/21 + (-2)/(-7)?
True
Suppose -5*o + 3*p = -6*o + 10, 3*o - 5*p - 2 = 0. Suppose -19 + 91 = o*t. Let n = 46 - t. Is n a multiple of 16?
False
Suppose 2*y = 3*r + 2*r + 45, -2*y - 4*r + 90 = 0. Is 285/7 + 10/y a multiple of 13?
False
Let t = 42 - 20. Is t a multiple of 19?
False
Let l = 514 - 106. Does 21 divide l?
False
Let i = -12 - -11. Let g be (-9)/(-2)*4/3. Let s = i + g. Is s a multiple of 5?
True
Let j = -11 - -8. Let i = j + 7. Is i a multiple of 4?
True
Suppose 2*m + 0*k - 96 = -4*k, -3*m - 4*k + 136 = 0. Is m a multiple of 9?
False
Let k(p) = p + 10. Let i be k(9). Let h = -6 + i. Is 13 a factor of h?
True
Suppose -4*q + 2*j = -6, -3*q + 4*j - 6 = 6*j. Suppose q*i - 3*i = -33. Is i a multiple of 7?
False
Let y = -2 - -13. Suppose 47 = 2*h + y. Is 4 a factor of 6/27 + 68/h?
True
Suppose -27 = -4*o - 3. Let s(d) = d**3 - 7*d**2 + 6*d + 2. Let g be s(o). Suppose g*r = -r + 39. Is r a multiple of 13?
True
Suppose k + k = -8, -2*f + 866 = -5*k. Suppose -3*q = -3*n + 216, 5*n - f + 67 = 3*q. Is 18 a factor of n?
False
Let u = 7 + 89. Is u a multiple of 24?
True
Let x = 0 - 0. Suppose 0 = -x*o - 3*o - 78. Let b = o - -40. Is 7 a factor of b?
True
Suppose 0 = z, 0*b + 2*z = -2*b + 8. Suppose 144 = b*s - 0*s. Is s a multiple of 18?
True
Suppose 2*f - 170 = -3*f. Let j = f - 8. Is 13 a factor of j?
True
Let a(y) = y**2 + y + 1. Let i(g) = 2*g + 3. Let q(b) = 4*a(b) - i(b). Let j be q(-2). Suppose 3 = -x + j. Is x a multiple of 5?
True
Let v(o) = o**3 - 5*o**2 + 5*o - 10. Let c be v(7). Suppose -5*l + 2*l - 5*z = -c, l - 2*z = 30. Does 18 divide l?
True
Let b(c) be the second derivative of -c**5/20 + c**2 - 2*c. Does 2 divide b(0)?
True
Let v(j) be the first derivative of j**4/12 - j**3/3 - j**2 - 3*j + 2. Let t(w) be the first derivative of v(w). Does 11 div