se -y = -2*y + i. Is y a multiple of 13?
False
Let x be 20 + -4 - (2 - 3). Let z = -13 + x. Is z even?
True
Does 9 divide 191/9 + 2/(-9)?
False
Suppose -3*i = -i - 354. Is i a multiple of 14?
False
Let m(o) = -o**2 + 8*o + 8. Let g be m(10). Let k be (-1 - 0)*-2 + -22. Let c = g - k. Does 3 divide c?
False
Is 26/(((-15)/(-20))/((-6)/(-4))) a multiple of 4?
True
Suppose b + 3 = -2*b, -1 = 5*r + b. Suppose -j + 2*c + 11 + 4 = r, -3*j + 45 = -3*c. Is 5 a factor of j?
True
Let u be (16/3)/(4/6). Let z(c) = 6*c - 2. Is z(u) a multiple of 12?
False
Let j(d) = d + 10. Let u be j(-8). Is 20 a factor of u/3*(-261)/(-6)?
False
Let h(p) = p**3 + 9*p**2 - p - 6. Let v be h(-9). Suppose -v*m = -89 - 49. Does 23 divide m?
True
Let q = 21 - 81. Let o = q - -102. Does 21 divide o?
True
Suppose -3*q - q - 2 = -2*x, -27 = -q - 5*x. Suppose -2*s - 3*c = -15, -9 + 1 = -q*s + 4*c. Suppose -2*v + s*v = 3*f + 75, 3*v - 52 = -2*f. Does 10 divide v?
False
Let g(o) = 4*o**3 - o**2 + 1. Let q be g(1). Suppose -32 = 4*u + 5*z, -u - 2*z - 8 = -q*z. Let w = u - -24. Is w a multiple of 6?
False
Suppose 2*v + 6*b = b - 13, -b = 3*v - 13. Suppose -4*n = -22 + v. Suppose -4*i + 0*i = -5*h + 71, n*h - 55 = 5*i. Is h a multiple of 6?
False
Let v = -261 + 417. Is 26 a factor of v?
True
Let m(x) be the second derivative of -x**5/20 + x**4/2 - x**3/3 + 7*x**2/2 - 2*x. Is 19 a factor of m(5)?
False
Let i(k) be the first derivative of -k**4/4 - k**3/3 + k**2/2 + 3*k - 3. Let w be i(0). Suppose -115 = -3*u + 5*t, 2*t = w*u - 0*u - 109. Is 12 a factor of u?
False
Let p(h) = -5*h**2 - 5*h - 12. Let g(c) = -2*c**2 - 2*c - 6. Let i(t) = -7*g(t) + 3*p(t). Let n be i(0). Suppose f - n - 23 = 0. Is 14 a factor of f?
False
Suppose 2*u = -u + 2*m + 23, -3*u + m + 19 = 0. Suppose 319 = 3*j - 4*b, u*j - j + 2*b = 418. Does 35 divide j?
True
Let x = -17 - -22. Suppose y + x*q - 2*q = -3, 2*q = -8. Is 5 a factor of y?
False
Suppose 3*y + 8 = 7*y. Suppose 0*o - 72 = -y*o. Is o a multiple of 12?
True
Let j = -52 - -88. Let t = -25 + j. Does 3 divide t?
False
Suppose -5*k + 2*g + 58 = -0*k, -4*k - 2*g = -32. Let m = k + 1. Is m a multiple of 4?
False
Let v(j) = j**2 + 3*j - 3. Let d be v(-5). Suppose a - 25 = -d. Suppose 0 = 3*q + 3*y - a, -q + 15 = q + 5*y. Is 2 a factor of q?
False
Suppose -5 - 1 = -3*x. Suppose -49 = -x*b - y, -3*y - y - 116 = -5*b. Does 16 divide b?
False
Let y be ((-99)/(-4))/(3/12). Suppose -y = -5*p - n - 9, -p + 24 = -n. Let f = p + -6. Is 11 a factor of f?
False
Let z(n) = -n**2 + 5*n + 2. Let h be z(5). Suppose -2*t + 4*c = -16, -4*t - 8 = -h*t + 2*c. Suppose t = 5*d - 37 + 7. Does 6 divide d?
True
Let o(d) = -14*d + 1. Let u be o(1). Let g(j) = -6*j - 26. Is 11 a factor of g(u)?
False
Let i = -7 - -23. Let l = i + -9. Let x(t) = t**2 - 4*t + 3. Does 12 divide x(l)?
True
Suppose -j = -5*i + 199, 2*i + 0*j + 3*j - 83 = 0. Does 20 divide i?
True
Let z = -49 - -76. Is 9 a factor of z?
True
Suppose -v = -7*v + 408. Does 10 divide v?
False
Let r = 270 - 186. Suppose 55 = 2*s - 3*y, -4*y - r = -s - 2*s. Does 14 divide s?
False
Suppose 3*d - 109 = -4*v, d - 2 = 1. Is 23 a factor of v?
False
Let l(u) = -u**2 - 4*u + 1. Let z be l(-4). Suppose -z - 5 = -n. Does 6 divide n?
True
Is 31 a factor of ((-708)/(-15) + -2)*40/16?
False
Let k(v) be the first derivative of 2*v**3/3 - 6*v**2 - 2. Is k(8) a multiple of 18?
False
Let l be (-7)/((-7)/(-3)) + 1. Let w = 13 + l. Does 4 divide w?
False
Let i = 191 + -96. Does 19 divide i?
True
Let n(p) = p - 6. Let f be n(10). Suppose -71 = -g - f*x, -x + 197 = 3*g - 38. Suppose -4*a + g = 27. Is a a multiple of 7?
False
Is 2 a factor of (-15 - -16) + 5*1?
True
Let v(g) = 4 - 3 + 13 - 3*g + 0. Is v(-13) a multiple of 25?
False
Let v(i) = -i**2 + 6*i - 3. Let r be v(5). Suppose m - r*m = -44. Is m a multiple of 22?
True
Let c(x) = x**3 - 7*x**2 - x - 3. Let r(p) = 26*p**2 - 11*p**2 - 3*p**3 + 7 + p + 0*p. Let a(z) = 7*c(z) + 3*r(z). Is a(-3) a multiple of 12?
False
Let c be 3/9 - 1617/(-9). Let b be c/8 - 1/2. Suppose -p = -b + 6. Is p a multiple of 11?
False
Let w(t) = 2*t**2 + 7*t**2 + 6 + 7*t - 4*t**2 + t**3 + 4*t**2. Is 14 a factor of w(-8)?
True
Suppose -s - 24 = -5*s. Does 22 divide 218/s + (-2)/6?
False
Suppose 5 = -3*t + 2. Is 8 a factor of (6/2 - -14) + t?
True
Let o be (4 + 0 - 2)/(-1). Does 9 divide (-7 + -2)/(-3 - o)?
True
Suppose -2*p = -a + 8, 3*a + 0*p = -p + 3. Suppose a + 2 = 4*v - t, v + 5*t - 22 = 0. Suppose 0*n - 217 = -4*n + 3*s, 0 = 4*n - v*s - 218. Is 19 a factor of n?
False
Let z(v) = -7*v**3 - 4*v**2 - v + 2. Suppose 4*m + 7 = -m + w, -2*w - 6 = 0. Does 20 divide z(m)?
False
Let b(m) = m**2 + 6*m + 6. Let c be b(-8). Suppose 0 = 5*t - c - 118. Suppose t - 4 = 3*h. Is 4 a factor of h?
True
Suppose -4 = 2*o, -5*q + 3*o + 94 = -3*q. Let a = -20 + q. Is 6 a factor of a?
True
Let f(v) = -59*v - 34. Does 13 divide f(-4)?
False
Suppose 4*p = -2*y - 3*y + 187, -4*y + 2*p = -134. Is y a multiple of 7?
True
Let w be -22 - (3 - (-5)/(-1)). Let z be (-1)/5 - 44/w. Is 21 - (-3 + 2 + z) a multiple of 11?
False
Suppose -5*o + 4*r = -80, 3*r = o - 0*r - 27. Let a be -2*(39/6 + -2). Let u = a + o. Does 3 divide u?
True
Let i = 7 + -3. Let w(h) = h**3 - 4*h**2 + h + 1. Let k be w(i). Let b = k + 5. Does 10 divide b?
True
Let r = 1 + -2. Let t be r + (-16 - -1)*-2. Suppose -k = -3*m + m - 17, -m + t = k. Does 15 divide k?
False
Let v be (-1140)/42 + (-2)/(-14). Let m = v - -51. Is 14 a factor of m?
False
Suppose -2*a + 20 = -26. Suppose -2*v = v - 129. Let w = v - a. Is w a multiple of 10?
True
Does 3 divide (-16)/6*(-30)/8?
False
Let l be (60/2)/((-4)/4). Is 6 a factor of ((-4)/(-10))/((-1)/l)?
True
Suppose -4*w - 3 = -11. Suppose 0 = w*p - 3*j - 101 - 3, -j - 51 = -p. Does 13 divide p?
False
Suppose -2*q + 9 = -1. Does 2 divide q?
False
Suppose 2*m - 3*d = -2*m + 129, 3*m - 102 = 4*d. Is m a multiple of 5?
True
Suppose -y + 0*y = -27. Suppose 3*t = 126 + y. Does 19 divide t?
False
Suppose -4*c = -134 - 58. Is 8 a factor of c?
True
Let q = 30 - 11. Let b(r) = -r + 29. Is 10 a factor of b(q)?
True
Does 5 divide -3*12/45*(-1 - 24)?
True
Let n(x) = -2*x + 2. Let y = -7 - -5. Is n(y) a multiple of 5?
False
Suppose -3*i = -5*z + 13, 3*i - 3*z = z - 8. Suppose i*w - 3*w = 60. Let r = w - 42. Is r a multiple of 9?
True
Is 8 a factor of (0 - (-2 - -1))*16?
True
Does 27 divide 4*3/(-3)*117/(-3)?
False
Is 101 + ((-16)/4)/4 a multiple of 17?
False
Let b(k) = 3*k**3 + 4*k**2 + 3*k + 1. Let u be b(-2). Does 10 divide 3 - (3 - -3) - u?
True
Let r = 123 + -31. Is r a multiple of 55?
False
Let t(b) = -b**3 - 5*b**2 + 7*b + 8. Let w be t(-6). Suppose -3*a + 17 = 4*v + 2*a, 5*a - 29 = w*v. Let u = v - -12. Is u a multiple of 10?
True
Suppose 6*m = 2*m + 440. Is 7 a factor of m?
False
Let m(z) be the first derivative of z**2/2 + z + 3. Let t be m(3). Is (2 + 6)*5/t a multiple of 4?
False
Let u(n) = -6*n + 1. Let o be u(-1). Let y be ((-20)/(-35))/(2/o). Suppose 130 = -y*q + 7*q. Does 13 divide q?
True
Suppose 5*r - 4 = 2*s - 57, 25 = -5*r. Let z = 29 - s. Suppose -6 = -2*c - 5*w + 25, -z = -5*w. Does 8 divide c?
True
Let g = 28 - 12. Does 3 divide g?
False
Let k(h) = -10*h**3 - h**2 + 1. Let r be k(-1). Let b = -6 + r. Suppose -b*q = -q - 93. Does 15 divide q?
False
Let m be 1*(-1 + 7 + -1). Let y = 9 - m. Suppose 120 = y*l + l. Does 10 divide l?
False
Suppose -45 - 36 = -3*b. Does 9 divide b?
True
Let y be (15/6 + -3)*-134. Suppose -20 = 3*r - 2*w - y, 10 = 2*w. Does 9 divide r?
False
Let p(m) = -m + 2. Is p(-1) even?
False
Let z be ((-12)/(-10))/(6/260). Suppose 0 = -2*g - 4*b + 22, 4*g + 4*b + 0*b = z. Does 6 divide g?
False
Suppose 5*k = -4*m - 51, 11 = 2*k + m + 29. Let n = k - -11. Suppose -n*d + 0*d = -112. Is d a multiple of 15?
False
Let d(a) = -a**3 + a + 27. Does 9 divide d(0)?
True
Suppose -6*g + 10*g - 104 = 0. Is 13 a factor of g?
True
Suppose 5*o = 9*o - 68. Let c = 22 + o. Is 16 a factor of c?
False
Let d(b) = b + 8. Let n be d(-6). Suppose 0 = -n*c + 26 - 6. Is 3 a factor of c?
False
Suppose -5*o - 43 = -8. Is (22/(-4))/(o/14) a multiple of 11?
True
Let l = 81 + -155. Let o = -51 - l. Does 23 divide o?
True
Suppose -y - 10 + 26 = 0. Suppose y = -3*c - c. Let i = c - -11. Does 4 divide i?
False
Is (270/(-24))/((-3)/8) a multiple of 13?
False