i - t for i.
-2
Let y be 0 - ((-2 - -3) + 4). Let h be 3/(12/(-40)*y). Suppose 0 = 4*p + h*n, 9*n - 4*n + 20 = 0. Solve g + 2 = -p for g.
-4
Let n be 22/5 - (-9)/15*1. Suppose 2*f - 50 = -n*g + 11, -f = 2*g - 25. Suppose 28 = 5*v - 3*a, 2*v + 3*a - 17 = g. Solve -k = -v + 13 for k.
-5
Suppose -189 = 5*d - 8*d. Let u be 3/2*672/d. Solve -2*k = -6*k - u for k.
-4
Let n be (12 - 10)/(-1 - (-26)/28). Let a be n/(-7) - (-1 + -1). Suppose -50*k + a = -48*k. Solve k*g = -g + 4 for g.
1
Let r(i) = -i**3 + 3*i + 2. Let s be r(-2). Suppose 5*q - 2*l - 61 + 23 = 0, -3*q = 3*l - 27. Suppose 250 = q*v + 2*v. Solve -s*g - g - v = 0 for g.
-5
Let o = 13 + -10. Suppose 0 = -o*n + 9, -6*d + 2*d + n = 3. Solve d = m + 4 - 2 for m.
-2
Let d = 21797 + -21608. Solve -d = -14*p + 77*p for p.
-3
Suppose -3*n - 4*k = 259 - 341, -4*n = 2*k - 96. Solve n*l - 18*l = 16 for l.
4
Let k be (2/6)/((-2)/(-18)). Suppose -2*r - 5*r = 12*r. Suppose -t = -4*m - k*t, m - 5*t - 11 = r. Solve 3*u + m = 4*u for u.
1
Suppose -8*o - 17 = -356 - 37. Solve -30*w + o - 17 = 0 for w.
1
Let y(s) = -180*s - 80. Let d be y(-3). Let p = 473 - d. Solve -5*t = p + 7 for t.
-4
Suppose -36*i - 3590 + 18030 = 2*i. Solve 372*d = i*d for d.
0
Let i be (54/(-36))/((-4)/72). Suppose -53*r = -i*r. Solve r = v - 6 + 11 for v.
-5
Suppose -20*a + 24*a - 16 = 0, 10 = 2*t - 5*a. Let f be 1*(-12)/30 - (-51)/t. Let d = -1 - -7. Solve 0 = -3*z - f - d for z.
-3
Let a(u) = -6*u + 43. Let v(b) = -2*b**2 + 25*b + 20. Let k be v(13). Let g be a(k). Solve g + 9 = -5*l for l.
-2
Let a = -230 - 123. Let m = a - -353. Solve m = -8*o + 6*o - 4 for o.
-2
Suppose 5*q = 5*v + q - 299, -q = -2*v + 122. Suppose -8*u = -v - 9. Solve -2*m = u - 1 for m.
-4
Suppose 11282*c - 11302*c = -480. Solve c*k - 80 = 88 for k.
7
Suppose 5*g + 17*g = 0. Let p(w) = 2*w**2 - 28*w - 135. Let t be p(-4). Solve -11*v + t*v + 6 = g for v.
3
Suppose -4*v + 56 = -5*j, -34*j = -4*v - 35*j + 56. Solve v*c = 12*c + 4 for c.
2
Let n(b) be the second derivative of b**4/12 + 5*b**3/2 + 29*b**2/2 + 9*b - 4. Let k be n(-2). Solve 2 = 5*h - k for h.
1
Let z be 340/68 - (3*-1 - 0). Suppose -2*u = -z*u - 360. Let k = 66 + u. Solve k*w - 6 = 4*w for w.
3
Let j = -8347 - -8359. Suppose 0 = y + 4 - 11. Solve -4*q - j = -y*q for q.
4
Let t(j) = -193*j + 3093. Let k be t(16). Let o be (-22)/(-8) + (-2)/(-8). Suppose 0 = k*s - 17 - o. Solve -1 - s = f for f.
-5
Let f be 6/27*-3 + (-462)/(-18). Let l = f + -11. Let m be 9 + -1 - 28/l. Solve -3*u + m + 9 = 0 for u.
5
Suppose g = -6*g + 119. Let m be 2 + 0 + -12 + g. Suppose -4*t - m*t + 55 = 0. Solve -4*i - 13 = -t for i.
-2
Let j(s) = -2*s - 43. Let c be j(-25). Suppose 0 = c*o + 10*o - 68. Solve -o = 4*m - 20 for m.
4
Suppose 3*z - 3*m - 339 = 0, 16*z - m = 13*z + 347. Solve -z = 21*w + 9 for w.
-6
Let v(z) = -3*z + 2. Suppose -2*r = -0*a - a - 4, 4*a - 4*r = -28. Let l be v(a). Suppose 5*s - 4*q = 46, 3*q = 2*s - 2*q - l. Solve s = -3*o - 9 for o.
-5
Let f be (-153)/12*8/(-6). Solve -f*z - 39 = -124 for z.
5
Suppose 14150 - 21074 = -37*z + 20752. Solve -z + 703 = 9*c for c.
-5
Suppose 3*n = -a + 3 - 2, -n - 13 = -3*a. Let v = 491 - 492. Let u be (11/((-110)/15))/(v/2). Solve a*z - u*z = 0 for z.
0
Suppose o = -o + 3*i + 6, -3*o - 2*i - 4 = 0. Let x(r) = 5 - 12 + 0 + o + r. Let g be x(10). Solve u - 8 = g*u for u.
-4
Let o = -214 - -213. Let r be (o + 21/14)*24. Solve 28 - r = -4*c for c.
-4
Let f = 14 - 8. Let g(h) = -h**2 - 177*h - 856. Let t be g(-5). Solve f*x = t*x + 10 for x.
5
Let v be 1/3 + (-16060)/(-60). Suppose 5*y - v = -43. Let g = -42 + y. Solve 0 = g*p + 6 for p.
-2
Let r be (-9)/6*(-2350)/75. Solve r = 4*s + 15 for s.
8
Suppose 5402 = -123*l + 35660. Solve -83*g = -g - l for g.
3
Let n = 2314 - 2282. Solve 20*u = n + 28 for u.
3
Suppose 29 = -0*n + n. Let s be 1/(5/(-30)) - (-34 + -1). Let m = n - s. Solve m = 4*a - 9*a for a.
0
Let g(z) = -z**3 - 9*z**2 + 4. Let l be g(-9). Let w be ((-21)/14 - 6)*l/(-6). Solve -y = -w*y for y.
0
Let g(h) = -h**3 - h**2 + 2*h. Let t(u) = -u**3 + u**2 - 2. Let p be t(0). Let k be g(p). Suppose -7*d - 7 = -91. Solve k*a - 3*a = -d for a.
4
Let s be ((-96)/(-45) - 2) + 658/15. Let k be (-7)/(-4) - 0 - s/(-176). Solve -k*v + v + 3 = 0 for v.
3
Suppose s - 18*g - 2 = -13*g, -4*s = -2*g - 8. Solve s*z = 3*z - 0*z for z.
0
Let t(i) = -858*i - 8509. Let n be t(-10). Solve -n*v - 138 = 146 for v.
-4
Suppose 94 = 2*c + 4*d, -40*c + 35*c + 251 = 2*d. Solve 40*t + 251 - c = 0 for t.
-5
Let y be (-4)/7 + 36/14. Let k be (-5 + 4)/(y/(-4)). Suppose 19*h + 4*t = 18*h - 10, 2*h - 4*t - 28 = 0. Solve -4*c = -k*c + h for c.
-3
Let m = 122 + -50. Let w be 5*(m/20 - 3). Solve w*j = 6*j for j.
0
Let a = -6774 - -6776. Solve -22 + a = 5*r for r.
-4
Suppose -2*v - 3310 = -4*h, 2*v + 2505 = 3*h + 5*v. Let c = h + -818. Solve 28*f + c = 31*f for f.
4
Let w be 2*(-6)/(-12) + 65. Suppose 5*y = 5*x + 95, -2*x = -0*y - 4*y + w. Solve 13*k + 1 = y*k for k.
1
Let d(g) = 11*g - 79. Suppose 6*c = -5*f + 3*c + 60, 25 = 5*f - 4*c. Let z be d(f). Solve -4*j - 4 + z = 0 for j.
4
Suppose 0 = -4*v - 9 + 37. Let h = -1892 + 1894. Solve 0 = h*d + 3 + v for d.
-5
Suppose 20 = -0*w + 5*w. Let v = -160 - -176. Let t be ((-10)/4)/((-8)/v). Solve -t = w*r - 1 for r.
-1
Suppose 71 = 5*q + 21. Suppose l = -b - 4*l - 7, -4*b + q = l. Let u(a) = 3*a**2 + 8*a - 12. Let y be u(-4). Solve -b*n + y*n = -3 for n.
-3
Suppose 0 = 3*k + 22*k - 5*k. Solve -11*t + 18 + 4 = k for t.
2
Let y(i) = -i**2 + 4*i - 3. Let k be y(3). Suppose -157*b - 687 = -169*b + 3*f, 0 = -5*b + 5*f + 335. Solve k = c + b - 49 for c.
-5
Let t(a) = 2*a**3 - 2*a**2 - 29*a + 60. Let j be t(2). Let r(z) = z**2 - 3*z - 2. Suppose -5*h + 7*h = 8. Let s be r(h). Solve s*q - 4 = -j for q.
-3
Let u(f) be the first derivative of f**2/2 - f - 62. Let j be u(5). Solve -6*h + j*h + 2 = 0 for h.
1
Let t = 1611 + -1606. Solve t = 195*x - 190*x for x.
1
Suppose 0 = -4*s + 24. Suppose 1522*v - 1293*v = 1145. Solve -v = -h + s*h for h.
-1
Suppose 0 = d - 3*u - 5, -8*u - 16 = -2*d - 4*u. Suppose 2*t - 6 = d. Let j(h) = -h**2 + 10*h + 4. Let l be j(t). Solve 15 = -l*b + b for b.
-5
Suppose 5*x = -20*f + 16*f + 103, -4*f + 43 = x. Solve 24 = 7*d - x*d for d.
-3
Let x(r) = r**3 + 9*r**2 + r - 2. Let a be x(-8). Suppose -f - 3*l - 22 = 0, 5*f = l - 2*l - a. Let n = f + 10. Solve 5 + n = -5*q for q.
-1
Let l = 609 - 614. Suppose 0 = 3*q + q + 4*z + 4, -5 = 5*q + z. Let i be q - (-1 + 2) - l. Solve 2*f = f + i for f.
3
Suppose 39*a = 44*a - 10. Suppose -2*p + 3*l = -2*l + 16, -2*p = a*l - 12. Let t = 4 - -3. Solve t*m + p = 5*m for m.
-1
Suppose -171*y - 120 = -183*y. Solve 2566*s + y = 2568*s for s.
5
Let f(u) = u**2 - 6*u + 5. Let y be f(5). Let b(d) = 3*d + 8. Let c be b(y). Suppose -c*h + 5*h = -30. Solve 0*k = -2*k + h for k.
5
Suppose -2*p = -14 + 4. Suppose 2*q = -4, -9*q - 12 = -2*c - p*q. Solve -c*l - 15 = -5 for l.
-5
Suppose 0*n - 6*n = -432. Let x = -68 + n. Solve 2*o - x = -2*o for o.
1
Suppose 0 = 10*h - 5*h - 115. Suppose -31*t + h + 8 = 0. Solve -3*x - t = -4 for x.
1
Let m be 604/(-10) + (-30)/50. Let i(r) = 5*r + 40. Let q be i(5). Let f = q + m. Solve -4*s = -0 - f for s.
1
Let l be (2/(-2)*-5)/1. Suppose -5725 = -34*n + 5699. Let y = -324 + n. Solve 0 = -c + l*c + y for c.
-3
Suppose 4*r = 3*o - 5, 4*r = 3*o + 2*o - 11. Suppose 34 = 11*q + r. Solve 0 = 3*t + q + 6 for t.
-3
Suppose k + 2*k = 3348. Solve 0 = 5*r + k - 1111 for r.
-1
Let r(f) = f**3 + 12*f**2 + 11*f + 2. Let u be r(-11). Let j be (-4 - (-105)/10)*u. Suppose j*t - 36 = 4*t. Solve o = -t - 1 for o.
-5
Let u be ((33 + 3)/(-1))/(-2 + 1). Suppose -u = -4*k + 7*k. Let d be -2*3/k*(16 - 2). Solve -5*s - d = -32 for s.
5
Suppose -19*n + 48 = -15*n. Suppose -5*s + 2*b - 17 = 43, -n = s - 2*b. Let y be s + 13 + (1 - (-1 - -1)). Solve -y*v - v = -9 for v.
3
Suppose -y = 4*y + n + 880, 515 = -3*y + 2*n. Let h = y - -182. Solve -2*t + h*t = -20 for t.
-4
Let v be 9/(-7 - (-13 - -5)). Solve 15*p = v*p + 12 for p.
2
Let g(y) = -2*y**3 + 57*y**2 - 340*y + 6. Let i be g(20). Solve 17*l - i = 14*l for l.
2
Let b(g) = -g**3 + 4*g**2 + 8*g - 13. Let u be b(5). Suppose -18 = -5*w + 4*c, 0 = -w + u*c - 0*c. Suppose 15 = 3*n - 21. Solve w*l = 3*l - n for l.
-4
Let c(n) = -n**2 - 13*n - 17. Let w be c(-