 - 0*j + 4 for j.
0
Let g(n) = -n**2 + 29*n + 30. Let d be g(30). Solve 5 = 4*i + z, -4 = -d*i - 5*i - 2*z for i.
2
Suppose -3*g + 16 = 13*v - 8*v, 0 = -2*g - 6. Solve v*d - 6*d = -k - 4, 5 = -5*k for d.
3
Let p be (-15)/(-135) + (-322)/(-18). Solve -3*w + 3*z = -4*w + p, 4*w - 4*z = -8 for w.
3
Let h(q) = -q**2 + 11*q - 13. Let d be h(9). Let k = d - 2. Suppose 17*z = 5*z + 108. Solve 3 = -x - p, -k + z = -3*p for x.
-1
Let z = -23 - -21. Let c be z/(8/(-14))*40/35. Solve 0 = -p + 6*p + o + 4, p - c*o = -5 for p.
-1
Suppose -12*s = -25*s + 39. Solve o - 3 = -s*b - 1, b - 2*o = 3 for b.
1
Let x(n) = n**2 - 35*n + 152. Let z be x(5). Solve 23 = z*k - 5*q, -2*k = 5*q - q + 22 for k.
-1
Let a be (-8)/(-48) + (-323)/(-6). Suppose 7*x + a = 10*x. Suppose 21*s = x*s. Solve s = -m + 4*c + 3, c + 23 = -5*m + 2*c for m.
-5
Let a be 1/1*(0 - 0). Suppose -209*i + 192*i = -102. Solve -2*p + 3*v - i = 0, a = -4*p - 0*p - v + 16 for p.
3
Suppose 4*a - 12 = 0, 0 = 3*i - 0*a + 5*a - 27. Solve -3*h + 27 = 5*o, -2*h + 3*o - 17 = -i*h for h.
4
Let c be 1*-4*(4 + -5). Let o(h) = -4*h**2 - c + 2*h**2 + h**2 + 7*h. Let q be o(6). Solve -2*t - 21 = -5*m + 10, -2*m = -q*t - 16 for t.
-3
Suppose 5*c + 47 - 62 = 0. Suppose -c*w = -3*o - 0*w - 6, 0 = 5*o - 2*w - 2. Solve -2*f - o*f = -4*d + 12, d + 4*f + 7 = 0 for d.
1
Let a = 44 - 47. Let n be -4 + 11 + a + -1. Solve -g + 8 + 5 = n*c, -4*g - 13 = -c for g.
-2
Let m(i) = 7*i - 42. Let c be m(6). Solve 3*j - 2*h - 5 = 0, -j + c*h + h = 0 for j.
5
Suppose 0 = -m + 2*a + 17, -m + 5*a - 3 = -2*m. Suppose -2*j + 9 = 1. Suppose j*s - 7 = m. Solve 2*g = 5*b - g - 25, -2*g = -s*b + 25 for b.
5
Let z(l) = -l - 5. Let n be z(11). Let m = -12 - n. Let o = m - 2. Solve -k + 4*x + o + 5 = 0, -4*x - 2 = -2*k for k.
-5
Let b = 98 - 95. Solve -b*l + 5*z = -37, -l - 2*l - 5*z - 13 = 0 for l.
4
Suppose 0 = n + 4*b - 3*b - 8, -3*n = -3*b. Solve -g - 5*a + 5 = g, -n*g = 5*a - 15 for g.
5
Suppose -5*h - 82 = v, 5*h = v - 6*v - 430. Let y = v - -90. Solve 0*t + 3*t - 12 = 0, -y*n = -t + 19 for n.
-5
Suppose b - 5*d - 29 = 14, -56 = -2*b + 4*d. Suppose -b*s + 20*s = 6. Solve s*u + 4*k - 2 = 0, 4*u + 3*k - 2*k + 6 = 0 for u.
-2
Let y(u) = -u**2 - 6*u - 5. Suppose -4*z + 4 = -4*r - 8*z, 4*r - 2*z = -28. Let o be y(r). Suppose l = -o*l. Solve 4 = -k, 4*m + 4*k - 3 - 1 = l for m.
5
Let b(m) = -m**2 + 7*m - 1. Let j be b(6). Let h(p) = p + 9. Let i be h(-6). Suppose -6*c + j*c = -i. Solve 4*n - 3*a + 8*a - c = 0, -3*a - 9 = -3*n for n.
2
Suppose 3*u - 3*k - 3 - 6 = 0, -12 = 4*k. Suppose 7*n + n - 152 = u. Solve -2*o - 5*p = o - 14, 4*p - n = -5*o for o.
3
Let j(g) = g**2 - 6*g + 5. Let r be j(5). Suppose r = -4*l - 2*y + 12, -5*l - 2*y = -7 - 6. Let t = 1 + l. Solve a + f = 2*f - 2, 0 = 4*a - t*f + 4 for a.
0
Suppose 2*b - 6 - 4 = 0. Suppose -5*i = b*y - 3*i - 49, -y + 5*i = 1. Solve -5*n - 3*t = -y - 7, -3*n - 2*t + 9 = 0 for n.
5
Let v be (-273)/(-18) + (-2)/12. Suppose -8*b - v = -11*b. Let n be 2/((-18)/(-4) + -4). Solve 5*g + b*r = 0, -3*g + 0*g - n*r = 1 for g.
1
Let n(p) = -7*p**3 - 14*p**2 + p + 5. Let c be n(-2). Solve -5*f + 10 = 0, c*x - f - 11 - 2 = 0 for x.
5
Let w = 1 - 1. Let j be (-28)/(-13) + ((-66)/39)/11. Solve -4*q = -j*f + 12, w*f - f + 1 = 3*q for q.
-1
Let t = 59 - 54. Solve -j = -2*v - 0*v - 2, -j = -t*v - 2 for v.
0
Suppose 49*k = 46*k + 3. Let f be k/(((-4)/6)/(28/(-21))). Solve f*d = -4*g + 4, -7 - 7 = -5*g + 2*d for g.
2
Let g be 6 + -3 + 0 + -1. Let i be -9 - -13 - (g + -3). Suppose -17 = u - 4*u + i*l, -2*u + 4*l = -12. Solve -y = -3, -20 + 4 = -4*f - u*y for f.
1
Let p(s) = -31*s - 7 + s + 52*s + 4*s**2. Let y be p(-6). Solve d = 5*m + 4*d - 14, -1 = y*m - 2*d for m.
1
Let p(d) = -d**2 - d + 15. Let z be p(0). Suppose 6*u - 2*u - 12 = 0. Solve -z = -c - 2*s, 3*c + u*s - 5 = 5*s for c.
5
Let d be (0*3/(-9))/1. Suppose d = 8*o - 16 - 16. Solve 3*g - 26 = g + 4*j, o*g - 4 = -4*j for g.
5
Let s(a) = -3*a + 6 + 2*a + 0. Let m be s(6). Suppose 50*w + 205*w - 388 = 61*w. Solve -3*q = 2*q - 2*t + 10, -w*q + 3*t - 15 = m for q.
0
Let r = 683 - 679. Suppose n = 7 - 1. Let a be n + -2 + -2*1. Solve 5*y + p + r = 0, -6 = -a*p - 14 for y.
0
Let v(y) = -y**2 + 5*y + 1. Let j be v(5). Suppose n + 0 = 4. Suppose -46 = 28*l - 30*l. Solve -2*z + l = -n*t - j, 0 = -2*z + 3*t + 19 for z.
2
Let q(c) = -76*c - 1. Let g be q(-1). Let p = -70 + g. Solve -2*a - b - 7 = 0, -p*a - b = -7 + 20 for a.
-2
Let d be ((-15)/(-10) - 1)*12. Let g = -2 + d. Solve g*c + c = -2*h, -c = 5*h + 23 for c.
2
Suppose -19*k + 182 = -5*k. Solve 5*y = -x - k, -1 = 3*x - 0*y - 4*y for x.
-3
Let u be (-2)/2*(-1 - -1). Suppose u = b - 5*b. Suppose b*m + m + 3*k = 7, -6 = -3*k. Solve -4*i + m = 13, g - 4*i - 14 = 0 for g.
2
Let q(g) = g + 7. Let d be q(-8). Let z be (4/d)/((-12)/9). Suppose -z*t - 3 = 0, -2*u + 0*t - 4*t = 4. Solve u = -5*o + m - 2, 4*o = m + m + 2 for o.
-1
Let i be 2*(6 + (-20)/8). Solve 3*l + 5 + i = n, 0 = n for l.
-4
Suppose 5*k = 11 + 14. Let j = 178 + -177. Solve -3*a = -0*a - 2*u + j, -k*u = -5*a - 5 for a.
1
Let m(d) = -d**3 - 7*d**2 - 5*d + 21. Let j be m(-6). Suppose -9*g = -12*g + j. Solve -4*p + 20 = -g*n, n + 0*n + 4*p = 20 for n.
0
Suppose 5*f + 0*f - 16 = -2*r, -2*r = -2*f - 2. Let q be f + 0*(-1)/2. Suppose z + 3 = 7. Solve p - q = -3*c - 0*p, 0 = 5*c + z*p + 6 for c.
2
Let b(j) = -6*j - 33 - 2*j + 89 + 2*j. Let a be b(9). Solve -a*t = -2*f + 2, 0*t - t - 2 = 0 for f.
-1
Let p(s) = -s**3 + 10*s**2 - 28*s + 37. Let y be p(5). Solve -36 + 25 = 2*h + 3*j, 5*h + y = -2*j for h.
-4
Suppose -v = 4*u + 2*v - 85, 4*u = 5*v + 93. Let l = u + -11. Let j be 20/l + 12/66. Solve -c - 3*g - 7 = c, g + 5 = j*c for c.
1
Suppose 11*c - 7*c = 188. Suppose 3*b + b = -5*w + 70, -c = -3*b - w. Solve -5*u = b, 4*u + 18 = 5*v + 6 for v.
0
Suppose -7*m - 125 = -2*m. Let p be m/5*(-3 - -2). Solve -25 = -5*w - 5*d, -w + p + 8 = 3*d for w.
1
Suppose 2*b = 6*b - 36. Suppose b - 24 = -5*g. Solve g*u + 4*n + 25 = 0, 5*u - u - 3*n = 0 for u.
-3
Let p(h) = -8*h + 37. Let c be p(4). Solve l = 2*m - m + 3, 0 = m - c*l + 23 for m.
2
Suppose 0 = -681*v + 695*v - 28. Solve v*b + 2 = -x, 4 = 4*b + 4*x - 0 for b.
-3
Suppose 139*u - 16 = 135*u. Solve 5 = 4*z - g, 0 = -z - g + u*g + 4 for z.
1
Let m(i) = -2*i - 8. Let z be m(-4). Let p be (z - 2 - 3)*-1. Solve 7*u + p = 2*u - 5*a, 5 = -5*u - 2*a for u.
-1
Let q be 10/(-14)*(-18 + 5 + 6). Solve 2*v - 22 = q*f, 3*f + 20 = -2*f for v.
1
Let x = 20 + -28. Let b = 8 + x. Suppose s + 2*s = b. Solve 4*k + n = -2*n + 5, -5*k + 5*n + 50 = s for k.
5
Let i(p) = 32 - 30*p - p**2 + 3*p**2 - 4*p**2. Let r be i(-16). Solve 5*j - 3*u - 4 = r, 4*j - 3*u - 12 = -5*u for j.
2
Let a = -465 - -470. Solve 0*c = c - a*k - 19, -c - 4*k - 17 = 0 for c.
-1
Let f = 62 + -58. Suppose f*h - 4*x = -9*x + 27, 2*x = 2*h - 36. Let c be 7/1 - (4 - 2). Solve -5*j + 30 = -c*n, n = 5*j + 3 - h for n.
-5
Let q(m) = -m**2 + 11*m - 24. Let x be q(4). Solve p - 3 = 2*v, 4*p - 23 = v - x*v for v.
1
Suppose -14*c - 78 = -316. Solve o - 4*o + p = c, 4*p - 20 = 0 for o.
-4
Suppose 27*y - 151 + 97 = 0. Solve y*z = 3*a - 2, 0 = 4*z - a + 3*a + 4 for z.
-1
Let x be 196/12 - 3/9. Let y = -28 - -32. Solve -y*i + 4*r + 0*r - 16 = 0, 4*i + x = -r for i.
-4
Suppose 4*k = k + 12. Suppose 5*w - 4*b = 29, -2*w + 11 = -5*b + k*b. Solve 15 = -4*t - w*x, 0*x = 3*t - x - 3 for t.
0
Let w be 5/(1/2*2). Suppose 13 + 17 = -3*m + 8*m. Solve -w*b + 2*i = 29, -5*b + m*i - 33 = 2*i for b.
-5
Suppose -5*q = -2*v + 25, 3*q + 27 = 12. Solve j + 25 = -4*j, -y + 3*j + 10 = v for y.
-5
Suppose -2*q - 5*r - 4 = -q, 5*q - 28 = -r. Solve 0 = 5*b - 25, -2*b + 6 = x - q for x.
2
Let o(d) = -11*d - 17. Let b be o(-5). Let k = b + -33. Solve -k*c = 4*y + 41, 11 - 26 = 3*c for y.
-4
Let r be (-5 + (-1 - -4))/(-2). Let j be (1 + 4)/(12 + 14 + -25). Solve 3*d + j*l - r = 3, 0 = 5*d - 4*l + 18 for d.
-2
Suppose -40*q + 18 = -31*q. Solve 0 = -k + q, 4*l + 0*k - 22 = -k for l.
5
Let w(r) = -13*r**2 + 132*r + 20. Let i be w(10). Solve -f = u - 2, -5*f + 2*u = -3*u + i for f.
-3
Let j(i) = -8*i**2 + 3*i + 2. Let r be j(-2). Let p = -23 - r. Solve 1 = -3*u - 2, -5*x - p = 3*u for x.
-2
Suppose 75*k = 69*k + 6. Solve z = k, -4*r - z - 6 = -3*z for r.
-1
Let p be (25 + -19)/(((-8)/6)/(-2)). Suppose -p*c = -