f for c.
0
Let a be (660/50)/((-4)/(-10)). Suppose 16 = 7*x - a. Solve 2*b + 2 = -o + 9, 5*b - o = x for b.
2
Suppose 26*q + 8 = 28*q. Let t be (6/q)/(-7 - 370/(-52)). Suppose 0 = -t*u + 18*u - 25. Solve -3*r = 3*x - 3, 0*r + 4*r - 13 = u*x for r.
2
Let w be 1*(-9)/(-30)*(-180)/(-18). Solve -4 = -2*t, w*t - 4 = 8*n - 7*n for n.
2
Let d(m) = 48*m - 1291. Let t be d(27). Solve 0 = 3*j - t*g + 7, -9*j + 10 = -11*j - 2*g for j.
-4
Let d = -1 - -7. Suppose 0 = -16*m + 14*m + d. Let i = 31 - 24. Solve 2*c = 4*n + 14, -m*n + c - i - 4 = 0 for n.
-4
Let d(y) = 9*y - 17. Let p be d(6). Let v(g) = g**3 - 36*g**2 - 39*g + 101. Let l be v(p). Solve -l = -2*c + 5*x, 5*c = -2*x + x for c.
1
Let w(z) = z**2 - 1. Let v be w(4). Let y = -21 - 196. Let a = y + 222. Solve -5*g + 2*d = -d + 10, -2*d + v = a*g for g.
1
Let t be 25 - (24 - -10 - 11). Solve -t = 2*y - 3*i, 4*y = 142*i - 139*i + 8 for y.
5
Let t(v) = -v**3 + 15*v**2 + 11*v - 74. Let b be t(7). Let r = 397 - b. Solve -3*q + d = 2*q - 3, -2*q = -2*d + r for q.
1
Let n be -5*29/(2030/(-196)). Solve 0 = -4*w + 3*y + 4, w + 5*y + n = 4*w for w.
-2
Suppose 0 = -199*k + 203*k - 496. Let c = 144 - k. Solve -17 - 3 = n - 4*a, 3*n + c = 4*a for n.
0
Let g(b) = -b**2 + 65*b - 290. Let h be g(60). Solve -4*x + 3*m = -h, -10*m + 8*m = x + 3 for x.
1
Suppose 3*h + 4*x - 1 = 0, -58*h + 3*x = -54*h - 43. Solve 3*n + 20 = -4*m, -h - 3 = 2*m - 4*n for m.
-5
Let g(n) = 92*n + 467. Let d be g(-5). Let j(s) = s + 15. Let q be j(-15). Solve t - 3*b - d = -q*t, 3*b = 2*t - 11 for t.
4
Suppose 3*i + 7 = 3*u - 2, -15 = -4*u + 5*i. Suppose -28*m + u*m = -112. Solve w + 5*o - 5 = 5, 0 = -m*w + 3*o - 6 for w.
0
Suppose -33 = -64*x + 53*x. Suppose -7*t = -11*t - n + 21, -7 = 2*t - x*n. Solve 5*d + 8 + 12 = o, -t*o + 32 = -4*d for o.
5
Let p = -2704 + 2706. Solve -6 = 4*s - p*y, 0 = -18*y + 14*y + 20 for s.
1
Let u = -17708 + 17711. Solve -z + l + 9 = -2*z, 0 = u*z - 4*l - 1 for z.
-5
Let l = -4368 + 4371. Solve -l*z = -4*r - 4*z, 5*z = r for r.
0
Suppose 4*s - 38 = 2*b - s, 5*s + 7 = -3*b. Let n be (-6)/b - 4/(-3). Let l be (-153)/(-21) - 4/14. Solve u - 5*h = -15, -15 = -l*h + n*h for u.
0
Let s be 0 - (2 + 45 + 5). Let a = 28 + 29. Let w = s + a. Solve -2*o + 3*o = 5*p, -3*p + w*o - 22 = 0 for p.
1
Let o = -6682 + 6688. Solve -x + 3*f - 10 = -o, -4*x + 29 = 3*f for x.
5
Let j(g) = -g**3 + g**2 + g - 1. Let b be j(1). Suppose -2*d - 2 + 12 = 0. Let r = -125 + 131. Solve b*q = -d*q + 5, -3*q + r = k for k.
3
Suppose -20 = -4*u - 32*t + 28*t, 7 = -4*u + 5*t. Let w be 32/u + -15 + 22 + -10. Let j = -1 - -3. Solve -j*h = r + 9 - 2, -r + 2*h = -w for r.
3
Let a(k) = 13*k**2 - 21*k - 22. Let m be a(-1). Solve -j = 14*x - m*x, 5*j + 4*x = 12 for j.
4
Suppose 721*q + 21 = 718*q. Let i be (4/q)/(26/(-91)). Solve -2*h - i = 0, 2*y + 4*h = -3*y + 21 for y.
5
Let u be (-6 + 20)*9/(-6). Let r be (2 - -1)*(-7)/u. Suppose -4*f - k = -2*k - r, 3*f + k = -1. Solve -2*d - 3 = -3*p, p - 15 = -f*d - 4*d for p.
3
Suppose 11 = -u - 62. Let d = u + 127. Suppose -56*h + d*h + 8 = 0. Solve -h*m - 2*k - 12 = 8, 2*m - 4*k = 0 for m.
-4
Suppose -4 = -3*z + 2*d, 4*z = 2*d - 0 + 4. Suppose z = -12*t + 264 + 36. Solve w = -3*s + 15, -5*s + 0*w = -w - t for s.
5
Let x(r) = 24*r**2 - 12*r - 1. Let z be x(2). Let h(f) = -30*f - 37*f + f**2 + z*f + 0*f**2 + 20. Let g be h(-4). Solve -3*s - g = -c, -3*s + 0 - 10 = c for c.
5
Let o(v) = -2*v**2 + 19*v + 35. Let g be o(11). Solve 1 = g*t - t, -i + 4*t - 6 = 0 for i.
-2
Let b = 343 - 339. Suppose -67 = -4*h - b*m - 7, m - 25 = -2*h. Solve -6 = 3*v - 3*c, 0*v + h = -2*v - c for v.
-4
Suppose -3*s + 11 = -20*p + 25*p, 3*s + p - 7 = 0. Solve 14 = -l + 9*m - 5*m, s*l - 3*m + 8 = 0 for l.
2
Let x be (-91)/(11 + -18)*1. Solve -n - 6 = 2*v, 3*v + x*n + 4 = 14*n for v.
-2
Let a = 832 - 832. Solve -5*f + 7*f = -4*z + 10, a = z + 5*f - 7 for z.
2
Suppose 107*w - 108*w + 5 = 0, -j + 3*w = 12. Solve -2 = 2*v - 3*t - 0*t, 0 = 3*v - t + j for v.
-1
Suppose 2*w - 2*m - 26 = 0, 0 + 25 = 5*w + 3*m. Let f be 146/(-6) - (w + (-150)/18). Let k be (f/9 - 2/6) + 6. Solve -3*g + 8 = 2*l, 3*g + 0*l - 3 = k*l for g.
2
Let l = -27 + 24. Let m(j) = 10*j + 10. Let r be m(l). Let i = r + 23. Solve -2*n + 5*h + 5 = -i, 2*n = 3*h + 8 for n.
4
Let y = -7823 + 7829. Solve 3*q - 3*x + 18 = 0, 3*x - 24 = -y*q + 11*q for q.
-3
Suppose -3*m = -5 - 16. Let d be -2*(-14)/(-4)*2/(-2). Suppose k = -n + 7, 5*n = k + d + 10. Solve 0 = -n*i - 2*h + 10, -5*i = -0*i - 4*h + m for i.
1
Let w(v) = -v**3 - 10*v**2 - v - 2. Suppose -36*l + 50 = -41*l. Let i be w(l). Solve -3 = j, -3*c + 4*c + i = -4*j for c.
4
Let y(r) = -r**3 - 9*r**2 + 72*r - 7. Let n be y(5). Solve 0 = 5*k + 12*h - 11*h - 13, -n*h = 4*k - 6 for k.
3
Suppose -3*l - 27 = -3*i, -418*i - 5*l = -414*i + 9. Solve -p - 3*p = -3*r - 26, 0 = i*p + 3*r - 14 for p.
5
Let n(a) = -a**2 + 22. Let r be n(5). Let w be r/(-12) + (-84)/(-48). Solve -7 = i + 3*c - w*c, c = 2*i + 5 for i.
-4
Suppose n + 2*x = 7, -4*n + 3*x - 27 = -33. Solve 1 = 4*i + 3*f, 2*i - n*f + 0*f + 13 = 0 for i.
-2
Let v(w) be the first derivative of 7*w**2/2 - 2*w - 1. Suppose 2*f = 3*j - 16, -10*f - 20 = -6*f. Let y be v(j). Solve -4*g = 5*b + 8 + 10, -b = 5*g + y for g.
-2
Let t be (408/(-1088))/((-1)/8). Solve -4*i = -t*m - 13, 8*i = 11*i - 3 for m.
-3
Let x(o) = -3*o**2 - 4*o - 31. Let g(j) = 2*j**2 + 5*j + 30. Let a(d) = 4*g(d) + 3*x(d). Let c be a(9). Solve 17 = -4*q - 3*s, -4*q - 7 = -5*s + c for q.
-5
Let h be 5 + (-1)/(-1) + -1. Let w = 78 + -39. Suppose h*i + 19 = w. Solve -5*f + 25 = y, -i*y - 2 - 3 = -f for f.
5
Let f = -41 - -189. Let u be (-14)/8 - (-703)/f. Solve -u*s + 3*d + 0 = -6, 3*d + 30 = -5*s for s.
-3
Let b be (-5)/((-10)/(-9))*8/(-6). Suppose -5*g = -b*g. Solve g = p - 5*x - 10, -p + x - 4*x - 14 = 0 for p.
-5
Let n(c) = 3. Let h(p) = 2*p. Let q(k) = h(k) + 4*n(k). Let f be q(4). Solve 4*t - 16 = -y, 0*t + f = 5*t - 4*y for t.
4
Suppose -6*f + 130 = -f + 5*v, -4*v + 133 = 5*f. Solve -h + 4*o = 2*h + f, -2*h + 4*o - 26 = 0 for h.
-3
Let t be (-128)/(-28) + -5 - (-5)/((-385)/(-187)). Solve -t*i + 5*i = -2*z + 19, -5*z = 3*i - 34 for z.
5
Let g(o) = o**2 - 8*o - 44. Let d be g(12). Suppose d*v - k = 9, -4*v + 3*k = -0*v - 11. Solve 2*c - v - 2 = 2*z, 3*c - 8 = 2*z for c.
4
Suppose 0 = 141*j - 136 - 146. Solve w = j*w - 4*m - 2, -w + 3*m + 2 = 0 for w.
2
Let y(k) = 2*k**2 - 23*k + 15. Let j be y(11). Suppose -110 = -j*w - w. Let v = 35 - w. Solve 7*i + 3*n = 2*i - 16, 5*i + v = -4*n for i.
-5
Let m be 3 - 46*3/6. Let l be (-175)/m + -9 - 2/(-8). Solve 4*u + 20 = -l*u, o - 5*u = 26 for o.
1
Let p = -55 + 59. Suppose -4*g + p*l = -l - 50, 20 = 3*g + 5*l. Suppose 2*u - 3*u = -g. Solve -3*v - 2*i = -5*v, -4*v - u = i for v.
-2
Let o be 4 + (-3 - (-1 - 1) - -2). Let v be 27/o + -1 - (-32)/(-80). Suppose f + 2*r = 5*r - v, 3*r - 16 = -5*f. Solve 2*h + f*j = -20, 0 = h - 0*h - j for h.
-5
Let r be (-2)/1 - (-9 - -7). Let g(t) = -t + 4. Let n be g(r). Solve 5*m + 15 = w, -n*w = m - 4*m - 9 for m.
-3
Let y = -1560 - -1565. Solve -5*c = -5*o - y, c - 4*o + 8*o = 16 for c.
4
Let s(m) = -m**2 + 25*m - 57. Let h be s(3). Let t be (-70)/4 + (-22)/44. Let d = t + 22. Solve -d*j - 16 = 0, -13 = -2*u + 4*j + h for u.
3
Let r be 0 - (11 + -25)/(-1*2). Let i = r - -10. Suppose i*j = j. Solve j = 2*u - 0*u + 3*d - 13, 5*d = -5*u + 30 for u.
5
Let j(s) = s**3 - 13*s**2 + 58*s - 547. Let h be j(12). Solve 3*x - h = 5*t, -2*x + 2 = -2*t - t for x.
-5
Let h = 29798 - 29785. Solve n = -4*l + 18, 0 = -31*l + 30*l + 4*n + h for l.
5
Suppose o + 3*k = -8, 72*o = 70*o - 2*k. Solve 4*w - o*t + 53 = 69, 2*t - 12 = -3*w for w.
4
Suppose 27*l + 30*l - 112*l = 0. Solve l = -j + 3*p - 2, 4*j + 4 = -3*p - 4 for j.
-2
Suppose 0*u - 3*u = w + 14, 19 = -5*w + 2*u. Let c(k) = k**2 - 3*k + 5. Let b be c(w). Solve -5*n = -4*t + b, -n + 5*n - 5 = -5*t for t.
5
Let l = 10850 - 10826. Solve 16 = -v + 2*d + 8, -5*v - l = -2*d for v.
-4
Let o be (-458 - -459) + -2 + 13. Solve 2*h + v = -o, -5*h - 35*v + 32*v = 31 for h.
-5
Suppose -5*i + 131 + 87 = -3*l, l + 78 = 3*i. Let m be (-5)/10*-8 + l/2. Let c = m + 31. Solve 0 = -5*v - 10, c*j = 7*j + 5*v + 25 for j.
-3
Let n be (120/(-150))/((-2)/10). Let a be (23/(115/10))/(n/18). Let x be (-1)/2*-2 + 1. Solve -3*c = 