 = -6*c - a for c.
-1
Let b be 301 + 5 + (-7 - -3) + 4. Let o = b + -301. Solve -4 = -o*q + 1 for q.
1
Suppose 4*t + 58 = 222. Let d = 46 - t. Solve -18 = d*g + 2 for g.
-4
Let b(x) = x**2 + 2*x - 3. Let z be b(2). Let d = 4 - 0. Suppose -d*f + 6 = -2. Solve 3*q - z = -f*q for q.
1
Suppose -4*l - 5*d = l - 20, 3*l - 3*d + 12 = 0. Solve 12*g + l = -12 for g.
-1
Suppose 0 = -20*l + 40. Suppose 5 = g - 5*p, l*g - 44 = -5*p - 34. Solve -7 - g = -6*b for b.
2
Let w(h) = h**3 - 12*h**2 + 3*h - 13. Let c be w(12). Let u = -23 + c. Suppose p + 5*p - 24 = u. Solve 1 + 7 = -p*t for t.
-2
Suppose -5*y - 3 = -2*w, -30*y = 5*w - 29*y - 48. Solve 0 = w*g - 5*g + 8 for g.
-2
Suppose -3*x = -0*x - 9. Suppose 4*t + 1 = s + 4, 4*s = -12. Let r = -11 + 11. Solve t = -k + x - r for k.
3
Suppose 2*v - 70 = 38. Suppose -214*l = -216*l - 108. Let b = v + l. Solve -2*z + 0*z + 10 = b for z.
5
Let p(g) = 4*g**2 - 10*g + 9. Let j be p(1). Suppose -n - 3 = -7, 36 = 2*a + j*n. Solve 3 = 13*x - a*x for x.
3
Let d be (17 - -229) + -2 + 3. Let n = d - 243. Solve 2*o - 2 = -n for o.
-1
Let j(q) be the first derivative of -q**4/4 + 3*q**3 - 5*q**2/2 + 47*q - 186. Let y be j(9). Solve 6*x = -y*x - 8 for x.
-1
Let s = 6921 + -6895. Solve -84 = -s*o + 38*o for o.
-7
Suppose 16*i - 78 = -16 + 2. Solve -i*d - 16*d + 40 = 0 for d.
2
Let x(o) = 18*o - 1141. Let h be x(64). Solve -37*y = -h*y for y.
0
Suppose -19 = -6*h - 13. Let i be 3/6*8/h. Solve -i*c - 4 = -0 for c.
-1
Let s(a) = 4*a**2 - 103*a - 334. Let q be s(-3). Solve -6*m + 34 = q*m for m.
2
Suppose -4*t = -5*h + 15, 37 - 28 = -4*t + 3*h. Solve -29*y + 171 - 26 = t for y.
5
Let n(k) = k - 6. Let b be n(10). Let o be b/(-8)*1*(-3 - 3). Suppose m + 4*m = 10. Solve -o*q + q = -m for q.
1
Suppose n + 6*n - 43 = 48. Solve -n*u - 4*u + 17 = 0 for u.
1
Let h(s) = 2*s - 8. Let f be h(-6). Let u be 3*(-3)/(-27) - f/12. Let w be (u - 12)*2/(-1). Solve 2*c = 7*c - w for c.
4
Let i(g) = -g**3 + 34*g**2 - 27*g - 198. Let r be i(33). Solve r = -b - b + 12 for b.
6
Let i(n) be the first derivative of -30 - 3/2*n**2 + 2*n. Let p be i(-1). Solve -9*y - 16 = -p*y for y.
-4
Let g(u) = 3*u + 22. Suppose f - 2*t = -5, 2*t + 4 = -2*t. Let v be g(f). Let m be (-2)/v*(3 + -4). Solve -i = -m - 3 for i.
5
Let q(h) = -4*h**3 + 40*h**2 + 41*h + 38. Let c be q(11). Solve -c = -3*l + 7 for l.
4
Let j be 220/33*(-6)/(-2)*1. Suppose 0 = 4*h - j - 20. Suppose -4*y + 7 = 5*b - 15, -6 = -3*b. Solve y*p - 5 = h for p.
5
Let o = 19 + -11. Let z(v) = 50*v - 547. Let t be z(11). Suppose b = -4*d + 12, -o = -t*b + b. Solve 2 = d*i - 3*i for i.
-2
Let r = 10713 - 10706. Solve 43 = r*m + 36 for m.
1
Suppose 0 = -18*f + 13*f. Let d = 5463 + -5463. Solve f*w - w = d for w.
0
Let u be 2 + (-13)/6 - (-4)/24. Suppose 0 = -z + c - 4, -4*z = -u*z - 3*c + 12. Solve z = 2*x + 2*x for x.
0
Let d = 853 + -555. Let m = d - 298. Solve -2*j - 7*j - 45 = m for j.
-5
Let y = 22201 - 22198. Solve 39*f = 40*f + y for f.
-3
Suppose 0 = -3*f + r - 47, 4*f + 2*r - 38 = 6*f. Let y(a) = 3*a + 44. Let d be y(f). Solve -d - 10 = 3*w for w.
-4
Let y = -340 + 340. Suppose 13*w - 69 - 217 = y. Solve -9*f + w + 14 = 0 for f.
4
Let t be (-9)/6*((-60)/9)/2. Let f(z) = 2*z**3 - 10*z**2 + 2*z - 5. Let h be f(t). Solve -3*l - h + 8 = 0 for l.
1
Let a be (-63)/(-14)*(-3 + 1). Let b be (5 + 2/(-1))*(-6)/a. Suppose b*o = -5*v + 3 - 21, 4*o = 4*v + 20. Solve o + 3 = -4*l for l.
-1
Suppose 2*m = -5*a + 43, 5*a - 91 + 45 = m. Solve -s - 2*s + a = 0 for s.
3
Suppose -5*o - 2*s = 12, -3*s - 18 = -6529*o + 6523*o. Suppose -3*g + 5 = -1. Solve o = -g*l - 2*l - 12 for l.
-3
Let w = -23331 + 23331. Solve 9*f + 13*f = w for f.
0
Suppose -4*a - 5*y + 30 = 0, -7*a - 3*y + 18 = -2*a. Solve a = 56*j - 52 - 228 for j.
5
Let c = 756 - 701. Suppose y - 3 = 0, 4*y - c = 2*n - 51. Let g = 7 + 19. Solve g = n*k + 6 for k.
5
Suppose 2*z + 1106 = 9*z. Let l(o) = z*o - 78*o - 6 - 83*o. Let w be l(-2). Solve w = -y + 8 - 3 for y.
5
Let i be 0/((14/7)/(-2)). Suppose 3*z + 4*t = -14, -2*z - t + 4 - 5 = i. Solve 8 = -z*n + 6 for n.
-1
Let d be (15/(-9) + 2)*6. Let l be -2*(-5)/d*1. Solve l*n = 10 + 5 for n.
3
Suppose -9077 = 19*r - 65507. Solve -3060 = 18*k - r for k.
-5
Let a(h) = 4*h + 35. Suppose 36 = 6*y + 6. Suppose 0 = -5*r + 4*w - 32, 2*r + 3 = y*w - 3. Let f be a(r). Solve -2*b - f = 3 for b.
-3
Let p(a) = a**3 + 23*a**2 - 170*a - 7. Let o be p(6). Solve -43*c = -o*c + 130 for c.
-5
Let p(z) = z + 3. Let t be p(-6). Let q(s) = -s**3 - 2*s**2 + s - 4. Let b be q(t). Let i be (-1)/((-11)/(-2) + (-25 - -22) - 3). Solve d + b = -i for d.
-4
Suppose 3*a = 4*u - 9 - 7, 3*u = -5*a + 12. Let n be u - ((-80)/4 + 4). Let w be 0*4/n - -2. Solve 5*r - w*r = 0 for r.
0
Let a = 491 + -282. Let n = 210 - a. Solve -3*u - 11 - n = 0 for u.
-4
Suppose -t = -4*v - 810, 2*t + 3*t = v + 193. Let o = 208 + v. Solve 35 = 2*b + o*b for b.
5
Let b be -3*1 + 40/(-10). Let r be (b/3 - -2)*(0 + 0). Let g = r - -2. Solve g*k - 7 = -1 for k.
3
Let s = 10084 + -10004. Solve 7*p - 31 = -s for p.
-7
Suppose 8*w = 302 - 238. Solve -44*d + 42*d - w = 0 for d.
-4
Suppose 16 = 3*k + 2*v - 3*v, 5*k - 5*v = 40. Suppose 5*w = i - 39, -6*i - 33 = -3*w - 78. Solve 2*z = i - k for z.
0
Let y = 7274 - 7263. Solve -8*p + y + 5 = 0 for p.
2
Suppose -b + 7 = 3*w, -w - b - 2 = -3. Let y be -31 + 36 + (1 - w). Solve 0*v = -y*v - 3 for v.
-1
Let z(i) = -291*i + 176. Let b be z(4). Let r = -984 - b. Solve r*q - 9 = -21 for q.
-3
Suppose 0 = -2*i - 17 + 29. Suppose 10 = 4*s - 18. Suppose -p - 11 = -i*p - q, p - s = q. Solve -8 = j - p*j for j.
4
Suppose 5*f - 11 = 2*m + 8, -4*f = m - 10. Suppose -f*x + 4*n + 8 = 0, 3*n = -3*x + n - 4. Solve x*t = -2*t for t.
0
Let w(n) = 12*n - 24. Let r be w(3). Suppose 0 = r*a - 132. Solve 9 = -a*u + 2*u for u.
-1
Let g(q) = -3*q - 27. Suppose 2*a - 5*f - 1 = -0*a, 0 = -5*a + 2*f + 13. Suppose -72 = 5*x + a*x. Let s be g(x). Solve 3 = -s*n - 3*n for n.
-1
Let m = -95 - -119. Let f(p) = -5*p + 124. Let w be f(m). Solve -w*u + 9 = -u for u.
3
Let k = 5 + -5. Suppose k = -2*h - 3*h + 15. Suppose -5*z = 2*i - 15, 2*z + 10 = 3*i - h. Solve i*x + 3 = 2*x for x.
-1
Let u = -100 + 124. Let m = -24 + u. Solve 3 = 3*c - m for c.
1
Let n(z) = -z**3 - 23*z**2 + 47*z - 74. Let s be n(-25). Suppose -a + 2*r = 0, s = -5*a + r + 28. Solve 0*q + 6 = -a*q for q.
-1
Let l = -12384 - -12407. Solve l*h + 38 = 130 for h.
4
Let l(n) = 29 + 47*n + 20 + 33 - 25 + 42. Let i be l(-2). Solve -14 - 6 = i*t for t.
-4
Suppose -8*d - 3*k = -4*d - 104, 3*d = 2*k + 78. Let o = 19 + -11. Suppose 2*y = r - 1, -3*y = -2*r - 2*y + o. Solve r*c + d - 6 = 0 for c.
-4
Let f = 20 + -13. Suppose 5 = -y + f. Let r(k) = -19*k + 439. Let a be r(23). Solve y*n = -a - 0 for n.
-1
Let x be 4/(-22) + 0 + 784/(-44). Let m = x + 22. Suppose -4 = m*v - 28. Solve 0*i = -3*i + v for i.
2
Suppose 2*c + 22 = 4*c. Let x = -19066 + 19072. Suppose -46 - 79 = -5*j. Solve j = -c*b + x*b for b.
-5
Suppose 9 + 72 = 3*k. Let j be (-28)/2 + (-4000)/(-160). Solve j*h + k = 2*h for h.
-3
Let y(u) = u**2 + 6*u + 6. Let s be y(-6). Let r = -4 + s. Let j be ((-4)/32*0)/1. Solve -r*g + 0*g = j for g.
0
Suppose 3*q + 0*q = 51. Let f be 7/42 + q/6. Let c(h) = -375*h - 2998. Let v be c(-8). Solve -v*r - f = -r for r.
-3
Let j be ((-70)/20)/((-3)/36). Suppose u = -5*u + j. Let w = 9 - u. Solve -5 = -w*s + 3 for s.
4
Let p(w) = -5*w + 50. Let m(x) = 3*x + 21. Let v be m(-4). Let y be p(v). Solve 0*q = -y*q for q.
0
Suppose 14*b + 407 = 51*b. Solve -b*v + 2*v = -v for v.
0
Let r = -594 - -624. Solve 0 = -z - 14*z - r for z.
-2
Let b(m) = 2*m**2 + 16*m - 1. Let a be b(-10). Suppose a = -4*p - 0*u - u, -2*p = -u + 21. Let c be (15/p)/((-3)/8). Solve -c*s - 4 - 4 = 0 for s.
-2
Suppose -3*s = 25 - 13, -2*r - 5*s = -10. Solve -r = 838*p - 833*p for p.
-3
Suppose 4*x - 4*p = -64 + 240, -3*p = 2*x - 78. Solve 35 + x = 11*t for t.
7
Suppose 0 = -6*h - 4*t + 292, -5*h - 20*t + 21*t = -252. Solve 13*u = 2 + h for u.
4
Let g be 3*4/(-24) + 645/10. Let v = g - 55. Solve -8*r - 5 = -v*r for r.
5
Let h(g) = 2*g**2 + 67*g - 1650. Let r be h(-50). Solve -b + 2*b + r*b = 0 for b.
0
Let r be (-2)/2*-13 - (-14 - 460/(-23)). Solve r*a = -25 + 74 for a.
7
Suppose -5*u - 4*i = 1530, -u - i - 306 = -4*i. Let b = u + 321. Solve o 