 Solve c - t = -7 for c.
-5
Let o(t) = 0 - 2*t + 2 + 3*t + 0*t. Let a be o(0). Solve a*j = -2 + 12 for j.
5
Let v = 467 - 463. Solve -v - 29 = -11*i for i.
3
Suppose -228 = -7*g + 311. Suppose 11 + g = 8*b. Solve -3*r + 2 = b for r.
-3
Suppose -1 - 33 = -17*r. Solve -r*y - 10 + 18 = 0 for y.
4
Suppose 0 = b + n - 13, -5*n - 1 = -6*n. Let w(a) = 0 - a + 10 - 1. Let x be w(6). Solve s - b = -x*s for s.
3
Let g be (-5 - (-15)/3) + 4. Solve -g*j + 9 - 17 = 0 for j.
-2
Suppose 10*f + 40 = 14*f - 3*t, -10 = -f - 2*t. Solve -16 + f = -6*v for v.
1
Let n be ((-33)/12)/11*-16. Let p be -10*2/(1 + -3). Solve -n*k + p = k for k.
2
Let a = 636 + -628. Solve -2*s = -a*s + 6 for s.
1
Suppose -2*l - 18 = -4*l. Suppose l*i - 4*i = 35. Suppose 3*n - i + 1 = 0. Solve 0*o = -o - n for o.
-2
Suppose 0 = -5*t + 4*t + 91. Let m = 96 - t. Solve 10 + 10 = m*k for k.
4
Suppose -9 = m - 81. Let y = -70 + m. Solve t - y = 3*t for t.
-1
Let i(m) = 3*m**3 + 2*m**2 - 1. Let y be i(1). Suppose -y*h = -7*h + 12. Let x(n) = 3*n - 9. Let f be x(h). Solve -3 + 0 = -f*v for v.
1
Let u be 1*(-4)/(-8)*4. Suppose -3*w + s + 3 - 2 = 0, 4 = u*s. Solve 4*k + 9 = w for k.
-2
Suppose 88 = 8*t + 14*t. Solve 0*g + g = t for g.
4
Suppose 60*f = 65*f - 80. Solve -f = 9*b - 7 for b.
-1
Suppose 5 = 2*s - 7. Suppose -6*x = -115*x. Solve x = -s*n + 4*n for n.
0
Suppose 11*v = 15*v. Solve z = -3 - v for z.
-3
Suppose 2*p = -4*n - 12, -5*n - 4 = -n. Let k be ((-5)/(-30) + (-6)/9)*-2. Let a be (0 - (p + k)) + -3. Solve a = -q + 3*q + 2 for q.
-1
Let s = -107 + -15. Let b = 132 + s. Let d be 17/5 + (-6)/15. Solve 0 = h - d*h + b for h.
5
Suppose 9 = 3*z + 21. Let s be z/(-6) - (-32)/24. Suppose 2 = -r, -3*c = -s*r + 4*r - 20. Solve -4*i - c + 0 = 0 for i.
-2
Suppose 5*j = 5*l + 10, -4*l - 2 = -j - 0*l. Suppose 15 = -p + 5*w, -4*w - 11 + j = -5*p. Solve -13 = -p*v - 33 for v.
-4
Let m = -536 + 539. Suppose 0 = -2*l + 10, j + 3*l + 9 = 24. Solve j*p + m*p = -9 for p.
-3
Let z = 7 + -2. Suppose -2*u - 2 = -4*x + 2, z*u + 17 = 3*x. Let j = u - -7. Solve 0 = -2*f + j*f for f.
0
Suppose 3 - 6 = -d. Solve 3 = -0*x + d*x for x.
1
Let d be -16*(-3 - (-45)/18). Solve 1 = d*o - 7 for o.
1
Let u = 421 - 412. Solve -15 - 21 = -u*r for r.
4
Let h(v) = 14*v + 313. Let f be h(-22). Solve f*s - 232 = -227 for s.
1
Let v(q) = -q + 2. Let l be v(7). Let d = l + 8. Suppose 4*m + a = 18, -2*m + d*a = -m + 2. Solve -j = -2*j - m for j.
-4
Suppose -40*f = -21*f - 209. Solve f*a - 16*a = 5 for a.
-1
Let y be 4 - (2 - (4 - 1)). Suppose w - 10 + 3 = -2*p, 0 = -2*w + 3*p - 7. Solve -w + 11 = y*x for x.
2
Let c = -20 + 22. Let i(p) = 5*p - 5. Let t be i(c). Solve 1 = t*u - 14 for u.
3
Suppose -s - 783 = -10*s. Let v = 95 - s. Solve 2*o = -0 - v for o.
-4
Let r be (-14)/(-35) + 174/15. Solve r = 14*v - 17*v for v.
-4
Let s(w) = -6*w - 3. Let l be s(-3). Let i(k) = 6*k**2 + 3*k - 5. Let f = 2 - 1. Let v be i(f). Solve v*u + 5 + l = 0 for u.
-5
Let y be -4 + -258*1/2. Let g = y - -143. Solve -g*t + 2 = -9*t for t.
2
Let q = 480 + -480. Solve q = -0*x - 7*x + 21 for x.
3
Let k(n) = -n**2 + 7*n + 10. Suppose -5*p = -12 - 28. Let c be k(p). Suppose 5*a = 7*a - c. Solve -l = a + 1 for l.
-2
Suppose -2*k + 9 + 3 = -4*i, -4*i - 16 = -4*k. Let q be (-5 + 5)*i/4. Suppose q = -3*u + 6, j - 10 = -4*u + u. Solve -3 = j*g + 9 for g.
-3
Let y(d) = -d**2 + 9*d - 2. Let a be y(7). Solve -a*i = -11*i - 1 for i.
1
Let g(b) = b + 4. Let v be g(12). Let x = 23 - 35. Let r = x + v. Solve -1 = -d - r for d.
-3
Suppose 18*y = 115*y - 582. Let x be 3 + 0 + (0 - 0). Solve -x*l = -5*l + y for l.
3
Let o = 75 + -75. Solve o = -2*a - 3 + 11 for a.
4
Let h(n) = -2*n**2 + 8*n - 13. Let k(s) = 4*s**2 - 15*s + 24. Let x(i) = 11*h(i) + 6*k(i). Suppose -3*u = -2*u - 4. Let q be x(u). Solve m - 6*m = -q for m.
5
Let k = 11 - 19. Let b(a) = -a**3 - 9*a**2 - 8*a + 4. Let r be b(k). Suppose r*j = -5*t + 1 + 24, 2*t - 10 = 0. Solve j = 3*o - 5 + 20 for o.
-5
Let q = -28 - -40. Suppose 0 = q*x + 5 - 5. Solve 2*t + 0*t + 8 = x for t.
-4
Let w be 2*(-2 + (-35)/10). Let o = 15 + w. Solve 0*y + o*y + 12 = 0 for y.
-3
Let z(n) = -n + 42. Let q be z(18). Solve q*d + 12 = 27*d for d.
4
Let m be 4/2 + (-154)/35*-5. Solve 0 = -5*a + 4 - m for a.
-4
Let r = 12 - 10. Suppose 0 = -r*m + 7*m + 20. Let n be m*3/(-60)*65. Solve 4*z - n = 7 for z.
5
Suppose 2*c = -0*c - 12. Let a = 11 + c. Solve 5*k + a = 15 for k.
2
Let r(p) be the second derivative of p**3/6 + 3*p**2 - 10*p. Let s be r(-3). Solve -s*h + 11 = -1 for h.
4
Suppose -2*m = -4*x - 20, -m - 2*x = 9 - 3. Let j be (m - 2) + 1*6. Let b = -5 + j. Solve -y = -b - 3 for y.
4
Let h be (1 - (-4 + -27)) + 4. Suppose c - h = -5*c. Solve -c*v + 2*v = 8 for v.
-2
Suppose 21 = -3*z - 3*u - 33, -3*z - 4*u = 58. Let l be ((-4)/(-14))/((-1)/z). Solve -l + 2 = -n for n.
2
Let x(y) = -y**2 - 6. Let m be x(0). Let f be -3 - (-2 - (8 - -3)). Let w = f + m. Solve -1 = -u + w for u.
5
Let c be 8/4 + 1 + 2. Suppose -42 = -c*m + 33. Let d = m - 7. Solve d = -a - 3*a for a.
-2
Suppose 87*z = 84*z. Solve z = -8*t - 11 - 29 for t.
-5
Suppose -208*z = -185*z - 437. Solve z - 16 = m for m.
3
Suppose -4*f - 2*j = -8, 3*j + j = 0. Let q(p) = -6*p + 60. Let c be q(8). Solve -c = f*m + m for m.
-4
Let h be -70*((-185)/35 - -5). Solve -h = -2*d - 2*d for d.
5
Let x(g) = -17*g + 6*g + g + 7*g - 63. Let d be x(-22). Solve -d*z = z for z.
0
Suppose 0 = i - 4*h + 2*h - 23, 3*i = -2*h + 69. Solve 0 = -9*t + 22 + i for t.
5
Let w = -340 + 348. Solve -12 = 5*o + w for o.
-4
Suppose -4*l - 3 = -11. Suppose -3*j + h + 8 = -3*h, -l*j = 3*h + 23. Let m be 1/((-4)/j) + -1. Solve 2*u - 7 + 1 = m for u.
3
Suppose -2*s - 5*i + 5 = 0, -3*s + i + 24 = 3*i. Let l be (1 - 26)*24/s. Let f be (l/(-9))/(-1)*-3. Solve -5*b + b - f = 0 for b.
-5
Let a(n) = -n - 17. Let t(x) = -1. Let s(r) = -3*a(r) - 24*t(r). Let w be s(-24). Solve z + 20 = -w*z for z.
-5
Suppose -2*u = 2*u. Suppose u = 4*j - 7*j. Let t = -723 + 729. Solve j = -3*z - 3 + t for z.
1
Let c(h) = -h**2 + h + 8. Let v be c(-6). Let l be 3*(-2 + v/(-6)). Suppose 5*d - 4 - l = 0. Solve -w = d*w - 16 for w.
4
Let t(b) = 15*b - 42. Let g be t(3). Solve g*x = -7 + 1 for x.
-2
Suppose 0 = j + 2*b - 46, 23*j = 20*j - 4*b + 134. Solve -j*a - 12 = -38*a for a.
-3
Suppose 2 = 4*m - 6. Let q = 1 + m. Let k(l) = l**3 - 8*l**2 + 10*l - 1. Let s be k(7). Solve -q*n = n - s for n.
5
Let n = -72 + 72. Suppose 5*v - 5*p + p = 4, 8 = -2*v + 4*p. Solve n = -c - v for c.
-4
Suppose 0 = -g + 4*g. Suppose c - 3*w + 5 = -3, 0 = 4*c - 3*w - 4. Suppose 0 = -5*h - 5 + 10. Solve d - h - c = g for d.
5
Suppose 5*k - 7*u = -8*u + 12, 3*u + 2 = 4*k. Solve 10*n - k = 8 for n.
1
Suppose -2*c + 48 = -5*l, 2*l + l = 3*c - 72. Suppose -4*d + c = 2*d. Suppose 3*k = -0*b - 5*b + 9, k + 14 = d*b. Solve 4*p - b = 3*p for p.
3
Suppose -5 = -5*t + 5*f, 2*f = -t - f + 5. Suppose 2*p - 2 = t. Let y = -10 - -12. Solve y*b = -p*b - 8 for b.
-2
Let d = -1601 - -1612. Solve d*p + 89 = 78 for p.
-1
Suppose -5*k + 4*k + 6 = 0. Suppose 0 = 5*g - 24 - k. Let q(i) = -i**3 - 11*i**2 - 9*i + 11. Let y be q(-10). Solve -5*x + g = y for x.
1
Suppose 16 = -5*a - 29. Let f be (-24)/a*4*12/32. Solve -3*o + f*o - 5 = 0 for o.
5
Let y = 239 + -236. Solve 0 = -y*a + 6*a - 15 for a.
5
Let w(f) = -f + 3. Let o be w(0). Suppose 2*u - 3*x + 3 = 0, -5*u + 2*x - 4 = -2*x. Let b be ((-15)/(-25))/((-12)/(-60)). Solve -b*c + o + u = 0 for c.
1
Let s(f) = 4*f**2 + 114*f + 67. Let q be s(-28). Solve -8*o + q*o = 9 for o.
3
Suppose 3*y + 25 - 4 = 0. Let p(i) = -2*i - 12. Let b be p(y). Solve 5 = b*a + 1 for a.
2
Suppose -2*f = 4*f + 2*f. Let g be 8 - (0 - (-4)/2). Suppose 4*r = 5*u - f*r - 24, -u + g = -2*r. Solve 6*x - u*x - 2 = 0 for x.
1
Suppose 4*k = 4, 36 = 3*q + q + 4*k. Let h be (-4 + 38/q)/(1/12). Solve -4*j + j = h for j.
-3
Let k = -337 - -344. Solve 4*y - k*y = -15 for y.
5
Let k be ((-12)/(-4))/(95/20 - 4). Suppose -k*r = 5*s - 18, -4*r = -13*s + 14*s - 10. Solve 4 = -r*p - 2 for p.
-3
Let v be ((-24)/(-3) - 3)/1. Solve -v*j + 9*j = -12 for j.
-3
Let l = 63 - 55. Solve p = -p + l for p.
4
Let v = -30 - -60. Let g = v + -20. Suppose 23*j - 26*j = 0. Solve j = 3*p - p + g for p.
-5
Let o = -166 + 94. Let c = o + 92. Solve -2*k = -7*k + c for k.
4
Suppose 5*k + 25 = 0, 4*k +