 t be 11/3 - z - (-1)/3. Solve t = 5*h - 20 for h.
4
Let v(k) = -k**2 - 9*k - 7. Let o be v(-3). Solve -o + 7 = -4*z for z.
1
Let o = -90 - -97. Solve 20 = -o*x + 12*x for x.
4
Let p = -3 + 6. Suppose 2 - p = -h. Suppose 10 - h = 3*b. Solve j = -b*j - 4 for j.
-1
Suppose 5*j + 5*y - 140 = 0, j = 2*j - 4*y - 13. Let i be 19/5*j/5. Let z = 19 - i. Solve z = 2*g - 0*g + 2 for g.
-1
Let h = -303 + 336. Solve 37*s - h*s = 4 for s.
1
Let r(d) = -d**3 - 2*d + 8. Let q = -18 + 18. Let w be r(q). Let f be (6/(-12))/((-2)/w). Solve -f*h + 15 = h for h.
5
Let q(d) = 4*d**3 - 15*d**2 + 20*d + 13. Let g(u) = -5*u**3 + 14*u**2 - 21*u - 14. Let z(m) = 3*g(m) + 4*q(m). Let r be z(17). Solve -5 - r = 3*t for t.
-5
Let c(j) = j**3 + 5*j**2 + 7*j + 2. Let h be c(-3). Let k be (h/(-5))/((-9)/(-135)). Solve 5*b = k*b + 10 for b.
5
Let v = 11 + -12. Let q be (v + 9/(-6))*4/(-2). Solve -4 = -q*y + 6 for y.
2
Suppose -5*g + 6 = -2*v - v, -4*v = -2*g - 6. Suppose r - v = -0. Suppose t + 6 = r*t. Solve -11 = -4*x - t for x.
2
Let i = 19 - 31. Let z be (-8)/i - 16/(-12). Solve -12 = -n - z*n for n.
4
Let a be 6/15 - (-8)/((-160)/(-132)). Solve -13*g + a*g = 30 for g.
-5
Suppose 10 = -5*x, 3*s - 6 - 4 = 5*x. Suppose 2*c + 4*l = s, -c + 0*l + l + 9 = 0. Solve -j = -1 + c for j.
-5
Suppose -2*x = -7*x. Let v be 12/(-30) + (-24)/(-10). Suppose -6 = -4*c + v. Solve f - c = -x*f for f.
2
Let v(a) = a**2 + 3*a - 5. Let c be v(-5). Suppose 0 = c*w + 14 - 44. Solve w*s = s for s.
0
Suppose -37*q + 46 = -14*q. Solve 5 = q*y + 3 for y.
1
Suppose 0 = 5*s - 5*x - 30, 5*x = 2*s - 0*x - 24. Solve s*n - 6 = 5*n for n.
-2
Let q(o) = 3*o**2 - 3*o + 4*o + 2*o**2 - 2*o. Let y be q(-1). Solve 5*u = -1 + y for u.
1
Suppose -3*r + 9 + 0 = 0. Suppose -r*z - 18 = -9*z. Solve 0*p = -p - z for p.
-3
Let k be 1 - 3 - (2 - -2). Let x(z) = z**2 + 5*z - 6. Let h be x(k). Solve -5*b - 28 + 8 = h for b.
-4
Let i be (-22)/77 - (-149)/7. Let w be 8/36 + 2 + 60/(-27). Solve w = -4*a - 1 + i for a.
5
Let k be (13/2)/((-6 + -5)/(-22)). Solve -k*m + 18 = 70 for m.
-4
Let x be 3/(-36) - 4136/(-96)*1. Solve x = -8*v + 11 for v.
-4
Suppose 2*b + 55 = 5*n, 2*n + n = -5*b + 33. Let j = -31 - n. Let x be (-19)/(-6) + 7/j. Solve x = -3*m - 0*m for m.
-1
Suppose 0 = 4*s - 5*w - 23, 50*s - 5*w = 47*s + 11. Solve -5*c + s*c = -7 for c.
-1
Suppose 21*d - 37 = 131. Solve 7*r - 5*r = d for r.
4
Suppose 146*j = 143*j + 15. Solve -6*y + y - j = 0 for y.
-1
Let i = -70 + 74. Suppose 0*x - 32 = -i*x. Solve 4*k - 2*k = -x for k.
-4
Suppose 7*h + 155 = 2*h. Let o be -3*(h/3 - -2). Let u be 1 + 4 + (1 - 3). Solve -2*j - u*j = -o for j.
5
Suppose 6*c - 5*c = 19. Solve 6*k = -c + 1 for k.
-3
Suppose -2*n + 6*n - 4 = -3*x, 3*x - 3 = -3*n. Let p = 1850 - 1847. Solve -p*l + x = -3 for l.
1
Let c = 61 + -43. Let t = c + -18. Let q be (-1)/((-1)/5 + t). Solve 0 = q*k - 4*k + 4 for k.
-4
Let o = 14 - -1. Let u(l) = -l - 1. Let c be u(-7). Suppose -2*w + 4*w = c. Solve w*m = -2*m - o for m.
-3
Suppose -4*j - 3*w = -7*w - 28, -j = w + 3. Suppose -j*c + 3 = 5*y + 19, 0 = 2*c + 3*y + 8. Suppose c*z = -z. Solve z = 5*t + 6 + 4 for t.
-2
Let x = 184 + -115. Suppose -10*o = x - 219. Solve 2*z + z = -o for z.
-5
Let d(n) = n - 12. Let k be d(14). Let u be ((-48)/(-18))/(k/3). Let m = 4 + u. Solve -2*s + m = -6*s for s.
-2
Let b be (-88)/10*(-9 + 72/18). Solve 12*j + b = j for j.
-4
Suppose 0*d + 5*d + 2*r = 24, r = -3*d + 15. Solve d = 5*y - 9 for y.
3
Let u(l) = -10*l**3 - 3*l**2 - 2*l - 1. Let y be u(-1). Solve y*m = 6*m + 4 for m.
2
Let l be 156/(-2)*(-30)/(-45). Let j = 54 + l. Solve 2*q + 0 = -j for q.
-1
Let w be (3 - 4)/1 + 3. Solve -18 = -w*j - 16 for j.
1
Let h(s) = s**3 + 2*s**2 - s - 1. Let o be h(-1). Let z be (-1 + o)/(-4 + 2 + 4). Solve -4*u + z*u = 20 for u.
-5
Suppose 0 = -u - 5*d + 29, 17 - 61 = -4*u + 4*d. Suppose 9*h - 4*h = 30. Solve -h - u = 4*k for k.
-5
Let p be -7 + (38 - (-6 - -1)) + -2. Solve 12*m = 10 - p for m.
-2
Let t(x) be the first derivative of -3*x - 9/2*x**2 + 1/4*x**4 + 4 - 3*x**3. Let l be t(10). Solve 5*n = 22 - l for n.
3
Let i(s) = -s**2 - 22*s - 34. Let j be i(-20). Suppose 8*m + j = 11*m. Solve -c + 5 = -m*c for c.
-5
Let r = 97 - 62. Suppose 0 = 5*s + k - 30, -2*k + r = 4*s + k. Solve -s*d + 11 = -14 for d.
5
Suppose -2*s - 7*y = -3*y - 44, 4*y = 4*s - 100. Solve -5*q - 9 = -s for q.
3
Let v(u) = 3*u**3 - 17*u**2 - 6*u + 11. Let w be v(6). Solve 48 = -w*i - 7 for i.
-5
Suppose 413*y - 252 = 411*y. Solve 3 = 123*c - y*c for c.
-1
Let s = 5 + -5. Suppose s = -12*f + f. Solve f = -3*h - 1 - 2 for h.
-1
Let b(y) = 4*y**3 + y**2 + 45. Let d be b(0). Solve 43*s - d*s = 6 for s.
-3
Let j = -290 - -290. Solve j = 3*u - 7 + 4 for u.
1
Let i be (-6)/(-12) - 1/(-2). Suppose 2*h = k + 3*h - i, 0 = 4*h + 4. Solve 0 = 3*y - k*y + 2 for y.
-2
Let n be (3/(18/24))/1. Solve -136*q + 137*q + n = 0 for q.
-4
Let r = 303 - 224. Solve -19*h + r = 22 for h.
3
Let d(a) = 2*a**2 - 20*a - 26. Let w be d(12). Solve 0 = -3*l + w - 28 for l.
-2
Suppose g = -4*l + 15, 5*g + l - 11 - 7 = 0. Suppose 43*q - 48 = 35*q. Solve -q - g = 3*b for b.
-3
Let w = 84 - 80. Solve l = w*l for l.
0
Suppose -5*k - 3*x + 98 = 0, 3*k + 3*x = -0*x + 54. Let w be 316/(-132)*-3 + (-4)/k. Solve 3*o - 4 + w = 0 for o.
-1
Suppose -4*v + i + 22 - 7 = 0, 6 = -2*i. Let q(s) = -s**3 - 4*s**2 + 4*s - 5. Let y be q(-5). Suppose y = 2*p - v*p + 8. Solve 6*w = 2*w - p for w.
-2
Let y be 42/(-8)*-4 + -1. Solve 0 = -20*c + 25*c + y for c.
-4
Suppose 0 = 3*d - d, 5*d = -4*i + 100. Solve -4*h = h - i for h.
5
Suppose -35 = -8*v + 3*v. Let f be v/(-28) + 17/4. Solve y + 3*y = f for y.
1
Suppose 43*d - k = 48*d - 16, -3*d - k = -8. Solve -c + d = 3*c for c.
1
Let w be ((-1)/(-2))/(1/4). Suppose t = h - 5, -t - 15 = -4*h + w*t. Solve h = -4*a - 2 - 6 for a.
-2
Let m be (23 - (2 - 4)) + 3. Let l be 4*(-1 + m/16). Solve l*k - 7*k = 0 for k.
0
Suppose -4*x = -80 - 188. Let t = x + -67. Let q(l) = -l**3 - 2*l**2 - 3*l - 2. Let u be q(-2). Solve d + t*d + u = 0 for d.
-4
Let a(k) = -2*k - 5. Let z be a(-4). Let j be (-2)/4 + (-61)/(-2). Suppose 3*o = -j + 105. Solve -z*v - o = 2*v for v.
-5
Suppose -8*x + 9 + 7 = 0. Solve -14 = -x*h + 9*h for h.
-2
Let t be -4 - -15*5/(-15). Let r = t + -2. Let q = 2 - r. Solve 0 = -5*b + 2 + q for b.
3
Suppose -4 = -6*w + 32. Suppose w*z - 43 + 19 = 0. Solve -z*n + 0*n - 20 = 0 for n.
-5
Let y be (-20)/(-2) - (1 + (2 - -1)). Solve 4*c = -c + y*c for c.
0
Let i(u) = 17 + 12*u + 126*u**3 - 125*u**3 - 12*u**2 - 8. Let h be i(11). Solve -a - 3*a = -h for a.
5
Let s be (-17)/(-4) + 4/(-16). Let x be 2/(2/15) - 2. Suppose x = s*q + 5*u, q - 6*u + u = -3. Solve 0 = -4*m + 3*m + q for m.
2
Let d(g) = g**2 + 102 - 39 + 21*g - 41. Let c be d(-20). Solve -c = -n + 1 for n.
3
Suppose 178*i = 170*i + 24. Solve -5*x = i + 2 for x.
-1
Suppose -4*a - 15 = -3*r, -6*a + 3*r = -10*a + 15. Solve a = -43*f + 38*f + 20 for f.
4
Let o(s) be the first derivative of 7*s**2/2 - 29*s + 15. Let u be o(5). Solve -3*z = 3 - u for z.
1
Suppose k - 33 = 3*h + 3, 5*h + k = -68. Suppose 3*d + 77 = 4*u, -4*u + 65 = 3*d - 2*d. Let l = u + h. Solve 0 = -2*a + l*a + 10 for a.
-5
Let r(m) = -m**2 + 5*m. Let c(h) = 5*h**2 - 20*h + 1. Let v(p) = 2*c(p) + 9*r(p). Let w be v(-6). Solve -w = 5*t + 2 for t.
-2
Let z(l) = l**2 - 5*l - 2. Suppose f + 1 = 4*h, 0 = 3*f - 2*h - 3 - 14. Let c be z(f). Suppose 0*g - 4*g + c = 0. Solve x + 8 = -g*x for x.
-2
Let m(d) = -18*d - 1. Let b = 9 - 10. Let c be m(b). Let l = c - 13. Solve -y - y = l for y.
-2
Suppose 119 = 14*n - 77. Solve 5*u + n = 12*u for u.
2
Let y = -7222 + 7237. Suppose 2*b = -3*b. Solve -2*l + 7*l - y = b for l.
3
Suppose 48 = 2*x + v, -4*x - 4*v - 60 = -152. Suppose u + 5 = -2*t, -3*t + 5*u + x = -0*t. Suppose -4*g + 4*k = 12, -k + t = -3*g - 3. Solve g = 4*m - m for m.
0
Suppose 0 = 6*r - 3 - 15. Suppose 6*o = r*o. Solve -8 = 4*h - o*h for h.
-2
Let s be ((-10)/6)/(4/(-24)*5). Suppose 0*d + 8 = 4*d, -3*d + 12 = 2*j. Solve -s*a - 20 = j*a for a.
-4
Let k(g) = 5*g**3 + g**2 - 6*g + 3. Let i be k(1). Solve 0 = -i*y + 21 - 6 for y.
5
Suppose q - 10*j = -9*j + 314, -5*q = -j - 1558. Solve -x = q - 306 for x.
-5
Let q(l) = 2*l**3 + 7*l**2 - 5*l. Let y be q(-4). Solve -3*g = -11 - y for g.
5
Let u be 6/(-12) + (1 - 6/(-4)). 