or c.
3
Let r = -1709 + 1711. Solve 0*n + r = -2*n for n.
-1
Let z(b) = 51*b - 189. Let a(q) = -10*q + 38. Let t(l) = -21*a(l) - 4*z(l). Let j be t(7). Solve 0 = -j*y + 3*y + 3 for y.
-1
Suppose -5*n + 12 = 2. Let z(c) = 2*c**3 - 2*c**2 - 2. Let i be z(2). Suppose -i*a + n*a = -8. Solve s + 9 = -a*s for s.
-3
Let j(n) = -n**2 + 10*n + 34. Let s be j(8). Solve s = -3*q + 59 for q.
3
Suppose 5*z = 90 + 10. Suppose z = 6*w - 2*w. Suppose -2*l + w = -l. Solve 2*p - l = 3*p for p.
-5
Suppose 0*y = 2*c + 2*y + 2, -5*c - y = -3. Let k be 0/(-5) + 5 + c. Solve 10*p = k*p for p.
0
Let k(g) = -g - 2. Let n be k(-6). Let v be ((-11)/n)/((-19)/76). Solve 0 = 5*s + 31 - v for s.
-4
Let n be (3 + (-18)/5)*(-17 + 7). Solve -s + n = 4 for s.
2
Suppose -48*f + 11*f + 444 = 0. Solve 20 = -2*p + f for p.
-4
Let x be (1 + 1)*375/50. Solve 9*p - x = 4*p for p.
3
Let c be 338/39 - (-4)/3. Solve 8*d + c = 13*d for d.
2
Let l be -7 - 3/(0 + 1). Let x be (l/50)/(2/(-30)). Solve 3*h - x = 6 for h.
3
Suppose 4 = -l + 58. Solve -l = 3*r - 57 for r.
1
Let x(h) = -h - 3. Let t be x(-8). Suppose 0 = 2*q + 5*z, t*q = 3*q + 5*z + 40. Solve q = 5*l - 5 for l.
3
Let l(y) = -9*y**2 - 5*y + 12. Let v(k) = 6*k**2 + 3*k - 8. Let r(j) = 5*l(j) + 8*v(j). Let h be r(3). Solve -h = -3*m - m for m.
5
Let a be (-6 + 3 - -1)*-1. Let p(b) = -a + b + 2 + 5. Let i be p(-3). Solve i*x = 5*x for x.
0
Let c = -32 + 44. Let z be 0 + 3/(c/8). Solve z*l - 8 + 18 = 0 for l.
-5
Let g(h) = -h**3 - 5*h**2 - 6*h - 6. Let b be g(-4). Suppose -b*n = -0*m + 3*m + 9, 4*m = -20. Suppose 5*l - 41 = -16. Solve -n*q - l = 1 for q.
-2
Suppose -b + 8*b = b. Suppose 0 = -b*t + 12*t. Solve 0 = -j - t*j + 3 for j.
3
Suppose 2*f - 4*k = -9*k + 5, -2*k + 2 = 5*f. Solve 2*u + 1 - 3 = f for u.
1
Let q(t) = 2*t - 4*t + 5 - 3*t + 6*t. Let u be q(-5). Let m be (3/(-9)*u)/(-2). Solve m*x + x = -3 for x.
-3
Suppose 0 = -h - 5*g - 2 + 11, -4*g + 52 = 4*h. Suppose -5*t + 81 = 51. Solve -t = 5*o + h for o.
-4
Suppose 0 = 450*y - 452*y. Solve y = -6*a - 1 + 7 for a.
1
Suppose -3*o - 3*b - 7 = 2, 3*o + 4*b + 12 = 0. Let k be (11/(-55))/((-1)/5). Solve o*l - k = l for l.
-1
Let k be 2 - (1 + 1)*(-3)/(-2). Let c be (1 + k/2)/((-3)/(-120)). Solve 0*l = 5*l - c for l.
4
Suppose -s = 2*s - 9. Suppose 5*q = 4*d + 67, -s*q + 48 = -2*d - 3*d. Let k = 551 - 546. Solve -k*u = -1 + q for u.
-2
Let y = -1 + 6. Suppose -y*j + k + 108 = 3*k, -4*k = -4*j + 64. Suppose 5*f = -4*m - 5 - 0, -3*f - j = -m. Solve 0 = -t + m*t for t.
0
Let v(q) = -5*q - 17. Let i(o) = -o**2 - 3*o + 6. Let j be i(2). Let p be v(j). Solve -2 = -f - p for f.
-1
Let y = -958 - -958. Solve y = 12*b - 15*b - 9 for b.
-3
Suppose -5*u - 260 = 5*x, -2*u + 5*x - 21 = 90. Let g = u - -58. Solve g*w = -1 - 9 for w.
-2
Suppose 9*k = 12*k - 120. Suppose -3*o + 4*o = 3*n + 12, -4*o + 4*n + k = 0. Solve -v = 2*v + o for v.
-3
Let i = -38 - -36. Suppose 3*a - 10 = -k - 0*k, -5*a + 30 = 5*k. Let n = k + i. Solve -n*l = 2*l + 16 for l.
-4
Suppose -v = 4*v - 75. Let r be (3 - 2 - 0)*v. Suppose r*m = 20*m - 15. Solve 3 + 9 = -m*x for x.
-4
Let h(z) = z**2 + 10*z + 9. Let g = 29 + -38. Let d be h(g). Solve k - 3*k - 4 = d for k.
-2
Suppose 4 = 3*w - 0*w + 5*q, -12 = -3*w + 3*q. Solve w = 2*u + u for u.
1
Let n(z) = z**3 - 48*z**2 + 3*z - 130. Let l be n(48). Solve -l*j - 45 = j for j.
-3
Let w(c) = 13 - 3 - 2 + 13*c - 14*c. Let y be w(3). Solve y*s = s + 8 for s.
2
Let i = 469 - 449. Solve i = -2*s - 2*s for s.
-5
Let u = 26 - -9. Let n = -33 + u. Suppose -3*v = -7*v - 12, 2*k - n*v = 10. Solve p = -p + k for p.
1
Suppose 0 = 4*a - 6*a + 3*a. Suppose a = -3*c - 2*l - 3*l + 9, 0 = 2*c + 3*l - 6. Solve 4*j = c*j for j.
0
Suppose -t - 2*q + 342 = q, 5*t - 1710 = -5*q. Suppose -2*n + 1 = -2*x - 9, 0 = -5*x - 5*n + 5. Let c be x/7 - t/(-21). Solve 2*i + 2*i - c = 0 for i.
4
Let y(c) be the second derivative of c**3/6 + 7*c**2 - 5*c. Let j be y(-14). Solve 3*t + 5 + 1 = j for t.
-2
Let y be (4 + 0)/(-1) - 5. Let n(a) = -a - 4. Let s(l) = -2*l - 7. Let v(r) = y*n(r) + 4*s(r). Let u be v(-5). Solve o + 4 = -u*o for o.
-1
Let j be (3/6)/(2/188). Suppose 4*k - j = -d + 4*d, 4*k = 2*d + 34. Let t = d + 14. Solve -a = -3 - t for a.
4
Let v(n) = n**2 + 3*n + 10. Let x be v(-8). Let k = x - 35. Solve -s = 2*s - k for s.
5
Let c be (434/(-5))/(-2) - (-8)/(-20). Solve 3*s = -c + 31 for s.
-4
Let u = 36 + -21. Let f be (u/12)/5*4. Let b be f - 4 - (-8 + -1). Solve 0 = -5*g + 9 + b for g.
3
Let z(r) be the second derivative of r**4/12 + 13*r**3/6 + 23*r**2/2 - 30*r. Let l be z(-11). Solve l + 2 = -n for n.
-3
Let d = 16 - 51. Let w = d + 36. Suppose w = p - 0. Solve b = p + 1 for b.
2
Suppose 7*c = 3*b + 8*c - 10, 2*b + 2*c - 4 = 0. Solve b = 3*m - 11 for m.
5
Let n(r) = r + 3. Let a = 22 - 14. Let o(l) = -l**2 + 10*l - 16. Let p be o(a). Let i be n(p). Solve i*t = 6*t - 3 for t.
1
Let o = -908 + 911. Solve 0*a + 3*a = -o for a.
-1
Suppose 3*t - 9 = p, -4*t + 4*p + 2 = -9*t. Let r(q) = 7*q**3 + q**2 - 2*q + 1. Let z be r(1). Suppose -z*d = -t*d - 15. Solve -7*m = -4*m + d for m.
-1
Let d = 332 + -227. Suppose -d*q = -104*q. Solve q*u + u = 2 for u.
2
Let y(x) = -x**2 - 6*x - 5. Let s be y(-4). Suppose -4*n = -n. Suppose 4*t - 34 - 30 = n. Solve -s*i = i + t for i.
-4
Let v = 17 + -2. Suppose -d + 0*d = 3*h - 3, -v = -5*d + h. Let c be (-4)/10*(13282/(-1740) + (-4)/(-30)). Solve c*s - d = 2*s for s.
3
Suppose 255 + 83 = 13*q. Suppose -59 = -5*m + m - 3*a, m + 5*a - 2 = 0. Let g = q - m. Solve -2*y = y - g for y.
3
Suppose -17*y + 34 + 68 = 0. Solve -9*j + y = -11*j for j.
-3
Suppose 5*m + 20 = 0, 27*m + 95 = 5*g + 22*m. Solve g*c - 15 = 18*c for c.
-5
Let x(i) = -2*i**2 + 5*i**2 - 96 - 21*i - i**2 + 85. Let d be x(11). Suppose 2*h + 7 = 31. Solve -4*s + h = -d*s for s.
3
Suppose 0 = 3*m, -3*a + m + 2 = -1. Let v be a + (0 - -1)*1. Suppose -3*t + 2*g + 21 = -v, 0 = -t + 4*g + 21. Solve 0 = d + t - 2 for d.
-3
Suppose -131 = -b + 2*z - 39, -5*b = 3*z - 447. Solve b*o - 84*o = -18 for o.
-3
Suppose 0 = 3*z + 15, -2*l - 19 = -3*l + 3*z. Suppose -3*b - 12 = -7*b, -5*s + 17 = l*b. Solve -s - 3 = -t for t.
4
Suppose -74*u = -94*u. Solve u*y - 3*y = -4*y for y.
0
Suppose -99*j = -110*j + 110. Solve 6*m - 2 = j for m.
2
Let t = 32 - 41. Let d be 3/(t/3) + 9. Solve 0 = -d*m + 6*m - 8 for m.
-4
Let r(n) be the second derivative of n**5/120 + n**4/8 + n**3/2 + 4*n. Let t(h) be the second derivative of r(h). Let u be t(-3). Solve 0 = -u*o + o + 2 for o.
-2
Let j(f) = -f**2 + 25*f - 66. Let z be j(22). Solve a - 7 + 11 = z for a.
-4
Let w(s) = -4*s + 37. Let l be ((-3)/2)/(((-2)/(-2))/(-6)). Let t be w(l). Solve -2*r + r - t = 0 for r.
-1
Let o be 4/(-22) + (-4)/(-22). Let a = 5 - o. Suppose 0 = -3*w + 2*n + 7, a*w - 21 = 3*n - 2*n. Solve 16 = -l + w*l for l.
4
Suppose -2*x = -15 - 13. Suppose -2*s = -4, 2*g - 3*s + x = -0*s. Let i be (-16)/(-9) + g/(-18). Solve i*r + 2 = r for r.
-2
Suppose 0 = -13*l + 9*l + 84. Solve -5*o - 1 = -l for o.
4
Let g(m) be the second derivative of m**5/20 - 13*m**4/12 + 7*m**3/3 - 12*m**2 - 14*m. Let j be g(12). Solve 0 = -2*a - j*a for a.
0
Suppose v = 2*v - 1. Let r be (14/35)/(v/20). Let l(a) = a + 3. Let m be l(r). Solve 5*i - 9 = m for i.
4
Let y = -47 - -52. Let g be (y - -1)*3/(-6) + 3. Solve 0 = -i - g*i for i.
0
Suppose -788*r = -774*r. Let h = -3 - -5. Suppose 2*i = 5*i + 9, r = -3*y - h*i. Solve -4*d + y = -2*d for d.
1
Suppose 33*n - 38*n = 5*c, n + 4*c = -6. Solve -17 = 3*t - n for t.
-5
Suppose 20 - 4 = 4*s. Let n = 6 - s. Suppose 5*k - 3 = -p, -5*p - 4*k = -n*p - 9. Solve -p*l - 25 = 2*l for l.
-5
Let d = -157 + 160. Let f = -1 + 2. Let k be ((-2)/f - -1)/(-1). Solve -t = -d - k for t.
4
Let d = 81 - 80. Let x be -6 + 7 + 2 + 0/d. Solve 0 = -p + x*p for p.
0
Suppose -28 = -51*t + 227. Solve 0 = 3*r + t - 17 for r.
4
Let q(p) = -p**2 - 14*p + 75. Let y be q(4). Solve -2*l = y*l for l.
0
Let a be -25 + (4 - ((-2)/2 + 1)). Let j(g) = -g**2 - 20*g + 31. Let b be j(a). Solve -5*k + 0*k = b for k.
-2
Suppose 0 = 2*m + r - 17, -2*m + r = -6*m + 29. Solve -m*w - 12 = -10*w for w.
3
Let g be 3/2*(12/(-4) - -7). Solve 5*x + g = 2*x for x.
-2
Let i(t) = t**3 + t**2 - 2*t + 2. Let a be i(2). Let y be (34/a + -4)*-5. Solve 0 = -y*b - b for b.
0
Let u = 30 + -16. Solve -2*d = 4 - u f