3*b - 54, -m*u = -3*b + 41. Is b a multiple of 8?
False
Let u(i) = 11*i. Let l be u(-3). Let c = 80 - 139. Let v = l - c. Does 13 divide v?
True
Let n(x) = 109*x**3 + x**2 + x - 1. Is n(1) a multiple of 22?
True
Let l(y) = -17*y - 2. Does 8 divide l(-2)?
True
Is (-1148)/(-8) - -3 - (-4)/(-8) a multiple of 38?
False
Suppose 62 = 4*g - 5*r - 91, -115 = -3*g + 4*r. Is g + -2 - (4 - 1) a multiple of 16?
True
Let t be (-8)/36 - 38/(-9). Suppose -5*z - t*v + 4 = -12, z - 1 = -3*v. Suppose 64 = 4*o - z*d, -2*o - 2*o + d = -64. Does 14 divide o?
False
Let m = 0 + 5. Let o be -2 - (-2)/((-2)/(-17)). Suppose -3*b - 9 = 0, -m*j + 2*j - 4*b = -o. Is 5 a factor of j?
False
Suppose -2*a - 3*x = -26, -a - a = -2*x - 26. Is a a multiple of 13?
True
Suppose -h = -2*c - 74, -3*c - 298 = -4*h + 23. Does 14 divide h?
True
Let o(x) = x**2 + 2. Suppose s + 16 = 5*s. Is 9 a factor of o(s)?
True
Suppose 4*z = 5*z. Suppose 0 = 4*i + t - 0*t - 3, z = -i - 4*t + 12. Suppose i*o - 2*o = -20. Does 8 divide o?
False
Let s = 957 + -630. Suppose -4*v - s = -4*r - 9*v, -269 = -3*r + v. Suppose -2*t + r = 2*t. Does 11 divide t?
True
Let t(a) = -a. Let l(c) = -6*c + 1. Let v(i) = 2*l(i) - 6*t(i). Is v(-6) a multiple of 19?
True
Let f(v) be the first derivative of v**4/4 + 2*v**3 + v**2/2 - 7*v + 1. Is 13 a factor of f(-5)?
True
Let r(a) = -7*a**2 - 7*a - 6. Let w be ((-14)/(-21))/(1/(-6)). Let q be r(w). Let j = -43 - q. Is j a multiple of 14?
False
Let w be 14/42 + 100/(-3). Let k = 24 - w. Is 12 a factor of k?
False
Let x = 28 + 24. Does 26 divide x?
True
Let m = 4 - 3. Suppose n - m - 4 = 0. Suppose d = n*d - 36. Is d a multiple of 7?
False
Let h(a) = 4*a**2 + a. Let o be h(-1). Suppose o*n = -0*n, -5*y - 20 = n. Let d = 11 - y. Does 11 divide d?
False
Suppose -27*j + 21*j + 1824 = 0. Does 19 divide j?
True
Let s = 18 - 2. Does 16 divide s?
True
Let v(r) = r**3 + 6*r**2 - 7*r - 5. Let k be v(-7). Let x(b) = b**3 + 6*b**2 + b + 4. Does 12 divide x(k)?
True
Suppose 0 = o + 11 - 37. Does 11 divide o?
False
Let x = 48 + -25. Suppose -z + 7 = -x. Is 15 a factor of z?
True
Is ((-20)/5)/4 - -73 a multiple of 18?
True
Let t(r) = r**3 - 7*r**2 + 16*r - 9. Is 24 a factor of t(6)?
False
Suppose 0 = -2*f - f + 4*g + 69, 2*f + 4*g = 26. Is 15 a factor of f?
False
Suppose -w - 4*v + 177 = 4*w, 0 = 4*w + v - 146. Is 12 a factor of w?
False
Suppose -2*j = 2*d + 4, 4*d + 2*j = -2 + 4. Let i(g) = g**3 - 3*g**2 + 2*g + 3. Let c be i(d). Let y = c + 10. Does 8 divide y?
False
Let i = -5 - -4. Is 11 a factor of 1/i - -36 - -2?
False
Let s be ((-4)/(-3))/((-20)/(-30)). Suppose -s*g + 12 = -0*g. Is 2 a factor of g?
True
Suppose -15 = -4*m + m. Let w(u) = 2*u - 6. Let b be w(m). Is 25 a factor of b/10 + (-1984)/(-40)?
True
Is 3 a factor of (-4 - -6) + 25 + 0?
True
Suppose 2*o + o - 90 = -5*t, 3*t = 2*o + 73. Is 7 a factor of t?
True
Suppose 6 = 2*p + p. Suppose p*d + 1 = 25. Is d a multiple of 12?
True
Let a = -26 - -11. Let z = -3 - a. Suppose z = -h + 2*h. Is h a multiple of 6?
True
Suppose m - 36 - 19 = 0. Suppose 3*z - 7*z + m = 5*n, -z - 2*n = -10. Is z a multiple of 20?
True
Suppose -7*y - 36 = 6. Let c(h) = -6*h**2 + 10*h - 13. Let u(v) = 5*v**2 - 9*v + 12. Let s(p) = -6*c(p) - 7*u(p). Is s(y) a multiple of 12?
True
Is (102/(-12))/((-1)/12) a multiple of 15?
False
Let a(l) = -2*l**3 + 4*l**2 + 3*l. Let g(y) = -y - 7. Let i be g(-5). Is a(i) a multiple of 12?
False
Suppose m - 7 = 5*a, -3*a - 3*m + 3 = -0. Let f(g) = -6*g**3 - 2*g**2 - 2*g - 1. Is 5 a factor of f(a)?
True
Suppose 2*k - k - 34 = 0. Let z = k + -21. Is z a multiple of 12?
False
Suppose 875 = -5*y - 5*a, -166 - 7 = y + 3*a. Let j = y + 71. Does 13 divide j/(-4) + (-7)/28?
True
Let a(b) = b + 19. Let q be a(-15). Let w be (1/2)/(3/6). Let x = q - w. Is x even?
False
Suppose -3*x + 6 = -0. Suppose 7*f - 10 = x*f. Does 13 divide (f/5)/((-2)/(-170))?
False
Let l(g) = -2*g**2 - 1. Let j be l(-1). Let c be j*((-10)/2 + -2). Let k = -11 + c. Is k a multiple of 7?
False
Let x = 0 - -3. Suppose -5*c + 55 - 10 = 0. Suppose y + x = c. Is y a multiple of 3?
True
Suppose -2*g + 21 + 375 = 0. Is 11 a factor of g?
True
Suppose -3*q = -q - 16. Suppose 3*r - 8 = 4. Let y = q + r. Does 8 divide y?
False
Let h(j) = 4*j + 2. Does 14 divide h(8)?
False
Let m(g) = 2*g - 12. Does 3 divide m(11)?
False
Let t(j) = 4*j**2 + 10*j + 11. Does 7 divide t(-4)?
True
Let t = 120 - 15. Suppose -t = -4*w + 23. Is 13 a factor of w?
False
Let t = 491 - 193. Is t a multiple of 11?
False
Let o(k) = -k**2 - 18*k - 1. Let w be o(-8). Suppose -w = 2*j - 5*j - 2*y, j = 4*y + 31. Is 9 a factor of j?
True
Suppose -2*n + 4*n = 6. Suppose 3*d + 6 = 2*q, -q + 3 + 3 = -n*d. Is (-1 - -2) + (6 - q) a multiple of 3?
False
Suppose r + 258 = 4*k, 0*k + 4*r + 200 = 3*k. Does 16 divide k?
True
Let a = -5 - -7. Suppose g - 2 = 10. Suppose f + g = a*f. Does 6 divide f?
True
Is (3 - -26) + -2 + 2 a multiple of 9?
False
Let o = -10 - -12. Suppose -7*k + 25 = -o*k. Does 5 divide k?
True
Let p(o) = -15*o**2 + o + 1. Let g be p(-1). Let z = g - -22. Let s = z + 8. Does 15 divide s?
True
Let p = 4 - 1. Suppose -8 = -p*f + f. Does 10 divide (-115)/(-10) + (-6)/f?
True
Suppose 0 = 5*g - 0*g - 60. Let q = 36 - g. Does 18 divide q?
False
Let u = -18 + 58. Is u a multiple of 10?
True
Let p = 39 + -20. Let u = p - 5. Does 9 divide u?
False
Suppose 3*z = 4*d + 2, -4*z + 6*d - 3*d = -5. Suppose z*f + 73 = f. Let q = f + 143. Is q a multiple of 18?
False
Let f(l) = l**2 + 10*l + 30. Is f(-9) a multiple of 7?
True
Let q(o) = o**3 + 7*o**2 + 6*o + 2. Let m be q(-6). Suppose -3*w + 9 = -18. Is m/(-6) - (-129)/w a multiple of 14?
True
Let n = 113 - 205. Let l = n + 138. Is l a multiple of 19?
False
Let q(z) = -z**3 - 5*z**2 - 6*z + 6. Is q(-5) a multiple of 18?
True
Let h = -68 + 104. Is h a multiple of 18?
True
Suppose 2*c - 5*q = -97 - 90, 329 = -4*c - 5*q. Let s = c - -130. Is 11 a factor of s?
True
Suppose -3*u - 19 = -5*i - 180, -5*i = -10. Is u a multiple of 19?
True
Suppose 2*n + 3 = -1. Let j = -25 + 36. Does 11 divide j/n*(-4 - 2)?
True
Suppose 5 = r - 1. Suppose r*y - 3*y = 324. Suppose 0*u - 3*u + y = 0. Is 16 a factor of u?
False
Suppose 0 = -2*l - 4*b + 324, l - 3*b = -7 + 184. Suppose -5*f = -l - 42. Does 16 divide f?
False
Let o = -6 + 4. Let d = o - -16. Does 7 divide d?
True
Let w(y) be the third derivative of y**5/60 - 3*y**4/8 + 3*y**2. Let p be w(9). Suppose p*c + 5*c = 210. Does 21 divide c?
True
Let y = 16 - 22. Let f(g) = -g**3 - 5*g**2 + 4*g - 7. Let z be f(y). Suppose z*k - 117 = 2*k. Is 14 a factor of k?
False
Suppose 9*x - 360 = 4*x. Is x a multiple of 18?
True
Let q = 35 - 51. Is -4*3/6*q a multiple of 22?
False
Let c(h) = -h**2 + 2*h - 1. Let s be c(1). Let z = s - -3. Suppose 4*y - 48 = -2*a, z*y - 10 - 25 = -2*a. Is 9 a factor of y?
False
Let s(z) be the first derivative of -z**4/4 - z**3/3 - z**2/2 + 27*z - 3. Is 9 a factor of s(0)?
True
Let n = 2 - -1. Suppose -n*c - 11 = -4*c. Is 11 a factor of c?
True
Suppose -8 = 3*q + 37. Let o be -2*(-2)/10*q. Does 16 divide 48/2*o/(-9)?
True
Suppose -4*v = -b + 156, 3*b - 4*v + 93 = 577. Is b a multiple of 21?
False
Suppose 0 = 4*o - 405 - 891. Is 55 a factor of o?
False
Suppose -y = -5*y + 5*j + 523, y + j = 124. Is y a multiple of 20?
False
Let z(l) = -l**3 + 5*l**2 + 178. Is 20 a factor of z(0)?
False
Let a(o) = -o**3 - 8*o**2 - 8*o - 1. Let q be a(-7). Let z be 27/q + 1/2. Suppose -4*t = -z*t + 40. Is 20 a factor of t?
True
Does 12 divide 12/8*(42 - -4)?
False
Suppose 0 = -2*g + 3*v + v + 68, 5*g + 4*v - 240 = 0. Is 16 a factor of g?
False
Is 17 a factor of (-2092)/(-60) - 6/(-45)?
False
Let j(a) = 97*a**2 - 1. Suppose 0 = 3*q - 0 + 3. Let z be j(q). Suppose 5*w - z = -2*c, -5*c + 6*c - 18 = -w. Is w a multiple of 13?
False
Let b(d) = d + 2. Let a(q) = 3*q**2 + 3*q. Let c be a(-2). Let s be b(c). Suppose -s = g - 2*g. Does 5 divide g?
False
Let p = 13 + 0. Is 3 a factor of p?
False
Let r(j) be the first derivative of -7*j**2/2 - 9*j + 4. Let v be r(-9). Suppose -n + 4*n = v. Is n a multiple of 18?
True
Let s be 1/2*0 + 16. Let d = s - -16. Does 16 divide d?
True
Is -3 + 262 + 2 + 0 a multiple of 29?
True
Let d(u) = -u**2 - 6*u - 5. Suppose -18 = 2*w - 5*s, -6*w + w - 3*s = 14. Let r be d(w). Suppose r*h + 0*h = 9. Does 3 di