 for r.
-4
Let n be (-6 - 6) + (-2)/(-2). Let y = -8 - n. Let j be y + -3 + -1 + 1. Solve -3*o - 16 = o, j = -4*m + 3*o + 4 for m.
-2
Suppose 3*b - 2*b = -t + 52, -3*t = 3. Suppose -3*l + 143 - b = 0. Solve 2*a - f = 0, -5*a = f + 4*f + l for a.
-2
Suppose -42 + 222 = 6*m. Suppose 0*t = 2*t + 4*h - 24, 4*t - m = h. Solve -t = 4*q + 5*w, -4*q - 10 = q - 4*w for q.
-2
Suppose 13*f - 318 = 137. Solve -3*p - 4*q - f = 0, 6*p + 3*q + 40 = p for p.
-5
Let i = 11 + -9. Let z be i/2*(-65)/(-5). Let k(s) = -s**2 + 13*s + 2. Let l be k(z). Solve -3*m = 2*m - b + 24, -m = -l*b + 12 for m.
-4
Suppose -6*w + 10 = -50. Let x be (-22)/55 - 16/w - -4. Solve x*s - 4*h = 2 - 8, -6 = s - 5*h for s.
-1
Let s(h) = 5*h**2 - 13*h + h - 8*h**2 + 5*h**2. Let q be s(6). Solve -4*d + 4*t - t - 10 = 0, 5*d + t + 22 = q for d.
-4
Let t = 1744 - 1743. Solve 0 = 2*v - a - 3, -2*v - a - t - 6 = 0 for v.
-1
Let h = -1127 + 1145. Solve -2*z + 4*c - h = 0, z - 26 = -0*z - 5*c for z.
1
Let x(v) = v**3 - 4*v**2 - 5*v - 7. Let h be x(5). Let p = h + 15. Let n = p + -3. Solve 0 = -3*s + n*y + 1 - 0, 2*y - 10 = -4*s for s.
2
Suppose -12 = -4*r - d, 4*d + 9 = 3*r - 0*r. Let q be 3/(((-36)/(-16))/r). Solve -k - i = -0*k - 3, 3*k + q*i = 12 for k.
0
Let k = -97 + 89. Let o be k/((-8)/(-2)) + 4 - -2. Solve -4*t - 3*d = -15, 3*t - o*d - 2 = 3 for t.
3
Suppose 0 = -4*c - 0*c + c. Suppose 3*s + 4 = s - 4*u, 5*s - 2*u - 38 = c. Solve s = 4*x - 2*j, -3*j - 7 = -2*x - 6*j for x.
2
Suppose m + o = 4 - 0, o = -4*m + 13. Solve -3*z - 1 = -2*z - m*p, 0 = z - 2*p for z.
2
Let g = 7 - 5. Let l(v) = 6*v**2 - 2*v - 1. Let h be l(-1). Let s be 1*4*(13 + -3 + -9). Solve i - 3*w = 14, 0 = -i + g*i + s*w + h for i.
5
Suppose d - 20 = -16. Solve 0 = -3*x + 9, -d*m + 3*x - 4*x = -23 for m.
5
Suppose 0 = 2*h - 3*b + 9, 3*h = -5*b - 6 + 40. Solve 23 = 7*r - h*r + 3*l, 18 = -r + 4*l for r.
2
Suppose 0 = 3*i + 9 - 51. Suppose -2*t + 5*j = -i, -t + j - 2 = -3*t. Suppose 3*d - 61 = -2*d - p, 0 = 2*d - p - 30. Solve -t*s + 3*k = -d, -k - 1 = -0 for s.
5
Let r be (-3)/((-75)/10)*5. Suppose -5*x + 4*u + 2 = 0, -2*x = r*x - 3*u - 2. Solve x*o = -2*o + 2*a, 0 = a for o.
0
Suppose 9*x - 34 = 56. Let c = 4 - 1. Suppose 12 = c*s + 3. Solve 0 = -4*h - 4*q - 8, -4*q - x = -3*h - s*q for h.
2
Suppose 0 = -j + 5*j + 72. Let s = j + 22. Let w(b) = -b**3 + 4*b**2 + 2*b + 15. Let f be w(5). Solve 2*u - 6 = f, 5*c - c + 16 = s*u for c.
-1
Let j = -36 - -71. Suppose 0*t - t + 40 = 4*h, j = 3*h + 2*t. Suppose 4*n = 9 + 7. Solve o - 2*v = 4, h = 6*o - n*o - 5*v for o.
2
Let x be -192*((-15)/(-9) + -1). Let y = 188 + x. Suppose o = -3*o + y. Solve 0*f + 2*f - 12 = w, -5*f = 5*w - o for f.
5
Let x(r) = 2*r - 10. Let b be x(7). Suppose 0*j = 2*j - 4. Suppose -4*q - 2*t = -8, -2*q + 0*q - 2*t + j = 0. Solve -q*h = -u - 4*h, -3*u = b*h - 4 for u.
-4
Let s = -14 - -23. Let h be 8/(-20) + 46/(-10). Let x = s + h. Solve -x*b - 24 = -a - 4*a, -4 = -2*a - 4*b for a.
4
Let l be 54 + -16 + (2 - 10)/2. Suppose -8*q + l = -6. Solve -2*n = -5*n + 5*u + 9, q*n - 4*u = 15 for n.
3
Let y = 824 + -819. Solve -y = 4*g + 5*x, -3 - 2 = -3*g - 2*x for g.
5
Let w = 40 - 36. Let j be 15/w - (-3)/12. Solve -3*d = 3*i - 18, -4*d = j*i + i - 27 for d.
3
Let k = -12 - -17. Suppose 0 = k*l - 47 + 57. Let o be (1 - l)*16/6. Solve 27 = -5*z + 2*r, 4*r - 6 - o = 2*z for z.
-5
Let q = -1 - -35. Suppose -7 = 9*r - q. Solve -f - 2*f + 18 = r*c, -6 = -2*f for c.
3
Let m be 5/1 + (-20)/8*2. Solve m = w - q, -4*q + 0 = -w - 9 for w.
3
Let o = 129 - 121. Let c be (-150)/(-45) + o/(-6). Solve -2*z - j + 0*j = 11, 0 = z - c*j - 7 for z.
-3
Let x(j) = -j - 3. Let c(h) = -3*h + 3. Let d be c(2). Let p be x(d). Solve 4*v + p*v = -i + 5, -4*v - 7 = 5*i for i.
-3
Let u = 33 + -20. Suppose -73 = 4*x + 3*b, -b + 58 = -4*x + x. Let r = -16 - x. Solve -2*g + n = -0*n - u, 0 = r*n + 9 for g.
5
Suppose 3*g + 174 = -0*v + 3*v, -g = v - 68. Let w = v - 59. Solve -w*b - 6 = -u - 18, -4*b + 16 = -2*u for b.
2
Let c be (3/(-12)*-6)/(2/(-12)). Let o be c*(24/(-9))/4. Solve 0 = -y + 3*i + o, -2*y + 0*i = 4*i + 18 for y.
-3
Let t(s) = -2*s**2 - 19*s - 9. Let c be t(-9). Suppose 4*f + 13 - 13 = c. Solve -3*b + z - 16 = b, f = 2*b + 5*z + 30 for b.
-5
Let w(z) = 2*z**2 - 14*z + 14. Let p be w(6). Solve 4*y + 1 + 3 = 4*i, p*i - 5*y - 14 = 0 for i.
-3
Suppose 4*i + 36 = -6*w + 10*w, 0 = 5*w + 4*i. Solve 0 = -3*f + w*x - 6, 28 - 18 = -f + 4*x for f.
2
Suppose 6*m = m. Let c(w) = -9*w + 794. Let q be c(88). Suppose 23 = 3*t + 4*r, -5*t + 27 = 4*r - 3*r. Solve m = n - j - q, -28 = n + t*j - 0*j for n.
-3
Let x(v) = 9*v + 36. Let c be x(-7). Let y = 33 + c. Solve -6 = -2*k + 3*b + b, 0 = 2*k + 4*b - y for k.
3
Let u = 436 + -435. Solve 3*a + 3 = 5*k, -a - 3*k + u - 2 = 0 for a.
-1
Let x(n) = -4*n + 32. Let j be x(6). Solve -3*w = -4*m - j, 0 - 13 = -2*w - 5*m for w.
4
Suppose -2*t - 31 = -4*t - 5*y, 0 = -5*t - 2*y + 25. Solve 0 = -c - 5*l - 10, 0 = -3*c + t*l + 20 + 4 for c.
5
Suppose c + 0 - 4 = 0. Suppose -3*q = -f + 4, -4*q + 2*q - 4*f = -16. Solve c*w + 5*s + 13 = q, -4*w - s + 4 = -3 for w.
3
Let v(u) = -u**2 + 12*u - 15. Let h be v(10). Suppose 6*m - h*m - 20 = 0. Suppose -m = -c - 3*c - a, c - a = 0. Solve 0 = -2*k, -2*r + 2*k = c*k - 2 for r.
1
Let z(p) = p**3 + 3*p**2 - 6*p - 8. Let x be z(-3). Solve 4*v = 2*y - x, 2*v + 0*v = -6 for y.
-1
Suppose 0 = -3*m - 53*m + 280. Solve a - 2*d = 1, -4*a - 3*d + m - 1 = 0 for a.
1
Let f = 27 + -89. Let v be (-1 - (-4)/12) + f/(-3). Solve 3*m - v = -m, 4*l = 3*m - 7 for l.
2
Suppose 0 = 5*q + 4*x - 476, -4*x - 444 = 3*q - 8*q. Suppose 0 = i - 4*i + 4*o + 36, -4*o = 5*i - q. Solve 2*g = 4*k - i, -6*k + 2*k = g - 10 for g.
-2
Let i = 92 - 87. Let h be 17/7 - (-18)/(-42). Let z be 5 + ((-16)/h)/(-4). Solve i*a + 25 = -2*t, 2*t = 4*t - a + z for t.
-5
Let v(j) = -16*j + 146. Let k be v(8). Solve -b - k = -3*d - 2*b, 35 = 4*d + 5*b for d.
5
Let n = 54 - 9. Solve -y + i = 0, 9*y = 4*y - 4*i + n for y.
5
Let g be (81/(-36))/((-3)/(-40)). Let v = 38 + g. Suppose -7*y + v*y = 4. Solve -5*d - y + 7 = -3*l, 4*l + 4 = d for l.
-1
Let m be (1*-3 - -1)*580/(-232). Let l(h) = h**3 + 5*h**2 + 4*h + 3. Let y be l(-3). Suppose 3 = 3*t - y. Solve -t*k = v + 23, -m*k - 16 = -4*v + v for v.
-3
Let n = 964 - 962. Solve 3*z - 7 = n*k - 1, 3*k - 4*z = -8 for k.
0
Let u = 28 - 24. Solve -3*q - 32 = 4*v, u*q - 2*v - 4 = 2*v for q.
-4
Suppose 3*d - n = 6*d - 19, 3*d + 4*n - 13 = 0. Suppose 0 = -d*m + 6*m. Solve -5 = -x - p + 3*p, m = -p for x.
5
Let v = -920 + 922. Solve 2*r = -4*g - v, 4*r = 5*g - 1 - 3 for g.
0
Let s be 184/16 + 27/(-18). Solve -3 = 2*k - r + 2, 5*k + 2*r - s = 0 for k.
0
Let l(w) = -4*w**2 - 10*w - 33. Let c be l(-4). Let y = -56 - c. Solve 2*j + 2 = s, -4*s + 15 = -y for j.
1
Let n(o) = o**2 - 16*o - 129. Let j be n(22). Solve w = j*a + 6, -11 = 3*w + 4*a + 10 for w.
-3
Let h = 58 + -53. Let t be -4*(-7)/(-28) + 16/1. Solve -h*q = -4*a - 25, -3*q + 4*a + t = a for q.
5
Let a be 50/5 + (33 - 40). Solve z - 1 = -a*t, -t + 4 = 2*z - 3 for t.
-1
Let b(g) = 9*g**2 - 3*g - 3. Let z be b(-1). Suppose -t - z = -3*n, -n + 5*n - 2 = 3*t. Solve -5*f - 4 = 2*p + p, 0 = -4*f - p - t for f.
-2
Let g = -81 + 82. Solve -3*r = -k + 8 + g, 5*k = -3*r - 27 for r.
-4
Suppose 356*n - 2 = 355*n. Solve -2*a - 2*a + 2*v - 12 = 0, -12 = n*a - 4*v for a.
-2
Suppose 30*n - 10 = 110. Solve n*r - 5*r = -v, r = 3*v + 10 for v.
-5
Let w(b) = -2*b**3 + 19*b**2 - 11*b + 20. Let m be w(9). Solve d = -m*y - 5 + 2, 10 = -5*y - 2*d for y.
-4
Let s be (9/6)/((-3)/(-6)). Suppose 3*v - 15 = 0, 3*v - v = -s*q + 25. Solve -3*f + q = -2*r, 0*f - 4*r + 11 = f for f.
3
Suppose 0 = 4*q - 4*c - 108, -q = -5*c - 55 + 44. Solve 4*f + 3*i = q, 2*f + 5*i - i = 28 for f.
4
Let w be 128/48 + 3/9. Solve -2*v - 7 = w*d + 4, -3*v + d = 0 for v.
-1
Suppose 9*k - 3*k = 12. Suppose 24 = 4*m - 5*o + 3*o, 0 = 4*m + 2*o - 8. Solve 0 = -m*d + k*d + c - 4, -20 = d - 5*c for d.
0
Let v(w) = -2*w**3 - 3*w**2 + 5*w + 4. Let p be v(-3). Let y be (40/p)/(1/2). Solve 4*d = -2*r + r + y, 3*r + 5*d = 15 for r.
5
Suppose 5*w + 1084 = d + 287, -2*d = -2*w - 314. Let t = -160 - w. Solve t*l + 3*l - 3*q = -9, l = 2*q - 6 for l.
0
Let g be 1*-1 + 11 + 0. Let m be (5 + -2)*14/6. Let z = g - m. Solve 3*s - 7*s = 5*r - 29, -z*s - 