f for i.
-4
Let d(p) = -16*p + 122. Let q(x) = -11*x + 81. Let t(a) = -5*d(a) + 7*q(a). Let o be t(15). Solve -2*r + 14 = -0*n - 4*n, o*r + 5*n = -13 for r.
1
Let u(l) = l**2 - 4*l - 5. Let g be u(5). Suppose g*q + 10 = q. Solve n = -2*a - q, 4*a = 4*n - 0*n + 4 for a.
-3
Let x be (4 - 11) + (14 - -5). Solve 0*k = -3*k + x, 4*k - 21 = g for g.
-5
Let x(g) = g**2 - 10*g - 1. Let i be x(9). Let j = -12 - i. Let r(m) = -4*m - 5. Let l be r(j). Solve -4*d + 19 = c, -2*c + 4*d - l = 7 for c.
3
Let q(g) = -g**3 - 20*g**2 - 49*g + 38. Let d be q(-17). Solve 2*l - 2 = d*l, j - l = 2 for j.
1
Let h(d) = d + 12. Let v be h(-11). Let n be 0 + v + -4 + 4. Solve -n = -2*j + 5*b, j + 3*b = -2 - 3 for j.
-2
Let s(j) = -j**2 - 9*j - 3. Let d be s(-6). Let x be (60 - 66) + 1*9. Solve -4*a - z = d, 8*a - x*z = 3*a - 23 for a.
-4
Suppose 3*g - 2 = 2*g. Suppose -g*h + 3*l - 5 - 1 = 0, -4*l = -16. Solve -i = h*m + 8, 4*i + 2*m = 5 - 17 for i.
-2
Let j = -1742 - -1744. Solve 5*d - 12 = -4*x, -3*x + j*d + 9 = d for x.
3
Let z = -18 + 18. Let j = 12 + z. Solve -3*f - j = -s, 0*s = 5*s + 15 for f.
-5
Let u = -19 - -21. Suppose 0 = 2*j + 4, -8 = u*q + 5*j - j. Suppose q = b + 5 - 8. Solve -h + 3*h - 5*c = 12, b*h + 5*c = -32 for h.
-4
Let a = -170 - -103. Let s = a - -71. Let z(o) = -o**3 + 6*o**2 - o - 6. Let n be z(5). Solve -s*t + j + j + 4 = 0, 4*j = 2*t - n for t.
-1
Let i(c) = -c**2 - 14*c + 5. Let u = -24 - -10. Let y be i(u). Solve 0*s = 5*t + 2*s + 25, t - 4*s + y = 0 for t.
-5
Let b = -33 - -22. Let u(l) be the second derivative of -l**4/12 - 5*l**3/3 + 13*l**2/2 + l. Let n be u(b). Solve n*p + 0*p = -5*a + 27, -3*a = -5*p - 10 for a.
5
Let n be 6/8 + 15/12. Let j be (-37)/(-13) + n/13. Suppose -28 = -5*s - x, -2*s - j + 4 = -3*x. Solve -5*o - 1 = -2*d - 4, s*o = -2*d + 7 for o.
1
Let k = -89 - -92. Suppose 1 = k*c - 14. Solve q - 6*q - 25 = c*n, 2*q - 5*n + 10 = 0 for q.
-5
Suppose 0 = 5*v + 3*g + 30 - 41, -9 = -v - 4*g. Solve d = -2*q - 2, q + 0*q + d = -v for q.
-1
Let x = -160 - -147. Let v be 925/325 - 2/x. Solve 2*n - 8 = -z, v*n + z + 2*z - 12 = 0 for n.
4
Let g be 6/(-5)*(-30)/9. Solve -2*n + 25 = -3*n - g*z, -25 = 5*z for n.
-5
Suppose 0 - 6 = -3*z. Let k = -13 + z. Let v(m) = m + 25. Let f be v(k). Solve -2*u + 2*c - 4 = -f, -c - 1 = 3*u for u.
1
Let z(m) = 6*m - 54 + 69 - m**2 + 6*m. Let g be z(13). Solve g*t = -2*q, -5*t + 2*t - q = 8 for t.
-4
Let a(t) = 7 + 2*t + t**2 - 11 + 3*t. Let o be a(3). Suppose -5*x = 5*n + o, 4*n - n - 16 = 4*x. Solve n = -3*d, -d = -3*h + 2*h for h.
0
Let l(s) = 4*s - 5. Let n be l(2). Let u be 20/n + 1/3. Let c(p) = -p**3 + 6*p**2 + 7*p + 4. Let m be c(u). Solve i + 6 = -5*j + 3*i, -m*j - 3*i - 14 = 0 for j.
-2
Suppose 16 = 2*l - 0*l. Suppose -l*n = -4*n - 12. Solve 2*g - n = 4*z + 11, g = -3 for z.
-5
Let s be (19/(380/36))/(3/5). Solve 10 = -5*m - 5*y, 13 = m - s*m - 5*y for m.
1
Suppose 12*c - 17 = 11*c. Solve 0 = 5*a - y + c, -4*y + 4 = -a - 3*a for a.
-4
Let x(k) = k**2 - 4*k - 8. Let r be x(6). Suppose -30 = -r*v - 10. Suppose -3 = -4*q + v. Solve -i - 5 = 4*c, -c + q*c = -2*i + 4 for c.
-2
Let h(x) = -x**2 - 26*x - 34. Let b be h(-23). Suppose 2*r - 3*z = z + 22, 3*r - 5*z - b = 0. Solve 0 = 2*w - 5*t + r - 2, -w - 4*t + 13 = 0 for w.
1
Suppose 19*d = 13*d + 30. Solve -r - 2*s + 10 = 0, d*r - 3*r + 3*s - 15 = 0 for r.
0
Let v(b) = -b**2 - 8*b - 7. Let y be v(-6). Suppose 158 - 150 = 2*r. Solve 0 = -y*z + r*c + 6, -3*z - c - 3 = -10 for z.
2
Let k = 5 + 3. Let f = k - 6. Suppose -4*v - 3*h = 15, 15 = f*v - h - 2*h. Solve -5*o = -v*x - x - 3, 12 = -2*o - 4*x for o.
0
Let u(m) = -2*m**2 + 39*m - 4. Let v be u(6). Let y be v/10 + (-4)/(-17 - 3). Solve 5*j = -2*d + 3*d + 24, y = 4*j - 4*d for j.
5
Let b(t) = -3*t + 58. Let u = 80 + -62. Let q be b(u). Solve 3*a = -5*g - 2*a - 30, 0 = q*g + 2*a + 14 for g.
-1
Let g be (-2)/(-5) + (-16)/(-10). Suppose 2*n = 3*n - g. Let c = 1433 + -1425. Solve 0 = n*q - c, -2*o = -6*o - 2*q + 12 for o.
1
Let a = 2076 + -2061. Solve 5*l + 12 = 2*w + a, -w - 2 = -3*l for w.
1
Let b be (9/(-5))/(111/(-185)). Solve -5 = -b*g - u, 12 = -3*g - 5*u + 37 for g.
0
Let t(p) = p**3 + 17*p**2 - 29*p - 194. Let y be t(-18). Solve 3*l - 5*w = -20, -20 = -y*l - 0*l - 5*w for l.
0
Let x(n) = -n + 15. Let k be x(-7). Suppose 19*u = 18*u + k. Let l = -22 + u. Solve z + 2 - 5 = l, -2*z = 2*f - 2 for f.
-2
Let o be ((-3)/(-15))/(4/10)*2. Let g(c) = 2*c + 2. Let a be g(o). Solve -3*s = -5*d + 14, 2*d + s = 6 + a for d.
4
Let w be (2/6)/((-4)/(-60)). Let v(b) = 0*b + b**3 + b**2 - 9 - 6*b**2 + 2*b. Let m be v(w). Solve -a - u = -5*u - 4, m = 3*a - u for a.
0
Suppose 2*j + 4*z = 11 - 1, -4*j + z + 11 = 0. Solve 5*m + 22 + j = 4*c, -2*c + m + 11 = 0 for c.
5
Let v = -825 + 832. Solve -3*c = d - v, -4*c + 16 = -2*d - 0*d for c.
3
Let g be (-57)/(-11) - (4 + (-378)/99). Suppose g*u + 12 = 11*u. Solve -4*m - i = 17, -i = 3*m - u*i + 18 for m.
-5
Let i = 12 + -7. Let l be (-2)/4 - (-34)/4. Suppose l*b - 28 = 6*b. Solve i*q = -u + b, 0*u + 12 = -2*q + 4*u for q.
2
Suppose -2*k = -h - 12, -3*h + 14 = 5*k + 6. Solve 5*g + 3*b - 1 = 0, -k*b + 0*b - 6 = 3*g for g.
2
Let m = -405 - -408. Solve -t - 6 = m*i, 2*i + 2 = i - t for i.
-2
Let u(t) = -t**2 + 18*t - 16. Let i be u(8). Suppose i = 5*a - 3*f + 2*f, -41 = -3*a - 2*f. Solve -3*k - 2*g - 12 = 0, g + a = -5*k - 0*k for k.
-2
Let w = 925 - 921. Solve -4*p - 20 = -4*m, 6*m + w*p = 7*m - 20 for m.
0
Suppose -r + 2 = -1. Suppose b + 50 = r*b + 5*t, 4*b = -t + 82. Suppose 4*v = -0*v + b. Solve 22 = -v*x + u, -4*x = -0*x - u + 18 for x.
-4
Suppose -4 - 34 = -38*h. Solve y + h = 0, -r + 7 = -0*r - 2*y for r.
5
Suppose 14*r - 36 = 5*r. Suppose s + 24 = 3*s - 2*a, r*a = -5*s + 15. Solve 2*l = -3*p - 2, 5 = -3*p - s for l.
5
Let g be (-3556)/9779*(1 + 2*-6). Let t(v) = -v**2 - 6*v + 1. Let r be t(-5). Solve -2*o + g = -2*j - j, -r = 3*j - 3*o for j.
0
Suppose 5*t - 4*t - 27 = -5*f, 21 = 5*f - 2*t. Solve -f*s + 35 = -5*h, -2*s + 23 = -3*s - 5*h for s.
2
Let w be 6/(-1) + 15 + -15. Let l be ((-20)/w)/(9/27). Suppose 4*c = -2*u - 20, 4*u + c - l = 3*c. Solve 3*g = -u*g - 5*q, q = 0 for g.
0
Let g = -124 - -139. Solve -5*k + 7*a + 21 = 5*a, 0 = 2*k - 3*a - g for k.
3
Suppose 5*x + 19 - 64 = 0. Suppose 0 = -12*h + x*h. Solve -3*r - b - 10 = -h*b, -4*r - 26 = -5*b for r.
-4
Suppose -j - 4*a - 16 = 0, 5 + 15 = 2*j - 5*a. Suppose 3*w - 13 = -5*q + 5*w, 2*q + 3*w - 9 = 0. Solve m + r - 3 = j, -m + q*m - r - 6 = 0 for m.
3
Let p = 31 + -26. Suppose -51 = -p*n + 24. Suppose 3*f + 3*a - 21 = -a, -2*f + n = 3*a. Solve 0 = -4*b - l + f + 4, -2*b + 2*l + 6 = 0 for b.
2
Suppose b - 35 = -2*s + 3, 4*b = 3*s - 79. Solve -4*v - 4 = -v - 2*n, 3*v = -3*n + s for v.
2
Suppose -3*g + 123 = -5*r, -5*g + r = -86 - 141. Suppose -3*f + g + 29 = 0. Suppose -24 = -5*c - 9. Solve -c*a + 8*a - 25 = -5*n, 0 = 5*a - f for n.
0
Let f(a) = -a**3 - 3*a**2 + 5*a + 16. Let v be f(-2). Solve -14 = 3*y - q + 2*q, -2*y = -3*q + v for y.
-4
Suppose -i - 4*i + 25 = 0. Suppose -5*r + 434 = 309. Suppose -5*x = r, -2*d - i*x + 7 = 2*d. Solve -5*z - 3*y = -3 - 5, -3*z - 5*y = -d for z.
1
Let m(r) = r**3 - 11*r**2 + 14*r - 1. Let k be m(10). Suppose 2*h - d - 25 - 24 = 0, 3*d + k = 2*h. Solve -l + 17 = 3*w, 4*w = -l + h - 6 for w.
4
Let g be (9/4)/(57/76). Solve 0 = -k + 3*j - 13, 0 = -k - j - 0*j + g for k.
-1
Suppose -25 = 16*x - 11*x, 3*x = 5*h - 35. Solve -i - i = h*m + 20, 0 = 2*m - 4*i for m.
-4
Let t = -1281 + 1293. Solve 5*v + 3*w = -t, -v - 2*v - 6 = 3*w for v.
-3
Let v(n) = -4*n + 2. Let z be v(-1). Suppose -2*f = 2*w + 2*f - z, 5*w - 3*f = 41. Let u be ((-4)/w)/((-22)/77). Solve 3*a - 12 = 3*c, u*a - 4 = -5*c + 4 for a.
4
Let c = -4 + 7. Let a(j) = -j + j + 14 - c - j. Let b be a(6). Solve 0 = -b*y + 5*o - 25, -o - 1 + 5 = 0 for y.
-1
Let v be ((-3)/1)/(-1 - 96/(-105)). Let d(z) = -z**2 - 4*z. Let t be d(-4). Solve -3*b = j - 9 - 8, 5*b + 3*j - v = t for b.
4
Suppose -p = 2*p + 9. Let z be p/18*-3*6. Suppose -20 = -3*y + 7*y, 88 = z*l - 2*y. Solve l = -0*m - 5*m - 3*s, 14 = -m - 5*s for m.
-4
Let z(y) = 65*y + 331. Let t be z(-5). Solve j - t = -2*v, 5*v + 5 = j + 13 for j.
2
Let o be (-26)/91 - 26/7. Let u = o - -6. Suppose 0 = 3*h + 4*c - 12, 2*c = u*h + 4*c - 8. Solve -3*l - h*n = 9, -4*l - 12 = -n - n 