pose -4*t + 2*j + 63 = -85, -t + 5*j = -55. Let k = -2 + 2. Suppose k = -4*s + 37 + t. Does 14 divide s?
False
Suppose 3*i - 53 = -x - 2*i, -3*x = -3*i - 87. Suppose 3*b - 2*u = -46, 4*b + 2*u + 2 = 3*b. Let g = b + x. Does 13 divide g?
False
Let h be 1/3 + 20/3. Let i(s) = -7*s + 28. Let x(a) = -4*a + 14. Let v(f) = 3*i(f) - 5*x(f). Is 3 a factor of v(h)?
False
Let m(k) = -k**2 - k - 1. Let c be m(-1). Let g = c + 5. Is 2 a factor of g?
True
Let a = 2 + 4. Suppose 8 + a = n. Is n a multiple of 14?
True
Let i be ((-376)/(-6))/((-44)/(-66)). Let s be (10/3)/((-4)/(-6)). Suppose g - 3*j + 26 = 2*g, -3*j - i = -s*g. Is g a multiple of 10?
True
Let n(v) = v**3 + 8*v**2 - 12*v - 4. Let l be n(-9). Does 20 divide 2/(-1) + -1 + l?
True
Let d = -8 + 6. Let a be ((-1)/(-2))/((-1)/d). Is 15 a factor of (4/(-2) - a)*-10?
True
Suppose f + 4*f = 0. Suppose -2*w + 55 + 27 = f. Is w a multiple of 20?
False
Let v(k) = -k**3 - 12*k**2 + 13*k + 2. Let f be v(-13). Suppose 7 - 31 = -3*o. Suppose 0 = f*r - 22 - o. Does 9 divide r?
False
Let b(q) = 4*q**2 + 6*q - 10. Is b(-6) a multiple of 22?
False
Let r be -3 + (63 - 3/1). Suppose -5*f + 2*f + r = 0. Does 19 divide f?
True
Let q(s) be the third derivative of s**5/60 + 11*s**4/24 - 3*s**3 - 4*s**2. Is 4 a factor of q(-13)?
True
Let c(p) = 31*p**3 - 4*p. Does 35 divide c(2)?
False
Suppose 158 = 3*h + 4*g, -h - 4*g = h - 112. Does 18 divide h?
False
Let i = -1 + 6. Suppose -5*u - 65 = -i*a, 2*a + 3*u - 51 = -a. Let g = a + 9. Is 11 a factor of g?
False
Let u = -18 + 55. Does 7 divide u?
False
Suppose -160 = -4*v - 12. Let h = v - -49. Does 22 divide h?
False
Let s = -7 - -9. Suppose -2*p - 3*d + 15 + 16 = 0, 33 = s*p + 5*d. Is 8 a factor of p?
False
Let t(r) = -r**2 + 18*r - 10. Does 7 divide t(13)?
False
Suppose -8*p + 36 = -7*p. Is p a multiple of 12?
True
Is ((-18)/4)/((-14)/8 - -1) a multiple of 6?
True
Suppose 28 = l + 3*l. Is (2/4)/(l/308) a multiple of 22?
True
Suppose y + i - 4 + 26 = 0, 0 = 4*y + 2*i + 80. Let g = -4 - y. Let f = 23 + g. Does 14 divide f?
False
Let g = -52 - -90. Does 12 divide g?
False
Suppose -3*j = 43 - 133. Is 15 a factor of j?
True
Let t(b) = 2*b - 1. Is t(6) a multiple of 11?
True
Let q = 132 + -120. Is q a multiple of 4?
True
Let s(p) = -p**3 + p**2 + p + 2. Does 2 divide s(0)?
True
Let g be 1/(-2 + 1)*1. Does 6 divide (60/50)/(g/(-15))?
True
Let m(s) = -s - 9. Let u(h) = -h - 8. Let b(d) = -6*m(d) + 7*u(d). Let z be b(-6). Suppose -l + 9 = 2*j + 4*l, -z*l = -j + 11. Is 2 a factor of j?
False
Let j(i) = i + 4. Suppose k + 4*k + 3*r = 8, 0 = -2*k + r + 1. Let m be 21/3 - (k - -1). Is j(m) a multiple of 9?
True
Let m(a) = -6*a - 9. Suppose 8 = -4*k - 0, -19 = -3*l + 2*k. Suppose 0*s = -l*s - 30. Does 14 divide m(s)?
False
Let o(z) = -z**2 + 182. Let f be o(0). Let m = 37 + 15. Suppose -5*t - m = -f. Does 13 divide t?
True
Let b = -1 - 1. Let n = b + 4. Let o = n + 8. Does 9 divide o?
False
Suppose l + 195 = 4*y, 0 = -7*y + 3*y - 4*l + 180. Does 16 divide y?
True
Is 8 a factor of (-308)/(-9) - 2/9?
False
Suppose -3*u = -4*j - 4*u + 138, 4*j + 5*u = 130. Does 7 divide j?
True
Let i(o) = 11 + 2*o**2 - 6*o + 0*o - 5. Let a be i(-6). Suppose -36 + a = 3*b. Does 13 divide b?
True
Let v be 4/(-6) - 214/3. Let c = v - -105. Does 11 divide c?
True
Let b(k) = -2*k + 7. Does 8 divide b(-3)?
False
Let a(i) = i + 3. Let p be a(11). Suppose 0 = -3*u + 94 + p. Is 16 a factor of u?
False
Let c be 24/(-30)*(-30)/4. Suppose 0 = 3*r - c*r + 24. Does 8 divide r?
True
Let f(w) = 63*w**2 + w. Let k be f(-1). Let j = k + -36. Does 13 divide j?
True
Suppose -351 = -5*v - x, -3*v + 99 + 112 = x. Does 13 divide v?
False
Let i = 183 - 62. Let o = -60 + i. Is 18 a factor of o?
False
Suppose -2*g = 5*b - 24, -6*b - 3*g = -2*b - 22. Suppose -140 = -b*z - 5*l, 9*z - 4*z - 5*l = 175. Is 14 a factor of z?
False
Let r(z) = 6*z**3 - 2*z**2 + 2*z + 1. Is r(2) a multiple of 15?
True
Suppose 0*s = -3*s + 6. Suppose s*p - 2 = 0, -o - 2*p + 3 + 2 = 0. Suppose o*m + 6 = 2*u - 3, -5*u + 54 = 3*m. Is 3 a factor of u?
True
Suppose 4*i = -2*i + 132. Does 12 divide i?
False
Let k = -36 - -52. Suppose 0 = 3*y + y - k. Is y a multiple of 2?
True
Suppose -2*d - 2*d = 2*r + 4, 2*d - 2*r - 4 = 0. Let z be (d - 0) + (4 - 0). Suppose -2*w = i - 22, -2*w - w - 44 = -z*i. Is 7 a factor of i?
True
Let l(d) = d**3 + 8*d**2 - 11*d - 8. Let w be l(-9). Is ((-4)/w)/(4/(-60)) a multiple of 2?
True
Let w be (0 - (-1 - -1)) + -33. Let l = -11 - w. Does 11 divide l?
True
Let z(q) = q**3 - 14*q**2 - 15*q. Let a be z(15). Is 4 a factor of 17 + (-1 - a) + 0?
True
Suppose -4*h + 5 + 7 = 0. Let y be 399/(-14)*(-8)/6. Let z = h + y. Is z a multiple of 13?
False
Let w(r) = r - 7. Let l be w(8). Let t be 2 + -1 + (-1)/l. Let n = 2 - t. Is 2 a factor of n?
True
Suppose 3*o - 4*a + 25 = 4*o, 2*o - 30 = -3*a. Let i(k) = -k**3 + 9*k**2 + 2*k - 6. Is i(o) a multiple of 12?
True
Suppose -7*f + 750 = 3*f. Is f a multiple of 26?
False
Let i(a) = a**2 + 3*a - 2. Suppose -2 = -0*o - o. Does 3 divide i(o)?
False
Let a(u) = u - 1. Let f be a(4). Suppose 4*q - f*q = 4. Is q a multiple of 4?
True
Suppose 2*y = 3*y + 7. Is y/2*(-16)/28 a multiple of 2?
True
Suppose -4*b = -3*v - 25, -3*b + 17 = 5. Let x = 1 - -14. Let t = v + x. Is t a multiple of 6?
True
Let u = 124 - 94. Is u a multiple of 15?
True
Let p be (12/(-10))/((-6)/20). Suppose 192 = p*f - 2*n, 9*n = -4*f + 4*n + 192. Does 16 divide -20*(f/(-10))/3?
True
Let s be (-3)/(10/(-4) + 1). Suppose 0 = -2*t + 2*g + 12, t - s*g = -4*t + 15. Is 7 a factor of (-6)/3 + t*11?
False
Let a(g) = -15*g + 1. Let i be a(-1). Let o = 7 - i. Let c = 26 + o. Is c a multiple of 6?
False
Let l(p) = -16*p + 1. Is l(-1) a multiple of 4?
False
Suppose -5 = -5*q, 0 = 2*o - 3*q + 5*q + 86. Let u = o + 62. Does 9 divide u?
True
Suppose -7 = -o - s, 0 = 4*o - 2*s - 6 - 10. Let k(z) = 2*z - 5. Let r be k(o). Suppose -r = -t + 8. Is t a multiple of 13?
True
Let u(f) = 30*f**2. Let c be u(1). Suppose -r - 20 = -5*d, 3*d + 2*r - c = -d. Suppose -d = -o + 16. Does 13 divide o?
False
Suppose 4*w - 50 = -3*i, -1 + 14 = w + i. Let m(t) = -t**2 + 15*t + 10. Does 18 divide m(w)?
True
Let n = 12 - 12. Suppose 3*f + 25 = 2*b + 3*b, -2*b + 2*f = -14. Is n/b - (-26 - 2) a multiple of 14?
True
Suppose 0 = -4*y + 5*c + 374, 0 = 4*y + 2*c - 480 + 92. Does 13 divide y?
False
Let u(a) be the third derivative of -a**6/120 - a**5/15 + a**4/6 - a**3/3 - a**2. Let z be u(-5). Suppose -56 = -z*w - w. Is w a multiple of 7?
True
Let g(h) = -5 + 4*h + 1 - 3 + 3. Let c be g(10). Suppose n = 5*n - c. Does 6 divide n?
False
Let q(z) = 34*z - 6. Is 19 a factor of q(2)?
False
Let f = -28 + 58. Let v be f - 0/(3/3). Is (v/4)/(3/6) a multiple of 4?
False
Let j = 8 + -7. Let s be j/(10/4 - 2). Is 2 a factor of -4*(-1)/2*s?
True
Let k(j) = -j**3 + 12*j**2 + 2*j - 16. Does 29 divide k(10)?
False
Suppose 3*a - 51 = -0*a. Suppose x - a - 5 = 0. Does 8 divide x?
False
Suppose -2*f = -2*k + 3*f + 43, -4*k - 4*f + 44 = 0. Does 9 divide k?
False
Is 7 a factor of (-426)/(-10) + (-9)/15?
True
Let i(b) = -12*b - 1. Let h be i(-1). Suppose 3*k = g + h, -g - 3*g = 8. Is k a multiple of 3?
True
Let r(p) = -p**2 - p + 11. Let q = -1 + 4. Let h = -3 + q. Does 11 divide r(h)?
True
Let x(j) = -38*j**3 + 5*j**2 - 6*j + 1. Let c(b) = 39*b**3 - 6*b**2 + 7*b - 1. Let t(r) = -6*c(r) - 7*x(r). Does 16 divide t(1)?
True
Let u = 3 + 1. Suppose 2*w + 4 = -x, -2*w + 3*w + 2*x = u. Does 11 divide w/4 + 2*6?
True
Let h = 3 + 0. Suppose h*w - 4 = 35. Is w a multiple of 7?
False
Suppose -w + 4*w + 100 = -5*l, 60 = -3*l + 4*w. Let p = l + 57. Does 18 divide p?
False
Let o = 156 - 86. Is o a multiple of 14?
True
Let j(w) be the third derivative of -w**6/120 - w**5/20 + w**4/4 - w**3/3 - 3*w**2. Is 10 a factor of j(-5)?
False
Let q be (2 + -1)/((-3)/(-6)). Suppose -q*u = 3*u + 3*x - 31, 0 = 5*u - 5*x - 15. Is u a multiple of 2?
False
Let k be 1306/14 - 4/14. Suppose -2*a - 3*i + 15 = -k, 4*i - 110 = -2*a. Is a a multiple of 23?
False
Let u(c) = -c**3 + 6*c**2 + 6*c - 7. Let o be u(6). Suppose 5*i = -26 - o. Let s(b) = -b - 8. Is s(i) even?
False
Let b(x) = x**2 + x - 2*x**2 - 17*x. Is b(-13) a multiple of 13?
True
Let c(s) = -3 + 4*s - 6*s + 4*s**2 + 7*s. Let r be c(-5). Suppose -a = -5*u - 3*a + r, 0 =