 3?
False
Let l = 33 + -7. Suppose 0 = -2*c + 2*q + 4 + l, -3*c + 53 = q. Is 9 a factor of c?
False
Suppose 0 = -4*w + 157 - 49. Let b be (w - (-1 + 3)) + 0. Suppose -5*h = -b, -h - 18 = -4*v + 1. Is 6 a factor of v?
True
Let f(l) = 3*l - 1. Let b be (-26)/(-10) + 6/(-10). Let v be f(b). Suppose 0 = v*i - 208 + 53. Is i a multiple of 11?
False
Suppose 2*k - 5*g - 305 = -3*k, 2*k - g - 118 = 0. Let y = -59 + 28. Let h = y + k. Is 13 a factor of h?
True
Let w = -3 - -27. Is w a multiple of 12?
True
Let a(u) = u**2 + 8*u - 13. Does 5 divide a(5)?
False
Let k(q) = 6*q + 2. Is 5 a factor of k(3)?
True
Let f(w) = 2. Let x(q) = q + 3. Let l(s) = 5*f(s) - 2*x(s). Is 3 a factor of l(-5)?
False
Suppose -75 = -l + 2*q, 5*q - 10 = -l + 51. Does 18 divide l?
False
Let a(o) = 7*o + 9. Does 13 divide a(6)?
False
Let y be 6*(0 + -1)*1. Let h(a) = -5*a + 4. Is h(y) a multiple of 19?
False
Suppose 5*m = 94 + 111. Is 13 a factor of m?
False
Let i = 10 - 8. Suppose 3*j - d = 79, 9*d + 57 = i*j + 4*d. Is 14 a factor of j?
False
Suppose -5*a = 4*k + 6, -2*a + 2*k = 1 + 5. Let s be (2 + a)/(-1 - 1). Let d = s - -3. Is 2 a factor of d?
False
Let c = -10 - -14. Let r be (5 + 0)*-1*c. Does 3 divide (r/(-8))/((-2)/(-4))?
False
Let y = 18 + -9. Let w be 10/6*2*y. Does 4 divide w/4*(-8)/(-12)?
False
Let b be (-229)/(-5) + 1/5. Let p = -30 + b. Is p a multiple of 13?
False
Let j(g) = -g**3 + 6*g**2 + 4*g - 2. Let b(f) = -f + 1. Let z be b(-5). Does 22 divide j(z)?
True
Is 6 a factor of (2 + (-16)/6)/(1/(-18))?
True
Suppose s = -3*s - 4, i - 32 = -s. Suppose 4*h - i = h. Is 5 a factor of h?
False
Suppose -x = 4*w - 775, 510 + 66 = 3*w - x. Does 9 divide w?
False
Let v = 131 + -59. Suppose -r - 3*r = -v. Does 9 divide r?
True
Let j be 2*-2 - (-259)/7. Let u = j + -20. Is 11 a factor of u?
False
Let p(x) = 4*x**2 + x. Let t be p(-1). Suppose -t*w + 3*v + 114 = 0, 0 = -4*w - 5*v + 70 + 82. Suppose -4*a = -12, -2*l + 3*a + w = a. Is 13 a factor of l?
False
Suppose k - 3 = -3*m - 0, 5*m - 5 = 2*k. Suppose 3*f - 48 - 60 = k. Is f a multiple of 9?
True
Suppose -o + 2 - 6 = 0. Does 2 divide ((-13 - 3)/o)/1?
True
Let y be 6/(-27) + 61/(-9). Is 18 a factor of (-1016)/(-28) - (-2)/y?
True
Let z = 174 + -99. Is 20 a factor of z?
False
Suppose -15 = -v - 4*v. Suppose 4*w = 2*z - 10, -3*z + 3 + 3 = -v*w. Is (5/w)/((-4)/72) a multiple of 15?
True
Let n(x) = -x + 50. Is n(8) a multiple of 17?
False
Suppose -8 = -2*i - 0*h + h, -h = -i + 5. Suppose i*u = -2 + 11. Suppose 2*s - 28 = 4*v, -u*s - s - 5*v - 9 = 0. Is s a multiple of 3?
False
Suppose 7*u = u + 294. Is 13 a factor of u?
False
Let z(s) = -s**2 - 8*s - 9. Let l be z(-6). Let g(c) = 3*c. Let i be g(5). Suppose n - i = l. Is n a multiple of 9?
True
Let y be (5/(-4))/((-6)/24). Suppose -3*o + 3*u + 33 = 2*o, 53 = y*o + 2*u. Let l = o - -10. Does 10 divide l?
False
Let b(h) = h. Let u be b(4). Let w(n) = -n**3 + 5*n**2 + 4*n - 2. Let g be w(u). Let t = g - 13. Does 15 divide t?
False
Suppose -4*y + 3*i = 0, -4*i + 31 - 3 = 4*y. Let x be (70 - y)/((-1)/(-1)). Suppose x = 5*l - 48. Is 23 a factor of l?
True
Let u(a) = -4*a - 14. Let h be u(-6). Suppose 17 - 5 = 2*t - y, -2*t = -2*y - h. Is 2 a factor of t?
False
Let o(p) = 3*p**2 - 13*p + 8. Let m be o(6). Is -8*m/4*-1 a multiple of 19?
True
Suppose 5*s + q - 12 = 4, 0 = 5*s + 5*q. Suppose s*p = -p + 315. Is p a multiple of 22?
False
Let f(u) = -u**2 + 5*u - 5. Let h be f(5). Let m = h - -15. Is m a multiple of 10?
True
Suppose -484 = -2*m + 4*b, 14*m - b - 247 = 13*m. Is 28 a factor of m?
True
Does 15 divide (-4)/3 - (-184)/3?
True
Let w = -7 + 5. Let g be (-12 - w)*(-3)/6. Suppose 57 + 53 = g*p. Does 10 divide p?
False
Let j = -41 - -61. Let o be 508/j - 4/10. Suppose 5*g - o = -0*g. Is g even?
False
Let t(w) be the second derivative of -4*w + 0 + 7/6*w**3 - 1/2*w**2 + 1/6*w**4. Is 7 a factor of t(-5)?
True
Let v(w) = w**3 - 10*w**2 + 11*w + 10. Let r be v(9). Suppose 82 = 5*j + 4*c - r, -4*c = -2*j + 44. Is j a multiple of 11?
True
Does 21 divide (-17)/((-4 - -6)/(-4))?
False
Let h(i) = 5*i - 6. Suppose -2*l - 3*l - 75 = 0. Let u = 22 + l. Is 11 a factor of h(u)?
False
Suppose -k = 3*k. Is 13 a factor of (-18)/(-1) + k + -3?
False
Suppose 5*m - 50 = 4*h, 4*m = m + 4*h + 38. Let s = 60 - 58. Is (-27)/s*(-8)/m a multiple of 8?
False
Let g(w) = -21*w**3 + w**2 + 3*w + 2. Let o(b) = -2*b**2 - 11*b + 5. Let r be o(-6). Does 7 divide g(r)?
True
Suppose -j = 0, -j + 20 = 5*z - 3*j. Is 17/(-2)*(-6 + z) a multiple of 9?
False
Let t(m) = 2*m**2 - 34*m + 20. Does 3 divide t(18)?
False
Let w(b) = b**2 - 4*b - 5. Does 13 divide w(10)?
False
Suppose -98 = -12*x + 10*x. Is x a multiple of 23?
False
Suppose 0 = -3*t - 5*h - 22, 0*h + 15 = 5*t - 2*h. Let b(m) = m**2 - 1. Let g(i) = 7*i**2 - 2*i - 12. Let w(f) = t*g(f) - 6*b(f). Is w(6) a multiple of 9?
True
Let k(n) = -n**3 - 10*n**2 - 9*n + 8. Let m be k(-8). Let o = -34 - m. Is 14 a factor of o?
True
Let c = 24 + -39. Let u = -11 - c. Is u a multiple of 3?
False
Let c(h) = -h**3 + 2*h**2 + 2*h - 2. Suppose -7 + 3 = -2*d. Let q be c(d). Suppose q*w = -3*y + 70, 64 = -y + 4*y - w. Does 14 divide y?
False
Suppose 0 = 4*i + 4*t - 32, 4*t + t + 8 = -i. Does 2 divide i?
True
Let z = 3 + 0. Suppose 1 = z*c - 5, w + 4*c - 73 = 0. Is 12 a factor of w?
False
Suppose 0*c + 4*c = 0. Let d(g) = -12*g - 8. Let n be d(-3). Let a = n - c. Is 14 a factor of a?
True
Let x(z) = -3*z**3 + 2*z**2 - 2*z + 1. Let p be x(1). Let m be (-5)/(p/48*2). Suppose -m - 20 = -4*d. Does 9 divide d?
False
Let d(c) = c**3 + 6*c**2 - 9*c - 4. Let b be d(-7). Suppose 0 = 2*k - 3*k + b. Does 4 divide k?
False
Let r = 99 + 2. Does 20 divide r?
False
Let p(r) = -7*r**2 - r**3 - 7*r + 0 + 0 + 3. Let v be ((-9)/2)/(3/4). Is 9 a factor of p(v)?
True
Let f = -55 - -79. Let x = f - -39. Does 21 divide x?
True
Suppose -k + 204 = 3*k. Let r be k*(4/6 + 0). Suppose r + 26 = 2*q. Does 15 divide q?
True
Let t be (-8 - -6)*2/(-4). Let a = 0 + t. Suppose -a = 3*h + 14, 2*h - 6 = -x. Is x a multiple of 8?
True
Let s(z) = 3*z + 2. Let h(a) = 7*a + 3. Let n(u) = 4*h(u) - 7*s(u). Let j(r) = 1. Let b(p) = j(p) + n(p). Is b(1) a multiple of 6?
True
Suppose 47 = 5*o + 2. Let j be o/4 - 4/16. Let x = j - -4. Does 6 divide x?
True
Let u(y) = 3*y - 1. Let k be u(1). Is k/(-4) - 150/(-4) a multiple of 12?
False
Let v(j) = -5*j**3 + j**2 - 8*j + 6. Does 29 divide v(-3)?
True
Let i be 0 + (0 - (5 - 1)). Let p(t) = t**3 + 5*t**2 - 2*t - 3. Is 7 a factor of p(i)?
True
Suppose 696 = 6*k - 0*k. Does 29 divide k?
True
Suppose 3*w + 5*d - 139 = 0, -2*w + 3*d + 96 = 7*d. Is 19 a factor of w?
True
Let z = 4 - -5. Is 3 a factor of z?
True
Let k = 29 - 40. Let v = 26 + k. Is 15 a factor of v?
True
Let a(x) = -x**3 + 8*x**2 - 5*x + 10. Is a(7) a multiple of 8?
True
Suppose -7 = -3*l + 14. Let g(i) = 2*i**2 + 13*i + 2. Let a(j) = 5*j**2 + 38*j + 6. Let r(b) = 3*a(b) - 8*g(b). Does 12 divide r(l)?
False
Suppose -210 = -3*n + 6. Does 24 divide n?
True
Let c(n) = -3*n**2 + 29*n - 12. Does 3 divide c(9)?
True
Let o be (-9)/(-6)*16/12. Suppose 0*l = -o*l + 20. Is l a multiple of 2?
True
Suppose -5*d = g - 161, 2*d - 2*g + 4*g - 58 = 0. Suppose -4*y - d = -5*y. Suppose -y = -0*s - 3*s. Does 11 divide s?
True
Let o be (-4)/(-4) + 0/(-2). Let h(r) = 65*r - 1. Is 20 a factor of h(o)?
False
Let i(o) = -4*o - 2. Let z(q) = 3*q + 1. Let j be z(-2). Let v be i(j). Does 18 divide (-326)/(-9) - 4/v?
True
Let a = -120 + 183. Let i = 29 + -44. Let l = a + i. Does 16 divide l?
True
Let j be 5/((-75)/18)*-5. Let i be 0 + (j + -1)*6. Let w = -12 + i. Is 16 a factor of w?
False
Let v be (-1)/(0 + (-1)/(-6)). Let c = v + 10. Suppose c*l = 3*l + 10. Does 4 divide l?
False
Suppose -a + 4 = -7. Does 6 divide a?
False
Let o = -240 + 421. Is 19 a factor of o?
False
Let t(v) = 45*v**2 + 2*v + 1. Is 9 a factor of t(-1)?
False
Suppose -5*f - 15 + 435 = 0. Let m = -48 + f. Is m a multiple of 13?
False
Let n = 74 - 50. Is 4 a factor of n?
True
Does 5 divide (-1)/(-2)*(-312)/(-13)?
False
Let v(p) = -2*p**3 - 8*p**2 - 2*p - 4. Does 32 divide v(-6)?
False
Let q = -17 + 30. Is q a multiple of 13?
True
Let z be (-100)/(-5)*3/2. Is 10 a factor of (1*-4)/((-12)/z)?
True
Suppose t - 3*t = -144. Does 18 divide t?
True
Is -2 - (-2)/(2/59) a multiple of 4?
False
