or v.
0
Let g = -31 + 10. Let q(t) = t**2 + 21*t + 5. Let l be q(g). Solve l*y = -5*a, 3*y + 2*a + 0 = 1 for y.
1
Let n = 1 - -1. Suppose 3*w = 5*z + 666, -3*w - 1 - 8 = 0. Let v = z - -139. Solve 3*m = v*q - 5, m = 5*q + n - 0 for m.
-3
Let j = 2 + -2. Suppose n = 4*w - 12, j = 2*n + 3*n + 20. Let c = 64 - 39. Solve 4*h = 2*b + 10, 0*h - 3*b = w*h - c for h.
5
Let x(q) = -q**3 + 31*q**2 + 4*q - 124. Let r be x(31). Solve 5*l - 2*b - 2*b = 5, r = 3*l - 4*b - 11 for l.
-3
Let v(r) = r**3 + 9*r**2 - 3. Let c be v(-9). Let y = 0 - c. Suppose -y*z = 2*p - 46, 3*z + p - 58 = -z. Solve 5*l = -4*g + 6, -l - 3*g + z = g for l.
-2
Suppose -58 = -8*j - 42. Let u be -3 - -16 - 0/(-2). Solve 2*s - j*t + 5 = -1, 3*s + u = -t for s.
-4
Suppose 27 = -40*g + 227. Solve -g*j - 4*d = 37, -25 = 2*j - 2*d + 7*d for j.
-5
Let w(h) = -4 + 0 - 3*h + 2 + 6. Let r be w(0). Solve 4*u = -u - r*k, 5*k = -2*u for u.
0
Let a = 26 - 16. Let h be 2 + (a/15)/(4/18). Solve h*k + q + 8 = -0*q, -2*q = -4 for k.
-2
Let q = 1 + 2. Let i be 3 + (-3)/(-1) - (-10 - -9). Suppose -i + q = -v. Solve 3*y = 4*h - 18, -3*h - y + 3 = -v for h.
3
Let b = 68 - 63. Suppose 3*q - 4*c + c = 30, -b*q + 2*c = -41. Solve 5*x = -3*d + q, 0 = 4*x - 4*d + 10 + 10 for x.
-1
Let n be -3*(-6 + 80/15). Solve 2*c = c + r + 3, 0 = 4*c + n*r - 24 for c.
5
Let o be -4 + 17 - -2 - (-40)/(-8). Solve -5*a + o = -w, -a - 15 - 4 = 4*w for w.
-5
Let m be (-21)/(-9) - (-3)/(-9). Solve 3*k = 2*r - 11, 8 = 4*r - m*r - 2*k for r.
1
Suppose m = -4*s + 3, 2*s - 4 = -m - 5. Solve -l + 6*l - 6 = -2*x, -s*l = -3*x + 9 for x.
3
Let f(y) = y**2 + 2*y - 5. Let d be f(-4). Suppose 2*s - 27 - 48 = -5*l, -3*l = -d*s + 60. Solve -5*q - s = 0, 2*k + 20 + 11 = -5*q for k.
-3
Suppose 0 = -3*b + t + 5, b - 3*t - 2 = -3. Let r be 6/((b/(-5))/((-8)/40)). Solve g - 2*i - 13 = 0, -r*i + 7*i + 29 = 3*g for g.
3
Suppose -10*r + r = -27. Solve -3*j + 3*h = -h - 14, r*j + 4 = -5*h for j.
2
Suppose 118 - 133 = -5*h. Solve i = c, -4*c - 19 = h*i + 9 for c.
-4
Let j(o) = 3*o**2 - 12*o + 11. Let m be j(3). Solve -m*g - 2*g = -5*c + 40, 4*c = 5*g + 41 for c.
4
Suppose 2*m + 8 = 6*m. Suppose -6*i + 4*i - 9 = -5*l, -2*l - m*i = -12. Solve 7 = -l*z - 4*o, -z + 2*o + 14 = z for z.
3
Let m = -126 - -122. Let o be 45 + (m + 3 - 4). Solve -4*h - 4*k = -4, -k = -4*h + 4*k + o for h.
5
Let v = -64 + 58. Let x(g) = g**3 + 6*g**2 + g + 6. Let m be x(v). Solve 1 + m = 2*s + u, -5*s + 7 = -2*u for s.
1
Let r = -1094 + 1103. Solve 4*g + 2*o + 6 = 0, -4*g + 0 = o + r for g.
-3
Let x be 1 + (-1 - -2)/1. Suppose -t - x*j + 1 = 0, -5 = -4*t - t + 2*j. Let q be 30/10 - (t - 0). Solve 26 = -0*f + 4*f + 3*w, -q*f = 3*w - 16 for f.
5
Suppose 0 = 12*j - 7*j + 45. Let n be (-28)/6*j/2. Solve 5*m + o + o = -n, 3*m + 4*o = -21 for m.
-3
Let u(w) = w**2 + w - 12. Let c(x) = -x**2 - 7*x. Let g be c(-7). Let p be u(g). Let r be (32/p)/((-4)/6). Solve 0*a = -4*a + r*z - 4, 0 = -z + 5 for a.
4
Suppose 2*g - 9 = -1. Let v be 7 - (0 + g + -2). Solve i + v*s + 2 = -0, -5*s - 5 = 0 for i.
3
Suppose j + 38 = 4*q - j, 4*q = -4*j + 20. Suppose q = 8*t - 8. Solve -z - 5*p = 3*z + 1, -t*p = -3*z + 5 for z.
1
Let s = 5 - 3. Suppose s*f = -5*j + 7, f = -j + 4*f + 15. Let t be (2 + 0 - 3)*-3. Solve -4*u + 2*u + t*n - 11 = 0, 0 = -j*n + 3 for u.
-4
Suppose 3*u + 6 = 3*w, 0 = -5*w + 3*u - u + 13. Suppose 104*m = 107*m + 6. Let q = m + 11. Solve 3*o - q - 2 = 4*i, 12 = -3*i + w*o for i.
1
Let g be -1 + (-4)/(-4) - (0 - 1). Let t be 1/(0 + g + 0). Solve 0 = 2*l - 5*h - t, 3*l - h + 5 = 0 for l.
-2
Let o be 9/((-9)/(-2))*-4. Let c be 9/(9/(-4)) - o. Solve -s - c*j - 26 = -3*s, s = -3*j - 7 for s.
5
Let g(v) = -v + 12. Let i be g(10). Let t(y) = y**2 - 6*y - 1. Let o be t(4). Let m be 0*(2 - (-15)/o). Solve m = -2*s - p - 8, -3*p - 2 = -i*s - 18 for s.
-5
Suppose 3*t - 12 = -0*t. Suppose 0 = -17*m + 35*m. Solve -5*r + 3 = -2*c - t*r, 4*c + r + 15 = m for c.
-3
Suppose 5*y = 28 - 8. Let s be -1 + 5 + (-3 - -1). Suppose o - 5*m = -y, o + 0*m - s*m - 2 = 0. Solve -5*l = -q + 1 - 9, 3*q = o for l.
2
Let r be 33*2 - -2 - 0. Let q = -65 + r. Solve -j = -2*h + j - 6, q*j - 9 = -3*h for h.
0
Let n be 0/(-3 - -14)*1. Solve 2*o + 17 = -5*w - n*o, 0 = -2*o + 8 for w.
-5
Let h(p) = -28*p - 356. Let f be h(-13). Solve 4*t - i = -2, -6*i + f = 2*t - 2*i for t.
0
Let y be (-22)/99 + 187/(-9). Let r = y - -33. Solve -3*q + 2*c - 3 = -c, -3*c - r = 0 for q.
-5
Let y(t) = t + 6. Let z(c) = 3*c - 6. Let h be z(4). Let q be y(h). Suppose -q*r = -10*r - 10. Solve -1 + 13 = v - 2*p, r*v = 3*p + 25 for v.
2
Suppose -z - x = x - 5, -5*z + 5*x + 10 = 0. Suppose 0 = 5*r - 6 + 1. Let h = 0 + r. Solve w - h = -t, -z + 9 = 2*t for w.
-2
Let f be -8 - 9/(-4)*4. Solve -o = -0*h - h - f, -2*h - o = -10 for h.
3
Let l be (93 + -77)/((-1)/1*1). Suppose 0 = -6*q + 2*q - 44. Let h = q - l. Solve -5*d + 3*r + 35 = r, 0 = h*d - 4*r - 45 for d.
5
Let k be (-1)/(-1 - 2)*0/7. Let y be (k + -1)*(5 + -2)/(-1). Solve d - p + 0*p = -y, 5*d + p + 15 = 0 for d.
-3
Let a be 3/((-9)/12) - (-20 - -10). Solve 2*m + 0*f + 5 = -f, -m + 3*f = a for m.
-3
Suppose 7*b + 210 = 308. Solve 4*c - 6 = 7*c, 3*g - 4*c - b = 0 for g.
2
Let q(o) = -o**3 - o**2 + 2*o + 3. Let z be (-10)/4*12/15. Let b be q(z). Solve u - b*k - 10 = 0, k = -5*u - 0*k - 30 for u.
-5
Let r = -523 + 526. Solve 2*g + 6*f = r*f - 17, 2*g = -5*f - 23 for g.
-4
Suppose -5 + 3 = -a. Let c = 5 - -4. Suppose c - 84 = -3*q. Solve -23 + 1 = -4*r - a*v, 4*r + 3*v - q = 0 for r.
4
Suppose -5*u = 285 - 295. Solve -2 + 4 = -u*n + 4*p, 2*n + 3*p = 19 for n.
5
Let v(n) be the second derivative of n**3 - 72*n**2 + 24*n. Let h be v(24). Let y be (0 + -1 - 0)*-5. Solve -y*f + 8 - 3 = 5*w, h = -2*f + 2*w - 18 for f.
-4
Let p = 15 - 13. Suppose 0 = -5*a + 1 - 11. Let h be a/(1/(-12)*2). Solve -6*c + p*c = h, m - 8 = c for m.
5
Suppose -1113 = -12*o - 1089. Solve 4*m - g = 3*m + o, -5*g + 4 = 2*m for m.
2
Let l = -289 + 300. Let g be (-1 - -1) + 3 + -2 + 0. Solve -2*p - g = -5*z + 4*z, 3*z = -2*p + l for z.
3
Let x = 3 + 2. Let d be (-3 - -1)*132/8. Let q = 38 + d. Solve -x*u + q - 27 = y, -4*u - 14 = -y for y.
-2
Let n(x) = -8*x + 2. Let i be n(-1). Let l be (12/(-30))/((-1)/i). Solve -3*r + 10 = -l*d - 5, 2*d = -6 for r.
1
Let h be (-18)/4*(-30)/45. Suppose -5*r = -f, -8*r + 4*r = 3*f - 19. Let o be 0/(5 + -3) - 0. Solve -3*z - r - 11 = -h*u, o = u - 1 for z.
-3
Let p = 7 - 4. Suppose -x + 4*a = -1, 3*x - a + 0*a = 3. Let i be 3/(3/(-12) + x). Solve 0*s + 5*s = -i*c - 16, -p*c = -3*s - 15 for s.
-4
Suppose y = 2 + 2. Suppose y*x = 5*l, -4*l - 3*x = -6*x - 1. Solve c + c - 7 = p, 0 = 5*c + l*p - 11 for c.
3
Let r = -96 + 156. Let y = r - 48. Suppose 0*h - h = -2. Solve -h = -4*f + 3*x + 10, -4*f - x = -y for f.
3
Let n(o) = o**3 + 5*o**2 - 5*o + 8. Let b be n(-6). Let t be ((-7)/b)/(3/6). Let p = t - -9. Solve 2*w = v - p*v + 11, -5*w = 3*v - 30 for w.
3
Let l(j) = -22 + 15*j - 27*j + 10*j. Let a be l(-12). Solve s - 4 = 0, -s + 2*s = -2*v - a for v.
-3
Let u = -265 + 270. Solve 4*p = 2*w - p + 15, 2*w - 15 = -u*p for w.
0
Suppose -26*p = 41 - 145. Solve 0*w - 3*l = -4*w - 5, 0 = -p*w + 5*l + 5 for w.
-5
Let w be (-44)/(-33) + (2 - (-10)/(-3)). Solve w = -4*k + 2*q + 8, 20 = 6*k - 3*k - 5*q for k.
0
Let q(w) = 2*w**2 - 4*w - 6. Let v be q(-3). Suppose -v = -3*k - k. Suppose 3*x - k = 2*x. Solve -2*g + 4*g = -4*h + 8, -3*g = -x for h.
1
Suppose -4*k - 9 = -7*k. Let x(r) = r + 12. Let f = 10 + -19. Let w be x(f). Solve 2*h - w = 5, 0 = -k*v + 2*h - 5 for v.
1
Suppose -3*n + 4*z + 40 = n, -4*z = -3*n + 35. Suppose 4*w + 7 - 15 = 0. Solve 0 = -n*l + h - 6*h + 20, -h = -l - w for l.
1
Let z = 4 + -2. Solve z*a + 4*n + 9 = a, 6 = 4*a + 2*n for a.
3
Let l(v) = -8*v + 365. Let b be l(45). Solve -5*r = -b*q, -2*r + 4 = 3*q - 6 for q.
2
Let c(h) = -h**2 + 10*h - 18. Let j(n) = 1. Let d(k) = c(k) + 2*j(k). Let g be d(8). Solve -5*m = 2*s - 0*s + 21, g = s - m for s.
-3
Let b = 16 + -10. Let w = -4 + b. Let v be w - 0*2/(-6). Solve 3*i - 10 = 4*a - 4, 4*a + v = 5*i for i.
-2
Let a be 4*(3 - (-15)/(-6)). Let i be (0 - -5) + a + -2. Suppose 2*h = 6*h - 3*p - 63, -2*h - 3*p = -27. Solve -4*x = -b - b - 6, -i*b + h = 5*x for b.
1
Let a be -3*2*8/(-12). Suppose -y - x + 10 - 4 = 0, 3*y - 21 = -a*x. Let m(q) = 6*q