
Let h = 89 + -86. Suppose 0 = 4*w - 11 + h. Solve w*t = -2 + 8 for t.
3
Suppose 5*t - 5 = -4*k, t + 2 = 3*k - 16. Let g be ((-11 - t) + 0)*-2. Solve -3*c + 1 = g for c.
-5
Let q(r) = -r**3 + 4*r**2 - 2*r + 3. Let v be q(3). Let z be 2*2 + (v - 0). Let u be 6/18 + z/6. Solve u*d = -0*d - 10 for d.
-5
Let k be (-1)/6 + 2/(12*1). Suppose -3*b = -0*b - 12. Solve -b*c - 26 + 10 = k for c.
-4
Let a = 1109 + -1106. Let v be -2 + 8 + (1 - -1). Solve v = l + a for l.
5
Let m be -7 + 7 - (-2 + -2). Suppose 5*y + m - 20 = -2*h, -2*y - 24 = -3*h. Solve 0 = 3*i + 1 + h for i.
-3
Let s = 23 - 19. Let p be (117/(-42) + 18/63)*-2. Solve 9*b + p = s*b for b.
-1
Let j = -599 - -602. Let b be ((-2)/5)/(1/(-5)). Solve u - j + b = 0 for u.
1
Let v be (-1)/2 - 74/(-4). Let u be 4/v - (-4)/(-18). Solve -4*n + n + 9 = u for n.
3
Let f(g) = g**3 + 39*g**2 + 40*g + 86. Let w be f(-38). Suppose -2*u + 10 = -0*u. Solve 0 = u*j - 10 - w for j.
4
Let m be 38/2 + (0 - 28/7). Solve -m = -2*u - 5 for u.
5
Let s(h) = -h - 1. Let t(a) = a**2 - 8*a - 6. Let y(z) = -6*s(z) + t(z). Let m be y(2). Solve 2 + m = u for u.
2
Let n(p) = -162*p + 7*p**2 + 164*p + 2*p**3 - 2 - p**2. Let v be n(-2). Suppose -w = -2*l + 17, -l - l - w + 7 = 0. Solve -v*b = l - 4 for b.
-1
Let x = -24 + 27. Suppose 3 + x = f. Suppose 2*k = f*k. Solve k = -3*b - 13 - 2 for b.
-5
Let t be 22/(0 - -2)*1. Suppose 3*h - 19 = t. Solve 5*k + 10 = -h for k.
-4
Suppose -3*r - 16 = -7*r. Suppose 12 = r*i - 0*i. Suppose 2*n = -i*n + 25. Solve n*t - 5 = -0*t for t.
1
Let s = -22 + 22. Suppose s = -3*h + 12*h - 27. Solve -4 = -7*k + h*k for k.
1
Suppose 4*k - 511 = -479. Solve 5*x + k = x for x.
-2
Let z(d) be the second derivative of d**4/12 - 2*d**3/3 + d**2 + 6*d. Let f be z(4). Solve f = q - 2 for q.
4
Let g = 754 + -753. Let n(t) = 0 - 1 - 3 - 2*t. Let c be n(-3). Solve 3*r - c - g = 0 for r.
1
Suppose -9*f = -5*f - 12. Suppose 3*i - 11 = -4*w, 0*w - 2*i = 3*w - 8. Suppose -w*a + 9 = -f. Solve -3*n - a = 3 for n.
-3
Let j(y) = y**2 + 9*y + 10. Let t be j(-8). Let b = 90 + -90. Solve t = h - b for h.
2
Let w be (-5)/(-4) + (-513)/36 + 17. Suppose -2*h - h = -9. Solve q = w*q - h for q.
1
Suppose -9 = -3*r + 5*w, -5*r + 13 = -w - 2. Suppose 3*c + n = -n + 3, 0 = -r*c + n + 12. Solve -c = -0*x - 3*x for x.
1
Let h be ((-24)/9*-3)/2. Suppose q + 25 = -h*q, 0 = -5*b + 2*q + 20. Solve 6*r = 5*r + b for r.
2
Let z(t) = t**2 - t. Let x(w) = w**3 + 2*w**2 - 4*w - 1. Let n be x(-3). Let q be z(n). Solve q = -3*m - 13 for m.
-5
Suppose 6*b = 5*b + 12. Let t(w) = 2*w - 6. Let v be t(3). Solve 3*z + 0*z + b = v for z.
-4
Let o = -262 + 263. Solve 0 = 6*i - 7 + o for i.
1
Let p = -17 - -20. Suppose -2*a = -p*c - 23, 3*a - a = -3*c + 17. Let l = a - 8. Solve 0 = -l*b + 4 - 0 for b.
2
Suppose 3*q = i - 3, 3*i + 31 = 3*q - 2*q. Suppose 2*o = -0*o + 28. Let m = i + o. Solve -m*t = -5*t for t.
0
Let f = 125 + -125. Solve -7*u + 3 + 18 = f for u.
3
Let o(j) = -7*j**3 + 3*j**2 + 2*j. Let y be o(-1). Suppose 0 = l + l - y. Solve l*f = -17 + 1 for f.
-4
Suppose m - 3*q = 8, 5*m - q + 12 = m. Let z(u) = 3*u + 27. Let w(i) = -2*i - 26. Let t(k) = m*z(k) - 5*w(k). Let j be t(9). Solve -12 = -j*c - 0 for c.
3
Let h(z) = -5*z - 11*z**2 + 2*z - 8 + 3*z**3 - 4*z**3. Let i be h(-11). Solve -5*v + i = -0*v for v.
5
Let y = 201 + -198. Solve 0 = y*k - 4*k + 1 for k.
1
Let x be (-3)/(-10)*(-55 - -65). Let i(h) = h**2 + 9*h + 4. Let n be i(-9). Solve -x + 23 = n*b for b.
5
Let k be (8 - -2)*(-12)/(-10) + 0. Let q = 3 + -6. Let v be (q/2)/((-9)/k). Solve 5 = v*a - 5 for a.
5
Let a be 14/(-4) - 3/6. Let j(p) = -80 - p**2 + 80 - 5*p. Let r be j(a). Solve 0 = -r*c + 13 - 33 for c.
-5
Let u be (21 - 4)*(-1)/1. Let b = u - -16. Let g be (b + 3)*(3 + -2). Solve g = 2*a - 6 for a.
4
Let c be 1/(-2) - (-474)/4. Suppose -2*m = 3*m - 3*y - 104, 5*m - c = -4*y. Suppose -34 = -2*r - 5*g, 0 = -2*r + g + m. Solve -2*z - r = z for z.
-4
Suppose 2*k - 16 = -2*z + 5*k, -3*k + 40 = 2*z. Suppose -14*j = 7*j - 378. Let c = j - z. Solve c*h - 9 = h for h.
3
Let q be 1*9*(-1)/(-3). Let w be (-2)/(q/42*-4). Solve -w*b = -3*b + 8 for b.
-2
Let w = 0 - 3. Let h be 0/w*(3 + -2). Let o = 47 + -44. Solve h = -u - 2*u + o for u.
1
Let m be (-393)/(-12) - (21/(-4) + 5). Solve 34 - m = -g for g.
-1
Let l = 189 - 185. Solve -5*i + 21 = -l for i.
5
Suppose 5*n = n. Let y be 1 - (12 + n)/(-4). Suppose -y*o + 8 = -5*p - 0*o, -4*p + o = 2. Solve p = 3*x + 3 for x.
-1
Suppose -9*p + 466 - 151 = 0. Solve 15 = -5*j + p for j.
4
Suppose a - 5 = 2. Let c = 13 - a. Let k be (68/(-51))/((-4)/9) + 0. Solve c*f - k*f = 0 for f.
0
Let k(r) = r**3 + 2*r**2 - 2*r + 4. Suppose 24 = -3*i + 3*o, -i - 18 = -2*o - o. Let a be k(i). Solve 0 = -s - 0 - a for s.
-1
Let r = -959 + 979. Solve -5*k = -k - r for k.
5
Let h(q) = q**2 - 6*q. Let i be h(6). Let k = 177 - 132. Suppose i = 4*t - k + 13. Solve -2*o = 2*o + t for o.
-2
Let k(g) = g**3 - 13*g**2 + 2*g - 14. Let t be k(13). Suppose 0 = -3*o + 3*s + 18, 3*s + t + 10 = 5*o. Solve -o*q + 3*q = -5 for q.
-5
Suppose -8*w + 13 = -3. Let z be (-1 + 10/w)*3. Solve 0*u + z = -4*u for u.
-3
Let l be (3/(-6))/(2/(-28)). Solve -l*r = -3*r + 8 for r.
-2
Let i(p) = p**3 + 7*p**2 - 9*p - 68. Let r be i(-5). Solve 30 - r = -w for w.
-3
Suppose 2*q + n - 749 = 0, n = 4*q - 3*q - 382. Solve 373 = -b + q for b.
4
Let x = -163 - -116. Let a = -41 - x. Solve h = -a + 1 for h.
-5
Let k(v) = 3*v**2 + 3*v + 1. Let o be -3*(1 + (-2)/6). Let t be k(o). Let q be t*(16/28)/1. Solve h - q*h = 12 for h.
-4
Suppose -16 = -4*n + 3*y - y, 0 = 3*y + 12. Suppose n*b = -3*c + 8, c = 4*b + 5 - 21. Solve -v = -2 - c for v.
2
Suppose 0 = -87*l + 85*l. Solve -15*y + 5*y + 50 = l for y.
5
Suppose 129*f - 42 = 122*f. Solve 0 = -13*m + f*m + 28 for m.
4
Suppose -7*s + 525 = -581. Suppose -4*z - 58 = -s. Let l be 0/(3 - (3 + -2)). Solve l - z = -5*g for g.
5
Suppose 3*h = -4*h + 812. Let a = -107 + h. Solve -5*x - a + 29 = 0 for x.
4
Let v be (10/(5/(-1)))/(1/(-1)). Let c be 6/((v + 32/(-12))*-3). Solve j = c*j + 2 for j.
-1
Let j = -323 + 775. Let x be (-1)/((j/(-152) - -3)*-2). Solve -x = 3*k - 4 for k.
-5
Suppose -5*q + 6 = -g + 21, -2*q = 8. Let o(j) = 6*j**2 + 29*j - 2. Let t be o(g). Solve -t*n + 3 - 15 = 0 for n.
-4
Let c(b) = -12*b + 179. Let g be c(14). Solve g - 16 = -5*w for w.
1
Suppose 3*y + 4*l - 1426 = -2*y, -3*y - 4*l = -854. Let d be 1/4 + y/104. Solve -4*h = -d*h + 3 for h.
-3
Let w be (1 - 0) + (-1)/(-1). Suppose w*z = 8*z. Solve z = u - 3*u - 4 for u.
-2
Suppose -k + 15 - 13 = 0. Suppose 7*p - 2*p - 44 = 2*t, -k*p = 4*t - 32. Solve 2*v - p = -0 for v.
5
Suppose 70 = 83*u - 78*u. Solve 13*n - u*n - 2 = 0 for n.
-2
Let i be -1 + (2 - (-4 + 5)). Suppose -3*z - z + 28 = i. Solve -4*t = z - 23 for t.
4
Suppose x + 0*k - 3 = -3*k, 5*x - 2*k = 32. Solve 3*p = x*p - 15 for p.
5
Let b(w) = -w**2 - 6*w + 2. Let g be b(-6). Let u be (-1)/(2/(-16)*g). Solve 0*p = u*p for p.
0
Suppose -5*j + 300 = 29*d - 28*d, 2*j + 3*d - 120 = 0. Solve 2*q + 10*q = -j for q.
-5
Let b be (-3)/(1 + (-4)/(-8)). Let p be (5/10)/((-1)/b). Solve -p - 5 = -3*a for a.
2
Let t = -663 - -875. Solve 211*k - t*k = -3 for k.
3
Let z be 4158/945 - 6/(-10). Solve 57 = z*u + 32 for u.
5
Let j = -10 + -1. Let p = j + 13. Solve 3*y - p*y = 0 for y.
0
Let w(z) = -4*z + 127. Let v be w(28). Solve 2*b = 7*b + v for b.
-3
Suppose 3*z - 16 = -2*h - 18, -28 = -4*h + 2*z. Solve -12 = 9*q - h*q for q.
-3
Let c(w) = w**3 + 5*w**2 + 2*w - 4. Let z be c(-3). Let d = z - 6. Suppose -11*x + 8*x - n = -5, 5*n = x + 25. Solve -4*a - 2 - d = x for a.
-1
Let d(u) = -2*u - 12. Let i be d(-7). Let z be (-50)/(-4)*2 - (-4 + i). Solve z - 11 = -4*o for o.
-4
Let q be 8/44 - (-20)/11. Suppose 5*k + 4 = c, 3*c + k + 8 = -4*k. Let n be 0/c*(-1)/3. Solve -l - q*l = n for l.
0
Let a be (-1899)/(-36) + 3/12. Solve -52*d = -a*d + 1 for d.
1
Let i(a) = a**2 + 5*a - 26. Let y be i(-9). Solve y = 4*g + 26 for g.
-4
Suppose 2*z = z. Let x(v) = -v. Let p be x(z). Let n be 0/(4 + p - 1). Solve -o - 2*o = n for o.
0
Let c = 28 + -20. Let h(z) = -z**3 + 9*z**2 - 9*z + 8. Let r be h(c). Solve 0 = 5*o - r*o + 25 for o.
-5
Let c(j) = j**2 + 1. Suppose 4*u - 2*x = -3 + 1, -5*u + x - 4 = 0. Let v be c(u). Solve 18 = 5*d - v for d.
4
Suppose 0 = j, -9 = -r