r m.
0
Suppose 53*c = 31*c + 198. Solve c*j = -7*j + 80 for j.
5
Let q be 1/(2*3/12). Let d(m) = 5*m + 6. Let z be d(-1). Solve -q*w = 7 + z for w.
-4
Suppose 3*i = -3*i + 18. Suppose -2*x - i*v + 10 = -v, -4*v = 3*x - 19. Solve 0 = z - x - 3 for z.
4
Let y be -1 - (-2 - (-43)/1). Let s = y + 45. Solve 2*d = -s - 1 for d.
-2
Suppose -h + 6*h = -500. Let j = h + 103. Solve -j*i - 12 = 3 for i.
-5
Let t = -62 + 67. Suppose -3*d = -4*f - 0*d + 3, -3*d = t*f + 3. Solve -l + f*l - 4 = 0 for l.
-4
Suppose 3*g + 28 = -g + 4*v, 5*g - v = -39. Let h(n) = -n**3 - 7*n**2 + 6*n - 5. Let m be h(g). Let q = m + -11. Solve -2*y + 4 = -q for y.
2
Let b = 706 + -702. Solve 0 = -v + 1 - b for v.
-3
Let a = -8 - -9. Let z = 10 + 1. Let o be z*a + -10 + 9. Solve o = -2*d + 4*d for d.
5
Let o be (0/((-12)/4))/1. Let d be 64/36 + ((-10)/(-9))/5. Solve -d = -o*q + q for q.
-2
Let p(x) = 4*x**2 - 18*x - 7. Let o be p(6). Solve o*q = 24*q for q.
0
Suppose 6 = 3*q - 18. Suppose -3*v + 25 = 2*j, 4*j - v - 7 = q. Let x(a) = -a**2 - a + 2. Let l be x(0). Solve -7*u - j = -l*u for u.
-1
Suppose 5 = 3*d - 4*w, w + 2*w = 5*d - 12. Suppose 6 = d*s - 0. Solve -6 = -s*x - 4 for x.
1
Let x(b) = 8*b - 4. Let k be x(2). Suppose -6 = -9*m + k. Solve g - m = 1 for g.
3
Let o(x) be the second derivative of -1/6*x**3 - 7*x + 0 - 1/2*x**2. Let z be o(-3). Solve h + 0 = -z for h.
-2
Let p(t) = t + 14. Let q be p(-10). Suppose 0 = 2*g - o - 32, -o - q*o = 0. Solve -2*i + 6 - g = 0 for i.
-5
Let g(j) = -j + 41. Let p be g(-5). Solve 0 = 2*i - 38 + p for i.
-4
Let m(v) = -v**2 - v + 5. Let q be m(0). Suppose 4*t - 2*f - 3*f + 25 = 0, 4*t + q = f. Solve 4*r + 7 + 1 = t for r.
-2
Let p be 36/(-28) + 2996/196. Let d = 4 - 3. Solve 5*b - p = d for b.
3
Let r(d) = -d**3 - 5*d**2 - 4*d + 3. Let f be r(-4). Suppose -16 = -f*h - h. Suppose -h*u = 4*w - 3*u, -3*w + 5*u + 23 = 0. Solve q - 3 = -w for q.
2
Let d(j) = -70*j + j**3 - 16 + 13*j**2 + 57*j - 4*j**2. Let y be d(-10). Solve 0 = -3*l - 1 - y for l.
-5
Suppose -25 + 349 = 4*z. Suppose 7*y = z + 94. Solve -y = 3*i + 2*i for i.
-5
Let q = 4 + -35. Let b = -30 - q. Solve -2 = -n + b for n.
3
Let l be -9 - ((0 - 155) + -9). Solve l = -7*r + 134 for r.
-3
Let f be -6*(-4)/12*1. Let o = 7 - 8. Let g be (-1 + 0)/(o/f). Solve -3*n - 25 = g*n for n.
-5
Suppose -3*q + 94 = -14. Let v = 56 - q. Solve -3*c = c + v for c.
-5
Let g be (-5)/30 - (-91)/6. Let y be (-3)/(-2)*-2 + g. Let v = y - 7. Solve -b + 3 = v for b.
-2
Let l(f) = -38*f + 332. Let u be l(7). Solve -m + 66 = u for m.
0
Let v be 3/12*0/7. Let j(p) = p**2 - 3*p + 3. Let b be j(3). Suppose b*s - 9 = -3*n, 5 = 5*s + 2*n - 4. Solve -5*l + 4*l - s = v for l.
-1
Let x = 1745 + -1719. Solve x*k + 56 = 4 for k.
-2
Let u(t) = -t + 9. Let b be u(9). Let n = 0 + b. Solve n*f - f - 1 = 0 for f.
-1
Suppose -4*m = 4*s - 98 - 58, 199 = 5*m + 4*s. Let h = -39 + m. Solve -h*r = -r for r.
0
Let h be (-40)/(-18) + (-4)/18. Suppose 2*d - 3*d = 3*w - 42, -3*w - 18 = -d. Let i be 12/d - (-38)/(-20)*-4. Solve i = 2*y + h*y for y.
2
Suppose 5 = 4*j - 3*j, -3*j + 14 = k. Let f be 2/k - 1*(-4 + 0). Solve 0*u + 4 = f*u for u.
2
Suppose 3*d - 1 = -4*c, 4*d + 8 = 2*c + 2. Suppose 0 = 3*w + 82 - c. Let l = 30 + w. Solve -l*v + 5 = 2*v for v.
1
Let t(l) = -l**2 - 24*l - 63. Let f be t(-21). Suppose r - 3*w = 2*w - 22, -4*w + 8 = -4*r. Suppose n = r*n. Solve f = 2*m + 6 - n for m.
-3
Suppose -30*o + 10*o + 140 = 0. Solve 11*r - o*r = -12 for r.
-3
Suppose 0 = -c - 3*n - 8, 5*c - 7*c = 4*n + 8. Let t = c - 0. Suppose 6 = t*b - 10. Solve -b*s + 0*s - 4 = 0 for s.
-1
Let w = 20 + -37. Let k = 27 + w. Solve -k = -x - x for x.
5
Let o(y) = 2 - 6*y**2 + 5*y**2 - 2*y**3 - 3*y**2 - y. Let w be o(-2). Let v = 1045 - 1044. Solve -t + v = w for t.
-3
Let m be (-1 + 4)/(-3)*(-3 - 0). Solve -m*y = 10 - 7 for y.
-1
Suppose -50*h + 118 + 232 = 0. Solve -2*s + 9*s = -h for s.
-1
Suppose -4*t = -3*t - 4. Let y = 5894 + -5894. Solve 2*j - 10 + t = y for j.
3
Suppose 3*h = 0, 4*y = 3*h + 38 - 10. Suppose z - 7 + y = 0. Solve z = -c - 2*c + 6 for c.
2
Let m be -2*(-133)/(-2) + 8/4. Let l = 136 + m. Solve -w = -l*w + 4 for w.
1
Let u(y) = -y - 5. Let z be u(16). Let d be z/(-35) - -3*(-2)/10. Solve d = 2*c - 3*c - 3 for c.
-3
Let c = -17 + 17. Suppose c = -4*h + 25 - 5. Suppose h*o - 20 = 5*p, -4*p + 4 = o - 7*p. Solve 3 = t + o for t.
-1
Suppose 657*a = 662*a - 80. Solve -c - a = -5*c for c.
4
Let l = -45 - -20. Let k = 31 + l. Let a be ((-28)/42)/((-1)/k). Solve -8 = -a*i - 0*i for i.
2
Suppose -28 = -69*c + 65*c + 4*o, 0 = -4*c + o + 22. Solve 2*a = -c*a + 21 for a.
3
Let k(t) = t**2 - t - 3. Let g be k(-6). Let a = g - 32. Solve -a = 2*z - 3 for z.
-2
Let x = -696 + 698. Solve x*k = -0*k - 8 for k.
-4
Let a be -3 - 2/(0 - -2). Let o be (a/(-5))/((-16)/(-40)). Solve 3*n + o = 11 for n.
3
Suppose 4*y = w + 4, 0 = 2*w + y + 4*y - 44. Let q be (-9)/(-2)*16/w. Suppose -14 = -2*d - q. Solve -h + 5 = d*h for h.
1
Let j(b) = b**3 + b**2 + 51. Let c be j(0). Let k = -16 + c. Suppose -4*a - w = -5*w - 4, k = 5*a + w. Solve f = -f - a for f.
-3
Let r = -11 - -11. Suppose -2*x - 2*x + 8 = r. Suppose -x*z - 1 = 2*a - 5, -6 = -5*a - z. Solve 8 = 3*t - a for t.
3
Let x = 11 + 3. Let p = -418 + 418. Solve p = x*b - 10*b + 16 for b.
-4
Let v be (-8)/((-48)/30) + (4 - 8). Solve v = s + 6 for s.
-5
Let b = -570 - -573. Solve b*y - 124 = -139 for y.
-5
Suppose 1 - 9 = -u. Suppose 0 = -4*w - 3*x + 61, -2*w + 3*x = -35 + 36. Solve s = u - w for s.
-2
Let o be 154/66 + (-1)/3. Let y(w) = -7*w + 2. Let z(u) = u. Let g(k) = -y(k) - z(k). Let v be g(o). Solve -5 = 3*n + v for n.
-5
Let a(d) = 2*d**2 - 5. Let y be a(-2). Suppose y*n + 18 = 27. Solve -n = -j - 0*j for j.
3
Let y = -5 + 7. Suppose 171 = 2*l - 25. Suppose 5*m = l + y. Solve 0 = 4*u + u - m for u.
4
Suppose -13*r = -23 - 16. Suppose -q = 5*a - 15, 4*q - 2*q - r = -a. Solve q*f = -4*f for f.
0
Suppose -16*u = -17*u - 4*f + 59, 4*u = 4*f + 136. Solve 0 = -9*w - 4*w - u for w.
-3
Suppose -2*t = -6*t. Suppose 15*b - 2*b - 3*b = 0. Solve 3*s + b*s = t for s.
0
Let k(b) = 15*b**2 + 134*b - 5. Let p be k(-9). Suppose 0 = 2*d + d - 9. Solve d = p*h + 15 for h.
-3
Let r be (-5 - 52/(-12)) + 60/9. Solve r = 4*p - p for p.
2
Let q = 160 + -140. Suppose -5*u + 2*a = -0*a - 4, u - a = 2. Solve 5*w + q + 0 = u for w.
-4
Let k(s) = 2*s**3 - 62*s**2 - 62*s - 63. Let r be k(32). Solve -5*l + 14 = -r for l.
3
Suppose 5*n = 4*n + 4*b + 15, -5*b - 18 = -n. Let a be (-1)/6*n*-4. Suppose 3*w - a = -4*i, 0 = -w - i + 6*i + 26. Solve -w*k + k = -5 for k.
1
Let q be -6 + (-10)/6*-6. Solve 4 + 8 = -q*d for d.
-3
Let d(p) = -14*p - 10. Let s be d(-1). Solve -20 - s = -8*k for k.
3
Let s = 33 - 21. Suppose -3*m - 6 = -m + 4*d, -m - 5*d - s = 0. Solve -4*l + l - m = 0 for l.
-1
Suppose 3*k + 0*k = 0. Let y = 3 + k. Suppose 0 = -145*z - 143 + 433. Solve 1 = -z*p + y*p for p.
1
Suppose 0 = 31*t - 36*t + 10. Let j(b) = -b**3 + 26*b**2 - 50*b + 50. Let q be j(24). Solve t*a = q - 4 for a.
-1
Let o(w) = -374*w**3 + 69*w + 376*w**3 + 3 + 5*w**2 - 72*w. Let a(j) = -4*j**2 + j. Let t be a(1). Let m be o(t). Solve 3*x - m = 9 for x.
4
Let o be 0 + 210/56*8/6. Solve n - o*n = 4 for n.
-1
Suppose -145 = -10*i - 45. Solve i = 8*x - 3*x for x.
2
Let d(a) = -a**3 - 3*a**2 + 1. Let y be d(-3). Suppose 0 = s + y - 4. Solve s - 1 = -2*j for j.
-1
Suppose 43*w - 1120 = 11*w. Solve 0 = -w*p + 30*p - 10 for p.
-2
Let a = 17 + -14. Suppose 0 = -a*h + 22 + 26. Solve 5*g - h - 9 = 0 for g.
5
Suppose -3*u + 18 = 3*q, -q + 0*u - 2*u = -1. Suppose -27 = -4*d - 3*m, 4*m = -d + q - 1. Solve 2*s + 0*s - d = 0 for s.
3
Let c = -1 + 6. Suppose 0 = -c*a + 6*r - 4*r + 114, 0 = -4*a + 2*r + 92. Let p = a - 19. Solve 0*n = -p*n - 6 for n.
-2
Let y be 1 + 3 - (-3 + 5). Solve z - 12 = -y*z for z.
4
Let i be -2*1 + 0/4 - -6. Suppose -10 + i = -3*x. Solve x = -3*r - 13 for r.
-5
Let o be 4/(-8) - (-13)/2. Suppose -x = -3*a + 2*x + 132, -181 = -4*a - x. Let z = a - 24. Solve -o = -3*f - z for f.
-5
Let q = -717 - -862. Solve -q = 4*m - 129 for m.
-4
Let w(p) = -7*p - 112. Let y be w(-16). Solve t + y*t + 2 = 0 for t.
-2
Let c(a) = a**3 - 11*a**2 + 25*a - 5. Let m be c(8). Solve -m*j + 5 = -4 for j.
3
Let p be 2 - ((1 - 3) + 0). Let g(d) = -d**3 - p*d**2 - 5*d**2 + 