 1 + v. Does 20 divide h?
True
Let u be 39/6*(-12)/(-3). Let a = u - 6. Is 5 a factor of a?
True
Let c = -128 + 158. Does 7 divide c?
False
Let x be (-1)/((-1)/(-21)*-1). Let k(d) = d**3 - 6*d**2 - 8*d + 7. Let p be k(7). Suppose p*h + 3*h = x. Does 6 divide h?
False
Let d = 3 - 2. Let z be 16/4 - d/1. Suppose z*g - 51 = -3*b, g + 4*g + 2*b = 79. Is g a multiple of 15?
True
Let c(b) = -b**2 + 6*b + 4. Let z be c(3). Let r = z - 10. Does 3 divide r?
True
Suppose 11 - 151 = 5*q. Let j = q + 117. Does 22 divide j?
False
Suppose -4*x + 7*x - 45 = 0. Let k = x - -7. Does 6 divide k?
False
Suppose 2*v + 6 = 0, -3 = -5*t - 5*v + 2. Suppose -t*k - 48 = 4*f - 5*f, -3*f - 4*k = -80. Is 16 a factor of f?
True
Let h(y) = y**3 + 11*y**2 + 6*y + 1. Let n be h(-9). Suppose 5*l - n = 2*a - 6*a, -5*a - 4*l = -143. Suppose 4*x = 17 + a. Does 5 divide x?
False
Let x be (-48)/(-9) - (-2)/3. Suppose -12 = -x*l + 3*l. Suppose 2*a + 51 = -4*m + 5*m, 2*m - 78 = -l*a. Does 14 divide m?
False
Let v = 97 - 25. Does 18 divide v?
True
Let c(d) = 17*d**2 - 7*d - 5. Let y be c(-4). Suppose 2*x + y = 3*x. Suppose i - 6*i + x = 0. Is i a multiple of 23?
False
Suppose 0 = 6*g - 31 - 17. Is 11 a factor of 96/g - (1 - 0)?
True
Let g = -12 - -13. Is 12 a factor of 23 - (g - (1 + 4))?
False
Suppose s = 5*s - 16. Let w be -1*(s/2 + -2). Suppose 0 = -w*d + 2*d - 24. Is d a multiple of 8?
False
Suppose 6*s - 6 = 3*s. Suppose -3*v - w = -123, -4*v + 183 = -s*w - 3*w. Does 16 divide v?
False
Let y be (-1)/((-3)/6)*1. Suppose 0 = 2*c, -c - 17 = -i + y*i. Let v = -10 - i. Is v a multiple of 7?
True
Does 16 divide ((-2)/3)/(2 + (-145)/72)?
True
Suppose a - 2*a = 0. Suppose -5*n + 2*n - 96 = a. Let o = -21 - n. Does 6 divide o?
False
Suppose 228 = 4*j - 612. Suppose -7*y + 2*y = -j. Does 14 divide y?
True
Suppose -b = 2*g - 5*b + 66, 66 = -2*g + 5*b. Suppose 832 + 540 = -z. Does 10 divide z/(-44) + 6/g?
False
Let f be (-2)/7 - 44/(-7). Suppose -216 = -f*c + 2*c. Suppose -d - 3 = -c. Does 17 divide d?
True
Let m(g) = 149*g - 3. Let h be m(2). Let u be h - (0 - (2 + -1)). Suppose -3*j - 116 = -u. Does 21 divide j?
False
Let b = -14 + 19. Suppose -3*y = -t - 10, 35 = b*t + y + y. Is 5 a factor of t?
True
Suppose -5*d - m + 6*m + 370 = 0, 5*d + 3*m = 338. Is d a multiple of 23?
False
Let l be 0/(0 - (2 - 1)). Suppose 3*c + 27 = 3*k, -3*k + 5*c + 29 = -2*k. Suppose 0 = -s - 4*y - 13, k*s - 4*y - 28 = -l*y. Is s even?
False
Let z = -268 - -391. Suppose -5*f - 3 = 4*d - z, 5*f + 3*d = 115. Does 10 divide f?
True
Is 9 - (3 + 3 + -3) a multiple of 3?
True
Let t = 14 + -10. Suppose 3*u + 6 = -o + 2*o, -2*o + t*u = -14. Is o a multiple of 9?
True
Let i = -8 - -11. Suppose -i*p = 2*p - 60. Is p a multiple of 6?
True
Let m(y) = y**3 - 3*y**2 - 4*y + 3. Let n(u) = u**3 - u**2. Let v be n(1). Let k(r) = r + 4. Let t be k(v). Does 3 divide m(t)?
True
Does 9 divide 0 + 31 + (2 - 6)?
True
Suppose -10 = 5*g - 0*g. Let z be ((-3)/(-6))/(g/(-4)). Does 8 divide (3 + -2)/(z/23)?
False
Let l(o) = o**3 + 11*o**2 + 3*o - 2. Let t(h) = 4*h**3 + 45*h**2 + 13*h - 7. Let s(w) = 9*l(w) - 2*t(w). Is 21 a factor of s(-8)?
False
Suppose -x - 2*x + 657 = 5*b, -438 = -2*x + b. Is x a multiple of 11?
False
Let o(f) = -f**3 + 14*f**2 - 7*f + 6. Is o(13) a multiple of 12?
True
Is 98/14 + 1*2 a multiple of 4?
False
Let k = 7 + -6. Let r be (0*(-1)/2)/(-2). Suppose r = 5*y + k - 106. Is 16 a factor of y?
False
Suppose 0*q = -q + 3, -q = 3*j + 51. Let r(h) = h**3 - 5*h**2 - h - 4. Let v be r(5). Let n = v - j. Does 5 divide n?
False
Let i = -132 - -222. Let a = -1 + 6. Suppose z = a*k - i, -8*z + 3*z = 0. Is 9 a factor of k?
True
Suppose 7*o = 9*o - 92. Is o a multiple of 23?
True
Let b(c) = -c**2 + 8*c + 14. Is b(7) a multiple of 21?
True
Let o = 2 + -1. Let a(c) = 4*c + 1. Let y be a(o). Suppose -i - 3*d = -y*i + 79, 0 = 5*i + 3*d - 65. Is i a multiple of 5?
False
Suppose -3*v = 3*k + 3, -v = -k - 0*k + 9. Let m(z) = z**2 + 4*z - 2. Let u be m(v). Suppose -r - 2*l = 2*l - 47, u*l - 214 = -4*r. Is 21 a factor of r?
False
Let q(j) = -4*j - 40. Is 24 a factor of q(-16)?
True
Suppose 4*a - 1 - 19 = 0. Suppose -a*q - 3 = -18. Suppose 5*t - t = o + 56, -q*t + 42 = -2*o. Does 7 divide t?
True
Let n(k) = -6*k + 6. Let q be n(5). Let i = -4 - q. Is 11 a factor of i - (-4 - (-2 + 0))?
True
Suppose -7*q + 745 + 11 = 0. Is 12 a factor of q?
True
Suppose -4*v + 14 = k, -v - k = -0 - 5. Suppose 0 = -v*c - 0*c + 63. Is 20 a factor of c?
False
Suppose -b - 741 = -4*a, 388 = 2*a - 4*b - 0*b. Is 23 a factor of a?
True
Let t(j) = j**3 - 10*j**2 + 10*j + 11. Suppose 8*k - 9 = 7*k. Is t(k) a multiple of 4?
True
Suppose 0 = 2*p - w - 183, 2*w = 2*p - 75 - 107. Is p a multiple of 23?
True
Let f(l) = l**3 - 5*l**2 - l - 3. Let z be f(3). Let x = -10 + z. Let i = -6 - x. Does 14 divide i?
True
Suppose 0 = -2*k + 13*k - 3498. Is k a multiple of 24?
False
Is 2 a factor of ((-7)/21)/((-2)/12)?
True
Let o(l) = l + 6. Is 13 a factor of o(8)?
False
Is 15 a factor of (1 - 5) + 4 + 65?
False
Let y = -11 - -15. Suppose y*r - 5 - 19 = 0. Suppose -2*j = -r*j + d + 68, 2*j - 5*d - 52 = 0. Is 7 a factor of j?
False
Suppose 17*z = 23*z - 120. Does 20 divide z?
True
Let z be (-1)/(-2) + (-2)/4. Suppose z = w - 51 + 8. Does 11 divide w?
False
Let d = -6 + 4. Let z be (-1)/(d/4) + 0. Suppose -2*u - r + 71 = 0, z*u - r - 48 = 25. Does 18 divide u?
True
Let h(j) = -2*j**3 - 2*j**2 + 1. Let l be h(1). Let b = 1 - l. Suppose -27 = r - b*r. Is r a multiple of 9?
True
Suppose 0 = x + d - 4, 2*x + 3*x - 11 = 4*d. Does 14 divide 56/6*x/2?
True
Let z(l) = l**2 + 7*l + 4. Let w(x) = x**2 + 7*x + 5. Let d(j) = 6*w(j) - 5*z(j). Is 6 a factor of d(-7)?
False
Suppose -4*o - v = -6, 0 = 2*o + 2*o + 3*v - 10. Let g(w) = 52*w. Is 13 a factor of g(o)?
True
Suppose -2*h + 4*u = -u - 159, -h = -5*u - 77. Is h a multiple of 16?
False
Suppose n - 5*u = 1, 0*u + 5 = 5*n + 2*u. Let y(z) = -6 - 2*z - n + 1 + z**2. Is 18 a factor of y(6)?
True
Suppose 0 = -5*p + 225 - 895. Suppose 372 = 2*l - y, 6*y = -l + y + 197. Let m = p + l. Is m a multiple of 20?
False
Suppose 0*m = 2*h + 5*m - 157, -h = 4*m - 77. Does 16 divide h?
False
Let d be 4/6 + 39/9. Suppose 2*t - d*t + 129 = 0. Is t a multiple of 12?
False
Let x(d) = d**3 - 8*d**2 - 9*d + 4. Let s(z) = 4*z + 1. Let k be s(2). Is x(k) a multiple of 4?
True
Suppose 5*p - 488 = -178. Is 18 a factor of p?
False
Let k(r) = 2*r**2 + 10*r + 9. Is k(-6) a multiple of 9?
False
Let k be (-134)/(-6) - (-1)/(-3). Suppose -4 = -4*n - 4*l, -4*n - 4*l + 4 = n. Suppose 3*m + 2*b - 27 = 0, -m = -n*m + 5*b - k. Is m a multiple of 7?
True
Suppose 4*p + 4*b = 356, 2*p - 4*p + 171 = -5*b. Does 44 divide p?
True
Let g be 6/4*28/21. Suppose -g*n + 108 = n. Is n a multiple of 18?
True
Let d be 7*(1 + -4)/3. Let w(g) = g**3 + 7*g**2 + 3. Let s be w(d). Suppose 5*u + 0*u = 3*r - 85, s*r = -2*u + 71. Is r a multiple of 11?
False
Let h(q) = -q**3 - 2*q**2 + q + 2. Let t be h(-2). Suppose t = 3*u + 2 - 56. Is 18 a factor of u?
True
Suppose 2*f = -3*f + 2*h - 24, -4*h - 36 = 4*f. Let p(y) = -y**2 - 7*y + 1. Is 7 a factor of p(f)?
True
Let x(f) be the first derivative of f**4/4 - 4*f**3/3 + 7*f + 1. Let k be 63/13 + (-2)/(-13). Does 14 divide x(k)?
False
Let b(t) = -t + 11. Let y = -4 + 14. Let i be b(y). Does 9 divide (-19)/(-2 + i) + -1?
True
Let g(t) = -2*t**3 - 2*t**2 - 3*t - 1. Let r = 17 - 11. Suppose -2*i - r = -2. Is g(i) a multiple of 12?
False
Let f be -5 + (3/(-3) - 2). Let a be (f + 11)*2/(-3). Let d = 8 + a. Is 3 a factor of d?
True
Suppose 5*i + 5*z + 90 = 0, 2*i + i = 3*z - 54. Suppose 5*d - 287 = 5*k + 153, 93 = d - 2*k. Let y = i + d. Is y a multiple of 23?
False
Let p = -142 + 203. Is p a multiple of 13?
False
Suppose 2*y - 57 = -9. Is ((-15)/(-9))/(2/y) a multiple of 10?
True
Let t = 2 + 18. Let f = t - 10. Is 115/f - 6/4 a multiple of 5?
True
Let l be 5*((3 - 1) + -1). Suppose b - 6 - 9 = 4*g, -15 = 5*g - l*b. Is (162/(-12))/(3/g) a multiple of 17?
False
Suppose g + 1 - 3 = 0, -l = -g - 14. Is 7 a factor of -2 + l/(-1 - -2)?
True
Let b(c) = 5*c - 12. Let p be 3/(3*1/8). Does 14 divide b(p)?
True
Suppose -20 = -3*m - 2*m. Suppose a = -w - m*w + 20, -2*a = -4*w + 30. Is 3 a factor of w?
False
Let b(i) = -2*i - 5. Let m be b(-4). Suppose 8*p - d = m*p - 64