 = p. Solve -6 = j - p*j for j.
3
Let a be (0/1)/(0 - 1). Let m(u) = -u**3 - 2*u**2 + 3*u + 3. Let r(w) = w**2 + 7*w + 3. Let v be r(-6). Let i be m(v). Solve a = i*f + 2*f for f.
0
Let a be 0*(-1)/(-3) + -2. Let h be 18/8 - a/(-8). Solve 8 = 5*i - h for i.
2
Suppose -3 = -4*x + 9. Let g(f) = f**2 - f - 3. Let q be g(x). Solve 2*y - 1 = -q for y.
-1
Suppose -3 - 5 = -4*k. Let u be k*(3 + (-1 - 0)). Solve 0*p - u*p = 8 for p.
-2
Let u(v) = v**3 - 2*v**2 - v. Let p(s) = -s**2 + s. Let h(r) = -p(r) + u(r). Let k be h(2). Solve k*i = i + 2 for i.
-2
Suppose 160 = -h + 9*h. Solve -5*t + t - h = 0 for t.
-5
Let j = 14 + -9. Let k = j - 3. Solve 0 = i + 6 - k for i.
-4
Let n = -9 + 11. Solve 3*u = n*u - 1 for u.
-1
Let l = 2 - 3. Let c be 0/(1/(l/(-3))). Let t = -2 - -3. Solve -5*z + 4 + t = c for z.
1
Let h = -7 - -9. Suppose h*r - 2*s + 0*s = 10, 2*r = -4*s - 20. Solve r*l = -l + 4 for l.
4
Suppose -k - 2 = -4. Solve k = 2*w - 0 for w.
1
Let j(x) = x**2 + 5*x - 9. Let i be j(-7). Suppose -i*t + 12 = -3. Solve t*l - 8*l + 10 = 0 for l.
2
Let a(l) = -l**2 - 4*l + 5. Let t = -1 - 3. Let s be a(t). Solve 2*u + 12 = s*u for u.
4
Let a(c) = -4 - 3 + 1 + 2 + 3*c - c**3 - 3*c**2. Let s be a(-4). Solve -2*x = -s*x + 6 for x.
-3
Let i = -12 + 20. Let h be (-2)/(-2)*1 + i. Let c(p) = -p + 1. Let s be c(-1). Solve -s*b - b = h for b.
-3
Suppose -3*n + 6 = -2*g + g, 4*g = -2*n + 4. Solve g*r = -4*r + 16 for r.
4
Let g be (6/8)/((-2)/16). Let q be -12*((-4)/g)/(-2). Solve 0 = -3*c + 8 + q for c.
4
Suppose -2*t + 24 = 5*b, -1 = -2*b - 4*t + 15. Let u(q) = q**3 - 2*q**2 - 4*q - 1. Let c be u(b). Solve -5 = -4*f + c for f.
5
Let r = -120 + 123. Solve i = r*i for i.
0
Let u = 20 - 16. Let d be (-176)/(-33)*6/u. Solve -s = 3*s + d for s.
-2
Suppose 0 = d - 2, -d + 8 = 3*w - 0*d. Suppose 3*n - g - 29 = -5*g, 0 = -n + 3*g - 12. Let x = n - w. Solve 1 = t - x for t.
2
Let o = 0 - 4. Let r be (-3 - o)/(1/2). Solve -2*t = 4 + r for t.
-3
Suppose -5*h + 5 = b, -h + 0*b - b + 5 = 0. Solve h*s + 5 = s for s.
5
Let l = 0 - -4. Suppose -6 = -2*x + l. Suppose 5*r - r - 5*m - 23 = 0, 0 = -2*r - m + 1. Solve -r*h = -x*h for h.
0
Let y be (3/(-2 + 1))/(-1). Solve 0*x - y = -x for x.
3
Let g(s) = -s**3 + 4*s**2 + 24*s - 17. Let i be g(7). Let u(a) = -a - 1. Let y be u(0). Let n = 4 + y. Solve n*v + 5 = -i for v.
-3
Let a(g) = -g**3 + 4*g**2 - 2*g + 4. Let p be a(3). Let t = -4 + p. Let q(w) = w**3 + 6*w**2 - 7*w + 1. Let v be q(-7). Solve v = 2*l - t for l.
2
Let q be 3 + 2 - (-2)/((-10)/15). Solve 3*m + 15 = -q*m for m.
-3
Let u = 4 + 1. Suppose y = u*i + 29, 0 = -0*y + 4*y - 5*i - 41. Solve s - y + 8 = 0 for s.
-4
Let l be 1/(0 - (-1)/3). Suppose -4*s + 5*w = -12, 2*w + 6 = -s + l*s. Suppose s*v - v + 19 = 3*h, 2*h - 5*v = 31. Solve -h*f + 4*f = -3 for f.
-3
Suppose 0 = -d - 4*y - 6 - 6, -5*d - 2*y - 24 = 0. Let z = 2 + 6. Let p = z - d. Solve p + 8 = -5*n for n.
-4
Let s(o) = 9*o + 2 - 5 + o**2 + 5. Let x be s(-9). Suppose -x*w = -5*u + 11, -10 = -5*w + 3*w - 2*u. Solve r = -w + 5 for r.
3
Let c = 3 - -4. Suppose 0 = w + 1 - c. Solve 5*p + 9 = -w for p.
-3
Let y(w) = w**2 - w. Let j be y(-1). Suppose 0*a + 6 = j*a. Solve 2*i - a = 3 for i.
3
Let a(s) = -s**2 + 7*s - 2. Let r be a(6). Let z be (10/r)/((-3)/(-6)). Let x be 106/22 + (-4)/(-22). Solve 0 = -5*o - x - z for o.
-2
Let v = -58 + 62. Suppose -3*o = -o. Solve -8 = -o*s - v*s for s.
2
Let c = 17 + -21. Let m be (-2)/(-5)*(-30)/c. Solve 0 = m*u + 3 + 3 for u.
-2
Suppose -3*a = -2*r - 12, -2*r + 2*a = -0*r + 8. Suppose 3*m - 24 = -r*m. Solve 4*u - m*u - 4 = 0 for u.
-1
Let t(f) = 7*f**3 + f**2. Let g be t(-1). Let i be (-209)/(-44) + g/8. Solve 0 = -y - 3 + i for y.
1
Let g be 6/(-12)*(-10 + 0). Let c be ((-8)/20)/((-1)/g). Solve c*h + 1 + 3 = 0 for h.
-2
Let r(z) = z**2 - 2*z - 1. Let u be r(-2). Suppose 4*c - 21 = -p, u*p - 2*p - 9 = 4*c. Let n = 13 + 2. Solve h + c*h = n for h.
3
Let t(j) = -j**3 - j**2 + j + 1. Let d be t(-1). Solve -5*n + 15 = -d*n for n.
3
Let l be (-2 - -3 - -1)*-1. Let u be (1/l)/((-1)/4). Solve j = u*j for j.
0
Suppose 3*i - y = -1 + 7, 0 = 4*i + 4*y - 8. Suppose 4*t + 11 = k - 3, 3*k + 2*t = 0. Solve -i*j - 4 = k for j.
-3
Let u be 0/(-6)*(0 - -1). Let a be ((0/2)/(-2))/2. Suppose a = h - 3*h + 6. Solve h*d - 2*d = u for d.
0
Suppose 5 = u - 3*v, 2*u = -3*u - 3*v + 7. Solve -2*s - u*s + 16 = 0 for s.
4
Let z(q) = 3*q - 42. Let c be z(16). Solve -2*s + c = -0 for s.
3
Suppose 4*n - 8 = o, -4*n + 0 = -4*o - 8. Solve 0 = -n*h - 3 - 1 for h.
-2
Suppose 5*k = -k. Solve -4*n + k = 4 for n.
-1
Let x = -77 - -108. Suppose -4*m + x = -1. Solve m*s + 20 = 3*s for s.
-4
Let l(i) = -1 - 3*i + 1 + 1 + 8*i. Let b be l(2). Solve -5*y - 14 - b = 0 for y.
-5
Let h = 51 - 38. Solve 5*a - 2 - h = 0 for a.
3
Let c = -19 - -23. Solve -c = w - 0 for w.
-4
Let v be (-15 - -1)/(2/1). Let g = v + 9. Let i(l) = -l**2 + l + 2. Let z be i(g). Solve p = -z - 2 for p.
-2
Let j = 28 + -10. Let c be 40/j - 4/18. Suppose s + 8 = -4*l, -s = c*s - 3*l - 6. Solve 4*m + m - 5 = s for m.
1
Let k(c) = -c**3 - 5*c**2 - 6*c. Let m(h) = h**2 + 4*h - 1. Let o be m(-3). Let a be k(o). Let u be (-1)/(-4) - (-30)/a. Solve -u*v = -2*v - 8 for v.
4
Suppose 0 = 3*m - 0*m - 3. Let q be (m/3)/(2/36). Solve -2*t = -q*t - 4 for t.
-1
Let k be 2 - (2 + -2 + -1). Suppose 0*o - k = o. Let m = 3 + o. Solve m = 2*i + 3*i + 5 for i.
-1
Suppose 0 = -4*r - 3*d + 11, -4 = -3*r + r - 2*d. Solve r*m - 25 = -0*m for m.
5
Let j(q) = q**3 - 9*q**2 + 8*q + 2. Let c be j(8). Let f be 6*((-12)/9 + c). Let i be (-16)/(-12)*(-3)/(-2). Solve 0 = f*u - i*u + 8 for u.
-4
Let h(a) = -9*a. Let v be h(-1). Let b(d) = d**2 - 9*d - 19. Let z be b(11). Solve v = -0*t + z*t for t.
3
Let s = 13 - 8. Let k(y) = y**3 - 4*y**2 - 4*y - 2. Let m be k(s). Suppose 5*p - 17 = -4*u, -4*p = -3*p + m. Solve u = 5*d - 7 for d.
3
Suppose 0 = c - 3*c + 4. Solve i + c = -0*i for i.
-2
Suppose -2*a = 21*a. Let r = 7 + -3. Suppose -2*k + r = 2. Solve -k = -u - a for u.
1
Suppose -f - 13 = -18. Solve -2*y = -y - f for y.
5
Let g(k) = 0*k + 0 - 1 + 10*k. Let a be 9/5 - (-1)/5. Let p be g(a). Solve p - 3 = 4*i for i.
4
Let f = -13 + -1. Let b = -10 - f. Let d(t) = -8*t - 1. Let m be d(-1). Solve m - 19 = b*h for h.
-3
Suppose 5*f + 80 = -5*o, -82 = 5*o + 2*f + f. Let l = o - -6. Let c(d) = d + 27. Let y be c(l). Solve 5*v + y = v for v.
-4
Let v(r) = 1 + r + r - 4. Let p be v(5). Suppose -2*n - 20 = -p*n. Solve y - n = -y for y.
2
Let p = -55 - -56. Solve p = -u + 6 for u.
5
Let i(z) = -z**2 - 12*z - 2. Let f be (0 - 9)/(6 + -5). Let t be i(f). Let s(p) = 3*p - 1. Let o be s(2). Solve t = -0*j + o*j for j.
5
Suppose 0 = -2*a + a - 4*y, -5*y = 4*a. Solve 0*w + w = a for w.
0
Let g = -23 + 26. Solve -j = -0 + g for j.
-3
Let d = 2 - 7. Let g = d + 7. Suppose -20 = -g*n - 2*n. Solve 4*y + 15 + n = 0 for y.
-5
Let k = 15 + -9. Suppose -4*s = 3*b - 18, -18 = -k*b + 3*b - 2*s. Solve b*i = 2*i for i.
0
Suppose c - 15 = -2*c. Solve 7 = c*p + 2 for p.
1
Suppose -12 = -4*l - 0*l. Suppose -s - 3*w + 12 = -9, -l*s - 3*w = -33. Let j be (4/s)/(4/6). Solve -j = 2*b + 1 for b.
-1
Let n(w) = -w + 4. Let c(p) = p + 2. Let q be c(0). Let a be n(q). Solve 0*u = -u - a for u.
-2
Let a = -23 - -27. Solve a + 11 = 3*u for u.
5
Let w(a) = -a**2 + 5*a - 4. Let n be w(3). Let j = -58 - -58. Suppose 2*k + 4*c + 10 = j, -1 = -4*k + k - n*c. Solve k*q = q - 8 for q.
-4
Suppose -4*v = -3*v + 4*n - 13, 4*v + 2*n - 10 = 0. Solve -3 = -s + v for s.
4
Let s(i) = i**3 + i**2. Let j be s(1). Suppose 9 = j*t + 1. Solve 2*b - t = 6*b for b.
-1
Suppose -3*w = -0*w - 6. Suppose 0 = -w*n + n + 13. Suppose 4 = 2*v + 2*v. Solve 3*d + v - n = 0 for d.
4
Let m be (0 - -1)*(6 + -1). Solve 0 = m*v + 6 + 9 for v.
-3
Let l(v) = 2*v + 47. Let s be l(-21). Solve -y + s = -0*y for y.
5
Let j be (2/(-20)*4)/(3/(-45)). Solve j = -y + 4*y for y.
2
Let x = -95 + 97. Solve 3 - 13 = -x*m for m.
5
Let u = -4 + 4. Solve u = -m - 1 + 2 for m.
1
Let a = 6 + -3. Suppose 2 = -a*g - g - 5*w, 3*g - 2*w - 10 = 0. Suppose 6*t - 2*t = -4*p - 16, 9 = 4*p - t. Solve g*d + p = -3 for d.
-2
Let y be 1/(8/7 - (-8)/(-56)). Solve -9 - y = 5*n for n.
-2
Suppose -2*r + 0*m = -3*m - 24, -3*m = -r + 9. Suppose -o - o + 2*g + 8 = 0, 5*g = 3*o - 20. Solve o = -5*n + 2*n + r