 Solve a + c = g for a.
-1
Suppose 0 = -2*y - 316 + 70. Let l = -103 - y. Solve l = t + 3*t for t.
5
Suppose 4*p + 552 = 168. Let q be 2/(-6) - 608/p. Solve -m + 4 = q for m.
-2
Suppose 4*p - 344 = -4*b, 20 - 103 = -b + 2*p. Let w = 113 - b. Suppose 0 = 15*v - 8*v - w. Solve -o + 10 = v*o for o.
2
Suppose -72*b + 98 = s - 77*b, s - 3*b - 98 = 0. Solve 31*a - 57 = s for a.
5
Suppose -3*z = -4*w - 6*z + 8, 4*w = -5*z + 8. Let r be 20/(-16) - (-3)/12. Let b = 4 - r. Solve -b*y = -w*y for y.
0
Suppose 20*s - 15*s - 53 = -n, 0 = 2*s + 3*n - 29. Let p be s - 340/35 - 80/(-14). Solve -p*h - 2 = -8*h for h.
1
Let m(h) = 2*h**3 - 88*h**2 - 90*h + 17. Let u be m(45). Solve 9*g = -8*g - u for g.
-1
Let i(r) = -46*r - 3. Let l be i(-1). Let p = 77 - l. Suppose 4*s - p + 18 = 0. Solve 12 = -s*n + n for n.
-4
Let c = 235 - 140. Let g = c - 94. Let b(w) = -w**2 + 8*w - 9. Let i be b(6). Solve -2*m + g = -i for m.
2
Let f = 277 - 269. Suppose f*a = -12 + 52. Solve 13*q - 40 = a*q for q.
5
Suppose 3*s - 6*s - 4*z + 44 = 0, 40 = 3*s + 2*z. Suppose -q + 26 = q. Let y = q - s. Solve 2*u + y = 3*u for u.
1
Let p = 111 - 82. Suppose 2*q - p = -3*c, 2*q + 14 = 2*c - 2. Solve -3 = 6*o - c for o.
1
Let a(v) = -450*v - 2247. Let s be a(-5). Suppose -5*l + 2*h + 9 + 6 = 0, l - 2*h - 11 = 0. Let f be ((-1)/(-2))/(l/4). Solve -s*w = -f*w + 5 for w.
-5
Let m be 1/4 + 567/36. Suppose 4 = -5*d - m. Let p be (-12)/(-3) + d/1. Solve 3*k = -p*k + 9 for k.
3
Let m be (32 - 30)/((-2)/(-5)). Let a be (-18)/(-24) + m/4. Solve -4 = -n + a*n for n.
-4
Let r = -325 + 325. Suppose n + 7 = 12. Solve -n*k + 4*k - 1 = r for k.
-1
Let p be (-40 + 40)*(-2)/(-4). Let w be (-44)/(5 + -9 + p). Solve 4*q + w = -9 for q.
-5
Let f(k) = -2*k**2 - 6*k + 25. Let q be f(-7). Let t = q - -33. Solve -h = -t*h for h.
0
Let t be 11/5 + 4*(-1)/20. Suppose b - 5*f + 26 = 0, -2*f + 12 = -4*b + t*b. Let y be ((-1)/((-3)/12))/(3 + b). Solve 0 = 2*m - 2 - y for m.
2
Suppose -4*g + 4 = -3*u, 5*u = -5*g + 104 - 99. Solve u = -17*x + 28*x + 66 for x.
-6
Let j = -16 - -8. Let b = -5 - j. Suppose -248*g = -485*g + 260*g. Solve g = -t - b*t for t.
0
Suppose -12*b + 46 = 5*w + 42, -3*w - 20 = -4*b. Solve b*r = 29*r - 189 for r.
7
Suppose -26*f = -317 - 177. Suppose 8*u = -f + 59. Solve u*g = 20 + 5 for g.
5
Let g(f) = f**3 - f**2 + 8. Let c = 72 - 72. Let z be g(c). Let o be ((-6)/z)/((-15)/100). Solve -3*p = -2*p - o for p.
5
Suppose 0 = -6*r + 12*r - 18. Solve 23*q + 130 = -r*q for q.
-5
Let h = 7502 - 7475. Solve -19 + h = -d for d.
-8
Let a be 20/(-3 + ((-59)/(-18) - 54/(-243))). Solve -7*s = -15*s - a for s.
-5
Let c = -73 - -75. Suppose -u - c*u = -69. Suppose u = 7*k - 5. Solve 0 = -0*y + k*y + 12 for y.
-3
Let f(v) = v**3 - 10*v**2 - 4*v + 38. Let s be f(10). Let u be (6/3)/s - -1. Solve u*l + l = 0 for l.
0
Suppose 3*w - 16 = -w. Let r be 17*((-2)/(-6) + (-42)/(-63)). Solve w*m - r = -1 for m.
4
Suppose -y + 5*x - 12 = -2, -20 = -y - x. Suppose 12 = -y*k + 57. Solve k*s - 8 = s for s.
4
Suppose -73 = m - 5*d - 537, -2428 = -5*m - 2*d. Solve 486*t + 4 = m*t for t.
-2
Let h(s) = -2*s**3 + 21*s**2 + 11*s + 3. Let r(d) = 0 + 6 + 8*d**2 + d - 1 - 7*d**2. Let n be r(-3). Let m be h(n). Solve 12 = -0*w - m*w for w.
-4
Let b(o) = o**3 + 2*o**2 - 3*o - 2. Let x be b(2). Suppose m + 22 = x. Let q be -8*(-4 + m/(-4)). Solve 0 = q*i - 3*i - 5 for i.
5
Let h(n) = -n**2 + 7*n + 18. Let r be h(10). Let c be 44/r*(1 - -2). Let m be (-35)/c + -4*1/22. Solve -1 + m = -z for z.
-2
Suppose 0 = 3*n + 2*n - 15. Let m(k) = -5 - 15 + 32 - k - k**2 + 4. Let w be m(n). Solve 0 = 3*y - w*y for y.
0
Suppose 5*f + 2132 = 3*c - 7*c, -5*c = -10. Let m be f/6*21/14. Let h = -107 - m. Solve h*t = t - 4 for t.
4
Suppose 0 = -5*p + 5*r + 5, -71*p + 69*p + 14 = 4*r. Suppose -8*x = -6*x - 10. Solve -p*k - x = 4 for k.
-3
Let g(o) = o**3 - 11*o**2 + 28*o - 23. Let h be g(8). Solve -4*i + h*i = -10 for i.
-2
Let d(c) = -5*c**2 + 7*c - 4. Let k be d(4). Let j = k - -65. Suppose -14*u + 30 = -j*u. Solve -h + u = -4*h for h.
-2
Let y = -20406 - -20431. Solve -y*a + 8*a - 136 = 0 for a.
-8
Let y be (4*3/(-18))/((-2)/30). Suppose 0 = 5*j - 2*j - 5*a - 30, 0 = j + 2*a - y. Suppose -p - j*p + 132 = 0. Solve -5*u - p = -u for u.
-3
Let r(h) = -2*h**3 - 38*h**2 - 39*h - 24. Let a be r(-18). Solve 147*c - 141*c = a for c.
5
Let j(i) = 6*i**2 - 84*i + 95. Let u be j(0). Solve u = -2*q + 99 for q.
2
Suppose 4*x - 2 = 2. Let k be 1 + x + 0 + 0. Suppose 2*p + o = 6*p - 1, -3*o + 30 = -p. Solve -k*d + p*d = -4 for d.
-4
Let i = -403 - -622. Let d = 224 - i. Solve 0 = 2*j - 7*j - d for j.
-1
Suppose 0*y + 80 = 2*y. Let u be (8/10)/(16/y). Suppose -3*a + 26 = 2*f, f + 11 = 5*a - 15. Solve -u*w = -a*w - 8 for w.
-2
Suppose -12*l + 13*l + 1945 = -4*v, -5*v - l = 2431. Let d = 494 + v. Solve -d*s = -2*s - 18 for s.
3
Let z(v) = -2719*v + 24476. Let r be z(9). Let q be (4/(-6))/(1/3). Let p be q/(-3) + 14/6. Solve r*b - 2 - p = 0 for b.
1
Suppose -14*d = -19*d + 2*r, 3*d - 3*r + 9 = 0. Suppose -10*f + 297 = -6*f + 3*g, 4*f - d*g - 282 = 0. Solve 12*b - f = -12 for b.
5
Let h(d) = d**3 + d**2 + 15. Let q be h(0). Let o be (0/(q/(-5)*1))/1. Solve 25 = -5*t - o for t.
-5
Let o(j) = 3*j**2 - 214*j + 705. Let h be o(68). Solve h*l = 28*l - 6 for l.
2
Suppose -2 = 12*u - 98. Suppose 10 - 42 = -u*v. Let a be (v/(-10))/(18/(-45)). Solve -2*o + a = 11 for o.
-5
Suppose 0 = 11*k - 10*k - 2. Suppose 3*s + 1 = -k*y - 3, -5*y = -5*s + 10. Suppose s = 2*u + 4*u - 12. Solve 3*q + u + 1 = 0 for q.
-1
Let c be 7/(35/(-20)) + 6. Let n be (-2 + -1)*c/(-6). Solve 4 - n = 3*g for g.
1
Let m be (68056/(-40))/(-47) - (2/(-10))/(-1). Solve -m = 1172*s - 1181*s for s.
4
Suppose -26*b - 10*b + 146 = -34*b. Solve b*k = 117*k + 396 for k.
-9
Suppose -3*u - 748 = -5*i, 4*i + 11*u - 566 = 8*u. Solve -230 = -47*d + i for d.
8
Let h = 29141 + -29134. Solve -h*v = 1 - 43 for v.
6
Let n be (480/(-280))/(0 + (-3)/21). Solve -3 = -3*y - n for y.
-3
Let k(u) = 2*u**3 - 18*u**2 - 11*u + 13. Let o(b) = b**3 - 9*b**2 - 6*b + 6. Let h(w) = -4*k(w) + 9*o(w). Let a be h(10). Solve a*v = -v + 9 for v.
3
Let p be 7 - (7 + -4) - -6. Suppose 18 = -c + 5*t, 0 = -3*t - 2*t + 25. Solve -c*d = -9*d + p for d.
5
Let v = -16629 - -16629. Solve v = -67*h + 77*h + 40 for h.
-4
Let c(r) = -r**3 - 42*r**2 + 47*r + 175. Let j be c(-43). Let d = 15 - 9. Suppose x - d*x = -s - 11, 0 = 2*x - 4*s - 8. Solve x*l = -j*l for l.
0
Suppose -5*s = 3*u - 21, 0 = 5*s - 5*u + 5 - 10. Let c = -41 - -160. Let v = c - 119. Solve v = -3*f + s - 0 for f.
1
Let d(y) = -y**3 + 6*y**2 - 8*y - 3. Let a be d(3). Suppose 11 = 38*j - 217. Let c(m) = m**3 + 5*m**2 - 6*m + 2. Let v be c(-6). Solve a*q = -v*q + j for q.
3
Let n be (-2543)/11 + (-36)/(-198). Let d = -216 - n. Solve -7*x = -2*x - d for x.
3
Let s(z) = -4*z**2 - 23*z + 22. Let b(x) = x**2 + x - 1. Let y(i) = 3*b(i) + s(i). Let a be y(-19). Suppose l = -a + 39. Solve 3*r - 4*r = l for r.
-1
Suppose -u = -6*u - 30. Let o = 291 - 391. Let h be o/30*u/10. Solve -h*k = 3*k + 15 for k.
-3
Let j(b) = -23*b + 2851. Let l be j(83). Solve -l*m + 72 = -933*m for m.
8
Let a be (-1 - -1)/(4 + -5). Let n be -26 + (-1 - -1*(3 - a)). Let d = -20 - n. Solve x + 12 = d*x for x.
4
Suppose 0 = -3*t - 3*p + 207, 4*t - 2*p - 576 + 330 = 0. Solve 10*o - t = 26*o for o.
-4
Let z be 2/7 + -10*(-12)/70. Suppose -z*h + 2*u - 6 + 0 = 0, h + 4*u = 17. Solve -h = 4*l - 3*l for l.
-1
Suppose 0 = -137*t + 132*t - 2*b + 63, 4*t - 66 = b. Solve 36*q = t*q + 126 for q.
6
Let i(k) = k**2 - 2*k - 3. Let r be i(3). Suppose 32 = -45*f + 61*f. Solve r = 6*o - f*o for o.
0
Let k = 1024 + -992. Solve 28*r = 44*r - k for r.
2
Suppose 3*z + g = 20, z - g - 95 = -99. Solve 185 = z*c + 169 for c.
4
Let o be 56/(-56) - (0 + -1*9). Suppose 0*d - 4*d = -j - o, 2*d + 5*j - 26 = 0. Solve -3*v = d - 12 for v.
3
Suppose 286 = -10*q - 64. Let g = 41 + q. Solve m - 2 = -g for m.
-4
Let y = -2409 - -2874. Solve 497 = 16*c + y for c.
2
Let c = 15776 - 15772. Solve -2225 = c*b - 2201 for b.
-6
Suppose 128*x = -131*x + 16576. Solve -79 = 3*s - x for s.
-5
Suppose -4*r = -4*w + 24, 3*w - 6 - 4 = 5*r. Let b be 146/657 - 34/(-9). Let f = -722 + 722. Solve f = b*v - 6*v - w for v.
-5
Let t be (134 - -44)*(-3)/(-3). Solve 64*q - 456 = t*q for q.