*r for r.
2
Let m = -78440 + 78443. Suppose 3*k - 6 - 9 = 0. Solve -3*w + 3*z = 0, -m*z = 2*w - 0*z - k for w.
1
Let g(q) = q**3 - 4*q**2 - 5*q + 52. Let t be g(-3). Solve -t*y + 10 = -2*i, 5*y = 4*i - 5*i + 9 for i.
-1
Suppose -3*v = -v. Let o be ((-9)/126*-7)/((-2)/(-96)). Suppose -40 = -90*r + 85*r. Solve -4*i - o = -3*g, 4*g - i - r - 11 = v for g.
4
Let u = -240 + 242. Suppose 0 = -h - f - u*f + 3, -3*f = 4*h - 12. Solve -3*b = m + 8, 4*m = h*b - 0 - 2 for b.
-2
Suppose -32*z + 259 - 134 + 195 = 0. Solve u = -4*p - 5 + 23, -2*p - u + z = 0 for p.
4
Let u be (40/15 - 4)*765/(-68). Solve 3*y = 3*z + u, 20 = 4*y - 12*z + 17*z for y.
5
Let h be (552/(-322))/(3/(-35)). Suppose -h*n = 15*n - 700. Solve -3*c - d - 9 = 0, 4*c + d + n = 7 for c.
-4
Suppose -4*c + 1 = -659. Let a = -148 + c. Solve -3*b - 3*d = -5*d - a, 4*b - 24 = 4*d for b.
5
Suppose -5*g = 4*a - 63, -2*a - 56 = -2*g - 74. Solve -2*p = q - 4, 0 = -6*q + 2*q - p - a for q.
-4
Let y(m) = -m**3 - 7*m**2 - 25*m - 10 + 39*m - 22*m. Let z be y(-6). Suppose 2*a + a = 81. Solve w = -z*j + j + 6, 2*j - a = -5*w for j.
1
Let l(q) = -5*q**2 + 25*q - 18. Let k(x) = -x**3 + 12*x**2 + 63*x + 20. Let g be k(16). Let b be l(g). Solve -7 = 2*o + 4*a - a, -b = 3*o - 4*a for o.
-2
Let c = 39 - 37. Suppose -c*d + d + 9 = 0. Suppose -9 = -3*j + 3*s, -2*j - d = j + 3*s. Solve 2*l + 3*o - 13 = 7*l, j = 2*l - 3*o - 2 for l.
-5
Let s be (132/3)/(3/((36/24)/1)). Let q(k) = 2*k**2 - 4*k - 1. Let b be q(3). Let v = 19 + -9. Solve m - v = 2*o, 2*o - 4 = b*m - s for o.
-4
Suppose m - 20 = -18. Let c(u) = -u - m*u + 4*u + 3*u - 42. Let p be c(11). Solve -5*r = -2*i - 2*i, 0 = 5*r + p*i for r.
0
Let w(r) = -2*r**2 - 122*r + 152. Let p be w(-62). Solve 0 = 5*g - 2*t + p, 2*g = 3*t - 30 + 10 for g.
-4
Let o = 7948 + -7945. Solve 4 = a, 4*a - 11 = 4*b - o*b for b.
5
Suppose -567 = -9*o - 4*o - 515. Solve 3*z + o*y - 5 = 0, -160*z + 164*z - 4*y = -40 for z.
-5
Suppose 16 = -2*r + 6*r. Let x = -2 + 5. Suppose -451*l + 125 = -367*l - 1387. Solve -x*s - 2*s + 4*q + 21 = 0, 0 = 2*s - r*q - l for s.
1
Let o(k) = -2*k**3 - 37*k**2 - 141*k - 28. Let c be o(-5). Solve c*j - 5*a - 1 = 0, 32*a - 4 = 36*a for j.
-2
Suppose 4*s - 5*j + 1 = 0, -4*s - 2 = -3*j - 11. Solve 2*o - 3*o - 14 = 5*r, o + s = -r for r.
-2
Suppose -3*p - 477 + 522 = 5*f, 5*p = 5*f - 45. Solve 29*k - 25*k + f = -5*x, 5*x = -k - 6 for x.
-1
Suppose -9*a - 556 = -574. Suppose -2*f - a = -3*f. Solve 0*r = 3*d + 4*r - 13, f*r - 5 = -d for d.
3
Suppose 12*g = 1093 + 4283. Let w be 2/(-9) + g/72. Solve -2*b - 1 - w = -o, 0 = 4*o - b for o.
-1
Let x(p) = 18*p + 84. Let u be (-1)/((-4)/(-2)) - (-77)/(-22). Let r be x(u). Solve 4*z = 5*n + r, 4 = -n - n + 2*z for n.
-4
Let r = -94 + 359. Let a = 293 - r. Solve -7 = -5*n - 3*y, -6 + a = -2*n + 5*y for n.
-1
Let m = 24594 - 24591. Let b = -1 + 1. Solve 5*p = 15, b = k - p + 5 + m for k.
-5
Suppose -4*k - 6*n = -2*n - 24, 0 = -k + 3*n - 10. Suppose -i + 0 - 3 = -q, k*i + 2*q = 10. Solve 2 = -y + 2*s + i, -3*y = -2*s + 3 for y.
-1
Let h(l) = -l**3 - 4*l**2 - 6*l - 2. Let p be h(-2). Suppose -1 + 5 = u - 5*w, 2*w = 0. Solve 2*i + i = 5*t + 5, u*i - p*t = 2 for i.
0
Suppose -501 = -11*f - 479. Let c be (4 - 22)*(-2)/4. Let x = 21 - c. Solve x = -f*l - n, -l - 1 - 7 = n for l.
-4
Suppose 40*b = 35*b + 40. Let j(o) = 5*o - 38. Let i be j(b). Solve 3*p - a = -3*a - 13, -i*p = -a - 3 for p.
-1
Let f = 115 + -112. Suppose 85 = 9*z - 4*z. Solve 4*w - z = -3*p, f*w = 2*p - w + 2 for p.
3
Suppose -213*c + 208*c = 5*u + 20, -2*c + 5*u + 48 = 0. Solve -f - 17 = 3*b - 15, -c*b = 2*f for f.
4
Let k be (-3 - -3) + 2*5*-2. Let u = k - -24. Suppose -5*g - 1 = 4, -g = -u*y + 17. Solve -y*n = -2*s + 12, 12 = 4*n + 3*s + s for n.
-1
Let u(c) = c**2 - 21*c + 38. Let d be u(21). Let i = d - 36. Suppose i*z - 10 = -2. Solve h + 3 + 0 = -4*s, 4*h - z*s = 8 for h.
1
Suppose 0 = 4*a + 2*y - 54, -4*y + 2 + 2 = 0. Suppose 21*j = a*j + 48. Suppose 0 = -0*o - 3*o + 66. Solve o = -5*v + i, -i - j = 3*v - v for v.
-4
Let n(v) = -v**3 + v**2 - 2*v + 3. Let s be n(0). Let y be 0/((-4)/((-8)/(-2))*s). Let f be (3 - y) + 5/5. Solve k + f*k + 10 = 2*b, 5*b = -2*k - 33 for k.
-4
Suppose 0 = 28*z - 25*z - 6. Suppose -z*c + 8 = -5*q, -2*q + 10 = 2*c - 26. Let o be (-56)/98 + 36/c. Solve -o*d = -x + 11, 2*x + 4*d + 8 = -2 for x.
3
Let l = -9944 + 9949. Solve -l*y + 27 = 4*s, -258 = 4*s + y - 273 for s.
3
Let k(s) = 5 + 6 - 7 + s**2 - 3*s. Let c be k(2). Let g be c/(-17) + 1550/170. Solve -g = y + 2*d, -d = -5*y + d - 9 for y.
-3
Suppose -2*b - 8 = -0*b, -5*k - 5*b = -20. Suppose 42*h + k = 44*h. Solve d = -3*j - h, 2*d - 4*j = j + 25 for d.
5
Let b = -73 + 78. Let n be (-2)/(((-2)/b)/(6/10)). Solve 0 = 4*u - 4*j + 12, 4*u - 20 = -n*j - j for u.
1
Let c = -14 - -6. Let q = 23 + c. Suppose 251*b - 252*b + 10 = 0. Solve 2*u - m = -3*m - b, 4*m + q = u for u.
-1
Let s(y) = 2*y**2 - 2*y - 2. Let u be s(3). Suppose 269*a - 273*a - 144 = 0. Let m be (a/7)/((-104)/(-28) + -4). Solve 4*t = -5*j + m, 0 - u = -5*j for t.
2
Let j(d) = -2*d**2 - 5*d - 6. Let h be j(-4). Let k = -21 - h. Let w be (8/(-6))/(k/9). Solve w*z - 2*b = -10, 0 = 4*z - b + 2*b - 5 for z.
0
Suppose -2*b - 178 = 3*p, -300 = 2*p + 3*p + 5*b. Let n = 60 + p. Suppose -2*o = 8, 0*o - 14 = -2*z + n*o. Solve -3*i = z*j - 12, 2*j - 6 = -4*i - 0*j for i.
-1
Suppose 2*s - 10 = 3*k - 3, 5 = -k. Let q be s/(-18) - (-1978)/414. Solve -v + 6 = q*z, 3*z = -3*v + z + 5 for v.
1
Suppose -22 = -3*o + 2*i, -7 - 6 = -2*o + i. Solve -4 = -b - h, -o*b + 4*h - 17 + 9 = 0 for b.
1
Let m = 9801 - 9779. Solve -23*n + 20 = -5*c - m*n, n - 12 = 3*c for c.
-4
Let c = -35 - -195. Suppose -4*w + c = 4*w. Solve -x + 5*s - 12 = -4*x, w = 5*x - s for x.
4
Let i(u) = -5*u + 29. Let w be i(5). Suppose s = -j, 11*j - w*s = 13*j + 6. Solve -5*c = -2*c - 5*y + 11, j*y = c + 9 for c.
3
Let k(n) = 0 - 4 - 5*n + 2*n + 7 + 2. Let o be k(1). Solve 0 = t + 2*u - 3*u - 4, -17 = -3*t - o*u for t.
5
Suppose 4056*a - 4043*a - 156 = 0. Solve -8*s + a*s = -2*x - 30, 4*x - 2*s + 10 = 0 for x.
-5
Let s = -192 - -217. Let n(x) = 9*x - 207. Let l be n(s). Solve j - 8 = -3*y + 6, 5*j = -2*y + l for j.
2
Suppose 8*h - 37 = -21. Suppose h*q - 3 = 9. Solve 3*s - 3 = 0, -2 + q = f + 2*s for f.
2
Let q = 3894 + -3887. Solve 0 = -5*v + 4*i - 15, -3*v = -0*v - 2*i + q for v.
1
Let j(q) = q**3 - 16*q**2 + 18*q - 40. Let d be j(15). Suppose -15 = 5*u - 3*i, 3*u - d*u - 25 = -5*i. Solve -2*o - 3*o = -v + 9, 4*o + v + 9 = u for o.
-2
Suppose -16 - 19 = 5*o. Let d be 7 - 6 - 6 - o. Solve 19 = -d*j + a + 5, 4*j = -5*a for j.
-5
Suppose 4010 = 248*w - 258*w. Let g = 406 + w. Solve -5*u + 4*q - g = -3, -6 = 2*u + q for u.
-2
Suppose -17*j + 72*j - 140 = -30. Solve -j*p - 4*c - 4 = 0, 2*c = -4*p - 19 + 35 for p.
6
Let w = 8622 - 8617. Solve -2*y = 4*l, 0 = 63*y - 58*y + w*l for y.
0
Suppose 2*m - 8*w + 1 = -11*w, 0 = 2*m - 4*w - 20. Suppose x - 13 - 3 = -m*b, -2*x = b - 4. Solve -10 = 3*a - j - 2, 2*a + 2*j + 8 = x for a.
-3
Let o = -3 - -8. Suppose 6 = 3*y, -6*y + 11*y = -q - 47. Let h = q + 59. Solve h*x + o*m = -0*m - 24, -4*x + m = 4 for x.
-2
Let c be (116/203)/((-848)/(-420) + -2). Let w be (-2)/(3/(45/(-6))). Solve 2*r + h - 2 = 0, w*h = 5*r - c - 5 for r.
3
Suppose -378*o + 1786 + 1238 = 0. Solve -4*q = -o*q + 4*c, 0 = -2*q + 3*c - 5 for q.
5
Let v(p) = 12*p + 293. Let d be v(-22). Suppose 15 + d = 11*z. Solve -5*i + 4 = h + 18, 2*i - z*h = 12 for i.
-2
Let x be (-275)/(-1100) - (-2)/(-8). Solve 4*w + 8 = 0, 4*t + x*t - w = 6 for t.
1
Suppose 4 = 3*a - 2*a. Let v be 6 - 9 - a/6*-3. Let b be (0 + v)*-2 + 26. Solve 4*z + b = 3*w, 20 = w + 4*w for z.
-4
Let q(w) = -122*w - 343. Let g be q(-10). Let v = -873 + g. Solve 2*f = -3*d + 10, d - 20 = -v*f - d for f.
5
Let l(j) = -11*j + 0*j**2 + 22 + 33*j + j**2 - 10*j - 3*j. Let n be -3*(-1)/(-3)*4. Let c be l(n). Solve 4*f + c = -2*b, 4 = -4*b + 3*f + 2*f for b.
-1
Let t(n) = n**3 + 14*n**2 + 5*n + 73. Let p be t(-14). Solve p*d = -b - 0*d + 8, b - 3*d = -4 for b.
2
Let f(d) = -d**3 + 31*d**2 - 30*d + 31. Let c be f(30). Let l = c - 27. Suppose -l*u = -0*u - 40. Solve -5*n = -1 - 9, -i - 3*n + u = 0 for i.
4
Suppose 0 = 16*o + 11*o - 21*o - 48. Solve 2*b - 9 + 19 = -2*q, -b - 4*q - o = 0 for b.
-4
Let y(k) = -k**3