e 0 = 2*i + q - 78 - 116, -2 = -q. Does 12 divide i?
True
Suppose 5*o - 2*k = 21, -4*o + 13 = -3*k - 8. Suppose 0 = -3*f + o. Let r(w) = 17*w**3 - 2*w**2 + 2*w - 1. Is r(f) a multiple of 8?
True
Suppose -4*a - 11 = -5*a. Let g = -5 + a. Does 2 divide (21/g - 2)*2?
False
Is 2 a factor of (278 - -2)/5 + 1?
False
Let t(f) = -14*f**2 + 2*f. Let l be t(1). Suppose -80 = -4*w - 0. Let o = w + l. Is o a multiple of 3?
False
Suppose -3*l = 3*d + 60, 4*d + 2*l + 104 = 28. Let a = 14 - d. Is a a multiple of 16?
True
Let k = 6 - -3. Let c = -16 - -12. Let h = k + c. Does 5 divide h?
True
Let w(k) = -k**3 - 2*k**2 + 2*k - 2. Let z be w(-4). Let b be (-53)/11 - 4/z. Let a(x) = -x**2 - 8*x - 5. Is 4 a factor of a(b)?
False
Let z be 1/(2 + 6/(-4)). Suppose 2*c = -z*u + 40, 4*c + u = -0*c + 65. Is 8 a factor of c?
False
Let c(l) = -l**2 - 13*l + 20. Let m be c(-15). Let n = m - -14. Does 2 divide n?
True
Let q(u) = 2*u**2 - u + 18. Does 18 divide q(5)?
False
Suppose -5 = 4*j - 5*j, -5*b = -j + 5. Suppose 5*s + 153 = 3*r, 3*r + b*s = 4*s + 150. Is 17 a factor of r?
False
Let a(v) = 7*v - 4. Suppose 0 = 2*m + 2*g + 3*g + 10, -4*g = 3*m + 8. Suppose -5*d - 3*n = -21, m = 5*d - 0*n - 2*n - 11. Is a(d) a multiple of 5?
False
Suppose 3*d - 4*v = 259, v - 98 = -d - 0*v. Is 12 a factor of d?
False
Suppose 3*d = 66 + 42. Is d a multiple of 12?
True
Let a = -19 + 42. Is 23 a factor of a?
True
Let v(a) = 3*a**3 - 13*a**2 - a + 2. Let j(o) = -2*o**3 + 12*o**2 + 2*o - 3. Let c(l) = 4*j(l) + 3*v(l). Is c(-8) a multiple of 9?
True
Suppose 3*o = 2*o + 130. Let x = o + -89. Is 17 a factor of x?
False
Let c(a) = -5*a - 3. Let q(w) = w**3 + 5*w**2 + 5*w + 2. Let j be q(-4). Let u be -3*(12/(-9) - j). Does 3 divide c(u)?
False
Let u(a) = -4*a + 6. Let r be u(6). Let m = -2 - r. Does 8 divide m?
True
Let q = -41 + 48. Let l be (-2)/4*0 + -2. Let t = l + q. Is t a multiple of 5?
True
Let m(l) = -l + 7. Let z be m(5). Suppose z*o = 162 - 6. Does 26 divide o?
True
Suppose -29 = -3*w - 2. Let q = -6 + w. Suppose q*a + y = -3*y + 68, 0 = y + 4. Does 14 divide a?
True
Suppose g - x - 80 = 2*x, 3*x - 382 = -5*g. Suppose -5*m + 43 + g = 0. Is m a multiple of 12?
True
Suppose -429 = -6*v + 3*v. Is 20 a factor of v?
False
Suppose u = 5, -5*x + 0*u + 200 = -3*u. Does 43 divide x?
True
Let l = 78 + -46. Let h(u) = u + 7. Let j be h(-3). Suppose -j*s + 4*w + 29 + 43 = 0, w = 2*s - l. Does 7 divide s?
True
Suppose -4*x + 10 = -9*x. Does 13 divide (-312)/(-22) - x/(-11)?
False
Let l(n) = -n**3 - n**2 + 2*n. Let y be l(-2). Suppose y = 2*u + 4, -k + 13 = -0*u + 2*u. Is k + -6 + (1 - 0) a multiple of 4?
True
Let d be 20/(-30) - 4/(-6). Suppose d + 4 = -s, -3*t = 2*s - 70. Is t a multiple of 11?
False
Let u(l) = 58*l - 7. Does 12 divide u(2)?
False
Suppose 5*m - 4*m = 0. Let p(n) = -2*n + 1. Let j be p(-1). Suppose 6*w - 5*w = 4*k + 27, -j*w - 3*k + 156 = m. Does 22 divide w?
False
Suppose 14 = o + 4. Is 5 a factor of o?
True
Let o(k) = -2*k - 3. Let b be o(-3). Suppose -4*y + 13 = -b. Suppose y*l - 54 = 2. Is l a multiple of 8?
False
Is 15 a factor of 22*((-6)/(-2) - -1)?
False
Let f(x) = 16*x + 75. Is 13 a factor of f(7)?
False
Suppose -2*s - 36 = 3*y - 4*s, y - 5*s - 1 = 0. Is (-315)/y*8/6 a multiple of 10?
True
Let d(r) be the third derivative of -r**4/24 + 5*r**3/2 + r**2. Let m be d(7). Suppose -5*a + 108 - m = 0. Does 11 divide a?
False
Suppose -f - 2*f = 2*k - 131, -k - 171 = -4*f. Let r = 83 - f. Does 19 divide r?
False
Let a = 112 + -77. Is a a multiple of 7?
True
Suppose -y + 58 = y. Does 13 divide y?
False
Suppose 3*d = 4*d - 4*p - 99, -107 = -d + 2*p. Is d a multiple of 10?
False
Let m be ((-6)/24*-6)/(1/2). Let t be -4*(-2)/4*17. Suppose 120 = 5*v - 5*n, t = m*v - 2*v + 4*n. Is 13 a factor of v?
True
Suppose -u + x - 4 = -0*x, 4*u - 3*x = -19. Let t be 1 + 12*6/(-4). Let z = u - t. Is 10 a factor of z?
True
Suppose 2*p = -0*p + 4. Suppose 334 = p*h - 4*l, 2*h - 153 = 5*l + 178. Suppose -17 = -5*b + h. Is b a multiple of 15?
False
Is 4 a factor of (-4 - -3)/(1/(-4))?
True
Let w = 103 + -44. Suppose 4*m = -3*b + w, -4*m - 5*b = -0*b - 53. Is 17 a factor of m?
True
Suppose 4*f = f + 171. Let u = -17 + f. Is u a multiple of 13?
False
Suppose -4*q - 3*n - 16 = n, -2*n = q + 8. Suppose q = 3*a + 14 - 365. Suppose 4*j = 7*j - a. Does 13 divide j?
True
Let a(g) = g**3 + 5*g**2 - 5*g + 3. Let h be a(-6). Let v be 2/(-9) + (-868)/63. Does 7 divide h/(-2 + (-22)/v)?
True
Let f = 21 + -19. Suppose -12 = -f*s + 2*r, -4*r - 14 = s - 3*s. Is s a multiple of 4?
False
Let x(b) = -2 + 4*b**2 - b**2 - b**2 + 5*b. Does 25 divide x(4)?
True
Let r = -23 - 1. Let w = -13 - r. Does 11 divide w?
True
Let j = 15 - 8. Suppose 0 = 2*u - i - 47, -2*u - 5*i = -u - j. Is 11 a factor of u?
True
Suppose -6*t - 4*n - 48 = -2*t, -t = 3*n + 12. Let a be (t/2)/(6/39). Let k = 0 - a. Is 15 a factor of k?
False
Let z(b) = b + 5. Suppose -2*i - 2 = 4. Let p be z(i). Suppose 3*h + p*h - 40 = 2*d, 3*d + 16 = 2*h. Is 8 a factor of h?
True
Let k = -49 - -61. Does 5 divide k?
False
Let w = -6 - -4. Let j be -1 + (-32)/(-2) + w. Does 11 divide j + -2 + (4 - 3)?
False
Let x = 0 - -3. Suppose -4 = -x*a + 8. Suppose a*v = -v + 205. Is 13 a factor of v?
False
Suppose 3*c + 417 = 3*t + 8*c, 0 = -t + 5*c + 139. Is t a multiple of 26?
False
Suppose -4*c = 3*y + 8, 2*y - 33 = 3*c + 2*c. Suppose -18 = -y*q + 6. Does 3 divide q?
True
Suppose 2*b + b - 4*z = 136, -5*z + 180 = 5*b. Is 20 a factor of b?
True
Let y be 4/2 - (2 + 6). Let g be ((-8)/12)/((-4)/y). Is (110/(g + 3))/1 a multiple of 22?
False
Suppose 3*g - b - b = 18, 4*g - 7 = -3*b. Let q(x) = 3*x - 4. Let j be q(4). Is g*(-34)/j*-2 a multiple of 17?
True
Let n = -101 - -189. Does 4 divide n?
True
Let d = -8 + 20. Let s = d + -17. Let q = s - -12. Is q a multiple of 7?
True
Let u(t) = 28*t**3 - 2*t**2 + 2*t - 1. Suppose 3 = 2*j + 1. Suppose -5 = -4*a - j. Is u(a) a multiple of 13?
False
Suppose -4*y + 31 = -n - 0*y, 4*y - 9 = -n. Let f = n + 27. Suppose k + 4*v - f = 0, -k - 6*v = -3*v - 13. Is k a multiple of 3?
False
Suppose 6*h - 4*a = 4*h + 6, -2*h + 3*a + 7 = 0. Let d(c) = 10*c**2 - c + 4. Let i be d(3). Suppose -1 = l, 3*g + 38 = h*l + i. Is g a multiple of 14?
False
Let x(p) = -28*p + 1. Let l(r) = 2*r**3 + r**2 - r - 1. Let s be l(-1). Is 11 a factor of x(s)?
False
Let m = 47 + 15. Does 10 divide m?
False
Suppose 3*q + 1 = -23. Let l(w) = -w - 6. Let d be l(q). Suppose -d*y - 44 = -5*u, 0 = -u + 2*u + y - 13. Is u a multiple of 5?
True
Is (-3)/5*(1 - 136) a multiple of 27?
True
Let k = 194 - 103. Suppose 59 = p - 2*p. Let i = k + p. Is 16 a factor of i?
True
Let d = -9 + 17. Does 8 divide d?
True
Let u(f) = 10*f + 4. Let l(y) = y**2 - 8*y - 6. Let w be l(9). Does 17 divide u(w)?
True
Suppose o + o = -5*k + 10, -2 = -4*o - k. Suppose -3*f - i - 7 = o, -3*i - 7 = 4*f - 4*i. Is (17/f)/(5/(-10)) a multiple of 9?
False
Suppose 10 - 103 = -z. Is z a multiple of 18?
False
Let z(g) = g**2 - 3*g - 7. Let f(s) be the third derivative of -s**6/120 + 3*s**5/20 - 7*s**4/24 - s**3/6 - 3*s**2. Let b be f(8). Does 9 divide z(b)?
False
Let j = 1 + 1. Let s = 7 - j. Suppose -4*l = -s*l + 24. Is l a multiple of 12?
True
Suppose 0 = 2*c - 4*n - 48 - 456, -2*c + 5*n = -504. Is 9 a factor of c?
True
Let z = 2 + -3. Suppose -32 - 34 = 2*r. Is -2*(z - r/(-6)) a multiple of 13?
True
Is 1/(-2) + (-390)/(-4) a multiple of 19?
False
Let m(x) = -x**2 + 16*x + 8. Let r(n) = -2*n**2 + 33*n + 17. Let u(p) = 9*m(p) - 4*r(p). Let b be ((-2)/(-2))/(1/6). Is u(b) a multiple of 17?
False
Let o(v) = -3*v - 3. Let l be 8/24 - 57/9. Does 7 divide o(l)?
False
Let i be (-3)/((-8)/(-20) - 1). Suppose -i*n + 158 = 5*b - 82, -2*b + 3*n = -116. Is b a multiple of 26?
True
Let k(s) = s + 1. Let r(d) = d**2 - 16*d - 13. Let l(f) = -4*k(f) - r(f). Does 22 divide l(8)?
False
Let m(b) = -b**3 - 3. Let s be m(2). Suppose -19 = -4*k - 103. Let n = s - k. Is n a multiple of 10?
True
Suppose -u - 5*j = -18, -5*u + 2*j + 4 = -5. Suppose 6 = -p + 25. Let b = p - u. Does 9 divide b?
False
Let a(u) = -u. Let x be a(2). Is 7 a factor of x + (6*6 - 0)?
False
Let n(y) = -y**2 + 7*y - 4. Let w be n(6). Suppose 3*r = w*r + 8. Does 8 divide r?
True
Suppose b - 5 = -2. Let n be (-2)/6 - 92/b. Is -1 + (-2)/(2/n) a multiple of 15?
Tru