= 635 - 626. Solve k*t + 21 - 12 = 0 for t.
-1
Let l be (-4)/(-14) - (-4)/(-14). Let r = -4981 + 4983. Solve l*x - r = -x for x.
2
Let u(s) = -4*s**2 - 105*s + 91. Let k be u(-27). Solve k = -79*c + 77*c for c.
-5
Let o(g) = -g**2 - 5*g - 1. Let j be o(-3). Suppose 2*r + 2*q - 3 = q, -2*r - j*q = -15. Solve r*u = -u for u.
0
Suppose -5*o - 4*d = 61, -3*o + 0*d = d + 31. Let v(a) = -a**2 - 10*a - 2. Let u be v(o). Let r be (16/4 - u) + 9. Solve r = -5*w + 1 for w.
-1
Suppose -4*w = -s - 1 - 22, 4*s = -2*w + 16. Let f be (-2 + 0 - -2)/1. Let r = w - f. Solve k - r*k = -15 for k.
3
Let x = -74 - -48. Let j = x - -28. Solve 2*g = -j*g - 16 for g.
-4
Suppose 7*g + 570 = 13*g. Let a = g + -90. Solve 5*v + a = -0*v for v.
-1
Let v = 13 + -13. Suppose -5*p + 7 = -o - v*o, 5*o = -p + 17. Suppose b - p = 8. Solve 6*t - b = t for t.
2
Suppose -4*y - 5 - 7 = -4*c, -3*c + 5 = -5*y. Solve y*b - 4*b = 2*b for b.
0
Let s be ((-7)/3)/(2/72). Suppose -22 = 2*a - 20. Let k be (s/(-6))/((-2)/a). Solve -k - 2 = -3*x for x.
3
Let h(y) = 6*y + 46. Let d(t) = -4*t - 45. Let o(q) = -6*d(q) - 5*h(q). Let z be o(6). Solve z*u - 17 = 3 for u.
5
Let y(j) = -j**2 + 8*j - 7. Let b = -5 - 25. Let i be ((-2)/3)/(4/b). Let q be y(i). Solve x - q = -x for x.
4
Let k be (4/(-8))/((-2)/(-24)). Let a be 3/k*(-4 + 4). Solve 0*j + 3*j = a for j.
0
Suppose -8*n - 16 = 8*n. Let m be (-1 - 8)*n*1. Solve -m = -2*p + 5*p for p.
-3
Let q = 13 + -8. Let y = 1 + -1. Let s = y + 6. Solve q*j - s = -31 for j.
-5
Let a be (-69)/6*(4 + 0 + -6). Suppose -7 = 4*d - a. Solve -20 = -d*f - 0*f for f.
5
Suppose -3*m = -2*b - 104, -b - 47 = -m - 3*m. Let c = -48 - b. Solve 4*k + 1 = -c for k.
-2
Let c be 9/(-27)*-63 + -9. Solve 13*g = c*g for g.
0
Let o be 6/3*14/4. Let j(m) = 24 - m - o - 5*m + 4*m. Let l be j(6). Solve -l*t + 11 = 1 for t.
2
Let z = 47 + 40. Let q = z + -77. Solve 8*k - 4 = q*k for k.
-2
Let l(z) = -2*z**2 + 24*z - 17. Let k be l(11). Solve 0 = -8*v + k*v - 9 for v.
-3
Let b be 312/91 - 4/(-7). Suppose -2*f + 6*f = -b*f. Solve f = 2*t + t + 6 for t.
-2
Suppose 0 = 8*w - 21*w + 52. Solve 0 = -5*i + i + w for i.
1
Let i = 74 - 74. Suppose i = -7*y + y. Solve -5*q = -y*q for q.
0
Let j = 114 - 56. Suppose -51*z - j = -53*z. Solve -z + 14 = 5*r for r.
-3
Let g = -11 - -13. Suppose -2*c - 4 = 0, 0*c + 94 = -g*v + 4*c. Let x be (-2)/8 - v/12. Solve -2*y - 2 + x = 0 for y.
1
Let v = 307 + -281. Solve 27*l + 5 = v*l for l.
-5
Suppose -u + 52 = 31. Suppose u = 5*c - 39. Solve 2*h - 5*h = -c for h.
4
Suppose -4*r = 4*w - 104, 4*w = -r + 6*w + 17. Solve 0 = r*x - 21*x - 10 for x.
5
Let g(z) = 17*z + 63. Let u be g(-3). Solve 7*v = u*v - 10 for v.
2
Suppose v - 3*p = 12, 3*v - p = 2*v + 4. Suppose -4*y = -v*y + 16. Let g be 3 + y + 2 + 2. Solve 9 = g*i - 0*i for i.
3
Suppose 156 = -4*t + 4*p + 52, 133 = -5*t + 2*p. Let x = t + 33. Solve 3*g - x = g for g.
3
Suppose 4 - 5 = -f. Let s(j) = j**2 - j + 1. Let w be s(f). Solve -w = -c + 1 for c.
2
Let h be (-1 - (-2 + 0))*1. Let o(a) = -a + 14. Let f be o(8). Suppose -3*m = 2*q - f, m + 3*q - 10 + h = 0. Solve 5 + m = r for r.
5
Suppose -v = -6*v + 15. Suppose -d + 109 = 5*y, 4*d = -0*y + 2*y - 48. Suppose -4*b + 26 = -y. Solve 0*i - b = v*i for i.
-4
Let i be 2 - (-4)/(-3) - (-75)/225. Suppose 2*l = 0, 0*j + 12 = 4*j - 5*l. Suppose -4*s + 3*b - 1 + 12 = 0, s + j*b = -1. Solve d = -s + i for d.
-1
Let o = 0 - -3. Suppose o*z - 88 = z. Suppose -z + 12 = -4*c. Solve 6*x - 2*x + c = 0 for x.
-2
Let p = -4 + 7. Let q(d) = -2*d**3 + 3*d**2 + 38*d - 7. Let x be q(5). Solve z - p*z + x = 0 for z.
4
Let a(w) be the second derivative of w**5/120 + 5*w**4/12 + 2*w**3/3 + 2*w. Let x(q) be the second derivative of a(q). Let l be x(-10). Solve 2*b = 8 - l for b.
4
Let t(y) be the first derivative of y**2/2 + 7*y + 21. Let i be t(-5). Solve -s = s + i for s.
-1
Let i(j) = -6*j + 48. Let n be i(8). Let z be 6/2 + (-3)/3. Solve 3*s - z*s + 3 = n for s.
-3
Let y(c) = -c**2 + 7*c + 3. Let u be y(5). Let o be u/4 - 2/8. Solve -k - 2*k - o = 0 for k.
-1
Suppose -36 + 32 = -w. Suppose -9*l + 2*i = -5*l - 42, 5*l = -w*i + 33. Solve 7*g - l*g - 10 = 0 for g.
-5
Suppose 2*a = 6*a - 8. Solve -a*h + 5 - 3 = 0 for h.
1
Let b = 21 - 21. Suppose 2*h + 2*v + 2 = 0, 2*h - 13 = -b*h + v. Solve -4*q + 8 = -h for q.
3
Suppose c - 6 = -c - k, -4*k = 3*c - 14. Suppose c*r + r = 12. Let i(w) = -w**3 + 4*w**2 + w - 1. Let u be i(r). Solve -8 + 2 = u*z for z.
-2
Let x(n) = -n**3 + 145*n + 11. Let l be x(12). Solve -l*z = -17*z + 30 for z.
-5
Suppose -7*m = -4*m - 30. Let l = m + -3. Suppose -12*f + l*f = -100. Solve 4*t = -0*t - f for t.
-5
Let v(d) = -d**3 - 4*d**2 + 5*d + 2. Let b = -44 - -39. Let q be v(b). Solve -5 - 1 = -q*s for s.
3
Let d be 0/(-1*(0 - -1)). Suppose 5*k = -4*l + 53, 33 = 140*k - 139*k + 4*l. Solve d*m = k*m for m.
0
Let g be ((-8)/16)/(1/(-6)). Let b = 3 - -1. Solve -f - g*f = b for f.
-1
Let q = 132 + -129. Solve -q*r = -1 - 11 for r.
4
Let d be (3/(-2))/(6/(-16)). Let i be 34/6 - (-1 + 160/96). Solve -d*b + 3 + i = 0 for b.
2
Let t(m) = -m - 5. Let g be t(-8). Suppose -i - 12 = -4*j, -15 = -j + g*i - 1. Suppose 0 = 2*v + k + 1, 0 = j*v + 4*k - k + 11. Solve 0 = v*w - 7*w for w.
0
Suppose -3*p - 239 = 187. Let n = p + 148. Solve 9 = 3*i - n*i for i.
-3
Suppose -18*q + 4*q + 126 = 0. Solve 2*w + q = -w for w.
-3
Let s(a) = -a**3 - 4*a**2 - 3*a - 1. Suppose -d + k = 3*k, 1 = k. Let f be s(d). Let h(u) = u**2 + 2*u - 1. Let b be h(f). Solve 2 = -4*m - b for m.
-1
Let y = 257 + -257. Solve -r + y = -4 for r.
4
Suppose 0 = -109*l + 117*l - 64. Solve -v = v - l for v.
4
Suppose 2*u = -3*o + 70, -o + 4*u - 5 = -u. Solve -5*s + s - o = 0 for s.
-5
Let d be (153 + -129)/((-3)/(-4)). Solve 5*u + 47 = d for u.
-3
Let o = 1171 + -1125. Solve -54 = 4*q - o for q.
-2
Suppose -5*a + 118 = 43. Suppose 70 = -5*k + 150. Let d = k - a. Solve -d = -2*b + 9 for b.
5
Let n(q) = q**3 + 1. Let r(i) = -i**2 + 7*i + 4. Let y be r(6). Let s = -11 + y. Let d be n(s). Solve -4*u = -d*u for u.
0
Let z(h) = -2*h + 32. Let k(w) = -w + 16. Let f(m) = -11*k(m) + 6*z(m). Let c be f(14). Solve 1 = l + c for l.
-1
Let z(d) = 6*d - 5. Let x be z(7). Let v = -17 + x. Solve v = 5*c - 0 for c.
4
Let j = 49 + -46. Suppose 5*t + 2*v = -v + 25, -4*t = -j*v + 7. Solve 0 = -l + 1 - t for l.
-1
Let u be (18/12)/((-6)/(-32)). Suppose 0 = u*f - 64 - 256. Suppose 9*w = 4*w + f. Solve -2*a = -2 + w for a.
-3
Suppose 26 = 2*o + 2*p, -5*p = -4*o - 0*p + 16. Let b = o + 14. Let t = b - 7. Solve 6 = -2*f + t for f.
5
Let a(z) = z**2 - 1. Let h be a(2). Let i be 4*((-7)/(-2) - h). Solve -i*u = -4*u - 4 for u.
-2
Let r(y) = 11*y - 170. Let h be r(16). Solve -h*j - 3*j - 18 = 0 for j.
-2
Suppose 6 = 4*d - 2, 0 = 2*g + d + 16. Let n = g + 9. Solve n = -8*o + 3*o for o.
0
Suppose 5*o + 2*t - 4 = -2, 3 = -5*o + 3*t. Suppose -13 - 3 = -2*q. Solve o = x + x + q for x.
-4
Let y(s) = s**2 + 4*s - 9. Let r be y(-6). Suppose 0 = j + r*j - 4. Let g be j/4 + (-1)/4. Solve g = -4*b - 3 - 1 for b.
-1
Let l = 322 - 320. Solve l - 4 = 2*i for i.
-1
Let g(s) = s - 9. Let b be g(9). Solve b = 4*f - 45 + 33 for f.
3
Let a = 6 + -4. Let k(u) be the second derivative of u**3/3 - 2*u**2 - 5*u. Let d be k(2). Solve -o + a = -d for o.
2
Suppose 4*j = 2*j + 12. Suppose 0 = j*w - 130 + 76. Solve 3*x - w = -24 for x.
-5
Suppose 0 = 5*q + 134 + 41. Let w = 41 + q. Solve -5*t + 4 = -w for t.
2
Let c be (-3123)/(-63) - 9/(-21). Suppose c*k - 2 = 49*k. Solve 7*q = k*q for q.
0
Let k be 133/57 - 8/6. Suppose 4*s - 13 + k = 0. Solve 4*i + 9 = -s for i.
-3
Suppose 4*o - 6 = 2*d, 5*d - 3*o + 15 + 0 = 0. Let g be -6*2/d*1. Solve -3*z + 8 = -g for z.
4
Let h be (-56)/140 - 1394/(-10). Solve 144 - h = 5*q for q.
1
Let i(a) = a + 7. Suppose -2 + 8 = -3*v. Let x be i(v). Solve 2*z - 5 = x for z.
5
Let c(l) = l + 9. Let y be c(-6). Suppose -3*q + 6*q - 15 = 0. Let u(k) = -k**3 + 6*k**2 - 3*k - 2. Let n be u(q). Solve y*v + n = v for v.
-4
Let b = 15 - -10. Let v = 30 - b. Solve 5 = -v*p - 0 for p.
-1
Suppose -4*p + 0*p = 3*o - 23, -5*o + 49 = -4*p. Solve 5*x + o*x = -56 for x.
-4
Let u = 22 + -11. Suppose 3*d - u = 3*n - 29, -n - 2*d = 3. Let l be (6/(-5))/((-60)/100). Solve -l*j = -5 - n for j.
4
Suppose -25*m + 24*m + 6 = 0. Let l be 0 - (1 + 3 - m). So