uppose -2*l - 4*x + 146 = 0, -i*x + 282 = l + 3*l. Does 21 divide (-12)/(3 + l/(-21))?
True
Let c(o) = -o**3 - o**2 - o + 1. Let u be c(-2). Suppose -4*g + 69 = -u. Does 19 divide g?
True
Let f(j) = j. Let h(u) = 24*u + 1. Let b(s) = -f(s) - h(s). Let c(v) = 2*v + 1. Let l be c(-1). Does 18 divide b(l)?
False
Let q(m) = -5*m - 2. Let n be q(-5). Let t = n + -9. Does 9 divide t?
False
Let p be (-1 + 0 + 1)*1. Suppose 2*b + 4*i - 7 = 3*b, p = -4*b - 2*i + 44. Is 30/b*(-6)/(-4) a multiple of 5?
True
Let k(b) = 3*b**2 - 1. Let s be k(1). Let i(a) = -a**3 + 2*a**2 + 1. Let x be i(s). Let h(p) = 3*p + 1. Is 2 a factor of h(x)?
True
Let b(r) = -r**2 - 7*r + 9. Suppose 0 = -k - 4*k - a - 20, 5*a = 0. Is 21 a factor of b(k)?
True
Let v be 35/(-10) - 1/2. Let o be (-38)/(-4)*v/(-1). Suppose 2*g - 6 - o = 0. Is g a multiple of 16?
False
Suppose -2*y + 50 = -5*z, 0 = 4*z - 3*y + 2*y + 43. Let f = -6 - z. Suppose 20 + f = 2*s. Does 13 divide s?
True
Let z = 9 - 6. Let i = z - -7. Is i a multiple of 3?
False
Let u = 12 + -10. Let q(o) = -o**2 + 3*o**3 - 3 + 12 - u*o**3 - o. Is q(0) a multiple of 5?
False
Suppose -4*d = -2*d - 12. Is d a multiple of 3?
True
Suppose -4*j + 7 = -b - 0*b, -5*b = -25. Is j even?
False
Let z(j) = j**3 - j**2 - j + 1. Let t(k) = -3*k**3 - 9*k**2 - 11*k - 4. Let x(d) = t(d) + 2*z(d). Is 14 a factor of x(-10)?
True
Let i(x) = 26*x**3 - x**2 + 6*x + 1. Let s(r) = -53*r**3 + 2*r**2 - 11*r - 2. Let h(f) = 11*i(f) + 6*s(f). Let q(g) = g - 8. Let t be q(7). Does 13 divide h(t)?
False
Let o(w) be the first derivative of 3*w**3 - 3*w**2/2 - 3. Does 12 divide o(2)?
False
Let p(g) = g**2 + 17*g - 30. Is p(-21) a multiple of 6?
True
Let g = 79 + -68. Does 7 divide g?
False
Suppose 0 = 2*q + 4*g + 4 - 0, 3*q - 3*g = 12. Does 11 divide (-2)/(-3)*(59 - q)?
False
Let m be (-16)/(-12)*3/(-2). Let c(u) = 3*u**2 + 2. Let d be c(m). Does 19 divide (-2 + d/5)*55?
False
Suppose 9 = v - g, 4*v + 5*g - 45 = -0*g. Is 3 a factor of v?
False
Let t = -44 - -191. Is 49 a factor of t?
True
Let d = -11 - -16. Let k = d + -4. Is 9 a factor of k/(-4) + 146/8?
True
Suppose 0 = -2*v - 3*u + 93, 3*v - 103 = v - u. Is v a multiple of 18?
True
Let c = 628 - 308. Suppose 4*l + 0*l + c = 0. Let z = -36 - l. Is z a multiple of 22?
True
Suppose 6*i - 184 = 158. Is i a multiple of 15?
False
Let q = 97 + -164. Let a = -18 - q. Is 26 a factor of a?
False
Suppose -2*m + 3*m = 14. Let j = m + -3. Is 10 a factor of (j/(-2))/(3/(-6))?
False
Let p(h) = h**3 + 9*h**2 + 7*h - 9. Suppose 8*a = 12*a + 28. Is p(a) a multiple of 10?
True
Suppose 0*s - 448 = -s. Suppose -2*k + s = 2*k. Suppose -o = -4*b + 94, -3*b = -8*b + 4*o + k. Is 12 a factor of b?
True
Suppose 80 = 5*a - 560. Is a a multiple of 40?
False
Suppose z + 4*b = 38, 2*b + 124 = 7*z - 2*z. Is 26 a factor of z?
True
Suppose -48 = u - 128. Suppose 3*b - b = u. Does 20 divide b?
True
Suppose g + 7 - 42 = 0. Let v = g - 17. Does 18 divide v?
True
Let l = -16 + 46. Suppose -4*c + l = -22. Does 13 divide c?
True
Let q = 240 + -148. Is q a multiple of 18?
False
Suppose -4*z - 2*d - 21 - 11 = 0, 4*z = 3*d - 32. Let l be 62/z + (-1)/4. Is 11 a factor of (-6)/l + (-123)/(-12)?
True
Let l = 14 - 0. Let x = 47 - l. Does 11 divide x?
True
Let i = -10 + 15. Let a = -3 + i. Suppose 0 = a*o + 2*o - 52. Is 13 a factor of o?
True
Let y = 289 - -101. Is y a multiple of 37?
False
Let d(l) = 2*l**3 - l**2 + 2*l + 2. Does 5 divide d(2)?
False
Let s(l) = -l - 4. Let r be s(-3). Let b be (r/1)/((-3)/(-30)). Let z = b - -18. Does 4 divide z?
True
Suppose 8*k - 5*k = 33. Does 9 divide k?
False
Let g(m) = -26*m**3 - 2*m**2 - m. Let u be 2/7 - 18/14. Let p be g(u). Suppose p = a + 10. Is 8 a factor of a?
False
Let z = 6 + -5. Suppose s = 2*k + 17, -34 = -2*s - k - 4*k. Let f = s - z. Is f a multiple of 8?
True
Let d(x) = 6*x**2 + 5*x**2 - x**2. Let t = -19 + 18. Is 5 a factor of d(t)?
True
Let f = 18 + 4. Is f a multiple of 15?
False
Does 20 divide (-30)/6 + (2 - -255)?
False
Let g be 1 - -1 - (-5 + 2). Suppose -c - f + 1 = -2*c, c + 25 = -g*f. Is 6 a factor of ((-12)/c)/(8/40)?
True
Let i be ((-5)/2)/(2/(-4)). Suppose 0 = -4*v - 5*n + 116, -4*n = i*v - 5*n - 116. Does 7 divide v?
False
Let y(f) = 2*f**2 - 26*f - 1. Let u be y(13). Let i(c) = 8*c**2 - 6*c**2 + 9*c**2. Is i(u) a multiple of 8?
False
Suppose 7 = 5*p - 113. Suppose -2*w + p = -28. Suppose 0 = 2*y - 92 + w. Is 11 a factor of y?
True
Let d = 4 + 6. Suppose 4*t + t = d. Suppose -t*l + 4*l - 10 = 0. Does 5 divide l?
True
Let n(x) = 21*x - 2. Let r be n(-2). Let b = -17 - r. Is 27 a factor of b?
True
Let i = -10 + 16. Suppose -2*r + i*r - 224 = 0. Suppose 2*m = -0*m + r. Does 14 divide m?
True
Let i(d) = d**3 - 2*d**2 - 2. Let u be i(-3). Let k = -19 - u. Is k a multiple of 19?
False
Let g(w) = -42*w. Let m be g(-5). Let x = m + -110. Is x a multiple of 27?
False
Is (-24)/(-132) + 1052/22 a multiple of 16?
True
Let u be 2/(-2) + 5 + 1. Suppose k - s + 5 = -0*s, -k + u*s = 17. Does 15 divide k/1*(-30)/4?
True
Let p = 22 - 12. Let f(d) = 0 + 0 + p*d. Does 15 divide f(3)?
True
Suppose 116 = 2*o + 2*o. Let r = o - 17. Does 3 divide r?
True
Let s(x) = x + 5. Let c be s(6). Does 13 divide (11/c)/(1/25)?
False
Let g be (15/5)/((-6)/(-4)). Suppose 0*v + 34 = g*v. Let x = v - -10. Does 13 divide x?
False
Let q(x) = -78*x. Is q(-1) a multiple of 13?
True
Suppose 0 = -2*l + 2*y - 4, -4*l - 4 + 10 = 3*y. Suppose l = -k - b - 3*b + 2, 4*b + 48 = 4*k. Is k a multiple of 4?
False
Let k be (8/(-4) - 1) + -16. Does 10 divide (k - -11)*15/(-2)?
True
Let c(r) = -r**2 - 5*r - 3. Suppose -q = -3*s - 2*q - 6, -6 = 3*s + 3*q. Let k be c(s). Suppose -p = 2*f - 19, -k*p - 3*f + 49 = -f. Is 15 a factor of p?
True
Let l be (1 - (-3)/(-3))/2. Suppose -s = -l*s - 12. Is s a multiple of 4?
True
Suppose 0 = -4*k - 3*z + 522, -5*z + 27 + 499 = 4*k. Is 43 a factor of k?
True
Let o(a) = a**3 + 8*a**2 + 8*a - 5. Let d be o(-6). Suppose 7*y - 3*y - 52 = 0. Let h = d - y. Is h a multiple of 6?
True
Let v(r) = -r**3 - 10*r**2 - 8*r + 9. Let f be v(-9). Let u be (f*3/(-9))/(-3). Suppose -14 = -u*m - 2*m. Does 7 divide m?
True
Let k be (-4)/(-5)*(-10)/(-4). Suppose 0*v - v = -k. Suppose 0*z = -v*z - 4*x + 22, -x = -5*z + 66. Is z a multiple of 10?
False
Let z(d) be the first derivative of d**3/3 + 11*d - 2. Is 8 a factor of z(0)?
False
Let x be (3/(-3) - -2) + 37. Suppose 0 = 5*i - 4*i - 3*t - 21, 2*t + x = 2*i. Is 6 a factor of i?
True
Let i(b) = -11*b - 13. Let t be i(-7). Suppose 4*f - t = 2*j, -f - 5*j + 38 = -0*j. Does 6 divide f?
True
Let d be -1*(2 - 0) + 7. Suppose 4*h = -4, b - d*h = 6 + 51. Suppose -3*i + 93 = 5*p, -3*p + 4*i = 2*i - b. Is 18 a factor of p?
True
Let p(g) = -g**3 + 4*g**2 - 3*g - 2. Let y be p(3). Let b(q) = -8*q**3 - 3*q**2 + q + 2. Does 26 divide b(y)?
True
Let q(o) = 2*o**2 + 7*o + 1. Is 4 a factor of q(-5)?
True
Suppose -3*x + x + 5*n - 4 = 0, 3*n = 2*x. Suppose x*p - 170 = -2*p. Does 21 divide p?
False
Suppose 4*m = -6 + 14. Let k(l) = 3*l + 1. Let j be k(m). Suppose 2*x + w = 3*x - j, 3*x - 36 = -2*w. Is 10 a factor of x?
True
Let b = 5 + 4. Suppose 2*y = 13 + b. Is y a multiple of 10?
False
Let z(u) = -u**3 + u**2 + 1. Let v be z(0). Let d be 4 + (2 - v) + -2. Suppose 0 = -d*c + 2*h + 39, -3*c - 2*h + 49 = 2*c. Is c a multiple of 11?
True
Let p(x) = -56*x - 4. Let b be p(-3). Let c = b - 76. Is c a multiple of 22?
True
Let m = 45 - 39. Is m a multiple of 3?
True
Let t(k) = -1. Let b(g) = -g + 3. Let p(i) = -b(i) - 4*t(i). Let o be p(-1). Suppose -2 = -y - y, o = -4*a - 2*y + 34. Is a a multiple of 8?
True
Let v be ((-90)/12)/(1/(-2)). Suppose 4*b + 3 = v. Is b a multiple of 2?
False
Let u(k) = -9*k + 1. Let d be u(-3). Suppose 3*a = -a + d. Is 7 a factor of a?
True
Let t(d) = d - 1. Let p be t(1). Suppose p = 5*l - 87 - 68. Suppose -139 = -5*w - a, -3*w + 2*a = -l - 55. Is w a multiple of 16?
False
Suppose -5*v - k = -165, -61 - 55 = -3*v - 4*k. Does 23 divide v?
False
Let i = -3 + 6. Let d be 1 + i + 1/1. Let a = 6 + d. Is a a multiple of 4?
False
Let m(t) = -4*t + 9. Is m(-9) a multiple of 9?
True
Suppose -4*o = -6*o + 4*t - 70, -t + 33 = -o. Let l be 268/5 + 4/10. Let y = o + l. Is y a multiple of 8?
False
Suppose -2*z - 13 = -5*a, 2*z = a + 8 - 1. Let j(k) = -4*k + 7. Let q(n) = -4*n + 6. 