 = 59 + v. Is 8 a factor of j?
False
Let i = -4667 + 8097. Is i a multiple of 70?
True
Let a(t) = -2*t - 13. Let w(l) = l - 3. Let k(c) = 6*c - 2. Let p be k(-1). Let s be w(p). Is a(s) a multiple of 9?
True
Let b be ((-8)/(-20) - 0)*10. Let a be 0 + b - (-3 - -5). Suppose -n - a*n = -288. Does 26 divide n?
False
Let r be (2 - -2) + -1 - -47. Suppose 4*a - 226 = -r. Is 3 a factor of a?
False
Suppose 4*m - 62304 = -28*m. Is 33 a factor of m?
True
Let w be ((-231)/(-84))/(1/4). Suppose w + 102 = a. Is 21 a factor of a?
False
Let t = -2734 - -5065. Is t a multiple of 21?
True
Let f(m) = m**3 - 16*m**2 - 18*m + 19. Let u be f(17). Suppose -o - 2*s = -124, 0 = s - u*s - 2. Is 8 a factor of o?
True
Let f(l) = 21*l + 6. Let b be f(-8). Let k = b + 249. Let c = k - 33. Is c a multiple of 16?
False
Let t(y) = -4*y - 1 - 3*y + 4. Let c(r) = -5*r + 104. Let p be c(22). Does 9 divide t(p)?
True
Suppose 3*y = 2*y. Let t be (-1)/((-3 - y) + 2). Is (t - -8)/3 + 20 a multiple of 23?
True
Suppose -z - 18 = -3*t, t + z - 6 = -4*z. Suppose 2*f = t*f - 132. Does 6 divide f?
False
Does 8 divide ((-320)/(-25))/(4/280)?
True
Suppose -3*c - 5*g = c - 945, 4*c - 2*g = 910. Is 23 a factor of c?
True
Let a(w) = -w**3 - 7*w**2 + w + 11. Let k be a(-7). Suppose k*y - 3*p = 77, 0*y = -y + 4*p + 3. Is y a multiple of 13?
False
Let y = 4178 - -967. Does 15 divide y?
True
Is 29 a factor of 7/28 + 25670/8?
False
Let k(b) = -b**3 + 11*b**2 - 2*b - 30. Does 23 divide k(9)?
False
Suppose 0*a = 11*a. Suppose a*c - 2*h - 48 = -3*c, -2*c + 16 = 4*h. Is c a multiple of 2?
True
Let w(m) = 25*m - 28. Is 7 a factor of w(7)?
True
Let z = 364 + -342. Let v be (1 + 1)*(-6)/(-4). Suppose -g + z = v. Does 7 divide g?
False
Suppose 493 - 48 = -5*n. Let o = -39 - n. Does 13 divide o?
False
Let b = 1484 - 701. Is 15 a factor of b?
False
Let m be (-4)/(-10) + (-3608)/(-55). Suppose -4*h + 18 = -m. Is h a multiple of 5?
False
Let l(d) = -d**3 + 15*d**2 - 19*d + 11. Let z be l(13). Let q be (-1)/(-2) + z/12. Suppose b - 1 = q. Is 10 a factor of b?
True
Let q = -11 - -13. Suppose -3*o = -4*x + 15, q*x + 4*o - 2 = -0*x. Suppose 69 = x*d - 12. Is d a multiple of 6?
False
Suppose 2*r = -2*t - r - 4, -4 = -2*t - r. Let z be t - 2 - (-1 + -2). Suppose 4*s - 1 = -5*j + 75, 0 = z*s + 3*j - 95. Is 3 a factor of s?
False
Let i = -279 + 674. Is i a multiple of 10?
False
Suppose -69*t - 2 = -70*t. Suppose 32 = 2*v + 4*j - t*j, -3*j = -2*v + 37. Is 3 a factor of v?
False
Let d(o) = 0*o**2 + o**2 - 56 + 60. Let h be d(-7). Let g = 52 + h. Does 21 divide g?
True
Suppose -3*g + 6*g - 33 = 0. Suppose -w - 2*z + 75 = g, -2*w + 116 = z. Is 12 a factor of w?
False
Let s(d) = 12*d**3 + 4*d**2 - 2*d - 1. Let a = -54 + 56. Is s(a) a multiple of 13?
False
Does 24 divide 254 - 3/2*2?
False
Let h(y) = -2*y - 21. Let f be h(-8). Is 93 + (6/f)/(10/(-25)) a multiple of 24?
True
Let u(l) be the first derivative of -l**4/4 + 2*l**3 + 2*l**2 - 6*l - 11. Is 6 a factor of u(6)?
True
Let u = 21 + -21. Suppose u = 5*o - 3*o + 8. Is 17 a factor of 3/1 + (-56)/o?
True
Let b = 60 + 36. Let t = -15 + b. Is t/9*(-11)/(-3) a multiple of 8?
False
Let g be (4 - (1 + 3)) + 2. Does 4 divide (-295)/(-15) + g/(-3)?
False
Suppose -2*i + 5*i = -2*r + 1, -4*i = 4*r - 4. Suppose -3631 = -5*u + 5759. Is r/7 - u/(-42) a multiple of 10?
False
Suppose -2781 = -6*z + 651. Is z a multiple of 16?
False
Let j be -24*(-1 + (-2)/(-4)). Let u be 4/(-7)*7/(-2). Suppose -b + u = -j. Does 9 divide b?
False
Suppose z = -4*t + 16, -20 = -0*z + 4*z - 5*t. Suppose 0 = -z*d - 5*d + 425. Is d a multiple of 11?
False
Suppose -2*v - 5*l = -l - 14, 0 = -v + 3*l - 3. Let m = 9 + -7. Suppose -m*w - r = -39, v*r - 7 - 15 = -w. Is 19 a factor of w?
True
Let p(t) = -t**2 - 15*t + 5. Is p(-6) a multiple of 5?
False
Let b(l) = l + 7. Let m be b(-8). Let t(q) = q**2 + 1. Let c be t(m). Suppose -c*a - 7 = -3*a. Is a even?
False
Let l(w) = w - 8. Let a be l(12). Let h(i) = i**3 - 6*i**2 + 9*i + 1. Does 5 divide h(a)?
True
Suppose 8 = -3*s - 2*k, 0 - 4 = -2*k. Let m(q) = 6*q**2 - 2*q + 10. Is m(s) a multiple of 19?
True
Let m(z) = -3 - 2*z**2 - 15*z + 3*z**2 - 2*z**2. Let h be m(-14). Suppose -s = 0, -g + h = -s - 7. Does 18 divide g?
True
Let k(y) = 15*y + 8*y - y**2 - 3 - 17*y. Let f be k(4). Suppose s - 113 = -f*d, 4*d - 76 = -0*s + 4*s. Does 22 divide d?
True
Let p(f) = -f + 15. Let c be p(11). Let m(j) = 2*j + 2. Let y be m(c). Suppose 0 = 4*a - 8, -48 = -b - 4*a - y. Is 7 a factor of b?
False
Suppose -4*y - 6 + 26 = 0. Suppose y*v - 26 = -1, 3*s - v - 106 = 0. Is s a multiple of 3?
False
Let k = 6510 - 3588. Is 13 a factor of k?
False
Let r(k) = 2*k**2 + 9*k - 40. Let l be r(-12). Suppose 3*s - l = s. Is 14 a factor of s?
True
Suppose 15*b - 24*b + 8298 = 0. Suppose -6*i = -728 - b. Is 45 a factor of i?
False
Let i = 517 + -244. Is 7 a factor of i?
True
Let s(j) = -3 + 3 + 4*j - 5*j**2 + 3*j**2 + 6. Let t be s(5). Is (t/(-5))/(9/45) a multiple of 12?
True
Suppose -57*r - 708 = -61*r. Is r a multiple of 23?
False
Let z(y) = 2*y - 6. Let o be z(4). Suppose 2*x + 0*x = -2*g + 4, -g = o*x - 6. Suppose -x*b = -87 - 93. Is 14 a factor of b?
False
Suppose 5*b = 4*k - 5413, 24*k + 2*b = 26*k - 2708. Is k a multiple of 26?
False
Let v be (215/(-15))/(1/(-6)). Suppose u - v + 35 = 0. Does 17 divide u?
True
Suppose r = -4*y - 225, r + 285 = -5*y - 4*r. Is 22 a factor of -4*(-1)/(-2) - y?
False
Let b(r) = -r**2 + 13*r + 9. Let v(x) = -12*x - 9. Let c(t) = -t**3 - 12*t**2 - 3. Let k be c(-12). Let f(d) = k*v(d) - 2*b(d). Does 13 divide f(-6)?
False
Let j = -1770 - -2584. Is 15 a factor of j?
False
Suppose 3*r + 82 = -191. Let w = r + 151. Is w a multiple of 15?
True
Let o be 4*(4 - 27/6). Does 8 divide (-5)/o*72/4?
False
Let o(y) = 27 - 13*y + 25*y + 5. Does 18 divide o(5)?
False
Suppose 2*o - 5*k + 74 = 0, 0 = 2*o - 2*k - k + 70. Does 13 divide (-2 + o/(-3))/(10/15)?
True
Does 2 divide (-18 + (-14 - -31))/(1/(-3))?
False
Let i(f) = 4*f**3 - 18*f**2 - 2*f - 115. Is 113 a factor of i(12)?
True
Suppose -12*o + 13*o + 182 = 0. Let f = o + 308. Does 14 divide f?
True
Let q(j) = -5*j + 5. Let y be q(1). Does 4 divide 24 - y*(-1 + 2)?
True
Let o = 31 + -27. Suppose -3*p - o = -5*p. Suppose 0 = 3*q + z - 40, -36 = -2*q - p*q + 3*z. Does 4 divide q?
True
Suppose -2*l = -3*l + 3. Does 2 divide l?
False
Let j(z) = 8 - 5 + 6*z**2 - 3*z + 4*z - z**3. Let x be (-8)/6*(-72)/16. Does 4 divide j(x)?
False
Let y be 1/(4/(-6))*-8. Let w(q) = q**3 - 13*q**2 + 18*q - 18. Let b be w(y). Let d = -24 + b. Is d a multiple of 10?
True
Suppose 3*q = 4*q - 3*r - 52, 5*r + 136 = 3*q. Let y = 41 + q. Is y a multiple of 18?
False
Suppose -3*h = -109 + 283. Let k = -39 - h. Does 5 divide k?
False
Let t = -13 - -15. Suppose -2*s + 3*b - 24 = 0, -2*b - t*b = 2*s - 4. Does 8 divide s*2/(-4) - -36?
False
Suppose 138*p - 142*p - 2*x + 10050 = 0, 2*p - x = 5019. Does 55 divide p?
False
Let m be -5 - (-4 - 0 - -1). Let y be 153/18 + m/4. Suppose y = 3*j - 7. Is j a multiple of 2?
False
Suppose -2*m + 4*n + 18 = 5*n, 3*n = m - 2. Does 4 divide m?
True
Suppose d + 5*r - 41 + 13 = 0, -5*d + 260 = -5*r. Suppose -c + d + 143 = 0. Is c a multiple of 19?
False
Let x(r) = 2 + 13*r**2 + r - 2 - 4 + 1. Let g be x(3). Suppose 0*y + g = 3*w + 3*y, 4*w = -3*y + 159. Is 21 a factor of w?
True
Let c be (72/(-14))/((-9)/84). Suppose n = 5*n - 8. Suppose n*q - 6*l - c = -2*l, 2*q - 48 = l. Is 6 a factor of q?
True
Does 47 divide 2/27 - (-87134)/1026?
False
Let u be 4 + (56/(-35))/(2/5). Let q = 9 - 4. Suppose q*c - 8*c + 15 = u. Does 4 divide c?
False
Let v(p) = 4*p**2 - 6*p - 5. Let s(u) = -3*u**2 + 5*u + 5. Let d(h) = 3*s(h) + 2*v(h). Let g be d(3). Suppose 0 = j - 67 - g. Does 36 divide j?
True
Suppose 0*x - 3*x - 2*m + 160 = 0, 2*m + 140 = 3*x. Suppose -2*h - 4*b + 229 = 3*h, -x = -h - 5*b. Suppose -4*w = -3*w - h. Is 15 a factor of w?
True
Suppose -3*r + 154 = -7*r + 3*n, -4*n = -r - 45. Let b = r - -67. Does 3 divide b?
True
Suppose 0 = 2*p - d - 3793, -102 = -3*p - 6*d + 5550. Is p a multiple of 78?
False
Suppose 0 = f - 2*m - 3*m - 592, 3*m = -2*f + 1132. Is f a multiple of 13?
True
Suppose 0 = 3*f - 3 - 0. Let h be (3 - -1)*-1 + f. Let y = 19 + h. Is 4 a factor of y?
True
Suppose 5*y - 7*y - 368 = 0. Let x = -72 - y. Let v = x +