5). Let h = 11 + -19. Let w = i + h. Is 4 a factor of w?
True
Suppose 5*t + 3*l + 4 = 0, l + 3*l + 14 = 2*t. Suppose s = t + 10. Is 11 a factor of s?
True
Let y = 8 + -4. Let i = 0 + y. Suppose 3*n = 0, -6*m + m = i*n - 15. Does 3 divide m?
True
Let m(d) = 3*d**3 + 2*d**2 - d. Let i be m(1). Suppose -n = p - i*p - 16, 3*n = 2*p + 13. Is 8 a factor of (46 + 0)*n/2?
False
Let q = 5 - 6. Is 8 a factor of (1 - (3 + q)) + 9?
True
Let f = 72 - 48. Does 7 divide f?
False
Let t(a) = 3*a**2 - 2*a - 3. Suppose -5*r = 2*f - 33, -1 + 13 = 4*r - 2*f. Suppose -5*u = -w - 4 - 23, 15 = r*w + 5*u. Is t(w) a multiple of 13?
True
Let g(z) = z**3 - 3*z**2 - 5*z + 6. Let c be g(4). Suppose -7*l + c*l + 255 = 0. Is l a multiple of 26?
False
Let a(y) = 2*y - 9. Let b be a(6). Let m(q) = 3*q**2 + q + 1. Let p(z) = 6*z**2 + 3*z + 3. Let o(h) = 9*m(h) - 4*p(h). Is 8 a factor of o(b)?
False
Let r be 1*(-2)/(-6)*3. Suppose -r - 23 = -u + 5*l, -4*u + 5*l = -81. Is u a multiple of 7?
False
Suppose 3*k - 4*l = 22, 16 = 4*k + 2*l - 4*l. Is k even?
True
Let u(t) = 2*t**2 - 3*t + 10. Let r be u(8). Suppose -x = -34 - 84. Suppose 4*i + c + c = r, -3*i = -5*c - x. Is 9 a factor of i?
False
Let s(r) = -2*r + 0 - 2*r - 1 - r**2. Let g be s(-4). Let y(q) = -13*q. Is 13 a factor of y(g)?
True
Let c(h) = 5*h - 12. Let s(g) = -6*g + 13. Let m(f) = -5*c(f) - 4*s(f). Let n be m(6). Suppose -1 - 4 = -w, 5*w - 137 = -n*l. Is 26 a factor of l?
False
Let y be (0/(-3))/(2 + 0). Suppose d - 11 = -3*p, -5*p + 2*d + 0*d + 11 = y. Suppose 6 + p = 3*c. Is c a multiple of 2?
False
Suppose 70 = 4*x + 5*v + 11, -5*x - 3*v = -77. Is x a multiple of 16?
True
Suppose 6*w - 69 = 5*w. Does 12 divide w?
False
Suppose 5*m + 5 = -5. Let z(w) = -w**2 - 3*w - 2. Let t be z(m). Let h = 7 - t. Does 5 divide h?
False
Let o = -10 + 14. Does 8 divide (304/24)/(o/6)?
False
Does 15 divide (-4)/((-2)/(-1)) - -3 - -74?
True
Is 22 a factor of (-1*132/(-18))/((-2)/(-36))?
True
Let q = 6 - 2. Suppose 2*p = 3*n + 111, -q*p + p = 4*n - 192. Is 15 a factor of p?
True
Let k = 121 + -25. Is 12 a factor of k?
True
Let z = -7 + 19. Let i = 17 - z. Suppose 17 - 40 = -q - w, i*q - 119 = -4*w. Is q a multiple of 9?
True
Let t = 228 - 120. Is 9 a factor of t?
True
Let f(m) = m**3 - 5*m**2 - m + 4. Let i be f(5). Let g be 2 + i*(1 + 1). Does 8 divide (-2 - (g - 0)) + 10?
True
Let l be -5*(0 - 6/3). Suppose -l = 2*p, q - 267 = -q + 3*p. Suppose -2*a + q = a - 4*u, 0 = a - 3*u - 42. Is 18 a factor of a?
False
Let l be (-14)/(-4)*(-12)/2. Let c = l + 51. Is c a multiple of 15?
True
Suppose 7*c + 216 = 11*c. Let j = 12 + c. Is j a multiple of 14?
False
Suppose 3*b + 3*g = 2*b - 17, -4*b - 3*g = 23. Is b - (-29 + (1 - 4)) a multiple of 14?
False
Suppose 24 = 2*a - 4*a. Does 11 divide (-82)/(-6)*a/(-4)?
False
Let a(y) = y**3 + 3*y**2 - 4*y + 2. Let b be a(2). Let f = 28 - b. Does 4 divide f?
False
Let y be 2/((-1)/446*-4). Suppose -5*l - h + 0*h = -y, 2*h = -4*l + 176. Is l a multiple of 15?
True
Let z(k) = 48*k + 14. Does 32 divide z(5)?
False
Let v(p) = -p**2 - 10*p - 5. Let j be v(-9). Let l(i) = 3*i - 3. Let a be l(6). Suppose a = j*t - 37. Is 13 a factor of t?
True
Let p(k) = 26*k + 2. Let s(v) = -v**2 - 14*v - 11. Let y be s(-13). Is 18 a factor of p(y)?
True
Let z = 9 + -15. Let w(l) = -l**3 - 5*l**2 + 8*l - 4. Let b be w(z). Is 7 a factor of (21/(-4))/(6/b)?
True
Let j(x) = -x + 1. Is 3 a factor of j(-5)?
True
Let v(l) = 2*l**2 + 4*l + 11. Is v(5) a multiple of 27?
True
Suppose -n = 11*n - 552. Is n a multiple of 9?
False
Let a(w) = 2*w**2 - w + 7. Is a(5) a multiple of 13?
True
Let c = 63 + -21. Is c a multiple of 14?
True
Let v be (-492)/8*(-1 - 9). Suppose -x = 2*x - v. Suppose t + x = 5*b, -51 = -b - t - 4. Does 14 divide b?
True
Suppose -3*i + 4*i = -4. Let b(t) = t**2 + t + 2. Is b(i) a multiple of 7?
True
Let q(a) = 6*a**3 - 2*a - 1. Let v be q(-1). Let t = v + -1. Does 8 divide (4/t)/(1/(-39))?
False
Let u(h) = -h + 40. Does 5 divide u(10)?
True
Let q be (-22)/5 + (-4)/(-10). Let d(r) = 3*r**2 + 7*r + 4. Is d(q) a multiple of 7?
False
Let j = -4 + 6. Suppose 4 = -j*v, -128 + 5 = -3*w + 3*v. Is w a multiple of 10?
False
Suppose -g - 5*c + 0 - 1 = 0, 4 = -4*g + 2*c. Does 12 divide (-104)/(-4) - (g + 3)?
True
Suppose -3*c + 90 = -5*y, 4*c = y - 5*y + 120. Suppose 3*i - c = -6. Is i a multiple of 2?
True
Suppose r = 4*k - 16, -r - r = -4*k + 12. Suppose r*p - 8*p = -36. Is p a multiple of 3?
True
Let j = -29 - -85. Is 14 a factor of j?
True
Let y be 4/10 + 8/5. Suppose -2*j = y*j. Suppose -150 = -5*k - j*k. Does 21 divide k?
False
Let n(i) = 0 - 2 + 3*i**2 + 0*i + 2*i. Let x = 10 + -8. Is 14 a factor of n(x)?
True
Let a = 10 - 8. Let h = 50 - a. Does 12 divide h?
True
Suppose 5*f + 25 = 0, 3*t + 5*f = -t - 9. Suppose -3*m = -2*g + 1, t*m - 67 = -4*g - 15. Is g a multiple of 5?
False
Suppose 3*b + 3 = 6*b, 0 = -4*m - 3*b - 9. Is 12 a factor of m + 29 - -1*3?
False
Suppose f - 28 = -0. Suppose 4*i = -b + i - 5, -4*b + f = -4*i. Is b a multiple of 4?
True
Let g be 30 - 3/((-9)/6). Suppose q = 5*q - g. Does 4 divide q?
True
Let f(z) = -2*z**3 - z**2. Let p be f(-2). Suppose 2*h = -l + 5, -3*h + 7 = 3*l - 2*l. Let k = p + l. Is k a multiple of 13?
True
Let w be 1 - ((-2)/(-2))/(-1). Suppose w*h = -1 + 15. Let o(y) = -y**3 + 8*y**2 - 5*y - 6. Does 3 divide o(h)?
False
Suppose 0 = -3*w - 3*k + 57, -w + 2*k + 25 = 6*k. Is 12 a factor of w?
False
Let f(d) = d**2 - 3*d + 3. Let u be f(3). Suppose -5*r + u*p = -50, -p + 4 = 3*r - 12. Is r a multiple of 3?
False
Let v(p) = 22*p + 16. Is v(3) a multiple of 11?
False
Suppose -22 = -4*q + 58. Is q a multiple of 5?
True
Let o = 27 + -10. Is o a multiple of 9?
False
Let a = -16 + 28. Is 4 a factor of a?
True
Suppose 0 = 4*r + 3*r - 42. Is 2 a factor of r?
True
Let j(d) = 32*d + 7. Let z be j(4). Suppose y - 4*y = -z. Is y a multiple of 9?
True
Let s(g) = -3*g + 0*g - 6*g**2 + 14*g**2 - g**3 - 7. Suppose -2*f - 4*u + 8 = -8, 32 = 5*f + 2*u. Is s(f) a multiple of 16?
False
Let b(z) = 2*z**2 + 7*z - 7. Let u be b(-7). Suppose u = -6*m + 7*m. Is m a multiple of 21?
True
Let m(n) = 7*n - 5*n**2 + 4*n + 10 + 2*n**3 - 3*n**3. Let c be m(-7). Suppose -47 = -2*k + c. Is k a multiple of 16?
False
Let i = 0 + 2. Suppose i*t - 5*t + 636 = 0. Suppose -3*z + 3*d + 52 = -59, 5*z + 4*d - t = 0. Does 20 divide z?
True
Let s(t) = t**3 + t**2 + t + 24. Suppose 0 = 2*n - n. Let l be s(n). Suppose 0 = 5*f - 229 + l. Does 20 divide f?
False
Let t = -1 + 7. Is (t/(-5))/((-45)/2850) a multiple of 19?
True
Let b be ((-6)/4)/(3/(-8)). Let d(p) = 9*p**2 + p - b*p - 4*p**2 - 3. Is 8 a factor of d(-2)?
False
Let c be 2/4 + (-3)/6. Suppose c = 3*x + 7 - 34. Does 3 divide x?
True
Suppose -2 = 2*u, 8*g + 4*u = 3*g - 49. Is (g/(-3))/(-3) + 24 a multiple of 8?
False
Let d = -196 + 286. Suppose -3*i = -5*i + d. Is 9 a factor of i?
True
Suppose 769 = 5*p - 2*f, -4*p + 2*f = -304 - 312. Suppose -5*u = -d - p, 126 = 4*u - 0*d - 2*d. Does 15 divide u?
True
Does 10 divide (-46)/6*(-6)/2?
False
Let t(r) = -r**2 - 18*r + 3. Does 4 divide t(-17)?
True
Let j(w) = w + 14. Does 7 divide j(10)?
False
Suppose -3*x = -o + 65, 3*x - 325 = -o - 4*o. Does 33 divide o?
False
Let j(d) = 5*d**3 + d**2. Let g be j(-1). Let t(v) = 7*v + 0*v**2 + 4*v**2 - 3 - 2*v. Is 14 a factor of t(g)?
False
Suppose -2*f = -a - 3, -f = 5*a - 4 + 30. Let i = a + 22. Is 6 a factor of i?
False
Suppose 4*x + x = 25. Does 3 divide x?
False
Suppose 4 = 5*j - 36. Let d(o) = 6*o**3 - 8*o**2 - 8*o - 13. Let h(k) = k**3 - k - 1. Let i(b) = -d(b) + 5*h(b). Does 16 divide i(j)?
True
Suppose 8*b = 3*b + 5*i + 30, 5*b = i + 14. Let s(f) = -2*f + 2. Let q be s(2). Is 2 a factor of (-6)/q - b/2?
True
Let r = 4 - 2. Let v be (11 + 0)*-4 + r. Let a = -22 - v. Is a a multiple of 20?
True
Suppose -7*m = -2*m - 310. Does 16 divide m?
False
Suppose -3*t - 3*s = -0*t - 69, 4*s = 5*t - 133. Is 14 a factor of t?
False
Let z(t) = 3*t + 3. Is z(2) a multiple of 9?
True
Let o = 49 + -7. Does 10 divide o?
False
Does 3 divide 2/(-2)*-3 + 3*1?
True
Let q(j) = 4*j**2 - 12*j + 1. Is 13 a factor of q(6)?
False
Is 127/((3 + 21/(-6))*-1) a multiple of 43?
False
Suppose -2*j = -3*j + 5*m - 16, -3*j - 3*m = -42. Suppose -5*w = -0*p - 2*p - 1, j = 3*w. Is p even?
False
Let s(z) = -z**3 + 12*z**2 + 