3*b + 5*f + 19, 0*b - 2*f - 8 = b for b.
2
Let q(a) = -a + 25. Let z be q(0). Let s = -20 + z. Solve -3*y = -w - 19 + 4, 4*w + 25 = s*y for y.
5
Let v = 1517 - 1511. Solve 6*k - 4*k = 4*x, 3*k + v = 0 for x.
-1
Let u(m) = 9*m**3 - m**2 - m + 1. Let v be u(1). Suppose v*b + 5 = 7*b. Let r be (-132)/b - 14/35. Solve -o + 6*o + 3*f - r = 0, 2*o = -2*f + 12 for o.
4
Let g(f) = f**3 - 40*f**2 + 4. Let k be g(40). Solve 4*d = d - 4*w - 28, -k = 5*d - 4*w for d.
-4
Let l(t) = -t**2 + 71*t - 138. Let w be l(2). Solve w = m + 2*m - 12, 0 = 4*j - 5*m + 28 for j.
-2
Let l = -49 - 17. Let j be 6/9*l/(-4). Solve -5*p = -g - j, 3*p - 6 = 2*g + p for g.
-1
Suppose 0 = -3*s + 5*s. Let q be ((-16)/3 + -1)/(1/(-3)). Suppose -4*t + 1 = -q. Solve p - t*r = -s*p - 13, -4*p + 23 = 5*r for p.
2
Suppose -5*z + 3*u = 474, -8*z + 2*u = -7*z + 92. Let m = 96 + z. Let q = 17 + -8. Solve 0 = 2*s + 4*k + 35 - q, m = s - k - 2 for s.
-3
Suppose 0 = -29*g + 33*g + 8. Let x be 1*3*((1 - -2) + g). Solve -3*p - 3*f = 12, 4*p - 19 = x*f - 0 for p.
1
Let v(o) = o**3 - 50*o**2 + 92*o + 194. Let s be v(48). Suppose 38 = -3*d + 95. Solve 0*k + k = -b - 8, 3*k = -s*b - d for b.
-5
Let m = 94 + -55. Let p be 4/(12/m) - (2 - 0). Solve 3*y + 1 = 5*i + p, 4*i + 30 = -2*y for y.
-5
Let t = -911 - -924. Solve -32 = 4*q - 5*l, 1 = -3*l + t for q.
-3
Let x(a) = a**2 + 10*a - 5. Let z be x(-11). Suppose z*r = 13 + 11. Solve 0*i - 30 = -5*u - r*i, -i + 3 = -u for u.
2
Suppose -5*x - 2*s + 26 = 0, 4*s - 17 = -3*x + 7. Solve 0*l = -3*o - 4*l - 25, 24 = -x*o - 3*l for o.
-3
Suppose -64 + 13 = -3*c. Suppose 4 = d + 4*z - c, -4*d = 3*z - 45. Solve -4 = -d*l + 5*l, -4*n = -2*l + 22 for n.
-5
Suppose -n + 8*n - 455 = 0. Let b = n - 61. Solve 3*t - 4*g + 2 + b = 0, 3*t + 4*g = -6 for t.
-2
Let c(j) = j**2 + 2*j - 6. Let v be c(-4). Suppose -2*g - 3*m = -8, g + g - 8 = -v*m. Solve -u - 3*z - 11 = 0, u - g*u + 4*z - 7 = 0 for u.
-5
Let a = -42 + 44. Solve -14 + 4 = 5*g, 0 = -k + 2*g + a for k.
-2
Let r(k) = k**2 + 6*k + 3. Let f be r(-5). Let u = f - -5. Solve -24 = 4*o + 3*t, 5*t - u = 4*o - 11 for o.
-3
Suppose -259*t - 20 = -263*t. Suppose 30 = t*s + s. Solve s = -2*o + 3*u, -2*o + 5*o + 5*u - 40 = 0 for o.
5
Let h = -93 + 95. Let m be 36/20 + h/10. Suppose -4*n = -5*c - 48 - 4, -4*c = -16. Solve 3*a - r = 3*r - 17, n = -m*a + 4*r for a.
1
Let c = -261 + 267. Solve 3*x - c = -3*d, -3*x = x - d - 23 for x.
5
Let y(u) = u**2 + 3*u - 7. Let b be y(-5). Suppose 10 = 2*q + b*q. Solve 0 = 4*f - q*t + 6, -f + 4*t - 3*t = 1 for f.
-2
Let x = 493 - 484. Solve 5*n = -3*j + 1, -2*n - x - 3 = -5*j for j.
2
Let s be 32 - 3/((-9)/(-6)). Suppose 0*t + s = 2*t. Solve 5*x + 0*x + 20 = 2*m, -t = -3*m for x.
-2
Suppose -15*f + 34*f = 38. Suppose 0 = -j + 7 - 3. Solve n - f*n - 5*q + 7 = 0, -2 = -3*n + j*q for n.
2
Suppose -u - 35 = -p - 3*p, -4*p = -4*u - 140. Let n = u + 38. Solve -2*l = -3*c + 7, n*c + c + 4*l - 16 = 0 for c.
3
Let p(q) = -q + 3. Let a be p(-8). Suppose -2*u - 6 = 4*l, -u + 4*l + 4 = -a. Solve 0 = -0*n + 2*n + u*h + 2, -h + 3 = -3*n for n.
-1
Let h(a) = 21*a - 2. Let o(f) = 2*f - 1. Let m(n) = h(n) - 6*o(n). Let u be m(1). Solve 5*i + 3*k = 4*k - 19, -5*k - u = 2*i for i.
-4
Let x(d) be the second derivative of -d**3 - d**2 + 8*d. Let g be x(-1). Solve 0 = g*m - 3*i, 2*m - 3*i - 9 = -3 for m.
-3
Let n = -347 - -245. Let t = 102 + n. Solve -3 = -2*d + 3*s - 0, t = 4*d - 5*s - 5 for d.
0
Suppose q - 4*y - 52 = 0, 2*y + y = 4*q - 143. Let z = 34 + -32. Solve 5*v + z*m = -14, q = -8*v + 3*v + 4*m for v.
-4
Let k be 6 + (5 - (-1 + 0)) + -8. Solve -2*p - b = 4, -k*p - 8 = -6*b + 3*b for p.
-2
Let d = -4 + 8. Suppose -40*a + 29*a = -44. Let t be (360/(-32))/(-15)*1*a. Solve 4*p - d*u + 2 + 2 = 0, -27 = -t*p - 3*u for p.
4
Let q(h) = h**2 + 10*h + 13. Let k be q(-9). Suppose 6 = 2*z + z + a, k*a = -3*z + 6. Solve 3*r = -u + 3, 10 = u - 3*u + z*r for u.
-3
Let m be (16/(-10))/((-19)/(95/2)). Solve 4*t + 11 = 2*i + 3, 0 = -i + m for t.
0
Suppose 2*x + 2*t - 236 = -218, t - 4 = 0. Solve 4*o + 4*l = x*o - 2, 5*l + 9 = -2*o for o.
-2
Let w(r) = r**2 + 3. Let v be w(0). Suppose 2 = v*a - 4. Solve -a*u - 5*z = -u + 15, u + 13 = -4*z for u.
-5
Let x = 469 + -467. Solve 2*c + x*c = 5*v + 20, -v = 5*c + 4 for c.
0
Let c(h) = -8*h - h - 7*h. Let y be c(1). Let g = 24 + y. Solve 13 = -s + 2*b, 0 = -3*b + g + 4 for s.
-5
Let s be -5 - (10/5 + -11). Solve 0 = -4*y + 4*d + 24, s*y + 4*d = -y - 6 for y.
2
Let o = -22 + 10. Let i be (0 + 11/(-4))/(3/o). Solve -3*t - y + 23 = 4*y, -i = -3*t - 2*y for t.
1
Let u(k) = 2*k**2 + 97*k - 148. Let h be u(-50). Solve -p = 4*z + 4, -4*p - 2*z - h = -p for p.
0
Let m be 163/(-3) - (-6)/18. Let t = -51 - m. Solve t*o = -3*n + 9 + 3, 4*o + 4 = n for o.
0
Let g be 2/10 - (-1984)/80. Suppose -g*k + 23*k = -2. Let i be (-2)/(1*k/(-2)). Solve -4*u + i*c - 13 = -5, 2*u - 16 = -3*c for u.
2
Suppose 20 = -4*m - 28. Suppose 0 = 802*y - 792*y - 90. Let c be 0 + m/y*-3. Solve -c*n - n + 24 = -3*l, -2*n - l + 3 = 0 for n.
3
Let u = -370 + 245. Let z = 125 + u. Solve -3*q - 4*o = -4, z = -q - 6*o + 4*o for q.
4
Suppose 41*c - 16 = 968. Solve -r + 7 = 2*t, -3*t + 0*t + 3*r + c = 0 for t.
5
Suppose 16*c + 4 = 18*c. Solve 0 = -d - 3*i - 17, -c*i - 1 = -2*d - i for d.
-2
Suppose -5*d = 20, 12 = -0*c + 2*c + 2*d. Solve -4*b - q - 8 = b, 0 = -5*b + 5*q + c for b.
-1
Let a = -93 - -96. Let c be 10/5 + 21*1. Suppose -3*b = -5*x - 27, 8*b - 3*b - x - c = 0. Solve 2*h + 9 = u, 0*h - a*u = -b*h - 23 for h.
-2
Let y = -216 + 223. Solve 0 = 3*b - 5*m - y, m - 9 = -3*b + 4*m for b.
4
Let i be (1/2)/(5/30). Let v be 16/(2/(-2 + i)). Suppose -8*h + 4*h + v = 0. Solve -3*l = 3*a, l - a = h*a + 4 for l.
1
Let c(u) = -u**2 + 18*u - 5. Let n be (3 + 3)/(4/10). Let a be c(n). Suppose -a*j = -42*j + 18. Solve -5*g + 2 - 11 = 2*t, 3*t - j = 0 for g.
-3
Let f(t) = -19*t**2 - 15*t - 35. Let v(o) = -13*o**2 - 10*o - 23. Let w(d) = -5*f(d) + 7*v(d). Let s be w(-2). Solve 0 = 2*m - 4*y - s, 0 = 4*y - 2*y + 6 for m.
4
Suppose 4*v = 5*z - 29, 3*v + 24 = z + 3*z. Suppose u - 2*u + z = 0. Let i be 4/(-2)*(u + -10). Solve i*h + 3*c = 3, -6*h = -h - c + 1 for h.
0
Let z(a) = a + 2. Let j be z(3). Let q be (6/9)/((-2)/(-36)). Suppose 10*b + q = 13*b. Solve -j = -o + 5*s + 5, o + 8 = -b*s for o.
0
Let r = -428 - -433. Solve -17 = -3*t + n, 10 = -0*t + r*t + 2*n for t.
4
Let d = 622 + -602. Solve 0 = 2*q + 5*k - 15, -k = -5*k + d for q.
-5
Suppose -4*i + 250 = i. Suppose 5*r = -0*r + i. Solve -r = -5*f - 4*o, -5 - 4 = 2*f - o for f.
-2
Let j(q) be the second derivative of -q**4/6 + 7*q**3/3 + 2*q**2 + 3*q. Let o be j(7). Solve a + n = -0*n, 0 = -a + o*n - 5 for a.
-1
Let x be (-153)/(-36) + ((-126)/24 - -5). Solve 5*q - 2*q = 3*w, 0 = x*w + 5*q for w.
0
Suppose 0 = -4*g + 3*s + 33, 2*g - 7 = s + 8. Let o(t) = 2*t**3 + 17*t**2 + 20*t - 5. Let y be o(-7). Solve -5*r - 27 = 3*p, 1 = -r + y*p + g for r.
-3
Suppose -5*d - 21 = -4*o, 5*o - 33*d + 28*d = 30. Solve -f - 3*k - 1 = 8, -f + 3*k + o = 0 for f.
0
Let y = -6 + 8. Suppose 0 = f + y*f. Let s = -7 + 7. Solve s = z - 3*l + 15 + 2, f = 3*z + l + 1 for z.
-2
Let j be 634/(-18) + 8/36. Let h = -32 - j. Solve 0*o = 2*w - 2*o - 16, 5*o + 30 = h*w for w.
5
Let k(b) = -2*b**2 + 22*b - 2. Let i be k(10). Solve 4*f + 5*g - i = 0, 3*f = -f - 4*g + 16 for f.
2
Suppose 0 = 2*z + 2*z + 4*u - 4, -8 = 2*u. Suppose -i + 62*v + 29 = 67*v, 0 = 2*i + 4*v - 34. Solve -4*y + b = -i, -z*y + 4*b - 7 = -21 for y.
2
Suppose 0 = -4*x + 2*x - 2*g + 2, -x + 4*g = -6. Solve k + 4 + 3 = -5*b, -x*k + 3*b + 12 = 0 for k.
3
Suppose 11*q - 19 = 14. Solve -5*g - 19 = -b, 7 = -q*b - 3*g + 2*g for b.
-1
Let z = 118 - 118. Suppose z*t - 4*t = -3*t. Let p be (-16)/(-6)*3/2. Solve 0 = -3*r + 5*i - p, 3*r + 8*i - 4*i + 13 = t for r.
-3
Suppose -3*b + 4*r + 2 = -4, -2*b = -4*r. Suppose -3*h = -4*o + 12, h = b*h. Solve -5*m + o*g - 3 - 3 = 0, 0 = -4*g + 8 for m.
0
Suppose -9*q - 84 = -2*q. Let r be 10/4*q/(-10). Solve r*g + 3 - 5 = -5*d, 2*g = -2*d + 4 for g.
4
Let l(d) = -d**3 - 7*d**2 - 10*d. Let w be l(-5). Solve -3*y + 0*v + 1 = -4*v, -5*y - 3*v - 8 = w for y.
-1
Let m(n) = 2*n**2 + 7*n - 8. Let c be m(-6). Let i = c + -20. Suppose 3*s - 3 = 3. Solve 0 = s*g + i*t + 2, 0*g + 3*t = 5*g + 21 for g.
-3
Let d(o) = o**2 + 6*