i - t for i.
-4
Let b = -1523 + 1525. Solve -10 = b*y - 18 for y.
4
Suppose -42*h + 46*h - 24 = 0. Solve 7*n = h*n + 3 for n.
3
Suppose 0 = 2*p + 2 - 6. Suppose 24 = 4*t - 12. Let b = 9 - t. Solve -p*f = -b*f for f.
0
Let l = 7 - 4. Suppose -2*a = l*s + 2, -5*s = -2*a - 2*s + 22. Suppose 909*j = 920*j - 11. Solve 2*q + a = j for q.
-2
Suppose 2*o = -3*c + 7*o + 103, -2*c + 70 = -2*o. Solve -46*a - c = -37*a for a.
-4
Let f be 4 - -1 - (1 + 2). Suppose f*k + k = 153. Let a = k + -31. Solve 5*w - 5 + a = 0 for w.
-3
Let y(t) = 2*t + 16. Let s be y(-8). Solve s = -r + 1 - 4 for r.
-3
Suppose -2*o - 31 = -5*p, 0 = -2*p - o + 12 + 4. Solve 4*t + 3*t + p = 0 for t.
-1
Let p be (72/(-117))/(12/(-78)). Solve 0 = p*l + 9 - 17 for l.
2
Let k be 10*((-15)/5)/3. Let q be 40/k*(0 + -1). Suppose -5*b + 25 = -2*a, -3*b - 9 = -b + 3*a. Solve -q*p = 23 - b for p.
-5
Let a be -3*(-3)/9 + 5. Let t(z) = z**3 - 7*z**2 + 7*z - 3. Let k be t(a). Let i be (-1)/(((-9)/15)/k). Solve 0 = 3*j - 7 - i for j.
4
Let j be 25/2 - 1/2. Let i be (49/(-28))/((-1)/8). Let f = i - j. Solve -f = 2*w + 2 for w.
-2
Suppose -z - 4*c - 14 = 0, 2*z - 3*c + 3 = 5*z. Solve z*o + 9 + 21 = 0 for o.
-5
Let d(a) = a**2 + 8*a + 3. Let x be d(-9). Suppose -2*g = -4*i + x, -2*g - i - 11 = -6*g. Let f be (16/10)/(2/5). Solve -g*h + f = -0*h for h.
1
Let i be (-10)/55*-11 + 6. Solve 8*l = -0*l + i for l.
1
Let k(o) = -o**2 - 1. Let q(h) = 2*h**2 + h - 2. Let n(b) = -k(b) + q(b). Let g be n(1). Solve 0*p - p + g = 0 for p.
3
Suppose -3*g + 4*s - 402 = 2*g, -90 = g - 4*s. Let y = g - -84. Let r be (7 - 1) + (-2 - -4). Solve 0 = -y*d + 2*d - r for d.
-2
Let y(x) = x + 22. Let k be y(-22). Suppose -5*q + k = -4*o - 4, 2*o = 8. Solve 0 = q*r + 10 + 10 for r.
-5
Let a(r) = -2*r**3 - 2*r**2 - 12*r - 5. Let y be a(-2). Solve -y*z + 4 = -29*z for z.
-2
Let u be -7 - -6 - (8 - 25). Solve 4 = 17*l - u*l for l.
4
Let l(m) = m**3 + 5*m**2 - 5*m + 17. Let p be l(-4). Let i = p - 50. Solve 0 = i*t - 9 + 3 for t.
2
Let k = -17 + 23. Solve k = 2*m + 2 for m.
2
Suppose 0 = 9*u + 3 + 6. Let o be 6*1*(-1)/2*u. Solve -o*i = -5 - 1 for i.
2
Suppose 0 + 12 = 4*l. Let v = l + -3. Let a = v - -16. Solve a = x - 5*x for x.
-4
Let s be (1/(-2))/((-2)/28). Let c(m) = -m**3 - 6*m**2 + 7*m + 11. Let q be c(-7). Suppose 7*d = 3 + q. Solve 1 = d*p + s for p.
-3
Let o(l) = -4*l - 9. Suppose 0 = 9*k + 52 - 7. Let j = k - -2. Let a be o(j). Solve 0 = -q - a*q - 8 for q.
-2
Suppose -7 = 4*l - 27. Solve -2*o = -l*o + 12 for o.
4
Suppose 0*r = -3*r + 5*k + 14, -2*k = 5*r - 44. Solve 2*c = 6*c + r for c.
-2
Let s be 3/15 - 156/(-20). Let j = -2 + 2. Suppose p = 5*p - 4*m - 12, j = 4*m. Solve -p*a + a = s for a.
-4
Suppose 341*x = 337*x + 128. Solve 0*v - 8*v = -x for v.
4
Suppose 5*m - 2*m - t - 10 = 0, 0 = 3*m - 5*t + 10. Solve m*l - 3 = 2*l for l.
1
Let i = 1064 + -1061. Solve -31 + 34 = i*a for a.
1
Let r be (24/(-90)*3)/((-1)/10). Solve 12*b + 20 = r*b for b.
-5
Let m be 10/3 + 3/(-9). Suppose 2*b - 10 = -m*c, c + 2*c - 4*b + 2 = 0. Suppose 3*j = -26 + 35. Solve j*l + c = l for l.
-1
Suppose -2*r = -3*v + 2*v + 88, -560 = -6*v - 4*r. Solve 72 - v = -4*p for p.
5
Let n(s) = -s**2 + 13*s - 15. Let l be n(10). Solve -l = -3*y - 3 for y.
4
Let s = 19 - 18. Let h = s + 2. Solve h*y = y for y.
0
Let l = -9 - -12. Let i(d) = d - l - 2*d - 4 + 5. Let p be i(-6). Solve -p*r - 3 = -r for r.
-1
Suppose -p = 4*p - 5*g + 5, -5*p + 7 = -2*g. Suppose 2*w + w = 24. Suppose 25 = 2*v - p*m, -2*v + w*m - 3*m + 27 = 0. Solve -5*y - 9 = v for y.
-4
Let i be 3/((-6)/8) - -8. Suppose i*h - 2*o + 2 = -0*o, -3*h + 4 = 4*o. Solve h = -4*t - 6 - 6 for t.
-3
Let q be (9*(-4)/(-72))/(2/40). Solve 19 = -q*g + 9 for g.
-1
Let h(x) = x**2 - x + 2. Let u be h(2). Suppose i - 7 = -w, 0*i - 18 = -4*w + i. Suppose w*j + 2*c - 12 = c, 0 = j - 2*c + 2. Solve -u = -3*l + j*l for l.
4
Let l(d) be the second derivative of -7*d**4/12 - d**3/6 + d**2/2 - 6*d. Let t be l(1). Let g be (-1)/t - 41/(-7). Solve -25 = g*n - n for n.
-5
Let b(i) = 28 + 20 - 56 - i. Let m be b(-13). Solve -1 + m = -4*v for v.
-1
Let u(c) = c - 14. Let b be u(-7). Let j = b - -23. Solve 0*f + 10 = j*f for f.
5
Let t be 10/(-2)*(-2 - -1). Suppose 0 = t*h - 3 - 7. Solve h*r = 4*r - 4 for r.
2
Let x be (2 + (1 - 3))/1. Suppose -5 = -5*b - x*b + 5*a, -2*b + a = -7. Suppose -84 = -b*u + 2*u. Solve 0 = -5*d + 4 + u for d.
5
Suppose 2*j - 3*j = 22. Let r = j - -26. Solve -r*c = -7 + 3 for c.
1
Suppose 13*j - 20 = 11*j - 4*v, 22 = j + 5*v. Solve -2 = j*k + 8 for k.
-5
Let l(w) = -w**3 + 8*w**2 + 9*w + 8. Let p = 27 + 26. Suppose 5*b - p = -8. Let j be l(b). Solve 3 - j = -h for h.
5
Let i = -154 + 82. Let t be (i/(-20))/(-6)*5. Let x be ((-1)/2)/(t/24). Solve x*o = o for o.
0
Let s be (-404)/(-7) + (-2)/(-7). Suppose -13 = 3*i - s. Solve 2*u = -3*u - i for u.
-3
Let b be 5/(10/4) - 0. Let i(x) = -x**2 - 22*x**3 + 1 + 3*x**b - 3*x**2 + x. Let o be i(-1). Solve -6 = -3*m - o for m.
-5
Let t(s) = 5*s**2 + 64*s + 0*s**3 - 29*s - s**3 - 5 - 37*s. Let w be t(4). Solve 2*d = 5*d + w for d.
-1
Let r = -300 - -306. Let u = 13 + 3. Solve -r*s + u = -2*s for s.
4
Let y = 147 + -142. Let r be 8/((-10)/y*-1). Solve 0 = m + m - r for m.
2
Let k be ((-12)/(-1))/(6/9). Suppose u + i - 4 = 0, -u = 5*i - k - 2. Let v be (-1)/(1/(-2)*22/44). Solve d + u*d = -v for d.
-4
Let u(b) = 2*b**2 - 39*b - 7. Let k be u(20). Solve -2*h = -9 + k for h.
-2
Let m(o) = 4*o**3 - o**2 + 3*o - 2. Let i be m(1). Suppose 0 = i*s - 5*s + 3*s. Solve f - 3 - 2 = s for f.
5
Let k(t) = -9*t**2 - 286*t + 67. Let g be k(-32). Solve g*v + 72 = -15*v for v.
-4
Let a be (-1)/(-3 + 0 - (-17)/6). Let v be ((-20)/a)/((4/(-3))/2). Solve 0*w - v*w = 10 for w.
-2
Let b be 1/(-1)*(3/3 + -1). Let h = -12 - -10. Let w be (0 + h)*(-2 + 1). Solve -w*v = -b*v - 4 for v.
2
Suppose -4*l - 15 = l. Let c be -2 + 24 + 12/l. Let k be ((-28)/6)/((-12)/c). Solve -1 = 2*n + k for n.
-4
Suppose 0*m + 312 = 6*m. Solve -m*o + 54*o = 2 for o.
1
Suppose 0 = -w + 5 - 2. Let m(k) = -k + 4. Let b = 3 + 1. Let a be m(b). Solve a = w*i - 5*i for i.
0
Let b(z) = -2*z - 10. Let v be b(-7). Solve -4*j - v = 4 for j.
-2
Let n(k) = 2*k + 0*k - k - 12. Let q be n(11). Let a be q*12/(-4) + 2. Solve 2*s = 1 - a for s.
-2
Let i be 1 + (2 - (-3)/3). Suppose 0*h - 6 = -2*h. Suppose -5*q = h*m + 15, q + 0*q + 3 = 5*m. Solve m = i*n - 0 - 4 for n.
1
Suppose 142 = 5*l - 198. Let i = l + -66. Solve -1 = s - i*s for s.
1
Let f = 155 - 150. Let w(k) = -k**3 - 3*k**2 + 3*k - 4. Let y be w(-4). Solve y = -m + f*m for m.
0
Let p(i) be the first derivative of 3*i**2/2 - 7*i - 5. Let c be p(8). Let o = c + -9. Solve 4*d = -0*d - o for d.
-2
Let c be (6/5)/((-2)/(-10)). Let u(i) = -i**2 + 8*i + 2. Let x(z) = 2*z**2 - 16*z - 5. Let t(f) = 5*u(f) + 2*x(f). Let h be t(c). Solve -4*j + h = -j for j.
4
Suppose 2*u - 2*z - 106 = -0*z, 0 = -4*u - 3*z + 177. Solve -u = 7*v + 5*v for v.
-4
Let z = 1 + 16. Solve -z*s = -9*s - 8 for s.
1
Let s be -2 + 0 + 3 + 1061. Let x be -2 + (-9)/(-4) - s/(-72). Solve 4*q - x = -35 for q.
-5
Let p be (8/10)/((-8)/(-20)). Suppose -d - 36 = -p*d. Suppose -9*m = -0*m - d. Solve 5*k = m - 24 for k.
-4
Suppose h - 25 = -17. Solve -h + 11 = p for p.
3
Let t(u) = -2*u**3 - u**2 + 4*u + 3. Let l be t(-2). Solve p - 3 = -l for p.
-4
Suppose g - 5 + 7 = 0. Suppose 0 = -l + 6*l - 10. Let o be 0/(l - (-2 - g)). Solve 2*q + 2*q = o for q.
0
Let p(t) = -15*t**2. Let i be p(1). Let f be 3 - 1 - 3*(-10)/i. Solve -m = -f*m for m.
0
Suppose j - 12 - 11 = -3*r, -j - 25 = -3*r. Solve 0 = -r*v + 2*v + 30 for v.
5
Let n be 0 - -8*(-10)/(-4). Let j = 27 - n. Solve -4*m + j + 1 = 0 for m.
2
Let n = 0 + 0. Let k be 42/30 - 1 - (-13)/5. Solve k*g = -n*g - 12 for g.
-4
Let g(m) = -7*m**2 + 86*m - 65. Let h be g(11). Solve -4 = 10*i - h for i.
3
Let u be 134 + (-4 - (5 - 6)). Let v = -128 + u. Solve -2*c + c = v for c.
-3
Let g(t) = -2*t + 5. Let l be 2/8 - 55/44. Let z be -6*l/(-4)*4. Let j be g(z). Solve -j + 7 = 5*o for o.
-2
Suppose -22*p = -0*p - 242. Solve -6*o - 10 = -p*o for o.
2
Suppose -7*j + j = -24. Solve -j*h - 13 = 3 for h.
-4
Let z = 184 - 125. Suppose 4*m + 11 - z = 0. Solve 5*b = b - m for b.
-3
Suppose -5*h + 3*j = 7*j - 1, -2 = -3*h - j. Solve 2*k - h = -9 for k.
-4
Let r = -58 + 6. L