
False
Let j = 15 + -10. Suppose -j*q + 196 = 4*z, 4*z + 164 = 3*q + 2*q. Is 14 a factor of q?
False
Let j(t) = t**3 - t**2 + t - 25. Let f be j(0). Is 10 a factor of ((-8)/(-10))/((-1)/f)?
True
Let s(x) = 6 + 2*x - 1 - 2 - 3*x. Is s(-3) even?
True
Suppose w + 4*s = -0*s - 4, 26 = 5*w - 3*s. Suppose -l - 17 = -7*k + 3*k, 0 = w*k - 2*l - 22. Suppose -k*h + 15 = -0*h. Does 3 divide h?
False
Let l(r) = -r. Let w be l(-3). Is w*(2 + -10)/(-1) a multiple of 12?
True
Let d be 1/((-38)/(-12) + -3). Is (15/10)/(d/88) a multiple of 11?
True
Let j be (-2)/9 - (-10)/45. Suppose 2*l + j*l - 118 = -z, 3*z - 12 = 0. Does 32 divide l?
False
Suppose -h + 4*o - 4 = 0, 3 = -2*h + 5*o + 1. Suppose 3 = -h*q + 51. Is q a multiple of 7?
False
Suppose -3*u + 3*q = -186, 2*u - 2*q = q + 126. Suppose 0*r + u = 3*r. Is 20 a factor of r?
True
Let v(n) = -n**3 - 4*n**2 - 3*n. Does 6 divide v(-4)?
True
Suppose 3*h + k - 30 = 0, -3*h + 2*k + 0*k = -39. Is 11 a factor of h?
True
Let s(k) = -2*k + 5*k + 0 - 2. Is 10 a factor of s(4)?
True
Let q(a) = 11*a - 3. Suppose 7 = 3*v + 1. Is q(v) a multiple of 8?
False
Let u(c) = 20*c - 36. Does 44 divide u(12)?
False
Let l = 64 - 28. Is l a multiple of 18?
True
Let b be (-1)/3 + (-19)/(-3). Let r(h) = 6 + 7*h**2 - 5*h**2 + h - h**2 - 5*h. Does 18 divide r(b)?
True
Let t(a) = -2*a - 1. Suppose 0 = 4*c + c + 15. Let w be t(c). Does 16 divide w/1*16/5?
True
Let v = -7 + 11. Suppose -y = v*y - 125. Does 13 divide y?
False
Let n = -11 - -16. Let a be (-2)/5 - 122/(-5). Suppose 36 = -2*i + 4*i - 2*f, i = -n*f + a. Does 9 divide i?
False
Let q(a) = a**2 + a + 3. Let b be q(-4). Suppose -b = -3*d, -4*s + 44 + 51 = 3*d. Is 12 a factor of (0 + s)*(-6)/(-5)?
True
Let d(a) = a + 17. Let w(l) = -l**3 + 5*l**2 + 7*l - 3. Let x be w(6). Suppose -2*q + 2 = -4*q + i, -x*q - 8 = -4*i. Is d(q) a multiple of 17?
True
Let p(i) = 2*i + 9. Let y be p(-8). Let l = y + 22. Does 15 divide l?
True
Does 2 divide 21/(-7) - 5*-1?
True
Let n(s) = -2*s + 4. Suppose 4*c + 16 = 0, -a - 5*c = 2*a + 32. Let g be n(a). Let l = 11 + g. Is l a multiple of 13?
False
Suppose 3*i - 3*j - 33 = 0, 2*i - 4*j = -5*j + 19. Is i a multiple of 2?
True
Let s(w) = -2*w**2 - 10*w + 10. Let p be s(13). Does 21 divide p/(-6) - (-2)/(-6)?
False
Let l = -9 + 4. Let p = 12 + -13. Is 13 a factor of l/p*5/1?
False
Is 10 a factor of 320/(-24)*(-48)/10?
False
Let v(o) = -o + o - 2*o - o. Is v(-6) a multiple of 18?
True
Suppose -6*w = -4*w - 20. Does 3 divide w?
False
Let g(x) = 53*x**2 + x. Let z(i) = 2*i + 11. Let p be z(-5). Is g(p) a multiple of 11?
False
Let v = -189 - -319. Is v a multiple of 31?
False
Let y(o) = -o**3 + 6*o**2 + o - 5. Let b be y(6). Let f be 11*(-2*1 + b). Does 11 divide (1*2)/((-2)/f)?
True
Let z(d) be the first derivative of -2*d**2 + 2 + 2*d - 2*d**2 - 5. Is z(-6) a multiple of 18?
False
Let y be -6*(-2)/12*2. Let f = 8 - y. Let l = f + 6. Does 5 divide l?
False
Let d = 3 - 9. Let b be 5/15 - 10/d. Suppose b*i - 57 = 9. Is 12 a factor of i?
False
Let o(b) = -15*b. Let w be o(1). Let r = -11 - w. Does 2 divide r?
True
Let s(p) be the third derivative of -p**2 + 1/12*p**4 + 0*p + 0 - 1/6*p**3. Does 13 divide s(7)?
True
Let i = -28 - -39. Is i even?
False
Let r = 170 + -37. Is r a multiple of 20?
False
Let a = -11 + 22. Is 11 a factor of a?
True
Let q be 7/(-2)*4/(-1). Suppose q = 3*h + 2*s, -h - h - 2*s + 12 = 0. Suppose -32 = -h*c - 0*c. Does 16 divide c?
True
Suppose -5*u + 136 = 2*j, 4*u + 2*j - 65 = 45. Suppose -h - p = -u, -15 = 5*h - p - 157. Does 13 divide h?
False
Let s(g) = -g**3 + 6*g**2 + 11*g - 4. Let f be s(7). Suppose 14 = 2*a - f. Is a a multiple of 12?
False
Suppose 4*u - 156 = -2*j, -108 = -j - u + 5*u. Does 15 divide j?
False
Let g = -9 - -8. Let w = 13 + g. Is 6 a factor of w?
True
Suppose 0*m + 132 = 3*m. Does 22 divide m?
True
Let g(j) = 8*j - 19. Does 4 divide g(3)?
False
Suppose -84 = -2*o - 7*r + 2*r, o + r - 45 = 0. Does 13 divide o?
False
Let t = -6 + 28. Suppose 3*f = 38 + t. Is 7 a factor of f?
False
Let i be (-3)/(-6) + (-1)/2. Let w be i + (-2)/(-2) + 3. Suppose -6 = -r - 4*x, w*x - 2*x + 4 = 0. Is r a multiple of 7?
True
Let w(b) = -2*b**3 - 27*b**2 + 2*b - 11. Let g(h) = -h**3 - 14*h**2 + h - 6. Let s(m) = 7*g(m) - 4*w(m). Does 12 divide s(-10)?
True
Let g = 1 - 4. Let s = g + 6. Suppose w = -s*w + 152. Does 13 divide w?
False
Let n = 172 + -98. Is 37 a factor of n?
True
Let r be (3 - (-2 - -2)) + -21. Does 12 divide (r/(-45))/((-2)/(-120))?
True
Let c(w) = 5*w**3 + w**2. Let p be c(1). Let b be (-2)/p + (-544)/(-12). Let y = b - 28. Is y a multiple of 12?
False
Let p(c) = c**2 + 4*c + 3. Let l be p(-3). Suppose 60 = 2*a - l*a. Does 10 divide a?
True
Let q(k) = k**3 - 7*k**2 + 7*k - 4. Let l be q(6). Suppose l*x = x + 14. Is (-2)/4 + x/4 a multiple of 2?
False
Does 27 divide (-28)/(-1) + 2/(-2) - 0?
True
Suppose -8*g + 3*g - 680 = 0. Let q = g - -196. Is q a multiple of 15?
True
Suppose -14*g - 56 = -16*g. Let v = g - 4. Does 10 divide v?
False
Suppose 5*t + 3 = 28. Let h(r) = -4 + 0*r + t - 3*r. Is h(-2) a multiple of 5?
False
Let r(v) be the second derivative of -v**5/20 + v**4/4 + 2*v**3/3 + 2*v**2 + 8*v. Is r(-3) a multiple of 23?
True
Let f = 73 + -38. Suppose 0 = -0*c + 5*c - f. Does 7 divide c?
True
Suppose 5*c - 2*v - 480 = 0, 3*c - 4*c = -5*v - 73. Suppose 5*j + g - 216 = 3*g, 2*j - c = -5*g. Does 15 divide j?
False
Is 10 a factor of 135/6*(-192)/(-18)?
True
Suppose h + 1 = 4. Suppose 0 = -4*w + w + 3*q + 96, h*q - 84 = -3*w. Does 20 divide w?
False
Suppose -5*w = 2*x - 22, -2*w + 3*x + 6 = x. Suppose 52 = w*o + 4*q, 20 = o + o - 4*q. Does 7 divide o?
False
Suppose -7*t = -10*t + 6. Suppose 3*l = -2*z + 47, -29 = -t*l - 2*z + 3. Is 3 a factor of l?
True
Suppose -44 = -y - 3*y. Is y a multiple of 11?
True
Does 14 divide (-3)/(-2)*(-560)/(-30)?
True
Suppose 4*s + 7 = 103. Is s a multiple of 8?
True
Suppose 17 - 7 = 5*n. Suppose 0 = 2*b - n*w + 6, -5*b + 0*w = w + 9. Is 11/2 - b/(-4) a multiple of 2?
False
Let f(a) = -a**3 + 7*a**2 - 5*a - 3. Let p be f(6). Let v(r) = -1 + 6*r**3 - r + 3*r**2 + 2*r**3 - 5*r**p. Does 12 divide v(2)?
False
Let j(l) = 9*l**3 - 25*l**2 + 7*l - 9. Let w(m) = -5*m**3 + 13*m**2 - 4*m + 5. Let c(z) = 6*j(z) + 11*w(z). Let y be c(-7). Is 10 a factor of 5/(y/6) + 13?
False
Let g be 1/4 + (-3)/(-4). Suppose r - g = -2. Does 4 divide 13 + -2 + r + 1?
False
Suppose -624 = -12*i - i. Is i a multiple of 4?
True
Let w be (-20)/(2/(-2)*1). Suppose 3*z = -o - 2 - 2, 2*z + 5*o = -w. Is z + ((-7)/(-1) - 1) a multiple of 3?
True
Let z(i) = -i**3 - 2. Suppose 13*h + 4 = 11*h. Is 3 a factor of z(h)?
True
Let x(n) = n**3 - 5*n**2 + 5*n + 1. Suppose 0*v + 4*v - 16 = 0. Is x(v) even?
False
Let n = 2 - -16. Suppose 0*t - n = -2*t. Is t a multiple of 3?
True
Suppose 0*o - 2*o - 2 = -5*t, t = 5*o + 5. Let f(u) = -3*u - 9. Let b(x) = -4*x - 8. Let p(a) = 4*b(a) - 5*f(a). Is 13 a factor of p(t)?
True
Is 2 + -6*(70/(-6) + 0) a multiple of 18?
True
Is -2 + (-24)/(-14) - (-914)/14 a multiple of 13?
True
Let z = 99 - 58. Does 7 divide z?
False
Let t(v) = -8*v + 8. Let p be t(-14). Suppose 0*d = -4*d + p. Does 5 divide d?
True
Let t be 13 + (0 - 0) + -1. Let n = t + 60. Does 24 divide n?
True
Let f = 2 + 9. Suppose -5*k + t + 15 = -0*k, 4*k = t + f. Suppose -3*i = -92 - k. Is 14 a factor of i?
False
Let w be 4*12/8 + -4. Suppose 0*x + 4*v = 5*x - 265, 0 = -2*x + w*v + 104. Is 13 a factor of x?
False
Let h(w) = -4*w + 59. Let k(r) = r - 20. Let c(v) = -2*h(v) - 7*k(v). Let i be c(0). Suppose 4*m = 2 + i. Is m a multiple of 3?
True
Let h = -10 - -16. Let c = h - 11. Is 17 a factor of 49 + (2 + c)/3?
False
Suppose 5*f + 540 = 5*v, -3*f - 3*v - 227 - 115 = 0. Let j = f + 69. Is (2 + 0)/((-12)/j) a multiple of 7?
True
Let r(b) = b**2 + 7*b - 6. Does 10 divide r(-10)?
False
Let d(k) = 2*k**2 + 4*k - 2 + 4*k - 4*k. Is 7 a factor of d(-4)?
True
Let r be (-9)/(-5) - (-1)/5. Let k(i) = -7 + 6 + 5*i + r*i. Is k(3) a multiple of 10?
True
Let f be 6 + (-1 - (-1)/(-1)). Suppose 2*x + 19 = 4*z - 29, -5*z + 73 = f*x. Is z a multiple of 13?
True
Suppose 0 = 3*q - 20 - 37. Is q even?
False
Let m be -7 + (-9)/3 - -1. Let q = -4 - m. Suppose 10*z - 305 = q*z. Is 19 a factor of z?
False
Suppose 3*p + 3*w = 48, -p + 3*p - 32 = 3*w. Suppose -p = -k +