40*r for r.
1
Suppose 0*d = -q - 2*d - 4, 4*d + 26 = -5*q. Let v = q - -6. Let c(x) = x**2 + 5*x + 5. Let r be c(-5). Solve 0 = -v*t + r*t for t.
0
Suppose 0 = 5*q - 15*q + 20. Suppose -q*b - b - 4*g = -18, b = g - 1. Let r be 44/6 - 1/3. Solve r*t = b*t - 5 for t.
-1
Let s = 100 - -22. Let t = s - 122. Solve 0 = -n - t + 5 for n.
5
Let o = 51 + -65. Let i be (-207)/(-63) + 4/o. Let x = 0 + 2. Solve -x*m - 25 = i*m for m.
-5
Suppose -14*m = 4*b - 17*m - 9, 2*m = -6. Solve 3*a = -b*a - 3 for a.
-1
Let g(w) = -12*w - 188. Let q be g(-16). Solve 0 = -q*o + 3*o - 5 for o.
-5
Suppose -3*h - 125 = -28*h. Solve h - 2 = -f for f.
-3
Let h = 120 + -118. Suppose z + h*o - 1 = o, -5*z - o + 21 = 0. Solve 6 = z*y - 4 for y.
2
Suppose 11*p - 181 = -115. Solve -19 = p*l - 13 for l.
-1
Let m = 4 - 0. Let v = 207 + -138. Suppose v = 11*r + 14. Solve f + m = r*f for f.
1
Let n(r) = r**2 - 7*r - 8. Let k be n(8). Suppose -2*y + 105 = 19*y. Solve -w + k = y for w.
-5
Let c = 154 + -34. Suppose -6*w + 48 = -2*d - w, -5*d - c = -4*w. Let v = 27 + d. Solve 5*t = 4*t - v for t.
-3
Let x(n) = 2*n + 4. Let c(z) = z**2 + 11*z + 22. Let o be c(-9). Let h be x(o). Solve 7*g = 3*g + h for g.
3
Let l = -68 - -77. Let q(a) = -a**2 + 8*a + 11. Let j be q(l). Solve 7 - j = u for u.
5
Suppose 0*p - 2*p = -42. Suppose -d = 3, 2*d - 9 = 3*u - p. Solve -u*w = 3*w - 20 for w.
4
Let n = 1313 + -1313. Solve n = -18*q - 13 + 103 for q.
5
Suppose 0 = -2*f + f - 51. Let n = f - -57. Solve -5*p + 14 = -n for p.
4
Let b = -1431 - -1627. Solve -b = 5*q - 186 for q.
-2
Suppose 6*t + b - 45 = 4*t, -t - 5*b + 45 = 0. Solve -5*y = -0*y - t for y.
4
Let v be -1 - ((-68)/(-34))/((-4)/66). Solve -4*w - v = -44 for w.
3
Suppose 11*o - 23*o + 24 = 0. Solve -6*p = o*p - 24 for p.
3
Suppose -71*y + 60 = -66*y. Solve 0 = 11*v - y*v + 4 for v.
4
Let a(r) = -r**2 + 2. Let x be a(0). Let z(d) = -4*d**3 - 4*d**2 - 3*d. Let l be z(-1). Solve -5 = -l*v - x*v for v.
1
Suppose -12*k + 30 = -138. Solve 11*b = k*b for b.
0
Suppose -x + 5*x = 0. Let s(k) = k**2 - 7*k + 3. Suppose -4*y - 5*p = -3, -4*p - 25 = p. Let i be s(y). Solve x = -i*n - 7 - 2 for n.
-3
Let m(w) = -55*w - 47. Let o be m(-1). Solve -4*d - 24 = -o for d.
-4
Let v be -2 + (4 - -5)/(-3). Let s be 2 + v/(-10)*-4. Solve -z = 3 - s for z.
-3
Let c(g) = g - 1. Let k(r) = 16*r**2 - r. Let p be k(-1). Let z = p - 10. Let y be c(z). Solve -t + 3*t - y = 0 for t.
3
Let b = -800 + 801. Suppose 0 = -m + 2*d + 7, -5*m + 3*d + 59 = -d. Suppose -m = -3*g, 8*s - 3*s + 2*g - 10 = 0. Solve s + b = x for x.
1
Suppose -2*a + 12 = -g + 3*g, 4*a - 16 = -2*g. Suppose -3*p = j - 9 - g, 5*p = j + 11. Suppose -5*m + 14 = -z, 10 = j*m - 2*z - 0*z. Solve -m*d = 1 - 4 for d.
1
Let c be 2*((-18)/(-4) + -3). Suppose 2*l = -c*i + 21, -4*l + 0*i + 32 = -4*i. Suppose -5*x + 6 = -l. Solve 1 = y - x for y.
4
Suppose -q + 5 = 0, 5 = -6*c + 7*c - q. Let b = 22 + -7. Let i = b - c. Solve -d + i = -0*d for d.
5
Let u = 12 + -11. Let g be (u - (1 - 2)) + 10. Solve 5*q + g = 2*q for q.
-4
Suppose 0 = 4672*j - 4676*j + 60. Solve -3 = 6*w - j for w.
2
Let w be -1 + 12 - (0 + 11). Solve 2*r + 12 - 22 = w for r.
5
Suppose 2*g = -5*o - 21, 0*g + 5*g - 2*o - 20 = 0. Let d = -2 + g. Solve j + j + 4 = d for j.
-2
Let y = 724 - 710. Solve y*n = 10*n for n.
0
Let b be (-1 + 2)/((-6)/(-6)). Suppose -21 = -5*d - b. Solve 0 = -r + d*r + 9 for r.
-3
Suppose 6*n = 8 + 28. Let j(d) = d**3 - 5*d**2 - 8*d + 15. Let w be j(n). Solve -1 = -2*z + w for z.
2
Let j(c) = c**3 - 17*c**2 + 53*c - 9. Let z be j(13). Let t(g) = g**3 - 4*g**2 - g + 4. Let o be t(4). Solve o = z*m - m for m.
0
Let i = 19 - 65. Let g = i - -48. Solve 15 = g*s - 5*s for s.
-5
Let i be ((-1)/1)/(145/36 - 4). Let y = i - -40. Solve -3*a + 2*a - y = 0 for a.
-4
Suppose -3*o - 2*h = -34, 5*o = -2*h + 6*h + 64. Solve g + 12 - o = 0 for g.
0
Let k be (-140)/(-34) - 60/510. Solve -3*c + k*c = 0 for c.
0
Suppose 11*h - 22 + 0 = 0. Solve 7*o = h*o + 5 for o.
1
Let o(f) = -168*f + 172. Let z be o(1). Let y(g) = -g**2 - 6*g + 10. Let h be y(-7). Solve 0 = i - z*i - h for i.
-1
Let w(y) = -y**2 + 15*y - 33. Let q be w(10). Let d = 26 - q. Solve d = 2*t + t for t.
3
Let r(m) = m**2 - 8*m + 15. Let c = 21 + -15. Let s be r(c). Suppose -2*p - s*p = -15. Solve 0 = p*i - 3 - 0 for i.
1
Let u = -481 + 486. Suppose -16 = -0*s - 2*s. Suppose j = -j + s. Solve -u*y - j = 16 for y.
-4
Let m(c) = -c - 8. Let s be m(-11). Suppose 4*u - 8 = s*u. Suppose u = y + 3*y + i, 0 = 5*i. Solve 0 = t + y + 2 for t.
-4
Let a = -48 - -71. Solve -a = 4*j - 3 for j.
-5
Suppose -159*j + 150*j + 54 = 0. Solve j*y - 12 = 6 for y.
3
Suppose 0*o - 5*w - 13 = -o, -5*o = w - 13. Suppose -2*r = -3*r + o. Solve 3*t + 0 = -r for t.
-1
Let t = 14 + -31. Let y = 9 + t. Let m = 11 + y. Solve 2*p - m*p - 1 = 0 for p.
-1
Let d = 2 + -5. Let l be 2 + (-2 - (d - -4)). Let j be 1/l*(-2 - -2). Solve k = -j*k for k.
0
Let t(a) = 5*a**3 - 2*a**2 - 2*a. Let u be t(2). Suppose 0 = u*n - 33*n + 40. Let s = -3 + 5. Solve 0*o + s*o = -n for o.
-4
Let c be -1 - (-5 + 0) - (-7 - -7). Let h be (40/(-55))/c + 2/11. Solve z - 4 = -h*z for z.
4
Let p(s) = -22*s + 47. Let o be p(2). Solve -2*g = -27*g + o*g for g.
0
Let j be -30*(-20)/50 + -8. Solve j*f = 10*f + 3*f for f.
0
Let v be (-5 - 1)/((-6)/4). Solve 2*a = -2*a + v for a.
1
Let r(t) = 4*t - 23. Let g be r(10). Let k(m) = -m**3 + 18*m**2 - 16*m - 15. Let l be k(g). Solve -4*h = -l*h for h.
0
Let v(k) = -5 + 6*k**2 + 0 - 1 + 13 - k**3 - 10*k. Let s be v(3). Solve -4*x = -3*x + s for x.
-4
Let c(s) = 23 - 2*s + 4 + 5. Let q be c(15). Solve -i + q*i + 3 = 0 for i.
-3
Let i be (-3)/(-1)*(-852)/(-71). Solve -j + i = 34 for j.
2
Suppose 2*o = -5*u + 2*u + 11, -2*u = -2*o - 4. Suppose -g - u*g = 0. Solve 0 = -g*s - 4*s + 16 for s.
4
Let t be (18/(-15))/(-2 - (-539)/280). Suppose -3*k = -0*k + 33. Let h = k + 16. Solve -h*i - t = -i for i.
-4
Suppose 2*x - 109 = -4*g + 57, 0 = -3*g + 5*x + 105. Suppose 0 = -38*a + g*a - 6. Solve -2*f - 20 = a*f for f.
-4
Let o(w) = 5*w**2 - 25*w - 16. Let g be o(6). Solve l + 13 = g for l.
1
Suppose -p - 4 = 5*r, -4*r + 3*p = -7 - 5. Let j(t) = 3*t**2 - 3*t - 3. Let u be j(-2). Suppose 2*b + 3*b - u = r. Solve b*o - 18 = -3 for o.
5
Suppose -j = -4*j + 531. Suppose j = 5*a + c, -50 = -5*a + 2*c + 136. Let d be -6*(-2)/(a/15). Solve 0*s = -s - d for s.
-5
Suppose 4*i = -u - 12, 3*u + 29 = -4*i + 17. Solve u = 4*s + 4 - 8 for s.
1
Let z(h) = h**2 + 8*h + 3. Let s be z(-8). Suppose 5*t = -17 + 2. Let c = 2 - t. Solve -s*w - 11 = -c for w.
-2
Let k = -65 - -70. Suppose -g - k + 2 = -n, 0 = -g + 2*n - 8. Solve g*j - 1 = -9 for j.
-4
Let j = 28 - 20. Let y be (-1)/(-10)*j*5. Suppose 0 = 3*l + y*o - 31, 5*l - 13 - 16 = -o. Solve -k + l*k - 8 = 0 for k.
2
Let y = 1949 - 1941. Solve 203 - 219 = y*g for g.
-2
Suppose l = -4*b + 1, -3*l = 3*b + l - 4. Solve b*q = q - 3*q for q.
0
Suppose 0 = 3*h + 12, -5*t + 5*h + 18 = -7. Let k(s) = s - 9. Let a be k(9). Suppose a = -0*b + b - t. Solve -g - 2 = -b for g.
-1
Let x = -37 + 28. Let l(v) = 2*v + 12. Let n be l(x). Let g be 9/n*(-60)/18. Solve -8 = c - g*c for c.
2
Let p(k) = -k**3 + 3*k**2 + k - 3. Let z be p(3). Suppose z = -g - g. Suppose 32*w - 8 + 31 = 119. Solve -w*q - 6 = -g*q for q.
-2
Let v be (-2)/((-33)/(-22)*4/(-45)). Solve 6*c = 3*c - v for c.
-5
Suppose 2*c - 2 - 6 = 0. Let w = 578 + -576. Solve v - c = w*v for v.
-4
Let z = -1132 - -1247. Solve -119*c + z*c = 16 for c.
-4
Let j(a) be the first derivative of 2*a**4 - 2*a**3/3 + a - 7. Let f be j(1). Suppose 0 = -2*p + f*p. Solve p*m = -4*m + 8 for m.
2
Let t = 357 + -344. Solve -8*d + 5 = -t*d for d.
-1
Let v(o) = -3*o - 16. Let w be ((-3)/6)/(1/26). Let l be v(w). Suppose -5*u = p - 26, -l = -p - 2*p - 4*u. Solve -p = -z - 5 for z.
-4
Suppose -8 - 5 = w. Let k = w - -10. Let l be 3 + (-5 - 6/k). Solve 0 = -n - l*n for n.
0
Let k = 241 + -240. Solve -9*b + 8*b - k = 0 for b.
-1
Let i be (-1)/(1*1/(-29)). Let s be 252/12*(-2 + 1). Let j = s + i. Solve 0 = -4*n + 2*n - j for n.
-4
Suppose 0 = 3*d - 2*g - 54, -2*g + 34 = 2*d - 4*g. Suppose -b + b = 2*b. Suppose b = 48*q - 43*q. Solve -a - 3*a + d = q for a.
5
Let o = -16 - -12. Let n(m) = m**3 + 3*m**2 - 4*m + 5. Let h be n(o). Suppose 28 = 3*r - r - 4*c, 5*r - 45 = h