 - 63. Is (112/l)/((-4)/30) a multiple of 14?
True
Let o(z) = -z**2 + 19*z - 23. Let x = 36 + -20. Is o(x) a multiple of 25?
True
Suppose 0 = 2*v - 10, 0*l = 5*l - v - 40. Let c = 24 - l. Let d = c - 11. Is d even?
True
Let q be 1/(4*(-2)/(-232)). Let m = q + -3. Is 13 a factor of m?
True
Let w = 17 + -7. Let o = w - 1. Is 9 a factor of o?
True
Let k(j) be the second derivative of 31*j**4/4 - j**3/6 + j**2/2 - 5*j. Is 13 a factor of k(1)?
False
Let s(p) = p - 1. Let y be 30/18 + (-4)/6. Let w(j) = -6*j - 8. Let n(a) = y*w(a) - s(a). Is 14 a factor of n(-5)?
True
Let d be (1 + -2 - -1)/1. Suppose 0 = n + i + 6, 2*i + 3 + 1 = 0. Is d + 14 - 4/n a multiple of 6?
False
Suppose r - 8 = -3. Suppose s - 60 = -r*j, -s - 5*j = s - 115. Let b = -29 + s. Is 15 a factor of b?
False
Let h(d) = 21*d - 2. Is h(2) a multiple of 8?
True
Let x(o) = 4*o - 19. Is x(22) a multiple of 28?
False
Let h be (0/(-4))/(2/(-2)). Suppose h = -d - 3*x + 2*x + 34, 2*x = d - 28. Is d a multiple of 19?
False
Let w be 2/(-5) - 164/(-10). Suppose -60 = -s + i, 2*s - i = 107 + w. Let k = s - 17. Is 23 a factor of k?
True
Does 60 divide -2 + 5/3 - 6489/(-27)?
True
Does 12 divide ((-4)/(-6))/((-2)/(-36))?
True
Let s = 5 + 0. Suppose s*y - 110 = 2*w, 2*w + 51 = 2*y + 13. Let v = -17 + y. Is 7 a factor of v?
True
Is 18 a factor of 3/((-3)/(-72)*2)?
True
Let s = -5 - -21. Suppose -t = t - s. Is t a multiple of 8?
True
Let v be 3/12 + 147/4. Let p(y) = -5*y + 12. Let u be p(6). Let w = u + v. Is w a multiple of 9?
False
Let m = -6 - -6. Suppose -2*k = 5*b - 24, b - 2*k = -m*k. Suppose q - b = 7. Is q a multiple of 5?
False
Let c(m) = m - 9. Let w be c(7). Let d = 7 + w. Suppose 2*p = d*k + 71, -k = 2*p - 2*k - 59. Is p a multiple of 14?
True
Suppose -151 = 3*j - 403. Is 28 a factor of j?
True
Let v(b) = -2*b**3 + 2*b**2 + 5*b + 2. Is 8 a factor of v(-2)?
True
Let c(q) = q**3 + 4*q**2 - 11*q + 6. Is c(-5) a multiple of 18?
True
Suppose 324 = 8*i - 580. Is 21 a factor of i?
False
Let q = 59 + -41. Is q a multiple of 6?
True
Let k(i) be the second derivative of 7*i**3/6 + i**2 + 5*i. Let g = -1 - -3. Does 7 divide k(g)?
False
Suppose -7*c + 0*c + 112 = 0. Does 4 divide c?
True
Let n = -21 - -73. Let j = n + 163. Suppose -7*v + j = -2*v. Is 19 a factor of v?
False
Let k(f) = f**3 - 6*f**2 - 3*f - 8. Let y be k(7). Suppose y = -5*n, 2*h + h = -2*n - 8. Suppose 14 - 152 = -4*w + v, h = -w - 3*v + 28. Is 16 a factor of w?
False
Let c(q) = -3*q**3 - 7*q**2 - 7*q - 5. Is c(-4) a multiple of 33?
False
Let x(g) = -g**2 - 8*g + 5. Let u(j) = -3*j + 1. Let k be u(3). Let s be x(k). Suppose 3*c + 18 = 5*v - 26, 0 = s*v + 2*c - 29. Is v a multiple of 5?
False
Let m(s) = -10*s + 3. Let y be m(-7). Suppose 4*l - 137 = -3*r, 0*r - 2*r + y = -l. Is r a multiple of 13?
True
Suppose -l = -2, 1110 = 3*b - b - 2*l. Suppose 3*u - 6694 = 5*r, 4*u - b = -r - 1882. Does 27 divide r/(-49) + (-2)/7?
True
Suppose 0 = -2*l - 3*l. Suppose l = -n + 4 - 36. Let c = n + 56. Is c a multiple of 9?
False
Let x = -7 - -12. Suppose 31 = 4*k + 5*r, -6*r = -x*k - r + 95. Does 7 divide k?
True
Is (224/(-35))/((-4)/10) a multiple of 7?
False
Suppose r - 3*v + 4 = -r, v = 0. Let f be (0 - r) + -3 + 3. Suppose 5 = 3*g - f*g. Is g a multiple of 4?
False
Let w = 75 - 33. Is 10 a factor of w?
False
Is 12 a factor of (171/27)/(2/72)?
True
Suppose 9*u = 8*u + 4. Suppose 0*v = v - 2*m, 3*v - u*m = 8. Suppose q = -v + 31. Is q a multiple of 8?
False
Let n = -16 + 29. Is n a multiple of 13?
True
Let g = 198 + -141. Let a = -12 + g. Let d = -23 + a. Is 11 a factor of d?
True
Let d be (-2 + 0)*-4*-8. Let t be (-1 - d) + (1 - 1). Suppose 3*x - t = 2*p, 0 = 2*x - 0*x + p - 42. Does 12 divide x?
False
Let r(d) = d**2 + 8*d + 10. Let x be r(-7). Is (9/(-12))/(x/(-12)) even?
False
Let n(q) = q**2 + 11*q + 19. Is n(-10) even?
False
Suppose 22 = 2*l - d + 3*d, d - 32 = -4*l. Does 13 divide 109/4 - l/28?
False
Let t(m) = m**2 - m. Suppose -2*k + 35 = 13. Let x = -8 + k. Does 6 divide t(x)?
True
Suppose 0 = 3*y - y. Suppose y = 5*r + 3*f - 56 - 16, -52 = -5*r + 2*f. Is 11 a factor of r?
False
Let f = -57 - -92. Is f a multiple of 5?
True
Let u(i) = 2*i + 8. Is u(2) a multiple of 4?
True
Is 23 a factor of (-634)/(-18) - (-2)/(-9)?
False
Suppose 282 + 54 = 3*q. Is 14 a factor of q?
True
Let g = 12 - 12. Suppose k - 4*k + 111 = g. Is k a multiple of 16?
False
Is 16 a factor of (-2 + 1 + 3)*24?
True
Suppose -4*z + 106 + 188 = -3*o, 3*z + 3*o - 210 = 0. Let f = -2 - -5. Suppose 5*g - 66 = -3*s + z, -f = g. Is 17 a factor of s?
True
Let o be (-45)/4 + 2/8. Let r be 2/7 + (-89)/(-7). Let z = r - o. Is 17 a factor of z?
False
Let a = -8 + 5. Is (-1)/a - 178/(-6) a multiple of 15?
True
Let n(y) = y**3 - y**2 + 6. Let v be n(0). Let d(w) = w**3 - 6*w**2 - 8*w - 4. Let g be d(v). Let c = -22 - g. Is 15 a factor of c?
True
Suppose -3*i - 2*i = 2*l - 46, l = i - 5. Suppose -5*u - 8 = -4*o, u - 4*u = 5*o - 10. Suppose -g + i + 16 = u. Is g a multiple of 12?
True
Let t(r) = 7*r**2 + 5. Let n be t(-5). Suppose -3*k + 7*k + n = 0. Let i = -27 - k. Does 18 divide i?
True
Let n(q) = q + 3. Let m be n(-3). Let w be 2*36 - (m - 2). Suppose 5*g - w = 3*j, 56 + 12 = 5*g - j. Is 13 a factor of g?
True
Is 25 a factor of (250*(0 - 1))/((-4)/4)?
True
Suppose 3*u = -5*b - 3 - 7, 2*b = 2. Let n be 1/3 - u/3. Suppose -n*m = p - 24, -m = -2*m + 3. Is 10 a factor of p?
False
Let h = 4 - 3. Let w(o) = -3 + 61*o**2 - o - 1 + 4. Is w(h) a multiple of 17?
False
Let s(q) = 2*q**2 + 4*q + 2. Let t be s(-2). Let a be t*15/(-12)*-14. Suppose -2*b + a = 3*b. Is b a multiple of 7?
True
Does 3 divide -12*(3 + 22/(-6))?
False
Suppose 4*c = -10 - 2. Let q(a) be the second derivative of -a**5/20 + a**3/6 - a**2 - a. Is 22 a factor of q(c)?
True
Suppose 11*a - 440 = 6*a. Does 11 divide a?
True
Suppose 0 = -2*n - 5*b + 25, 0*n - 4*n - 4*b = -32. Suppose 2*s - 3*s = -n. Suppose 0 = -o + i + 15, -i + s*i + 73 = 5*o. Does 13 divide o?
True
Suppose 4*v - p - 19 = 0, 5*v - 3*p - 29 = -0*v. Does 4 divide (2/4)/(v/56)?
False
Let g(p) = -p + 9. Let x be g(5). Suppose -4*k + 96 = -2*z, -x*k + 6*z + 92 = 5*z. Does 22 divide k?
True
Suppose -33 = -4*a - p, 0 = -a - 3*p + 11 + 11. Let o(q) = -q**3 + 7*q**2 + q - 2. Does 4 divide o(a)?
False
Let m(o) = o**3 + 9*o**2 + 16*o - 4. Does 2 divide m(-6)?
True
Let a = 124 - -49. Does 11 divide a?
False
Let l be 98 - 6/((-6)/2). Let f(v) = -v**2 + 5*v. Let t be f(4). Suppose t*z - l = 4. Is 14 a factor of z?
False
Suppose p - 77 = 4*h, 2*h - 124 = -p - p. Is 13 a factor of p?
True
Let z be (1360/(-10))/(1/(-1)). Suppose -z + 16 = -5*c. Does 15 divide c?
False
Let j(r) = -r**3 - 6*r**2 - r + 4. Let s be j(-4). Let z be (-1 + -1)/(3/s). Suppose -4 = 3*k - z. Is 2 a factor of k?
True
Suppose -3*s = 12, 0 = -5*h + 6*s - 4*s + 53. Let x(w) = -w**2 + 17*w - 13. Let j(f) = -f + 1. Let p(c) = 5*j(c) + x(c). Is 13 a factor of p(h)?
False
Suppose -44 = -17*o + 6*o. Is o a multiple of 4?
True
Let p(k) = -73*k**3 - k**2 - 2*k - 1. Let q be p(-1). Let y = q - 50. Suppose -10 = -3*g + y. Does 5 divide g?
False
Suppose -4*j + 3*z = -2*z - 144, -z = 0. Does 9 divide j?
True
Let g = -116 + 162. Suppose -3*v - 4 = -5*b + 8, 0 = -3*v + 3*b - 12. Let k = g + v. Is k a multiple of 22?
False
Let r(g) = -17*g + 29. Is r(-4) a multiple of 30?
False
Is 37 a factor of (12 - -14)/((-2)/(-7))?
False
Let b(m) = 3*m**2 - 5*m + 16. Is b(5) a multiple of 6?
True
Let i be 6/(-15) + 12/5. Suppose 3*n - 55 = i*n. Is 19 a factor of n?
False
Let n = -126 + 204. Is n a multiple of 13?
True
Does 5 divide (3 - 36/20)/(4/90)?
False
Let z(a) be the second derivative of -a**5/20 + a**4/6 + a**3/3 - a**2 + 2*a. Let m be z(2). Suppose q - h - 66 = -26, 0 = q - m*h - 44. Does 12 divide q?
True
Let y(v) = -83*v - 16. Is y(-2) a multiple of 9?
False
Let y(a) = -19*a - 1. Suppose -d + 2 + 4 = 0. Suppose 3*n = -0*n - d. Does 14 divide y(n)?
False
Let j(a) = 2*a**3 - 3*a**2 + a. Let u be j(2). Suppose 11*w - 4*s = u*w + 119, 0 = 4*s + 4. Does 6 divide w?
False
Let a = -11 + 1. Does 10 divide (-184)/a - (-6)/(-15)?
False
Suppose m = 2*m, r + 5*m - 20 = 0. Is 6 a factor of r?
False
Let u(y) be the second derivative of y**5/20 + 5*y**4/12 + 2*y**3/3 + 2*y. Does 6 divide u(-3)?
True
Let n be (-2)/(-3)*(-3)/1. Let o 