t o(c) = -c**2 + 6*c. Suppose -10 = -3*z + 5. Let y be o(z). Suppose -5*f - 49 = -2*h, -y*h - f + 55 = -0*h. Does 10 divide h?
False
Suppose -3 = c + 3*v - 0, -5*v - 25 = 5*c. Suppose -2*r = -0*r - 4. Is 17 a factor of (-171)/c - 3/r?
False
Let h(z) = -z**3 + 8*z**2 - 8*z + 10. Let w be h(7). Suppose -w*m + c - 42 = -c, m + 7 = 3*c. Let f = m + 24. Is 5 a factor of f?
False
Let r(x) = x**3 + 4*x**2 - 2. Let m be r(-2). Suppose w - 4*s = 3*w + 4, 5*s + 7 = -2*w. Let a = m - w. Does 2 divide a?
True
Let y(n) = -n**2 - 4*n + 4. Suppose g - 2*w = 3*g + 8, 4*g + 3*w = -16. Let u be y(g). Suppose u*c - 2*c - 24 = 0. Is c a multiple of 6?
True
Let u be (-3)/(-12)*2*0. Suppose 0 = -u*q - 2*q + 28. Suppose -20 - q = -d. Is d a multiple of 17?
True
Let w(u) = 2*u + 23. Is w(0) a multiple of 3?
False
Is 11/11 + (1 - -3) even?
False
Let u = 113 + 82. Is 16 a factor of u?
False
Let l(j) = -j**2 - 10*j + 14. Is 5 a factor of l(-8)?
True
Let f = -13 - -3. Let z = 174 + f. Suppose 4*t = -0*u - 3*u + z, u + 148 = 4*t. Does 13 divide t?
False
Let a be 51/12 - (-2)/(-8). Suppose 9*v = a*v + 20. Suppose -4 = -v*i + 80. Does 8 divide i?
False
Let b = -7 + 17. Let y be b/8 + 12/16. Suppose 4*x = y*n - 44, -10 = -n - 2*x + 8. Is n a multiple of 15?
False
Suppose 0 = -4*b - f + 2*f - 116, -2*b - 58 = -5*f. Let o be -2 - (b + (1 - 3)). Let x = o + -15. Is x a multiple of 7?
True
Does 19 divide (-75)/(-4) - (-2)/8?
True
Suppose 3*z = -z + 60. Let p = z + -10. Suppose -5*v + 5*s = -45, v - 46 = -v - p*s. Is v a multiple of 13?
True
Let k = 105 + -24. Is k a multiple of 25?
False
Suppose -b + 5*c = -167, 6*c - c - 743 = -4*b. Does 14 divide b?
True
Let m be (-7 - -1)/(0 - 2). Suppose v = 4*v - 360. Suppose -r - m*r = -v. Does 15 divide r?
True
Let d(t) = 2*t**2 - 6*t - 3. Is d(5) a multiple of 8?
False
Let m be 0 - (-3 - -2) - -2. Let y = 14 - -24. Does 5 divide y/8 - m/(-12)?
True
Let p(o) = -o**3 + 3*o**2 + 4*o + 3. Let v be p(4). Let x be 1*0/v - -3. Is 9 a factor of 16 + (4 - (-1 + x))?
True
Let c = -5 + 8. Suppose 2*t + 4*w - 28 = 0, -4*t + c*w = 3 - 4. Suppose 47 = -0*y + 3*y + 4*s, y - s = t. Is 9 a factor of y?
True
Let n(i) = 2*i - 7. Let q be n(5). Suppose g - d - 62 = 0, q*g - 2*d + d - 194 = 0. Is g a multiple of 14?
False
Suppose 9*f = 10*f - 36. Let o be 1/((-1)/34*-2). Let a = f - o. Does 19 divide a?
True
Let t = 271 - 163. Suppose 3*z + t = 6*z. Is z a multiple of 12?
True
Does 24 divide (1 + (-98)/4)*-2?
False
Is 8 a factor of (-34)/119 + 618/7?
True
Let m(p) = p**3 + 2*p**2 - 5 - p**2 - 5*p**2. Is m(5) a multiple of 15?
False
Let h be 44/2 - (-12)/(-6). Let p = h - 7. Let c = 34 - p. Is 6 a factor of c?
False
Is 23 a factor of (0/(-3) + -2)*-23?
True
Suppose -y - 59 = -5*y + j, -4*y + 84 = 4*j. Let d be (3/(-6)*-12)/2. Let o = d + y. Is 9 a factor of o?
False
Let g be 1/(-2) - (-9)/6. Let l be 3 + (13 - -1) + g. Suppose 5*d + l - 163 = 0. Is 8 a factor of d?
False
Let o be 166/18 + (-4)/18. Let h(l) = l**3 - 9*l**2 + 3*l - 9. Is h(o) a multiple of 18?
True
Suppose -2*d - d = 0. Let f be -2 - (d/(-2) + -3). Is 10 a factor of (16 - -3) + 1/f?
True
Does 21 divide (-4)/5 + 327/15?
True
Suppose 0 = -4*t + 34 - 2. Suppose 5*s - t = 5*i + 2*s, -i = -2*s - 4. Does 9 divide (-18)/i*8/3?
False
Let s(n) be the first derivative of -n**4/4 - 2*n**3/3 + 2*n**2 - 2*n - 6. Does 11 divide s(-4)?
False
Let m(q) be the third derivative of q**4/24 - q**3/6 + 3*q**2. Does 2 divide m(4)?
False
Suppose 5*w = -2*x + 2*w + 10, 0 = -5*w. Let l be 10/4*14 - -2. Suppose -x*q = -147 + l. Does 11 divide q?
True
Let w = -1 + 10. Let l be (80/(-24))/((-2)/18). Let s = w + l. Is s a multiple of 14?
False
Let s(a) = -7*a**2 - 11*a + 11. Let f(x) = -x**2 - x + 1. Let q(r) = -6*f(r) + s(r). Let l be q(-5). Suppose -8 = l*v - 23. Is v a multiple of 2?
False
Let t be 3 + (4 - 2) + 310. Suppose -3*f = 2*f - t. Let i = f + -26. Does 18 divide i?
False
Suppose -q + 2*m + 7 = 0, -3*q - 3*m - m + 1 = 0. Suppose -q*a - 4*d + 2*d = -207, -201 = -3*a - 4*d. Does 24 divide a?
False
Let s(y) = y**2 + 7. Let x be s(-7). Suppose -2*h + x = 5*g - 4*g, g = -5*h + 146. Does 15 divide h?
True
Let s be ((-324)/(-42))/(1/7). Suppose p + s = 3*p. Is 14 a factor of p?
False
Let r(l) = -l**3 - 6*l**2 - 1. Let f(w) = -2*w + 3. Let i be f(4). Let u be r(i). Is 3 a factor of u/(-7) - (-8)/28?
False
Suppose 2*a + 1 - 7 = 0. Does 3 divide a?
True
Let r(s) = 3*s**2 + s - 1. Let p be r(1). Let k be (-8)/2*18/(-2). Suppose k = p*n - 9. Does 15 divide n?
True
Let y(v) = -4*v + 31. Is 23 a factor of y(2)?
True
Let o = -8 + 11. Suppose 72 = 4*l + 4*t, l + 3*l + o*t - 77 = 0. Is l a multiple of 6?
False
Let i(z) = -z**2 - 14*z + 13. Let s be i(-15). Suppose 0 = -2*l + 2 - 0. Does 3 divide s/(l + 0) + 5?
True
Suppose 5*s + 1 - 23 = 2*g, 0 = 4*g + 4. Suppose 4 = 2*a - 4*j, -s*j + 4 = -0. Is 2 a factor of a?
True
Let q(z) = -2*z**3 - 5*z**2 - z - 5. Let f be q(-4). Let u = f + 2. Is u a multiple of 22?
False
Suppose -43 = -2*t - 3*x + 8*x, -2*x = -2*t + 40. Is 3 a factor of t?
False
Suppose -2*n - 622 = -4*n. Suppose 5*g - n = -c, 4*c + 96 = 2*g - 24. Does 31 divide g?
True
Let a(d) = -d**3 + 9*d**2 - 9*d + 6. Let n be a(6). Suppose -s + 28 = -2*y, 25 = 4*s + y - n. Is 11 a factor of s?
True
Let q be (4/(-8))/((-5)/60). Suppose 5*g - 4 = 6. Suppose q = -g*y + 20. Does 4 divide y?
False
Let m(f) = f**2 + 2*f - 7. Suppose 4*v - 2*s = -v - 22, 0 = 2*v - 5*s - 8. Let h = v - -11. Is 13 a factor of m(h)?
False
Let g(l) = -l**2 + l. Let y be g(1). Suppose -n - 4*n + 5*a + 390 = y, -5*n + 3*a = -388. Suppose 4*v + 3*t + 16 - n = 0, -4*v + 40 = -4*t. Is 5 a factor of v?
False
Suppose -r + g + 49 = 0, g - 88 = -4*r + 133. Does 17 divide r?
False
Suppose 0 = -2*w - 3*s - 10, -w + 0*s - 19 = 5*s. Let n = -10 + w. Is (6/n)/((-4)/294) a multiple of 13?
False
Let o = -9 - -6. Is 9/3 - -28 - o a multiple of 17?
True
Let w(o) = -o + 3. Let a(s) = -3. Let x(g) = 6*a(g) + 5*w(g). Does 17 divide x(-4)?
True
Suppose 5*c = -4*x - 0*x + 216, c + 2*x = 42. Does 22 divide c?
True
Let a(u) = 6*u - 4. Let g be a(7). Suppose -n - n + g = 0. Suppose -l + 5 = -4*m + 1, 5*m + n = 3*l. Is l a multiple of 8?
True
Suppose -2*h + 39 = 7*z - 2*z, -4*h = -4*z + 48. Is 2 a factor of 5 - 0*3/z?
False
Let p(y) = 2*y**2 - 3*y - 1. Let j be p(5). Suppose 0 = 3*f - f - 5*a + 20, 0 = -4*f - 3*a + 12. Is j - 3/(f - 1) a multiple of 17?
False
Let u(l) = 4*l - 1. Let a(q) = 4*q. Let s(o) = -4*a(o) + 5*u(o). Is s(6) a multiple of 18?
False
Let j = -27 - -68. Is j a multiple of 22?
False
Suppose 0 = -f + w + 24, f - 5*w - 3 = 13. Suppose 2*u + 5*z = 19 + 21, -3*u + f = -z. Let g = 25 - u. Does 5 divide g?
True
Suppose -4*t + 6*t = 264. Suppose 5*p = p + t. Is 13 a factor of p?
False
Let i = 10 + -4. Let s be (23/2 + -2)*i. Let x = s - 33. Is x a multiple of 19?
False
Let u(h) = -24*h. Is 8 a factor of u(-1)?
True
Let w(c) = -3*c**3 - 6*c**2 - 2*c - 1. Let k be w(-4). Let n = 196 - k. Is 31 a factor of n?
True
Suppose 7 = 3*a + 5*c, 4*c = -a + 2*c + 2. Is 23 a factor of a/(2 - -2) + 22?
True
Let c be 2/(4/2) - -35. Suppose -c - 188 = -4*s. Does 19 divide s?
False
Let k(p) = 106*p - 5. Does 24 divide k(2)?
False
Let p(q) = q + 2. Let w be p(6). Suppose w = -4*x - 24. Let b = 17 + x. Does 8 divide b?
False
Let n(v) be the first derivative of 3 - 6*v**2 - 1/3*v**3 - 4*v. Is n(-8) a multiple of 14?
True
Let x = -8 - -13. Let r(n) = -3*n + 1. Let c be r(1). Does 9 divide c/x*-1*55?
False
Let k(d) = d**3 + 4*d**2 - 4*d - 2 - 2*d + 0*d**2. Let g be k(-5). Suppose -g*q - 18 = -4*q + 3*j, 0 = -3*q + j + 38. Is q a multiple of 12?
True
Let v = 44 - -7. Let s = 72 - v. Does 7 divide s?
True
Suppose -357 = -3*x + 4*g, 0 = 2*x - g - 68 - 175. Suppose -x = -3*d - 0*d. Is d a multiple of 13?
False
Does 17 divide 2 - (-165)/(-10)*-4?
True
Suppose 7 = 2*x + 3. Let n(y) = -3 + x*y**3 - 4*y**2 + 2*y + 3*y - y**3. Does 17 divide n(4)?
True
Suppose c = 4*c + 12. Does 10 divide (-42)/(-4) + 2/c?
True
Let o = 28 - -23. Is o a multiple of 2?
False
Let w(x) = 2*x**3 + 3*x**2 - 4*x - 20. Let z(i) = 3*i**3 + 4*i**2 - 5*i - 21. Let q(s) = -4*w(s) + 3*z(s). Let l be q(0). Let g = 35 - l. Is 7 a factor of g?
False
Let h(t) = t**2 - 5*t - 7. Let i(p) = -p**3 + 2*p + 2. Let g be i(-2). Let x be h(g)