 t = -0*r + 2*r for r.
0
Let c be 18/5*1*(-5)/(-3). Let u be (-60)/(-18) - 3 - (-22)/c. Solve f = -u*f for f.
0
Let v = -154 - -154. Solve s - 3*s = v for s.
0
Let u = 9 - 6. Suppose -14 = -2*q - 3*c, -5*q = -2*c - 642 + 626. Solve u*h = 11 + q for h.
5
Let j(x) = -x**3 + 8*x**2 + 8*x + 12. Suppose -21 = -10*p + 69. Let d be j(p). Solve -m + d = -0 for m.
3
Suppose -5*r = -3*c - 2*c + 50, 0 = -c - 4*r - 15. Solve -c*f + 9 = -14*f for f.
-1
Let w be (5 + 25)/6 - 3. Solve w*o - 1 = 3*o for o.
-1
Let l = -429 - -434. Solve l*w + 2*w = 0 for w.
0
Let j(l) = -l + 5. Let a be j(0). Suppose -u + 48 = -a*u. Let q be (-57)/u - 3/4. Solve 0 = q*b + 8 for b.
-2
Suppose 3*a - 5*w - 9 - 1 = 0, -5 = -5*w. Let g be -2 - (-2 + 0 + 3). Let v(h) = h + 3. Let d be v(g). Solve d*p = -a*p + 5 for p.
1
Suppose 0 = 4*f + 4*h - 168, 3*f - 141 = -3*h + 5*h. Suppose 2 = 2*o + 12, -5*s - o = -15. Suppose f = -p + s*p. Solve -p = 4*k - 3 for k.
-3
Suppose 4*d + 3*v = 3*d - 14, 0 = -d - 5*v - 16. Let h(j) = 4*j + 14. Let b(q) = -11*q - 42. Let w(r) = -3*b(r) - 8*h(r). Let i be w(d). Solve -z = i*z for z.
0
Suppose 5*b - 2*v - 40 = 57, -56 = -3*b - v. Suppose -9 = -4*t + b. Suppose 0 = 5*x - 2*k - 10, x - 2*x + 2*k + 2 = 0. Solve -l + t = x for l.
5
Let s(f) = -f**2 + 6*f + 10. Let w be s(7). Suppose -5*g - 5*m - 27 = -6*g, -m + 57 = 5*g. Solve -c + g = w*c for c.
3
Let z be ((-10)/(-8))/(13/52). Suppose -z*t = 4*k - 12, 3*t - k = 3*k + 20. Solve -t = 2*i + 4 for i.
-4
Let m = 45 + -41. Suppose m*o = -3*o. Solve o - 2 = i for i.
-2
Suppose -2*z + 5 = -z + x, 0 = 2*z - 4*x + 8. Suppose -2*v = v + 2*q - 11, z*q = -5*v + 21. Suppose 3 = 2*i - v. Solve 0 = -0*f + i*f for f.
0
Suppose 3*x - 37 = -1. Suppose -3*l + 6*l + 27 = 0. Let u = l + x. Solve 0 = -0*i + u*i - 3 for i.
1
Suppose -2*n + 10 = -2*c - 4, 13 = 4*n - c. Suppose 2*l - 4*g = 10, -5*l + 25 = -n*g - g. Solve 0 = -l*a + 25 - 5 for a.
4
Let y(z) = z + 14. Let j be y(6). Let w = 24 - j. Solve -k = w*k - 10 for k.
2
Let m = 685 - 679. Solve 10*r = -m - 4 for r.
-1
Let z = -22 + 10. Let a be (-435)/(-20) - (-9)/z. Suppose -5*g - q + a = 0, -q = q - 2. Solve 0 = -4*o - g for o.
-1
Let w(t) = -4*t**2 + 11*t + 6. Let i(v) = -v**2 + v + 1. Let u(h) = -6*i(h) + w(h). Let p be u(-3). Suppose -p*o = -11 - 7. Solve -25 = -f + o*f for f.
-5
Suppose 5*w - 4*t - 17 = 0, -3*w + 3 = -2*t - 8. Let s(z) = z**3 + 4*z**2 - 2*z - 4. Let i be s(-4). Let f(m) = m - 4. Let j be f(i). Solve w*h + j = 15 for h.
3
Let m(l) = -l**3 - 4*l**2 - l - 4. Let i be m(-4). Suppose 4*z + 5*c + 25 = 3*z, -3*z + c + 5 = i. Let a = -576 - -578. Solve a*r = -z*r - 10 for r.
-5
Let o(j) be the first derivative of j**2/2 + 3*j + 13. Let i be o(7). Solve -2 - i = -3*q for q.
4
Let q be (1 + -1)/(-9)*-1. Solve -129*g + 134*g - 15 = q for g.
3
Let t = 34 - 29. Suppose -t*b - 2*r + 3 = 0, 5*r + 4 = b + 2*r. Let j be (-3 - (-3 - b)) + 15. Solve 4*l - j = -0*l for l.
4
Let o be -5 + ((-1)/3)/((-3)/45). Solve -5*b = 5 - o for b.
-1
Suppose -v + 6*v = 0. Suppose 5*d + 60 = p, -3*d + 5*p - 19 = 17. Let u be 2/(2 - d/(-9)). Solve -u*m = -v*m for m.
0
Let x(h) = -6*h - 4. Let w be x(-4). Let o = w + -15. Solve o = -p + 2*p for p.
5
Let c(p) = p**2 + 12*p - 9. Let v be c(-13). Suppose v*o + 2*x + 10 + 0 = 0, 0 = 2*o - 2*x - 10. Solve 7*d - 6*d = o for d.
0
Let s(k) = k**3 - 10*k**2 + 2*k - 4. Suppose 5*c = -6 + 56. Let o be s(c). Let u(n) = 5*n**3 - 1. Let w be u(1). Solve -o = -0*q + w*q for q.
-4
Let a be 10/(-4)*(-4)/5. Suppose -a*i - 7 = -41. Let c = i + -13. Solve 0*m + c*m = 16 for m.
4
Suppose 5*z = y - 0*z - 24, 0 = y - z - 20. Suppose 3*c = 4*c + o - 7, y = 2*c + 3*o. Solve -h - c = -1 for h.
-1
Suppose 3*k + 5*p - 7 = p, -2*k + p - 10 = 0. Let m be 1 - ((-12)/k + -6). Solve -3 = -3*f + m for f.
2
Let w(t) = 3*t - 11. Let k be (14/12 - 1/(-2))*3. Let j be w(k). Solve -l + 5 = j*l for l.
1
Suppose d - 8 = -2*x, -5*x + 5 = -3*d - 4. Solve -7*f + d*f - 5 = 0 for f.
-1
Let i(o) = -o**2 + 8*o + 13. Let l = 13 + 1. Let m = 23 - l. Let y be i(m). Solve 0 = y*g - 9*g - 15 for g.
-3
Let d(x) = x + 7. Let l be d(-5). Suppose 2*s + l = 3*s. Suppose 22*g - 9 = 57. Solve -g = -s*n + 3 for n.
3
Suppose -i = 12*i. Solve i = -3*q + 2*q for q.
0
Let v be -3 - (-3)/(6/20). Let a be -9 + v + (1 - -3). Let h be 0 - 6*(-4)/4. Solve 0 = -a*w + h*w - 20 for w.
5
Let r(m) = -2*m**2 + 2*m + 5. Let p be r(0). Suppose -z - 2*d - 1 = 0, d + 3*d = -3*z + p. Solve -4*f + 3 = -z*f for f.
-1
Let z(s) = -51*s - 495. Let p be z(-10). Solve -1 = -4*x + p for x.
4
Let w(j) = j**3 - 7*j**2 + 39. Let q be w(6). Solve -q*k - 3*k = -18 for k.
3
Suppose 5*p + 21 = 2*m, 4*m - 82 = -p + 3*p. Solve 0 = m*q - 22*q + 4 for q.
-4
Let p be (-21)/14 + (-9)/(-2). Let f(j) = j**2 + 4*j - 4. Let b be f(2). Suppose -b*k = -5*k - 3. Solve p*t = 2*t + k for t.
1
Let a = 41 - 38. Let c(r) = -r - 2. Let x be c(-2). Let n(j) = j**3 - 2*j**2 - 2*j + 1. Let b be n(3). Solve a*o + 1 - b = x for o.
1
Let g be 1 + 1 - (1 - 0). Let y be 2*g*6/4. Solve -y*j - 6 = 6 for j.
-4
Let r(z) be the first derivative of z**3/3 + 5*z**2 + 12*z - 1. Let c be 1/(7/(126/(-20)) - -1). Let j be r(c). Solve -j*o + 2 = 5 for o.
-1
Suppose 4*c = 4*f - 16, -f - 3*c = -c - 1. Solve 4*w - f*w + 4 = 0 for w.
-4
Let a = -296 - -168. Let y be 4/(-10) - a/20. Let x(k) = -k**3 + 6*k**2 + 4. Let g be x(y). Solve 6 = -5*i - g for i.
-2
Suppose -115 = -5*p - 90. Solve -p = -0*x - 5*x for x.
1
Let n be 8*3*(-1)/(-6). Let h be (-1)/2 + 3/(-2). Let b be -5*(-3 + h + n). Solve -4*i = -5*i + b for i.
5
Suppose 2*o = 2*i - 3*o - 44, 2*i - 20 = -o. Solve -i = -4*z - 0 for z.
3
Suppose -g + 4*y + 36 = 0, 42 = 2*g - 0*y - 2*y. Solve -4*m - g + 4 = 0 for m.
-3
Let j be 455/26*(-8)/(-10). Solve 0 = j*t - t - 65 for t.
5
Suppose 2*m + 558 - 578 = 0. Solve 11*f + m + 45 = 0 for f.
-5
Let y = 192 + -190. Solve y*m = -2*m + 20 for m.
5
Let m = -211 - -214. Solve 3*i + m + 12 = 0 for i.
-5
Let f = 18 + -20. Let i = f + 3. Solve -3 = -2*d - i for d.
1
Let f be 14*1/2 + (174 - 181). Solve -5*s + f*s = 15 for s.
-3
Suppose 8*j - 3*j = -15. Let s(u) = -4*u + 4. Let m(r) = -3*r + 4. Let q(d) = j*m(d) + 2*s(d). Let t be q(4). Solve 4*z - 4 - 8 = t for z.
3
Let v be 106/6 - (42/(-9))/(-7). Let b(u) = -u**3 + 15*u**2 + 35*u - 9. Let x be b(v). Solve x = -4*l - 4 for l.
-3
Suppose 0 = 2*a + 2*s - 90, -91 = -3*a + 4*s + 44. Suppose a = -2*d + 11*d. Solve -d + 1 = m for m.
-4
Let c(h) = -2*h**2 - 6*h - 11. Let d be c(-4). Let q(b) = b**2 - 2*b - 5. Let w be q(6). Let y = d + w. Solve 3*t + t = y for t.
0
Let y(l) = -l**3 - 5*l**2 - 4*l + 4. Let i be y(-4). Let g(q) = -3*q. Let k be g(-2). Suppose -k*c = -c. Solve -i = -f - c*f for f.
4
Suppose -13 = 3*j - p - 71, -5*p + 67 = 2*j. Solve 0 = h - j*h - 40 for h.
-2
Suppose 5*s - q = s + 61, 2*s - 23 = -q. Let b be (-35)/s*(2 - 0). Let h = b - -11. Solve 0 = -l + h*l for l.
0
Suppose -4*v + 4 = -2*v. Suppose 2 = -2*i + 2*k - v, -3*k + 6 = -4*i. Solve i = -2*j + j - 2 for j.
-2
Let j(g) = -g**3 + 3*g**2 + 5*g. Let q be j(4). Suppose 31 = q*z - 1. Suppose -3*t + 0*b + 2 = -2*b, 0 = -5*t + 5*b. Solve t*k - z = -0*k for k.
4
Let g(n) = n**3 + 10*n**2 - 14*n - 17. Let k be g(-12). Let u = 141 + k. Solve -u*b + 12 = -0 for b.
3
Suppose -36*m + 30 = -21*m. Solve 25 = -m*g + 7*g for g.
5
Suppose 0 = -3*n + 11*s - 6*s + 189, -3*n - 5*s + 219 = 0. Solve -16*d - 4 = -n for d.
4
Let j(c) = -14*c + 6. Let p be j(3). Let v = -33 - p. Solve -2*h + h = v for h.
-3
Suppose 13 = -3*v - 8. Let m be ((-310)/35 + 6)/(2/v). Solve 5*t - 15 = -m for t.
1
Let t(n) = n**3 + 4*n**2 + n - 1. Let a = -12 + 17. Suppose a*p + 16 = 1. Let u be t(p). Solve -3*q - 2 = -u*q for q.
1
Suppose 4*r - 35 = -r + 5*w, -14 = -2*r + w. Solve -r = 4*c - 3 for c.
-1
Let v be (-48)/168*84/(-8). Let o(i) = i**2 - 8*i + 7. Let h be o(7). Solve h*f = v*f + 9 for f.
-3
Let i(a) = -a**2 - 10*a - 6. Let q be i(-8). Suppose 5*j + q = -3*d - 0, -5*j = -d + 10. Solve d + 1 = u for u.
1
Let q(w) = -w**3 + w**2 + w - 16. Let j be q(0). Let b = 16 + j. Suppose 7*t = 5*t + 10, -3*h - 2*t + 10 = 0. Solve -4*f + h*f - 16 = b for f.
-4
Let a = -17 + 21. Let w(h) = -h**2 + 6*h - 4. Let l be w(a). Suppose -3*s = l*s - 63. Solve s + 3 = 3*d for d.
4
Let t(s) = -s**2 - 10*s - 11. Let m be t(-10). 