x for x.
1
Suppose 2*o = 3*d + 9, 2*o = -3*o + 2*d + 17. Suppose 0 = -5*a - 3*u - 105, a - 4*u + 17 = -27. Let j = a + 28. Solve o*q = 5 + j for q.
3
Let y = 16 + -4. Let c = y - 7. Solve 4*u - 3*u = c for u.
5
Suppose 0 = 5*t - 67 - 33. Suppose 5*j = 5*b - b + 20, b + 5*j = t. Solve b = 5*c + 10 + 5 for c.
-3
Let i(j) = -3*j**2 - 18*j. Let f be i(-6). Suppose -164*a - 40 = -172*a. Solve f = a*q - q for q.
0
Suppose -352 + 385 = 3*x. Solve 0 = x*a - 7*a for a.
0
Suppose 0 = -4*i + 3*b + 9, 4 + 4 = 2*i + 2*b. Let a be (100/(-12) + 7)*i/(-2). Solve -4 + 8 = -a*y for y.
-2
Let r be (-45)/((-15)/3) - 5. Suppose 0 = -r*q - q + 75. Solve 0*f = -5*f - q for f.
-3
Let h = -633 + 638. Solve -h*t + 19 = 9 for t.
2
Let u(k) = 2*k - 4. Let n be u(3). Suppose -4*l + 5*j = -16, 5*j - 8 = -n*l - 0. Suppose l*i + 3*d - 17 = 1, 1 = i - d. Solve -z = i*z for z.
0
Let i(s) = -s**3 + 2*s**2 + 2*s + 7. Let g(b) = b**2 + 7*b - 2. Let f be g(-8). Suppose -f = -6*l + 4*l. Let p be i(l). Solve -2 = 3*o + p for o.
-2
Suppose -4*l + 8 + 6 = -3*q, 5*q = 10. Let h = -2 + l. Suppose 11 = -o - 3*o - h*u, 4*u + 18 = -2*o. Solve 0 = -5*d - 4 - o for d.
-1
Suppose -34 + 2 = -8*t. Suppose -6*a - t = -40. Solve y - a*y = -5 for y.
1
Let h be (1/2)/(3/(-2 + -4)). Let s be h + 1 - (26 - 5)/(-7). Let x be 1/((-2)/(-18)) + 1. Solve s*o - o = -x for o.
-5
Suppose 27*h = 54 - 0. Solve 0 = 4*d + 14 + h for d.
-4
Let u be ((-2)/(-2) - 0)/(21/987). Let v = u + -42. Solve t + 4*t = -v for t.
-1
Suppose -16*a + 10 = -22. Solve 13 - 5 = -a*x for x.
-4
Let m = 1 - -1. Suppose -h - 2*y = 5, 2*y = 3*h - 2*y - 35. Suppose -h*d = -6*d + 3. Solve -n + m*n = d for n.
3
Let p = 21 + -19. Suppose 3*m + 4*y - 9 = -0*m, -8 = 2*m - p*y. Let r be m - (-3)/(-1)*-1. Solve r*n - 4 = 6*n for n.
-1
Let x be (5/(-4))/((-18)/72). Let d(q) = -q**2 + 10*q - 10. Let y be d(x). Solve -3*n + 0 + y = 0 for n.
5
Let l = -35 + 39. Let o be l/(-8)*-1*4. Solve -g + 4 = -o*g for g.
-4
Suppose 0 = -34*l + 1514 + 1206. Solve l = -4*t + 68 for t.
-3
Suppose -2*d + 9*d - 84 = 0. Suppose 4*z + 0*a + 5*a + d = 0, -2*a = 8. Solve -4 = -0*n - z*n for n.
2
Let f = 21 - 11. Let v = f - 8. Let g be ((-7)/14)/(2/(-16)). Solve 0 = 3*x - g - v for x.
2
Let i(w) = -3*w + 23. Let c be i(5). Solve -3*m + c = -4 for m.
4
Let s(m) = 2*m + 2*m + 2*m + 14 - 4*m. Let j be s(-5). Solve -b - j*b = -5 for b.
1
Suppose 22 = r - 4*o, 11 = r + 4*o - 3. Solve 0 = -r*u + 6*u + 12 for u.
1
Suppose 3*b + 22 = 55. Let o(f) = -1 - b*f - 15*f + 27*f. Let x be o(5). Solve 4*q + 0 - x = 0 for q.
1
Let a = 2049 - 2042. Solve a*c - 3 + 31 = 0 for c.
-4
Suppose -4*h - 36 = -5*k + 28, -5*k = 0. Let i be (8/h)/(2/(-16)). Solve -3*p + 2 = -i for p.
2
Let o(t) = -4*t**3 - 14*t**2 + 3*t + 4. Let z(b) = b**3 - 2*b**2 + 7*b**2 - 4*b**2 - b. Let q(p) = o(p) + 3*z(p). Let g be q(-11). Solve -1 = -5*k + g for k.
1
Suppose 21 + 141 = 27*f. Solve f*k = -4*k for k.
0
Suppose 0 = 2*j - 6, 4*n - 2*n = -5*j - 63. Let h = -39 - n. Solve h = -0*f - f + 2 for f.
2
Suppose 0 = s - 2*s + h - 2, -5*h = -3*s - 10. Solve s - 6 = -6*r for r.
1
Suppose q - 1 = 17. Let d(x) = -x**3 - 2*x**2 + x - 2. Let i be d(-3). Suppose 2*f - 6 = 2*r - q, r + i*f + 9 = 0. Solve r = -a - 2 for a.
-5
Suppose -4*h + 17 + 59 = 0. Suppose 0 = -w - 14 + h. Solve -y + 2 = w for y.
-3
Let b(h) = 20*h - 446. Let d be b(23). Solve -d*f - 15 = -85 for f.
5
Let s be -1 + 60 + (-2 - -3) + 0. Suppose s = 8*v - 5*v. Solve -3*g - g - v = 0 for g.
-5
Let m be 14 + (7 - (1 + 3)). Let v = 18 - m. Solve -v = -2*s + 7 for s.
4
Suppose 5*f + 5 = -3*g, -7*g - 14 = -9*g + f. Solve -2*v = g*v - 35 for v.
5
Let v = 916 + -913. Let l = -2 + 2. Solve v*g + 3 = -l*g for g.
-1
Let l(g) = 6*g + 14. Let o be l(-8). Let d = -34 - o. Solve 2*a + d = 2 for a.
1
Let c(o) = -2*o + 42. Let s be c(19). Suppose 0*g + 5*g - 24 = -s*l, -3*l - 12 = 0. Solve -g*w = -4*w + 8 for w.
-2
Let c be 4/6*81/(-18). Let i be (-16)/(-3)*c/2. Let s be i/(-48) - (-70)/12. Solve 2*a = 5*a + s for a.
-2
Let s(w) = w**3 - 9*w**2 + 11*w - 17. Let l be s(8). Solve -m + 3 = l for m.
-4
Let d be 0*((-14)/(-4))/(-7). Let b be (d*4/12)/2. Solve b = -2*y + 4 + 2 for y.
3
Let p be (-225)/35 + 3/7. Let x be -2 + 6 - p/3. Solve -2*d + x = d for d.
2
Let z = 7 - 3. Suppose 2*q = 8 + z. Suppose q*l - 2*k - 4 = 2*l, 5*l = 5*k - 5. Solve 0*h = l*h + 6 for h.
-2
Suppose 13*w + 52 = 39*w. Solve 2*s = 3*s + w*s for s.
0
Suppose 5*p + 31 = 71. Solve 0 = 10*y - p*y - 4 for y.
2
Suppose 8*p = 6*p + 3*t + 123, -3*t - 330 = -5*p. Let r = -67 + p. Solve r = n + 1 for n.
1
Let u be (-3 + 50/2)/(-20 + 22). Solve u*g - 13*g = 0 for g.
0
Let f(g) = g**3 + 3*g**2 + 3*g + 5. Let v be f(-2). Let h be -1 - ((-15)/v + 4). Suppose h*z = 2*z. Solve 0 = -3*m - z - 3 for m.
-1
Suppose 3*r - 3*j = 9, -r - j + 2 = -1. Suppose -9 + r = -3*n. Solve -2 - n = 2*k for k.
-2
Suppose 0*b + 12 = 3*b. Let k be 2/(-5) + 1859/(-65). Let w = -26 - k. Solve w*l = b*l for l.
0
Let g be (-9 - (-3)/1)/1. Let k be 3*3/g*2. Let u be (-2)/((k/1)/12). Solve u*f - 3*f = -25 for f.
-5
Let d = 162 - 158. Solve -9*r + 13*r = d for r.
1
Suppose 0 = 5*t + 5*j - 1085, 12 = -16*j + 20*j. Solve 0 = r + 211 - t for r.
3
Let f be 3/(-12)*(-12 + -7 + 19). Let p = 1 + 1. Let y be (-1 - -1)/(p*-1). Solve -h + 1 + f = y for h.
1
Let i(f) = -32*f + 160. Let r be i(5). Solve -3*c + 3 - 6 = r for c.
-1
Let l be (-1)/(-9)*-2 + (-234)/(-1053). Solve 4*s - 6*s = -l*s for s.
0
Let a(n) = -9*n**3 + 3*n**2 + 6*n + 7. Let i(s) = -4*s**3 + 2*s**2 + 3*s + 4. Let m(w) = 6*a(w) - 13*i(w). Let o be m(-4). Solve b + 1 - o = 0 for b.
1
Let w be (15/(-25))/(3/(-20)). Let x(z) = -4*z. Let v be x(-2). Solve v*s = 4*s - w for s.
-1
Let i = 1000 - 998. Suppose 2*d - 5*d + 9 = 0. Solve d*s - i = s for s.
1
Let c(v) = 8*v**2 - 79*v - 7. Let p be c(10). Solve r - 8 = p*r for r.
-4
Let k be (-6)/18 - (-32)/6. Suppose -k*x - 5 = -25. Solve 2*d - x = -0*d for d.
2
Suppose -24 = -b - 7*b. Let a be 4/b - (2/6 + -3). Solve -a*g - 25 = g for g.
-5
Let n(z) = z**2 - 21*z - 66. Let d be n(24). Solve 5*g + d = 21 for g.
3
Suppose 5*g - 399 = 4*f, -f - 2*g - 507 = 4*f. Let w be (-2)/9 - f/9. Suppose -1 = -4*t + w. Solve -2*k + t*k - 2 = 0 for k.
2
Let j(x) = -3*x**3 - 4. Let n be j(-2). Solve 0*c + n = -4*c for c.
-5
Suppose 6*x - 4*h = 3*x - 9, x + 2*h - 7 = 0. Solve 1 = -y + x for y.
0
Suppose -p + s = -9, 0 = 4*p - s - 4*s - 38. Solve -z = p - 10 for z.
3
Suppose 0 = -0*o + o. Let w be (20/3)/((-20)/(-30)). Let s = w + -6. Solve s*q = -o*q - 20 for q.
-5
Let q(x) = -1 + 21*x - 14*x - 18*x. Let f be q(-1). Solve 0*r + f = -2*r for r.
-5
Let d be (34/51)/((-2)/(-45)). Let m = d + -15. Solve 6*z - 4*z = m for z.
0
Let c(s) = -s**2 - 15*s - 9. Let h be c(-14). Let y = 1 + -1. Suppose 4*a + a = y. Solve a = h*b - b for b.
0
Suppose 13*b - 132 = b. Suppose 20 = b*v - 2. Solve -4*j - 6 - v = 0 for j.
-2
Suppose -3*f - 54 = 6*f. Let s be (-366)/(-36) - (-1)/f. Solve 6*o = o - s for o.
-2
Let f be (9/4)/(24/416). Solve -8*n - f = -15 for n.
-3
Let p = 43 - 35. Let o(c) = c**2 - 10*c + 19. Let f be o(p). Suppose 5*a - f*a = 10. Solve a*i - 25 = -5 for i.
4
Let h(d) = 18*d**2 - d + 1. Let g be h(1). Let t(o) be the first derivative of 3*o**4/2 - o**3/3 - 4. Let r be t(1). Solve g = -r*p - 2 for p.
-4
Let y(c) be the second derivative of 17*c**3/3 + c**2 + 4*c. Let x be y(1). Let d be (-10)/3*x/(-10). Solve 0*k = 3*k - d for k.
4
Suppose 139*n - 142*n = -27. Solve 5*d + 4 = n*d for d.
1
Let p(u) = u**2 - 23*u + 115. Let g be p(16). Suppose 2*t - 4 = -4*v + 10, 0 = -2*v + 2*t + 22. Solve 9 = -v*s + g*s for s.
-3
Suppose 87*b = 111*b - 2712. Solve -6*q = 107 - b for q.
1
Let i be 2 - ((-2)/(-1) - 3). Let o be (20/6)/(i/27). Let x be o/8 - (-3)/(-4). Solve 0 = x*b - 3 for b.
1
Let v = 14 + -25. Suppose -3*x = 2*b + 2*b + 7, 2*x = -4*b - 6. Let d be v/22*(b + 1). Solve 4 + d = c for c.
4
Let a(o) = 8*o**2 + o + 0 - 2 + o**2 - 5*o**2. Let q be a(1). Suppose 2*x + 0 - 6 = 0. Solve q*d - x = 12 for d.
5
Let z(x) = 14*x - 58. Let h be z(5). Solve -5*a = 3 + h for a.
-3
Suppose 0 = 5*t - 3 - 2. Suppose 5*f + 2*c - 42 = f, 3*f - 5*c = -t. Suppose 3*j - f*j + 15 = 0. Solve -j*y = y - 4 for y.
1
Suppose 0 = -5*m - 2*z + 42, 5*m - 3*z = 10*m - 38. Solve 4 = -3*b + m for b.
2
Let r(p