 for f.
1
Let f = -10 - -7. Let s(j) = -4*j - 5. Let h be s(f). Suppose 2*t - 6 = -5*c, -5*t + 35 = -c - h. Solve -2*k + 5*r - 14 = 14, t = k + 3*r for k.
-4
Let a(i) = -3*i**3 - i - 1. Let c be a(-1). Suppose -r = -c*r + 6. Solve 2*z = 2*q - 12, -3*q + q - 8 = r*z for z.
-4
Let k(f) = 2*f**2 + f + 2. Let b(x) = -x**2 + 8*x - 4. Let p be b(8). Let z be k(p). Solve 0 = 5*h + a - 6*a + z, -4 = -h - a for h.
-1
Let n = 3 + 1. Suppose -p + n = -0. Suppose -p*v + 44 = 4. Solve -2*t + v = 4*q - 0*t, 4*q + 20 = 4*t for q.
0
Suppose d = 6*d + 5, -5*n + 30 = 5*d. Solve -4*a = -n*a + 3, -q = -2*a - 2 for q.
4
Let j be (-80)/(-24) + (-10)/(-15). Solve -j*a - 2*o - 16 = -0*a, -5*a - 22 = 3*o for a.
-2
Let z be (3 + 1)*(-84)/(-16). Let l = 7 + z. Solve -2 = -4*j + 2*o, -5*o = -l + 3 for j.
3
Let z(o) = -2*o + 4*o + 1 + 22*o**2 - 8*o**2. Suppose -12 + 7 = 5*n - 5*y, 4*n - 5*y = -4. Let v be z(n). Solve 0 = 8*j - 3*j + 4*u - 33, 3*j - u - v = 0 for j.
5
Suppose -2*s = -4*s + 6. Suppose 2*f + 5 = n - 4, 3*f = -3*n + 18. Suppose n = s*i - 2. Solve i*g = -4*c - 23, -3*g + 2*c - 5 = -3*c for g.
-5
Suppose 0 = 2*c - 3*x - 6, x - 44 + 12 = -5*c. Let n(g) = -6 - 8 - g - g**2 + 2*g**2. Let i be n(c). Solve 6 = 3*h + 3*s, i = -4*h + s + 4 for h.
-2
Let z = 149 + -149. Let a be z*(4 + ((-85)/15 - -2)). Solve -5*v = -2*b - 25, a*v = -2*v - b + 10 for v.
5
Suppose 37*z - 14*z = 230. Solve -2 = -2*i + 2*f + f, 3*i = -2*f - z for i.
-2
Let d(b) = 5*b**3 - 26*b**2 + 5*b + 4. Let s be d(5). Solve 5*g = 4*h - 2, h + g + s*g + 12 = 0 for h.
-2
Suppose -144 = 2*x - 6*x. Let s = x - 20. Suppose -12*n = -s*n + 20. Solve -2*d - 3 = -j - 0*j, -d + n*j + 21 = 0 for d.
-4
Let f be (1 - (5 + -2) - -6) + -4. Solve 4*h + 4 + 0 = -5*t, -3*t = f for h.
-1
Let d = -1543 - -1547. Solve 0 = -6*w + 4*w - h - 5, -d*w = -4*h + 28 for w.
-4
Let k be (-6)/4*(-10)/3. Let f = -492 + 492. Solve 0 = 4*a - f*a - k*q + 2, 0 = -a + 2*q - 2 for a.
2
Let f = -126 + 135. Solve -3*q = -9, 3*q = -0*m + m + f for m.
0
Let q be -1*5/(20/(-12)). Suppose 2*u + 29 = 3*j - q*u, -4*j - u + 31 = 0. Let b be ((-2)/4)/((-2)/20). Solve 4*k - 4*n + n - j = 0, 2*k = -b*n + 4 for k.
2
Let x(o) = 3*o**3 + 2*o**2 - 11*o + 15. Let l be x(2). Solve l = 4*b + v, 4*b - 24 = -4*v + 16 for b.
5
Let w(k) = -91*k + 3. Let z be w(0). Solve 0 = 4*t - 5*g - z, -4*t + 2 - 11 = -g for t.
-3
Suppose -5*s + f + 14 = 0, 2*f + 4 + 2 = -s. Let c = 7 + -5. Let k be c + -1 + -3 + 5. Solve 0 = -k*x + x - 2*a + 12, -s*x = 3*a - 13 for x.
5
Let i(x) = -x**2 - 13*x - 3. Let y be i(-13). Let d = -3 - y. Suppose d = 2*k + k. Solve 4*b = -3*s, k = 3*b - 2*b for s.
0
Let r(g) = 5*g - 4. Let y be r(2). Let o = -1 + y. Let w(x) = -x**3 + 5*x**2 - 3*x + 1. Let h be w(2). Solve -3 = -2*l - o*t - h, -2*t = 2*l - 2 for l.
3
Let v(d) = -d**3 - 5*d**2. Let t = -11 + 14. Let c be (-9)/t - (-1 - -3). Let m be v(c). Solve r + 2 = -m*h + h, -r + 2 = h for h.
2
Let a = -826 + 829. Solve 4*v + 5 = -2*h + 5*h, 5*v = a*h - 10 for v.
-5
Let q(z) = -z**3 + 18*z**2 - 16*z - 13. Let s be q(17). Suppose 0 = -p + s*f - 6, 5*f - 6 = 2*f. Solve 3*h - 6 = -l - p*l, 5*l = -h + 2 for h.
2
Let k be (-3)/(-2)*((-40)/(-6))/1. Suppose l - k*l = -27. Solve l*g = 0, 8 + 0 = 4*f + 4*g for f.
2
Suppose 148*z = 139*z + 36. Solve k - 2*f + 6*f + 15 = 0, -4*f = z*k for k.
5
Let b(o) = -5*o**3 - o**2 - 2*o - 1. Let u be b(-1). Suppose 0 = g + 25 - u. Let h = -10 - g. Solve -5*r + 3*s - 1 + 7 = 0, 5*r - h = 5*s for r.
0
Let v be 19*5/(-25)*-5. Let c = -7 + 7. Solve -5*z + 4*z - 5*d - v = c, -5*z + 17 = -3*d for z.
1
Suppose 3*h - 6*h - 27 = -5*k, -4*h - 7 = 3*k. Let r be (3 - (-3 - -5)) + 30. Solve -3 = v + 2, -k*b + r = -5*v for b.
2
Let w be (5/(-10))/(2/(-64)). Suppose -17*b = -w*b - 5. Let c = -6 + 8. Solve -5*r - b*k = -15, -4*r = c*k - 5*k + 23 for r.
-2
Suppose -5*r = -2*u - r + 26, 5*u = 4*r + 41. Suppose u*m + 3 - 33 = 0. Solve 0 = -3*v + 4*n - 8, 2*v + n = -2*n + m for v.
0
Let k be 243/54 + (-6)/4. Solve -5*u + g - 3 = 0, -2*g = -k*g - 2 for u.
-1
Let p(i) = -i**2 - i. Let h be p(0). Suppose 0 = -5*n - 2*z - 3*z + 65, -4*z + 20 = 2*n. Suppose 4 - n = -2*t. Solve h = v - y - 5, 12 = 4*v - 2*y + t*y for v.
4
Let s be (5 - 135/18)*(-4 - -2). Solve -a + 10 + 10 = s*n, 3*a = 0 for n.
4
Suppose 2*r + 13*q = 10*q + 22, 0 = -4*r + q + 16. Solve -4 = -2*s - 2*a - 0, -4*a + 11 = r*s for s.
3
Let x = -58 + 80. Solve 2*p = -2*l - 14, -8*l + 9*l + x = -4*p for p.
-5
Suppose -4*j - 2*g + 6 = 0, 4 - 19 = 5*g. Solve -4*d - d + 15 = r, -d = 5*r - j for d.
3
Let h(i) = 2*i + 20. Let s be h(-12). Let y be (-2 + -4 - -4)/(s/10). Solve 2*b - 7*b = y*v, -4*b = -20 for v.
-5
Suppose -3*r + 49 = 4*x, 61*r + x + 21 = 62*r. Solve -2*w = 5*q - 31, 2*q - r = -2*w - w for q.
5
Suppose 0 = -c + 2*c - 27. Let m = c - 25. Solve -m*b + 3 = -3*l, 5*b + 0*l = 5*l + 10 for b.
3
Let l = 298 + -296. Solve 4 = -4*c - c - h, -l*c + 4*h = -16 for c.
0
Suppose -3*v + 12 = m - 2*m, 3*v - 9 = 2*m. Solve 0*d + d = -3*n + 3, v*d = -3*n - 9 for d.
-3
Suppose -p + 3*l - 5183 = 0, l - 20697 = 4*p - 4*l. Let v be 4/18 - p/72. Let a be 880/v + (-4)/18. Solve 0 = -2*s - 5*h + 6, 6*h = -4*s + 5*h + a for s.
3
Let o(y) = y**2 - 45*y + 417. Let h be o(13). Solve r + 1 = 2*c, 3*c - 2*r + h = -r for c.
-2
Suppose 31 = 5*t + 6. Suppose t*i = 2*j + 9, i - 7 = -0*j + 3*j. Solve -x - 4*c = -4*x - 3, i = -x - 2*c for x.
-1
Let t(g) = g**3 - 7*g**2 + g - 5. Suppose 4*a - 35 = -5*q, 7 = q + 4*a - 0*a. Let s be t(q). Solve 0 = -s*l + 5*b + 30, -3*b - 42 + 5 = -5*l for l.
5
Let x(z) = -z**2 - 10*z - 1. Let v be x(-7). Solve -3*f - v = 5*p + 2*f, 5*p - f = -2 for p.
-1
Suppose -11*k + 15 = 81. Let p(c) = c**2 + 4*c - 10. Let j be p(k). Let v = 16 + -11. Solve v*z - 2*t + 20 = 0, 4*z + j*t + 3*t = -16 for z.
-4
Let a(g) = -g**2 + 18*g - 72. Let j be a(7). Let l(m) = m**3 - m**2 + m + 5. Let t be l(0). Solve n = -0*x - 4*x - 14, 5 = t*n - j*x for n.
-2
Suppose 5*v = -3*w - 10, 4*w = -0*w + v + 25. Suppose 0*x = -3*x. Suppose w*s - 3 - 7 = x. Solve -5*c + 5 = 0, 0 = -s*f + 4*f - 4*c - 4 for f.
4
Let h(s) = -1 + s + 3 + 2*s. Let g be h(0). Solve -5*l - 2*j = 2 + 4, -4*l - g*j = 4 for l.
-2
Suppose -23*v + 24*v = -3. Let t be (v/3 - -4) + 1. Solve 0 = 5*s - 25, q = s + t*s - 27 for q.
-2
Let n = 29 - 14. Let j = n + -19. Let g be (-12)/(-9)*(-6)/j. Solve i - 4*x = -g, -x = 3*i - 3 + 9 for i.
-2
Let p(a) = 2*a**3 - 4*a**2 + 3*a - 1. Let y be p(2). Let i be 2/(2/y) - (1 - 1). Solve -s = -6*s + 5*j + i, -3*j - 2 = -2*s for s.
1
Let v be ((-24)/(-396)*-11)/(2/(-12)). Solve -2*g - 2 = -4*d, d - v*g + 2*g = 2 for d.
0
Let o(j) = j**2 + 16*j + 20. Let s be o(-14). Let p = -8 - s. Suppose p*n = n - 16. Solve c + 2 = -i - 0, -n = -4*i + 4*c for i.
1
Suppose 4*a - 19 = -3*o, 4*a + 0*a = 4. Suppose 7*c - o*c = 8. Solve c*f - 1 + 11 = 5*j, 3*j = -3*f - 21 for f.
-5
Let w(u) = u**2 - u + 1. Let o(q) = q**2 - 6*q + 7. Let l be o(4). Let r be w(l). Solve 0 = -r*x - 3*m, 3*x + 7 = x + 5*m for x.
-1
Suppose 68*k = 124*k - 560. Solve 3*a + k = 4*g, -5*a + 2*g = -0*g - 2 for a.
2
Let b be 45/5 + (0 - (-5 - -12)). Solve -2*u - 3*z + 8 = 3*u, -b*u + 5*z = -28 for u.
4
Suppose 30*q - 179 - 121 = 0. Solve 0 = -2*s - q, 0 = -5*d - 5*s - 15 - 5 for d.
1
Suppose 2*c = 5*c + 15. Let a be ((-4)/6)/(c/30). Suppose -p - a*w = w + 20, 5*p - 20 = -w. Solve 0 = p*o - 5*n - 35, o - 2*n = 3*o - 2 for o.
4
Suppose -5*k + 32 = u, -5*u + 4 = k - 4*u. Let p(f) = f**3 - 8*f**2 + 6*f + 11. Let q be p(k). Solve -4*h + 0*h = -4*o, o + q*h + 20 = 0 for o.
-4
Suppose -2*s = -3*f - 1, -s + 4*f + 7 = 14. Suppose 0 = 2*y + s*m - 26, -5*y + m - 4*m = -27. Solve y*a - 3*i = 3, i + 12 = 5*i for a.
4
Let o(y) be the first derivative of -3*y**2/2 - 8*y + 18. Suppose -6 - 6 = 3*f. Let r be o(f). Solve 3*b + 11 = 5*c - 6*c, r*c + 9 = -5*b for b.
-5
Suppose 42*t = 12*t + 150. Solve 0 = 2*s - 2*q - 3*q + t, -q = -1 for s.
0
Let x be 18*(-1)/(-2)*1. Let d(k) = k**3 + 8*k**2 + 16*k + 8. Let s be d(-5). Solve 0*i + 5*i - 17 = -p, i = -s*p + x for p.
2
Let v = 68 + -64. Let u = v + 1. Solve -o + 2 = -q + u, -19 = -3*q - 2*o for q.
5
Let r = 60 - 17. Let j = -23 + r. Suppose -3*l - j = -l - 5*u, u = 5*l + 4. Solve l = 3*w + 5*a + 40, 2*a + 5 = -5 for w.
-5
Suppose p - 21*p = -60. Solve -4*w - p*j = 12, -1