2 - -3. Let p = v - -4. Does 4 divide p?
True
Suppose 3*q - 124 = -43. Suppose -3*z - q = -3*m, 3*m - 4*z - 3 - 22 = 0. Is m even?
False
Let q = -45 + 162. Is 9 a factor of q?
True
Suppose 0 = 11*z - 54 - 122. Is 13 a factor of z?
False
Let g = 0 + 3. Suppose -24 = -g*f - 3. Is 2 a factor of f?
False
Suppose -3*o - 2*v - 16 = -o, -2*v = 8. Suppose 0*g - 5*k + 55 = 2*g, -3*k = 5*g - 109. Let u = g + o. Is u a multiple of 16?
True
Let c(y) = -y**3 + 6*y**2 - 4*y - 2. Let i be c(5). Suppose -2*f - 5 = 2*f - 3*g, 2*g = i*f + 4. Let r(o) = -7*o + 1. Does 15 divide r(f)?
True
Suppose 2*p - 4*l = 16, 2*l = 4*p - 1 - 13. Is 18 a factor of (p - 4)*83/(-2)?
False
Let v be (-10 + -5)*4/(-3). Does 25 divide (-1 - 7)*(-290)/v?
False
Suppose 8*v + 6*v = 2968. Does 18 divide v?
False
Let f(d) = 26*d**2 - d - 1. Let a be f(-2). Suppose v + 3*v - 138 = -3*r, -3*v = 3*r - a. Is 33 a factor of v?
True
Is -2*(-1)/(-2) - -19 a multiple of 9?
True
Suppose -2*x = -5*b + 2*x, 0 = -5*b + 5*x - 5. Suppose 0 = b*r + r + 2*k - 144, -5*r + 2*k = -156. Let z = -5 + r. Is 14 a factor of z?
False
Suppose -3*r = -0*r - 15. Suppose -r*s - 9 - 48 = -4*d, 4*s = -2*d - 4. Is 8 a factor of d?
True
Suppose t + 5*l + 16 = -t, -3*t = -l - 10. Suppose 0 = 4*k + t*j - 64, 2*k - 2*j = 5*k - 50. Does 7 divide k?
True
Let x(t) = 7*t**2 - 3*t + 1. Suppose -2*q + 0 + 4 = 0. Is x(q) a multiple of 18?
False
Suppose 3*s + 24 = 4*a + 212, 2*s = 5*a + 130. Is 20 a factor of s?
True
Let a be (-48)/30*5/(-2). Suppose -u + 0*u + 22 = -2*n, -5*n + 36 = a*u. Is u a multiple of 7?
True
Let s be (-25)/((-2 - 2)/4). Let f = 23 + -34. Let i = s + f. Is 14 a factor of i?
True
Let s(b) = -4*b**3 - 3*b**2 + 2*b - 6. Is 23 a factor of s(-3)?
True
Suppose 0*n + n = 3. Let l = 14 - n. Is 11 a factor of l?
True
Does 33 divide 6475/63 - 1/(9/(-2))?
False
Let f = 18 - 119. Let y be f/(-2) + (-3)/6. Let h = y + -28. Is 11 a factor of h?
True
Let p(w) = -w**2 - 9*w + 12. Let h be p(-10). Let z = 6 + h. Does 8 divide z?
True
Suppose -5*n + 27 = -l, -4*n + 5*l + 38 = 8. Suppose -11*j + 16*j - 140 = 0. Suppose -n*d - 8 = -j. Is d a multiple of 2?
True
Let n(b) = -b + 10. Let l be n(5). Suppose -74 = -l*g + 1. Does 6 divide g?
False
Suppose 2*o + 3*q = -7, 6 = 5*o - 5*q - 14. Suppose -4*x - o = -141. Is 13 a factor of (-2)/(-7) - (-1285)/x?
False
Let q(b) = 4*b**2 - 2. Let x be q(9). Suppose 3*w - 32 = -4*j, -3*w = -5*j - 21 + 61. Does 16 divide x/j - (-1)/(-4)?
False
Let g = 51 - -21. Does 8 divide g?
True
Let s(c) = 7*c**3 - 16*c**2 + c - 22. Let i(j) = -4*j**3 + 8*j**2 - j + 11. Let t(u) = -5*i(u) - 3*s(u). Is 13 a factor of t(8)?
False
Suppose -17 = -3*w + 58. Does 10 divide w?
False
Let y(c) = -c**3 - 6*c**2 + 5*c + 4. Let z be y(-7). Let u = z - 6. Does 9 divide u?
False
Suppose 2*r = 3*q - 2*r - 81, 0 = -2*r. Suppose 8 + 4 = i. Let j = i + q. Is 10 a factor of j?
False
Let c be (-2)/(-12) - 33/(-18). Suppose c*d - 24 = 136. Suppose -61 = -2*z + f, 5*f + d = 5*z - 60. Does 14 divide z?
False
Suppose 3*d = d + 10. Suppose 0 = d*v - 362 + 107. Is v a multiple of 17?
True
Let x be (2 - 1) + (-1)/(-1). Suppose 29 = -x*q + 95. Is 16 a factor of q?
False
Suppose 0 + 12 = 3*p. Suppose 0 = -z + p*z + 66. Let w = 41 + z. Is 8 a factor of w?
False
Let h(u) = 5*u - 6. Let j be 8*((-6)/(-3))/4. Suppose -8 = -j*d + 2*d. Does 14 divide h(d)?
True
Let p(n) = n - 2. Let g(a) = -2*a + 3. Let r(d) = 2*g(d) + 5*p(d). Let w be r(7). Suppose -3*j - 59 = -b - 1, w*j - 34 = -b. Does 20 divide b?
False
Suppose 7 - 16 = -3*m. Suppose -2*z + z = -m. Suppose 2*b - 82 = -z*r - 3*b, 4*r - 91 = -3*b. Is 10 a factor of r?
False
Let t = -92 - -138. Is t a multiple of 11?
False
Let n(c) = 4*c**2 + c + 2. Let d be n(4). Suppose -4*v + 6*h - 20 = h, 4*v = 4*h - 16. Suppose v = -u + 3*u - d. Does 13 divide u?
False
Does 35 divide (48/40)/(1*(-3)/(-470))?
False
Suppose -4*r - 116 + 607 = 5*t, 244 = 2*r + 4*t. Is r a multiple of 31?
True
Let c(g) = 2*g**3 + g**2. Is 3 a factor of c(1)?
True
Suppose 3*h = -5 - 7. Let l(a) = 15*a + 5. Let v(u) = -5*u - 2. Let m(o) = 2*l(o) + 7*v(o). Is m(h) a multiple of 8?
True
Suppose 4*g + 9 = 33. Does 4 divide g?
False
Let q be 4/(-6) + (-68)/(-3). Is 26 a factor of q + (1 - 0 - -3)?
True
Let g be ((-3)/(-6) + -1)*2. Let u be g/(2 + -1)*-4. Let n = 9 + u. Is n a multiple of 13?
True
Let a(x) = x**3 + 5*x**2 - 6*x + 4. Let u be (-4 - -3)*2*3. Let g be a(u). Suppose 78 = -p + g*p. Is p a multiple of 13?
True
Let d(b) = -14*b. Let s be 6/(-9) + 1/(-3). Does 7 divide d(s)?
True
Suppose -14 = -q + d - 0*d, 0 = -2*q - 5*d + 42. Is 16 a factor of q?
True
Let w be (14/4)/((-2)/4). Let k(t) = 2*t + 6. Let j be k(-5). Let u = j - w. Is 2 a factor of u?
False
Let j = -22 - -12. Let a = -6 - j. Suppose 0 = -a*p + 2*p + 34. Is 9 a factor of p?
False
Let q = -82 + 152. Does 7 divide q?
True
Let b(u) = 5*u**2 + 19*u - 4. Suppose -5*l = 5*y + 5, 5*l - y = 20 - 55. Let k(t) = -14*t**2 - 56*t + 12. Let j(q) = l*k(q) - 17*b(q). Is 13 a factor of j(6)?
False
Suppose -144 = 4*i - 1144. Does 14 divide i?
False
Suppose -80 = -0*q + 2*q. Suppose -4 = 3*s + 53. Let g = s - q. Is g a multiple of 13?
False
Let k = 10 - 16. Let a be 3/(-1) + k + 3. Is a/10 - (-249)/15 a multiple of 16?
True
Suppose -2*d + 492 = 20. Suppose 3*b = 7*b - d. Is b a multiple of 15?
False
Let w be 8/(-4)*54/(-4). Let l = -49 + w. Does 5 divide (-114)/l + (-4)/22?
True
Let k = -15 - -27. Let a be (k/(-2))/(1 - 2). Let z = a - 1. Does 4 divide z?
False
Let p(z) = -2*z + 9. Suppose 5 = -4*j + 33. Let x be p(j). Is -2*(45/2)/x a multiple of 9?
True
Let n = -57 - -65. Is n even?
True
Let n = -83 - -143. Is n a multiple of 12?
True
Let i = 0 + 2. Suppose -2*s - i*p + 26 = 0, 2*p + 3 = 9. Suppose -s = -2*r + r. Does 5 divide r?
True
Let y(z) = 13*z**2 - 2*z - 2. Let c be y(2). Let u = c + -7. Suppose -u = -3*q - 15. Is 4 a factor of q?
True
Let l = -77 + 120. Let q = 67 - l. Is q a multiple of 8?
True
Let o(j) be the first derivative of -57*j**2/2 + 3*j + 6. Is 12 a factor of o(-1)?
True
Let s(t) = 3*t + 2. Let n be s(6). Let w(j) = -6*j + 9. Let u be w(9). Does 12 divide n*(u/(-12) - 2)?
False
Suppose 5*l = 1 - 11. Let v(s) = -13*s - 2. Let x be v(l). Let y = -15 + x. Is 9 a factor of y?
True
Let x(k) = -2*k**2 - 7*k + 8. Let h be x(-7). Let t = h - -66. Does 11 divide t?
False
Let f(v) = 11*v**2 + 0 + 0*v - 1 + v. Is f(1) a multiple of 3?
False
Suppose 0*p - 3*p = -21. Let m = p + -5. Suppose 0 = -o - m*o + 15. Is o a multiple of 5?
True
Suppose -3*x + 0 = 3, 0 = -4*a + x + 21. Suppose -a*v = -4*v - 7. Is 5 a factor of v?
False
Let j(f) = f**2 + 20. Let y = 5 - 5. Does 8 divide j(y)?
False
Let o = 243 - 134. Does 20 divide o?
False
Suppose -2 = 4*u + 10. Let a be 10*1 + 3/u. Is (-2)/(-6) - (-105)/a a multiple of 9?
False
Let r be 603/12 + (-1)/4. Suppose 6*k - k = r. Is 10 a factor of k?
True
Let z(u) = 4*u**2 - 5*u + 14. Is 17 a factor of z(4)?
False
Let l(p) be the first derivative of -5*p - 2/3*p**3 + 4 + 1/4*p**4 - 3*p**2. Is 20 a factor of l(5)?
True
Let q be 1 + -38*(6 + -3). Let r = q - -173. Suppose -4*f - r = -2*z, -2*f = 4*z + 3*f - 81. Is 8 a factor of z?
True
Suppose -2*w = 5*q - 32, -5*q + 2*q + 2*w + 16 = 0. Let c = 1 + q. Is c a multiple of 6?
False
Let y = 19 - 16. Is y a multiple of 2?
False
Suppose y + 4 = -2*h, 2*h = 5*y - 0*h - 40. Let a be (-3)/y - (-30)/4. Suppose -6*r = -5*r - a. Is r a multiple of 7?
True
Let r(s) = 8*s**2 - 1. Does 7 divide r(-2)?
False
Suppose -5*x - 4*q = -47, 0*q - q - 2 = 0. Suppose -2*p - 5*z - 38 = 15, -x = -p + 5*z. Let h = 14 - p. Is 15 a factor of h?
False
Is (-2 - (-12)/9)/((-8)/468) a multiple of 16?
False
Let x = 44 - -22. Does 9 divide (-4)/(-22) + 1704/x?
False
Suppose 5*s - 32 = 4*s. Suppose -x + 142 = 4*g, 0 = 2*g - g + 2*x - s. Does 18 divide g?
True
Let w(o) = -3*o - 9. Let v be w(-12). Let i = v - 18. Does 4 divide i?
False
Is 3/(-18) + (2692/24 - 1) a multiple of 5?
False
Does 18 divide (-8)/(-28) + 752/14?
True
Let p(g) = -11*g - 1. Let i(a) = a**2 + 6*a - 9. Let u be i(-7). Is 7 a factor of p(u)?
True
Let v = -28 + 25. Let a(y) = -y**2 + y. Let z(l) = -7*l**2 + 1. Let j(q) = 3*a(q) - z(q). Is j(v) a multiple of 18?
False
Let f be (8/20)/((-3)/(-15)). Let h = 6 - 0. Suppose h*g = f*g + 12, -z - 2*g = -2