- 4*z, 0 = 3*a + a + 4*z - 16. Solve -a*d + 4 = 39 for d.
-5
Let k(g) = g**2 + g + 4. Let u be k(0). Suppose -4 = -2*o + 6. Suppose -3*f = -u - o. Solve -7*i + f*i + 20 = 0 for i.
5
Let g = -2 + 4. Suppose -g*z - 5*v - 8 = 0, -3*v = 5*z - 2*z + 3. Let b be -1*-1*(z + 1). Solve -b*f + 0 = -2 for f.
1
Suppose d + d = d + 8. Let k = -1 + 1. Solve k = -3*u + d*u for u.
0
Suppose -32 = -2*b - 0*b - 4*k, -5*b + k = -69. Suppose 4*n + 14 = f, 4*n + b = f + 9*n. Solve -4*h - f - 2 = 0 for h.
-4
Let i(h) = h**3 - 16*h**2 - 18*h + 21. Let b be i(17). Let c = 2 + b. Solve 0 = -3*d - 0 - c for d.
-2
Suppose -31*f + 247 - 92 = 0. Solve -19*g - 120 = f*g for g.
-5
Suppose 2*d - 3*d - 21 = 0. Suppose 31*s + 184 = 39*s. Let q = d + s. Solve -q*b + 8 = -0 for b.
4
Let s = 1549 + -1548. Solve -3 = -4*m + s for m.
1
Let u = 89 + -85. Solve 0 = u*w - 9*w for w.
0
Let t(d) be the first derivative of 2*d**2 + 34*d - 9. Let g be t(-7). Solve -5*s - 4 = -g*s for s.
4
Let x = 106 + -103. Solve 9 = x*l - 6 for l.
5
Let f = 1204 + -1197. Solve z + 16 = -f*z for z.
-2
Suppose -2*w + 14 = -0*w. Suppose -2*n = l - 7, n - 52 = -4*l - 38. Solve -w*t = -n*t for t.
0
Suppose 4*q + 2*c = 158, 5*q + 16 = c + 196. Solve 0 = -2*w + q - 45 for w.
-4
Let h(v) = -5 - 2*v + 2 - 3*v + 2. Let j be h(3). Let z = -15 - j. Solve i - 2 = -z for i.
1
Let v = 18 - 6. Let d(j) = j**2 + 11*j + 15. Let f be d(-11). Suppose 0 = -f*g + 13*g. Solve g = 5*q - q + v for q.
-3
Suppose 3*u = 7*u + 8, -4*i - u + 38 = 0. Solve 3 = i*c - 7*c for c.
1
Let a(b) = -b**2 + 32*b - 220. Let x be a(17). Solve x = -7*c + 14*c for c.
5
Let a be (-9)/(1 + 2) - -5. Let n(j) = -j**3 + 4*j**2 - 4*j + 3. Let g be n(a). Solve g*f = f for f.
0
Let p = 92 + -86. Solve p = 6*a - 3*a for a.
2
Suppose 2*g = 10, -5*g + 74 = 5*f + 14. Solve -f*y = -4 - 10 for y.
2
Let x be (1 - 1)/(-39 - -37). Solve x = -o + 2*o - 3 for o.
3
Let s(p) = -p**3 + 17*p**2 + p - 15. Let t(x) = 4*x**3 - 68*x**2 - 4*x + 61. Let n(c) = 9*s(c) + 2*t(c). Let b be n(17). Solve j - 10 = -b*j for j.
2
Let y(t) = -9*t**2 - 22*t - 5. Let z be y(-2). Solve -3 = -6*c + z*c for c.
1
Let f(a) = -a**2 + 15*a - 22. Let u be f(13). Solve -u*k + 5 = 17 for k.
-3
Let j be (-2 - -2)*(60/(-8) - -7). Solve 0 = 5*x - j*x + 5 for x.
-1
Suppose g + 10*z - 15*z - 26 = 0, 4*g - 53 = 3*z. Solve -15*v = -g*v + 8 for v.
-2
Let o be -3 - -1*(-9 + 13). Solve 11*l = -12 + o for l.
-1
Suppose -39 = -10*k + 1. Suppose -k*f = -7 - 5. Solve 3*m + 9 = -f for m.
-4
Let m(w) be the first derivative of w**5/60 + 5*w**4/12 + 3*w**2 + 1. Let a(g) be the second derivative of m(g). Let n be a(-10). Solve n = -2*o - 1 - 3 for o.
-2
Suppose -31*z + 12 = -27*z. Suppose 2*c = -z*s + 32, 5 + 36 = 4*s + c. Solve -3*h - s = 2*h for h.
-2
Let h = -55 - -58. Suppose s + 2*s = d - 6, -2*d + h*s + 12 = 0. Let w(g) = -g + 1. Let i be w(1). Solve -d = 2*u - i*u for u.
-3
Let g(k) = -k - 4. Let c be g(-7). Suppose c*q = 16 - 16. Let x be (-6)/(-4)*16/6. Solve -i = -q + x for i.
-4
Suppose 3*r = -0*r. Let q = -2 + -2. Let c(h) = -2*h - 4. Let w be c(q). Solve 4*o = -w - r for o.
-1
Let f(p) = 2*p**2 - 4*p + 4. Let b be f(2). Suppose 4*x - 1 = b*i - 5, 2*x - i = 3. Suppose x*j - 10 = -j. Solve -8 = -2*w - j for w.
3
Suppose -91 = -3*q - 4*k, -21 = 4*q - 5*q + k. Solve 19*h = q*h for h.
0
Let k(t) = -5*t**3 - 3*t**2 - 2*t - 1. Let c be k(-2). Suppose j + 44 = 5*m - j, -c = -4*m + 3*j. Solve m = 2*i - 4*i for i.
-5
Let y be (3 + -4)*2*-2. Suppose 2*g = y*s - 4, 0 = 4*s - 3*g + 1 - 7. Solve -2*r - 4 = -s*r for r.
-2
Suppose 0 = 2*f + 2*j - 22, -3*f - 35 = -4*f + 5*j. Suppose -5*w - 21 = o, 3*o + 2*o = 2*w + 30. Solve -d = o*d - f for d.
3
Suppose -34 = 5*c - 149. Let x = -23 + c. Solve x = n + 3*n + 8 for n.
-2
Let r(q) = q**2 + 6*q + 14. Let o be r(-4). Solve 0 = -x + o*x for x.
0
Let b = 375 + -373. Solve -18 - b = -4*j for j.
5
Let d(i) = 5*i - 16. Let h(m) = m**3 + 4*m**2 - 9*m - 16. Let l be h(-5). Let s be d(l). Solve 8 + 12 = s*v for v.
5
Let l be 2/(-3) + 170/30. Suppose -g - l + 9 = 0. Suppose b + 30 = g*b. Solve b = -p - p for p.
-5
Suppose 0 = -4*t - 190 - 162. Let o be (t/(-6))/((-6)/(-9)). Suppose -58 - o = -4*y. Solve 2*d = -2*d - y for d.
-5
Let f be (-1)/2*0/(-3). Solve f = 32*b - 34*b + 6 for b.
3
Let h = -301 + 311. Let s be -1*(-40)/2*1. Let l = s - h. Solve l = 3*u + 2*u for u.
2
Let l(d) = d**3 - 2*d**2 - 2*d - 3. Let t be l(3). Let p be (-8)/(-3) + ((-16)/6 - -4). Solve t = p*s - 0*s + 20 for s.
-5
Let v = 64 - 60. Solve 16*r - v = 15*r for r.
4
Let g(t) = t - 5. Let y be g(10). Suppose 0 = -2*h + 3*i - 11, -5*h + i = -2*i + y. Suppose 0 = -h*n + r + 1, -r - 7 = -3*n - 2*n. Solve -4*w = -n*w for w.
0
Suppose 2*a + 21 = 2*f + f, 0 = -3*f + 5*a + 12. Suppose m - 3*m = j - f, 3*j - 25 = -5*m. Let r be -2*(-2)/((-12)/(-21)). Solve -r = 2*u - j for u.
-1
Let a(u) = 2*u + 8. Let h be a(4). Suppose -h = 7*n - 9*n. Solve -4*f + n = -4 for f.
3
Let m(h) = -h**2 + 11*h - 16. Let b be m(2). Solve -4*k - b = -6*k for k.
1
Let j(v) = v**2 - 17*v + 18. Let s be j(16). Suppose 3*b + 3*r = -27 - 6, 4*r = -b - 23. Let h = b - -11. Solve -2*p = s*p + h for p.
-1
Suppose -702 = -37*q - 110. Solve 2*h = -6*h - q for h.
-2
Let o = 4 - -2. Suppose -11 = -u - 5*v + 23, 0 = -2*u + 3*v + 3. Solve o*i - u = 3*i for i.
3
Suppose 0 = 13*h + 20 - 150. Solve 6*q = q + h for q.
2
Suppose -4*g = 3*c - 50, 0 = -2*c + 11 - 15. Solve 5*m + m = g*m for m.
0
Suppose -4*d - 18*d = 0. Let j(g) = g**2 - 2*g - 1. Let t be j(-1). Solve 0 = -d*o - o + t for o.
2
Suppose 93*r = 96*r - 48. Solve r = -8*o - 16 for o.
-4
Let d = 22 + 2. Let x = -5 + 25. Let p = d - x. Solve p = -n - 0 for n.
-4
Let f(n) = 12*n - 1. Let k be f(1). Let o = -7 + k. Let g = 1 - 1. Solve -o*a - 3 - 1 = g for a.
-1
Let u(r) = r - 3. Let i be u(6). Let o(j) = 2*j**3 - 5*j**2 + 5. Let f be o(i). Let s = 21 - f. Solve 4*p = s + 5 for p.
3
Let s = -21 + 27. Suppose 0*h - s*h = -12. Solve h*d = 5*d + 3 for d.
-1
Let g = -367 + 371. Solve -10 = -6*h - g for h.
1
Suppose -2*m - 5*c = 2*m - 15, 2*m = -4*c + 6. Suppose b - 11 = -q + 5*q, -22 = -4*b + m*q. Solve -3 = -b*p + 6 for p.
3
Suppose -8*o + 9*o = -4*y, -4*o = -3*y - 95. Solve -4*k - o = k for k.
-4
Let k(b) = -93*b - 712. Let u be k(-8). Solve -10*z - 18 = u for z.
-5
Let c be 6/(-4)*(24/(-9) - -2). Solve c = -4*d - 3 for d.
-1
Suppose -47 = -7*q + 4*q - 2*j, 3*q = 3*j + 72. Solve -3*a + q - 7 = 0 for a.
4
Let h be (-6)/((-50)/10 + (-3)/(-1)). Suppose -5 = -5*q - 4*o + 15, 2*o - 20 = -5*q. Suppose q*w - h - 9 = 0. Solve f - 20 = -w*f for f.
5
Let c be 4 + (6/4)/(3/4). Suppose -4*t + t = -c. Solve 4*k = 3*k + t for k.
2
Let b = 380 + -372. Solve -z = -b*z + 7 for z.
1
Let b(a) = -4*a + 8. Let o be b(4). Let p be (o/10)/(11/55). Let w(d) = d**3 + 4*d**2 - d - 4. Let h be w(p). Solve h*u = u + 3 for u.
-3
Suppose -12*o + 30 = -6*o. Suppose -3*j = f - o, -j + 3*j + 5*f = 25. Let u be 1 - 2 - (-2 + -1). Solve j = -u*c - 3*c for c.
0
Let g be ((-3)/(-6))/((2 - 5)/(-24)). Let p(f) = f**2 - 4*f. Let c be p(g). Solve -4*n + n = c for n.
0
Let b(q) = -9*q - 4. Let g(x) = -5*x + 3 + 12*x + 3*x. Let l(t) = 5*b(t) + 4*g(t). Let o be l(-4). Solve 2*p + p = o for p.
4
Suppose -w + 3 = -1. Let q be -2*15/10 - -5. Suppose -2*j = -x - 5*j + 27, x = q*j + 2. Solve w*y + 0 = x for y.
3
Let q(l) = -4*l - 8*l + 10 + 11*l. Let y be q(4). Solve -8*n + y*n - 6 = 0 for n.
-3
Let y be ((-2)/6)/((-7)/189). Let t = -10 + y. Let g be 25/((0 + -1)*t). Solve -7*d + 2*d + g = 0 for d.
5
Suppose 4*n = -4*w + 69 - 9, -3*w + 9 = 0. Suppose -3*m + 4*v = -8, -m + 4*v + v - n = 0. Solve -3*t - 10 = -m*t for t.
2
Let g be (36/(-21))/(51/(-119)). Solve g*m = 2*m - 8 for m.
-4
Let p be (1/3)/(29/435). Suppose p*w + 3*d - 3 = 0, 3*w = 2*d - 0*d + 17. Solve 0 = w*v + 13 + 2 for v.
-5
Let p = 11 + -5. Suppose 3*b - 4*h - h - p = 0, 0 = h. Suppose -y = b*y - 3. Solve l + 0 = y for l.
1
Let o(c) = c**3 + 6*c**2 + 5*c + 7. Let f be o(-5). Solve -p + f = 4 for p.
3
Suppose -g = 4*m - 344, 5*m - 4*g = -47 + 456. Solve 50 = 7*n + m for n.
-5
Suppose w = -3*w + 2*w. Solve w*i = 9*i - 18 for i.
2
Suppose -3*q - 2*q = -10. Suppose -v + 0*v = -q. Solve 0 = y - v for y.
2
Let f = -386 + 435. Solve f*u = 50*u for u.
0
Let r = -57 - -66. Suppose -4*a + 3*h + 19