alse
Suppose 2*x - 3*w = 2*w - 21, 2*x = 3*w - 15. Let q = -2 - -14. Is 6 a factor of 3 + q + x + 3?
False
Let r(c) = -3*c**2 - 3*c - 1. Let y be r(-6). Let p = 133 + y. Is p a multiple of 20?
False
Let k(d) = d**2 + 4*d + 2. Let y be k(-7). Suppose -a - 9 = -y. Does 3 divide a?
False
Let u be 3/1 + (-24)/6. Let g(t) = 13*t**2 - t - 2. Is 6 a factor of g(u)?
True
Let f be 0 + (-3)/(-1) - -195. Let v = -3 + 11. Does 14 divide 2/8 + f/v?
False
Suppose -4 = -5*u + 4*u. Suppose 0 = -4*z + 11 - 3. Suppose 28 = -z*f + u*f. Does 5 divide f?
False
Let q(d) = -7*d + 3. Let o(h) = -11*h + 5. Let s(j) = 5*o(j) - 8*q(j). Let r be s(3). Suppose 3*x + 5 = -2*x, -r*l + 4*x + 64 = 0. Is 5 a factor of l?
True
Suppose 4*x - 436 = -3*d, -300 = -2*d - x - 4*x. Is d a multiple of 14?
True
Let u = 343 + -160. Suppose -i = -4*i + u. Is 14 a factor of 6/12 - i/(-2)?
False
Suppose 0 = -r + 5*j + 8, -j + 3 = 5. Let u = 36 + r. Suppose -3*t - 2*q + 23 = 0, -7 = 4*t - q - u. Does 7 divide t?
True
Suppose 0 = 2*y + 2 - 16. Let s = y - -33. Does 12 divide s?
False
Let r(j) = j + 2. Let q be r(0). Suppose -3*p + 67 = -q*p. Suppose 2*m = -3*m - 2*o + 124, -2*m + 5*o + p = 0. Is m a multiple of 13?
True
Let i(c) = -c**3 - 10*c**2 - c + 7. Let m(u) = u**3 + 9*u**2 + 2*u - 6. Let y(d) = 3*i(d) + 4*m(d). Let o = -2 + -2. Does 3 divide y(o)?
True
Suppose 2*s = -76 + 8. Let r be s*((-1)/2 - 0). Let a = 33 - r. Does 16 divide a?
True
Does 9 divide 9*(-42)/(-9) - 2?
False
Suppose 0 = -w - 2*w. Suppose w*l = 4*l + 144. Does 9 divide (1 - (-6)/(-4))*l?
True
Let r(g) = g**3 - 17*g**2 + 18*g - 23. Does 6 divide r(16)?
False
Does 10 divide (45/27)/(3/18)?
True
Suppose -4*s + 12 = 3*p + 50, 0 = s - 1. Is (-4 - p)/((-2)/(-8)) a multiple of 8?
True
Suppose 0 = -3*d + 346 + 221. Does 7 divide d?
True
Let o(z) = z**2 - 2*z + 5. Let f be o(7). Suppose b = -b + f. Is 8 a factor of b?
False
Let s = 1 + -7. Let j be (-646)/s + (-5)/(-15). Suppose 4 = -p, 5*t - t = 4*p + j. Is t a multiple of 19?
False
Suppose 9*f - 5*f - 1452 = 0. Does 33 divide f?
True
Suppose -2*q = q + 2*i - 390, 5*i = 0. Is q a multiple of 26?
True
Let s(h) = 2*h**2 + 4*h - 8. Let a be s(6). Suppose -a = -7*i + 3*i. Is 15 a factor of i?
False
Suppose 218 + 90 = -4*g. Let k = -42 - g. Is 29 a factor of k?
False
Let s(z) = -4*z**2 - 1 - 1 + z**2 + 4*z**2 - 3*z. Is 5 a factor of s(-2)?
False
Let z = -19 - 31. Let r = -24 - z. Is r a multiple of 14?
False
Suppose 2*s - 7 = 5*v - 4, 2 = 2*v. Suppose -3*r = -5*w + 2*w + 9, -5*w + 6 = s*r. Suppose 0*z + 3*c - 21 = -z, w*z - 5*c - 9 = 0. Does 12 divide z?
True
Let b(x) be the second derivative of 5*x**3/2 + 2*x. Let d be b(4). Suppose 4*f + d = 8*f. Does 9 divide f?
False
Let n = -101 - -181. Does 23 divide n?
False
Does 14 divide ((-48)/(-14))/((-1)/(-7))?
False
Let m(f) = 2*f**2 - 4*f + 3. Suppose 3*q + 5*h - 35 = -q, 3*q + 3*h = 24. Suppose 5*r = -8*n + 3*n, -15 = -q*n - 2*r. Does 11 divide m(n)?
True
Let x be (6 + 1)/(5 + -4). Let u = x + -4. Suppose 21 = u*m - 4*h, -5 - 2 = -m - 2*h. Is 7 a factor of m?
True
Suppose -2*r = -5*r. Suppose 2*v - 5*v + 39 = r. Does 7 divide v?
False
Let y = -66 - -132. Does 23 divide y?
False
Let b(i) = -6*i**3 + 2*i**2 - 1 - 7*i**2 + 6*i**2 - 3*i. Let w(h) = -2*h**3 - h**2 + h. Let z be w(1). Is b(z) a multiple of 20?
False
Suppose 68 + 50 = 2*h + 2*j, -3*j = h - 65. Is h a multiple of 14?
True
Let d(t) = 2*t + 7. Suppose -3*o = -4*x - 6, -2*o + 4 = 2*x - 0. Suppose x = -v - 2*v + 30. Does 9 divide d(v)?
True
Suppose -3*r - v + 126 = 4*v, -5*r - 4*v = -210. Is 7 a factor of r?
True
Suppose 2*l + f = 4, 2*l - 8 = -l - 2*f. Let z be 0 - 2 - (-21 - l). Suppose -4*g + 33 = -z. Does 13 divide g?
True
Suppose z + f - 174 = 0, -3*f - 216 - 494 = -4*z. Is 16 a factor of z?
True
Let k(v) = -v**3 - v**2 + v - 2. Let d be k(-2). Let b be (-21 + d)/(9/42). Is 16 a factor of b/(-3) + (-8)/12?
True
Suppose -3*j - 4 = -4*j. Let n(h) = -h + 0*h**2 - h**2 + j*h**2. Does 4 divide n(-1)?
True
Suppose 229 - 57 = y. Does 25 divide y?
False
Does 7 divide (-6)/4*-5*2?
False
Suppose 10*p - 116 = 8*p. Suppose 4*h = 3*x - 70, x + p = 3*x + 3*h. Is 26 a factor of x?
True
Let m(t) = 36*t**2 + 3*t - 9. Let r be m(3). Does 5 divide (-3)/12 + r/16?
True
Let q = 302 + -181. Does 26 divide q?
False
Let b(p) = -2*p + 1. Let j be b(-4). Suppose -i - 30 = 4*i. Is i/j*42/(-4) a multiple of 7?
True
Suppose -5*r + 92 = 3*v, -r = -v - 7 - 5. Does 8 divide r?
True
Let r = -10 - -5. Let o = -34 - r. Let n = -16 - o. Does 11 divide n?
False
Suppose -5*q + 4*r = -20, -q + 4*r = 3*q - 20. Let l(g) = g. Let f(h) = -3*h + 34. Let o(b) = f(b) + 4*l(b). Is 13 a factor of o(q)?
False
Let r be (-2)/(-3) + (-228)/18. Let l = r + 23. Does 8 divide l?
False
Does 13 divide ((606/4)/3)/1*2?
False
Let i(t) = -t**2 + 4. Let l be i(3). Let p(k) be the second derivative of -k**5/20 - 5*k**4/12 - 5*k**3/6 - k**2/2 + k. Is 12 a factor of p(l)?
True
Let y(l) = l**2 + 9*l - 11. Let z be y(-9). Let j(c) = c**3 + 12*c**2 + 10*c - 2. Is 9 a factor of j(z)?
True
Let j = -99 - -26. Let n = 107 + j. Does 17 divide n?
True
Let i(u) = u**3 + 5*u**2 - 5*u - 5. Is i(-5) a multiple of 10?
True
Let d be ((-22)/4)/(1/(-2)). Let f = d - 8. Suppose -5*u + f = -87. Is u a multiple of 9?
True
Suppose 2*r + 24 = -36. Let m be r/4*(-4)/6. Suppose v - 3*o + 2*o = 3, 4*v - m*o = 9. Is 5 a factor of v?
False
Suppose 2 = 5*z - 4*z. Suppose -4*q - r = -9*q + 46, z*q = -4*r + 36. Is 11 a factor of 2/2 - q/(-1)?
True
Suppose -3 = r, 3*r = -4*q - r + 32. Is 852/33 + 2/q a multiple of 13?
True
Suppose -4*l - 1 + 9 = 0. Suppose 0 = 3*m - 4*r - 90, l*r = 2*m - 0*m - 62. Does 10 divide m?
False
Suppose 0 = 3*j - 9, 3*j + 22 = 2*d + 5*j. Is 8 a factor of d?
True
Suppose -3*g = g - 20. Suppose 25 = -g*v - 5. Let k(r) = -7*r + 4. Is k(v) a multiple of 17?
False
Let o(h) = h**2 - 8*h - 14. Let t be o(10). Does 39 divide 75 + t*(-3)/(-6)?
True
Let j(m) = -m**2 + 11*m - 2. Let p be j(11). Let b be (2 + p)/(1/(-1)). Is 9 a factor of b + 17 + (4 - 4)?
False
Suppose 3*i - j = 28, -5*i + 43 + 17 = 5*j. Suppose 42 - i = 2*v. Does 4 divide v?
True
Let z(g) = 2*g**2 - 6*g - 3. Suppose 5*r - 18 = 2*r. Does 13 divide z(r)?
False
Is (0 - (-3 + -1)) + 24 a multiple of 7?
True
Is (-442)/(-6) - 2/3 a multiple of 18?
False
Suppose 0*b - 760 = -8*b. Is 11 a factor of b?
False
Does 10 divide ((-91)/4)/((-3)/12)?
False
Let p(a) be the first derivative of -a**2 + 2*a - 5. Let i be p(-10). Suppose g = -g + i. Is 11 a factor of g?
True
Suppose -3*n = -15, n = 4*w + 4*n - 15. Suppose 0 = -5*a - 3*r - 40, w*a = 2*a - 2*r + 16. Let x = 0 - a. Is 4 a factor of x?
True
Let i be (-796)/(-4) + -3 + 0. Does 13 divide 24/(-16)*i/(-6)?
False
Let l = -43 - -157. Is l a multiple of 28?
False
Suppose 4*v = -5*y + 121 - 11, y = 5*v - 152. Is v a multiple of 2?
True
Suppose -p + 24 = 3*p. Suppose -2*m - 72 = -p*m. Is m a multiple of 6?
True
Let q(n) = -2*n + 6. Let v be q(6). Let c be (3 + -2)*2/(-2). Is 9 a factor of v/(-3)*(18 + c)?
False
Let v = 136 + -19. Let a = v + -80. Suppose 40 = j - 2*k, j - 4*k = a - 3. Is j a multiple of 23?
True
Suppose 5*s - 6 = -4*v, -6 = -3*v + 5*s + 16. Suppose 5*g + 0*i + 3*i = 37, -g - v*i = -21. Suppose -g = -2*c + 11. Is c a multiple of 6?
False
Suppose 3*y + 0*y + v - 659 = 0, 0 = 4*y - 2*v - 882. Suppose 177 = 4*r - q, 5*r = q - 0*q + y. Is 15 a factor of r?
False
Suppose -5*c + 197 = -1148. Is 16 a factor of c?
False
Let h be 175/(-14) + (-2)/(-4). Is 17 a factor of (-434)/h + (-3)/18?
False
Let y be 1 + (-1 - 0) + 2. Suppose 4*a + 26 = -5*g + 116, 4*g - 98 = y*a. Is 11 a factor of g?
True
Let j(n) be the second derivative of -11*n**6/720 - n**5/120 + n**4/12 - 2*n. Let q(z) be the third derivative of j(z). Is q(-3) a multiple of 16?
True
Does 20 divide ((-2)/(-5))/(16/4000)?
True
Let f(v) = 7*v - 73. Let t be f(11). Suppose 3*a - 12 = 21. Let q = a - t. Is q a multiple of 2?
False
Suppose 1 = l + 16. Does 8 divide ((-5)/l)/((-2)/(-162))?
False
Let g(n) = n**3 + n**2 + 2. Let q be g(0). Suppose 4*b - 4 = 2*a - 0, 0 = -3*b + q*a + 3. Is 8 a factor of 21*-1*(b - 2)?
False
Let t be -2*(0 - -1 - 5). Suppose -3*s + 4*s = 0. Let b = t + s. Is b a multiple of 4?
True
Let s(g) be the second derivative of g**5/10 - g**4/4 - g**3/3 - 2*g**2 + g. 