*d = -0*d - 4. Suppose 3*r = 5*r - d. Does b = r?
False
Suppose -2*g - 5*r - 23 = 2, 5*r + 25 = g. Is -4/5 less than g?
True
Let z(l) = 2*l - 8. Let x be z(7). Which is smaller: x or 7?
x
Suppose 0 = i + i - 8. Suppose 5*b + i = -1. Let t = -12/5 - -113/45. Which is smaller: t or b?
b
Let d = -0.123 + -0.827. Which is smaller: d or -1?
-1
Suppose r - 5*r + 4*d + 28 = 0, 2*d = -8. Which is smaller: r or 7?
r
Suppose 30 = 5*y - 0*y. Suppose -q = -2 - y. Which is smaller: 6 or q?
6
Let q = 33 + -33.1. Which is smaller: 0 or q?
q
Suppose 0 = -2*v - 0*v. Which is smaller: 3/23 or v?
v
Let k = 6 + -2. Suppose 2*a + k = 2. Is -1 greater than a?
False
Suppose 5*j - 4*v - 12 - 16 = 0, 0 = -3*j + 5*v + 22. Which is smaller: 2 or j?
2
Let h = 20 - 13. Let f = h - 4. Which is greater: -2 or f?
f
Suppose -1 - 23 = -4*b. Let u(v) = v**3 - 7*v**2 + 9*v - 8. Let x be u(b). Suppose -2*a = 4*p - 22, -29 = -4*a - 3*p + x. Does 8 = a?
False
Suppose 15 = -a - 4*g, 4*a + 12 = -3*g - g. Which is greater: a or 4/13?
a
Let p(y) = 36*y. Let i be p(1). Suppose -x - i = -3*h, 0*h - h + 12 = -4*x. Suppose 0 = 4*k + 2*r + h, k - 3*r - r = 6. Is k <= -1?
True
Let z(c) = -c**3 - 3*c**2 + 2*c. Let q be z(-4). Are q and 8 equal?
True
Let m(c) = c**2 + 4*c - 6. Let s be m(-5). Let p(b) = -b**3 + 4*b**2 + 3*b + 7. Suppose 3*i + 1 - 16 = 0. Let d be p(i). Is d < s?
True
Let k = 1860 + -24194/13. Which is bigger: 0 or k?
0
Let r = -118/3 - -40. Which is smaller: r or 1?
r
Let g be (1 + 20)*7 + -3. Let k be (9/g)/((-1)/(-2)). Is k less than or equal to -1?
False
Suppose 39 = 2*p + 13. Is p at least as big as 13?
True
Let v = 0.5 - -0.6. Let p = -0.1 + v. Is -1/3 != p?
True
Let c be -10 + (15/5 - (1 - 0)). Is c < -7?
True
Suppose -49 = -5*u - 2*s + 17, u + 4*s = 6. Which is smaller: u or 13?
13
Let z(d) = -4*d**3 + 10*d**2 + 25. Let p(r) = 3*r**3 - 7*r**2 - 17. Let a(f) = -7*p(f) - 5*z(f). Let t be a(0). Which is bigger: -5 or t?
-5
Let p be (-2)/(4/((-4)/2)). Is p at least 7/32?
True
Let x = 2 - 0. Which is smaller: 4 or x?
x
Let c = 12 + -8. Let p be (c*(-2)/(-8))/(-15). Which is greater: p or 1?
1
Let o = -103 + 1130/11. Is o smaller than 0?
True
Let t = -0.19 - -0.21. Let s = 0.38 + t. Which is smaller: s or 3/4?
s
Let d = 24 + -6. Which is smaller: d or 19?
d
Let j(l) = l**3 + 7*l**2 - 8*l + 3. Let p be j(-8). Is 3 > p?
False
Let g(b) = -b**3 + 5*b**2 - 5*b + 2. Let m be g(4). Let p = m - 1. Is -5 greater than or equal to p?
False
Let t = 42151/2 - 21659. Let d = 595 + t. Which is greater: d or 13?
13
Suppose 0 = 5*w - 4*w. Let o = -3 - w. Suppose -n - 2 = -0. Which is bigger: o or n?
n
Let w be (-2)/5 - (-306)/(-85). Suppose 0 = 5*l + 9 + 6. Is l greater than w?
True
Let r be (-18)/8 - (-2)/8. Let n be 5*(-3)/(-9)*3. Suppose -n = 2*b + 3*u - 0, 2*u = -3*b - 5. Is b greater than or equal to r?
True
Let q = -523/5 + 105. Which is bigger: 0 or q?
q
Suppose 5*t = b + 8 + 6, -20 = -5*t. Let w be (-9)/(-6)*32/b. Let m be 28/w - 6/(-4). Is m bigger than 6?
False
Let t be (291/(-9))/(10/30). Is -96 > t?
True
Suppose -5*m = -5*q + 35, 4*m = 5*q - 49 + 17. Do q and 4 have the same value?
True
Let b = -25 + 10. Let q = b + 20. Are q and 5 equal?
True
Suppose -2 + 4 = -h. Let m be (1 - -1 - 1) + -2 - -1. Is h less than or equal to m?
True
Let g(q) = q**2 - 6*q - 6. Let l(a) = -a - 4. Let f be l(-11). Let c be g(f). Which is smaller: c or -2/35?
-2/35
Let c(y) = 7*y**2 - y. Let m be c(1). Let t be (0 + -6)*(-3)/m. Let u be (-140)/(-30) + 2/(-3). Which is smaller: t or u?
t
Suppose -4*p + 5*g - 15 - 5 = 0, 0 = 4*p + 4*g - 16. Suppose -4*z + p*z = 0. Is 1 > z?
True
Let f = 16 - 10. Let h = 10 - f. Is h at most 1?
False
Suppose 4*w - 15 = 5*i, -20 = 5*i - 9*w + 4*w. Let y = 415/52777 - -2/593. Let v = 94/445 - y. Is v smaller than i?
True
Let k = -13 - -13. Which is bigger: k or -12?
k
Let f = 31 - 19. Let x = f - 12.1. Which is bigger: 2/9 or x?
2/9
Let g = -1 + 3. Suppose 0*k = -g*k + 4. Which is greater: k or 8?
8
Let w(b) = b - 7. Let g be w(6). Let q be (g/(-5) + 0)/1. Suppose 6*v = 4*v. Which is smaller: v or q?
v
Let r = -27422/42891 + 10/841. Let a = 2/51 - r. Is a at most as big as 2?
True
Suppose -4*r + 22 = 3*t, -4 = 4*t - 5*r + 2*r. Suppose t*w = 6*w - 24. Which is greater: w or -0.2?
w
Let r = 0.06 - 0. Let z = 1.94 + r. Let n = -1.9 + z. Which is smaller: 1 or n?
n
Let w(c) = 2*c**2 + c - 1. Let f be w(1). Suppose v - 24 = -v - 5*a, -v + 22 = 5*a. Suppose -3*o + 14 = -m, v*o - m - 2*m = 21. Is o at most f?
False
Let k be -2 + (-1 - 34/(-10)). Which is greater: k or 0.6?
0.6
Let r be 1/(-2)*(-4 - -2). Does r = -3/11?
False
Let j = 1780/27 - 66. Let i be 10/(-40) + (-15)/20. Which is smaller: i or j?
i
Let i = -0.2 - -3. Let y = i - -0.2. Let a = y + -5. Which is greater: a or -1?
-1
Let g = 75 + -41. Which is bigger: g or 35?
35
Let f(n) = -5*n**3 - 11*n**2 - 3*n + 14. Let x(w) = w**3 + w**2 + w - 1. Let d(u) = -f(u) - 4*x(u). Let o be d(-7). Which is smaller: -2 or o?
o
Suppose 9 = 5*k + 29. Is k equal to -5?
False
Let i = -3 - -7. Let l = -3 + i. Which is smaller: l or 2?
l
Let z = 1 + -0.7. Let y = 169 + -171. Which is greater: y or z?
z
Let y(a) = -a - 3. Let q be y(-7). Is q smaller than 4?
False
Let s be 1 + 0 - (35 + -3). Which is bigger: -29 or s?
-29
Let x be (-44)/35 + (-4)/(-10). Let m = -14 - -12. Which is smaller: m or x?
m
Suppose 2*r + 0 - 6 = 0. Suppose -2*s = s - r. Is 1 >= s?
True
Let l(m) = m**2 - 5*m - 2. Let c be l(6). Let k = -7 + 10. Is k > c?
False
Suppose -17*b = -15*b - 2. Is b less than or equal to 1/28?
False
Suppose -5*z + 4*b + 14 = 0, b - 2*b = 2*z - 16. Suppose 5*q - 30 = 2*u, 0*q + q + z = -2*u. Let w be (-20)/75 - 2/u. Which is greater: 1 or w?
1
Let g be 5/2 - (-3)/(-6). Let y = g + -1. Suppose y + 4 = 5*j. Is j at least as big as 1?
True
Suppose -16 = -5*k - 11. Let l(r) = -r**2 - 7*r - 5. Let o be l(-6). Is o at least as big as k?
True
Suppose 3*q = -22 + 424. Let r = 1207/9 - q. Let g(t) = t**3 + 11*t**2 + 9*t - 11. Let y be g(-10). Which is bigger: y or r?
r
Let s be (-14)/(-3)*15/10. Which is smaller: s or 0.1?
0.1
Suppose 4*n = 1 + 7. Let o(w) = w + 5. Let r(j) = -j - 7. Let z be r(-3). Let p be o(z). Is n bigger than p?
True
Let o = 12 - 8. Suppose o*g = 1 - 9. Which is smaller: -10/7 or g?
g
Let w be (8/180)/((-2)/40). Let i = w - -2/9. Let d(g) = -g**3 + 5*g**2 + 5*g + 5. Let r be d(6). Which is greater: r or i?
i
Let r(g) = g - 2. Let l be r(6). Let i be (l/2 + -1)*1. Which is greater: 0 or i?
i
Let u(k) = k**3 + 4*k**2 - k + 3. Let y(d) = -3*d**2 + 2*d + 1. Let o be y(-1). Let r be u(o). Is 6 != r?
True
Let k = -18 - -16. Which is bigger: k or -7/5?
-7/5
Suppose -k = -4 + 12. Let w = 21 - k. Suppose 5*f + v = -0*v + 20, -3*f + w = 4*v. Are f and 2 non-equal?
True
Let t be -2 + 3 + (-2 - -1). Suppose t = -2*g - c + 5, -5*c - 3 + 0 = 3*g. Let n be (12/(-10))/((-3)/10). Is g bigger than n?
False
Let y = 7.2 + -6.1. Are 3 and y unequal?
True
Suppose -23*p = -22*p. Suppose 3*r - 1 - 2 = 0. Which is greater: p or r?
r
Suppose 3*o - g - 1 = 9, 4*g - 8 = 0. Suppose -o*t = -3*t. Is 1/7 at least as big as t?
True
Suppose 3*w - f - 6 = 2*f, w = 2*f + 2. Let d(r) = r + 2. Let a be d(w). Is a equal to 0?
False
Let g(c) = c**2 - 4*c - 4. Let z be g(5). Is z < 1?
False
Suppose -6*f + 3*f + 17 = 4*l, -l = 3*f - 2. Which is greater: f or 2/19?
2/19
Let y(c) = -6*c - 46. Let k be y(-14). Do k and 37 have the same value?
False
Let u be 0 + 0 - 4/(-21). Let j = -118/399 + u. Is j at least as big as -1?
True
Let p(b) = -b - 8. Let n be p(-8). Which is bigger: n or 1/12?
1/12
Suppose -2*o = -4*m + 6, o + 2*o - m = -4. Is 32 > o?
True
Let f(h) = 3*h + 3. Let z be f(2). Suppose -7*q = -z*q. Which is greater: -2/77 or q?
q
Let i be (-67)/156 - 18/27. Let h = 5/4 + i. Which is bigger: h or 0?
h
Let z(j) = 4*j + 12 - 2*j + 9*j + j**2 - 2*j. Let v be z(-8). Suppose -g + 4*w + v = 0, -7*g - w = -3*g + 18. Is -4 >= g?
True
Let x = 121/91 + -21/13. Let k = -10301/88 - 777/8. Let p = 214 + k. Which is smaller: x or p?
x
Suppose 3 = -5*p + 2*p, 0 = -5*n - p + 24. Let g be ((-7)/(-2))/(3/6). Suppose -o = n*u - g, 0 - 1 = -2*u - o. Is 4 greater than or equal to u?
True
Let c(h) = -h**2 - 6*h + 4. Let r be c(-6). Suppose 5*y = n - 10, 7*n - 30 = r*n - 4*y. Let q = 