 z + v = 3*t for t.
0
Let n = 257 + 103. Suppose 10*h + n = 34*h. Solve 4*k = -r - 1 + 4, h = 5*r - k for r.
3
Suppose 4 = -0*y + 3*y + 4*h, 4*y = h - 1. Suppose z + 692 - 697 = y. Solve q + q + 4*u - 6 = 0, z*q = -2*u - 9 for q.
-3
Let j be (4 + 78/(-12))*8/(-5). Suppose -2*o - 4*n = 7 - 31, j*o - 3*n + 7 = 0. Solve -2*f + 6*f = 2*p + o, -3*f = 4*p + 4 for f.
0
Let l = -6619 + 6637. Solve -4*t - l*a - 3 = -21*a, 0 = a - 1 for t.
0
Suppose -3*z + 0 = -3*b - 6, 3*z + 5*b + 10 = 0. Let t = -38 - -39. Let h be ((-4)/8)/((-2)/28). Solve -4*l = -3*q + h, -2*l + z*q = -3*q - t for l.
-4
Let d = 10608 + -10606. Solve 0 = d*i + 2*u + 8, -5*i - u - 18 = -10 for i.
-1
Let t(z) = -z**3 + 34*z**2 - 29*z - 127. Let l be t(33). Solve 23 = -3*m + 4*w + 7, 2*w - 22 = l*m for m.
-4
Suppose -2*t + 3*x = 29, 2*x - 22 = 3*t + 34. Let h be (20 + -19)/((-2)/t). Solve -3*g - h = 3*z - 2*z, g - 3*z + 7 = 0 for g.
-4
Let l = -326 + 328. Suppose -2 + 0 = -2*z, -l*f - 5 = -5*z. Solve -3*u = -p - 0*u - 9, f = -5*p - 4*u + 31 for p.
3
Let d = 8062 - 8058. Solve -33 = -d*a - 84*k + 79*k, 3*a - k = 1 for a.
2
Suppose -a - 9*a = -60. Suppose a*p + 15 = 7*p. Suppose 12*z = 17*z - p. Solve -3*m + 2*m + z = 3*s, 0 = 5*s + 3*m - 9 for s.
0
Suppose -39 + 3 = -18*y. Suppose -24 = -z - 0*z. Suppose 0 = 16*p - 8*p - z. Solve o - 16 = -4*t, -3*t - y*o - p*o = -29 for t.
3
Let w be ((-27)/12 + 1)*(1 + -5). Suppose 2*x - 8 = -3*n, -11 = -w*x - 36. Suppose 0 = 3*y - n + 3. Solve 3*z - 2*r + 3 = -4*r, 5*r = z + y for z.
-1
Let f(a) = 7 - 11 - 8 + 0 + 4*a. Let k be f(5). Suppose 3*j + 10 = k*j. Solve 0 = j*g - 2*y - 0*y + 4, 5*g + 30 = -5*y for g.
-4
Suppose 0 = -2*u + 3*s + 22, 142*s = -5*u + 139*s + 34. Solve 8*q + 14 = -5*v + 5*q, v - u = 3*q for v.
-1
Let d = -811 + 933. Let x = 178 - 56. Let c = d - x. Solve c*p + j + 2 = 2*p, -2 = -2*p - 2*j for p.
1
Suppose -9 = z + 2*q, -3*q - 21 + 4 = -2*z. Let c be -8*(1/2 - z). Solve -4*p = c*v + 20, -6*p = 2*v - 3*p + 10 for v.
-5
Let s = -292 + 296. Solve 3*w + 2*o = -4 + 5, -s*w + o = -16 for w.
3
Suppose -15*z = -3*z - 24. Suppose -z*d + 82 = 22. Suppose 3*j - 2 - 7 = 0. Solve j*i = -4*s + 20, -4*s + d - 10 = 4*i for i.
0
Let k(q) = -q + 18. Suppose x + 5 = -4*x, -21 = -c + 2*x. Let w = c - 3. Let u be k(w). Solve 3*y + u*v = 4, 0 = 5*y + 5*v - 2 - 3 for y.
2
Let o(k) = k - 12. Let a be o(-7). Let u = a + 21. Suppose -q + 10 = 3*l, -l - u*q = -4 - 1. Solve f - l*y - 14 = 0, -3*f - 3*y - 1 = -7 for f.
5
Suppose -a + 93 = 39. Let r = a + -52. Solve -3*s = r*u - 3, -4*u + 2*s + 3*s + 17 = 0 for u.
3
Let g = -628 + 643. Suppose 0 = 4*m - 3*s - 4 - 5, g = -3*m - 5*s. Solve m = q + 2*q - 4*o - 28, -o - 12 = -2*q for q.
4
Suppose 0 = 5*z + 25, -z = 3*b + 4*z - 11. Let p(c) = -2 + 57 - 4*c + 6. Let h be p(14). Solve -b = -3*d, x - h*d + 19 = 1 for x.
2
Let x(y) = y**3 + y**2 - 12*y + 8. Let f be x(3). Solve 3*i = 0, -s - s - 5*i + f = 0 for s.
4
Let m be 8 + (-2 - 6/(-2)). Let y(f) = -f**2 + 2*f + 5. Let v be y(3). Suppose -14*l + 13*l = -v. Solve 4*b - 3*h - m = -l, -12 = b + 2*h for b.
-2
Suppose 5*a + 29 = 3*r, 17 = r - 2*r - 5*a. Solve -r*f - 4*x + 6*x - 14 = 0, -3*f = 3*x - 6 for f.
-2
Let d(k) = 2*k**3 + 17*k**2 - 11*k + 12. Let x be d(-9). Let y = x - 25. Solve -6 = -2*s - 2*b, s - y - 8 = 4*b for s.
5
Let a = 715 - 712. Solve -2*r - 4*n - 23 = n, -4*n - 23 = -a*r for r.
1
Let f be ((-132)/77)/((-3)/14). Let d be 6/f*(-56)/(-21). Solve 0 = -d*g + 2*z - 2, g + 11 = -4*g + 2*z for g.
-3
Suppose 12*d + 1894 - 1930 = 0. Let i = 8 + -4. Solve i*o - 4 = -d*l, 4*l = -2*o - 0*o + 12 for o.
-2
Let v = -358 - -639. Let x = -272 + v. Solve 3*l + b = 3*b - x, -5*b = l + 3 for l.
-3
Suppose -4*s = -48 + 36. Suppose -6*k + k + 19 = 2*t, 3*t - s*k = 39. Solve w = 4*c + 11, -10 = 3*c + 2*w + t for c.
-4
Let c be 1030/85 - 0 - (-6)/(-51). Suppose 74 - 50 = c*r. Solve -2*g - 4*i - 3 = 5, -r*g + 10 = -2*i for g.
2
Let i be ((-24)/(-116))/3 + (6874/406 - -14). Solve -j + 2 + 8 = -2*l, i = 4*j - 5*l for j.
4
Suppose 3*h + 2*n = 38, 2*h = 3*n + 2*n + 19. Let a = -2322 + 2316. Let i be (136/h)/(a/(-9)) - 1. Solve -3*b = 2*f - 11, f = -5*b - 0*b + i for b.
3
Let v(t) = t**3 - 6*t**2 + 23*t + 3. Let j be v(4). Let k be 9/j + (1 - 16/14). Solve 3*q + 4*m = -5, m + k*m - 10 = -3*q for q.
5
Let k = -5801 - -5806. Solve -12*w = -9*w + s + 2, k*s = -4*w + 12 for w.
-2
Suppose -205*i = -233*i + 112. Let d(h) = -8*h + 2. Let u be d(4). Let y = -14 - u. Solve i*t = -y, 4*t = 2*v - 16 - 0 for v.
0
Suppose 53*y = 49*y. Let v be -3 + (0 - -1) + 4. Solve -2*r - 4*c = 14, r - 2*r + v*c + 9 = y for r.
1
Let z(c) = c**3 - 15*c**2 + 12. Let i = -131 - -125. Let a be (-4)/i*4/((-8)/(-45)). Let g be z(a). Solve 3*m + g = -5*r, -r - 3*r = -4*m - 16 for r.
0
Let u be -22 + 3 + 48 - 18. Solve 5*z = -2*a - 4, 0 = u*z - 8*z + 2*a for z.
-2
Suppose 3*q + 269 = 287. Suppose 9 = 9*j - q*j. Solve 4*f + 41 = -j*s + 15, 4*f + 12 = 4*s for s.
-2
Suppose -16*u + 12*u = -8. Let x be (-100)/(-30)*3/u. Let j(t) = -6*t. Let n be j(-4). Solve -r + x*r + 4*v = n, 8 = -2*r + 3*v for r.
2
Let w be -2 - (-16 - 6/(-3)). Let m(t) = -3*t + 6. Let y be m(22). Let k be w/y - (-2)/10. Solve k = 3*a - 0*v + v - 13, -4*v - 16 = -5*a for a.
4
Let d be (216/(-24))/(2*1/(-2)). Suppose -39 = -16*w + d. Solve 3*p - w*z - 3 = 0, -4*p + 6 = -5*z + 3*z for p.
2
Let x = 14456 - 14452. Solve 3*y - 5*y = 2*d - 22, x*d - 32 = -y for y.
4
Suppose 174*t = 28*t + 584. Solve 5*c + 14 = -t*a + 3*c, -4*c = 3*a + 8 for a.
-4
Suppose 457*l + 86 = 467*l + 36. Solve 5*w = -l*q + 10, -4*q = 3*w - 5*q + 14 for w.
-3
Let y be (2/(-10) + (-844)/(-20))/2. Suppose 0 = -24*x + y*x - 33. Let j be -3*((-2)/x - (-150)/(-99)). Solve 5*o - 1 = j*u + 13, 0 = -3*o - 5*u + 1 for o.
2
Let x(m) = -17*m - 203. Suppose 2*g + 14 + 6 = -c, -4*c + 2*g - 40 = 0. Let i be x(c). Solve -t + 2*z + 2 = 10, 2*t = -z - i for t.
-2
Let q be 3/(9/(-87))*(-5 - -8). Let b = 91 + q. Solve 3 = t, 0*o + b*t - 4 = -2*o for o.
-4
Let s be (-2)/(-6) - 22/(-6). Let o be (-5)/4 + 15/(-25)*(-1275)/180. Solve 5*z - s = 5*j - j, -3*j - o = -5*z for j.
-1
Let y(k) = 37*k - 1650. Let m be y(45). Solve 2*v = -2*i, -v - m = -4*i - 0*i for v.
-3
Let m = -1607 - -1613. Solve -2*b + q - 8 = 0, -3*q + m = b + 10 for b.
-4
Suppose 8*i = 10*i - 100. Let h = -46 + i. Suppose -4*y + 4*o + 16 = -4, -y - h*o = -5. Solve -2*k + c = 2*k - 24, 0 = -3*k + y*c + 35 for k.
5
Suppose 34*z - 186*z + 363 = -31*z. Solve 0 = -q + 4*d + d + 24, z*d = 5*q - 10 for q.
-1
Let x(u) = -2*u + 22. Let q be -7 + 8 - 5/(-1). Let f be x(q). Solve 2*p + 7*i - 3*i = -f, -i = 0 for p.
-5
Suppose 2586 = -1263*b + 1266*b. Let t = b - 854. Solve -r = -k - 1 - 3, -2*r + t = -k for r.
4
Let g(v) be the first derivative of 4*v**2 - 109*v + 156. Let k be g(14). Solve 17 = -5*c - r + 5*r, -5*c = k*r + 31 for c.
-5
Suppose 0 = 3*i + 3 + 3. Let p be (-2 + 1)/(i/(-4)) + 27. Suppose 0 = 3*k + 2*k - p. Solve -2*c + 6*c = -k*l + 20, 3*l = -5*c + 12 for c.
0
Let n = 213 - 207. Let y(d) = d**2 - 2*d - 21. Let w be y(n). Suppose s - 5*s + 28 = 0. Solve 2*q = s*q + 20, w = -c - q for c.
1
Suppose -5 = k + 4*v, 13*v - 11*v = -4*k - 76. Let t = -18 - k. Solve 4*w = t*g - 0*g - 3, -15 = -3*g for w.
3
Let r = -55 - -55. Let o(y) = y + 6. Let h be o(r). Suppose 0 = k - h*k + 10. Solve -z + 2*l + 2 = 0, 0*z - 3*l = -2*z + k for z.
-2
Suppose p + 90 = 3*w + 120, 48 = 5*p + 2*w. Solve -4*z = c - 6*z + 4, -3*c - 2*z = -p for c.
2
Suppose 2*w - 15 - 2 = h, 2*h + 29 = -w. Let a = -22 + h. Let d = -35 - a. Solve -4*j + d = -2*j - 3*q, -3*j - 2*q = -3 for j.
1
Suppose -103 = -75*h + 66 - 19. Solve 5*i = w + 12, 13*i = -h*w + 11*i for w.
-2
Let h be 43/9 - ((-482)/(-18) - 27). Solve 3*g = -53*d + 49*d + 5, -12*g = -h*d + 85 for d.
5
Let z(n) = 124*n + 257. Let u be z(-2). Solve 0 = -o, 15 = 5*j - u*o + 6*o for j.
3
Suppose 13*k + 2*j = 11*k + 6, 4*j - 4 = 0. Solve -w + 3*f = -k*f - 22, 8 = -2*w - 3*f for w.
2
Let h(a) = a**3 + 3*a**2 + 7*a + 5. Let l be h(-2). Suppose 8*w - 3*w = 65. Let z = l + w. Solve 2*i + 5*b - 11 = 0, i - 2*b = -0*b - z for i.
-2
Suppose 4*t - 2*m - 278 = 0, -26*t - 211 = -29*t - m. Suppose 353 + 235 = 2*n. Let f be n/t + 2/(-10). Solve r + f*k = -15, -3*r - 3*k + 2 = 11 for r.
1
Let z be 6/7 - 1 - (-742)/49. Let c be (z