-1 for t.
2
Suppose -j + 3*f + 2 = 8, 0 = -j - 5*f + 18. Let n = -8 + 12. Suppose p = -p + n. Solve -i + j = -p for i.
5
Let v be 1 + (1 - -1) + 0. Suppose -2*u - 3*a = 4, 99 = u + 4*a + 111. Solve -v*z - u = -16 for z.
4
Suppose -m = -2*v - 2*m + 18, 3*m = -2*v + 14. Solve -14 = -v*q + 26 for q.
4
Let j be 360/54 + (-4)/6. Solve -u + 3*u = -j for u.
-3
Suppose -4*n + 3 = f, -4*f = 2*n + 11 + 5. Let i = 122 - 117. Solve 0 = -n*g - 3*g - i for g.
-1
Let h = -846 + 851. Solve -h*p + 2*p = 15 for p.
-5
Let f = 4 + 1. Suppose -48 = -f*t + 92. Let b = t - 17. Solve -3*w = -b - 1 for w.
4
Let n = 14 - 12. Let q be n - -4*(3 + 2). Suppose -q = 3*c - 58. Solve 4*r + c = 4 for r.
-2
Suppose -55 + 10 = -3*q. Solve 13*m - q = 8*m for m.
3
Let p be 1*2 - (-7 - -6). Let y = -4 - p. Let g be (-2)/y - (-8)/(-28). Solve -3*v + 9 + 3 = g for v.
4
Suppose -f = 4*r - 23, 3*f = 2*f + 3. Suppose c = r - 3. Solve 0 = -b - c*b for b.
0
Let j(i) = i**3 + 8*i**2 - 13*i - 30. Let f be j(-9). Solve f*c = -c + 7 for c.
1
Let k(p) = p**3 - 3*p**2 - 4*p. Let x be k(4). Suppose x = f + f. Let m be (4 - 5) + 6 - f. Solve -5*d = -10 - m for d.
3
Let r(p) = -p**3 - 9*p**2 - 9*p - 3. Let n be r(-8). Let t = -68 - -62. Let z be (5/5 - (-1 + 3))*t. Solve 0 = n*u + 9 + z for u.
-3
Suppose 9*k + 5*o - 15 = 5*k, 5*k = -o + 3. Solve 6 = 3*m - k*m for m.
2
Let t(b) = -b**2 + 7*b - 5. Let f be t(5). Suppose f*r + 2*r = 140. Solve 0*h = 4*h - r for h.
5
Let y be (-68)/(-18) + 4/18. Let u = -17 - -19. Suppose -6*d = u*d - 32. Solve 8*w = y*w - d for w.
-1
Suppose 4*v - 7*v + 44 = 2*q, -3*q + 63 = 3*v. Solve -q*g = -12*g for g.
0
Let d = -37 + 38. Suppose 3*c + l - 3 = d, 0 = -4*c + 2*l + 22. Solve -c = -3*m + 9 for m.
4
Suppose 0 = -2*k - 7*k. Solve k*c = -4*c + 8 for c.
2
Suppose -1 = 2*c - 2*a + 1, -5*c - a = -19. Let d(p) = 1 + 2*p - 6 + 0*p. Let o be d(c). Solve 2*g - 1 - o = 0 for g.
1
Let s be -30*((-12)/5 + -9 + 11). Solve 16*v - s*v = 12 for v.
3
Let d(n) = -n**2 + 19*n + 22. Let q(l) = -l**2 + 6*l - 3. Let o be q(5). Suppose o*k - 140 = -5*k. Let s be d(k). Solve 3*g = s*g for g.
0
Let p(w) = -11*w + 81. Let k be p(7). Let h(m) = m**2 - 6*m + 4. Let a be h(6). Suppose 0 = -4*o + 4*g - 4, a*g - 22 = -6*o + 4*o. Solve -o*b = -k - 5 for b.
3
Let x be 8/14*(-5852)/(-88). Solve x - 11 = 9*f for f.
3
Let i be (-4)/64*-20*4. Solve i*u = 65 - 45 for u.
4
Let v be -4*(-11 + (5 - -4)). Solve 5*k + 12 = v*k for k.
4
Let t(n) be the third derivative of -n**3/6 - 2*n**2. Let a(p) = p + 1. Let j(v) = a(v) + t(v). Let x be j(3). Solve g + 4 = x for g.
-1
Let f be ((-150)/18 + 1)*-3. Solve 0 = 12*w - f*w - 20 for w.
-2
Let v = -93 + 98. Solve 31 = -v*w + 6 for w.
-5
Let w(z) be the first derivative of -z**4/4 - 8*z**3/3 - 5*z**2 + 14*z + 3. Let u be w(-6). Solve 2*g = -u - 4 for g.
-3
Suppose 53*w = -6*w + 413. Solve w*l = 20 - 13 for l.
1
Suppose -3*p - 2*x = 3 - 22, 0 = 4*p + 5*x - 16. Let b = -8 + p. Solve 2*k - k = -b for k.
-1
Let k = 794 - 769. Let b be (-56)/(-10) - (-2)/5. Solve k = b*x - x for x.
5
Suppose -132*u + 408 = -124*u. Solve 60 - u = 3*a for a.
3
Let m be 3 + (2 - 5)/(-3). Solve 0 = 4*w + m + 8 for w.
-3
Suppose -2*u = 3*v - 6*u - 212, 0 = 3*v - 5*u - 208. Solve -85 = -3*r - v for r.
3
Let a(f) = -f**2 + 20*f - 28. Let v be a(18). Solve -l = v*l - 27 for l.
3
Let y(l) = l**2 + 2*l - 3. Let b be y(-3). Suppose 5*d + b*d - 25 = 0. Let u(q) = q**2 - 8*q - 18. Let p be u(10). Solve -p + d = -h for h.
-3
Let z(m) = 19*m - 153. Let h be z(9). Solve 10*o = 4*o - h for o.
-3
Let o(y) = y**2 + 3*y + 2. Let a be o(-3). Solve -a*q + 14 - 8 = 0 for q.
3
Suppose 0 = 128*f - 127*f - 6. Solve v - 9 = -f for v.
3
Let l = 462 - 459. Solve -2 = -l*n + 2*n for n.
2
Suppose -j = -8 + 2. Let d(p) = 3*p. Let i be d(6). Suppose -8*q + i = q. Solve y = -q*y - j for y.
-2
Let o(d) = -35*d - 199. Let f be o(-6). Solve 13 = -m + f for m.
-2
Let b = -1042 + 1043. Solve -4*f - 19 = b for f.
-5
Let h(f) = -41*f - 274. Let j be h(-7). Solve -j*k = -9*k - 4 for k.
1
Let h = -46 - -39. Let i = -4 - h. Solve -g - i = 1 for g.
-4
Let t = -254 + 258. Solve -2*d - t = -2 for d.
-1
Let p = 27 + -14. Let l = 11 - p. Let g be (1 + l/4)*0. Solve -2*z = -g*z + 2 for z.
-1
Let r = 64 - 60. Let b(s) = -7*s + 1. Let u(l) = -8*l + 1. Let c(g) = -7*b(g) + 6*u(g). Let j be c(r). Solve 0 = -y - j for y.
-3
Let h be (1 + -1 + 0)/(-2). Suppose h*g - 3*g = 0. Suppose -3*y = 2*b - 2, 15*y - 16*y = -10*b - 22. Solve g = z - 4 + y for z.
2
Let v be (((-36)/(-8))/9)/(2/208). Let g = v + -49. Solve -f - 2 = -g for f.
1
Let l = -1391 + 1436. Solve -10*m + l = -m for m.
5
Suppose -i = -2*w - 4, 5*i + 5*w + 8 = -2. Suppose -3*y + 14 + 8 = 4*o, -3*y + 6 = i. Suppose -31 = -3*x + o*j, -2*x - j - 6 = 3*j. Solve -5*l = x + 5 for l.
-2
Let r(x) = -x**3 + 12*x**2 - 12*x + 14. Let s be r(11). Suppose 5*j - 15 = 4*h - 9*h, 0 = -s*h - j + 13. Solve 0 = -f + 1 - h for f.
-4
Suppose -u = -4*w - 8, -4 - 16 = 4*w - 4*u. Let q = 20 + w. Solve 5*x = -q - 1 for x.
-4
Let n = 1425 + -1365. Solve 0 = -59*o + n*o - 4 for o.
4
Let h be -11 + 8 + (-24)/(-4) + -1. Solve w = -w - h for w.
-1
Suppose -7 + 10 = -3*a. Let n be (-5)/((-25)/10)*(-1)/a. Solve 5*p + n = 7 for p.
1
Suppose 0 = 5*a - 5*i + 10, 0 = -a + 3*a - i + 2. Suppose 2*h - 25 = -3*h. Suppose -v + h*v = a. Solve g + 0*g + 5 = v for g.
-5
Suppose 10*h = 5*h + 15. Suppose -4*z + 23 = y, -h*z + y + 27 = 5*y. Solve 0 = -3*l + 8*l + z for l.
-1
Let i be (0 - (3 - 4)) + 14. Let k = i - 36. Let n = k - -25. Solve 0 = -3*v + v + n for v.
2
Suppose -q - 3*h - 3 = -4*q, 5*h = 10. Suppose v + q + 8 = -u, 4*v - 22 = 2*u. Let x = u - -12. Solve 4 + x = k for k.
5
Let x = -13 + 21. Suppose -79*f = -65*f. Solve 2*t - x = -f*t for t.
4
Let v(k) = -6*k - 36. Let g = 10 + -16. Let b be v(g). Solve b*q + 4 = -q for q.
-4
Suppose 5*n + 0*n = 25. Suppose -6*v + 3*v + n*f - 9 = 0, 5*f - 15 = 0. Let c(z) = -z + 18. Let m be c(13). Solve -3 - v = -m*g for g.
1
Let w be 1 - (-3)/((-9)/(-15)). Let g(y) = y - 4. Let m be g(w). Solve 0 = 6*u - 4*u + m for u.
-1
Let b(s) = -3*s - 13. Let i be b(-6). Suppose -i*f = -8*f. Solve f*k = -k for k.
0
Let i = -13 + 24. Suppose 0*q = -q - 3*p - 11, q + 4*p = -i. Let n = 12 + q. Solve g = -n - 3 for g.
-4
Let i = -200 + 204. Solve n + i = 2*n for n.
4
Suppose 62*r = 63*r - 8. Solve 0 = r*d - 12*d - 8 for d.
-2
Let w(k) = -k**2 - 8*k + 2. Let v be w(-7). Suppose 0 = -3*p - 3 + v. Let d be p/(-3) + 4/6. Solve -q - 1 + 4 = d for q.
3
Suppose 9*a + 41*a - 36 - 164 = 0. Let r(q) = -q - 2. Let n be r(-5). Solve 0 = i - n*i + a for i.
2
Let z(c) = -5*c**3 - 2*c**2 + 1. Let p be z(-1). Suppose -p*h + 103 = -u, 2*h = 4*u + 29 + 19. Let n be 1/(-2) - h/(-4). Solve 3 = 3*r - n*r for r.
-1
Let m be 14*(-5)/2*(-5)/5. Let f = 35 - m. Solve -3*a = -f*a + 6 for a.
-2
Let j(i) = -i - 11. Let t be j(-11). Suppose -5*h + r + 7 = t, -2*r - 2 = -5*h + 2. Suppose -y - 5 = h*u - 2, u - 3 = y. Solve 5*q - 14 - 11 = u for q.
5
Let u be 3/(-6)*(-4 - -2). Suppose -3 - u = -2*d. Solve 6 = -5*s + d*s for s.
-2
Let a be 4/(63/30 + 12/(-120)). Solve -4 - a = -6*d for d.
1
Suppose -23 + 58 = 7*o. Solve -o*c - 4 = -14 for c.
2
Suppose 0*z = -z + 44. Let t = -76 + z. Let q be (-4)/14 + t/(-14). Solve q*g + 3*g + 5 = 0 for g.
-1
Let t be -19 + 3/(12/(-8)). Let m = 16 + t. Let c = 7 + m. Solve -c = -f + 2*f for f.
-2
Let y be 13 - (2 - 1)*2. Let u = y - 8. Suppose 2*b = 5*f - 17, 6*f - b = u*f + 10. Solve -q + 0*q = -f for q.
3
Let c(z) be the first derivative of z**4/4 - z**3 - 2*z**2 + 10. Let s be c(4). Let n be s/2 + -1 + 5. Solve 0 = -3*p + 4*p + n for p.
-4
Suppose -3*f - 3*m = -48, -3*f - 146*m = -141*m - 58. Solve f*i - 10*i = -1 for i.
-1
Suppose 5*s - 172 + 22 = -5*p, -4*p - s = -108. Solve 9 = -7*o - p for o.
-5
Suppose -t = -5*y + t + 10, 5*y + 5*t + 25 = 0. Suppose 20 = 2*x - y. Let r be (2/(-3) + 0)*-3. Solve -x + r = -2*q for q.
4
Let i(b) = 2*b**2 + b. Let c be i(3). Solve c - 9 = 4*k for k.
3
Let k(i) = 21*i - 49. Let z be k(3). Solve 6*c = z - 38 for c.
-4
Let s be (21/4)/((-3)/(-4)). Solve 6*c + s = 1 for c.
-1
Suppose w = 0, 0*s - 5*s + 4*w = -105. Let l = s + -15. Let y be (-4)/l*(0 + -3). Solve 2*m + y*m = 4 for m.
1
Let c be (-4)/12 + (-28)/(-12). Suppose 0 = -s - 4*x - c, 4*s - 5 = -3*x - 