= 37 - 1. Does 18 divide k?
True
Suppose -39 = 4*a - 3. Let c(s) = s**2 + 7*s - 10. Is c(a) a multiple of 4?
True
Suppose g + 60 = 2*g. Suppose 0 = -3*r - 0*r + g. Does 9 divide r?
False
Let x = -25 + 40. Let t be 42/6*(-9)/(-21). Let s = x + t. Is s a multiple of 12?
False
Suppose -4*s + 13 = x, -4*s = s + x - 16. Let o(i) = 5*i**3 - 7*i**2 + 4*i + 4. Let w(d) = -d**3 + d**2 - d - 1. Let z(b) = o(b) + 3*w(b). Does 11 divide z(s)?
True
Let a(x) = -7*x + 6. Does 13 divide a(-6)?
False
Let z(t) = -10*t - 6. Let q = -2 - 3. Does 15 divide z(q)?
False
Let a(k) = -k**3 - 3*k**2 + 7*k + 7. Let n be a(-4). Let f(h) = -h**3 - 3*h**2 - 3. Let q(w) = -w**2 - w + 1. Let d(r) = -f(r) - 3*q(r). Is 10 a factor of d(n)?
True
Let f(x) = x. Let t(v) = -3*v - 14. Let n(d) = -6*f(d) - t(d). Let m(g) = -7*g + 29. Let r(s) = -2*m(s) + 5*n(s). Does 5 divide r(0)?
False
Let f(j) = -j**3 - 3*j**2 + 4. Suppose 0 = -2*h + h + 5*g + 13, 4*h + 5*g - 2 = 0. Suppose h*k + 20 = 5. Does 27 divide f(k)?
True
Suppose -5*n + 5 = -15. Is 4 a factor of n?
True
Suppose 5*m + 3*l + 12 = 2*m, 47 = -3*m + 4*l. Let b = m + 14. Suppose b = f - 15. Is 10 a factor of f?
True
Let f(g) = 13*g**2 - 1. Let x be f(-1). Let c(l) = 4*l**3 + 2*l**2 - l. Let b be c(1). Suppose x = 2*a - 0*a - z, z + 27 = b*a. Is 5 a factor of a?
True
Let x(w) = w**3 + 8*w**2 - 23. Does 6 divide x(-7)?
False
Suppose -3*i + 7 = -2*i. Let q = i + 5. Does 12 divide q?
True
Does 11 divide -77*(30/21)/(-5)?
True
Suppose -2*r + 126 = -r. Does 14 divide r?
True
Let f(p) = p - 1. Let i(s) = 7*s**2 + 4*s - 4. Let n(r) = -4*f(r) + i(r). Is 7 a factor of n(-1)?
True
Suppose o + 2*o = 4*t - 5, 0 = 4*t - 2*o - 6. Let x = 7 - t. Suppose -28 + x = -p. Is p a multiple of 9?
False
Let h = 15 + 45. Is 9 a factor of h?
False
Let u = 5 + 0. Let r(y) = -y**2 + 5*y - 4. Let f be r(4). Suppose -u*a + 2*a + 42 = f. Is a a multiple of 14?
True
Suppose -132 = -d + 3*h, 7*d + 4*h - 528 = 3*d. Does 11 divide d?
True
Let t = -1 - 13. Let n be (4/10)/((-18)/(-1800)). Let o = t + n. Is o a multiple of 10?
False
Let i(d) = d**2 - 8*d + 3. Suppose 5*c = 25, 3*z - 60 = c - 8. Suppose 4*k = z + 13. Is i(k) a multiple of 3?
True
Suppose 4*t + 4*s - 16 = -1036, -1044 = 4*t - 4*s. Is (t/24)/(2/(-8)) a multiple of 9?
False
Suppose -5 - 7 = -3*b. Let u = 3 - b. Is 0 + (16*-2)/u a multiple of 16?
True
Let p(r) = -r - 14. Let s be p(-15). Let o(w) = -26*w**2 - 2*w - 4. Let i(l) = l**2 + 1. Let q(f) = -5*i(f) - o(f). Is 11 a factor of q(s)?
True
Suppose -3*z = 2*z. Suppose 3*j + q - 44 = z, -2 = -j + 3*q - 4. Does 12 divide j?
False
Let x(i) = 2*i**2 - i - 3. Let y be x(3). Let c = 17 + y. Is 17 a factor of c?
False
Let a be (-2)/8 + 653/4. Suppose -188 = -4*i - 4*q, -56 = -5*i - q + a. Is 19 a factor of i?
False
Suppose -4*s = d - 59, -4*d = s - 4*s + 49. Is s a multiple of 15?
True
Suppose k - 9 = 4*k, -2*i + 4*k = -18. Suppose -4*q - i = -11. Suppose -87 = -5*t - q*g - 2, -g + 17 = t. Is t a multiple of 17?
True
Is 36 a factor of (2 - (7 - 1)) + 1*76?
True
Suppose w - 3*w + 114 = 0. Is w a multiple of 12?
False
Let a be 1 + 0 + 130 + 3. Is 12 a factor of a*-3*2/(-12)?
False
Suppose -2564 = 11*r - 6128. Is 47 a factor of r?
False
Let y(p) = -15*p - 49. Is 29 a factor of y(-13)?
False
Suppose -4*l + 39 + 61 = 0. Suppose 4*c = -l + 165. Is c a multiple of 8?
False
Let g = 231 + -140. Is g a multiple of 13?
True
Let f(w) = w**3 - 3*w**2 - w + 3. Let z be f(3). Is 17 + 2/(2 + z) a multiple of 11?
False
Suppose -2*a + 18 = a. Is a even?
True
Suppose -5*v = 4*d - 9 - 1, 0 = 3*v + 5*d - 6. Suppose 0 = -v*u - 3*i + 23, 0*u + 5*i = -u + 22. Does 6 divide u?
False
Suppose 3*o = 6 + 6. Let i(p) be the first derivative of -p**4/4 + 5*p**3/3 + 3*p - 2. Is i(o) a multiple of 8?
False
Suppose -f - 2*z + 137 = 0, 2*z = -2*f + 166 + 116. Does 5 divide f?
True
Suppose -u = -6*u - q + 206, 5*u - 190 = -5*q. Does 21 divide u?
True
Suppose -3*j = -2*j + 4. Let x be (8/(-3))/(j/6). Suppose -3*w + i + 39 = 0, -2*i - 48 = -x*w + 2. Is w a multiple of 14?
True
Let q(w) = -2*w + 12. Is 8 a factor of q(-6)?
True
Is 22 a factor of 550/12 + 9/54?
False
Suppose -7*w + 680 = -2*w. Does 17 divide w?
True
Suppose 101 + 304 = 5*o. Is o a multiple of 27?
True
Let h(c) = 4*c**3 - 3*c**3 + 5 + 5*c**2 - 13*c**2 + 8*c. Does 6 divide h(7)?
True
Suppose 150*d - 147*d - 180 = 0. Is d a multiple of 19?
False
Let r = 16 + -13. Let o(s) = -s**2 + 12*s - 2. Let x be o(5). Suppose 0 = 5*q - 3*q - r*f - x, -q + f = -17. Is 14 a factor of q?
False
Let y = -4 - -28. Is y a multiple of 24?
True
Let h(j) = -j**2 + j + 14. Suppose 2*t - 49 = 6*t + 5*c, -c = -4*t - 19. Let r(g) = -g**2 + 2*g + 13. Let u(d) = t*r(d) + 5*h(d). Is u(9) a multiple of 10?
True
Suppose -3*j + l + 3 = 1, 3*j + 14 = 5*l. Is 484/33 - j/3 a multiple of 9?
False
Let l(y) = 25*y - 13. Is l(5) a multiple of 14?
True
Let o(k) = k**3 + 5*k**2 - 5*k + 5. Let q be o(-6). Does 19 divide (-4)/(-8)*(q + 77)?
True
Let l be 6*(-3)/(-12)*2. Suppose -l*j - 47 = -2*o, j - 35 - 38 = -4*o. Is o a multiple of 19?
True
Suppose -2*f - 3*f + 30 = -5*i, 4*f + 12 = -5*i. Is f even?
True
Suppose 0 = q - 3*n + 8, 0 = -6*q + q - 5*n + 20. Let i be ((-3)/(-3))/(q/9). Let o = 30 - i. Does 9 divide o?
False
Suppose 2*p + 5 = -5*x, 5*p + 2 + 1 = -3*x. Suppose 4*v + p - 132 = 0. Is v a multiple of 11?
True
Let c be (-14)/(-49) + 80/14. Suppose -c*r + r = -90. Is 14 a factor of r?
False
Suppose 5*l - 5*d + 38 - 163 = 0, 4*d = 8. Let y = 45 - l. Is y a multiple of 18?
True
Suppose 5*k - 282 - 198 = 0. Does 16 divide k?
True
Suppose 4*z - 45 = -0*g - g, -g + 3*z + 10 = 0. Suppose w - g = -0*w - l, -w = -4*l - 20. Suppose -v - 3*v = -w. Is v a multiple of 3?
True
Suppose 0*o = 4*o - 264. Is o a multiple of 11?
True
Suppose 5*x - 18 = -5*t + 12, t = 4*x + 26. Is 5 a factor of t?
True
Let s(b) = -b**3 + 8*b**2 + 3*b. Let c be 2/10 + (-156)/(-20). Is 8 a factor of s(c)?
True
Let d = -2 + 4. Let z(n) = n - d*n + 6 - 2*n. Is z(-8) a multiple of 15?
True
Let s(h) = 5*h**2 - 8*h + 7. Is s(-4) a multiple of 37?
False
Let c = -13 + 1. Let y(k) = k**2 + k + 1. Let d be y(4). Let f = c + d. Is f a multiple of 5?
False
Let p be 31/7 + 3/(-7). Suppose p*d = -d + 65. Is 13 a factor of d?
True
Let u = -73 - -159. Is u a multiple of 25?
False
Suppose 0 = w + 3*m + 7, -2*m + 6 = -3*w + w. Let b be w*15/12*-7. Is 10 a factor of b/2*(-16)/(-10)?
False
Let p be -1 + -2*(3 + -2). Is p/5 + (-153)/(-5) a multiple of 11?
False
Is 20 a factor of ((-2)/(12/502))/((-11)/33)?
False
Suppose -z + d = 2*d + 7, -16 = 3*z + 2*d. Is 2 a factor of ((-4)/(-6))/(z/(-18))?
True
Let i(u) = u + 1. Let m be i(-4). Let v be m/6 + (-69)/(-6). Suppose 4*o + 12 = p - v, 0 = -5*p + 4*o + 35. Is p a multiple of 3?
True
Suppose l - 315 = -5*g - 2*l, -127 = -2*g - l. Does 10 divide g?
False
Let n = 16 - 11. Suppose n*t = -0*t + 360. Suppose -2*i - i + t = 0. Is 12 a factor of i?
True
Is 0 - (-9 - 6/2) a multiple of 5?
False
Let t(l) = -l**3 - 4*l**2 - l + 2. Is t(-4) a multiple of 4?
False
Suppose y = -4*y + 310. Suppose -3*j + 3*h - 5*h = -y, 0 = j - 2*h - 18. Is 20 a factor of j?
True
Suppose 0 = -2*a + 3*i + 119, -3*i = -16 + 1. Is 2 a factor of a?
False
Suppose -5*u = 3*z - 15, -4*z - 15 = -5*u - 0*u. Suppose -u*j + 39 + 156 = 0. Does 30 divide j?
False
Suppose -2*w - 2 = 0, b + 0*w + 2*w + 26 = 0. Let x = 1 + 2. Does 12 divide x - (2 + 1) - b?
True
Let i(t) = 9*t + 9. Is i(3) a multiple of 12?
True
Suppose 10*z = 15*z - 470. Is z a multiple of 25?
False
Suppose 32 = -4*x + 8. Let r(q) = q**3 + 8*q**2 + 4*q - 5. Is r(x) a multiple of 14?
False
Is 3 a factor of 9/(-6) + 138/4?
True
Let z(f) = -15*f + 32. Is 15 a factor of z(-16)?
False
Suppose 9*x + 560 = 16*x. Is 16 a factor of x?
True
Let j = 251 - 51. Is j a multiple of 25?
True
Let i be (-8)/(-5) + 4/10. Let p(a) = -a**2 + 7*a + 6. Let s be p(8). Does 6 divide s/i*66/(-6)?
False
Let s(h) = -18*h**3 + h**2 - 1. Let o be s(1). Let m be (-2)/(-3)*o/(-3). Suppose k - m = 16. Is k a multiple of 17?
False
Let l = -1 + 5. Suppose 0 = -0*m + 2*m - l. Suppose m*w = 4*w - 6. Is w a multiple of 3?
True
Let g(v) = -15*v - 35. Is 20 a factor of g(-13)?
True
Let n(w) be the first derivative of -13*w**2 + 4. Let i be n(-1). Suppose 0 = -2*p - 0*p + i. Is 7 a factor of 