45*d for d.
2
Let o = 4 - 0. Suppose o*s + 0*s = 8. Let d(t) = t**2 + 6*t - 35. Let q be d(4). Solve -q*r + s*r = 12 for r.
-4
Suppose 2*a = 9 + 3. Suppose 90 = z - a*z. Let h = z + 25. Solve 5*n + h = 32 for n.
5
Let f = 54 - 44. Suppose -2*g + f = d, 3*g + 2*d - 3*d = 10. Solve 0 = -3*n - 5 - g for n.
-3
Let q = 25 - 26. Let i be ((q + 1)/1)/1. Solve f - 1 + 0 = i for f.
1
Let z = -341 - -373. Solve -5*t - 52 = -z for t.
-4
Suppose 0 = -5*z + p - 3*p + 152, -2*z - 2*p = -62. Solve -z = -6*x - 6 for x.
4
Suppose -6*v + 18 + 6 = 0. Solve -3*c + v = 10 for c.
-2
Suppose 3*w + 4*t - 28 = 0, -4*w + 20 = -2*t + 3*t. Suppose 2 = -w*v + 6. Let q(u) = 3*u + 1. Let o be q(v). Solve -2*h - o + 0 = 0 for h.
-2
Let l = -4 - -9. Let b be l/((12/28)/3). Suppose -5 - b = -2*w. Solve -5 + w = 3*d for d.
5
Let o(l) = -40*l - 277. Let z be o(-7). Solve -5*k - z*k = 32 for k.
-4
Let u(x) be the first derivative of x**2/2 - 5. Let d be u(4). Solve d*q + q = -5 for q.
-1
Let m(a) = 4*a**2. Let r be m(1). Let b(u) = u**3 - u**2 - 2*u - 2. Let p be b(3). Let h = 156 + -154. Solve r = h*y + p for y.
-3
Suppose -1 = -5*p + 5*c + 9, -18 = -5*p - 3*c. Suppose 2*b + 8 = 4*q, 4*b + 3*q = 4*q + 5. Suppose b*h - h - 2 = 0. Solve -p = -h*z + 3 for z.
3
Let t(c) = 2*c**3 - 6*c**2 + 2*c + 10. Let x be t(3). Let b = x - 7. Solve 4*s - 3 - b = 0 for s.
3
Let l(m) = 3*m**2 + 3 - m**2 - 2. Let g = 570 - 571. Let x be l(g). Solve x*w + 4 - 1 = 0 for w.
-1
Suppose -2*y + 13*y = 0. Solve 4*m + 0 = -y for m.
0
Suppose -4*s + 5 = -2*y + 1, y = 3*s - 4. Suppose -5*l = -2*m - 91, -3*l = -4*m + l - 188. Let z = -34 - m. Solve 3*t + y - z = 0 for t.
4
Let s be 103 + -12 + 5 + -8. Solve 5*p - s + 98 = 0 for p.
-2
Let w(a) = 2*a**3 - 10*a**2 - a + 5. Let d be w(5). Solve -i + 7 - 6 = d for i.
1
Suppose -2*q + 4*l + 36 = 0, -4*q + 6*l - l + 69 = 0. Solve -4 - q = 5*v for v.
-4
Let n = -335 + 342. Solve -n*p + 31 = -4 for p.
5
Let o be 3/(((-18)/24)/((-36)/16)). Solve -o*j + 30 = -19*j for j.
-3
Let t(y) = 21*y - 98. Let b be t(6). Solve b = 5*r + 2*r for r.
4
Suppose 68*u - 144 = 32*u. Solve 8*c + 16 = u*c for c.
-4
Let g = 357 + -351. Solve -11*r = -g + 61 for r.
-5
Let w be 136/(-306) + 4/18*2. Solve -20*g - 15 - 5 = w for g.
-1
Suppose -4*c - 4*i = -16, -5*c - 3*i = -c - 16. Let a = -13 - -2. Let t(j) = -j - 2. Let m be t(a). Solve -c*f - m = -f for f.
-3
Let s(i) = -i**3 + 5*i**2 + 7*i - 6. Let u be s(6). Suppose 3*a = -u*a + 6. Solve a*b + 4 = -2 for b.
-3
Suppose -3*p - 30 = -42. Solve p = 4*o - 3*o for o.
4
Let l(k) = k**2 - 4*k - 33. Let a be l(-5). Suppose 8*j - 12 = b + 3*j, -4*j = -2*b - 24. Let u = b + a. Solve -r + u*r = 5 for r.
-5
Let c(r) = 25 + 6*r - 11 - 16. Let z = 3 + -2. Let p be c(z). Solve -4 = p*i - 24 for i.
5
Suppose -2*h = 8, 4*h + 204 - 58 = 5*f. Let s = 39 - f. Let l be (s/3 - 3)*3. Solve -l - 6 = 5*t for t.
-2
Suppose -44 = 20*q - 324. Solve 26*f - q = 19*f for f.
2
Let z = 17 - 2. Let q be (-3)/z - (-22)/10. Solve -5 = -q*u - 3*u for u.
1
Suppose 4*t + 4*a = 16, -2*t + 3*a = -4 - 4. Solve 0 = t*n + 21 - 9 for n.
-3
Let k be ((-136)/(-34))/((-1)/(-7)). Solve 22*h - 15*h = k for h.
4
Let v = -71 - -87. Let l be 102/13 - v/(-104). Solve -l = 3*u - u for u.
-4
Let l(p) = 21*p - 1. Suppose 3 = -5*x + 8. Let q be l(x). Solve a = -4*a + q for a.
4
Suppose -3*c - 3 = -42. Suppose -3*j - 13 + c = 0. Solve j*m + 1 = -m for m.
-1
Let t(i) = i**3 - 20*i**2 + 93*i - 22. Let m be t(13). Let z be ((-1)/(-3))/((-2)/(-18)). Solve -4 = m*r - z*r for r.
-4
Let w(z) = 15*z - 176. Let h be w(12). Solve h = 3*k - 5*k for k.
-2
Let f be (-1 + 2/3)/(15/(-855)). Solve -2*n - f = -13 for n.
-3
Let q = 145 + -125. Solve 7*r - q = 8 for r.
4
Let f(z) = -z**2 + 17*z - 22. Let o be f(15). Let j(i) = 6*i**2 - 3*i - 2. Let c be j(-2). Let a = c - o. Solve -6*b = -b + a for b.
-4
Let c be 1 - -2 - (3 + -4)*-1. Let g = -1 - -5. Suppose -g*h + 13 + 35 = 0. Solve 2*n + c = h for n.
5
Let m = -361 - -364. Solve m = -4*v - 1 for v.
-1
Let n be (0/2)/(-18 - -15). Solve f = -n - 4 for f.
-4
Suppose -i - 144 = -5*i. Let h = i - 32. Solve -h + 0 = -2*m for m.
2
Suppose 6*c - 859 + 799 = 0. Solve 5*s = c*s - 20 for s.
4
Suppose 0 = -8*o + 2 + 22. Solve q + o*q = 8 for q.
2
Let v be ((-10)/7)/((-53)/371). Solve -s - v = 4*s for s.
-2
Suppose 350 = 39*i + 116. Solve i*k + 9 = 9 for k.
0
Let t = 62 + -61. Let a be ((-3)/t - -2) + 1. Solve a = i + 3 for i.
-3
Let g = 276 + -266. Solve -g*m + 5*m = 0 for m.
0
Suppose -4*z - 5*z = 0. Suppose z*n = -6*n + 120. Solve -n = 3*i + 2*i for i.
-4
Let d = -65 - -68. Let m be (d - -9)*2/4 - 4. Let o(b) = b**3 - 2*b**2 - b + 2. Let v be o(3). Solve -v = m*n - 2 for n.
-3
Suppose 3*t - 2*y + 5 = 2*t, -2*y = -3*t - 19. Let q = 4 + t. Let l = 5 + q. Solve 0 = l*x - 5 - 1 for x.
3
Let x be ((-144)/6)/(0 - 1). Let p be ((-4)/(-3))/(32/x). Solve 3*t + 5 + p = 0 for t.
-2
Let l = 19 - 57. Let y = -38 - l. Solve y = -5*s + 3*s for s.
0
Suppose o - w - 16 = 2*w, 5*o + 2*w - 12 = 0. Suppose 0 = o*d - 5*c - 36, 4*d - 71 - 5 = -5*c. Solve d = 4*t - 6 for t.
5
Let u(a) = a**3 + 2*a**2 - 2*a - 4. Let c be u(-3). Let l(t) = t**2 + 6*t + 8. Let i be l(c). Let v be i/6*2 + -2. Solve -3*n = -6*n + v for n.
1
Suppose -4*w + 3*s + 3 = -16, -w = 5*s + 1. Suppose 0 = 3*j - 121 + w. Solve -5*u + j = 14 for u.
5
Suppose 0 = h - 3*n - 26, 4*h - 141 = -5*n - 54. Solve 39 - h = 8*f for f.
2
Let a = 19 - 16. Suppose 0 = -d + a*d - 10. Solve -d = 2*i - 3*i for i.
5
Let k(t) = -t + 1. Let v(h) = -5*h + 18. Let f(r) = -3*k(r) + v(r). Let d be f(5). Solve 2*a + d + 1 = 0 for a.
-3
Let b(w) = 2*w. Let s(z) = -1. Let x(k) = -b(k) + 5*s(k). Let j be x(-6). Let u = 11 - 9. Solve j*h = u*h for h.
0
Suppose 0 = -15*c + 7*c + 160. Let y = 22 - c. Solve -i + y*i = 5 for i.
5
Suppose 5*n = -0*n, 3*n - 11 = m. Let u = -10 - m. Solve 0 = -r + 2*r + u for r.
-1
Suppose -20 = 4*h - 4*s, 4*h - 3*s + 8*s = -2. Let u be 2/(-3) - 2/h. Suppose n + 4*n - 20 = u. Solve -x - n = 3*x for x.
-1
Let i(h) = -h**3 - 3*h**2 - h - 3. Let o be i(-3). Let g(d) = 2*d**2 + 7*d + 5. Let x be g(-4). Let a be 1/(3/x) - -1. Solve -a*j - 5 + 1 = o for j.
-1
Suppose -5*v = -25, 137 - 23 = -3*w + 3*v. Let a = -31 - w. Solve a*i - 6 - 4 = 0 for i.
5
Let f(b) = b**2 + 2*b + 2. Suppose 3*v - 1 = t + 1, -v - 6 = 3*t. Let z be f(v). Suppose z*j + 6*j = 128. Solve 0*w - j = -4*w for w.
4
Let a be (16/(-6))/((-19)/((-114)/(-4))). Let p be 10*((-34)/10 + (8 - a)). Solve u - p*u = 10 for u.
-2
Let l = -13 + 17. Suppose -2*m - 3*m - 17 = s, l*s + 3*m = 0. Suppose -2*j = -4*z + 2*z, -5*z + 4 = -s*j. Solve -p = -3*p - z for p.
-1
Let o(j) = j**2 + 2*j - 11. Let q be o(-7). Solve b = -5*b + q for b.
4
Let v = 17 - -7. Let u = v - 14. Suppose 0 = l + 2, 0 = -6*p + 4*p + l + u. Solve 7 = p*c - 13 for c.
5
Let w = -8 - -33. Suppose w = -6*y + 85. Solve b = y - 5 for b.
5
Let n = -1612 + 1625. Solve h = -14 + n for h.
-1
Let p be ((-16)/6)/((-4)/6). Suppose h - p*w + 5 = 0, w + w = -4*h + 16. Solve -4 = -h*d - 19 for d.
-5
Let w be (98/(49/(-7)))/((-3)/9). Solve -11*q - 9 = -w for q.
3
Suppose -8*s + 4*s + 40 = 0. Suppose -29 = -3*p - 4*i, 10*p - i = 5*p + s. Solve 5*n + 7 = -p for n.
-2
Let i(x) = 9*x + 48. Let m be (-120)/12*(-3)/(-6). Let n be i(m). Solve 0 = n*l - 2*l - 1 for l.
1
Suppose 8*k = 11*k + t - 10, -t = 2*k - 8. Solve -k*x + 1 + 5 = 0 for x.
3
Let s be 18/2 + (-1 - -2). Let l = 3 + 4. Suppose -l = -5*h - a + 8, 0 = h - 4*a - 3. Solve -i - s = -h*i for i.
5
Let r be 392/28 - (11 + -2). Solve -r*v = -6*v for v.
0
Let s(w) = -w**3 + w**2 - 1. Let g(r) = -r**3 + 4*r**2 - 3*r - 2. Let f(k) = -g(k) + 2*s(k). Let p be f(-3). Solve i = -p*i - 3 for i.
-3
Let p = -270 + 276. Solve -p*x + 1 = -11 for x.
2
Suppose -5*s + 9*s = 0. Suppose -5*f + 6 + 24 = s. Suppose 2 = -3*u + 11. Solve -3*b = -f*b - u for b.
-1
Suppose -3*c + 2*p + 4 = -11, -3*c - 4*p + 15 = 0. Solve 17*x - c = 12*x for x.
1
Let b(u) = 2*u**3 - 8*u**2 + 26*u - 29. Let s be b(2). Solve -16 = c + s*c for c.
-2
Let t be (-9)/15*3*70/(-21). Solve t*w = 5*w - 5 for w.
-5
Let a(p) = -p + 15. Let b = -15 + 27. Let u be a(b). Solve 0 = u*k + 6 - 21 for k.
5
Let l be 294/126*(-12)/(-7). Solve -2 = -l*k + 18 for k.
5
Let q(u) = 3*u**2 + 4*u - 1. Let h be q(-3). Let i be 80/h + (-10)/(-35). 