o - r for o.
1
Suppose -4*x = 4*a - 12 - 64, 75 = 4*x + 5*a. Solve 10 - x = -2*n for n.
5
Let z(h) be the first derivative of -2 - h - 1/2*h**2 + 2*h**3. Let q be z(-1). Solve -a + 15 = -q*a for a.
-3
Suppose -5*f - 36 = -2*m - 3, -10 = 2*f. Suppose -m*j = o + 2*o - 86, -3*j = -o - 58. Solve j + 0 = -4*n for n.
-5
Suppose 0 = 14*l + 43 - 225. Solve -b + l = 16 for b.
-3
Suppose 0 = -2*q + 10, -y + 8*q = 3*q + 21. Suppose 0 = -s - 3*s - 8, y*s + 32 = 2*v. Solve n + v = -2*n for n.
-4
Suppose 8 = -5*z + 3*z. Let c be (-17)/((-408)/80)*(-6)/z. Solve 6 = -c*d - 4 for d.
-2
Suppose 5 = -2*a + u + 3, -10 = 2*a - 5*u. Suppose 5*l + 11 - 21 = a. Suppose -i + l + 2 = 0. Solve c = -i*c - 15 for c.
-3
Suppose -2*h + i + 224 = 0, i = -25*h + 20*h + 553. Solve -h + 116 = q for q.
5
Let t be (-9)/(-3)*(-3)/(-9) + 0. Solve 0*l = -l - t for l.
-1
Suppose 460 = -6*t + 532. Solve -4*u - t + 8 = 0 for u.
-1
Suppose 3*o = -o + 164. Suppose -2*r - 3*h + o = 3*r, h - 7 = -r. Suppose -111*s = -110*s. Solve 2*z + s = r for z.
5
Suppose w - 24 = -5*c - 0*c, w = 5*c - 26. Suppose 0 = c*x - 10. Suppose 4*r = 8*r - 8. Solve -r - x = d for d.
-4
Let b(k) = -k**3 - 7*k**2 + k + 5. Let i be b(-7). Let z be ((-15)/2)/5*i. Suppose z*y - 6*y = -93. Solve 5*q = -6 + y for q.
5
Suppose -31*j = -26*j - 125. Solve 29*q = 34*q + j for q.
-5
Suppose 2*c - 4 = 0, -22 = -4*o - o + 4*c. Let z(y) = -6*y + 4*y + o*y - 3 - y**3 + y + 2*y**2. Let j be z(3). Solve m + j = 5 for m.
2
Suppose -3*l = -6*l. Suppose 5*k - 4 - 11 = l. Solve 13 + 2 = -k*o for o.
-5
Suppose -5*r - 4*a = -356, 2*a = 5*r - 303 - 59. Let q = r - 70. Solve 5*x - q*x = -12 for x.
-4
Let h = 422 + -370. Solve 13*l + 13 + h = 0 for l.
-5
Let h(l) = 2*l - 10. Let f be h(7). Suppose 4*v + 22 = -0*b + 2*b, 5*v = -f*b - 8. Solve 0 = -3*t + b for t.
1
Let n = 5 - 1. Suppose -5*h + 2*p - 14 = -2*h, 4*h - 3*p = -20. Let m = n + h. Solve m*r - 3 = 7 for r.
5
Suppose 0 = 4*f + 3*o - 5, 0 = -f - 9*o + 4*o - 20. Suppose 10 = -f*y + 20. Solve 0 = -2*s + y for s.
1
Let y be 10/4 - (-19)/8*4. Solve -y = 6*q + 12 for q.
-4
Let y be 29 + -4 + (0 - 0). Let g = 29 - y. Solve c + 0 + g = 0 for c.
-4
Let t(p) = p**3 + 20*p**2 - 19*p + 44. Let o be -17 - ((-36)/(-3))/3. Let g be t(o). Solve -4*c + 14 + g = 0 for c.
4
Let g(d) = d**3 + 6*d**2 - 6*d - 2. Let s be g(-6). Let z = -27 + s. Suppose -c - 2*c + 6 = q, 0 = -c - q. Solve -m + c = z for m.
-4
Let x = 1953 - 1952. Solve -90*h = -91*h + x for h.
1
Suppose 0 = -4*s + 43 + 37. Let u = 60 - 46. Let a = s - u. Solve -a = -v - v for v.
3
Let m be 2 - (-6 + (-2 - -1)). Suppose 6 + m = c. Let t be c/(-3)*(-6 + 5). Solve 23 = t*a - 2 for a.
5
Suppose -6*u = -4*u + 216. Let p = 109 + u. Solve 4 = -3*h + p for h.
-1
Let b be 1*-1 - (6 - (-3 + 12)). Suppose 3*c - 11 = -b. Solve 0 = c*a - 0*a + 6 for a.
-2
Suppose 3*h - 3*r - 15 = h, -2*h + 11 = r. Let v(p) = -p**3 + 7*p**2 - 5*p - 2. Let u be v(h). Solve -x + u = 3 for x.
1
Let j(b) = -2*b**3 + 13*b**2 - 6*b + 2. Let u = -3 + 8. Let q be 54/10 - (-3)/u. Let d be j(q). Solve -d*z = 3*z for z.
0
Let d be -5 - -13 - (-8 + 16). Solve d - 12 = 4*b for b.
-3
Let f(l) = -32*l + 1. Suppose -4*h + 4*g = -16, -13 = -5*h + 3*g - 3. Let o be f(h). Suppose -2*q = -o + 13. Solve -4*z + q = -6*z for z.
-5
Let q = 11 - 8. Solve 0*c - 3*c = -q for c.
1
Suppose -5*a + 3*w = 2, -3*w + 2*w + 12 = 4*a. Let l be (1 + -1)/(12/6). Solve l*t = -a*t for t.
0
Let n = -482 - -491. Solve -n = -4*p + 3 for p.
3
Let w be ((-1)/1)/((-2)/10). Let u(v) = 0*v + v + 47 - 17 - 6*v. Let s be u(5). Solve -w*c - 15 + s = 0 for c.
-2
Let v = 16 + -18. Let r be 6*v*(-1)/4. Let m be 2/(-1) + 0 - -2. Solve -r*t - 17 + 2 = m for t.
-5
Let i(s) = -s**3 - 5*s**2 + 18*s - 2. Let a be i(-8). Let r = -26 + a. Solve 0 = -2*b - 3*b + r for b.
4
Suppose -3*k = -4*i + 6, -k = i - 3*i + 4. Let m = 3 - -1. Let h(t) = t**2 - 4*t + 3. Let r be h(m). Solve -7 = -k*b + r for b.
5
Suppose 0 = 7*g - 5*g. Suppose g = 2*n + 12 - 16. Solve -n*l = -0*l for l.
0
Suppose -10*z + 5*z - 150 = 0. Let u be (-2)/(-6) + (z/9 - -3). Solve -4 = -u*t - 2*t for t.
2
Suppose 2*g + 632 = -5*n - g, -507 = 4*n + g. Let j = -102 - n. Solve -2*a + j = -7*a for a.
-5
Suppose 3*z - 2*b + 50 = 3*b, 5*b = -5*z - 30. Let a be ((-25)/(-5))/(-10)*z/1. Solve -a*v + 5 = -15 for v.
4
Let c = -21 - -17. Let m be (c/8)/((-4)/48). Solve -f + 15 = -m*f for f.
-3
Let l = 289 + -260. Solve l*j - 33*j - 16 = 0 for j.
-4
Let c be (-92)/(-20) + 10/25. Let h(b) = b**3 - 6*b**2 + 2*b + 17. Let x be h(c). Solve -5 = x*p - p for p.
-5
Let b(w) = 15*w - 331. Let c be b(23). Solve 0 = -19*z + c*z - 20 for z.
-4
Let c(i) = -i**3 - 11*i**2 - 13*i - 133. Let k be c(-11). Solve -k = -38*q + 33*q for q.
2
Suppose -2*x + 2 = -8. Let s be 270/14 - 124/434. Solve x*r - 1 = s for r.
4
Suppose 127 + 522 = -11*p. Let s = p - -61. Solve -i + 0*i + s = 0 for i.
2
Suppose -24 = -5*y - 3*y. Let k be (0/2)/((-2 + y)/1). Solve -5*v - 14 - 6 = k for v.
-4
Let g be 0/(7 + -14) + 5. Solve -7 = -g*p + 13 for p.
4
Suppose -f + 1 = 5*m, 2*f + 4*m + 6 = 2. Let u be 0/((4 - 0)/f - -3). Solve u*a = -5*a + 15 for a.
3
Suppose 0 = -33*h + 11*h + 3872. Solve -177*s = -h*s for s.
0
Let p(s) = -s**2 + 6*s - 3. Let v be p(4). Let r(l) = 4*l**3 + l. Let t be r(1). Let u(w) = w - 3. Let y be u(t). Solve 4*i - y = v*i for i.
-2
Suppose -2*s = -2*u - 12, -s - 3*u = 4 + 2. Solve 4 = s*i - 2 for i.
2
Let i(v) = -v**2 + v + 54. Let g be i(0). Let w be ((-1)/3)/((-9)/g). Solve -3*t = -w*t + 1 for t.
-1
Let s(y) = y**3 + 5*y**2 - 2*y - 9. Let g be s(-5). Let o be (24/30)/(g/5). Solve o*b = -b - 25 for b.
-5
Let i = -293 - -298. Solve 2*m + 9 = i for m.
-2
Suppose 4*c - 15 = 3*h + 11, c = 5*h + 15. Let j be 2 + (-6)/((-6)/3). Suppose w - j*w = 2*w. Solve w = -2*v + c*v + 3 for v.
-1
Suppose -4*a - 19 - 11 = -5*j, 2*j - 3*a - 19 = 0. Suppose -j*q = 3*w - 6*q + 83, -3*w = 5*q + 119. Let d be 3/(-5) - w/5. Solve y + y = d for y.
3
Suppose -369 = 835*g - 844*g. Solve -37*o + g*o = -12 for o.
-3
Suppose 65 + 25 = 18*b. Let p(g) = 3*g - 9. Let h be p(b). Solve -2*c = -h*c + 8 for c.
2
Let k be -1 + 5 + -5 + 2. Solve k = -t - 3 for t.
-4
Let z = -60 - -60. Let g = 57 + -55. Solve z = l + g*l - 15 for l.
5
Suppose 0 = -24*q + 691 + 53. Solve q = 9*t + 4 for t.
3
Let l = 22 + -19. Suppose -l*z + z + 12 = 0. Let p be (8/z)/(8/18). Solve 2*w + p - 1 = 0 for w.
-1
Suppose 3*p = 2 + 16. Suppose 2*k - p = -t, -2*k + k + 3 = 3*t. Suppose 3*c = -2*z + 1 + 14, 9 = k*z. Solve c*j - 5 = 10 for j.
5
Let a be 9/15 - (-135)/25. Let b = 21 - 30. Let o be (-13)/(-3) - b/(-27). Solve -o*i - 2 = -a for i.
1
Suppose 0 = -2*y + 3*y. Let k be (-3 - -5)/(-1) + -2. Let z be (-12)/k - (-2 + 1). Solve -2*l = -y*l - z for l.
2
Let h = -455 - -458. Solve -y + h*y - 2 = 0 for y.
1
Let y = -50 - -78. Suppose 0 = -2*x - 2*h + y, 2*x - 2*h - 7 - 25 = 0. Solve x = -0*i + 5*i for i.
3
Let j be 8*((-28)/(-8) - 3). Suppose 0 = -4*u - d + j*d + 80, 0 = 3*u + 5*d - 60. Solve -2*c + u = 2*c for c.
5
Let b = -1044 - -1055. Solve -9 = -b*g - 31 for g.
-2
Suppose 18*c - 1056 = 924. Solve -c*a - 40 = -118*a for a.
5
Let k be (32/10)/((-27)/15 + 2). Solve 13 - k = u for u.
-3
Let p = -305 + 309. Solve -2*q + 2 = -p*q for q.
-1
Let k = 1 + 0. Let d be (0 - -18)/k + -2. Let h = 459 + -456. Solve d = h*l + 1 for l.
5
Let x(o) = o**2 + 10*o - 16. Let n be x(-12). Suppose -2*z = -5*z + 3*j - 3, -5*z + 3*j = -1. Let g be z/6 + (-25)/(-15). Solve 0 = 2*h - n + g for h.
3
Let w = 15 - 12. Suppose -3*d - 7 = 5, 4*d = w*c + 8. Let s be -12*(1 - (-14)/c). Solve 2*a - s = -a for a.
3
Let v = -205 - -215. Solve v*z = 4*z - 24 for z.
-4
Let x(y) = y**2 + 12*y - 22. Let l be x(-16). Let s = l + -38. Solve -f - s*f = 0 for f.
0
Let m be (30 + -28)*(1 - -1). Solve -2*n - 2*n - m = 0 for n.
-1
Suppose 4*b - 16 = -2*m, -2*b + 3 = -3. Solve 2*j - j = m for j.
2
Suppose -2*n - 6 = 2*c, 4*c + 2*n = 3*c - 6. Let z = -72 - -76. Solve z*p - p - 3 = c for p.
1
Suppose 5*u - 2 = -3*a + 5, -17 = -4*a + u. Let v = -5 + 8. Let t(s) = -s**3 + 4*s**2 - 4*s + 6. Let m be t(v). Solve -1 = m*o - a for o.
1
Suppose -5 = 2*u + 5. Let d(l) = -9 - 15 + 32 + l. Let y be d(u). Solve q = -0*q + y for q.
3
Let b be (-1)/(1 - 12/10). Suppose 57 = b*d - l, 0*d - 3*l + 45 = 3*d. Suppose 