 3 = c. Solve 0 = 4*a + 8 + c for a.
-5
Let h(m) = 9*m**2 + m - 2. Let p be h(1). Solve 2*g + 2*g = p for g.
2
Let u = -20 - -20. Suppose -4*r - 5 + 17 = u. Solve r*t - 12 = 6*t for t.
-4
Let l = 3 + -3. Let b(g) = g**2 + 8*g + 10. Let n = -10 - -3. Let p be b(n). Solve p*h + 0*h = l for h.
0
Let u(g) = 13*g + 46. Let f be u(-3). Solve -5*i - 18 = f for i.
-5
Suppose -3*a + 22 = 7. Suppose a*k + 24 = 7*k. Solve -3*d = -7*d - k for d.
-3
Suppose 4*c - 12 = -4. Suppose 22 = 5*b + 5*r - 83, -3*b = 5*r - 63. Let x be 2/7 - (-99)/b. Solve u = c*u + x for u.
-5
Let s = -5 + 12. Let d(i) = -i**3 - 5*i**2 + i + 7. Let o be d(-5). Let v = 131 - 130. Solve v = o*f - s for f.
4
Suppose a + 2*z - 26 = 0, -16*z = -4*a - 11*z + 65. Solve a = 7*i + 27 for i.
-1
Let j be (3/3 - -3)*1. Suppose a + 4*n = 1, 0*a = j*a + 3*n + 9. Let r be (-2)/6 - 1/a. Solve -5*g = -r*g + 5 for g.
-1
Let o(n) = -5*n - 107. Let r be o(-22). Solve t = -r*t + 12 for t.
3
Suppose -3*k - 4*x = -2, 7*k - 16 = 5*k + x. Solve -t = -k*t for t.
0
Suppose 0 = l - 4*a - 14, -1 - 21 = -5*l - 4*a. Solve w = 3*w - l for w.
3
Let a be 108/(-30)*80/(-24). Solve -10*x + a = 2 for x.
1
Let r = -256 + 260. Solve -r = 8*n - 4*n for n.
-1
Let z be 9 - 480/54 - (-159)/27. Solve -z*t + 125 - 101 = 0 for t.
4
Let m = 2 + -2. Suppose 8 = -m*s + s. Suppose -x - x - 10 = -2*h, 4*h + 2*x - s = 0. Solve -2*d - h = -1 for d.
-1
Suppose -k = -4 - 2. Suppose -3*n = -4*v - k, 4*v = -0*n - 3*n + 6. Solve v = -5*z - 0*z + 5 for z.
1
Let u(l) = 3*l**2 + l - 3. Let m be u(-3). Let c be (14/m)/((-2)/(-15)). Suppose -5 = -2*d - 5*z, c*d - 10 - 14 = -z. Solve d*a + 4 = -6 for a.
-2
Let i = -7 + 15. Suppose i*k = 7*k + 3. Solve k*s = -1 - 2 for s.
-1
Let a(p) = -2*p**2 - 11*p + 7. Let k be a(-6). Let b be (-6 + -8)*k/(-2). Suppose 9*u - 25 = 4*u. Solve b = -3*i - u for i.
-4
Let c be (-8)/(-6) - (-20)/12. Let p(i) = i**3 + 4*i**2 - i - 1. Let o be p(-4). Solve o*d - 9 - c = 0 for d.
4
Let h = -12 + 18. Suppose -2*k - 8 = s, -16 = -5*s - 19*k + 23*k. Solve s = -p + h*p for p.
0
Suppose -45*m = -44*m - 19. Solve m*u + u = -100 for u.
-5
Suppose -4*h + 7 = 4*t + 3, 2*t = -5*h + 11. Suppose 2*b = u - 3, h*b - 5*u - 8 = 5. Let m = 8 + b. Solve 0 = -2*x - 6 - m for x.
-5
Let v = 1278 + -1270. Let x = 8 - -4. Let g be (x/8)/(2/4). Solve -g*j - v = j for j.
-2
Suppose -26 = -5*s + 2*p, 8*s - 28 = 4*s - 2*p. Let b = 57 - -6. Let d = b - 42. Solve 5*x - d = -s for x.
3
Suppose 114 = 25*v + 13*v. Let a be 2 - (1 - (9 - 0)). Solve v*s + a = s for s.
-5
Suppose -v - 1 = -2*t + 9, 5*t = 3*v + 27. Suppose -4*o + o = 0. Let d be (o - 4/v)*3. Solve 0 = -d*x - 3 - 3 for x.
-2
Let k = -256 + 271. Solve -5*y = -40 + k for y.
5
Let z(y) = -2*y**3 - 30*y**2 + 2. Let a be z(-15). Suppose a*w = -w + 12. Solve 0 = w*m - 0*m + 4 for m.
-1
Let f = -206 + 238. Solve 7*z - 23*z + f = 0 for z.
2
Let i = 174 - 170. Solve 3*k = -k - i for k.
-1
Let q be 130/52*(-64)/(-10). Solve -o + q = 7*o for o.
2
Suppose 3*w + w = 0. Suppose -3*l - 4*j = -5*l, 4*l = -2*j + 20. Solve -2*g - 2*g + l = w for g.
1
Let w = 271 - 248. Solve 0 = -w*o + 26*o for o.
0
Let d(g) = 3*g**3 + 2*g**2 + 4*g + 2. Let t(m) = 7*m**3 + 5*m**2 + 7*m + 4. Let o(y) = 9*d(y) - 4*t(y). Let r be o(-4). Solve 0 = -r*b - 2*b - 8 for b.
-2
Suppose 4*c = -6 - 2. Let o = 5 + c. Suppose 5 + 40 = o*p. Solve 5*s + p = -0*s for s.
-3
Let x = 15 - 3. Let q = -142 + 145. Solve -q = 3*g - x for g.
3
Let l be (10/150*10)/(1/36). Suppose 4*z - l = -16. Solve -2*q - z = -10 for q.
4
Suppose -2*l - 11 - 1 = 0. Let q be ((-2)/l)/((-2)/(-30)). Suppose -2*j = -q*h, -5*j = -2*h + h. Solve h*v = -v - 5 for v.
-5
Suppose 0 = -2*j - 95 + 91, 2*v = -j + 4. Solve -v*n = 22 - 31 for n.
3
Suppose -1 = -3*j + 3*l - 5*l, 0 = 5*j - 3*l + 30. Let r be (-12)/j + -4 + 2. Solve 0 = r*d - 5 + 3 for d.
1
Suppose 0 = -11*b + 68 + 20. Solve -b*i + 5*i - 12 = 0 for i.
-4
Let t(o) = -o - 2. Suppose 0 = -3*r - r. Let k be t(r). Let n(z) = -z - 2. Let p be n(k). Solve -q = -p*q for q.
0
Let l be (-40)/6*-5*(-15)/(-100). Solve 0 = l*g + 18 - 3 for g.
-3
Let r be (-3)/9*(4 - 4). Suppose 3*n + 0*n = 48. Let u be ((-6)/4)/((-12)/n). Solve u*v = -r*v for v.
0
Let r be 658/8 + 3/(-12)*1. Let f be (-2)/8 - (r/(-8) + -2). Solve -k = 3*k + f for k.
-3
Let w(b) = b**3 + 18*b**2 + b + 20. Suppose 13*s + 4*s + 306 = 0. Let y be w(s). Solve -6 = y*k - 0 for k.
-3
Suppose 0*f - 126 = 2*f. Let r be 4/18 + 14/f. Solve r*d - 5*d = 15 for d.
-3
Let d(u) = -3*u - 2. Let w(r) = -7*r - 4. Let j(o) = 13*d(o) - 6*w(o). Let s be j(7). Suppose 0 = -16*v + s*v. Solve v*n = n for n.
0
Suppose 3*x - 102 = -3*x. Suppose -3*j = -x - 43. Suppose -3*c + j = c. Solve 7 = c*t - 3 for t.
2
Let y(f) = 7*f**2 - 12*f. Let b be y(2). Solve -b*x - 36 = -44 for x.
2
Let k(f) be the first derivative of f**4/4 - f**3 + f**2/2 + 4*f - 19. Let h be k(2). Solve h*i = -2*i + 20 for i.
5
Let d = 2 + 1. Suppose -p = -d*n + 31, 5*n + 3*p = 4*p + 51. Let j = -5 + n. Solve -13 = j*z + 12 for z.
-5
Suppose 800 = 17*w - w. Let y be (40/w)/((6/(-10))/(-3)). Solve y*o = 7*o + 3 for o.
-1
Let m be 0 + (-2 - 2)/4. Let s(n) = -n**3 - 6*n**2 - 6*n - 8. Let c be s(-5). Let d be c - (-11 + 4) - m. Solve 2*g + d = -3 for g.
-4
Suppose 0*d - 3*d + 45 = 0. Let u = -159 - -157. Let p = d - u. Solve -4*j + p = 1 for j.
4
Let t be 3/(-9) + (-6)/(-18). Suppose t = a - 3*a + 4*j - 38, -4*j = -5*a - 71. Let k = a + 13. Solve 0 = k*b + 3 + 1 for b.
-2
Let n be (-3)/(((-36)/(-15))/(-4)). Suppose -c - 1 = -2*t, 5*c = n*t - 5 - 0. Solve t*k - 4*k = 8 for k.
-2
Suppose 45 = -t - 0*c + 2*c, -4*c - 33 = t. Let z = 59 + t. Let p(q) = q - 15. Let d be p(z). Solve -2*h - d = 5 for h.
-4
Let u = -172 - -175. Let r be (-5 - -8)/(6/58). Suppose 3*n = -4*g - r + 82, -6 = -3*g. Solve 6*w - u*w - n = 0 for w.
5
Suppose t + 3*t = 4*s - 24, 3*t - 7 = -2*s. Let j be (-8 - 34)*1/(-6). Suppose 2*u = -4*w + 10, -3*w - 2*w - u + 11 = 0. Solve s*o + w = j for o.
1
Suppose -248 + 254 = h. Solve b = -2*b + h for b.
2
Suppose -m = 11*m - 36. Let z(h) = -h**3 + h**2 + h + 2. Let y be z(2). Let i = 2 - -2. Solve y = i*j - m*j + 2 for j.
-2
Let g = 22 - 18. Suppose 3*s + g*k = 10, -2*k + k + 9 = 4*s. Let y be 2/((-1 - -2)/s). Solve y = 4*i - 0 for i.
1
Suppose 363 - 141 = 6*k. Solve 30*v = k*v - 28 for v.
4
Let k = 92 + -67. Solve -16*f = -21*f - k for f.
-5
Let m be (-3)/1 - 40/4. Let f = m - -18. Let p = f + -3. Solve -15 = -5*k + p*k for k.
5
Suppose -3*w = 5*u - u - 26, 28 = 4*w + 4*u. Solve 0 = 6*y + 14*y + w*y for y.
0
Suppose -o = 2*y - 5 - 2, 0 = 2*y - 5*o - 13. Solve z - 3 = -y for z.
-1
Let g be ((-1)/2)/(19/(-38)). Solve 2*b + 1 = -g for b.
-1
Suppose -48 = -3*f + 15. Solve -f + 41 = 5*d for d.
4
Suppose 5*d - 5 = 0, 0 = 8*w - 4*w - 3*d - 73. Suppose -4 = 5*k - w. Solve 0 = -k*b - 0 + 3 for b.
1
Let f(d) = 2*d - 2. Let a(x) = 3*x. Let q be a(1). Let y be f(q). Let z = y - 1. Solve 0 = -2*n - z - 7 for n.
-5
Suppose 13*x - 294 = 6*x. Let n be 4/(-10) + x/30. Solve 0 = p - n for p.
1
Let k(v) = -v**2 + 3*v + 2. Let j be k(3). Suppose j*y + 6 = 44. Let i = -16 + y. Solve 0 = -i*r + 4*r for r.
0
Suppose m + 10 = -4*m. Let b be m*33/(-6)*1. Suppose p + b = 2*k, p + 4 = 5. Solve c - 15 = k*c for c.
-3
Suppose -5*o - 3*v + 15 = 0, -o = 3*v - 4 - 11. Suppose o = -5*y + 38 - 23. Solve -y*t - 13 + 4 = 0 for t.
-3
Suppose 0 = -4*i - 0*i. Suppose 5*g = -5, -3*u + 2*g = -i*u - 17. Suppose -r - 5*h = -4*r + 1, 5*r = -u*h + 15. Solve r*c - c + 4 = 0 for c.
-4
Suppose -3 = -o, -3*d + d = -3*o - 1. Suppose -3*s + 10 + 2 = 4*j, -d*s = j + 14. Solve -j = -4*h + 2 for h.
2
Let k(u) = u + 7. Let g be -2 - (-3)/((-6)/2). Let q be k(g). Solve q*v - 2 = 2*v for v.
1
Let o = 161 - 146. Let m be o/6 + 4/8. Solve 0 = -2*j + 13 - m for j.
5
Suppose -4*s = -a - 19, -10*s + 6*s + 15 = -5*a. Suppose -5*q + 3*q = 2*t - 2, -a = -t - 5*q. Let g be (3 - 3) + t - -7. Solve -3*c = -g*c - 5 for c.
-1
Suppose 2*l = 6 - 2. Suppose z + 1 = -2, l*z = 4*o - 42. Suppose -8 = -i + o. Solve -3*g = i - 2 for g.
-5
Let g(q) be the third derivative of q**4/24 + q**3/6 + 19*q**2. Let p be g(4). Solve -3*l - 10 = p for l.
-5
Let k be 7/(28/48) + 3. Let i = 31 - 31. Suppose 4*w - 2*r - 4 = -i*r, 0 = 2*w + 5*r - 26. Solve -w*o + 8*o = -k for o.
-3
Let z be (-37)/3 + 