False
Suppose 76 = 4*o - 2*i, 0*o - 5*i - 85 = -5*o. Is 7 a factor of o?
True
Let u = 3 + -1. Suppose -u*a = 2*a - 352. Is 22 a factor of a?
True
Let i = 422 - 96. Is i a multiple of 38?
False
Let k(w) = 163*w**2 - w - 1. Let s be k(-1). Suppose s - 58 = 5*d. Does 21 divide d?
True
Suppose -3*t + 3 + 60 = 0. Is t a multiple of 7?
True
Let b(u) = 7*u**2 - 1. Let i be b(-2). Let a be -1*(2/2 + -1). Suppose a = -3*v + i + 15. Is v a multiple of 7?
True
Suppose 3*b - 4*b + 3 = 0, 0 = -3*m - 4*b - 72. Let f = 44 + m. Is 6 a factor of f?
False
Let c(x) = x**3 + 6*x**2 + x - 3. Let h be c(-4). Suppose -3*i + 65 = -h. Is i a multiple of 12?
False
Let m(t) be the third derivative of t**6/60 + t**5/30 - t**4/8 + t**3/3 - 3*t**2. Is m(2) a multiple of 10?
True
Suppose 63 - 15 = 2*h - 4*w, -5*h - 2*w + 156 = 0. Suppose h = -5*j + 195. Is j a multiple of 12?
False
Let u = 76 - 24. Does 9 divide u?
False
Suppose 0 = -4*j - j - 20. Suppose 4*z = -7 + 23. Let i = z - j. Does 8 divide i?
True
Suppose 2*h + 7 = 5*c + 3, 0 = 4*c + 4*h - 20. Let k = c + 5. Is k a multiple of 3?
False
Suppose -2*o = 4*o + 30. Let v(r) = -r**2 + 5*r - 6. Let k be v(4). Does 7 divide (-13)/k - o/10?
True
Let x be 69/6 - 3/(-6). Let d be 0/2*4/x. Suppose d*p = -p + 36. Is 12 a factor of p?
True
Suppose -4*c + l = -2*c - 18, -c + 12 = -2*l. Suppose -72 = c*i - 11*i. Does 12 divide i?
True
Suppose g + 0 = -3. Let m(b) = -b - 3. Let w be m(g). Is -1 - 24/(w + -2) a multiple of 4?
False
Let g(y) be the second derivative of 9/20*y**5 + 0 - 1/2*y**2 + 1/6*y**3 - 1/12*y**4 - y. Does 8 divide g(1)?
True
Let a be (6*(-4)/4)/(-2). Suppose -15 = 5*m, -5*m - 94 = -a*x - 28. Is x a multiple of 3?
False
Suppose -n + 12 = 2*a, -18 = -4*n + a + a. Is 442/n + (-1)/(-3) a multiple of 27?
False
Let w(a) = -8*a - 3. Let i be w(-2). Suppose -4*q + 81 = i. Is q a multiple of 3?
False
Let l(k) = k - 1. Let z be l(3). Let q be 1*(z - (1 - 2)). Suppose q*u - 24 = u. Does 8 divide u?
False
Suppose 197 - 597 = -5*l. Does 15 divide l?
False
Suppose 0 = -2*i + i + 53. Does 20 divide i?
False
Suppose 19*f - 18*f - 157 = 0. Is 34 a factor of f?
False
Does 7 divide -1*4/(-4)*7?
True
Let i = -46 - -90. Does 12 divide i?
False
Suppose -m - 7 - 7 = 3*c, 0 = 4*c + 20. Let q be 6/(-6)*(0 + m). Is (-436)/(-16) + q/4 a multiple of 9?
True
Let q(g) = -g**3 - g**2 - 1. Let v be q(-2). Let n be -2 + -1 + (-3)/v. Does 13 divide ((-20)/(-25))/(n/(-130))?
True
Let l(x) = 16*x**2 - 4*x + 3. Is 16 a factor of l(2)?
False
Suppose -f - 3 = 2*f. Let r be (2/4)/(f/18). Let o = 6 - r. Is 8 a factor of o?
False
Let s(h) = 2*h - 10. Let f be s(7). Suppose -51 - 194 = -5*b - 5*i, 0 = -2*b + f*i + 104. Is 21 a factor of b?
False
Let y = 2 + -2. Suppose -4*d + 9 + 119 = y. Does 13 divide d - (-2 - (-3 + 2))?
False
Suppose -2*k + o - 2*o = -118, -4*k = -3*o - 256. Is 15 a factor of k?
False
Let n(d) be the first derivative of -3*d**2 + 1. Suppose f + 2 = -0. Does 12 divide n(f)?
True
Suppose z - 9 - 2 = 3*m, 0 = m + 5. Is 15 a factor of ((-30)/z)/(5/10)?
True
Is (0 - (6/(-4) + 1))*90 a multiple of 7?
False
Suppose -h + 3*h = 0. Suppose -32 = -4*g + 4*f, 3*g = -h*g - 3*f + 24. Does 4 divide g?
True
Suppose -51 + 667 = 7*z. Is z a multiple of 22?
True
Let u be (7/(-14))/(2/(-16)). Let x(a) = 8*a + 5. Is 8 a factor of x(u)?
False
Let f = -28 + -28. Let g = -22 - f. Is g a multiple of 10?
False
Let d = -43 + -27. Is 2 a factor of (6/10)/((-7)/d)?
True
Let u(l) = -l**2 + 3*l + 3. Suppose -4*o - 11 = -p, 5*o - p + 9 = 2*o. Let k be u(o). Let v(f) = 2*f**2 + 10*f + 2. Does 9 divide v(k)?
False
Let r(h) = 2*h**2 + 3*h - 5. Is 7 a factor of r(-4)?
False
Let q(b) = 3*b**2 - 2*b. Let r be q(2). Is 9 a factor of (-10 + 1)*(-8)/r?
True
Let x = 16 + -3. Let z = -3 + x. Does 4 divide z?
False
Let p = -22 + 39. Let b = p - -23. Suppose -3*k + b = 2*k. Is 4 a factor of k?
True
Let b be (-24)/(-15)*(-275)/(-10). Let z be 1/(0 - 2/(-6)). Suppose -z*d = d - b. Is d a multiple of 11?
True
Let m(h) = -2 - 2 + 5*h + 1. Does 5 divide m(3)?
False
Let t(c) = -c**3 + 8*c**2 + 2*c - 8. Let p be t(8). Suppose -2*x = 5*w - 52, 0*w + x - p = -w. Suppose 0 = 3*r - w, 2*f + 70 = 5*f + 4*r. Is 11 a factor of f?
False
Let x be 0/(-2)*(4 - 3). Is 15 a factor of x - ((-366)/2)/3?
False
Suppose 0 = -4*o - 2*i + 64, 2*o - 2*i = -0*o + 26. Let z be o/9 - (-2)/6. Suppose 0 = k - 3*b - 11, 3*k + b - 135 = -z*k. Is k a multiple of 24?
False
Suppose -2*c - c = 5*d - 13, -10 = -2*d. Let o = 12 + c. Suppose -110 = 3*g - o*g. Is 11 a factor of g?
True
Let i be 36 + 3/(-3) + 3. Suppose -2*y + i = f, 18 = f - 2*y - y. Suppose -3*n + x = -0*n - 96, n - x = f. Does 23 divide n?
False
Let o = 2 + -1. Let j be -4 - (-2)/(2/(-13)). Let s = o - j. Is 9 a factor of s?
True
Let j = 159 + -135. Is j a multiple of 5?
False
Does 12 divide 16 - (-3 + 4 + 3)?
True
Let n(l) be the first derivative of l**4/6 + 2*l**3/3 - 4*l + 1. Let f(y) be the first derivative of n(y). Is f(-6) a multiple of 16?
True
Let a = 3 - -2. Let y(i) = -3*i**3 - 2*i**2 - 2*i - 3. Let o be y(-2). Suppose 0 = -t - a*z - 4, o = 2*t + z + 4*z. Is 13 a factor of t?
False
Suppose -2*f - 2 + 66 = 0. Does 8 divide f?
True
Let a(m) = 2*m**3 - 2*m**2 - 2*m - 6. Is 22 a factor of a(3)?
False
Suppose 5*u - 52 = -2*m, 0 = -8*m + 3*m - 3*u + 168. Is 15 a factor of m?
False
Let g(l) = -l + 11. Let f be g(6). Suppose 0 = -f*y - 5*v + 280, 2*y - 36 = 4*v + 70. Is y a multiple of 17?
False
Is 24 a factor of 4/16 - 479/(-4)?
True
Suppose 0 = -5*q + f - 22, -4*q = -3*f + 5 + 6. Let l(a) = -3*a + 5. Is 8 a factor of l(q)?
False
Let g = 83 - 41. Is 14 a factor of g?
True
Let b be (-3)/(15/(-6) - -1). Let i(l) = -l - 1. Let c be i(-10). Is 10 a factor of (c - -5) + 1 + b?
False
Suppose 3*c - 3*x + 54 = 0, 0*c + 5*x - 39 = 2*c. Let n = c - -25. Is n even?
True
Suppose -12 = -2*m + 28. Let g = m - 8. Is 12 a factor of g?
True
Suppose -4*t = -t + 222. Let n be -2*(0 - t/(-4)). Suppose 3*m + 3*y - y - 38 = 0, n = 2*m - y. Is 7 a factor of m?
False
Suppose -5*f + 225 = -2*f - 5*n, 5*f = -2*n + 406. Is 11 a factor of f?
False
Let w be -8 + 1/(((-2)/3)/(-2)). Let j(o) = -3 + 6*o - 13*o - 5*o. Is j(w) a multiple of 20?
False
Suppose -q + 5*q - 256 = 0. Is q a multiple of 21?
False
Suppose -6*k + 7*k = 73. Is k a multiple of 10?
False
Let m(l) = -l**2 - 19*l + 12. Does 24 divide m(-15)?
True
Let y(w) = -3*w**3 + 2*w**2 + 4*w - 1. Is 23 a factor of y(-3)?
False
Let f be (-2)/(-1) - (-16)/8. Suppose -c + f*c = 30. Does 5 divide c?
True
Let h = 19 - -59. Is h a multiple of 10?
False
Let s(d) = -d**3 - 7*d**2 + 7*d - 10. Let h be s(-8). Does 9 divide (5/h - 3)*-2?
False
Let y = 0 + 12. Does 3 divide y?
True
Is 9 a factor of (-116)/(-8) - 2/(-4)?
False
Suppose 25 + 0 = p. Let m = 13 + p. Is 10 a factor of m?
False
Suppose -3*m + 5*m - 10 = -2*o, -5*m = -5*o + 5. Let f(g) = -3*g**m + 1 + 2*g**2 + 8*g - 5. Is 5 a factor of f(6)?
False
Let z = -77 + 137. Is 15 a factor of z?
True
Let o = -29 - -106. Is o a multiple of 11?
True
Let b be (2 + (-99)/6)*-2. Let q be (1 - 1)/2 + 2. Let n = b - q. Is n a multiple of 10?
False
Suppose -4*h + 4 = 44. Let p be (-2)/4 + (-5)/2. Let n = p - h. Does 6 divide n?
False
Let g = -6 - -10. Suppose g*v - 4 = 4. Does 13 divide (-4)/(0 - v)*12?
False
Let q be 2/1 + -4 + 4. Suppose 0 = q*x - 0*x - 108. Is 22 a factor of x?
False
Let k(l) = 3*l**2 + 4*l - 1. Let n be k(-3). Is 7 a factor of (-1407)/(-49) - (-4)/n?
False
Suppose 2*i = 3*g + 9 + 17, 0 = -3*i - 2*g + 52. Suppose -3*n + 161 = -2*c, i = 4*n - 2*c - 200. Does 13 divide n?
False
Is 47 a factor of 1698/18 - (7/3 - 2)?
True
Suppose 3 + 3 = 2*s. Suppose -3*t = s*l + 2*l + 44, 0 = 4*t + 3*l + 55. Is 2/2 - 0 - t a multiple of 14?
True
Let v = 297 + -156. Is 31 a factor of v?
False
Let h(s) = -9*s - 6 - 12*s**2 + 6*s**3 + 9 - 25. Let m(y) = 2*y**3 - 4*y**2 - 3*y - 7. Let b(g) = -2*h(g) + 7*m(g). Does 15 divide b(4)?
False
Suppose -2*h = -0*f + f - 46, -5*h + 4*f = -128. Suppose 0 = -m - 4*n + h, n + 121 = 2*m + 46. Is 12 a factor of m?
True
Suppose 195 = -7*g + 615. Is 12 a factor of g?
True
Let s(v) = v - 3 + 0*v + 6. Let l be s(-6). Let r(c) = 2*c**2 + 3*c. Is r(l) a multiple of 5?
False
Let v = -37 - -81. Is 11 a factor of v?
True
Suppose -2*k - k = 18. Let c = k + 9. Is 3 a 