r z.
1
Suppose -3 + 21 = 2*q. Let b be 3/(-2)*(-30)/q. Solve 2*g - b*g = 6 for g.
-2
Let s = 0 + 0. Let g = 14 - 11. Suppose b + 1 - 3 = s, g*n - b = 7. Solve n*q = 2 + 4 for q.
2
Suppose m - 3*m + 3*r - 6 = 0, -5*m + 8 = 4*r. Solve m = -4*c + 13 - 5 for c.
2
Let w(u) = -u**3 - u**2 - u - 2. Let g = 3 - 3. Let a be w(g). Let p = 5 - a. Solve -p + 4 = n for n.
-3
Let a be (8/(-5))/((-6)/105). Suppose 0*q - q + 9 = 4*j, 0 = 5*q + 3*j - a. Suppose -n - 2*m - 5 = 2*n, 3*n - q*m = 23. Solve y = 2 - n for y.
1
Suppose -4*r = -9*r + 15. Let t(f) = 3*f**2 + 2 + 6*f - r*f**2 + f**2. Let h be t(-6). Solve 0 = -2*i - h*i for i.
0
Let t be -1 + (-12)/(-4) - -4. Suppose -4*m + 13 + 7 = 0. Let d be m/15 + 10/t. Solve d*w - 1 = -7 for w.
-3
Let n = -50 - -70. Suppose -6*x + 4*x = -n. Let i(o) = 5*o**2 - 1. Let t be i(-1). Solve 0 = t*s + x - 2 for s.
-2
Let y = 3 + 1. Suppose -3*w = -w - y. Solve -2*x - w - 6 = 0 for x.
-4
Suppose -c + 4*d + 6 = 0, -3*d + 0*d + 7 = 5*c. Solve m - c*m = 0 for m.
0
Let x(p) = p**2 - 2. Let k be x(-2). Let d = -3 + 11. Solve k*a + d = -2 for a.
-5
Let r(j) = -j**2 + 2*j + 3. Let w be r(3). Let h = -2 + -3. Let f = -3 - h. Solve w = 2*i - 4 - f for i.
3
Suppose 5*r - 14 = -4. Let g(h) = 10 + r*h - 4*h + h. Let x be g(5). Solve b + 0 = -x for b.
-5
Let j = 6 + -3. Suppose -x + 5*z + 10 = 0, j*x = x - 5*z + 50. Solve 5*g - g - x = 0 for g.
5
Let t(o) = o**2 - 7*o + 6. Let w(d) = 2*d**2 - 8*d + 7. Let i(n) = 3*t(n) - 2*w(n). Let r be i(-5). Solve -r = -7*g + 3*g for g.
1
Suppose 0*a - 2*x = -a - 4, 0 = -2*x + 8. Let c(i) = i - 2. Let s be c(a). Solve -4 = s*u + 4 for u.
-4
Let k(b) = b**2 + 12*b + 11. Let x be k(-11). Let s(g) = -g + 2. Let o be s(0). Solve x = -h - 0*h + o for h.
2
Suppose 8*z - 14 = z. Solve -4*q + 8 = -z*q for q.
4
Let l = -43 + 46. Solve 0 = 2*f + l*f for f.
0
Let a = -4 + 9. Suppose -4*h + 3 + a = 0. Solve -h*x + 20 = 3*x for x.
4
Let m be -2*(-1)/(1/(-3)). Let v be (-4 - -6)*m/(-4). Solve -3 - 3 = v*h for h.
-2
Let g be 16 + 1/(1/3). Let u = g + -16. Let v(x) = x**3 + 4*x**2 - x - 3. Let j be v(-4). Solve -7 + j = -u*k for k.
2
Let z be ((2 - 1) + 9/(-6))*-8. Solve -2*r + z*r = 0 for r.
0
Let p(f) = -4*f + 5. Let q(h) = -h + 6. Let a be q(3). Let m = -1 - a. Let n be p(m). Solve -5 = 4*t - n for t.
4
Let k be ((-6)/4)/((-3)/4). Suppose -2 = k*t - 2*r + 2, 0 = r - 5. Solve 4*z + t = 5*z for z.
3
Suppose -4*z - 6 = -5*u, -2*z + 0 + 4 = u. Suppose -u = -0*o - o. Solve o*k + 3*k + 15 = 0 for k.
-3
Suppose 3*o = -3*o + 18. Suppose o*s - 11 = 5*c + 23, 70 = 5*s - 5*c. Solve -5*n = -s - 7 for n.
5
Let d(c) = c**3 - 4*c**2 + 5*c - 4. Let i be d(3). Solve 6 - i = 4*t for t.
1
Let t(q) = q**3 + 4*q**2 - 7*q - 6. Let m be t(-5). Solve 20 = -m*k - k for k.
-4
Let r = 707 + -704. Suppose -3*j + 4*u + 10 + 17 = 0, 4*u + 37 = 5*j. Solve j*y - r*y = -8 for y.
-4
Let h = -44 + 54. Solve h = 2*q - 0*q for q.
5
Let s = -19 + 35. Let k be (-8)/10*(-9 - -4). Solve 0*p = k*p + s for p.
-4
Let o be 0 + (-2)/(-11) - (-2325)/341. Solve o*a = a + 24 for a.
4
Let a(f) = f**2 + f - 4. Let o be a(3). Let i = -14 - -14. Let n = o - i. Solve 3 = y + n for y.
-5
Suppose -4*m - 3 + 11 = 0. Solve -1 = m*k - 3 for k.
1
Suppose -3*z = -10*z + 42. Solve 8 = -z*q + 2*q for q.
-2
Let g(f) = f**3 + 28*f**2 + 26*f - 25. Let z be g(-27). Solve -10 = -z*l - 0*l for l.
5
Suppose 0 = -2*n - 3*n. Suppose 0 = t - n*t. Solve t*p + 2*p - 10 = 0 for p.
5
Suppose 3*c + y = 10, -5*y = -c - 10 - 8. Solve c*z - 3*z - 1 = 0 for z.
-1
Let w be 45/39 - (-4)/(-26). Let t be w/(1/5) + 0. Solve t*d - d = -4 for d.
-1
Let b be (-14)/35 + (-16)/10. Let x be (4/b)/(2/(-9)). Let u = 0 + 0. Solve 3*z + x + 0 = u for z.
-3
Suppose 3*v - 38 = -0*r - 2*r, 0 = -3*r - 6. Suppose -l - 3*q = -0*q - 13, 5*l - v = 2*q. Solve -2*u - 2*u = -l for u.
1
Let f(s) = -s**3 + 7*s**2 + 8*s. Let b be f(8). Solve b = n + n for n.
0
Let g(t) = -t**3 - 6*t**2 - 2*t. Let x be g(-5). Let c be (-6)/x - 8/20. Solve -b - 2 = -c for b.
-2
Suppose q - 3*n = 17, 3*q + 0*q = -n + 21. Suppose 0 = -l - 3 + q. Solve -l + 1 = v for v.
-4
Let x = -2 + 4. Suppose 3*b = -2*y + 13, 0 = -3*b - 2*b - 25. Let k be 64/28 + (-4)/y. Solve x + 4 = k*w for w.
3
Suppose -2*h = 6 - 22. Solve -3*s = -h*s + 5 for s.
1
Suppose 3*w - 4*h = 48 + 4, -4*w + 60 = 4*h. Solve -4*d - w = -4 for d.
-3
Suppose 17 + 28 = 4*d - 5*c, -3*d + 35 = -4*c. Solve 0*u = 5*u - d for u.
1
Suppose u = -2*u - 24. Let g = u - -12. Suppose -4 - 4 = -g*x. Solve 3*w + 1 = x*w for w.
-1
Suppose -2*f = g + 1, -16 = -4*g - 2*f - f. Let u = g + -4. Suppose -4*v - 2*t + 36 = 2*t, -5*v + 4*t = -36. Solve -4 - v = -u*s for s.
4
Suppose -i + 13 = 3*x, 6*i = -4*x + 2*i + 28. Solve -6 = -0*v + x*v for v.
-2
Suppose -4*w = -3*y - 8, -5*w + 18 = -5*y + 8. Solve y = -u + 2 - 7 for u.
-5
Suppose 5*m + 2*r = 2, 4*m + 4*r + 2 + 6 = 0. Let k = m - -2. Let o be k/((-6 + 2)/(-2)). Solve o*i = -3*i for i.
0
Let u(w) = 4*w + 1. Let f be u(-1). Let l = f - -5. Let m be 4*((-1)/2 + l). Solve q = 3*q + m for q.
-3
Suppose -4*i - c = -20, -i - 2*i + 8 = -c. Let v = -2 + 3. Let t be -1*v/1*0. Solve t = q + i*q + 20 for q.
-4
Let h = 3 + -3. Suppose -3*d - 4*n = -20, d + n = 4*n - 2. Solve h = -3*a + 2 + d for a.
2
Let r(a) = a**2 - 3*a + 1. Let w be r(4). Let f be w*(0 - (-3)/3). Solve 5*i + f = -0 for i.
-1
Let b = -17 + 17. Solve b = -3*t + 5 + 1 for t.
2
Let h(m) = 4*m + 5 + 1 + 0 + 17*m**2 - 16*m**2. Let p be h(-4). Solve p*r = r + 10 for r.
2
Let p be (3*1)/(4/(-16) - -1). Solve -2*u + 4 = -p for u.
4
Suppose 3*j + 5 = -7. Let x = 7 + j. Solve x - 1 = 2*p for p.
1
Let i be -2 - (4/4 + -10). Solve -2*d + i - 3 = 0 for d.
2
Let r(f) = 18*f + 0*f**2 + f**2 - 6*f - 10. Let k be r(-13). Solve -k*x = -4*x for x.
0
Let a be ((-30)/(-15))/(1 + 4/(-6)). Solve -2*g + a = g for g.
2
Suppose -13*w = -9*w - 40. Solve -d + w = d for d.
5
Suppose 3*z - 71 = -4*b, 5*b + z - 109 = 4*z. Solve -8*o + b = -3*o for o.
4
Suppose 5*l - 1 = 14. Suppose 0 = v - l*m - m + 22, -2 = -v - 2*m. Let f(h) = -h - 6. Let t be f(v). Solve 1 + t = d for d.
1
Let l be ((6 + -4)/(-2))/(-1). Solve -g - 2 = l for g.
-3
Let r(p) = p**2 - 5*p + 3. Let f be r(6). Solve -4*z = -z + f for z.
-3
Suppose -2 = -3*p + 4. Suppose -2*o + p*q = -3*o + 3, -3*o = -2*q - 17. Solve 4 - o = r for r.
-1
Let p be (-8)/12 + (-40)/(-15). Solve -a - p*a = 3 for a.
-1
Suppose -3*p = -6, 0 = 3*f - 4*p + 12 + 8. Let t = f - -8. Solve -t*x = x for x.
0
Let k be 0/((-1 + 0 - 0)/1). Solve 2*p + 5 + 3 = k for p.
-4
Suppose -2*g + 5*c + 2 + 8 = 0, -3*c = 0. Suppose -r = -4 - 0, g*r = 2*m + 20. Solve m = 2*o - o for o.
0
Suppose -2*b - m + 11 = 0, 2*b + 2*m - 21 + 5 = 0. Suppose x = -3*k - 0*k + 9, -k + b = 2*x. Solve -22 = 5*g + k for g.
-5
Suppose 4 = 2*b + q, 3*q - 2 = -4*b + 2. Suppose 0 = -3*k + 9, -20 = -b*p - 0*k + 4*k. Solve -3*z - z - p = 0 for z.
-2
Let d = 0 + 2. Suppose -2*m + 3*m + 3*f = -d, -3*m - 3*f = 6. Let b be (-2)/(-7)*(m + 9). Solve 4*v - b*v = -10 for v.
-5
Suppose 2*h - c = -3, 4*h - 4*c + 5*c - 3 = 0. Solve h*s + 2*s = 4 for s.
2
Suppose 4*u - 4 = -p - 3, 0 = -4*p + 2*u + 22. Suppose -9 = -p*l + 1. Solve 3*h + 10 = -l*h for h.
-2
Suppose -2*v - a = 2, -v - 4*a = -a + 6. Solve v*q = -3*q for q.
0
Let v be (0 - -4) + -1 + 1. Suppose 3*z - 19 = r, -6*r + 10 = -r. Let b = -5 + z. Solve 4*y - b*y = -v for y.
-2
Let v = 2 + -1. Let r be (-4 + 4)/(v - 3). Suppose 0 = 3*u - r*u. Solve u = 5*i - 4*i - 4 for i.
4
Let m(o) = 2*o + 70. Let n be m(-23). Let k(j) = j - 1. Let y be k(6). Solve -n + 9 = -y*c for c.
3
Let l be 9/(-6) - 3/(-2). Suppose 2 = x - l. Solve -2*t + 16 = x*t for t.
4
Let w be 1*(-1 - 0) + 6. Suppose -4*v - 4 = -3*x, 4*x + 0*v = v + 27. Let o = x - w. Solve -2*d = -o*d + 3 for d.
3
Let f = -6 - -12. Solve -2*a - f = -0*a for a.
-3
Let s be 2/(3/((-21)/(-2))). Suppose p - 7 + 10 = h, 3*p = -2*h + 16. Solve -13 = h*f + s for f.
-4
Let z = -149 - -158. Solve 4*c - c = z for c.
3
Suppose -3*s = 2*s. Solve s = 4*v - 7*v for v.
0
Let f(m) = -m**3 + 10*m**2 - 10*m + 9. Let x be f(9). Solve w + 3 - 4 = x for w.
1
Let w(i) = -2*i - 8. Let a be w(-7). Let m be 20/(-6)*(-9)/a. Suppose -k = -6*k. Solve m*s + 25 = -k*s for s.
-5
Suppose p = -0*p + 1. Suppose -9 = -2*h + p. Solve -3 = -2*c + h for c.
4
Suppose -t = 3*t