 Let c = 370 - g. Suppose 3*i + c = 7*i. Is i a multiple of 14?
True
Let f(j) = 19*j - 6. Is 17 a factor of f(3)?
True
Let x(p) = p**2 + 2*p + 53. Does 13 divide x(0)?
False
Suppose 0 = v + 3*o - 2 - 6, 11 = -2*v + 3*o. Let u(k) = -22*k + 1. Is u(v) a multiple of 23?
True
Let j be (-12)/(-4) + -2 + 3. Suppose 31 = j*a + 3. Is 7 a factor of a?
True
Let r = 43 - 13. Is r a multiple of 16?
False
Let b(q) = -4*q - 6. Suppose -r + 20 = 3*r. Let j(c) = -2*c + 5. Let o be j(r). Is b(o) a multiple of 6?
False
Suppose 0 = a + 1 - 3, -3*a = -5*k + 4. Suppose q = -k*q + 15. Suppose -4*t = 4*x - 68, -51 = -5*t + q*x + 44. Does 9 divide t?
True
Suppose -3*c = -5*c + 128. Is c a multiple of 32?
True
Let w(v) = -v**3 + v**2 + 2*v + 1. Suppose 4 = -5*n - 6. Is w(n) a multiple of 4?
False
Let r = 12 + -7. Suppose -r*p + b + 162 = 0, 0 = -3*p - 0*b + b + 96. Does 11 divide p?
True
Let y be 16/6*(-3 - 0). Let p(g) = g**3 + 7*g**2 - 8*g + 9. Is 9 a factor of p(y)?
True
Suppose 5*w - 15 = 5. Suppose p + w - 8 = 0. Suppose p*i - 55 = -i. Is 8 a factor of i?
False
Let f(l) = -l + 10. Let c be f(7). Suppose 0 = -c*r - 2*r - 2*h + 51, 3*r + 3*h - 27 = 0. Is r a multiple of 11?
True
Let i(k) = k**3 + 7*k**2 - 6*k + 9. Let j be i(-8). Does 10 divide (-300)/(-21) - (-2)/j?
False
Suppose -x - 4*g - 2 + 15 = 0, -5*g + 30 = 4*x. Suppose -13 - 62 = -x*c. Let w = -4 + c. Is 6 a factor of w?
False
Let m(c) = c + 13. Does 2 divide m(-4)?
False
Suppose 17*i = 13*i + 280. Suppose 3*z - 469 = -z + 3*u, -2*z - 5*u + 267 = 0. Let n = z - i. Does 14 divide n?
False
Suppose 0 = -3*j + 6*j - 159. Is 9 a factor of j?
False
Let a(b) = b - 8. Suppose q = 3*p + 2*q - 26, 0 = -4*p + 2*q + 28. Let r be a(p). Suppose -88 = -4*w - r*w. Is w a multiple of 8?
False
Let f be (-2 + 15/9)*-12. Suppose -155 = -f*u + 49. Is u a multiple of 17?
True
Let f be (-26)/((-1)/(1 + -2)). Let h = f + 69. Does 11 divide h?
False
Let g(a) = a**2 + 9*a**3 + 42*a**3 + 0*a**2 + 10*a**3. Does 23 divide g(1)?
False
Let y(b) = -11*b**3 - 31*b**2 + 22*b - 8. Let q(p) = -5*p**3 - 15*p**2 + 11*p - 4. Let z(c) = 13*q(c) - 6*y(c). Is z(8) a multiple of 20?
True
Let o = 35 + 4. Is (-3 - o/(-9))*3 a multiple of 4?
True
Let s = -62 + 97. Does 16 divide s + ((-2)/(-1) - 2)?
False
Let d be ((-51)/(-6))/(3/(-6)). Let z = d + 24. Is 4 a factor of z?
False
Let k be 6/(-21) - (-214)/14. Suppose 3*i = 2*m - 24, -i + 4 = -2*i. Suppose -m*v + k = -v. Is 2 a factor of v?
False
Suppose 6*b - 1845 + 549 = 0. Is b a multiple of 24?
True
Let z(o) = 8 - 4*o**3 - 10*o**2 + 5*o**3 - 5*o - 7*o. Let w be z(11). Let c = w + 6. Is c a multiple of 3?
True
Let z(b) = -b**3 + 7*b**2 - 5*b + 6. Let y be z(6). Suppose -4*l + 36 = 5*f - 7*l, -f = -3*l - y. Does 4 divide f?
False
Let j = 8 + -5. Suppose 17 = 4*f - j*k, 2*f - k = -3*f + 24. Suppose -2*n = -f*n + 18. Does 3 divide n?
True
Suppose 0 = -q + 3*q + 22. Let j = q + 19. Does 4 divide j?
True
Let d be 159/(-12) - (-1)/4. Let o = d + 32. Is o a multiple of 19?
True
Suppose 2*w = -6, -q = 3*q + w - 13. Suppose 4*r - h - 64 = 0, 4*r - 68 + q = 5*h. Is r a multiple of 8?
True
Let f(o) = -15*o. Let t be f(-4). Let v = t - 5. Is v a multiple of 19?
False
Let n = 153 + -101. Does 13 divide n?
True
Let b = 83 - 37. Does 9 divide b?
False
Suppose 11 = 2*r - 0*d + d, 0 = -2*d + 6. Let z be r/((1 - 3)/1). Is 3 a factor of (z/(-3))/(4/18)?
True
Suppose 10*b = 5*b + 10, -4*o + 4*b = -8. Suppose 2*y = 4*r + 52, 0 = -o*y + 5*r - 0*r + 101. Suppose 10 + y = c. Is 17 a factor of c?
True
Suppose 2*j = 4*j + 12. Let p(y) = -y + 18. Let o be p(15). Is 12 a factor of o*(2 - 44/j)?
False
Let f = -56 + 143. Does 29 divide f?
True
Suppose -2*a = -5 - 3. Suppose -u + 12 = a. Does 4 divide u?
True
Let v = -6 + 64. Is v a multiple of 29?
True
Let f(t) = 6*t + 4. Does 11 divide f(4)?
False
Let p = 7 + 53. Suppose -4*c = -2*c - p. Is 15 a factor of c?
True
Is 48/(-7)*(-126)/12 a multiple of 36?
True
Let c = 4 - -2. Suppose c = k - 3*z, 2*z = -3*k + 6*z + 18. Does 2 divide k?
True
Let i(o) = o**3 + 11*o**2 + 9*o - 9. Let a be i(-10). Let w = a + 4. Suppose -63 = -4*t - 3*g, 10*t + 2*g = w*t + 70. Is 6 a factor of t?
True
Let r be 15 + (-8)/(-2) + -1. Suppose r + 12 = 5*w. Is w even?
True
Let q(h) = -h**2 + 4*h + 5. Let f be q(5). Suppose f = -3*n + n + 130. Does 19 divide n?
False
Suppose 6*c - 22 = 656. Does 24 divide c?
False
Let p be -10*2*1/(-5). Let h = p - -1. Suppose -2*o - 159 = -h*o. Does 19 divide o?
False
Is (-1)/6 + ((-604)/(-24) - 3) even?
True
Suppose -2*q + 5*l + 118 = -0*q, -5*q = 3*l - 233. Is 7 a factor of q?
True
Does 19 divide (-7042)/(-49) + (-2)/(-7) - 0?
False
Let p be (22/8 + -2)*4. Suppose 0 = p*u - 2 - 10. Suppose -5*n + 190 = u*w, 3*w + 54 = 4*n - 98. Does 14 divide n?
False
Let b(n) = 3*n**2 + n + 8. Let a be b(8). Suppose -3*r + a = r. Does 21 divide r?
False
Suppose -3*o + 0*o = -6. Let u(n) = -12*n**2 + 4*n - 3. Let l be u(o). Let z = -29 - l. Is 5 a factor of z?
False
Let k = 430 - 613. Let u be (-1)/(5/3 - 2). Is 16 a factor of u/(k/96 + 2)?
True
Let q(o) be the third derivative of o**8/20160 - o**7/1680 + o**6/120 + o**5/60 + 3*o**2. Let s(h) be the third derivative of q(h). Is 8 a factor of s(5)?
True
Let i be 2/(-12) - (-530)/(-60). Is 6 a factor of (8 - -4)*i/(-6)?
True
Suppose 5*i - 2*f - 60 = 170, -3*f - 33 = -i. Does 22 divide i?
False
Suppose -145 = 5*z + 5*j, 0*z - 5*j + 37 = -2*z. Let p = z + 44. Does 13 divide p?
False
Suppose 4*i - 3*i = 7. Let y(q) = -q**3 + 7*q**2 + 2*q + 3. Does 17 divide y(i)?
True
Suppose -t + 1 = -4. Suppose 0*o = -t*h + 3*o + 4, 5*h + o = 12. Suppose h*p + 2*l - 8 = 2, 4*p - 11 = -l. Does 2 divide p?
True
Let b be (-8)/(4/6*-3). Suppose m = b*m - 162. Is 18 a factor of m?
True
Let b be 8/(-20) + (-44)/(-10). Suppose 3*g - 136 = -4*f - g, -5*f = b*g - 165. Is 6 a factor of f?
False
Suppose -4*o + 11 = 3. Suppose 3*z + o*z - 73 = -2*v, v - 3*z - 64 = 0. Is v a multiple of 18?
False
Suppose -2*t - 2*u + 18 = 4, 0 = -t + 4*u + 32. Let f(g) = 3*g - 18. Is f(t) a multiple of 18?
True
Suppose -40 = -2*z - 0*z. Is z a multiple of 5?
True
Suppose -130 = -0*f - 5*f. Is 26 a factor of f?
True
Let g(s) = -s - 5. Let y be g(-7). Suppose -4*l - 5 = -y*z + 1, -3*l = 5*z - 2. Is 13 a factor of (-560)/(-15) - l/(-3)?
False
Let w = -3 + 7. Suppose -r + w = -1. Does 2 divide r?
False
Let l = 5 - 2. Let a = 0 + l. Is 3 a factor of a?
True
Let s be 2/5 - (-186)/(-15). Let o = -7 - s. Suppose o*r = -20 + 65. Is r a multiple of 6?
False
Let b(c) = 4*c + 4 - 5*c - 3*c + 3*c. Is 17 a factor of b(-14)?
False
Does 7 divide 14/(-6)*(-54)/3?
True
Let k(i) = -2*i - 8. Is k(-7) even?
True
Suppose -3*v + 2*v + 2 = 0. Suppose 0 = -2*t + v + 2. Does 2 divide t?
True
Let z(o) = 2*o - 5. Let y be z(4). Let g = 1 - y. Is g/(-1) + 44/2 a multiple of 12?
True
Let b = 230 + -93. Is 10 a factor of b?
False
Suppose -4*s + 2*m - 1 = 3, -2*s + 3*m + 6 = 0. Let n(j) = -j**2 + 1. Let g be n(-2). Is 18 a factor of g/9*s - -35?
True
Is (12/4 + -36)*-3 a multiple of 19?
False
Suppose 0 = -3*x + 5*m - 20, -2*m - 1 + 9 = -2*x. Suppose b - 5*n - 48 = x, -b + n - 41 = -3*b. Is 23 a factor of b?
True
Let n(c) = -5*c**2 - 21*c - 11. Let j(g) = -11*g**2 - 43*g - 21. Let m(f) = 6*j(f) - 13*n(f). Is 13 a factor of m(15)?
False
Let l(s) = 12*s - 4. Let m(h) = 13*h - 4. Let k(g) = -6*l(g) + 5*m(g). Is 16 a factor of k(-4)?
True
Suppose 19 - 190 = -3*o. Is o a multiple of 16?
False
Let p(h) be the first derivative of 13*h**5/10 - h**4/12 + h**3/6 - h**2/2 - 4*h - 1. Let s(o) be the first derivative of p(o). Does 25 divide s(1)?
True
Let j(s) be the second derivative of -8*s**3/3 + 2*s**2 - 3*s. Let c(m) = 15*m - 3. Let h(i) = -7*c(i) - 6*j(i). Does 15 divide h(-2)?
True
Suppose 4*v - 2 = 6*v. Is 11 a factor of v/(-5) + 832/65?
False
Suppose -3*u + 7*u + 2*h + 26 = 0, 0 = 2*u - 3*h + 9. Let b(t) = -7 - 2 + t**2 + 0*t + 15 + 3*t. Is b(u) a multiple of 12?
True
Let p(y) be the first derivative of y**2/2 + 20*y + 3. Suppose 0 = 2*h + 2*c - 5*c + 15, 4*h = -5*c + 25. Does 10 divide p(h)?
True
Let g be 2/5 + 64/(-10). Let b be (-4)/3*9/g. Suppose -b*j = -j - 23. Is j a multiple of 8?
False
Suppose 3*l - 24 = -4*g, 0*l = 4*l - 16. Does 5 divide g + (3 - 4) - -10?
False
Let y = -7 + 0. Let b = y - 3. Is 13 a factor of 