4). Suppose -3*i = -r - 11. Suppose v = 3*l + i - 9, -v - l = -17. Does 17 divide v?
True
Let n be 13 - 1 - 0/(-1). Suppose 0 = 4*j + o + n, 2*j - 18 = j + 5*o. Is j/(-10) - (-177)/15 a multiple of 12?
True
Let h = -173 + 313. Is h a multiple of 15?
False
Suppose -g + f + 25 = 0, 5*f - 26 = -2*g + 38. Let v = 43 - g. Is 16 a factor of v?
True
Let c(s) = -23*s + 14. Let d(o) = 8*o - 5. Let t(v) = 4*c(v) + 11*d(v). Is t(-8) a multiple of 11?
True
Let a be (-2)/4 - (-2)/4. Suppose a*g - g = -4. Is 4 a factor of g?
True
Let k = 21 - 10. Is 14 a factor of k*(-9)/(-6)*2?
False
Let a(v) = -v + 160. Let b be a(0). Suppose -b - 45 = -5*p + 3*c, 0 = -5*c - 25. Is p a multiple of 14?
False
Suppose -4*d + 45 = 189. Let c = 70 + d. Let m = -19 + c. Is m a multiple of 15?
True
Is 21 a factor of (-4744)/(-16) - (-2)/(-4)?
False
Suppose -8 = -8*p + 7*p. Let o(g) = g**3 - 6*g**2 - 9*g + 9. Does 13 divide o(p)?
True
Suppose 2*f = -5 + 19. Let m = 11 - f. Suppose m*j = 8 + 28. Is j a multiple of 9?
True
Suppose 0 = v - 4 - 27. Let x = 9 + -27. Let c = x + v. Does 13 divide c?
True
Let g = 69 - 10. Is 10 a factor of g?
False
Let n = 7 + -7. Suppose -3*j - 131 = -5*h - n*j, -3*h + 4*j = -83. Is 8 a factor of h?
False
Suppose l + 3 = 2*l. Suppose 0 = l*j - 25 - 20. Is j a multiple of 13?
False
Let i = -12 - -18. Let t be ((-4)/i)/(2/(-267)). Suppose 5*j - t = -4*d, -3*j - 15 - 45 = -3*d. Is 6 a factor of d?
False
Let v(q) = 11*q + 12. Is v(6) a multiple of 31?
False
Let a = -43 + 111. Is 17 a factor of a?
True
Let l = -66 - -116. Is 5 a factor of l?
True
Let z be (-2)/6 - (-37)/3. Let q be (-4)/(-18) + (-125)/(-45). Let o = z + q. Is 15 a factor of o?
True
Suppose -4*j + 25 = -131. Does 13 divide j?
True
Let r be (-8)/(-5) - 20/(-50). Is 15 a factor of 4/8 - (-29)/r?
True
Suppose 0 = 5*b + 2*p - 5*p - 249, 0 = 2*b - 5*p - 111. Does 16 divide b?
True
Let b = 407 - 216. Suppose 0 = 5*o - b - 4. Is 15 a factor of o?
False
Suppose -13*h = -10*h - 264. Is h a multiple of 44?
True
Suppose -v - 5*s = 3*v - 47, 4*s - 34 = -3*v. Is v a multiple of 9?
True
Let u be 2 + (-2 - 2) + 8. Is (-8)/u*(5 + -14) a multiple of 6?
True
Suppose -3*i - 23 + 83 = 0. Suppose -5*m + i = -0. Is 2 a factor of m?
True
Suppose o = 4*o. Suppose -2*k + o*k + 86 = 0. Does 12 divide k?
False
Let t = -25 + 51. Suppose -t = g - 2*g. Is g a multiple of 13?
True
Suppose -10 = y - 25. Suppose 7*n - y = 4*n. Suppose n*k + 1 = 5*s - 39, 4*k - 16 = 0. Does 11 divide s?
False
Suppose 3*r - 90 = 4*q, -r - 2*q + 15 = -15. Does 6 divide r?
True
Let b = -26 - -53. Does 9 divide b?
True
Suppose -u - 540 + 125 = -2*w, w = -2*u + 215. Is 21 a factor of w?
False
Let d = -49 + 108. Suppose -d = a - 2*a. Is a a multiple of 21?
False
Let p = 5 + -3. Suppose 9*j - 4*j = 15. Suppose -j*x - 46 - 19 = -p*d, d = 3*x + 37. Is d a multiple of 18?
False
Let u = 418 + -184. Does 30 divide u?
False
Suppose 18 = -g + 4*g. Let q be 1/(g/(-20))*-3. Let p = 12 + q. Is 14 a factor of p?
False
Suppose 2*j = -j - 108. Let v be 268/(-16) - (-6)/8. Let w = v - j. Is 20 a factor of w?
True
Suppose 3*r + 6 = -3. Let k be -2*(r/(-3))/(-1). Suppose -k*g + 7 + 12 = -z, 3*z = 2*g - 21. Does 9 divide g?
True
Let x(n) = 38*n - 4. Let j be x(-4). Let d = j + 232. Suppose -53 = -3*u + 4*y, -3*u - d = -7*u + 4*y. Is u a multiple of 15?
False
Let f(g) = -g + 2. Let j be f(-4). Let w(d) = d + 1. Let z be w(j). Suppose -z = -5*x + 93. Does 20 divide x?
True
Let n(j) = -j**3 - 9*j**2 + 9*j - 11. Let k be n(-10). Let i be -6 + k*(-2 + 2). Is (-4)/i + (-194)/(-6) a multiple of 11?
True
Suppose 10 = -4*t + 2. Let g be (-3 - (t - 1))/(-3). Suppose g = -a - 4*k + 10, a - 10 = -3*a - k. Is a a multiple of 2?
True
Let p be (-7)/3 - 2/(-6). Let m(y) be the second derivative of -3*y**3/2 - 3*y**2/2 - y. Is m(p) a multiple of 6?
False
Suppose 6*z - 7*z = -36. Is z a multiple of 12?
True
Suppose -3*s = -4*s. Suppose 5*g + 27 + 8 = s. Let t(b) = b**2 + 6*b + 4. Does 9 divide t(g)?
False
Let j = -2 + 6. Suppose 8 = -j*y, y = 4*l - 0*l - 122. Is 9 a factor of l?
False
Let f(r) = r**2 - r - 8. Let w be f(-6). Suppose 0 = 5*n - 41 - w. Is n a multiple of 5?
True
Let h = 67 - 38. Does 4 divide h?
False
Let k be 6/4 + 30/4. Let v(y) = 5*y**2 + 5*y + 13. Let j(r) = -r**2 - r - 3. Let o(p) = k*j(p) + 2*v(p). Does 2 divide o(2)?
False
Let d be (-10)/(-20) - 3/(-2). Suppose l - 5*x = 52, -l + d*x + 37 = -0*x. Is l a multiple of 9?
True
Let l be (8 - (-1 + 3)) + -2. Let y(t) = t**2 - 4. Let v be y(l). Suppose r + v = 2*r. Does 12 divide r?
True
Let b be (-114)/(-5)*(-10)/(-3). Let q = b + -54. Does 22 divide q?
True
Let p be (-4)/3*18/(-12). Let k = 14 - p. Does 4 divide k?
True
Let c(b) = 6*b - 1. Let n be c(2). Suppose 0 = 2*v + 3*q + n, 2*q = -2*v - 2*q - 16. Suppose v*u = 6*u - 52. Is u a multiple of 13?
True
Suppose 0 = -2*j - 2*j + 300. Suppose 0 = -5*b + j + 45. Is b a multiple of 13?
False
Let j(h) = 7*h**2 + h. Let l = -13 + 11. Is j(l) a multiple of 26?
True
Suppose -21 = -5*r - 6. Suppose -r*s = -3*j - 39, 4*s - j = -3*j + 70. Does 8 divide s?
True
Suppose 0 = d - 2*t + 13, 3*d - 3*t = 2*t - 36. Is 18 a factor of (-18)/(((-7)/(-3))/d)?
True
Let n(t) = -20*t**2 - 9*t - 2. Let h(u) = 10*u**2 + 4*u + 1. Let g(i) = 13*h(i) + 6*n(i). Let d be g(1). Does 13 divide ((-3)/d)/(1/(-93))?
False
Let z(d) be the third derivative of d**6/360 + 7*d**5/120 - d**4/3 - d**3/6 - 2*d**2. Let x(j) be the first derivative of z(j). Does 3 divide x(-9)?
False
Let f(x) = 55*x + 5. Let v(j) = -164*j - 14. Let k(y) = -17*f(y) - 6*v(y). Is k(1) a multiple of 16?
True
Let t = 9 + -9. Let c be (-7)/((-14)/72) + t. Suppose k = 3*k - c. Does 11 divide k?
False
Let u = 46 - 30. Is 12 a factor of u/20*(0 + 25)?
False
Suppose -3*b - 121 = -391. Does 30 divide b?
True
Suppose -2*h - 5*s + 165 = 3*h, -h + 24 = -2*s. Suppose -2*p = -p - h. Is p a multiple of 9?
False
Suppose -144 = -0*t - 4*t. Is 12 a factor of t?
True
Suppose 5*f - 58 = -3*n, 0 = -3*n + 3*f - 2*f + 64. Is 6 a factor of n?
False
Let t(x) = -7 + 2*x + x - x**2 - 4*x + 11*x. Is t(7) a multiple of 5?
False
Let m(k) be the second derivative of k**3/3 - 3*k**2 - k. Does 10 divide m(14)?
False
Suppose 8 = 2*g - 8. Does 2 divide g?
True
Let q = -2 + 0. Let x = 0 - q. Is x a multiple of 2?
True
Suppose -3*q + 7*q = 12. Suppose -3*j + q*y + 18 = 0, -j = -2*j + 3*y + 8. Suppose -30 = j*h - 130. Is 8 a factor of h?
False
Let g = 0 - 0. Let v be g/(-3) + -2 + -1. Let k(o) = -3*o - 2. Is 4 a factor of k(v)?
False
Let n be ((-1)/(-2))/((-1)/(-4)). Suppose -n*c + 49 = -33. Is 16 a factor of c?
False
Is 6 a factor of 2/(-4)*(-143 + 1)?
False
Let j(t) = 2*t + 6. Let o be j(-10). Is o/35 - (-177)/5 a multiple of 12?
False
Suppose 2*y = 4*y. Suppose y = 3*u - u - 14. Suppose -u*m + 2*m = -45. Is m a multiple of 9?
True
Let y be (-366)/(-9) + (-2)/3. Let p(b) = -b**2 - 10*b + 7. Let q be p(-10). Suppose j + q = y. Is j a multiple of 11?
True
Suppose -2*q = 2*q - 48. Let b = -2 + q. Let z = 25 - b. Is 15 a factor of z?
True
Suppose r - 1377 = -5*p, -5*r + 195 = -2*p + 735. Is p a multiple of 39?
False
Let c(u) = -2*u**3 - 12*u**2 + 7*u + 8. Is 15 a factor of c(-7)?
False
Suppose -5*n = -0 + 5. Let f(u) = -4*u**2 - u - 1. Let y be f(n). Does 16 divide 1 - (-2)/(y/(-30))?
True
Let j(r) be the first derivative of -r**3/3 + 5*r**2 - 2*r - 3. Does 11 divide j(7)?
False
Let j(f) = 6*f**2. Let l be j(1). Suppose 4*t + 62 = l*t. Does 12 divide t?
False
Let l(o) = -o**2 - 11*o - 6. Let p be l(-9). Suppose p = -2*c + 56. Does 11 divide c?
True
Suppose 5*r = 12*r - 854. Is 11 a factor of r?
False
Suppose 1 + 4 = p, -4*p + 20 = -3*z. Suppose 2*i + i - 75 = z. Does 12 divide i?
False
Suppose 6*f - 2*f - 128 = 0. Does 16 divide f?
True
Suppose 5*h = -0*h + 10. Let l(w) = -6*w**3 - 10*w**2 - w + 21. Let q(v) = v**3 + 2*v**2 - 4. Let s(x) = h*l(x) + 11*q(x). Is s(-2) a multiple of 10?
False
Is 16 a factor of (7/(-3))/((-10)/90)?
False
Suppose -3*p = a - 25, -5*a - p + 115 = 4*p. Does 8 divide a?
False
Suppose -4*j - c + 308 = 0, 5*j - 388 = -5*c + 3*c. Does 19 divide j?
True
Let v be (-2)/5*(-5 + -10). Suppose 0 = -3*d + 45 - v. Let g = 8 + d. Is 14 a factor of g?
False
Let j(q) = -2 - 4*q + 16*q + q. Is j(2) a multiple of 12?
True
Suppose 0 = j + 3*j. Let o(z) = -z