*x for x.
-1
Let v = -25 - -47. Let b = v - 14. Let a be (-15)/2*b/(-10). Solve -a*p = -p + 5 for p.
-1
Let n(x) = -x - 10. Let r be n(-12). Suppose -3*d - 11 = -2*f - r*f, -2*d - 12 = -5*f. Suppose 4*g + g = -3*a - 6, a = -4*g - f. Solve -2*s - s = g for s.
0
Suppose 39 = 5*p - 21. Solve 0 = -0*q - 4*q + p for q.
3
Let w(f) = 3*f + 1. Let q(v) = v**2 - v - 1. Let y be q(2). Let x be w(y). Solve -6 + x = 2*t for t.
-1
Let f(g) = 1. Let p(z) = -z + 3. Let v(a) = -5*f(a) + p(a). Let t be v(-3). Solve i + t = 4 for i.
3
Let o(i) = i - 11. Let s be o(13). Let u = 9 - 5. Solve s*x = u*x for x.
0
Let s(a) = -a**2 - 10*a - 8. Let m be s(-8). Let b = m - 8. Solve b*i = -2*i for i.
0
Let p be (4/3)/(4/6). Solve 0*r + 2 = p*r for r.
1
Suppose 4*a + 3*u = -46, 5*a + u + u + 54 = 0. Let y be (-16)/a - (-6)/15. Let v be y/8 - (-19)/4. Solve -31 + 6 = -v*m for m.
5
Let a be 1/(1/12*4). Solve -a*d - 2 = 1 for d.
-1
Suppose -10 - 12 = f + 5*w, 4*w + 17 = -f. Solve -s - f = -7 for s.
4
Let d(l) = l + 3. Let c(n) = n**3 - 11*n**2 - n + 11. Let f be c(11). Let t be d(f). Suppose -70 = -5*z + 2*p, -t = -5*z + p + 62. Solve 0 = -4*w - 8 - z for w.
-5
Let g = 1 + -3. Let a = g + 4. Solve f + 6 = -a*f for f.
-2
Let l(b) = -b**2 + 6*b. Suppose -4*j = 5*v - 18, 3*v - 6 = v - 2*j. Let g be l(v). Solve g = 3*i - 8*i for i.
0
Suppose -1 = -3*q + 5, 5*p = q - 117. Let o = -20 - p. Solve 4*b + 17 + o = 0 for b.
-5
Suppose 2*b - 3*j - 5 - 1 = 0, -b + 3*j = -6. Suppose 0 = -3*o + 3*u - 9, b = 3*o - u - 4*u + 15. Suppose 3*k - 11 = 1. Solve -k*f = -o*f for f.
0
Suppose -14 = -5*r + o, 4*r - 2*o = -r + 18. Solve -3*t - 4 = -r*t for t.
-4
Let n = 12 - 6. Suppose 7*a - 2*a = 10. Solve a*b = n*b - 8 for b.
2
Suppose -2*s = 2*s + 16. Let m be ((-8)/(-12))/(s/(-6)). Solve -4*x + m = 5 for x.
-1
Let q(t) = 5*t**2 - 5*t + 7. Let s(y) = -4*y**2 + 4*y - 6. Let c(v) = -3*q(v) - 4*s(v). Let g be c(4). Solve -5*f + 5 + g = 0 for f.
4
Let d be ((-6)/4)/((-3)/8). Suppose n + 12 = d*n. Suppose -3*q - n = -13. Solve 3 + 6 = -q*m for m.
-3
Let h = 4 + -2. Suppose 37 = 3*s + 5*t, 3*s = -s - 4*t + 36. Solve -s*a - 10 = -h for a.
-2
Suppose 0 = d + d - 8. Let w(c) = c**3 + 7*c**2 - 9. Let i be w(-7). Let r = 9 + i. Solve -d*b + r = -4 for b.
1
Let x be 36/2 - (-2 + 0). Let w = -14 + x. Solve w = 4*t - 10 for t.
4
Let k(u) = u**3 + 4*u**2 - 13*u - 6. Let i be k(-6). Solve -5*b + 10*b = i for b.
0
Let o(t) = t - 1. Suppose 5*l = l - 4*v + 8, v - 17 = -4*l. Suppose -l*a + 35 = d, 4*d + 10 = -0*a + 5*a. Let n be o(a). Solve n = -4*s + 25 for s.
5
Let q be 7 + 4/((-4)/5). Solve 5*c - q*c - 12 = 0 for c.
4
Let v be 52/(-286) + 48/22. Solve -v*f = 2*f - 16 for f.
4
Let x be (-2)/(-6) - 60/18. Let m be x*1/(-6)*-6. Let w = -3 - m. Solve w*q - q = 2 for q.
-2
Let w(c) = 4*c**2 - c - 1. Let k be w(-1). Let u be 10/k*(-12)/(-10). Solve -7 = -5*t + u for t.
2
Suppose -4*q = -4*g - 36 - 16, 5*g = -q - 5. Suppose -6*j + 14*j - 40 = 0. Solve -q = -j*a - 35 for a.
-5
Let c be (-4)/(-12) - (-82)/6. Solve 5*l + c = -6 for l.
-4
Let r = 0 - 0. Suppose 4*h + 3*o - 14 = -6, -4 = o. Solve -z + 0*z + h = r for z.
5
Suppose 2*k + 3 = q, 2*q - 3 = -3*k + 6*q. Let c be (-6)/((-1)/((-2)/k)). Let f = 112 - 107. Solve f*j + c = -6 for j.
-2
Suppose -4*s = -3*s + 7. Let t = s + 7. Suppose -i + u + u = t, u = i - 1. Solve -y = -i*y - 2 for y.
-2
Suppose 22 = 4*n - 2*b, 5*b - 9 = -2*n + 4*n. Solve n = -3*a - 7 for a.
-5
Let s(g) be the first derivative of 0*g + 1/3*g**3 - 2 + 0*g**2. Let d be s(1). Solve 4*u - d - 15 = 0 for u.
4
Suppose g = 6 + 4. Solve -7*j = -2*j + g for j.
-2
Let m be 1/1 + (4*-9)/(-3). Solve 4*h + m = -3 for h.
-4
Let r be 48/6*(-7)/(-4). Let k = r + -6. Suppose i + i = 10. Solve -k = i*f - 3*f for f.
-4
Let k be (-12)/10*10/(-4). Let r = 375 + -374. Solve r = -k*x - 8 for x.
-3
Let q be 6 + -2 + 0 + -1. Solve -5*z = -q*z for z.
0
Let c = -6 + 1. Let p = c + 4. Let t be 1/((-1)/5*p). Solve 5 - 15 = -t*d for d.
2
Let m(a) = -a**2 - 14*a - 12. Let u(q) = 11*q**3 + 2*q + 1. Let s be u(-1). Let y be m(s). Let c be 20*(-1 - (-21)/y). Solve 2*g + g = c for g.
5
Suppose h - 3 = -d, h - 4*h + 9 = -d. Solve d = -3*x - 2 - 4 for x.
-2
Suppose 0 + 3 = -3*a. Let y(f) = f**2 + 2*f. Let h be y(-3). Let o = h - a. Solve 5*z - o*z = 5 for z.
5
Suppose 2*n + 0*f - f = 6, 4*n + 4*f = 12. Solve n*v + 19 = 4 for v.
-5
Let x be 6/2 - (1 + 0). Suppose -8 = -o - o. Let p = -1 + o. Solve 5*m - x = p for m.
1
Suppose 0 = -0*n - 3*n + 5*k - 65, -3*n - 81 = 3*k. Let o be 1 - (1 + 0)*n. Let s be (-1)/4 + o/8. Solve s*y + 8 = 5*y for y.
4
Let w = 17 - 17. Solve w*q = -4*q for q.
0
Suppose -4*p = l + 9, -15 - 5 = 5*p + 3*l. Let n be p/(105/54 + -2). Let v be 0 + 1 - n/(-9). Solve -9 + v = 3*d for d.
-2
Let s be (-4 + 3)*0/(-3). Solve -o + s*o = 0 for o.
0
Suppose 2*l + 3*l = 0, -2*p - 2*l + 14 = 0. Let q = 18 + -13. Solve -2*t + p*t + q = 0 for t.
-1
Let l = 20 - 20. Solve l = 2*d + 3 + 3 for d.
-3
Let l = -10 - -6. Let a = l - -4. Solve -3*d - d + 4 = a for d.
1
Let r(f) = 2*f - 1. Let b be r(1). Let d be (b/(-2))/((-4)/(-8)). Let m(q) = -10*q. Let o be m(d). Solve w = -w + o for w.
5
Suppose -q = -4*y + 58, -5*y + 0*q + 71 = -2*q. Suppose -2*l = -p + 2 + 1, 2*l - 5*p + y = 0. Solve l = -6*b + b + 20 for b.
4
Let f(z) = z**2 - 2*z - 4. Let k be f(5). Suppose -k = -g - 4*w + 13, -4*g = -3*w - 1. Solve -b - 25 = g*b for b.
-5
Suppose -4*p + 51 = -5*s + 18, 0 = 3*p + 4*s - 17. Solve p*a = 2*a - 10 for a.
-2
Let y(w) = 3*w + 38. Let b be y(-12). Solve -8 = 3*s - b for s.
-2
Let u be (-1)/(-4) + (-9)/(-12). Let b = u - 2. Let z = b - -2. Solve -5*p + 4 = -z for p.
1
Let u = 13 + -9. Suppose -2*m + 7*m = -2*w - 21, -w - u*m = 18. Solve w*c - c - 2 = 0 for c.
2
Let j = -3 - -14. Suppose -h = -0*h - j. Let d = h - -1. Solve k = -2*k + d for k.
4
Suppose 0 = -3*i - 4*i. Solve i*m + 5*m = 0 for m.
0
Let p be (1 - (-1 - 0))*-1. Let l(q) = q**2. Let x be l(p). Solve -f = x*f + 15 for f.
-3
Let i be (-2)/4*2*0. Suppose i = 5*k - 3*r - 112, -5*k + 12 = -4*r - 99. Suppose -5*a + a + k = 3*h, a - 4*h = -18. Solve 0*p = -a*p for p.
0
Let o(r) = 2*r - 10. Let i be o(7). Let b be i - (1*-2 + 2). Suppose 0 = m + 2*m - 6. Solve -b = 3*s + m for s.
-2
Let n = 84 + -82. Let q(m) = m + 4. Let x be q(-6). Let j be x/5 - 4/(-10). Solve j*y + 8 = -n*y for y.
-4
Let j(x) = x - 4. Let i be j(6). Let n(b) = -4*b - 164. Let c be n(-41). Solve i*y - 4*y - 4 = c for y.
-2
Suppose 0*x + 5*x = l + 18, -l + 2*x = 6. Solve -6 + l = -2*g for g.
2
Suppose 13*o - 8 = 11*o. Solve -7 = o*y - 27 for y.
5
Suppose 2*o = -0*o + 6. Suppose 5 = -5*n + 15. Suppose 0 = -2*d + t, -d + 3*t - 12 = -n. Solve 4 = -o*g - d for g.
-2
Suppose -i = 3*i + 12. Let y be 1*3 + i/3. Solve p + y = 1 for p.
-1
Suppose -2*g = 6, -3 + 0 = 3*k + 3*g. Solve 6 = -0*p - k*p for p.
-3
Suppose -19 - 11 = -2*p. Let q = 15 - p. Suppose 5*o - 38 = -0*a - a, -44 = -5*o + 2*a. Solve q = f + f - o for f.
4
Let d(k) = 3*k**2 - 3*k. Let l(t) = 4*t**2 - 4*t. Let q(v) = 7*d(v) - 5*l(v). Let u be q(0). Solve y = -1 - u for y.
-1
Suppose 52*f - 50*f = 4. Solve -2*s = f*s for s.
0
Suppose 0 = n + 3 + 1, -f - n - 2 = 0. Let o be (-8 - -6)*(-4)/f. Solve 0 = -0*t - o*t - 8 for t.
-2
Let h be -2 - -2*(-3)/(-2). Let m be 23/5 + 12/30. Solve -j = -m + h for j.
4
Let t = -21 + 29. Solve g + t = -g for g.
-4
Let z(t) = t - 7. Let s be z(8). Suppose -b + 11 = s. Solve -b = -0*p + 5*p for p.
-2
Let f be (-12)/(0 + -5 - -3). Solve -f*b = -5*b + 5 for b.
-5
Suppose -4*m - 1 = -17. Let l be 1*-8*m/(-4). Solve 3*a + 7 = -l for a.
-5
Let c(m) = -m**3 - 16*m**2 - m - 15. Let u be c(-16). Let i(y) = y. Let d be i(-1). Let w = -1 - d. Solve 3*l - 4 + u = w for l.
1
Suppose -2*z = -5*l + 18, -3*z - 2*l - 45 = 1. Let v = z + 20. Solve -2*d + 0 - v = 0 for d.
-3
Let j(i) = -i**3 - 5*i**2 + 7*i + 8. Let a be j(-6). Suppose 4*t + 5*l - 21 = 0, 28 = a*t - l + 7. Let x be ((-4)/(-3))/(3/t). Solve -u - 9 = -x for u.
-5
Suppose 13*i - 10 - 29 = 0. Solve i*b - 5*b = 0 for b.
0
Suppose -7 + 2 = -r. Let g(f) = 6*f**2 + 8*f - 3. Let a(t) = t**2 + t - 1. Let x(h) = r*a(h) - g(h). Let w be x(-2). Solve -s + 0*s + 4 = w for s.
4
Let b = 17 + -8. Let w(r) = r**3 - 8*r**2 - 8*r - 2. Let u be w(b). Let i(c) = -c**3 + 7*c**2 + 2*c - 9. Let j be i(u). S