r d.
-4
Let b(i) = -258*i - 1534. Let n be b(-6). Solve 2*v - v + 6 = d, 4*d = 2*v + n for d.
1
Suppose 40*g + 133 = 47*g. Suppose -g*k + 30 = -24*k. Let z be k*((-32)/(-12) - 3). Solve z*m - 5*f - 6 = 0, -6 = -3*m + 2*m + 4*f for m.
-2
Suppose 2*m + 4 = -m - 5*a, -46 = -3*m + 5*a. Let l = -185 + 186. Let y be (l - -4) + 9 + -12. Solve -4*k - y*b + 10 = -m*b, 0 = -k - 4*b + 13 for k.
5
Let v be (-1)/(1*(-5)/125). Suppose -v*q = -18*q - 28. Solve -12 + 4 = -2*o + 4*c, -4*c = -q*o for o.
-4
Suppose 0 = 2*z - 0*z - 4. Let q(b) = b - 6. Let l be q(8). Let r(o) = 2*o**2 - 9*o - 21. Let c be r(-2). Solve 0 = c*u + 5, -9 = -z*s + l*u + 3 for s.
5
Suppose -8*a - 21*a = 44*a + 28*a. Solve 0 = v + 2*r + 7, a = 6*v - 10*v + 4*r + 8 for v.
-1
Let x be (108/351)/(6/39). Solve -3*d - 1 + 2 = -2*s, 5*s = x*d + 14 for s.
4
Let x = 2470 - 2464. Let v = -31 + 33. Solve v*p + 3*u = x, p = -3*p - 4*u + 4 for p.
-3
Let d(j) = j + 9. Let r be d(9). Suppose 80 = r*u - 8*u. Suppose -4*l - u = -8*l. Solve 3*y - 5*s - 25 = -l*y, -s = -4*y + 5 for y.
0
Let r = 4356 - 4343. Solve -13 = -4*l + 5*c, -l = r*c - 11*c + 13 for l.
-3
Let z(x) = -117*x**2 + x - 1. Let n be z(1). Let m = n + 104. Let w be (-22)/(-7) + m/91. Solve -18 = 3*k - 4*p - w, 6 = 2*p for k.
-1
Let k = 27 - 27. Let v be (0 + k)/(-3)*-1. Suppose 0*j - a - 1 = -j, a = v. Solve 0 = 3*t + 5*q - 28, 5*t + 5*q - 29 = j for t.
1
Let j(i) = -2*i + 16. Let v be j(7). Suppose v*u = -3*h - 12, 4*h = 6 - 22. Solve u = -s - 3*c - 3, 0*c - 9 = 3*s + 3*c for s.
-3
Suppose 0 = -76*n + 681 - 301. Suppose 2*v - 23 = 5*t, 4*t - 32 = -4*v - 0*t. Let o = v - 5. Solve -2*y - 5*j - 18 = -y, n*j + 27 = -o*y for y.
-3
Suppose -3*d = -2*a, 0 = 4*d - a + 4*a - 17. Solve -4*m = d*s - 30, 27 = 9*m - 5*m + s for m.
6
Let b be 18 + (80/((-120)/(-12)) - -3). Solve -48 = -5*d + 22*a - 26*a, -2*d = 3*a - b for d.
4
Let g be -12 - 210/(-15 + 0). Solve 2*b + b - 3 = 3*r, b = g*r + 6 for r.
-5
Let x = 99551 + -99546. Suppose -7 = -3*w - 0*v + 2*v, -8 = -2*v. Solve 8 + x = 3*c - a, 14 = -2*c - w*a for c.
3
Let c = 29353 - 29351. Solve -i - 12 = -2*m, -i = -0*i + c for m.
5
Let q = 337 - 377. Let z be (20/q)/(-2*1/8). Solve -2*w + z*p = -p - 13, 23 = 5*w + 2*p for w.
5
Let z(t) = t**2 - 2*t + 3. Let d be z(3). Let g be 2/2*(-7 - -15). Suppose -g*c + 14 + 10 = 0. Solve 2*s - n = 4, d*n = c*n + 12 for s.
4
Let g = 7060 - 6976. Solve 2*n - g*o + 87*o - 13 = 0, 12 = 3*n + 3*o for n.
-1
Suppose 468*y - 48 = 222*y + 234*y. Solve -2*t - 3*t - y*i - 4 = 0, 4*t + 2*i + 8 = 0 for t.
-4
Let v(z) = -12*z + 207. Let k be v(17). Solve -5*r - k = -2*d, -2*d - 2*d = -4*r for r.
-1
Suppose 4 = -4*w + 6*w. Let y(t) = -2 - t + 1 + 2 - 8. Let m be y(-10). Solve w*b - 10 = 4*q, -b - 4 = 2*q + m for q.
-3
Suppose -4*p + 68 = 4*s, 0 = -s - 159*p + 162*p + 5. Solve -5*u = 2*a + 14, -4*a = 4*u - u + s for u.
-2
Let j = -142 + 142. Let x be (-15)/(-3) + 3 - (1 + j). Solve -5 = -5*l + 3*z, -3*l + x*z - 13 = 2*z for l.
4
Suppose 397*p - 275*p = -387*p. Let g be -6*(-3)/6 + -1. Solve -3*x + p*x - y = 2, -3*x + 13 = -g*y for x.
1
Let i be (-164)/(-8) + -5 + 1/(-2). Let z = 20 - i. Solve 2*y = z*d - 11, 4*d - 2*y - 4 = 4 for d.
3
Suppose -12*s - 238 = -3214. Suppose -4*c + f + s = 80, -3*f - 31 = -c. Solve -3*w + 5*a = 16, -3*w - 5*a + c - 9 = 0 for w.
3
Let m be (-284 + 10)/((-3)/6). Let f = -541 + m. Solve 1 = 5*b - 2*p, -3*b + 8*p - 3*p - f = 0 for b.
1
Suppose -x + 2 = 0, 4*m + x + 116 = -x. Let d be (2/6)/((-2)/m). Suppose 0 = -5*a - 5*h - 5, -3*a + 3 = d*h + 16. Solve -g + k + 3 = g, a*g = 3*k + 11 for g.
-1
Let j = -6 + 8. Suppose -j = -4*c + 6. Let k = -2665 + 2668. Solve -c*h - 6 = z, -k*z - 9 = -4*h - 1 for h.
-1
Let m = -642 + 701. Let q = m + -57. Solve -i = -d - 2, -3*d - q*i - 1 + 0 = 0 for d.
-1
Let b = -3739 - -3747. Solve -4*c - 2*g + b = 0, -4 = 3*c - c - 3*g for c.
1
Let d(p) = -3*p + 2. Let l(q) = -q - 1. Let y(u) = -d(u) + 4*l(u). Let k = 2535 - 2544. Let v be y(k). Solve 4*b - b + 11 = 2*j, -3*b = v*j - 9 for j.
4
Let g = -1286 - -1981. Let n = -690 + g. Solve n*f - 15 = 3*o, -2*f = -0*f + 2*o + 10 for f.
0
Let y = -623 + 654. Let b(o) = -2*o + 64. Let c be b(y). Suppose -4*v - v = -20. Solve 5*k - c*p + 0 = 21, -v*k = 2*p - 6 for k.
3
Let g(d) = 16*d - 24. Let f(q) = 3*q - 5. Let l(c) = -11*f(c) + 2*g(c). Let t be l(7). Solve -3*u + 5*m - 16 + 4 = t, 5*u - 2*m = -20 for u.
-4
Let r = -19 + 28. Let i(f) = r + 5*f + 0*f - 4*f. Let a be i(-9). Solve a = 5*t - 5*s - 5, 3*t + 18 = -3*s - s for t.
-2
Let b(j) = j**3 - 8*j + 12. Let d(h) = 5*h + 2. Let i be d(0). Let q be b(i). Solve 5*x + 2*n - 33 = -0*x, 0 = -q*x - 2*n + 28 for x.
5
Let s = -23 - -102. Let i = 119 - s. Suppose -19*t + i = -15*t. Solve 3*l + 5*f + t = 3, 15 = -4*l - f for l.
-4
Let t(f) = 2*f**2 - 64*f + 274. Let r be t(5). Solve -10*q + p + 25 = -5*q, r*q - 2*p = 20 for q.
5
Let s = -3029 - -3032. Solve -9 = s*d + 2*u - 4, -2 = -u for d.
-3
Suppose -63 = -164*o + 143*o. Suppose 0 = -23*y + 31*y - 8. Solve -d - 2*m = -3*m - y, -o*m - 15 = 0 for d.
-4
Let q(p) = p**3 - 11*p**2. Let y be q(11). Suppose 2*a + x = 43, -x = -4*a - y*x + 89. Suppose -5*m = -18 - a. Solve -25 = -2*o + 3*w, 7 = -3*w - m for o.
5
Let i = -241 - -239. Let d be (-13 - -14)/(i/(-8)). Solve d*n + 10 = -2*s, 0 = -s + 3*n + 9 - 4 for s.
-1
Let n = -264 + 325. Let m = n - 56. Solve -3*l - 15 = m*h, -4*h - l - l - 12 = 0 for h.
-3
Let j(f) = 862*f + 10. Let a be j(0). Solve a*q - 30 = 4*q, 5*i + 15 = 3*q for i.
0
Suppose 2*i + 10 = -a, 13*i - 25*i - 68 = 2*a. Solve -s - 26*y + 25*y + a = 0, 3*s - 4*y - 6 = 0 for s.
2
Suppose -11 + 23 = 3*k. Suppose 3*m = 4*c - 3*c + 29, 3*m + k*c - 49 = 0. Suppose 0 = -2*q - 1 + m. Solve 2*r + 3*o + 0 = -q, -3*r + 5*o + 2 = 0 for r.
-1
Suppose 64*m = 265 - 12 + 259. Solve 4*j = -5*g + m, -5*g + 54 = -j + 31 for j.
-3
Suppose 59*h - 61*h + 6 = 0. Suppose 3*w + 0*z + 2*z + 2 = 0, -z = -5*w + 1. Suppose w = 5*t - 88 - 32. Solve -t = -4*m + 3*n, 0 = -2*m - 2*m - h*n for m.
3
Let t(j) = -13*j**3 - 117 - 35*j**2 - 16*j**3 + 24*j - 14*j**3 + 45*j**3. Let x be t(17). Solve -3*c = 4*l + 18 + x, -3*c - 5*l - 22 = 0 for c.
-4
Let w = -1588 + 1603. Solve -w*z + q = -12*z - 13, 5*z + q = 19 for z.
4
Suppose 62 = 4*l - 0*r - 5*r, 3*r = 6. Let p(f) = -f**3 + 2*f**2 + 10*f + 11. Let t be p(5). Let d = t + l. Solve m + d - 2 = -v, m = 5*v + 22 for m.
2
Let n = 45 - 13. Let t = n + -30. Suppose -2*v - 18 = -t*d - 2*d, -d + 6 = -v. Solve -3*w = -4*k, 7*k - d*w + 3 = 2*k for k.
-3
Let c be 33/6 - 0 - 1/(-2). Suppose c = 4*m - 2. Suppose 0*t - 5*t + 25 = 0. Solve -t*f = -3*v + v - 22, -4*v + m*f = 12 for v.
-1
Let v be (-124)/(-6)*36/8. Suppose -6*k = -v + 15. Suppose -k*z + 70 = 18. Solve z*x + 19 = 6*c - c, 3*c - 4*x - 13 = 0 for c.
3
Suppose -3*s + 6 = 0, 3*q - q + 2 = 3*s. Let i(m) = 14*m**2 + m. Let n be i(1). Suppose q*a + n = 25. Solve -v + a*u - 26 = -2*v, 3*v - 2*u = -7 for v.
1
Let a(u) = 155*u + 5. Let m be a(0). Solve -15 = 3*c, -5*l + 28 = -m*c + 3 for l.
0
Suppose 5*j - 43 = -48, -4*j = -5*q + 14. Suppose -d - 73 + 78 = a, -q = 2*d + 5*a. Solve 0 = -4*t - 4, t + d = -2*y + 2*t for y.
-5
Let t = -392 - -626. Let o = t + -220. Let d(g) = -g**3 + 5*g**2 + 2*g - 7. Let x be d(5). Solve 2*k - 2*a - 4 = -4*a, o = -x*k + 2*a for k.
-2
Let c be 4/(-18) + (-32)/216*-96. Solve -3*z - 5*h - 19 = 0, 3*z - 2*h + 6*h + c = 0 for z.
2
Let r be -24 - 2806/(-115) - (-1096)/10. Solve -5*w + 2*a = -7, -3*w - r*a = -105*a - 29 for w.
3
Let c be 28/(-16)*-4 + -2. Solve 0 = -2*t - 2*t + h + 5, c = -h for t.
0
Let j(w) = -7*w + 24. Let g be j(4). Let q be g/((-8)/(-2) - (-12)/(-2)). Solve 0 = -q*r + 5*b + 30, -2*r - 3*b = -b - 2 for r.
5
Suppose 0 = 37*c + 191 - 302. Let l = -19 + 11. Let w = 6 - l. Solve -c*r + 4*r + 5 = -p, -3*r - w = 2*p for p.
-1
Let d be (-6)/(-21) + (-54)/(-7). Let h be (2 + 9/(-6))*d. Suppose 278*z - 932 = 180. Solve h*m + 8 = z*n, -2*n = m - 10 - 3 for n.
5
Suppose 20 = -4*s - 6*c + 10*c, 32 = 2*s + 4*c. Solve -17 = v + m - 12, 0 = 5*v - s*m - 3 for v.
-1
Let a = -94 - -94. Suppose s = -j - 5, -10 = 5*s + 2*j - a*j. Let c be (3/4)/(2*(-2)/(-16)). Solve -g + 5*l - 20 = s, -l - c - 14 = 4*g for g.
-5
Let x(a) = 4*a**2 + 62*a - 6. Let v be x(8). Let w = 753 - v. Solve -2*q = -0*q - g - w, -g -