4*r + a = 4*r for r.
1
Let u be 56/(-21)*(-3)/2. Suppose 12 = -g - 3*f, -3 = -u*g + 3*f + 9. Solve g = 2*t + t for t.
0
Let v be 2/(-4) - (-5)/(-2) - -8. Let k(s) = 3*s + 3. Let p be k(4). Solve -p = -2*b + v*b for b.
-5
Let u = 17 + -12. Suppose u*w = 11 - 6. Solve -w + 6 = -n for n.
-5
Suppose 0*s = -3*s + 45. Let b be ((-20)/s)/(4/(-6)). Solve t = -b*t for t.
0
Let f(b) = 4*b - 10. Let h be f(4). Solve 2*i - h = 4*i for i.
-3
Let s be 6/(-12)*1*1*-10. Solve -4 = -s*h + 11 for h.
3
Let m(v) = v + 18. Let c be ((-340)/(-15))/(-4)*(-1 + 4). Let a be m(c). Solve -p = -a - 2 for p.
3
Let d(j) = j**2 - 1. Let w(y) = -4*y**2 + 8*y + 8. Let i(x) = -5*d(x) - w(x). Let r be i(-7). Solve -r*p = -2 + 14 for p.
-3
Let d = 2858 - 2851. Solve -2*s - 11 + d = 0 for s.
-2
Suppose 2*h = -4*o + 5 + 5, 4*h = -5*o + 8. Suppose 3*v - 1 = c - 5*c, 0 = 2*c - 2*v - o. Solve 3*f - c - 8 = 0 for f.
3
Let a be 7 + -1*0/1. Let p = -131 + 134. Solve a*v + 12 = p*v for v.
-3
Let t = 33 + -18. Let g = -14 + t. Solve 2*o - g - 1 = 0 for o.
1
Let k(s) = -s**3 + 3*s + 3. Suppose 0 = 5*c - 29 + 39. Let u be k(c). Solve -15 = -u*w - 0 for w.
3
Let l(p) = -5*p - 2. Let y be l(-2). Suppose -z = -8 - y. Solve 2*i - 6*i - z = 0 for i.
-4
Suppose 3*v + 16 = -7*t + 2*t, v + t + 2 = 0. Suppose 2*c = -2*c + 12. Suppose -2*p - 2*w = 0, 0 = c*p - 2*w - v*w. Solve p = 3*d - d - 4 for d.
2
Suppose 5*n - 3*v = 60 + 15, -n - 5*v + 15 = 0. Suppose 17 = h - 2*h + 4*y, 0 = -3*y + n. Solve -4 = -h*r + r for r.
2
Let k be 162/(-39) + 4/26. Let d be (-2)/(-6) - (k - (-22)/(-6)). Solve 6*b = 2*b - d for b.
-2
Let w be ((-14)/(-6))/(12/180). Let v = -35 + w. Solve v = -4*g - 0*g + 16 for g.
4
Let t be ((-670)/(-268))/(2/8 + 0). Solve 18*k - t*k + 40 = 0 for k.
-5
Suppose 3*q = 4*v - 3*v, v + 2 = 5*q. Suppose 4*w + 140 = -2*f + 144, -2*w - 3*f - 2 = 0. Solve -v*o = -o + w for o.
-1
Let f be (-3)/15 + (-1)/(-5). Suppose f = -2*b + 6 + 14. Suppose -3*a + 4*t + 11 + 5 = 0, -3*a + 5*t = -20. Solve a = 2*l + 3*l - b for l.
2
Let p = -87 + 87. Solve p = f + 8 - 13 for f.
5
Suppose 0*c = -3*c + 6. Let f(y) = y + 17. Let n be f(-12). Let u be n/((-30)/(-27)) - (-1)/2. Solve -1 = c*z - u for z.
2
Let d = 11 + -6. Suppose 1 = 5*v - 4*v - h, h = -d*v + 17. Let m be 10 - 9 - v/(-1). Solve w - m = -3*w for w.
1
Let j = 28 + -23. Suppose 0 = -j*h + 7*h - 4. Let i be (-7)/(-2 - -1 - 0). Solve -h*q - 10 = -i*q for q.
2
Suppose -14 = -6*y + 3*y + b, -b = 2*y - 11. Solve -47 = -y*x - 32 for x.
3
Suppose -p = -5*y - 25, 4*p = -0*p - 5*y - 25. Suppose 5 = -3*j + 4*j. Suppose 42 = j*i - 8. Solve p*d - 5*d = -i for d.
2
Suppose 3*f = 4*g + 44, -3*f = 2*g - 13 + 35. Let y(m) = -m**2 - 12*m - 7. Let r be y(g). Solve 8 - 20 = r*w for w.
-3
Let h = 11 + 3. Let r(j) = -2*j + 16. Let n be r(7). Suppose 4*l - 10 = -n. Solve -3*u = l - h for u.
4
Suppose 0 = -21*q + 12*q + 27. Solve -4 - 2 = q*s for s.
-2
Suppose 7*r + 20 = 76. Solve 0 = -0*y + r*y - 40 for y.
5
Let c = -14 + 20. Suppose -7*u + 37 = -5. Solve 0 = c*r - 9*r + u for r.
2
Suppose -5*u + 69 = -2*u. Suppose -o = 4*x - 19, 6*x - x = -2*o + u. Let n = x - 5. Solve g + 0 - 1 = n for g.
1
Let q = 1031 + -1005. Solve q = 11*l - 7 for l.
3
Let y(g) = -2*g**2 + 28*g + 1. Let c be y(14). Solve r + 2 = c for r.
-1
Suppose 2*s + i = 35, 4*s - 65 = 17*i - 18*i. Solve -s*q + 18 = 33 for q.
-1
Suppose 0 = -4*d + w - 6*w + 31, -3*d + 18 = 2*w. Suppose -5 = 2*k + y - 6*y, 4*y = -3*k + d. Solve k = -q + 2 for q.
2
Let w(x) = x**2 + 8*x + 14. Let u be w(-6). Let l(h) = -11*h**2 + 2*h**3 - h**2 + 6*h**u + 7*h**2. Let z be l(1). Solve 0 = z*d + 1 - 10 for d.
3
Suppose 0*t = 2*t - 90. Let l be 22/5 + (-18)/t. Solve 9*y = l*y for y.
0
Suppose 6*a + 63 = 3*a. Suppose -1 = -5*q - 2*y, -5*q + 3*q + 3*y - 11 = 0. Let b = q - a. Solve -2*s + b = 2*s for s.
5
Let o be 1/3*(-79 - 2). Let c = -34 + 13. Let g = c - o. Solve -5*s + 2*s = g for s.
-2
Let x(r) = r**3 - 5*r - 2. Let v be x(-2). Let g be (v - 1 - 1)*-1. Solve -a + 6 = g*a for a.
2
Suppose 0 = -3*p - 0*p + u + 5, 4*u + 20 = 3*p. Suppose p = -0*j + j + 4*o + 4, -5*o = -2*j + 5. Solve j*b = -b for b.
0
Let u = 92 - 87. Let f(q) = -q**2 + 6*q. Let b be f(6). Solve b = s - u + 4 for s.
1
Let l(y) = y + 35. Let z be l(0). Suppose -7*w + z = -0. Solve 0 = -w*x + 2*x + 12 for x.
4
Suppose -15*g + 11*g - 2*y = -36, -2*g + 12 = 4*y. Solve q = g*q - 45 for q.
5
Suppose 3*k = -k - 13*k. Solve -b + k*b = -2 for b.
2
Let h be 3/3 + (-1 - -4). Suppose -18*r + 20*r = h. Solve 0 = r*y - 7*y - 25 for y.
-5
Suppose 2*r = 15 - 7. Let w(s) = 3 - r - 6 + 1 + s. Let i be w(7). Solve j + i = -2 for j.
-3
Suppose -m + 2*i = 3, -7 = -3*i + 2. Solve m*u + 0 = -9 for u.
-3
Let r(t) = -5*t**2 - 23*t + 1. Let y be r(-2). Solve 2*m = y - 23 for m.
2
Let w = 10 - 3. Suppose -3*j - 4*a + 10 = 0, -j + w*a = 3*a + 2. Solve k + 0*k - j = 0 for k.
2
Let z = -18 + 14. Let p = 8 - z. Suppose 0 = -a + p + 4. Solve 0 = -0*d + 4*d - a for d.
4
Let q(d) = d**2 + 2*d - 94. Let u be q(-11). Solve 0 = b - 0*b + u for b.
-5
Suppose 0 = -j - j - 4. Let s(p) = 4*p + 2 - 4*p + p. Let h be s(j). Solve -3*b - 10 + 1 = h for b.
-3
Suppose -21*m = -2*q - 17*m + 32, 4*q + 5*m - 25 = 0. Solve 88*b = 93*b - q for b.
2
Let s be (-12)/((-4)/2)*(-1)/(-2). Solve s*u + 2*u = 10 for u.
2
Let m = -1647 + 1660. Solve -19*l + 12 = -m*l for l.
2
Let c be 453/18 + 11/(-264)*4. Solve c*h = 31*h + 6 for h.
-1
Let h be (-8 - -12)/(2/10). Solve 4*n - h = 8*n for n.
-5
Suppose -i + 4*v = 2*v, 2*i = v. Suppose -2*q + 2*s + 10 + 0 = i, 0 = -q + 4*s + 11. Solve 20 = -j - q*j for j.
-5
Suppose 0 = 3*m - 3*q - 15, -4*m - 3*q = -0 + 1. Suppose -4*f - 2 = -2*f + 2*u, 3*f - m = -2*u. Solve -5*t = -t - f for t.
1
Let i be (-20)/3*60/(-80). Suppose -2*r = 5*o - 8, -r + i*r - 16 = 2*o. Solve o = 4*c - 5*c - 4 for c.
-4
Let j be (-38)/(-8) + 3/12. Let b be ((-57)/(-9) - 3)*9/6. Solve j*d = -0*d + b for d.
1
Suppose 3*a = -54 - 9. Let x = a - -23. Solve -x = 2*v - 0 for v.
-1
Suppose 0 = 4*b - 3*a + 15, -b + 6*b + 5 = a. Let d(x) = -x**3 - 7*x**2 - 8*x - 7. Let k be d(-6). Let z = -5 + k. Solve -i + b*i + 2 = z for i.
2
Let k(v) = 16*v - 42. Let g be k(3). Solve -3*c = -g*c + 6 for c.
2
Suppose -85 + 73 = -4*g. Solve -g*m = 12 - 0 for m.
-4
Suppose -3*n + n + 4*b - 30 = 0, -2*n - 2*b = 18. Let q = 11 + n. Solve -5*x + 10*x - 25 = q for x.
5
Suppose 2*u + 2*u + 46 = 2*o, 5*o - 3*u - 80 = 0. Suppose 27 = -4*p - o. Let f = -8 - p. Solve f = -4*x - 2 for x.
-1
Let t(r) = -r + 9. Let m be t(9). Let d = 0 + m. Suppose -s + 4*s = d. Solve s = -4*a + 19 - 7 for a.
3
Let l(j) = j**3 + j**2 - j + 4. Suppose 9*q = 7*q. Let z be l(q). Suppose z*h - 15 = 65. Solve 0 = g + 4*g + h for g.
-4
Suppose 0 = x - 2*x. Suppose 0 = -2*r - 22 - x. Let q = r + 11. Solve q = -2*h + 9 - 1 for h.
4
Let w be 2 + 0 + 0 + 228/12. Solve 10 = 26*m - w*m for m.
2
Let b be (-2)/8 - (259/(-4))/7. Suppose -5*c + b + 7 = -4*p, 13 = 5*p + 2*c. Solve 3*s - 2*s = -p for s.
-1
Let k(i) = 2 - 11 - 6 + i - 5*i. Let u be k(-4). Solve 5*y = -u - 4 for y.
-1
Suppose 3*q - 6 = 0, 4*q = -0*w + w. Let m be 111/21 + (-2)/7. Suppose 4 = -l + 4*v, -3*l + v = m*v - 4. Solve l = -0*j + 2*j + w for j.
-4
Let l(q) = 3*q**3 + 2*q**2 - 2*q + 1. Let g be l(1). Let b be (6/9)/(g/18). Suppose 4*u - 12 = -4*d, 3*d = 3*u - d + 12. Solve u = -4*m - 1 - b for m.
-1
Suppose 5*k = -17*k + 44. Solve 4*t = -14 + k for t.
-3
Suppose 7*h - 37*h = -257 + 167. Let j be (-2 + 0 + 1)*3. Let q = j + 5. Solve a - h = q*a for a.
-3
Suppose 9*s = -52 + 133. Let n be (0 + -4)*(-1 + -2). Let l = n - s. Solve -g + l + 1 = 0 for g.
4
Suppose -4*v = -5*v + 28. Suppose 0 = y - 2*x - 5, -2*y = -0*y + 5*x - v. Solve 0*q = -3*q - y for q.
-3
Suppose -2*j - 3*j + 27 = -r, 4*r - 30 = -3*j. Let d = 16 + -10. Suppose d*g = 2 - 2. Solve -l - l - j = g for l.
-3
Let k be (5/(-15))/(2/(-54)). Solve t + 12 = k for t.
-3
Let f(i) = -i**3 + 6*i**2 + 8*i - 8. Let o be f(7). Let h(w) = 90*w + 0*w**2 + 0*w**2 - 88*w + 1 + 5*w**2. Let l be h(o). Solve -l*a = -5*a for a.
0
Suppose h - 6 = -2. Suppose 0 = -19*n + 83*n - 448. Solve -1 = h*u + n for u.
-2
Let z be 153/6 - 1/(-2). Let y(f) = 6*f + 4. Let r be y(3). Let w = z - r. Solve -2*i + 6 = -w for i.
5
Let k(b) = -3*b**3 - 4*b**2 - 3*b - 15. Let f(o) = -o**3 + o**