divide i?
False
Suppose -3*f + 197 = l, 3*l = -5*f + 7*l + 334. Does 33 divide f?
True
Let l = -12 + 28. Does 14 divide ((-42)/4)/((-6)/l)?
True
Does 6 divide (136/(-16))/((-1)/2)?
False
Let d = -28 + 122. Does 24 divide d?
False
Suppose -x - 200 = -2*d, -2*d + 107 = -d - 4*x. Does 30 divide d?
False
Suppose -3*g - 4*o - 19 = 0, g = 2*g + o + 5. Let l(x) = -x**3 - 3*x**2 - 3*x - 3. Let b be l(-3). Let a = b + g. Does 3 divide a?
False
Suppose 677 = 4*x - 5*o, 3*x + 2*o - o = 522. Does 22 divide x?
False
Let v be 0/(1 + (0 - -2)). Suppose 2*d - 52 = -v*d. Is 13 a factor of d?
True
Let p(h) = h**2 + 7*h + 3. Let k be p(-7). Suppose k*m + 6 = 0, 0 = -3*f + 6*f - 4*m - 53. Suppose -3*o + f = -39. Does 9 divide o?
True
Is (-24)/(-9)*(675/6)/5 a multiple of 6?
True
Suppose -v = -3*c - 15, -14 = -2*v + 2*c - 0. Suppose 0*o = 2*o - v*g + 4, -2*o = -2*g + 4. Is (1 - o/4)*12 a multiple of 6?
True
Suppose 4*g = 4*d + 1380, d = 2*g + 3*g - 1705. Suppose g = c + 4*c. Is 10 a factor of c?
False
Suppose -3*k + 9 = -0*k. Suppose 33 = s - v, -4*s + 93 = -s + k*v. Let m = s - 10. Is m a multiple of 8?
False
Let x(r) = -r**2 + 15*r. Let g be x(11). Does 28 divide g + (3 - 6/3)?
False
Let m(k) be the first derivative of k**3/3 - 11*k**2/2 + 10*k + 2. Does 12 divide m(13)?
True
Let z(m) = -4*m. Let a be z(-1). Suppose -4*u = -5*w - 0*w + 17, -u - a*w + 22 = 0. Is -50*(-1)/4*u a multiple of 10?
False
Suppose 3*q + 4*n - 54 = 0, -2*n - 31 = -2*q - 3*n. Is 14 a factor of q?
True
Let i(a) = a**2 - 4*a - 8. Let n be i(6). Suppose -2*q + n*q = 44. Is q a multiple of 11?
True
Suppose -2*a - 2*x - 2 = 2, -2*a + x - 1 = 0. Let r be 3/a - (0 + -8). Suppose 0 = -y + r*f + 36, 3*y + 3*f + 15 - 51 = 0. Is y a multiple of 16?
True
Does 15 divide 2 - 5 - ((-189)/(-3))/(-1)?
True
Suppose -5*h = -5*n + 255, 5*h = 3*n + 3 - 166. Does 6 divide n?
False
Does 16 divide ((-48)/(-9))/((-1)/(-6))?
True
Let n = -1 + 89. Is n a multiple of 18?
False
Let h = -59 + 92. Let f = 27 + h. Does 20 divide f?
True
Suppose -232 + 67 = 5*a. Let x = -13 - a. Is x a multiple of 10?
True
Suppose 3*p - 1 = 11. Suppose -4*z = -4*d + 32, 0 = d + p*z - z - 24. Is d a multiple of 4?
True
Suppose -3*n = 3*r - 63 - 42, -3*n = 5*r - 183. Is r a multiple of 13?
True
Let t be (-5)/(-2*(-2)/(-4)). Let y = -5 + t. Suppose y*i = -i + 6. Does 3 divide i?
True
Let q(t) = t + 5. Let o be q(-5). Suppose o = 5*l - 5*g - 75, 0 = -g - 1 - 2. Is l a multiple of 6?
True
Let d(c) = c**2 - 8*c + 1. Let q be d(6). Let l = 27 + q. Suppose -j + l = -4*n, 0 = 5*j - 0*n - 2*n - 44. Is j a multiple of 5?
False
Suppose l = 0, 4*q + 0*l - 40 = -5*l. Is q even?
True
Let w(d) = d**3 + 4*d**2 + 3*d + 2. Let u be w(-2). Suppose 10 = u*s - 18. Suppose 2*y - 80 = 4*n, 3*n + s + 5 = 0. Does 16 divide y?
True
Let g = -20 - -46. Does 26 divide g?
True
Let q(x) be the third derivative of -x**4/3 - 5*x**3/6 + x**2. Let i be q(-4). Suppose 0 = 3*c + 2*n - i, 4*c + 3*n - 44 + 8 = 0. Does 6 divide c?
False
Let c be -2 + 0 + 2 + 2. Suppose 1 = -n + c*n, -u - 5*n + 19 = 0. Is 9 a factor of u?
False
Suppose 4*l + 5*i - 17 = 0, 3*l + 2*i - i = 10. Suppose 0 = -2*w + 4*s - 4, -5*s + l = -3*w. Suppose -3*j - 4*v = -65, w = -j + 4*v - 1. Does 9 divide j?
False
Let w be (-2280)/42 - (-2)/7. Let m = 96 + w. Is 23 a factor of m?
False
Let l be (-6)/7*(-35)/5. Let k be 18/(-6) + l/2. Suppose -m + 8 = 4*n, -3*m = -k*m - n - 63. Is 14 a factor of m?
False
Suppose 0 = 3*v - 15, -5*d - v = v - 190. Is d a multiple of 18?
True
Let w(i) = -i**2 + 5*i - 3. Let a be w(7). Let n = a - -53. Does 18 divide n?
True
Let v = 5 - 7. Does 18 divide v/(-3*(-6)/(-351))?
False
Is (-3 + -7)*26/(-5) a multiple of 13?
True
Let x(k) = k**2 + 12*k - 58. Is x(6) a multiple of 23?
False
Let m be 13 - 3/6*-2. Does 13 divide 21/m + (-342)/(-4)?
False
Let r = 139 - 80. Is r a multiple of 20?
False
Is (28/(-42))/(2/(-126)) a multiple of 14?
True
Is 65 - (5 + -4)*(2 + -3) a multiple of 22?
True
Let n(l) = -l - 3. Let s be n(-4). Let m be (2/(1*-2))/s. Let f = 11 - m. Does 12 divide f?
True
Let v be -2*(15/2)/(-5). Suppose r - v*q = 2*r + 20, 4*r + 5 = 3*q. Let u = r - -35. Does 12 divide u?
False
Let l(i) = -6*i + 26. Is l(-9) a multiple of 40?
True
Suppose -m + 56 + 46 = 0. Is 7 a factor of m?
False
Let d = 136 + -60. Is 12 a factor of d?
False
Suppose 0 = 5*i - 3 - 2. Suppose -3*m - 2 + 21 = 2*t, -4*t = -2*m + 2. Let y = t + i. Is y a multiple of 3?
True
Suppose -21 = 2*v - 469. Is v a multiple of 32?
True
Let i(f) = f**2 - 2*f. Let v be i(4). Suppose 3*x - 13 = v. Is x a multiple of 7?
True
Suppose -2*v + 135 = -5*o, 0 = 4*v + 2*o - 250 - 56. Does 15 divide v?
True
Let w be 832/18 - 6/27. Let v = -20 + w. Let k = v - 1. Is 9 a factor of k?
False
Let q(t) = -3*t**3 - 1. Let v be q(-1). Suppose 287 - 21 = v*a - 4*b, -2*a + 264 = -5*b. Is a a multiple of 37?
False
Let r(c) = c**3 + 4*c**2 - 2*c - 6. Let d be r(-4). Does 7 divide 1*(d - -1)*6?
False
Let b be (-1740)/(-45)*(-3)/(-2). Let v(k) = -k**3 - 3*k**2 - 2*k - 2. Let c be v(-3). Suppose -70 = -c*j + b. Does 9 divide j?
False
Suppose -3*i + 666 = -0*i. Is 15 a factor of i?
False
Suppose d = 5*d. Suppose -2*z + 3*z = -3*v + 56, d = z - 5. Is v a multiple of 5?
False
Let m(y) = -22*y + 12. Is 20 a factor of m(-2)?
False
Let d = 10 - 6. Let o(j) = 1 + 0 - d*j + 2. Is o(-3) a multiple of 6?
False
Does 25 divide 4 + (-385)/(-14) - (-2)/(-4)?
False
Let b(j) = -2*j + 4. Let g(d) = d - 2. Let v(a) = 3*b(a) + 7*g(a). Does 3 divide v(5)?
True
Let a(k) = -7*k**3 - 11*k**2 - 10*k - 16. Let x(d) = 6*d**3 + 12*d**2 + 11*d + 17. Let g(c) = 5*a(c) + 6*x(c). Does 6 divide g(-16)?
False
Let u be 3*29 + (1 - -1). Let r = 0 + 6. Suppose 4*h = 3*z + u, r*z - 2*z = -2*h + 28. Is h a multiple of 20?
True
Suppose f - 32 + 11 = v, 88 = 4*f - 2*v. Does 3 divide f?
False
Suppose -5*d - k = -0*k - 1217, 0 = -d - 5*k + 229. Is d a multiple of 18?
False
Suppose 0 = 4*a - 13 - 7. Suppose 4*w = -g + 36, a*g + 2*w = 5*w + 203. Is 8 a factor of g?
True
Let a = 182 - 106. Is a a multiple of 18?
False
Let s(v) = v**2. Let x(m) = 4*m + 4. Let d = 1 + 0. Let k(l) = d*s(l) + x(l). Is k(-5) a multiple of 5?
False
Let z(l) = -l**3 - 6*l**2 - 3*l - 9. Is z(-7) a multiple of 11?
False
Suppose 3*c = 4*c + 27. Let w be (-18)/c*(4 + -1). Suppose -w*f + 6*f = 88. Does 11 divide f?
True
Let q(n) = n**3 + 6*n**2 + 4*n - 3. Let a be q(-5). Suppose -o = a*o. Suppose -4*l - 2*c + 7*c = -140, o = -5*l + c + 154. Does 15 divide l?
True
Let l(o) = 3*o**2 + 11*o + 11. Let t(g) = g + 1. Let f(a) = 4*l(a) - 44*t(a). Does 5 divide f(1)?
False
Let b(z) = 2*z - 2. Let i be b(2). Suppose -4 = -2*o, -2*a + 2*o + 140 = -0*a. Suppose -x = i*x - a. Does 9 divide x?
False
Let b(d) = -d**2 + 13*d. Is 3 a factor of b(12)?
True
Let f(u) be the first derivative of 2*u**3/3 + 4*u**2 - 3*u + 7. Does 39 divide f(-10)?
True
Suppose 3*h - 98 = -2*y, -91 = -4*y + 3*h + 87. Suppose -5*d - 16 = -y. Is d a multiple of 6?
True
Let t(a) = -a**2 - 2*a - 1. Let z be t(-1). Does 16 divide 2*((-1 - -9) + z)?
True
Let n(p) = p**3 - 3*p**2 + 4*p - 2. Let j be n(2). Suppose -2*a = 4, -j*a + 0*a - 48 = -2*q. Does 11 divide q?
True
Let t(a) = a**2 - 7*a + 8. Let p be t(6). Suppose w = 2*w - p. Suppose -w*d + 1 = -55. Is 14 a factor of d?
True
Suppose 23 = -3*k + 2. Let b = 10 - k. Is 8 a factor of b?
False
Let x(c) be the third derivative of c**4/12 + 2*c**2. Let y be x(2). Suppose 0 = 5*s + 5, y*b + 4*s - 5*s - 145 = 0. Is b a multiple of 15?
False
Let b(k) = 3*k - 6. Is 9 a factor of b(7)?
False
Suppose -5*n = -7*n. Let p(h) = 17*h**3 - 2*h**2 + 1. Let a be p(1). Suppose n*s + a = s. Is s a multiple of 16?
True
Let k(o) be the first derivative of o**2/2 + 17*o - 5. Does 14 divide k(0)?
False
Let z(h) = 6*h**2 + 6*h - 4. Is 8 a factor of z(-3)?
True
Let r(v) = -v + 16. Is r(7) a multiple of 9?
True
Let q = 148 - 48. Does 34 divide q?
False
Suppose 19*n + 12 = 23*n. Suppose 3*x = 4*y - 43, -4*x - 55 = -n*y - 21. Does 8 divide y?
False
Let s = -102 + 455. Let p = -206 + s. Suppose -4*w = l - 20, -31 = 5*l + 4*w - p. Is 8 a factor of l?
True
Let x = 9 - 4. Suppose x*b + 11 = 2*q, 3*q + 2*b - 40 = 24. Does 9 divide q?
True
Let p = 169 - 121. Is 14 a factor of p?
False
Suppose 0*b - 3*b = -9. Is 2 a factor of b?
False
Let n