 -2 for a.
-1
Suppose -7*a + 16 = -12. Solve w = -w + a for w.
2
Let g be (0 - (-3 - -1)) + -2. Let i be (-3)/(-5) + 12/30. Solve a + i + 1 = g for a.
-2
Let t = 2 - 0. Suppose -u = -t - 3. Solve 0 = -u*b + b for b.
0
Suppose 2*o = -2, -5*n + 1 = -o - 0. Suppose -2 + 1 = -k, -l - 2*k + 5 = n. Solve -4*m - 1 = l for m.
-1
Suppose 0*p + 5*p + 4*p = 0. Solve p*q + 3*q = 0 for q.
0
Let v(l) = -45*l**3 - l + 1. Let q be v(1). Let r be (q/9)/(0 + -1). Solve c = r - 0 for c.
5
Let y be (((-168)/(-30))/7)/(2/10). Solve -5 = y*g + 7 for g.
-3
Let h(j) = j**2 + 9*j - 184. Let p be h(-19). Let k = -5 - -13. Solve -p*u + k = -4*u for u.
4
Let g be 35/(-4) - 1/4. Let k = g - -12. Solve 3 = k*h + 18 for h.
-5
Let d(f) = -f**3 - 7*f**2 - 5*f - 1. Let r be d(-6). Let u = 12 + r. Suppose 5*q = 3*q + 8. Solve 0 = -u*o + 16 + q for o.
4
Suppose 0*s = 5*s. Suppose s = -8*q + 3*q. Solve 0 = -q*o - 3*o + 3 for o.
1
Suppose -2*s + 2 = 5*z, -5*z + s + 6 = 2*s. Let n(o) = -o**2 + 6*o + 8. Let c be n(7). Let q = 1 - c. Solve -5*w + z*w - 12 = q for w.
-4
Let d = -9 + 6. Let v = 8 + d. Solve 4*k + 15 = -v for k.
-5
Let u(y) = 6 + 3 + 0 + 1 - y. Let f be u(0). Let g = -8 - -12. Solve 2*t - g*t + f = 0 for t.
5
Let r = 1 + -1. Let m be ((-3)/(-4) - 1)*-4. Let n be m/3 - 220/(-15). Solve 3*p + n - 3 = r for p.
-4
Suppose -m + 24 = -0*m + 4*p, -m - 3*p = -19. Suppose 23 = m*j + 3. Solve 9*v + j = 4*v for v.
-1
Let i = 3 + -5. Let g be (0/i + 0)/(-2). Let v(y) = -y**3 - 5*y**2 - 6*y - 5. Let j be v(-4). Solve j*p - 18 + 3 = g for p.
5
Let c = 15 + -15. Solve -2*o - 3*o = c for o.
0
Let x(r) = 7*r**2 + 13*r + 3. Let t be x(-2). Solve -3*w + 2 = -t*w for w.
-1
Let g be 1 - 4 - 1*-23. Let s = -20 + g. Solve -12 = -3*d - s*d for d.
4
Let u(p) = p**3 - 2*p + 1. Let l be u(1). Suppose l = -5*x + 3*x. Solve 20 = 5*q - x for q.
4
Suppose 7 = n + t, -4*t + 7 + 6 = -n. Suppose 20 = 5*o + 4*y - n*y, 50 = 5*o - 5*y. Solve -2*b - o = -b for b.
-5
Let s be -6*((-16)/12 + 1). Solve s*q - 6*q = 12 for q.
-3
Suppose -3*s = 2*s - 25. Let l be (0*5/(-25))/2. Solve l = -s*n + n + 8 for n.
2
Let l be (1 + (-12)/8)*0. Suppose l*a - 8 = 2*f + 4*a, 5*f - 28 = 2*a. Solve 0 = f*o - 11 - 5 for o.
4
Suppose 4*g - 5*x = 25, 0 = 5*g + 2*x + 2 + 8. Solve -p - p + 6 = g for p.
3
Let k = 17 + -14. Solve k = 3*c - 12 for c.
5
Suppose -2*m + 0*m - 8 = 0. Let x = 4 + m. Suppose -o + 13 = 3*c, 0*c + 4*c - 8 = o. Solve x*s + 4*s = o for s.
1
Let t = 3 - 3. Suppose t = r + 3*r. Suppose -2*v = -5*v, r = -3*g + v. Solve -4 + g = q for q.
-4
Suppose -3*o + 5*g + 27 = 0, 5*g = -4*o + 2*o - 7. Solve 3 - 19 = o*b for b.
-4
Let g(v) = -v**3 + 6*v**2 - 5*v + 4. Let j be g(5). Solve 2*a + 4 = -j for a.
-4
Let i = -31 + 34. Solve -4 = -i*g - g for g.
1
Suppose -w = 4*g - 26, -4*g + 3*g + 89 = 4*w. Solve -5*z - w = 3 for z.
-5
Let d(p) = p**3 - 10*p**2 + 2*p - 7. Let g be d(10). Solve 4*n - 3 = g for n.
4
Suppose -4*s - 9 = -21. Solve 0*b - 3 = -s*b for b.
1
Suppose 5*c - 55 = 10*c. Let f = c + 11. Let l be (-1)/3 - (-1)/3. Solve s + l*s = f for s.
0
Suppose 3*w = 5 + 1. Suppose w*r = -3*r + 5*o + 5, -4*o - 8 = -5*r. Let q be (9 - 7) + (-1 - -2). Solve q*z = r*z - 3 for z.
3
Suppose 0 = 3*s + h - 13, -2*h = 2*s - 4*s - 2. Suppose s*i + 19 = 5*g, -g + 2*i - 2 = -10. Solve 0*l + g = -2*l for l.
-1
Let i(m) = m**2 - 7*m + 3. Let o be i(8). Solve o = -4*u - 5 for u.
-4
Suppose 15*r + 33 = 4*a + 16*r, r - 17 = -2*a. Solve 4*x - 20 = a*x for x.
-5
Suppose -5*c + 2*c + 3 = 0. Let l(a) = a. Let i(y) = 5*y + 1. Let k(d) = c*i(d) - 6*l(d). Let u be k(1). Solve u = -v - v for v.
0
Let r be 0*3/3*1. Suppose r = 3*v - 5*v. Let y be (0/(-2))/(2*-1). Solve y*n + 2*n - 4 = v for n.
2
Let q(s) = s - 8. Let b be q(0). Let t be -7 + 4 + (0 - b). Solve t*i = 4*i - 5 for i.
-5
Let r = 7 + -3. Suppose 0*x = -2*x + r. Suppose 0 = -0*q + x*q. Solve -3 = -q*k - 3*k for k.
1
Suppose -4*q + 3*d = -23, 0 = -4*d - 0 - 20. Let o = -2 + 3. Solve -9 = -q*j + o for j.
5
Let r(d) = d - 8. Let w be r(6). Let b be 0 + (0 - -2) + w. Solve 2*p + b*p = 0 for p.
0
Suppose -f - 9*f = 2*f. Solve f = -y - 4*y + 5 for y.
1
Suppose 2*y + 10 = 0, 2*y - y + 17 = 4*g. Solve -8*p = -g*p - 20 for p.
4
Let h(w) = w**3 - 7*w**2 - 7*w - 3. Let r be h(8). Let u be 0/((1*-4)/2). Let t = -7 + 10. Solve u = t*a - r*a for a.
0
Let z = -4 - -9. Let a(c) = -c + 9. Let w be a(5). Solve w*i - z = 3 for i.
2
Let j be 3/9*3 + 7. Suppose -1 = b - j. Solve -4*c - 27 = -b for c.
-5
Suppose -7 = -6*r + 53. Solve -2*v + 2 = r for v.
-4
Let n(f) = f**2 + 7*f + 9. Let z be n(-9). Let c be -5*(1 - z/15). Let l(b) = -b + 4. Let w be l(c). Solve 0 = 2*y + 4 - w for y.
-2
Let d(a) = -a**2 + 7*a + 2. Let x be d(6). Let c(o) = o**2 - 1. Let g be c(0). Let l be x*(g/(-2) - 0). Solve 0 = u - l*u - 9 for u.
-3
Suppose c = -2*v + 13, 2*v = c + 2*c + 1. Solve c*y + 6 = 5*y for y.
3
Suppose -18 = 4*o - 13*o. Solve o = 4*z - 10 for z.
3
Let g = 152 - 147. Let s = 0 + 1. Let h be 15 - (0 + 1/s). Solve -g*y + h = 34 for y.
-4
Let p = -3 + 7. Suppose 8*i - p*i - 24 = 0. Solve 3*w = i - 21 for w.
-5
Suppose -2*t = -4*t + 4. Let q = t - -1. Solve u - 10 = q*u for u.
-5
Let h = -1 - -7. Let s(n) = 2 - 10 + n + 8*n - n**2. Let g be s(h). Solve g = -5*y - 0*y for y.
-2
Let l be -6*3/(-6) + 1/(-1). Solve 6 = -l*d - 0 for d.
-3
Let b(p) = -p**3 + 17*p**2 + p - 17. Let q be b(17). Let c be -2 + (4 - (1 - q)). Solve -c = h - 0 for h.
-1
Let r(s) = 4*s - 1. Let j be r(4). Let x be (-2)/2 + -9 + j. Solve 0 = x*d + 18 + 7 for d.
-5
Let s(m) = 2*m**2 - 14*m - 12. Let l be s(8). Solve -l*d + 6 = -d for d.
2
Let s = 14 + -9. Suppose 0*n + s*n = 0. Solve 4*i - 6*i - 6 = n for i.
-3
Suppose 3*l - 4*h - 22 = 0, -2*l = -7*l + 3*h + 44. Let k = l + -7. Solve -m + k + 2 = 0 for m.
5
Suppose 2*i = 11*i - 27. Solve r = 2*r + i for r.
-3
Let t(u) = u**2 - 13*u - 8. Let k be t(13). Let w = k + 11. Solve 0*b + 12 = w*b for b.
4
Let c be 9 - (-1 + 2 - 4). Solve 13 = 5*l - c for l.
5
Let t = -34 + 34. Solve -3*x = -t*x - 15 for x.
5
Let u be 0*(12/(-8) - -1). Solve 20 = -4*j - u*j for j.
-5
Let h(k) = -k**3 + 3*k**2 - 2*k + 4. Let l be h(2). Solve -l*u - 4 = -0 for u.
-1
Suppose 10 = -5*u + 20. Solve v = -u*v for v.
0
Let a(s) = s**3 + 3*s**2 - 5*s. Let t be a(-4). Solve -t + 3 = y for y.
-1
Let a(m) = m**3 - 5*m**2 - 5*m - 4. Let x be a(6). Suppose -2 = -3*j + 10. Let n be -1 - (j - 3) - -4. Solve -n - 2 = x*p for p.
-2
Let m = 1 - 1. Suppose r + 0*r = 8. Let c = 12 - r. Solve m = -t + 2*t - c for t.
4
Suppose 0 = -p + 4*j - j, j - 1 = 0. Solve -1 + p = 2*s for s.
1
Let i(o) = -o**2 - 12*o + 1. Let b be i(-12). Solve -5*k = -4*k - b for k.
1
Let v = -15 + 11. Let f = v - -6. Let r be 4/1*4/f. Solve -2*j - 2 = r for j.
-5
Suppose 3*w - 2*w + 3 = 0. Let g be (2/4)/((-3)/(-12)). Let x be (g + 3)*w/(-5). Solve 6*s - 9 = x*s for s.
3
Let l be (-6)/(-4)*6/3. Suppose 23 = i - 3*w, 3*i - 41 = l*w - 2. Let j(k) = k**2 - 9*k + 11. Let r be j(i). Solve c + r + 2 = 0 for c.
-5
Suppose -7*a = -4*a - 15. Solve -a*d + 6 = 1 for d.
1
Suppose 3*h = 3*y - 7*y + 111, 2*h - 83 = -3*y. Solve -5*p - 2 + y = 0 for p.
5
Let o be -2 + (-3)/(6/(-28)). Suppose -3*t = -2*w - 41, -4*w + 10 + o = 2*t. Solve -t = -2*a - 5 for a.
4
Suppose 3*f - 2*x = 2, 5*f + 0*x + x + 1 = 0. Solve f = -z - z for z.
0
Suppose -5*c = b - 8, 0 = -5*b - 4*c - 15 + 34. Solve 10 = -b*z + 8*z for z.
2
Let b be (168/18)/14 + 32/6. Solve -b*o = -3*o + 15 for o.
-5
Let a = 105 + -99. Solve -a*t = -7*t + 2 for t.
2
Let b be 2/(-4) - (-44)/8. Let g be (-3 + -1 - (8 + -11))*-6. Solve 0 = b*s - 3*s + g for s.
-3
Let a(i) = -3*i - 32. Let t be a(-19). Solve 7*v - t = 2*v for v.
5
Let p(f) = -f**2 + 8*f. Let l be p(7). Let d(r) = -r**3 + 7*r**2 + r - 2. Let s be d(l). Solve 4 = -s*g + 19 for g.
3
Let p = 32 + -20. Let y(d) = -d**3 - 7*d**2 + 6*d - 10. Let u be y(-8). Solve -2*s + u*s - p = 0 for s.
3
Let x = 27 - 15. Solve b = -2*b - x for b.
-4
Suppose -10 = -k + 5*x, -k = -0*k - 4*x - 9. Solve -k*d + 8 = -3*d for d.
4
Suppose 5*a - 46 = h, -3*h + 5 = 2*a - 10. Suppose 12 = 3*m - 2*m - 4*g, 3*m = -3*g - a. Solve 5*y + m*y - 15 = 0 for y.
3
Let l = -11 + -10. Let a = -4 - l. Solve -3 = 4*n + a for n.
-5
Let t be 188/12 + 4/(-6). Suppose -25 = -5*b, -3*c = -0*b - 4*b + 5. Solve -c*d + 5 = -t f