r d.
2
Let d be (3 - 2)/1 + 0. Suppose -2*a = -d - 3. Solve -a*r + 0*r = -4 for r.
2
Let s = -15 - -8. Let i be (-14)/(-2)*(-7)/s. Suppose -6*j - 12 = -i*j. Solve -5*k - j = -k for k.
-3
Let k(a) = 2*a**2 - 29*a + 22. Let q be k(14). Solve c + c - q = 0 for c.
4
Let g = 36 + -29. Solve -f - 4 + g = 0 for f.
3
Suppose 0 = -4*z - 9 + 29. Solve 0*l + 15 = -z*l for l.
-3
Let h be 19/3 + (-1)/3. Let n(s) = -s**2 + 6*s - 3. Let i be n(h). Let q = i + 8. Solve -q*u - 6 = -16 for u.
2
Let j = -5 + 9. Suppose -2 = -j*u + 2. Solve 0 = -h - u - 0 for h.
-1
Let o(b) = -b**3 - 6*b**2 + 8*b + 9. Let h be o(-7). Suppose -3*v - h = -4*v. Solve 4*s = -v - 2 for s.
-1
Let r(c) = 2*c**2 + 7*c + 6. Let h be r(-4). Let q = h - 7. Solve 2*j - q = 3*j for j.
-3
Let f(u) = u + 12. Let z be f(-7). Solve z*d = 3*d - 2 for d.
-1
Let y(o) = -12*o. Let m(w) = -w**2 - w - 1. Let d be m(-1). Let u be y(d). Suppose 0 = 2*s + 2*s - c - 10, 8 = 2*s + c. Solve -7*a + u = -s*a for a.
3
Suppose 4*t - 25 = 2*t + 5*v, 2*t - 5 = v. Suppose 4*u + t*u = 0. Suppose 3*k + 0 = -n + 3, -2*n + 5*k + 50 = u. Solve -6*a + n = -3*a for a.
5
Let k(a) = -a**2 + 10*a - 2. Let b be (-5)/(-30) + (-53)/(-6). Let w be k(b). Suppose -2*s - 80 = -w*s. Solve 4 = 4*l - s for l.
5
Let u be (-1)/3 + (-32)/12. Let j be -6 + 0 + (-4)/2. Let m = u - j. Solve 3*x - m = -2 for x.
1
Let o(d) = 19*d**3 + 2*d**2 - 1. Let q be o(1). Suppose 0*a + 4*a - q = 0. Solve -3 = 2*j + a for j.
-4
Let b be 2/6 + 8/3. Suppose -3*f + b*p + 9 + 0 = 0, 10 = 4*f - 5*p. Solve 3*q + 20 - f = 0 for q.
-5
Let r = 6 + -12. Let v = 10 + r. Solve 0 = -0*s + v*s - 20 for s.
5
Suppose -3*c + 9 = -15. Solve 4*b + 0*b = -c for b.
-2
Let s = -43 - -43. Solve -3*r + 15 = -s for r.
5
Suppose 6*o - 3*o - 6 = 0. Suppose 3*k + n + 2 = 9, o*k - 4*n = 0. Suppose h - k*h + 3 = 0. Solve -h*a = -a for a.
0
Suppose 3*y = -b + 10, -4*y + 5*b + 4 = 16. Solve 3*t - 5 = -y for t.
1
Suppose l - 2*l + 8 = 0. Suppose -4*j - 6*r + 10 = -r, 2*j - l = -4*r. Solve -d - d - 4 = j for d.
-2
Suppose 5*q = -2*x + 9 - 25, 0 = q + 4. Suppose -j = -x*w + 6, -4*j + 4*w = 18 - 6. Solve j = -a + 2*a - 1 for a.
1
Let s(r) = -13*r + 2. Let w be s(2). Let k = w + 24. Solve -5*l + 0 + 5 = k for l.
1
Suppose 2*f = b - 2*b + 11, 0 = 2*f - 4*b + 4. Suppose -f*q + 9 - 1 = 4*k, -k = 3*q - 6. Let v be 1 + (-1 - -4) + 1. Solve 7*u - q*u + v = 0 for u.
-1
Let j(d) = 3 + 5*d**2 - 2*d**2 - 2*d**2 - 1 - 7*d. Let f be 32/6*6/4. Let t be j(f). Solve 4 = 2*k + t for k.
-3
Suppose 5 - 25 = 5*l. Let j(s) = s**3 + 3*s**2 - 5*s - 1. Let g be j(l). Solve -11 = -g*b - 2 for b.
3
Let p = 2 - -19. Suppose p = -4*q + 7*q. Solve 3*g = 22 - q for g.
5
Let m be -1 + -18 + (-6)/3. Let n = 15 + m. Let d be n*-1*(-2)/(-6). Solve 4 = -d*b + b for b.
-4
Let a(n) = n**3 + 3*n**2 + n + 4. Let v = -1 - 2. Let u be a(v). Solve u = 4*z - 3 for z.
1
Suppose -5*b + 15 = -0. Solve -1 - 5 = b*i for i.
-2
Suppose 10*g + 12 = 62. Solve 0 = -2*a + g*a for a.
0
Let c(i) = 16*i - 11. Let d(t) = -3*t + 2. Let q(p) = -2*c(p) - 11*d(p). Suppose -4*h + 26 = 10. Let u be q(h). Solve 2*m = u*m for m.
0
Suppose -85 = -2*y + 7*y. Let b = 17 + y. Solve 3 = -3*w - b for w.
-1
Suppose 4*d - 2 = 3*d. Solve 0 = d*y - 3*y for y.
0
Let h(d) = -1 - 3*d - 3 + 3. Let g be h(-1). Suppose -4*s - 21 = -7*s. Solve g*u - s*u = -25 for u.
5
Let r(x) = x**3 + x**2 + 1. Let z be r(0). Suppose 5*h - 17 = 2*d, -h - 2*d = -z - 0. Let m be 8/(-2) + h - -4. Solve t = m*t - 10 for t.
5
Let m(g) = g - 2. Let h be m(6). Suppose -z = -3*v + 2*v - 4, -z + 19 = -4*v. Let o be (v/(-2))/(2/h). Solve -3*c - o = 1 for c.
-2
Let g = -11 + 12. Let b be 9/6*(-20)/(-3). Solve g = -3*m + b for m.
3
Let d(w) = -w**2 - w + 2. Suppose -4*p = -19 + 3. Suppose 4*r + p*g - 12 = 0, r + 4*r - 4*g = -12. Let m be d(r). Solve 7 + 1 = m*l for l.
4
Suppose -r + 5 = 3. Solve 12 = g + r*g for g.
4
Suppose 2*v = 4, 21 = -5*h - 0*h + 3*v. Let j(o) = o**3 + 2*o**2 - 3*o - 2. Let m be j(h). Let q be m*((-18)/4 - -2). Solve -q*r + 34 - 9 = 0 for r.
5
Suppose -g + 3*m = -14, 0 = -3*g + m + 3*m + 37. Let q(v) = 2*v - 16. Let p be q(g). Let d be (1 - 3)/((-2)/3). Solve d*u = p*u for u.
0
Let i be (-45)/(-27)*12/10. Solve 2*b + i*b + 4 = 0 for b.
-1
Let c(b) = -b**2 - 22*b + 34. Let y be c(-23). Solve 9*p + 4 = y*p for p.
2
Let f(r) = r - 10. Let m be f(12). Suppose c = m*c - 1. Solve 0 = s - 4 - c for s.
5
Suppose 5 = 2*i - i. Suppose 25 = i*k, -g - 2*k + 9 = -6. Solve g = -0*w + w for w.
5
Let l(u) = -u**3 - 16*u**2 + 36*u. Let c be l(-18). Solve c = 13*x - 9*x + 16 for x.
-4
Let u be 3*(-2)/(6/(-3)). Solve -u*s - 1 = -4*s for s.
1
Let b(x) = x**3 - x**2 + x + 6. Suppose -4*g - g - 2*s = -2, 2*g - 4*s + 4 = 0. Let q be b(g). Solve l - 20 = q*l for l.
-4
Let t be (5/3)/((-2)/(-6)). Let l(r) = -r + 6. Let v = -5 - -11. Let k be l(v). Solve -n + t = -k*n for n.
5
Suppose 5 = 3*z + 2. Suppose -9 = 3*j - 6. Let y = z + j. Solve -w + 5*w = y for w.
0
Suppose 0 = -5*t + 3*t + 10. Let j = t + -3. Suppose 3*m - 3*o - 1 = 14, o - 2 = 0. Solve -j = -3*g + m for g.
3
Suppose -11 = -m - 3*w, 0*w = -m - w + 7. Suppose 4*t - m*t = -12. Let n = t + -7. Solve 0 = -2*s + n*s - 6 for s.
2
Suppose 4*v - 19 = 3*v. Solve 0 = -3*h - v + 4 for h.
-5
Suppose -12 = -3*p, -11 - 10 = -z - 3*p. Suppose b + 2*h = -6, -h = -2*b + b + z. Let l(x) = -x**2 + 6*x - 3. Let y be l(b). Solve 0 = -y*w + 8 + 17 for w.
5
Let m(j) = 11*j**3 + 2*j**2 + 2*j - 3. Let z be m(1). Solve 0*k = -4*k + z for k.
3
Let o be 2/(-1 + (0 - 1)). Let g(b) = -2*b**3 + b**2 - 1. Let s be g(o). Let c = 4 + -2. Solve c = -s*n + 10 for n.
4
Let u be (-232)/(-48) - (-2)/12. Solve -2*b - u = 3 for b.
-4
Suppose f - 2*f = 4, 4*v + f = -4. Let h be ((-5)/10)/(1/(-14)). Let j = 8 + -3. Solve v = j*c + 13 + h for c.
-4
Suppose -4*j = 4*r - 64, -2*j - 17 = -3*r + 6. Solve -4*f + 5 = -r for f.
4
Let q(t) = t**2 + 2*t + 2. Let o be q(-2). Let h = -2 + o. Suppose h = a, 4*a - 4 = -i - i. Solve 0*k - 10 = i*k for k.
-5
Let b(r) = r**3 - 5*r**2 + r - 1. Let g(k) = -k**3 + 5*k**2 + 2. Let o(s) = 6*b(s) + 7*g(s). Let j be o(6). Solve n - j = -3 for n.
5
Let p = -11 + 15. Suppose -m + p*m = 0. Let i(o) = o**2 - 3*o - 7. Let l be i(5). Solve m*s = l*s + 6 for s.
-2
Suppose 13 = -o + 4*o - 2*t, -5*o + 21 = -4*t. Solve -7 = -4*x + o for x.
3
Suppose 9 = -h - 2*j, 0 = -4*h + j - 10 + 1. Let a be (-2)/(h/(-5) + -1). Suppose -4*l = -2*l - 4*g - 8, g = -a*l + 9. Solve 0 = 2*n + l*n + 12 for n.
-3
Suppose 6 = 2*y + y. Suppose 2*j = -y*j. Solve j*l = -l + 5 for l.
5
Let u(s) = 2*s**3 - 3*s**2 + 3*s - 4. Let t be u(2). Solve 3*a + 0*a = -t for a.
-2
Let s(a) = a**3 + 4*a**2 - 5*a - 4. Let q be s(-5). Let m(r) = r**3 + 5*r**2 + 2*r - 3. Let b be m(q). Solve -b = -2*g - 1 for g.
2
Let b = -5 + 10. Suppose g - 111 = -b*s, 2*s + 4*g - 47 = 1. Solve 5*m - 3 = s for m.
5
Let u(r) = r**2 - 7*r + 11. Let z be u(6). Solve 3 - z = -n for n.
2
Let u be (-2 - (-9)/3) + 1. Suppose h = -0*h. Solve h = u*b - 6*b for b.
0
Let y(a) = a + 9. Let j = -2 + -3. Let q be y(j). Solve -q*n = -2*n for n.
0
Let f be 3/(-5) + 288/80. Solve -5*z + f*z = 8 for z.
-4
Suppose 0 = -l + 2*l + 5. Let c be l*(1 + -2*1). Suppose -c*n + 4 = 2*i, 0*i - 2 = -i. Solve n*s + 5*s = 0 for s.
0
Let f be 15*1/6*2. Solve f*x + 0*x + 25 = 0 for x.
-5
Let m(u) = u**2 + 5*u - 4. Let q be m(-6). Solve 4 = -q*f - 0 for f.
-2
Suppose 0*y - 24 = -2*y. Let n be 12/(-2)*(-16)/y. Solve 4*c + n = -0 for c.
-2
Let p be (-2)/(-7) - 792/(-21). Suppose 8 - p = 5*j. Let o(c) = c + 6. Let k be o(j). Solve k*q = -4*q for q.
0
Let q(f) = -f**2 + 9*f - 3. Let w be q(9). Let g = -1 - w. Solve 0 = -3*l - g*l for l.
0
Let x = 2 + 10. Suppose -x = -4*j + j. Suppose p + p + 8 = j*m, 3*p - 3*m = -6. Solve -4*n + 16 = -p for n.
4
Suppose 0 = -2*o - 4*h + 26, 5*h - 24 - 1 = 0. Solve 2 = o*f - 1 for f.
1
Suppose 2*t = -3*g + 16, 4*t + g - 6 = 6. Suppose 0 = -t*m - 3*m + 25. Solve 2*j - m*j + 15 = 0 for j.
5
Let c = 12 - 9. Solve -c*o + 1 = -2 for o.
1
Let k be (-3)/6*(0 - 0). Suppose k = -l + 5 - 3. Solve 4*m + l = -2 for m.
-1
Suppose -5*i = -10 - 20. Suppose 27*m - 92 = 43. Solve 4 + i = -m*d for d.
-2
Let v = 0 + 3. Let f be 2*v - (-6 - -6). Solve f*w = w - 20 for w.
-4
Let v be (-38)/(-4) + 2/4. Suppose 0 = -3*g + v + 17. Solve g*q = 4*