+ 16 = i, -31 = -5*f - g. Let l = 21 - f. Is l a multiple of 4?
False
Let i = 210 + -57. Is 4 a factor of i?
False
Let o(z) = z**2 - 6*z - 4. Suppose 0*b + 4 = b. Let g be (b - 2)*(1 + -3). Is 18 a factor of o(g)?
True
Let b(h) = 2*h**3 - 31*h**2 + 19*h - 34. Suppose 0 = -10*g + 5*g + 75. Is 13 a factor of b(g)?
True
Let j = -30 + -612. Is 12 a factor of 10/45 + j/(-27)?
True
Let y = 953 - -271. Is y a multiple of 24?
True
Let q(u) = -4*u**2 - 14*u - 8. Let i(k) = 3*k**2 + 13*k + 8. Let z(a) = -6*i(a) - 5*q(a). Let r = 2 + 5. Does 17 divide z(r)?
True
Let b = 7 - -1850. Is b a multiple of 12?
False
Let g be (-1)/((-2)/7 + 2095/7455). Suppose g = -2*d + 5*d. Is 3 a factor of d?
False
Let b = 690 - 1335. Is 9 a factor of (-2)/(-8) - b/12?
True
Let n = 2409 + -970. Does 5 divide n?
False
Suppose 7*h - 2*y = 9*h - 1630, 3*y = 3*h - 2427. Is h a multiple of 65?
False
Let d(a) = a + 7. Let x be d(-3). Suppose 2*m + 3*m = -3*y + 46, y + x*m = 27. Is y a multiple of 7?
True
Let g = -55 - -276. Is 71 a factor of g?
False
Is 18 a factor of (1 - (-860)/6) + 37/(-111)?
True
Suppose 19 = z - 4*s, -3*z - 1 = 3*s + 2. Suppose 2*g - 3 = z*i, 0*i - 12 = -5*g + 3*i. Suppose -92 = -j - g*j. Is j a multiple of 23?
True
Suppose 0 = -5*t + 5*k + 360, -3*t + 0*k - 2*k + 226 = 0. Suppose w - 6*w + 330 = 2*q, t = w + 2*q. Does 16 divide w?
True
Suppose 0*u = 2*z - 3*u - 145, 285 = 4*z - u. Suppose 3*d - z - 55 = 0. Is 14 a factor of d?
True
Let u(x) = 5*x**2 - 2*x. Let p = -2 + -2. Is 11 a factor of u(p)?
True
Let m(v) be the first derivative of -5*v**4/4 + 2*v**3/3 + v - 29. Is 17 a factor of m(-3)?
False
Does 52 divide -4 - (-16900)/13 - 4/(-1)?
True
Let m(n) = n**2 - 5*n - 10. Let o be 6*3*12/27. Is m(o) a multiple of 9?
False
Let p be (-20)/60 - 752/(-6). Suppose -p - 150 = -5*d. Is 13 a factor of d?
False
Suppose 2*w - 4*a - 504 = 0, 4*w - 3*a - 791 = 227. Is 13 a factor of w?
False
Does 17 divide ((1 - 142) + -1)/(-13 - -12)?
False
Let i = -2 - -3. Let f be (-2 - 3)*26/65. Let q = i - f. Is 2 a factor of q?
False
Does 3 divide (-4)/(-34) + (-31304)/(-952)?
True
Suppose 1503 = 17*r - 14*r. Is 15 a factor of r?
False
Let j(g) = -g**2 + 4. Let h be j(-3). Is 13 a factor of -158*(-3 + (75/(-6))/h)?
False
Suppose -2*n + 4*p - 20 = 38, 0 = -3*n + 5*p - 85. Let k = 16 + n. Let w = k + 24. Does 5 divide w?
True
Suppose -4*r + 48 = 4*u, 5*r - 16 = -4*u + 48. Let b = r - 2. Is 5 a factor of b?
False
Let v be 4*10/8*1. Suppose -5*d - v*h + 25 = 0, -5*d = -h - h - 25. Is d even?
False
Suppose 2*h = -2*r + 6, 9 = -2*h - 0*r - 5*r. Let o = h + -5. Suppose z + 15 = o*z - c, 0 = -4*c - 20. Does 2 divide z?
False
Suppose 4*p + 0*n = 4*n + 56, -3*p - 4*n + 77 = 0. Suppose 3*u + p = -m - 101, 4*u = -5*m - 556. Let b = -75 - m. Is 11 a factor of b?
True
Let l(j) = j**3 + 9*j**2 + 9*j + 10. Let t be l(-8). Suppose a - 567 = -t*a. Suppose -3*i + 189 = -0*i + m, -3*i - 2*m + a = 0. Is 16 a factor of i?
False
Let j be ((-2)/(-3))/(8/(-6) - -2). Suppose m + 3*z = 5*z + 17, -z - j = 0. Does 2 divide m?
False
Let u(q) = 2*q**2 - 11*q - 41. Does 11 divide u(13)?
True
Let l(q) = q**3 - 6*q**2 + 2*q - 9. Let k be l(6). Does 22 divide (1014/5)/k + (-4)/(-10)?
False
Let c be (2/6)/((-7)/42) + 102. Let f = c + 28. Does 10 divide f?
False
Let r = 111 + -68. Suppose 7 = -5*w - r. Is w*-4*6/15 a multiple of 4?
True
Let a = 2743 + -1574. Is a a multiple of 31?
False
Suppose 96*t = 98*t - 4528. Is 28 a factor of t?
False
Suppose -2*j + d + 8772 = 0, -4*d - 10590 + 1824 = -2*j. Does 63 divide j?
False
Let b(s) = -s + 1. Let n(l) = -5. Let h(k) = -k - 1. Let q(m) = 2*h(m) + n(m). Let u(y) = -6*b(y) - q(y). Is u(1) a multiple of 3?
True
Suppose 2*a - 4*a = -5*k - 672, -4*k - 676 = -2*a. Is 6 a factor of a?
False
Suppose -1497 = 5*q + 288. Let v = -231 - q. Suppose -2*o = -5*o + v. Does 14 divide o?
True
Is (-9)/3 + 4 - (10 - 940) a multiple of 49?
True
Let h(f) = -6*f - 2. Let b be h(-6). Suppose -38*u = -b*u - 216. Does 8 divide u?
False
Suppose 2*r = 1798 + 548. Does 51 divide r?
True
Suppose 2*w = r + 7*w - 959, w - 1963 = -2*r. Is 5 a factor of (-18)/(-117) - (r/(-26))/1?
False
Suppose 0 = -2*b + b + 784. Does 32 divide b?
False
Does 12 divide ((-17)/7 + -1)*(-49 - 7)?
True
Let u(p) = p**3 - 10*p**2 - 8*p - 13. Let b(q) = -q**3 + 11*q**2 + 9*q + 12. Let t(n) = -7*b(n) - 6*u(n). Let r be t(18). Let x = -16 + r. Does 8 divide x?
True
Let h = 43 + -28. Let x = h + 17. Does 32 divide x?
True
Let n(c) = -92*c**3 - 4*c**2 - 2*c + 3. Let u be n(-3). Suppose 12*q - u = -q. Does 27 divide q?
True
Suppose -4*m = -z - 20, 5*m + 20 = -z + 4*m. Let r = 23 + z. Is 6 a factor of (-2)/(1*r/(-9))?
True
Suppose 0*n + 2*n - 6 = 2*f, -4*f = n + 2. Suppose 2*g = -n*g + 168. Is g a multiple of 25?
False
Let x = -1027 + 1999. Is x a multiple of 46?
False
Let m(l) = 805*l - 95. Is m(3) a multiple of 80?
True
Suppose 4*y + 24 = 5*h - 17, 3*h - 7 = -2*y. Suppose 3*g = -f + 82, 2*f - 63 = -h*g + 99. Is 28 a factor of f?
False
Let q be (-292)/18 - (-4)/18. Let j(b) = -7*b - 6. Is j(q) a multiple of 22?
False
Suppose 5*v + 0*k = k + 1945, 1155 = 3*v - 3*k. Does 5 divide v?
True
Let r be 24/((-9)/((-135)/10)). Suppose 0*b + k - r = -5*b, -3*b = -4*k - 40. Is 4 a factor of b?
True
Let s = -295 + 468. Suppose 33 - s = 4*m. Let c = 61 + m. Does 8 divide c?
False
Let g be (-4)/(20/(-245)) + 0. Suppose 8 = -a + g. Let q = -32 + a. Is 2 a factor of q?
False
Suppose -1678 - 708 = -3*x + 2*b, x - b - 794 = 0. Is x a multiple of 29?
False
Suppose 0 = n - 2*p + 1, -2*n - 4*p - 26 = -0*n. Let v = n - -11. Is v a multiple of 4?
True
Suppose 2*g - 3*s = 850, 0 = -2*g - 4*s + 184 + 638. Does 40 divide g?
False
Let s = 0 - -3. Let v be (2/(-7))/((-41)/2296). Is v/(-48) - (-94)/s a multiple of 13?
False
Let z = 7 + -4. Let w be -1*(-45)/z*-19. Let b = -169 - w. Is b a multiple of 40?
False
Suppose -3*m - 5*c = 457, 2*c - 175 = m - 2*c. Let r = 224 + m. Is 16 a factor of r?
False
Suppose -2*b - 51 - 9 = 0. Let q = 37 + b. Is 2 a factor of q?
False
Let u(k) = 4*k + 4. Let h be u(-7). Let x = -36 + h. Let d = x - -117. Does 28 divide d?
False
Let w(q) = -q**2 - 43*q - 66. Does 27 divide w(-28)?
False
Suppose 8*l + 175 = 5647. Does 57 divide l?
True
Suppose 5*z - 480 = f, -7*z - f - 96 = -8*z. Is 6 a factor of z?
True
Let v(h) = -h**2 - 49*h - 73. Is 9 a factor of v(-35)?
False
Let n = 66 + -43. Let a = -13 + n. Is 3 a factor of a?
False
Suppose 0 = -u + 4 - 2. Suppose 4*j = 20, u*i = j - 0*j + 135. Is 10 a factor of i?
True
Suppose 0 = 2*u + 2*u + 8. Let y(g) = -1077 + 538 + 540 + 7*g**2 - 4*g + 6*g - 4*g. Does 4 divide y(u)?
False
Let v be (12/(-5))/(10/(-25)). Let c be v/(-3)*1*-4. Suppose 6*a + 44 = c*a. Does 11 divide a?
True
Suppose 4*r = -s - 135, -4*s = -7*s + 4*r - 389. Let f(v) = 4*v + 9. Let i be f(-22). Let z = i - s. Is z a multiple of 25?
False
Let s(v) = v - 4. Suppose -3*d + 27 - 6 = 0. Let a be s(d). Suppose a*u = 17 + 7. Does 5 divide u?
False
Let n be (-10)/15*(-1 - (-2 + -2)). Is 1 - n/(-6) - 1752/(-18) a multiple of 14?
True
Suppose -3*a + 251 = -586. Is 8 a factor of a?
False
Let v = -365 - -632. Does 37 divide v?
False
Suppose 3*v + 296 = 5*v. Suppose 0 = -h + 3, -4*i + v = 4*h - 104. Does 6 divide i?
True
Let d be (3/(-12))/(1/4). Is 2 a factor of 2 + (2 + d)*-3 + 10?
False
Let z be (-1)/((-4)/13) + (-9)/(-12). Suppose 0 = z*j + 3*j - 826. Does 12 divide j?
False
Let x = -4143 + 5991. Does 12 divide x?
True
Let j = 1017 + -797. Is 18 a factor of j?
False
Let j = -103 - -54. Let w = j - -116. Does 11 divide w?
False
Let o(m) = 34*m - 199. Is o(51) a multiple of 68?
False
Let r = 20 - 20. Suppose r = -12*t + 160 + 80. Is 9 a factor of t?
False
Let u(l) = -2 + 0*l + 10*l + l. Suppose 2*p - 12 = -r, 0 = -5*r - 6*p + 3*p + 32. Is 21 a factor of u(r)?
True
Is 27 a factor of (8/12)/((-15018)/3006 + 5)?
False
Let f(n) = -13*n + 680. Is 34 a factor of f(0)?
True
Suppose 0 = -771*o + 772*o - 419. Does 3 divide o?
False
Suppose 3704 = 6*v + 260. Is 9 a factor of v?
False
Let f(b) = b**2 + 4*b - 17. Let h be f(-5). Is (-4 - 51)*h/15 a multiple of 11?
True
Let k(v) = 30*v + 36. Let f be k(6). Suppose -f = -5*l - 16. Is l a multiple of 8?
True
Let j be 12/14*(-7)/1. Let f(z) = -z**3 - 5*z**2 + z + 4. Let s be f(j). Suppose -2*x + s 