for t.
3
Let m = -20 - -35. Suppose i + 23 = -5*s, s = -4*i + i + 1. Suppose 0*g - 6 = -i*g. Solve -g*c + m = -0*c for c.
5
Suppose 2*k + 13 = o, -5*k - 23 = -3*o + 11. Solve o*c - 4 = 4*c for c.
-4
Let b = -79 + 153. Let y = b - 69. Suppose 0*v = 2*v. Solve 5*t - y + v = 0 for t.
1
Suppose 49*j - 68*j = -323. Solve j = -19*n + 2*n for n.
-1
Suppose -12*m + 209 = -8*m + 5*x, 0 = 5*m + 2*x - 257. Solve 0 = -8*r + 25*r - m for r.
3
Let h be (-2 + 7)/((-32)/(-608)). Solve -h*v = -99*v for v.
0
Let a(u) = -u**3 - 4*u**2 + 2*u. Let h be a(-4). Let y(m) = 2*m**3 - 11*m**2 - 20*m - 2. Let b be y(7). Let t = b - h. Solve 0 = -4*c + t - 5 for c.
2
Let w = 279 - 277. Solve 0 = -5*a + w*a + 12 for a.
4
Let x(r) = 2*r + 68. Let b be x(-30). Let n be b/9*9/12*6. Solve -9 = -5*s - n for s.
1
Let z = -17 + 9. Let g be z + (-2 - (-10)/2). Let s = 0 - g. Solve -3*w = 4 + s for w.
-3
Let v(l) = 4*l + 11. Let h be v(-2). Solve -h*j - 3 = -2*j for j.
-3
Let p(i) = 23*i - 263. Let v be p(16). Solve 21*j + v = -0*j for j.
-5
Let m be -2 - (6/30 - 62/10). Let k be -6*m/56 - 45/(-7). Solve k*v - v - 5 = 0 for v.
1
Let d = -98 - -112. Solve -s = d - 19 for s.
5
Let f = 2212 - 2210. Solve 0 = 5*h - f + 7 for h.
-1
Let v be 2/(-7) + 304/133. Suppose 3*w - 26 = v*j + 3*j, 5*w - 3*j - 22 = 0. Suppose 5*h - w = 18. Solve h*d + 3 = 3*d for d.
-3
Let x(k) = -k**2 + 8*k - 3. Let d be x(7). Suppose 13*j + 4*j = 0. Solve -w + j = d for w.
-4
Let v(i) = 3*i**2 - 6*i + 3. Let b be v(4). Suppose 3*c - 3 = -b. Let d(s) = -s**2 - 9*s + 2. Let q be d(c). Solve w + q = -4*w for w.
-2
Let g(m) = 4*m - 283. Let r be g(72). Solve -9 + 34 = -r*u for u.
-5
Suppose 0 = 2*k + 6*k - 40. Let i(t) = -t - 3. Let p be i(-13). Solve k*v = -15 - p for v.
-5
Let t be 0/4 + (-12)/((-8)/2). Solve 0 = -t*k + 9 - 12 for k.
-1
Suppose 0*z + 3*h = z, 0 = -2*h + 2. Let r be 24/108 - z/((-27)/34). Suppose -2*p + 3*n = p - 15, -3*p - 2*n = 5. Solve 5*m + p = -r for m.
-1
Let o(b) = -b**3 - 13*b**2 + 15*b + 14. Let l be o(-14). Suppose l = -4*f + 3*j + 23, 2*f + f - j = 11. Solve -k + f*k = 0 for k.
0
Suppose 5*o = 9*o - 8. Let w(c) = -c**2 + 6*c - 4. Let l be w(o). Solve 0 = -2*q + l + 6 for q.
5
Let m be (-3)/(3/10*-1). Suppose r = 2*r - m. Solve k - r = 6*k for k.
-2
Let o be 5 - (5/1 + -2). Suppose -2*k = 219 - 225. Solve o*f = f + k for f.
3
Let i(l) = l**3 + 5*l**2 + 3*l - 1. Let h be i(-4). Suppose 6*z = h*z. Suppose z*n - 2*t + 6 = 4*n, 13 = 5*n - 3*t. Solve -n*o + 9 = o for o.
3
Suppose 31*s = -15*s. Solve s*y - 15 = 3*y for y.
-5
Suppose -4 + 6 = -2*s. Let d = -22 - s. Let l = d - -23. Solve 0 = -0*q - 2*q + l for q.
1
Let k(w) = -w**3 + 23*w**2 + 48*w + 50. Let u be k(25). Solve u = q + 25 - 24 for q.
-1
Suppose -6*n - 21 = -4*n - 3*r, 3*n = -4*r + 11. Let v be (15/(-10))/(n/8). Suppose y = v - 1. Solve -w + y*w = -4 for w.
-2
Suppose -3*s = -5*r + 34, -r - 2*s = -0*r + 1. Let y be (180/(-35))/9 + 288/14. Solve 0*z - y = r*z for z.
-4
Suppose -5 - 1 = -3*m. Suppose -m*i = 2*i + 16, -46 = -5*f + 4*i. Let o = f - 4. Solve o*z - 1 = -5 for z.
-2
Let m(q) = 41*q + 167. Let u be m(-4). Solve 2*c - 10 = -u*c for c.
2
Let a(k) = -k**2 + 13*k - 1. Let b be a(11). Solve b*o = 16*o for o.
0
Let i be 422/(-6) + (-5)/(-15). Let o be (-8)/10*i/28. Solve -3*s = o - 8 for s.
2
Let k be 5/2 + (-1)/(-2). Suppose -k*f + 15 = -0*f. Solve -f*l + 8 = -7 for l.
3
Let l(m) = m - 10. Suppose -46 = -5*g - 1. Let i be l(g). Let u(c) = -10*c - 1. Let n be u(i). Solve 4*q = q - n for q.
-3
Suppose 0 = 3*h - 24. Let w(l) = 2*l - 13. Let y be w(h). Solve -y*d + 6 = -6 for d.
4
Let n be (-35)/(-8) - 87/232. Suppose -3*k + 9 = j, 4*k = 2*j - j + 19. Suppose 5 = 4*m - 3. Solve m*w - k - n = 0 for w.
4
Let f = -8 + 7. Let w be 20/(-5)*f/2. Let z be 10/3 - (-1)/(-3). Solve -i - z + w = 0 for i.
-1
Let w be (200/60)/((-8)/(-12)). Suppose -2 = 4*a - q, 5*a + 4*q - 1 = 7. Let s be (9 + a)/1 + -1. Solve -3*z + s*z = -w for z.
-1
Let a(l) = -9*l + 16. Let y be a(5). Let n = y + 34. Solve 2*f = n*f for f.
0
Let p be 1620/84 - (-10)/(-35). Solve 0*t = p*t + 76 for t.
-4
Suppose 0 = -6*a - 20 - 16. Let u be (-1 + -2)/a + (-50)/(-20). Solve u*g + 15 = -0*g for g.
-5
Let s = 34 - 26. Suppose 4*q + s*q = 0. Solve -15 = 3*u - q*u for u.
-5
Let s(m) = 2*m**2 - 2*m - 37. Let o be s(5). Solve -o*y = 6 + 3 for y.
-3
Let x = -421 + 427. Solve p - x = 4*p for p.
-2
Suppose -4 = 5*s - 14. Let t = 55 + -55. Solve 0 = -s*n - t - 4 for n.
-2
Suppose 0 = -32*k + 27*k. Solve k*z + z = 0 for z.
0
Let z = 83 + -118. Let b = -34 - z. Solve 2*t + b - 7 = 0 for t.
3
Let u be 100/12 - (84/(-18) + 5). Solve -4*z = -8 - u for z.
4
Let h = 639 + -636. Solve h = -3*v + 6 for v.
1
Suppose 0 = -3*l - 0 + 3. Suppose -2*o + 3*d - 145 = 3*o, 2*d = -5*o - 120. Let s = o - -26. Solve s = 3*j - l + 7 for j.
-2
Suppose 4*j - 14*j = -4*j. Solve j = 5*k - k for k.
0
Let w be -5 + -88 + (-1 - -1). Let l be w/(-2)*(-4)/(-6). Let q be 3/(-6) + l/2. Solve -2*x = x + q for x.
-5
Let v(d) = -d**2 - 7*d - 7. Let p be v(-4). Solve p*j = -23 + 3 for j.
-4
Let q be 26 - (-2 - (4 - 3)). Let v = q + -20. Solve -2*r - 3 = -v for r.
3
Let t = 146 - 146. Solve -4*s + s = t for s.
0
Let g(t) = -t**3 - 11*t**2 + 13*t + 25. Let d be g(-12). Solve 6*c + 11 = -d for c.
-4
Suppose -s - f + 16 = 0, 2*f - 4 = -14. Let k = 25 - s. Solve -k*x - 29 + 9 = 0 for x.
-5
Let y = -46 - -18. Let i = 37 + y. Suppose -4*j - j = 2*l + 1, -3*l = j - 5. Solve r = -l*r - i for r.
-3
Let n be (-4)/7*14/(-4). Suppose 0 = 3*a + n*i - 3 - 37, -2*a = 5*i - 45. Let d = -6 + a. Solve d*g = -g for g.
0
Let p be ((-126)/(-15))/(3/(-15)). Let u be (-4)/16 + p/(-8). Solve -u*l + 11 - 1 = 0 for l.
2
Let p(k) = -56*k - 42. Let s be p(-1). Solve s*o + 10 = -4 for o.
-1
Let q = -258 + 261. Solve -q = -5*h + 12 for h.
3
Let l be 17 + (1 - -1)/((-2)/(-2)). Solve -l*z = -18*z for z.
0
Suppose -2*s = -1002 + 954. Solve 28*o = s*o - 16 for o.
-4
Let w(d) = -21*d - 281. Let l be w(-16). Solve 4*k + 7*k - l = 0 for k.
5
Suppose 0 = -2*b - 126 + 136. Solve -6*p + 1 = -b for p.
1
Let w(m) = -2*m**3 + 73*m**2 + 38*m - 32. Let o be w(37). Solve -a = o*a + 6 for a.
-1
Suppose -4*u + 5 = 2*v - 19, -17 = -5*u + 4*v. Suppose 3*i + 9 = 0, -f - 6*i + i = 12. Let l be 1/(2*f/18). Solve u*n = -7 - l for n.
-2
Suppose 3*t + 5 = 44. Let l = t - 13. Suppose 2*m = -l*m + 40. Solve 6*y = y - m for y.
-4
Let u(j) = -j - 4. Let x = 53 - 57. Let s be u(x). Solve s*i = -2*i - 2 for i.
-1
Suppose -12*b + 27 = -33. Solve b*f + 0*f = -6*f for f.
0
Let u(l) = -l + 23. Let b be u(13). Let i be -4 - 2*(-25)/b. Solve i + 3 = 4*m for m.
1
Suppose z = -4*j + 19, -7*z + 26 = -2*z - 3*j. Solve -4*l - 1 = z for l.
-2
Suppose v = -3*c + 22, -26 = -3*v - 2*c + 12. Let k(i) = i**3 + 3*i**2 - 6*i - 5. Let b be k(-4). Suppose p - b - 2 = 0. Solve y - v = -p for y.
5
Let m(d) = -d + 4. Suppose -o = -0*o - 5, 4*o - 24 = -2*r. Let x be m(r). Suppose x*p = -0*p + 3*a + 25, -4*p + 35 = -a. Solve 3*z = p*z + 5 for z.
-1
Let l = -9 - -9. Suppose l = -3*h + 5*z - 1 + 22, -h + 18 = 2*z. Let s be (-32)/(-6) + (-4)/h. Solve -5*c = s + 10 for c.
-3
Suppose 31*f + 200 - 820 = 0. Solve 0 = -2*i - 10 + f for i.
5
Let s be (-6)/4*(-70)/21. Let l be (6/5)/(3/s). Solve -5*a - 3 = l for a.
-1
Suppose -5*w - 9 = 2*u - 4*w, 2*u - 4*w + 34 = 0. Let v be (u + 4)/(6/(-10)). Suppose 4*b = f + 17, 0*f + v*b = -3*f + 34. Solve 2 = -d + f for d.
1
Let f(y) = y**2 + 3*y + 2. Let a be f(-2). Suppose 5*p + a*p - 15 = 0. Let u be -1*(0/4)/p. Solve -2 = 2*z - u for z.
-1
Let o(n) = -3*n - 7. Let l be (-45)/(-18)*(-4)/(-5). Let g = -1 - l. Let m be o(g). Solve -t - t = -m for t.
1
Let z = 24 - 4. Suppose -21 + z = -y. Solve y + 1 = -x for x.
-2
Let t(x) = x**3 + x**2. Let i(n) = n**2 - 7*n - 7. Let p be i(8). Let d be t(p). Solve d*r + 2*r - 16 = 0 for r.
4
Let l(m) = -m**3 - 19*m**2 - 17*m + 22. Let u(g) = -g**2 - 7*g. Let t be u(-9). Let p be l(t). Solve p*k - 3*k = 0 for k.
0
Suppose 5*p - 57 = -4*x, 0 = x - 20*p + 24*p - 28. Solve -3*w + 10 = -x*w for w.
-2
Let x(b) = -b**3 + 14*b**2 - 14*b + 5. Let q be x(13). Let w = 14 + q. Suppose -2*o = -w - 2. Solve 0 = -c + o*c + 3 for c.
-1
Suppose -3*s + 4 + 5 = 0. Let m(c) = -c. Let p(w) = 5*w - 7. Let j(v) = m(v) + p(v). Let h be j(s). Solve h*g + 4 = -1