0 = -2*t + s*t for t.
0
Let s(w) = -6*w**2 - 11*w + 6. Let l be s(7). Let p = 367 + l. Solve 13 + p = -5*c for c.
-3
Suppose -15*k - 1200 = -2805. Let m = -148 + 43. Let x = m + k. Solve x*b - 8 = 6*b for b.
-2
Suppose 15 = -3*r - 3*a - 18, 3*r + 5*a = -33. Let i(b) = b**2 + 9*b - 13. Let s be i(r). Solve 0 = -8*q + s*q + 2 for q.
-2
Let p(r) = 8*r**3 + 3*r**2 + 5*r + 6. Let u be p(-3). Let f = -198 - u. Solve -6*b + 2*b + 12 = f for b.
3
Let i be 10/(2/(2 + 3 + -3)). Suppose 3*h = -4*f + i, -5*h + 9 + 5 = 4*f. Solve -h*t = -4*t + 6 for t.
3
Suppose 32*c - 13*c - 2128 = 0. Let h = 127 - c. Solve -h = -4*w - w for w.
3
Let t = 13 + -19. Let r be 15/(-12) - (-1 + (-351)/(-36)). Let c = t - r. Solve 0 = -2*n - c - 2 for n.
-3
Let j = -1 + 8. Suppose 62*v + 490 = 69*v. Suppose 0 = -66*t + v*t - 12. Solve -j*u - 4 = -t*u for u.
-1
Suppose 309*x = 295*x + 462. Solve x*a + 93 = -39 for a.
-4
Let g(t) = 0*t - 391 + 451 - 4*t. Let l be -10*(-1)/(2/3). Let m be g(l). Solve m = -d - d for d.
0
Let r(t) = t**2 + 3*t + 10. Let j(p) = -4*p**2 - 8*p - 29. Let v(n) = -2*j(n) - 7*r(n). Let x be v(8). Solve -f = -4*f + x for f.
4
Let a(x) = -6*x - 26. Let o be a(-5). Suppose -s + 4*g = -o*s + 24, -3*s + 5*g + 24 = 0. Solve 2*b - s + 10 = 0 for b.
-1
Let a be 27*(-7 - (-67)/9). Suppose -4*r = 3*q - 9, -5*q - 5*r + 9 = -2*q. Solve q*n = -0*n + a for n.
4
Let g(l) = -l**3 + 9*l**2 - 15*l + 47. Let h be g(7). Suppose -4*c - h = -2*n, 0*c + 8 = n + 4*c. Solve 3*k + n = -k for k.
-4
Suppose 156 = 3*f + 10*f. Suppose f*g = -7*g + 76. Solve 4 + 0 = g*l for l.
1
Suppose 0 = 3*n + i - 619, -n + 5*i = -0*i - 217. Solve n*g - 223*g = -96 for g.
6
Suppose 2*q = -2*q - 4*v, 12 = -q - 5*v. Let m(k) = -k**3 + 2*k**2. Let x be m(1). Suppose -3*f - x = -2*r - 5, -20 = -2*r - 3*f. Solve -7*o = -q*o + r for o.
-1
Suppose 14 = 5*q - 2*k, 3*k = -3*q + 7*k - 14. Solve q*w - 78 = 32*w for w.
-3
Suppose 78*p - 56 = -84*p + 158*p. Solve -24*y - p - 178 = 0 for y.
-8
Let a(z) = 5*z**2 - 37*z - 40. Let c(i) = 2*i**2 - 12*i - 13. Let q(s) = -3*a(s) + 8*c(s). Let y be q(-15). Suppose 6 = y*r - 14*r. Solve -r*x - 3 = 3 for x.
-2
Let z = -6 + 6. Let s = -4296 - -4298. Solve -x = -z + s for x.
-2
Let z be (-1 + 166)*-2*-1. Let j be -4*(z/(-24))/5. Solve -j*v + 0 + 0 = 0 for v.
0
Let m(q) = 6*q - 106. Let s be m(18). Suppose 3*v - 20 = -z, 12*z - 11*z - 4 = v. Solve s - z = 2*c for c.
-3
Suppose -5 + 18 = 59*k - 164. Solve 0 = -k*x - 0 + 18 for x.
6
Let z = -2 - 0. Let s be (0 - (6/(-9))/z)*-15. Suppose 5*g - 4*a = 30, -g - g = -5*a + s. Solve 0 = 3*q + g - 4 for q.
-2
Suppose 720 = -11*a - 1392. Let w = a + 195. Solve w*g - 12 = 7*g for g.
-3
Suppose 7*s - 15*s + 67*s = 0. Solve -28*z - 187 - 9 = s for z.
-7
Suppose 2*s - 26*y + 21*y + 1647 = 0, s = 5*y - 811. Let u = s + 846. Solve 5*z + 75 = -u*z for z.
-5
Suppose -19*t - 12*t + 124 = 0. Solve -11*l = -t*l + 21 for l.
-3
Let s = 97 + -87. Let h be ((-6)/s)/(22/(-990)). Suppose 4*o - 36 = 2*v - 0, -3*o - 5*v = -h. Solve -o*w = -4*w for w.
0
Let t(k) = k + 14. Let h be t(-8). Let n(d) = -d**2 + 8*d - 7. Let a be n(h). Let q be ((-4)/(-10))/(12/600). Solve q = -a*r - 5 for r.
-5
Let h(x) = -9*x + 42. Let p be h(-7). Let b = p - 89. Let c be ((-62)/(-1))/2 - (b - 13). Solve 0 = 5*u - c + 3 for u.
5
Suppose -5*t + 122 = -v, 4*t + 2*t + 4*v - 162 = 0. Solve t*h = -2*h + 108 for h.
4
Suppose -2*n = 14*v - 18*v - 1076, v = -2*n + 1091. Solve n = 4*z + 532 for z.
3
Suppose 56*s + 16 = -53*s + 113*s. Solve -2154 = s*b - 2170 for b.
4
Suppose -2*g - 3*g + 15 = 0, t - 19 = -5*g. Suppose -5*u - 4*r + 570 = 0, 271 = 2*u + t*r + 55. Let m = -112 + u. Solve 11*s - 20 = m*s for s.
4
Let k = -9 + 29. Suppose i = -s + 6 - 9, 4*i = s - 2. Let y be 0/((-45)/(-18) - 1/s). Solve 3*z - k + 5 = y for z.
5
Suppose -1 = 5*f - 11. Let z = f + -13. Let l = z - -13. Solve 0 = l*x + 4 - 6 for x.
1
Suppose 0 = 228*r - 226*r - 266. Suppose 88 = -3*i + r. Solve 30 = 5*d + i for d.
3
Let n = -461 + 463. Suppose n*l = v - 1, l + 5*v = 3*l + 5. Solve l = 2*c + 22 - 18 for c.
-2
Let f(z) = -4*z + 313. Let k be f(23). Let g = k - 196. Solve -23*h = -g*h - 8 for h.
-4
Let k = -1136 + 2183. Solve -k = 3*s - 1068 for s.
7
Suppose -3*w = -w + q - 34, -w = 2*q - 23. Let n(b) = -b**3 + 55*b**2 - 730*b - 181. Let h be n(32). Solve -w = -c - h for c.
4
Let f be ((-3)/12)/(1 + 18/(-16)). Suppose 2*p - 3*t - 103 + 100 = 0, -3*p - 2*t - f = 0. Solve 6*o - 28 + 4 = p for o.
4
Suppose -3*u = -2*s - 138, -4*u + 121 = -3*s - 87. Let f be s/(-8) + (-2 - 1). Solve 0 = 6*a + 6 + f for a.
-2
Suppose 0 = -3*c + 2*t + 38, -t = 2*c - 32 + 16. Solve 8*u - c = -42 for u.
-4
Suppose 0 = -13445*s + 13431*s + 168. Solve -s*a - 43 = 41 for a.
-7
Let n(g) = g**3 + 12*g**2 - 2*g - 32. Let h be n(-12). Let d be (-2)/6*(-7 + h). Solve -v - 4*v - d = 0 for v.
-1
Let h(f) = f**2 + 59*f + 574. Let u be h(-48). Solve -47*x = 48 + u for x.
-2
Suppose 5*f - 25 = 0, 2*c - 5*f + 17 = -2*c. Let s(p) = -86 + 4*p + 78 - c*p. Let b be s(5). Solve b*t = -0*t for t.
0
Let o(b) = -b**3 + 7*b**2 + 3*b - 11. Let w be o(7). Suppose u = -w*u + 12*u. Solve u = 2*m - 0*m - 6 for m.
3
Suppose 3*p + 2 - 4 = -c, 0 = 4*p. Suppose 0*x + x - c = 0. Let r = 30529 - 30524. Solve 18 = r*j - x for j.
4
Let d(i) = -2*i**2 + 43*i + 18. Let b be d(21). Let h be b*(-5 + 48/9). Solve -h*l + 6 = -7 for l.
1
Suppose -98*g - 8 = -102*g. Suppose 6*p + 3*z = p + 75, -g*z = 5*p - 75. Solve p = -5*r + 40 for r.
5
Suppose 193*t = 200*t - 14. Suppose -4*h = 58*w - 62*w + 24, w + t*h - 3 = 0. Solve 3 + 2 = -w*c for c.
-1
Let b = -26 - -41. Suppose c - z + 5*z = -9, -3*c + 2*z + b = 0. Solve -c*k = -k + 8 for k.
-4
Suppose -1162*u + 1166*u - 26 = g, 4*u - 2*g - 32 = 0. Solve u = -6*b + 53 for b.
8
Let z = -244 + 247. Let k(c) = 38*c + 193. Let h be k(-5). Solve h = -4*x + z*x for x.
-3
Suppose -20 = 3*c - 8*c. Suppose c*p - 5*p = 5*p. Suppose -5*o + 2*y + 12 = p, -2*y - 8 = -2*o - o. Solve -o*n + 10 = 3*n for n.
2
Let f = -78 - -87. Suppose 4*h - 9*h + 3*x = 9, 3*x = 4*h + f. Let c be (3/9*1*0)/2. Solve c = -4*z - h - 16 for z.
-4
Let g = 10745 + -9504. Solve -1244*u - 3 = -g*u for u.
-1
Let c be 7/((-21)/(-24)) + (-18)/6. Suppose -5*y - c*y + 11*y = 0. Let n be 1 - (6 - 0)/(-3). Solve y = -2*r + n*r + 4 for r.
-4
Let h(z) = 4*z + 6. Let c be h(-2). Let m(g) = -g**2 + 2*g + 5. Let t be m(c). Let d be t/(-4) + (-52)/(-16). Solve -5 = d*n + 3 for n.
-2
Let n(p) = -36*p**2 + 5*p + p + p**3 + 63*p**2 + 27 - 37*p**2. Let t be n(9). Solve t = -2*j - 0*j + 10 for j.
5
Suppose -36 = -p + 2*l, -7*p - 43*l + 45*l + 168 = 0. Solve -25 = -j - p for j.
3
Let b(x) = 54*x**3 - 2*x**2 - 8*x + 12. Let k be b(2). Let w(c) = -k - 6*c - c - 2*c + c**2 + 396. Let r be w(-3). Solve -4*h = -r - 0 for h.
3
Let g be 15/5 + (-3 - -8). Let d(v) = -2*v**3 + 17*v**2 - 4*v - 11. Let w be d(g). Suppose w*h = 18*h. Solve 3*m - 5 - 1 = h for m.
2
Let h = 30 + -22. Let t = 11 - h. Let g(j) = -3*j - 14. Let n be g(-7). Solve t*p - n*p = -20 for p.
5
Let w be (419 - 7)*2/(-4). Let t = -198 - w. Solve -t*b + 0*b = 0 for b.
0
Suppose -171 = 91*f - 2648 + 475. Solve -f*t = t for t.
0
Suppose 5*y = u - 6*u - 15, -y - 5*u = 15. Suppose 0 = -4*p - 28*p - y*p. Solve p = -3*g + 9*g - 18 for g.
3
Let c(i) = -1094*i - 965. Let o be c(-1). Solve o*z - 31 = 98*z for z.
1
Let j = 2409 + -2405. Solve -19*i + 18*i = -j for i.
4
Let t(v) = v**3 + 6*v**2 - 6*v + 8. Let n = 1 + 4. Let u(l) = l**2 - 4*l - 12. Let m be u(n). Let g be t(m). Solve 5*c + 14 = -g for c.
-3
Suppose 5*z + 15 = 0, -3*k + 2*z + 5 = -1. Suppose k = -2*l + 61 - 61. Solve l*a + 5 = -a for a.
-5
Suppose 140*o + 5774 = 40494. Solve -256*c = -o*c - 48 for c.
6
Let n be (-4)/(-2) + (0 - -1). Let o be 2/((-2)/(-35))*2. Suppose 0 = -31*f - 4*f + o. Solve -i + f = -n*i for i.
-1
Let y = -47 + 25. Let l = y - -40. Suppose -5*a + 3 = l, 5*a = -4*g - 11. Solve g = -z - 0 for z.
-1
Suppose -42 = 739*d - 745*d. Solve -30 + 58 = d*s for s.
4
Let r = -90 - -94. Let p(q) = q + 15. Let c be p(5). Suppose 0*w - 2*w - 3*i + 15 = 0, 2*w = -r*i + c. Solve 4*b + w = 12 for b.
3
Let g(j) be the second derivative of j**3/2 + 7*j**2 - 19*j. Let z be g(6). Suppose z*v = 29*v + 9. Solve v = -s - 1 for s.
-4
Suppose 4*j + 18 + 10 = 0. Let w(b) be the second der