
3
Let a(d) = 3*d + 8. Let x be a(-2). Suppose -x*h - s + 16 = 0, -5*h + 2*h + 3*s + 15 = 0. Solve -5*f + 3*m - h = 25, 0 = -2*f + 5*m - 28 for f.
-4
Suppose 2*c + 4*r - 2 = -14, 12 = 4*c - 4*r. Suppose c = -23*g + 21*g + 10. Solve 0 = 5*h + 5*m - 30, 3*h = g*m + 4 - 2 for h.
4
Let p(l) be the second derivative of 0*l**2 - 1/3*l**3 + 0 - 3*l. Let a be p(-4). Solve 0 = -6*q + 8*q - 3*k + 19, -q - 2*k = -a for q.
-2
Let v be 3 - (4/(-3))/(48/792). Solve -3*c - 2*g = g - 15, v = 2*c + 5*g for c.
0
Let w = 721 + -718. Solve -w*m + 6 = -3*j, -4*m - 5*j - 10 = -0 for m.
0
Suppose -47 - 29 = -38*b. Solve 0*p = b*p, 0 = 2*x + p + 8 for x.
-4
Suppose -5*v - 3 = a - 18, 0 = -a - 2*v + 6. Solve -3*p = -k - a*k + 9, 3*p = 2*k - 12 for p.
-2
Let l be (2 - 2) + -1 + 5. Let o(v) = 12*v + 81. Let y be o(-8). Let a be (8 + y - -8) + 1 + 2. Solve -l*x - q + 6 = -3*q, 5*x = a*q + 9 for x.
1
Suppose -q + 18 = 3*b + 11, 4*b = -3*q + 16. Solve -q*u + 4*k + k + 25 = 0, -2*k - 2 = 0 for u.
5
Suppose 4 = w - 2*b + 2, -w + 4*b - 4 = 0. Let s be (-1)/2 - (-4)/w. Solve 3*y + 5*a + 6 = -s, -4*a = 2*y + 6 for y.
3
Let t be (-1 - (-3 + 1)) + 4. Suppose -4 + 14 = t*k. Suppose -3*n + 19 = -4*y - 3, -n = 2*y - 24. Solve -2*l + j - 7 = 3, -3*j = -k*l - n for l.
-4
Let r(a) = 16 - a**2 - 10 - 10 - 10*a. Let g be r(-9). Solve -2*c - 6 = -l, 4*l + g*c + 2 = -0*l for l.
2
Let d(h) = 0*h - 53 + 84 + h. Let m be d(-31). Solve m*j + j = -i + 4, -4*j + 11 = 3*i for i.
5
Let v(c) = 2*c**2 - 90*c + 89. Let w be v(44). Solve 4*p - 1 = -5*n + w, 5*p + 14 = 2*n for p.
-2
Let i = 40 - 28. Suppose 4*y - i = -4*p, y - 12 - 9 = 5*p. Let r = y - -11. Solve 5*g - 3*w = -25, 2*g - 4*w + r = 7 for g.
-5
Let d(x) = 16*x**3 + 2*x**2 - x + 3. Let h be d(0). Solve -h*u = -2*c + 3, -c - 6 = -0*c + u for c.
-3
Let q be -1*(4/18 + (-249)/27). Suppose 28 - 1 = q*c. Solve -2*s + 3*x + 6 = 0, x + c*x = -5*s - 8 for s.
0
Let q be 133/(-5) + (-6)/(-10). Let t = -14 - q. Solve t = 5*g - x, 6 = -0*g + 4*g + x for g.
2
Let h be 0/(10/25*5). Suppose -u = -m - 2 - h, -m + 2 = u. Solve -4*r = -u*i - 1 + 19, i + r = -3 for i.
1
Let v = -431 + 438. Solve -5*u = 2*r - v, -2*r + 5*u = -r + 4 for r.
1
Suppose -3*m = -n + 19 - 4, -29 = -3*n + 5*m. Suppose 4*o = -4*s - 293 - 147, s = 3. Let h = o + 114. Solve -c = -2*y - h - 8, n*c - 3 = 0 for y.
-4
Let h be ((-78)/10)/((-5)/25). Let f be (-2)/(-14) + (-2 - h/(-21)). Solve f = 2*d - 5*u - 14, -5*d + 2*d = -4*u - 14 for d.
2
Suppose -85*y - 4 = -87*y. Solve 5*o + y*b - 33 = 0, -b = -6 + 2 for o.
5
Let a = 514 - 496. Solve -3*v - 18 = -3*w, -7*v = -6*v + 5*w - a for v.
-2
Suppose 0 = 2*j - j - 5, 5*i - 25 = -2*j. Let a be (0/2)/(i/3). Solve 0*b = 2*d + b - 10, 3*d + 3*b - 15 = a for d.
5
Let r = -7 + 41. Let s be r*(2 + 1 - 2). Let o = s - 18. Solve 0 = 5*p - 3*k + o, -4 = 2*p - 3*k - 3 for p.
-5
Suppose -19 + 19 = l. Suppose l = 3*x - 40 + 25. Solve 3*a + 4*d = 11, -1 = -x*d + 9 for a.
1
Let z = 290 - 285. Solve 0 = 5*r - 6*r + 2*a - 8, z*r + 1 = -3*a for r.
-2
Suppose 2*y - y = -5*r - 112, 4*y = 5*r + 127. Let c be r/(-5) - (-12)/30. Solve c*g + 0*l + 30 = -5*l, -g = -2*l - 6 for g.
-2
Suppose 48 = 5*d + o - 27, 4*d + 5*o = 39. Solve 5*l + 17 = q, 0 = 2*q - 5*l + l - d for q.
2
Let m be -6 - (-6 + (8 - 12)). Solve m*r - s = 1 + 4, 2*r - s - 1 = 0 for r.
2
Let q = -89 - -93. Let n be 2 + (2 - 3/3). Suppose n*c - 8 = 1. Solve 23 = 4*y - 3*i, -q*y - 1 = c*i + 6 for y.
2
Let m = 3 + -4. Let l be 27 - (1 + m + 3). Let f be l/16 - 54/(-4). Solve r = 0, 4*r + r = 5*a + f for a.
-3
Let d = -1 - -4. Let x = 102 - 123. Let t be ((-28)/x)/((-8)/(-18)). Solve 2*v + 12 = 4*m, 3*v - t*m + d = -0*v for v.
4
Let f = -9 + 19. Suppose -5*g + m = -32, 2*m = -0*g + g - f. Solve -2*a = -3*a + 2*t + 11, 3*a + 3*t - g = 0 for a.
5
Suppose -2*b + 2*w = -172, -3*b + 500 - 210 = 5*w. Let f be (-36)/b + (-17)/(-5). Solve 0 = -3*m + 3*y - 8*y - 23, 0 = 3*m - f*y - 9 for m.
-1
Let u be (-2 - -4) + 0*(-7)/(-70). Solve -f - 13 = o - 5, u*f = -8 for o.
-4
Suppose -59 = -5*y - 34. Suppose v = 2*v - 21. Solve -2*u + v = 4*f + 7, -5*u = -y for f.
3
Suppose 3*y = 10*y - 49. Suppose -2*q + y = 1. Solve g = -q*v + 7, -v - v + 4*g = -28 for v.
4
Suppose 0 = 6*y - 2*y + 5*i - 39, 4*y - 5*i = 9. Let t be (2/(-4)*2)/(-1). Suppose t = -5*l + y. Solve -5*s - 2*o - 4 = l, -4 = 3*s + o for s.
-3
Suppose -5*g + 60 = -0*g. Suppose g - 2 = 5*y. Solve w + b = -4, 2*b + 4 = -0*w + y*w for w.
-1
Let z = 8 + -4. Let q be (-60)/(-2) - (2 + 1). Suppose 5*l = 2*l + q. Solve 3*h + 5 = a, -10 = z*a + h + l for a.
-4
Let y be -9*(10/(-15))/2. Solve 4*c = -4*t, 3*c - y + 2 = -4*t for t.
1
Suppose 91 = 4*k + 3*f, 6*k - 5*f + 120 = 11*k. Solve -3*q + h + k = 0, -4*h - 30 = -3*q + 1 for q.
5
Let p(d) be the second derivative of -d**3/6 - 2*d**2 + 10*d. Let h be p(-8). Solve -3*j - 4 = -h*u, 5*u + 1 + 1 = 2*j for u.
-2
Let t be (-7)/(-63)*-3*-6. Solve -3*v + 3*b = -6 - 6, 0 = -3*v - t*b + 12 for v.
4
Let i be (3/2)/(3/4). Let h = -33 - -35. Solve 1 = i*r - h*x + 3, -r - 16 = 4*x for r.
-4
Let j be -2 + ((-6)/(-5))/((-4)/(-20)). Solve -j*t + 14 = -2*z, 0*t - 2*t = 3*z - 3 for z.
-1
Suppose 2*k + 2*v = 11 - 9, -4*k - 2*v = -10. Solve -4*c - k*n = -9*n - 9, 3*c - n = 4 for c.
1
Let w = 0 - -1. Suppose 0 = 2*l + 24 - 32. Suppose l*b - 36 = -5*b. Solve -3*a - w = -b*a + 2*t, 3 = -t for a.
-5
Let f be ((4 + -1 + 0)*-1)/(-1). Solve k + 16 = -f*t, 0*k = t + 2*k + 7 for t.
-5
Suppose r + 6 = h, 0 = -r - 4 + 2. Solve -5 = 4*n - u - 2*u, 3*n + 10 = -h*u for n.
-2
Let b(h) = -h**3 + 7*h**2 + 8*h + 2. Let d be -3*(-3 - (3 - 5)). Suppose d = 5*g - 37. Let i be b(g). Solve 0 = 5*f - 3*s + i, 4*f - 4*s + 6 = -f for f.
2
Let g(o) = -o**3 - 3*o**2 + 3. Let f be g(0). Solve -f*t = t + 3*w - 21, 4*t - 6 = 2*w for t.
3
Let t be -12 + 4/8*(0 - 8). Let f = t + 21. Solve f*c = 3*c - w - 8, -5*w - 20 = 0 for c.
-2
Let o be 40/(-30)*(-30)/8. Suppose -3*x + 7 = 5*f - 0, -15 = -5*f + o*x. Solve -2*d + 12 = -5*i, 0 = -0*d + f*d - 2*i for d.
-4
Let o(r) = -3*r - 34. Let z be o(-12). Let c be 10/z + (-5)/1. Solve i - 4 = c, -a = -5*i + i + 17 for a.
-1
Suppose -3*d + 12 = -0*d. Let b be ((-12)/(-9))/(6/(-45)). Let k(a) = -a**3 - 11*a**2 - 10*a + 2. Let t be k(b). Solve -12 = d*o + 4*r, -o - 2 = t*r + 5 for o.
1
Let y(z) = -2*z**2 - 11*z - 5. Suppose 30 = 2*p + 38. Let q be y(p). Solve -3*f = -4*j - q, -3*f = 3*j - 2*f - 11 for j.
2
Let b = -33 - -35. Suppose 3*a = -5*p + 110, -2*a - 17 = b*p - 65. Solve -5*c = 3*h + 27, 0 = -4*h - c - 0*c - p for h.
-4
Let z be 18 + 0 + -1 + -1. Let g be 2/(-1) - (z + -18). Solve 2*i - 2*c + g*c = 0, 2*c + 2 = 0 for i.
-1
Suppose 13*q = 6 + 215. Suppose -q*n + 48 = -54. Solve -x - 13 = 3*l, n*l - 2*x = 2*l - 24 for l.
-5
Let h = 47 + -33. Suppose 5*g = -2*q + h, -3*g + q = -0*q - 15. Solve 3*u = -g*p - 7 - 4, u = 2*p - 7 for p.
1
Let a = -2179 - -2182. Solve 2*i + 5*z = 23, -a*i - 3*z + 1 = -5*i for i.
4
Let v = -58 - -57. Let l = v + 15. Solve 2*o + 10 = -2*d, 0 = 4*o + d + l for o.
-3
Let u = -138 - -97. Let b = u - -41. Solve 2*t + b*a = a - 7, 3*a - 6 = 3*t for t.
-5
Suppose -5 - 3 = n - o, 2*n = -4*o - 4. Let i = n + 10. Solve -i*c + 2*t = -3*c - 6, -5*c + 5*t = -10 for c.
-2
Suppose -5*q - 3*b = -13 - 10, -b = 5*q - 31. Solve 2*n + 8 = -5*x - 21, n = -x - q for x.
-5
Suppose 3*b + 4*y + 5 = 21, -5*b = 5*y - 25. Let x(q) = -7*q - 1. Let t be x(-1). Let s be 2 - -2*3/t. Solve -b*a + 8 = -s*g, 5*a + 11 = 4*g + 4*a for g.
4
Let j = 232 - 229. Solve 0 = -4*q, j*d - q + 6 = -0*d for d.
-2
Let m = -928 - -932. Solve -m*s + 4*r + 4 = -0, -s - 3*r = -9 for s.
3
Let w(o) = o**3 + 4*o**2 + 4*o + 3. Let g be w(-3). Suppose -q = -g*q - 22. Solve 4*x = 2*n + 10, 2*x + 4*n - q = 8 for x.
5
Let f be 14 + -4 + -2 + 4. Solve -2*y + 4*s + f = 0, -y - 2*y = -s - 8 for y.
2
Let l(o) = -o - 3. Let c be l(-6). Let r be (c - 1 - -2)*1. Suppose -r*x - 29 = -3*h, 2*x = -h + 6*x + 15. Solve q + h = -5*a, a - 5 - 5 = -4*q for a.
-2
Suppose -4*u = -12 - 0. Suppose 6 = 4*h - h. Let z be (h + -1)/(u/9). Solve q + 15 = -3*x, 3*x + 10 = -z*q - 11 for x.
-4
Let f(b) = -16*b + 10 - b**2 + 1 - 6 - 31. Let z be f(-14). Solve -2 = -2*s - t - 2*t, s - z = -t for s.
4
Let l(n) = n**2 - 6. Let u be l(0). Let a be 2/(-8) - (-23)/(-4). Let q = a - u. Solve -g + q*