 for s.
-5
Suppose 3*r - 143 = -149. Let x be r/(-4)*15/(15/(-2)). Let v be (-1)/(-2)*0*x/(-2). Solve v*p = -p for p.
0
Suppose 18*a - 20*a = w - 70, 4*a = -5*w + 146. Solve -284 = -106*s + a for s.
3
Let c = 1450 - 1408. Solve -168 = -18*p + c*p for p.
-7
Let w(r) = r**3 - 36*r**2 - 84*r - 5. Let h be w(-2). Solve -h*v = -5*v - 9*v for v.
0
Let k be (-2 + 2)/(-15 - (-54 + 36)). Solve k = 23*l + 5 - 74 for l.
3
Let s be 13 + -9 + (0 - 1). Suppose 3*l + 8 = -4*g, 3*l - s*g + g - 22 = 0. Solve -l*z = -7 + 27 for z.
-5
Let m = -526 - -1083. Let o = -518 + m. Solve 0 = -7*j - 60 + o for j.
-3
Let j(f) = f**3 + 8*f**2 - 21*f + 10. Let t be j(-10). Solve 0 = 273*g - 268*g + t for g.
-4
Let p be 9/18 + ((-23)/(-2) - 1). Suppose -p = -5*h + 4. Solve h*y = y for y.
0
Let p be 16/12*((-225)/(-2))/5. Suppose f + 3*f + p = 3*s, -f - 33 = -5*s. Let u(j) = 2*j - 12. Let v be u(s). Solve -g = -v*g - 1 for g.
1
Suppose 3*w + 3*t - 21 = 0, -4*w + w = -2*t + 4. Suppose -2*h = 5*i - 27, 6*h - w*h = i - 1. Suppose -5*a = 0, a + 4 - 2 = o. Solve o + h = -q for q.
-3
Let w be ((-1189)/870 + 1/6)*(4 + -9). Solve 0 = -w*r + 389 - 359 for r.
5
Let a be ((-520)/(-650))/((-3 + 1)/(-10)). Solve -a*f + 15 = 7 for f.
2
Let l(m) = 0*m + 3*m - 3 + 5. Let k be l(0). Let y = k - -2. Solve p - y = 3*p for p.
-2
Suppose 14 + 30 = 4*x. Suppose t - 4*f = 0, -8*t + 3*f + 3 + 26 = 0. Solve t*j + x = 3 for j.
-2
Let g be (-18)/(-171) + 14794/247. Solve q + 9*q = -g for q.
-6
Suppose 0 = -m - 1 + 3. Let u = 41605 + -41600. Solve a - m*a = u for a.
-5
Suppose 2*f + 23 = -99. Let x = -114 - -56. Let m = x - f. Solve -4*p + m*p = 0 for p.
0
Let w(x) = -1820 + 0*x**2 + 5*x**2 - 6*x**2 - 32*x + 1765. Let o be w(-30). Solve -25 = o*v - 5 for v.
-4
Suppose 0 = -87*y + 10235 + 17880 + 6163. Solve y*f + 84 = 382*f for f.
-7
Let x be (7 - (-66)/(-12)) + 3/6. Solve -12*m - x = -50 for m.
4
Suppose 28 + 145 = 21*q + 26. Solve -52*p - 45 = q for p.
-1
Suppose -6*o + 8*o = -4*y + 118, 4*o - 422 = -14*y. Solve y - 15 = -8*z for z.
-2
Suppose -129*z - 2*x + 81 = -126*z, 0 = -4*z + 5*x + 108. Solve 8 - 35 = -z*k for k.
1
Let x(g) = 17*g**2 - 3*g. Let r be (2 + -1)*3 + (-3)/3. Let m be x(r). Suppose 0 = -59*q + m*q - 6. Solve -2 = p + q for p.
-4
Suppose -4*y + 60 = -3*r, 20 = -3*r - 2*r. Suppose 5*f + 3*c - 25 = 0, 9*c = -f + 7*c + y. Solve -f + 5 = -3*s for s.
-1
Let g(c) = -2*c**3 - 5*c**2 + 5*c + 6. Suppose -33 = 154*q - 143*q. Let d be g(q). Solve 0 = f - d*f - 3 for f.
3
Suppose -41*l + 440 = 3*l. Suppose -4*g + 10 = -w - 23, -2*w - l = 0. Suppose y - 22 = 5*u, 3*y + 2*u + 0 = -2. Solve 5*j = -y + g for j.
1
Let v(p) = 6*p - 19. Let b be v(4). Suppose 0*z + b*s = -z - 19, -44 = -4*z + 4*s. Suppose -5*u = -3*m + z*m - 60, -4*u + 4*m = -16. Solve u = -0*t + 3*t for t.
3
Let v be (24/24 + (-6)/10)/((-6)/(-885)). Solve -42*p + v = -109 for p.
4
Suppose -452 = -6*a - 2*x, -65*a + 63*a + 2*x + 156 = 0. Solve -a*s + 33*s + 301 = 0 for s.
7
Let d = -19 + 30. Let k(f) = f + 12. Let p be (-4)/2 - (-700)/(-70). Let b be k(p). Solve -3*x - 2 + d = b for x.
3
Suppose 60*x = 31*x + 3335. Solve -145 = 6*f - x for f.
-5
Let m = 29 - 92. Let p = 110 - 168. Let d = p - m. Solve s - 1 = -d for s.
-4
Let t = 5594 - 5589. Solve t*w - 120 + 135 = 0 for w.
-3
Let x be 7 + (-11 - -8) - (-4)/(-4). Let r = -3 + 5. Solve x*y + r = y for y.
-1
Let r be (-78)/36*2*(-3)/1. Suppose -2*a + 8 = -3*b, 5*b - 4*a + a + r = 0. Let p be (-3 - -2)*(44/b)/2. Solve 8*l = p*l for l.
0
Suppose 51*o - 2351 - 2851 = 0. Solve 788 - o = -98*m for m.
-7
Suppose -28 = -13*x - 2. Let z = 13 - 33. Let v be (z/8)/(-5)*6. Solve -x*j = -5*j + v for j.
1
Suppose -i - 9 = -4*i. Suppose -i*h + 18 + 21 = 4*u, 0 = -5*u + 5*h + 5. Suppose -u*x + 5 - 5 = 0. Solve -12*f + 17*f - 20 = x for f.
4
Suppose -50*c + 9212 = -64*c. Let a be c/(-112) + (30/(-16) - -2). Solve -a*i + 16 = -8 for i.
4
Let b be (-2 + -1 + 24/9)/(5/(-2460)). Solve -b = -6*c + 47*c for c.
-4
Suppose -2*p = 7 - 7. Suppose -3*m - b + 10 = -p*b, 16 = 2*m + 3*b. Solve 3*s = m*s for s.
0
Suppose -3*z + 13 + 2 = -2*s, 40 = -5*s + 8*z. Solve -w - 21 + 14 = s for w.
-7
Let g be (12/(-198))/(19/(-627)). Solve g*o + 41 = 35 for o.
-3
Let c = 16290 + -16217. Solve -11*j + 29 - c = 0 for j.
-4
Suppose -4*o = 4*v + 7 - 3, 4 = -4*o. Suppose 0 = -0*f + 3*f - 27. Suppose v = n - f*n + 8. Solve -4 = -m - n for m.
3
Let z = 11149 + -11110. Solve z + 73 = -14*p for p.
-8
Let d(t) = 5*t - 38. Let q = 196 - 139. Suppose -5*b = -4*g - q, 3*g + 45 = 2*b + 2*b. Let k be d(b). Solve 2*x = -5 + k for x.
1
Let a be 14/10 + 36/(-90) + -71. Let b = 74 + a. Let l be (-56)/(-35) + (-2)/(-5). Solve -b = -l*f - 0 for f.
2
Suppose -34*g + 30*g + 238 = -3*d, 0 = -2*g + 3*d + 122. Solve 6 = -55*c + g*c for c.
2
Let m be ((-180)/(-8) - 10) + (-18)/(-4). Solve -140*q + m*q + 1107 = 0 for q.
9
Let c be 14/3 - (-6)/(-9). Let r(h) = 2*h**2 + 106*h + 392. Let q be r(-49). Solve q = 2*k - c*k - 10 for k.
-5
Suppose 102 + 228 = 2*i + 7*m, 5*m = 3*i - 495. Solve -i*y + 36 = -174*y for y.
-4
Suppose 10*u = 6*u + 88. Suppose 3*d = 5*l + 34, -3*l + 8*l + u = -d. Solve m - d = 2 for m.
5
Let z(c) = -c**3 + 7*c**2 + 9. Suppose 21 = -7*k + 70. Let t be z(k). Solve 6 = 3*b + t for b.
-1
Let u(w) = 5*w**2 + 204*w + 17. Let p be u(-41). Solve 34*g = 5*g - p for g.
-2
Suppose 19*q - 44 = 21*q. Let n = -16 - q. Solve 5*k - n = -1 for k.
1
Let i(j) = -j**2 - 21*j + 240. Let t be i(-26). Solve 0 = -t*u + 116*u for u.
0
Suppose -20 = -30*z + 25*z. Suppose 3*s + z*l - 42 = 0, -2*s = 3*s + 5*l - 70. Suppose 11*b = 4*b + s. Solve b = -x - 0*x for x.
-2
Let j(r) = 14*r**2 + 2238*r - 305. Let i be j(-160). Let v(w) = 3*w - 3. Let n be v(4). Solve n*t - 6*t = i for t.
5
Suppose -12*j = -8*j - 32. Suppose -j = -5*p + p. Solve 0 = 4*b - p*b for b.
0
Let u(f) = -f**3 + 6*f**2 + 10. Let b be u(6). Suppose -7*q = -b - 4. Suppose 4*g + 7 = -5*s, -q*g + 10 = -4*s + 2*s. Solve -2*j - g*j = 0 for j.
0
Let m(n) = -n**3 - 5*n**2 + 8*n + 15. Suppose 9*p - 7*p - 2 = 0. Suppose -4 = -2*f + 5*c - p, 0 = -3*c - 9. Let g be m(f). Solve -9 = g*s - 24 for s.
5
Let w = -18 + 19. Suppose y + w = 0, 3*j = -y + 6 - 49. Let n be (-10)/(-35) - 24/j. Solve -n*v = -v - 4 for v.
4
Let i(v) be the first derivative of 2*v - 3 - 1/2*v**4 + 3/2*v**2 - 2/3*v**3. Let d be i(-2). Solve 0 = -5*u - d + 24 for u.
4
Let j(i) = 32*i**2 - 121*i - 564. Let p be j(-5). Solve -843*m = -p*m + 8 for m.
-4
Suppose 0*d - 3*d = 252. Let o be d/(-48) + 2/8. Let n = -716 - -718. Solve -n*m - 16 = o*m for m.
-4
Suppose 5*f = -u - 2 - 15, u - f - 7 = 0. Suppose -u*r = -0*r + 4*r. Solve r = -4*c + c + 15 for c.
5
Suppose 5*c + 3*j = 64, -5*j + 9*j = -5*c + 72. Solve c*k = 7*k for k.
0
Let z = -7 + -26. Let y = -619 - -588. Let t = y - z. Solve -t*j - 6 - 4 = 0 for j.
-5
Suppose 3*n + 3*s - 321 = 0, 107 - 103 = -s. Solve 124*b - 78 = n*b for b.
6
Suppose 23*q = 16*q - 5 + 26. Suppose 4*j + 5*b + 20 = 0, -j - j - 12 = 3*b. Solve -q*k + 2 - 17 = j for k.
-5
Suppose -3*y - 5 = 4*j + 2*y, -3*j = -2*y - 2. Solve 4*x + 236 - 248 = j for x.
3
Let m(p) = -337*p**2 - 1. Let j be m(1). Let c = j + 338. Solve 2 = v - c*v for v.
2
Let z = -108 + 111. Suppose z*u - 8 + 28 = b, -3*b = -u - 28. Solve 4*q = -0*q + b for q.
2
Suppose 952*x - 940*x = 132. Solve 2*h - 27 = x*h for h.
-3
Let u(i) = i**2 + 109*i + 2635. Let h be u(-73). Solve -21*r + h*r = -28 for r.
2
Suppose 0 = 3*g - 15, -26*c = -35*c + 5*g + 191. Solve 0 = -24*j + 27*j - c for j.
8
Suppose 101*h - 22540 = -22237. Suppose 2*k - 3*o + 13 = 0, -2*k - 14 = -5*o + 1. Let b(g) = -g + 7. Let z be b(k). Solve -q - h*q - z = 0 for q.
-3
Let c(b) = -b**2 + 502*b + 3048. Let r be c(-6). Solve -113*z + 96*z + 68 = r for z.
4
Suppose 97*m + 14*m - 134528 = -46616. Solve -j - m = -785 for j.
-7
Suppose 59694 = 28*j + 59526. Solve -j*s = -22*s for s.
0
Let s be -3*((-60)/(-18) + -4). Suppose 3*l + 17 = -s*a, 14 = -3*l + 2*a - a. Let y(i) = -2*i - 8. Let x be y(l). Solve 0*d = -d - x for d.
-2
Suppose -3*y = 4*k + 203 - 5, 2*k = 5*y - 112. Let j = k - -57. Suppose 46*f = 50*f + 5*s - 18, 0 = 5*f - 5*s. Solve f*r = -0 + j for r.
3
Suppose 0 = 8*a - 4*v - 724, 2*v - v = -5. Solve -674*k + 663*k - a = 0 for k.
-8
Let q(h) = 10*h**3 - 44*h**2 - 11*h + 1. Let y(a) = 4*a**