 i + h for i.
1
Let t be (-2 - (-20)/12)*9/(-1). Solve -16 + 16 = t*i for i.
0
Let z = 17 + 3. Suppose z = y + 17. Solve -y*x + 4 = -2*x for x.
4
Suppose 3 = -k + 5. Suppose -225*j + 346 = -52*j. Solve -j*s + k = -0*s for s.
1
Let p be (-3)/21 + 2412/28. Solve 0 = 81*n - p*n - 25 for n.
-5
Suppose 0 = -3*q + 5*d - 2, 2*d + 10 = -3*d. Let j be (2/q)/(2/(-32*1)). Solve 5 = -i + j for i.
3
Let m be (4 - (-14 - -17)) + -1 + 6. Let t be (2 - 1)*(-15)/(-3). Solve -a + m*a = -t for a.
-1
Suppose 8*c = 12*c - 32. Suppose 1 + 23 = c*s. Solve -s*v = -4*v for v.
0
Let k = 29 + -25. Suppose -k = -2*o + 2. Solve -2*j = -j - o for j.
3
Let z be 1 + 243 - (8 + -6). Let s = z + -95. Let h be s/14 + (-3)/(-2). Solve h = -7*l + 4*l for l.
-4
Let j = 16 + 9. Solve -5*b = -0*b + j for b.
-5
Suppose -3*c + 35 = 4*o, -6*c - 50 = -10*c - 2*o. Solve -9*g - 5 - c = 0 for g.
-2
Let p be (65/20)/(1/(-4)). Let g = p + 14. Let s be (4 + 4/(-1))*g. Solve s = -y - y - 2 for y.
-1
Suppose 0 = 4*y - 11 - 5, 2*y + 2 = 5*s. Solve 0 = -s*u + 4 + 4 for u.
4
Let w be 6*(-12)/18 - -7. Solve -4 - 11 = -w*g for g.
5
Suppose 0 = 12*a - 248 + 176. Solve 4*x + a = -2*x for x.
-1
Let s(w) = -5*w - 16. Let r(g) = g + 4. Let p(v) = -18*r(v) - 4*s(v). Let z be p(9). Suppose -z = -5*q, -4*f - 4 = -3*q + q. Solve -5*j - 20 = -f*j for j.
-4
Let j be (-12)/20*15/(-1). Solve 57*u = 54*u - j for u.
-3
Suppose 2*m = m + 9. Let t be ((-6)/m)/((-2)/21). Let d(g) = 3*g + 137. Let r be d(-44). Solve -t = -r*b + 3 for b.
2
Let v = 3 - 2. Let b = 1 + v. Suppose 10 = x - q, -6*x + 5 = -5*x - 2*q. Solve -3*f + x = b*f for f.
3
Let u = 34 + -40. Let k(r) = -r**2 - 6*r + 3. Let t be k(u). Solve 0*d = d + t for d.
-3
Suppose 0 = 5*d + 4*r - 38, 0 = d + 2*r + 3*r - 16. Solve -3*l - 3*l - d = 0 for l.
-1
Let k = 152 + -152. Solve 4*d + k = -8 for d.
-2
Suppose -36*x + 204 - 60 = 0. Solve -6*k + x*k - 6 = 0 for k.
-3
Suppose 4*w + 4*s - 14 = -18, 0 = 2*w + s - 3. Solve w = 4*j - 8 for j.
3
Let u(d) = 14*d - 48. Let w be u(4). Solve w*i = 5*i + 15 for i.
5
Suppose 0*g - 5*c - 79 = -3*g, -3*c - 87 = -4*g. Solve -8*v + g = -2*v for v.
3
Let a(i) = -i**2 - 8*i. Let t be a(-2). Suppose 15*r = t*r. Solve r = -u + 5*u + 4 for u.
-1
Let d be 1*((-87)/116 + (-46)/(-8)). Solve 50 = 30*m - d*m for m.
2
Let u be ((-1)/12 - 20/30)*-12. Solve -4*f = -u*f for f.
0
Let w be (-1 - -2)*(1 + 0). Suppose -f + w = -6. Solve 5 = 4*b - f for b.
3
Suppose -2*c = -i + 6*i - 95, c + 80 = 5*i. Solve -2*b - 7 = -i for b.
5
Let r be (-4)/3 - (-117)/27. Suppose -3*n - 3*m + 14 = -4*m, n - r*m = 18. Solve 0 = -0*w + n*w - 3 for w.
1
Let t be 64/30 - (-12)/(-90). Suppose -3*j - 3*f + 4 = -4*j, 0 = t*j - f - 2. Solve j*i = -3 + 1 for i.
-1
Let p = -118 + 118. Solve 5*f + 25 + 0 = p for f.
-5
Suppose 2 = -82*b + 83*b. Let x be (-5)/((-15)/(6/2)). Solve 3*u - b - x = 0 for u.
1
Let c(u) = 87*u + 3 + 87*u - 177*u. Let o be c(-3). Let l = -4 - -6. Solve -l*w - o = w for w.
-4
Let k = 15 + -8. Suppose 5*n = 8 + k. Solve -6*r + 9*r + n = 0 for r.
-1
Let y(g) = -g**2 - 3*g + 17. Let k be y(-6). Let v be -4*(-3)/4 - k. Solve 2*b + v = -2 for b.
-3
Let f(p) = -p**2 - p. Let z(n) = -n**2 - 2. Let g(i) = -2*f(i) + z(i). Let m be g(4). Let c = m - 12. Solve -3*r = c + 2 for r.
-4
Let z(b) = -32 - 12*b + 3*b + b. Let g be z(-4). Solve g*l = l for l.
0
Let w = 487 - 484. Solve w*s + 3*s = 0 for s.
0
Let b be -12*(2/(-18) - 6/27). Suppose z - 56 = -3*z. Let k = z - b. Solve -4*t - k = t for t.
-2
Suppose 0 = -3*y - a + 33, -6*y - 5*a + 33 = -3*y. Let v be 21/(-14)*4/(-3)*4. Solve v = i + y for i.
-3
Suppose 0 = -0*z + 3*z - 6. Solve f = -3 - z for f.
-5
Let j = 458 - 455. Solve -j*u + 19 = 16*u for u.
1
Let z be 0 - 6/(-4)*2. Suppose 0 = -6*l + 13 + 35. Let b = l + 7. Solve z*a = -0*a - b for a.
-5
Suppose 19 = j - 2*b, 2*j = j - 4*b - 11. Solve -v - 14 = -j for v.
-5
Suppose 2*o + 3*t - 54 = -0*t, -2*o = -4*t - 54. Let b = o + -7. Solve 5*s - b = s for s.
5
Suppose 47 = -15*x + 182. Solve 36 = x*a - 21*a for a.
-3
Let l be 155 - (224/8)/7. Solve -153*c = -l*c + 2 for c.
-1
Let q = 2 + -1. Solve -5 = -3*d + q for d.
2
Let p = -22 - -24. Let t be (0/6)/(0 - p). Solve t*x + 4*x = 12 for x.
3
Let o(c) be the first derivative of 3*c**2/2 + 16*c - 16. Let w be o(-4). Solve -w*d + 9 = -7*d for d.
-3
Let v be (-12)/78 + (12/(-39))/(-2). Suppose v = -4*m + 7 + 9. Solve m*x = -7 - 13 for x.
-5
Suppose 5*l + 0*d - 14 = d, 5*l - 2 = -2*d. Suppose l*u + 15 = 65. Solve u = -3*s - 2*s for s.
-5
Let r(v) = -3*v - 10. Let f be r(-9). Suppose -12*l = -f*l. Solve -7*m + 3*m + 16 = l for m.
4
Suppose 4*j + 0 - 40 = 0. Suppose -3*s + j = -5*w + 70, 5*s - 25 = 0. Solve -w = 2*v + v for v.
-5
Let r = 4 - 0. Let m be (-3 - -1) + (-11)/((-44)/8). Solve -r*x = -m*x for x.
0
Let n(k) = k**2 + 2*k - 5. Let q be n(-4). Let m be 0*(54/(-81) - 7/(-6)). Solve m = -q*v - v for v.
0
Let u = 487 - 444. Solve -6*b - u + 13 = 0 for b.
-5
Suppose 4*j = 15 - 59. Let p = 11 + j. Suppose 0 = 3*k - p*k - 9. Solve 0 = n - k*n for n.
0
Suppose 0 = 2*k - 9*k - 476. Let d = -65 - k. Solve -3*f - d = -6*f for f.
1
Suppose -5*z = 15, 2*z + 30 = 116*k - 112*k. Solve 4 = 5*r - k*r for r.
-4
Let s = -63 - -32. Suppose -7*p - 140 = -11*p. Let l = p + s. Solve -d + 5*d = -l for d.
-1
Suppose -1 + 9 = -2*x. Let i(b) = -b**3 - 5*b**2 - 5*b + 1. Let d be i(x). Suppose -u - 6 + 14 = 2*q, d*q = -5*u + 25. Solve 5 = -4*r - q for r.
-2
Let s be -1*((-50)/(-5))/(-2). Suppose -3*o - 5*r + r = -15, 2*r = s*o - 25. Suppose -o*m = -m. Solve -5*v - 4 - 1 = m for v.
-1
Let q = 1208 - 1203. Solve 14*j - 27 = q*j for j.
3
Let r = -67 + 85. Solve -5*h = -38 + r for h.
4
Let f(u) = 203*u + 632. Let m be f(-3). Solve 33*q = m + 10 for q.
1
Suppose -2*m - 4 = 5*l, 3*l + 8 = -2*m - 2*m. Let z be 0 + (-8)/(2/(-1)). Let r = z + m. Solve -2*i - 16 = r*i for i.
-4
Let p be (-1)/2*36/(-3). Solve 10*j + p - 56 = 0 for j.
5
Let b = -37 - -103. Let d = 71 - b. Solve 0 = d*c + 30 - 5 for c.
-5
Let v(s) = 6*s**2 + 37*s - 37. Let c be v(1). Solve 0 = 5*j - 7*j - c for j.
-3
Let s be (42/18)/((-12)/(-360)). Solve 3*t = -11*t - s for t.
-5
Let j be (7 - -2)/9*5. Solve 13 = -j*f - 2 for f.
-3
Suppose 92 = 56*t - 10*t. Solve t*z + 2*z + 2*z = 0 for z.
0
Suppose 5*f + 102 = 11*f. Suppose 3*j - 26 = -f. Solve 4*r - j*r = -2 for r.
-2
Suppose 0 = 10*u - 15*u + 25. Suppose 3*n - u*g - 8 = -n, -4*n + 16 = -3*g. Let d = -2 + n. Solve -6*c = -d*c for c.
0
Let c = -32 + 32. Suppose -2*b + i + 3 + 5 = c, 0 = -2*b - i + 4. Solve 3*p = 2*p + b for p.
3
Suppose 8*m - 20 = 3*m. Suppose -o = 2*a - 14, 20 = 5*a + 3*o - 8*o. Suppose -4*k = -2 - a. Solve -4 - m = -k*v for v.
4
Let v be -2 - -6 - 10 - -24. Solve 4*n + v = 6 for n.
-3
Let q(j) = j**3 + 9*j**2 - j - 8. Let t = 33 + -42. Let n be q(t). Solve r = n + 1 for r.
2
Let q be -2*(-15)/2 + 0. Let j = q + -12. Suppose -t = t. Solve -n = -t - j for n.
3
Suppose 8*c = -4*t + 3*c - 5, -3*t + 5*c = 30. Let m be (-2)/t - (-174)/15. Solve -2*g - m = g for g.
-4
Suppose 60 = -7*b + 17*b. Solve 7*z + 20 = b for z.
-2
Let f(v) = v**2 + 19*v - 175. Let k be f(-26). Solve r + 18 = k*r for r.
3
Let h = -153 + 144. Let y be h/54 - (-38)/12. Solve -z + y = -4*z for z.
-1
Let s = 225 - 216. Solve -5 = -q - s for q.
-4
Let i = -16 - -10. Let a be 0*(2 + i/4). Suppose 5 = -2*w - z, 4*w + 3*z + 22 - 7 = a. Solve 0 = u - w*u - 4 for u.
4
Suppose 39 = 8*j - 49. Suppose -j = -5*l + 4*l. Solve 3*c - l = 1 for c.
4
Suppose 0 = -5*p, 4*q + 3*p - 1 = 7. Let b(t) = -2*t + 4. Let d be b(q). Solve d = 3*m - 2*m + 1 for m.
-1
Suppose 58*d = 63*d - 25. Suppose -2*r - 18 + 34 = 0. Solve d*s - r = -3 for s.
1
Let t = 0 + 4. Let b = -36 - -24. Let v be (-68)/b + (-3)/(-9). Solve -t*l + v = -2 for l.
2
Let n be (4 + -11 + -3)/((-4)/14). Solve 8*h = 27 - n for h.
-1
Let k be (-4*7 - -6)/(-2) - -4. Suppose 0*w + w = 5. Let q be (-4)/(-10) - (-13)/w. Solve -q*x + k = -0 for x.
5
Let v be -38 - -40 - (-2 + (1 - 2)). Solve -v*l = -l for l.
0
Suppose 3*u + 13 + 113 = 0. Let c = u + 47. Solve 0 = -c*r + 25 - 10 for r.
3
Let k = 0 + 0. Let j = -3289 + 3289. Solve j*t + 3*t - 15 = k for t.
5
Let d(h) = 12*h - 2*h + 2 + 4*h. Let g be d(3). Let j be (-1)/2 - g/(-8). Solve -11 = j*c - 1 for c.
-2
Let d = -16 - -20. Suppose d = -2*c + 4*c. Let l(j)