 - 5. Does 15 divide l(x)?
False
Let i be (0 + 0)*-1 - -3. Suppose w + 0 = i. Suppose -5*g + 64 = -w*g. Is 16 a factor of g?
True
Let a = 30 - 10. Is a a multiple of 4?
True
Let k = 9 - 7. Suppose -5*y + k*y = -12. Does 9 divide (-45 + 1)*(-2)/y?
False
Let x(m) = 2*m**2 - 5*m - 3. Let v be x(4). Let l = -15 - -11. Let q = l + v. Does 5 divide q?
True
Let l(j) = 4*j - 3. Let h(v) = -v - 1. Let c(k) = 2*k - 1. Let q(i) = c(i) + 4*h(i). Let g be q(-6). Does 9 divide l(g)?
False
Suppose 0*d = 4*a - 2*d - 370, 0 = -2*a + 2*d + 180. Is 13 a factor of a?
False
Let s = 236 + -86. Suppose -3*w - 2*w = -s. Is w a multiple of 8?
False
Let q(r) = r**2 - 9*r + 5. Let p be q(8). Let t = p - -15. Does 12 divide t?
True
Let a(b) = b**2 + 1. Let j be a(-1). Let p(r) = r**3 - 17*r**2 + r - 13. Let u be p(17). Is j/u - (-51)/2 a multiple of 13?
True
Suppose 0 = -3*o + o + 168. Let i = o - 24. Is i a multiple of 15?
True
Suppose 0*g + g + 5*r - 18 = 0, 5*g - 90 = -4*r. Is 3 a factor of g?
True
Suppose 3*l - 8*l = -340. Is l a multiple of 17?
True
Suppose -334 = 4*k + 4*t - 1410, 2*k + 3*t = 534. Is 13 a factor of k?
True
Suppose -8*w = -9*w + 11. Is 2 a factor of w?
False
Let g be -1 + (-1)/(-1) - -3. Let q(n) = -4*n + 6. Let c be q(-11). Suppose g*a + c = 170. Does 14 divide a?
False
Let k = -52 - -117. Is k a multiple of 15?
False
Is 40 a factor of (2 + 12)*840/98?
True
Let m = -21 - -52. Is 15 a factor of m?
False
Suppose 2*j = -4*j + 312. Does 13 divide j?
True
Let i(z) = -z**3 - 10*z**2 - 10*z - 9. Let g be i(-9). Suppose -3*q + 5*q - 4*c - 136 = g, -5*q = -2*c - 316. Does 23 divide q?
False
Let s = -7 - -9. Suppose c = 2*g - 95, -s*g + 2*c + 26 + 72 = 0. Does 32 divide g?
False
Suppose 175*a = 177*a - 228. Does 19 divide a?
True
Suppose m - 4*m - 15 = 0. Let p(u) be the second derivative of -u**5/20 - u**4/2 - 5*u**3/6 + 3*u**2 - 3*u. Does 4 divide p(m)?
False
Let g(k) = k**2 - 1. Let t be g(1). Suppose 5*w + 2*c - 143 = t, 0 = -2*c + 5*c + 3. Is 13 a factor of w?
False
Let g = 0 + -1. Let z(r) = r**3 - 2*r**2 + 4*r - 2. Let l be z(2). Does 17 divide 18*(g + 15/l)?
False
Suppose -62 = -c - 7*y + 4*y, -2*y + 208 = 4*c. Suppose -c - 19 = -3*a. Is a a multiple of 11?
False
Let u be (-1)/4 + 78/24. Suppose 0 = -2*s + s + 3*j - 92, -296 = u*s + j. Let l = s - -154. Is l a multiple of 28?
True
Let q be ((-2)/4)/(15/240). Does 10 divide (-36)/q*40/6?
True
Let s(m) be the third derivative of -m**5/60 - 5*m**4/12 + m**3/6 + m**2. Let i be s(-7). Suppose -t = -i - 9. Is 15 a factor of t?
False
Suppose -8*f + 621 = -1339. Is 21 a factor of f?
False
Let m = 5 - 8. Let b(z) = -10*z**2 + 4. Let u be b(m). Does 6 divide 9/(-45) + u/(-5)?
False
Suppose 4 = 3*n + 10. Let l = 14 - n. Is l a multiple of 8?
True
Suppose -2*q = -119 + 5. Is q a multiple of 12?
False
Suppose 102 = 4*n - 318. Is n a multiple of 25?
False
Suppose 5*z = 25, 0 = 5*x - z - 78 - 112. Does 4 divide x?
False
Suppose 160 = 15*n - 10*n. Is 4 a factor of n?
True
Suppose 4*g - 6*g = -240. Let m = -82 + g. Is m a multiple of 19?
True
Let x(z) = -3*z - 13. Does 3 divide x(-23)?
False
Let u = -8 - -15. Let c = u + -2. Suppose 4*n = n - 4*i - 4, c*i = -2*n - 12. Is 4 a factor of n?
True
Suppose -6*o + 19 = -5*o. Is o a multiple of 19?
True
Let k(n) = -n**3 + 13*n**2 - 13*n + 7. Let o be k(12). Let j(p) = -22*p - 7. Let t be j(o). Suppose 0*d + t = 2*d + r, r = d - 56. Does 21 divide d?
False
Let t(s) = 4*s**2 - 8 + 0*s**2 + 2*s**2 + 7*s - 5*s**2. Is 15 a factor of t(-14)?
True
Let s(p) = -2*p - 4. Suppose 3*b - 6 = 4*u, 2*b + 0*b = -3*u + 21. Let w be s(b). Let v = 36 + w. Is 10 a factor of v?
True
Let d be ((-6)/4)/((-3)/4). Suppose d*t + 9 = -3. Is (-198)/(-5) - t/(-10) a multiple of 14?
False
Suppose -2*a + 6*a = 32. Let y(z) = 2*z + 11. Is y(a) a multiple of 14?
False
Let c(u) = u + 1. Let i be c(1). Suppose 0 = -3*p - i + 11. Suppose 2*j - 16 = -s, -4*s = s - p*j - 15. Is 6 a factor of s?
True
Let w be (-65)/(-52) - 2/8. Is 2 - ((w - 3) + -26) a multiple of 9?
False
Let a(z) = z + 8. Let t be a(-6). Is t*((-82)/(-4) - 1) a multiple of 9?
False
Suppose -q + 31 = -0*q - 2*i, -i - 83 = -3*q. Is q a multiple of 7?
False
Let j = -3 + 7. Suppose 4*s = -3*c - 37, 0 = j*s - 0*c + c + 39. Let b(r) = -r**3 - 11*r**2 - 11*r - 3. Is b(s) a multiple of 2?
False
Let u(k) = k + 2. Suppose -s + 5 = -4. Does 8 divide u(s)?
False
Does 5 divide (66/10)/(12/40)?
False
Suppose g = -g + 8. Let d = g - 2. Suppose d*v - 16 = 32. Is 12 a factor of v?
True
Let u be -2 + 3 - (-1 + 1). Let v = 3 - u. Does 4 divide 0*v/4 - -6?
False
Let n(x) be the third derivative of -7/6*x**3 + 1/60*x**5 - 3*x**2 + 0*x + 0*x**4 + 0. Is 10 a factor of n(-6)?
False
Let n = -2 + 18. Does 4 divide n?
True
Let d(u) be the second derivative of -u**5/20 + 3*u**4/4 - 3*u**3/2 + 5*u**2 - 2*u. Let z be d(8). Let c = 1 + z. Is 3 a factor of c?
True
Suppose -2*x + 4*x - 246 = -2*z, -2*x + 261 = -3*z. Is 10 a factor of x?
False
Is (-3 + 4)/(2/18) a multiple of 6?
False
Suppose -u - 15 = 2*u. Let a(c) = 0*c + c**2 + 1 - 2*c + 4. Is a(u) a multiple of 15?
False
Is 168/15 + (-6)/30 a multiple of 10?
False
Let a(d) = d**3 + d**2 - d + 14. Let c = 4 - 4. Let k be c/(2 + (-2 - -2)). Does 7 divide a(k)?
True
Let r = 248 - 136. Is 15 a factor of r?
False
Let r(n) = -n**2 + 4*n + 7. Let p = 13 - 8. Let z be r(p). Suppose -z*q = -39 - 1. Does 7 divide q?
False
Suppose v + 2 = -0*v. Let x be 34 + v*(-3 - -2). Let r = x - 19. Is 5 a factor of r?
False
Suppose -93 = -3*i + 4*k, 0 = 5*i + 2*k + 8 - 137. Suppose 4*h - 65 = i. Is h a multiple of 15?
False
Let c(a) = 211*a**3 + a. Let q be c(1). Suppose 7*h + q = 11*h. Is 12 a factor of h?
False
Is -1 + 85 + 4 - 2 a multiple of 7?
False
Let a = 4 - 2. Suppose a*g - 2 = 4*g. Does 20 divide 12/(21/(-30) - g)?
True
Suppose t - 4*t - 5*l = -22, -2 = -3*t + 5*l. Let o be (-3 + t)/(1/2). Suppose -6 = -o*z + 8. Does 4 divide z?
False
Suppose 4*f + g - 147 = f, g - 197 = -4*f. Does 10 divide f?
True
Suppose 22*x - 26*x = -528. Is x a multiple of 22?
True
Does 12 divide 6*12/(-162) + 1718/18?
False
Suppose 0*b + 3*b = 168. Suppose -2*c = -2*a + b, 2*a - 6*a = 3*c - 91. Is a + (-3 - (-3 - -2)) a multiple of 8?
False
Let c(z) = 4 - 2*z - z + 0*z**3 + z**3. Let m be 2/(2 - (-8)/(-6)). Is c(m) a multiple of 11?
True
Does 16 divide -2 + 4 + (-70)/(-5)?
True
Let y be ((-234)/8)/(5/(-20)). Suppose y = t + 2*t. Does 13 divide t?
True
Let x(h) = 5*h - 6. Is x(4) a multiple of 3?
False
Let i(c) = 322*c. Let f(h) = 23*h. Let l(t) = 69*f(t) - 5*i(t). Let a be ((-2)/2)/(0 - -1). Is 17 a factor of l(a)?
False
Let c(m) = -m**3 - m**2 + 2*m + 2. Let j be c(-2). Let l be -4 + 5 - 2/2. Let i = l + j. Is i a multiple of 2?
True
Is 7 a factor of (-218)/16*-2 + (-6)/(-8)?
True
Let d be 1272/42 - (-4)/(-14). Let t = d + -15. Is 15 a factor of t?
True
Suppose -2*q - 118 = -26. Let y = q - -84. Does 14 divide y?
False
Let y(s) = s**2 - 4*s + 7. Let d(z) = 3*z**2 - 13*z + 21. Let v(k) = -3*d(k) + 8*y(k). Let n be v(5). Suppose -q = -n*q + 26. Does 5 divide q?
False
Let n = 120 - -102. Does 37 divide n?
True
Is 45 a factor of (-278)/(-5) + (-10)/(-25)?
False
Let w(j) = -j**2 + 6*j - 6. Let y be w(4). Suppose 3*n + 2*n = -3*h + 47, -y*n + 5*h + 25 = 0. Does 4 divide n?
False
Suppose c - 127 = -4*f, f - 43 = -c - 3*c. Does 7 divide f?
False
Suppose -4*p + 4*t = 12, 0*p = -p - t - 7. Let c = p - -7. Is 9 a factor of c/5 + (-68)/(-5)?
False
Let r = -4 - -3. Let n(g) = -g**2 - 10*g + 7. Let b be n(-10). Let c = r + b. Does 4 divide c?
False
Let p be 0 - ((43 - 0) + -1). Let b = -15 - p. Is b a multiple of 9?
True
Let k(y) = -y**3 - 8*y**2 + 9*y + 6. Let f be k(-9). Let b be 0/(3*2/f). Suppose b = -10*u + 5*u + 100. Is u a multiple of 8?
False
Let p(z) = -2*z**2 + 3*z - 6. Let x be p(4). Let o = -2 - x. Is o a multiple of 12?
True
Suppose -2*b + 72 = 2*i, 4*b - i = -0*i + 149. Does 8 divide b?
False
Suppose -20 = -u + 8*h - 3*h, -h + 44 = 3*u. Is u a multiple of 15?
True
Let m(j) = 3*j**2 - 2*j + 1. Let z be m(1). Suppose 5 = z*x - 2*s - 3, 0 = 4*x + 4*s - 40. Is x even?
False
Suppose 0 = -4*k - 2*p + 34, 2*p - 7 + 43 = 3*k. Does 5 divide k?
True
Let t(g) = -g**2 - 9*g - 10. Let a be t(-7). Suppose -9 = -5*h - 4*q + 55, a*q = -h. Is h a multiple of 6?
False
Let x 