1
Suppose -a + 0*a + 4 = 0. Solve -4*d + 5 + 0 = 5*u, -10 = -a*u - 2*d for u.
5
Suppose 10 = 4*t + 2. Let k = -5 + t. Let j be ((-3)/12)/(k/156). Solve -u + j = u + 5*g, 0 = -2*u + 3*g + 5 for u.
4
Suppose 0 = 23*y + 43*y + 20*y. Solve y = -3*t - 5*q + 8, 2 = 5*t - q - 2 for t.
1
Suppose 3*f = -5*i + 10, 2*f - 5*i - 4 + 14 = 0. Suppose f = -l + 14 - 0. Solve -j - v - 6 = -2*j, l = 3*j + v for j.
5
Let o = 9 + -1. Let y be (-2)/o - (-100)/16. Let f be (5/15)/(3/27). Solve -2*d + f*b = 1 + y, 30 = 5*d + 2*b for d.
4
Suppose -4*i + 5*l - 2 + 26 = 0, 0 = 4*i - 3*l - 32. Solve -5*a - c + 11 = 0, 3*a = 2*a + 2*c + i for a.
3
Suppose -3*j + 5*s = -0*j + 19, 5*s - 31 = -3*j. Suppose m - 4 = y, -5*m + 3*y + j = -14. Solve -m*x + h = -4, -h = x - 6*x + 4 for x.
0
Let m(c) = -2*c - 8. Suppose -3 = -t + 4*g - 0, 3*t - 5*g + 5 = 0. Let j be m(t). Let a = 5 - 1. Solve 4 = j*i + a*r, 0*r = -2*i + r + 9 for i.
4
Let w be -3 + 9/((42/(-4))/(-7)). Let u be ((4 + -4)/w)/(-2). Solve -4*c + 20 = 2*x, -3*x + c - 3*c + 10 = u for x.
0
Suppose -5*g = -2*v + 13, -v - 2*g - 4 = -6. Solve 3*u = -v*i + 35, 0 = -i - 4*i - 4*u + 45 for i.
5
Let z = -402 + 410. Solve -y + z = 4*d, 0 = -6*d + d - y + 9 for d.
1
Suppose 4 - 20 = 4*a. Let v be (-4*1)/(-6 - a). Let k = -325 - -330. Solve -5*z = k*u, v*z + 0*z + 3*u = -1 for z.
1
Let z(g) = 2*g**3 + g**2 - 28*g + 4. Let m be z(-4). Solve 3*f - m*v = 7, 0*v = 2*v + 8 for f.
-3
Let q be -4 + 7*(-2 - -3). Suppose -4*a + 24 = 4*b, 0 = 4*b - q*b - 1. Solve -a*n + 5*h = -8 - 12, -2*h - 8 = 4*n for n.
0
Let b = -131 - -136. Solve b = -d - 3*u, 3*u - u + 18 = 3*d for d.
4
Suppose 3*z - 4*s + 6 = 0, 0*z - 3*s + 7 = -z. Solve 3*u = 3*h + z*u + 7, 16 = 4*u for h.
-1
Let h(k) be the first derivative of -k**2/2 + 9*k + 5. Suppose -3*d = -8*d + 25. Let j be h(d). Solve 2*r - 5*w + 25 = -5, -w + j = 0 for r.
-5
Let u(i) = -3*i**2 + 2*i + 1. Let w be u(2). Let y = w + 10. Suppose d = v, 0*v = -2*v - y*d. Solve -4*b + 5*f = -7, -4*b + v*f - 2 = -2*f for b.
-2
Suppose 14*b = 12*b - 10. Let j be (-15)/25 - 18/b. Solve -10 = -j*c - t - 0, t - 4 = -c for c.
3
Let x be (-11 - 13 - -24)*1/2. Solve 0 = -2*c - 5*f - 31, x*f = -2*c + 3*f + 9 for c.
-3
Suppose 5*v - 3*i - i - 63 = 0, v = -3*i + 24. Let c = -6 + v. Suppose 3*b + 0 = c. Solve -b*f = -4*p - 1, 4*f - 6 = 4*p - p for p.
2
Suppose -15 + 1 = 7*r. Let i(j) = j + 6. Let k be i(r). Solve -5*o = -5*v - 15, 5*v - k*o = -19 + 6 for v.
-1
Let x be (0 - 4) + 18/((-4)/(-2)). Solve m - 7 = -2*s, 3*m - 20 = -x*s - 4 for s.
5
Let t(w) = w + 3*w**2 - w**2 + 4*w - w**3. Let h be t(4). Let a = h + 24. Solve -2*c = 5*p - a, 3 = p + 5*c - 4 for p.
2
Let b = 63 - 57. Let y = b - 1. Solve 3*c + 6 = -4*n, -4*c - y = -n - 8*c for n.
-3
Let p be (-1 - -2) + -5 - -6 - -1. Suppose 0*b + 17 = 4*b + f, 5*f - 16 = p*b. Solve 4*l + 8 = 3*q, 11 = -b*q - 1 for l.
-5
Let i be 50/5 + (0 - (1 - 4)). Solve -4*n + 28 = 4*h, -9 = -2*n - 4*h + i for n.
3
Suppose 0 = 7*n - 146 - 8. Suppose n*a - 40 = 12*a. Solve 0 = -4*b - 0*b - 3*x - 8, b = -a*x - 2 for b.
-2
Let u be (-1)/((-1)/(4 + -7)) + 8. Let q = -2 - -18. Let k = 37 - q. Solve -r = 3*g - 11, 0 = -2*g + u*r - 0 - k for g.
2
Let k(t) = t - 4. Let m be k(6). Suppose 2*f + 51 = -w - 9, -2*f - 2*w - 56 = 0. Let z = f + 34. Solve -16 = 4*l - m*b, -5*l - z*b - 20 = -0*l for l.
-4
Let g(o) = 12*o + 11*o - 9 - 20*o - 14. Let u be g(10). Solve -k + u + 2 = 4*x, x = 3*k - 14 for x.
1
Suppose 0 = -19*r + 11*r. Solve -5*f = 3*x + 8, -x + 2*x + f = r for x.
4
Suppose 3*v + 2*c - 12 = 0, 3*v + 7 = 8*v - c. Solve 0 = 2*d + 4*u + 12, -d - 3*u - 3 = -v*u for d.
0
Suppose 0 = -4*c + 5*x + 53, 31 = 3*c - x - x. Let k be (-104)/(-32) + (-4)/((-96)/(-30)). Solve -2*g + k*t - 16 = 0, -c = -g - 0*t - 2*t for g.
-3
Suppose -w = 3*f - 50 + 6, 4*f - 3*w - 37 = 0. Solve 5*i = -3*u - 40, 12 = -5*u - f for i.
-5
Let r(t) = -3*t - 1. Let x be r(-1). Suppose -4*z + o = -2*o - 221, -o = -5*z + 279. Suppose 3*m = -2 + z. Solve -3*y + x*y = 5*h + m, -20 = 5*h for y.
2
Suppose -3*f + 5*f = -6. Let g be -1 + (f - -1)*-3. Solve -27 = 4*y - 2*v - 1, -g*v = -5*y - 40 for y.
-5
Let w(p) = p**2 + 5*p - 3. Let o be w(-6). Let m be 15/105 - (-44)/(-14). Let a be (-2)/(4/m)*(-20)/(-6). Solve a*j + s = -15, 0 = -o*s - 8 - 7 for j.
-2
Suppose -23 = -16*h + 9. Solve 0 = h*c + 5*d - 4 + 14, -c - 3*d - 7 = 0 for c.
5
Let g be (-672)/(-9) - 2/3. Suppose 0*m - 4*p - 32 = 2*m, 4*m = -3*p - g. Let o be (-4)/m - 3/15. Solve -2*u - 2*j + 7 + 3 = o, -2*j = 3*u - 14 for u.
4
Suppose -4*a - 5*f + 7 = 0, 4*a + 0*a - f - 13 = 0. Suppose 9 = i - 2*r, 0*i + a*r + 3 = -2*i. Solve 3*k + 0*k = -3*v + i, -5*k - 7 = 2*v for k.
-3
Let u = -50 - -53. Solve 8 = 4*h, 2*h + 1 - 2 = -u*k for k.
-1
Suppose -f - 4*t = 0, 4*t + 2 = -2. Let j be 9/4*28/21. Let w(r) = -r**3 - 4*r**2 + 4*r + 10. Let m be w(-5). Solve f*i = 5*c - i + 15, -j*i = -m for c.
2
Let v(m) = m**3 + 3*m**2 + 2*m + 3. Let i be v(-2). Suppose f = 7 - i. Solve 0 = 3*x + c + 3 - 1, -2*c = f*x + 4 for x.
0
Let p(s) = 2*s - 2. Let n be p(2). Let d be 6/(-1 - -3)*5. Suppose d = -3*t, -6*j + t - 10 = -11*j. Solve 4*y + 27 = -5*u, -n*y - u + j = -4*u for y.
-3
Let h = -4 + 6. Let o be (-2 - 5 - -7)/(2 - 3). Solve -5*s + o = -h*f + 12, 0 = f - 2*s - 5 for f.
1
Let k(c) = c**3 + 5*c**2 - 2*c - 6. Let f be k(-5). Let o be (f + -3)/(3/6). Solve 0 = -n - 4*b - 2 - 9, -4*n - o*b + 12 = 0 for n.
5
Let j be ((-4)/(-6))/(1 - (-20)/(-24)). Let w be 3/((j/6)/((-88)/(-99))). Solve a - 7 = -4*k, -4*a + w*k + 7 = 39 for a.
-5
Let u be 0/(8/(-4)) + -4. Let a be (u - 4/(-1))/(-1). Solve -3*d + 5*x = 6, a*x + 4*x = -d + 15 for d.
3
Let h(l) = -6*l + 8. Let m be h(2). Let j be (-14)/m - 3/(-6). Solve 0*x + 5*x + 21 = -2*a, j*a + 12 = -4*x for a.
2
Suppose r + 5*b = -3, -1 = -3*b + 4*b. Solve -3*v = 3*i - 3, 2*v + r*v = -3*i for i.
4
Let b be (1 + -2)/(3 - 2). Let j = 3 + b. Let d(x) = 2*x**3 + x. Let i be d(0). Solve 5*n - 2*s = 26, -s - 5 + j = i for n.
4
Let y be (-5)/(2/(-4) + 1). Let c(w) = -w**2 - 12*w - 15. Let f be c(y). Suppose 9 = -i + 3*v, 3*i - v + 0*v = -3. Solve -u = s - i*u - 9, 4*s - f*u = 0 for s.
5
Let n(j) = 33*j**3 - j**2 - j. Let k be n(-1). Let r = 147 + k. Suppose f = 3*m - 62, 5*m + 2*f = f + r. Solve 2*c + z - 11 = 0, 7 = -4*c + 5*z + m for c.
5
Let a be (-1)/(((-2)/18)/(2/9)). Solve -4*b - 4*j - 4 = 0, 3*b = -a*b + 2*j - 5 for b.
-1
Let s(k) = -2*k**3 - k**2 + k + 6. Let r be s(0). Suppose 2*x - r*x = -40. Solve x = -2*t + 2*g, t + 4*g - 11 = g for t.
-1
Suppose 20 = -5*t + 7*t. Let q = -10 + t. Suppose -22 - 18 = -5*p. Solve -d - 5 = -q*d - l, 3*d + 4*l = -p for d.
-4
Let d = 18 - 13. Let r be 1/(-3)*24/(-2). Suppose 3*b = 4*z + 124, 5*b + 2*z = -0*b + 198. Solve -3*g = j + r, 0*g + 5*g - d*j = -b for g.
-3
Suppose -2*s - l = 0, 2*s - 21*l - 12 = -16*l. Solve 0 = 4*u + 5*k - 4, -k + s = 3*u - 2 for u.
1
Suppose 0 = -44*j + 46*j - 28. Let w(u) = -3*u. Let k be w(-1). Solve -3*a + j = 2*g, -a - 2 = 2*g - k*g for g.
4
Let a = 10 + -5. Suppose -692 = 2*v - 698. Solve -5*x = -2*k + 10, a*x - 8 = -v*k + 7 for k.
5
Let m = 5 - 2. Let o be 29 - m/((-12)/8). Suppose -4*q + 103 = o. Solve 5*k + 2*c - q = 0, -k + 5*c = 4*c - 5 for k.
4
Let k(b) = -b + 10. Let y be k(8). Let q be ((-6)/y)/(18/(-12)). Solve q*r + 1 = 4*a + 5, 5*a - 3*r = -6 for a.
0
Let o be (-2)/(140/105*(-1)/6). Solve n - 3*f = o, -3*f - 8 = -2 for n.
3
Suppose 0 = 6*r - 77 + 65. Let c be (3*24/18)/(0 + r). Solve -8*h + c*a + 8 = -4*h, -2*h - 2*a = -10 for h.
3
Suppose 4*m + h - 6 = 0, 3*m - 8*h = -3*h + 16. Solve -3*j - m*d + 7 = 0, 3*j - 3 = -3*d + 3 for j.
3
Suppose -2*z - 2*z = -16. Suppose 2*k - z*p - p + 9 = 0, p = 2*k + 29. Let y = k - -42. Solve 4*b + 7 = 2*j + 1, 4*j + 5*b = y for j.
5
Let v be 14/(-10) + 12/30. Let i = 0 - v. Suppose 13*l - 10 = 11*l. Solve -t + l*t = -4*k - 20, -3*t + 5*k = -i for t.
-3
Let n(z) = z**3 + 18*z**2 + 33*z + 21. Let g be n(-16). Solve -g*i + 5 = -5, -4*h + 3*i = 22 for h.
-4
Let s(z) = 4*z + 1. Let k be s(1). Suppose 0 = -k*i + 40 - 15, i = 2*x - 1. Solve -r + 0*r = -4*b - 4, 2*r - x*b = 8 for r.
4
Suppose 0 = 5*r - 5*z - 5, 4*r + 24*z - 29*z - 2 = 0. Solve 0*b = r*b, 5*d = -4*b + 10 for d.
2
Suppose 0 = -2*l + 4*y - 2, -l + 3*y = 7*y + 1. Let p = -30 - -78. Let u be (-6 - l)/((-1