-5/31 + g. Let l = 0.2 - 0.21. Which is smaller: l or o?
o
Suppose -2*f - 7 = -4*f + 3*n, f + 2*n - 7 = 0. Let t = f - 3. Suppose 4*m - t = 2*m. Which is bigger: 6 or m?
6
Let o = -15 + 19. Which is smaller: 1/4 or o?
1/4
Let b = -6 - -6.03. Let z = 2.97 + b. Which is greater: z or 2/3?
z
Let b = 3 - 3. Is b less than 1?
True
Suppose -12 = 4*f - 6*f. Suppose 0 = f*a - 3*a - 6. Suppose -8*v + 2*y + 18 = -3*v, 0 = 5*v + 2*y - 2. Do v and a have different values?
False
Let q = -16826/455 - -480/13. Is q bigger than 1?
False
Suppose 0 = 4*p - 7*p. Suppose 5*k + p - 5 = 5*z, k = -z - 7. Which is greater: z or 0?
0
Let b be (-2)/4*4/(-2). Suppose 2*x = 4*x + 3*x. Are b and x equal?
False
Let a = -2 + 2. Which is bigger: -6 or a?
a
Let l(f) = -f**3 + f**2. Let y be l(-1). Suppose 2*d - 2 = y. Let r(s) = -s**3 + 4*s**2 + 2. Let n be r(4). Is d > n?
False
Let z = -0.01 + -1.99. Let n = z - -2.3. Let x = -0.3 + 0.2. Which is greater: x or n?
n
Let g = -216 - -6265/29. Which is smaller: 0 or g?
0
Let z = -35 + 34. Let s = 4129621/459 + -8997. Let i = -1363/3213 + s. Which is smaller: i or z?
z
Let n = -7.84 - -0.04. Let w = 0.2 - n. Let o = w - 7.7. Which is smaller: o or 0.1?
0.1
Suppose -2*o + 4*o = -10. Let p be 3 - (-23)/o - -2. Which is smaller: p or 1/3?
1/3
Let r(g) = g**3 + 3*g**2 + 3*g + 1. Let s be r(-1). Which is smaller: 1/21 or s?
s
Suppose -5*a - 4*j - 167 = 0, 150 = -4*a - 0*a + 5*j. Let o be (-7)/a + 8/10. Let w be ((-3)/4)/(7/(-4)). Which is smaller: w or o?
w
Let t = -17 + 21. Which is bigger: -0.1 or t?
t
Let n(t) = -t**3 + 14*t**2 - 34*t + 13. Let w be n(11). Which is smaller: 59 or w?
w
Suppose -2*y - 3*y - 10 = 0. Let q be y/(-316)*20/(-5). Let n = q + 87/316. Is -1 at most n?
True
Let q(u) = -u**3 - 8*u**2 - 7*u - 6. Let k be q(-7). Let v = k + 7. Which is greater: v or 0.3?
v
Let r(l) = -l + 9. Let y be r(4). Let m be (3 + -5)*(-10)/4. Suppose -m*t + 0*t = -30. Are y and t unequal?
True
Suppose 4*g + g = -2*u - 6019, 0 = -4*u + 12. Let f = 2551/2 + g. Let x = f - 69. Which is smaller: x or 2?
x
Let j be (-3)/6*6 - (8 + -1). Which is greater: 3 or j?
3
Let j be (6/15)/(1/5). Suppose -2*f + 12 = 4*b, 4*f - 8 = -b + j. Which is bigger: 1 or b?
b
Let j be 5/(-75)*-9*10. Do 7 and j have the same value?
False
Let c = -5 - -5.9. Let k = 0.6 - c. Is 1 equal to k?
False
Suppose 3*h = o, 0 = -0*h + h - 1. Suppose -9*r = -13*r + 16. Is r at most o?
False
Let m be ((-32)/(-6))/((28/(-21))/4). Is -16 at most m?
True
Let l = 10.95 - 11. Let t = l - 0.05. Which is bigger: 0 or t?
0
Let l = -5 - -8. Suppose 2*o - b - l = -4, -1 = -2*o + 3*b. Is o bigger than -3/5?
False
Let a(h) = h**3 + 4*h**2 - 4*h + 7. Let v be 2*5/(-2)*1. Let r be a(v). Is r less than or equal to 2?
True
Suppose x + 6 = -5*x. Let k = -39453/2530 + 348/23. Let c = k + -3/22. Which is smaller: x or c?
x
Let j = 8 - 4. Suppose -f - 2*g - 5 = 0, 4*f - 4*g + 45 = f. Let n = -8 - f. Is n bigger than j?
False
Let g(w) = w**3 - 8*w**2 + 5*w + 12. Let m be g(7). Let f be m/4 - 23/(-2). Is 11 greater than f?
False
Let u = -7.6 - -8. Which is smaller: u or 9?
u
Let m = -5 - -9. Let c be 0 - (-1)/(m/1). Suppose -2*t = -11*t. Which is smaller: c or t?
t
Let b = -19 - -56/3. Suppose 2*n - 7*n + p = -23, -n - 3 = -4*p. Suppose -r - 2*g = -7 - 5, 25 = n*g. Does r = b?
False
Let c = -29 - -28. Is 1/2 < c?
False
Suppose 4 = -0*m + 2*m. Suppose -b + 2*x - 4 = x, 4*x = -5*b - m. Let g = b + 1. Is g >= -1?
True
Suppose 2*k - 1 = k. Let i = -31/102 - 1/34. Is i less than or equal to k?
True
Let f = -323/8 - -40. Let g be (-3)/(-6) - 6/(-4) - 3. Is f >= g?
True
Let v = -48 - -48. Suppose 3*g = m + 2*g + 2, -3*g = -m - 8. Is v smaller than m?
True
Let s = 1/30 + 19/30. Suppose -53 + 60 = -7*o. Which is smaller: s or o?
o
Let u = -19 + 18. Is 2/107 equal to u?
False
Let g(j) = 3*j - 3. Let f be g(3). Let c = f + -9. Suppose 0 = -d - 1, 3*w - 2*d = d - 3. Is c less than w?
True
Let p be ((-4)/10)/((-32)/20). Is 1/4 less than or equal to p?
True
Let s = -2.9 + 1.3. Which is bigger: s or 1?
1
Let t(c) = -c**3 - 4*c**2 - 2*c - 6. Let s be t(-4). Let j = 3.3 - 1.3. Let r = -3 + j. Is s > r?
True
Let v(s) = s**3 - 2*s - 1. Let n be v(2). Let u be 3 + n/(-9)*4. Do u and 1 have different values?
True
Suppose 0*c + 3*c = 4*y + 32, 15 = -3*y. Let u(h) = -2*h**3 + h**2. Let d be u(-1). Which is bigger: c or d?
c
Let z = -0.26 - -13.26. Let d = -12 + z. Let m = -1.1 - -0.1. Which is smaller: m or d?
m
Let j(c) = c - 1. Let s be j(-7). Let q be s/3 - 10/(-15). Let d be (q - -4)*(-4)/8. Which is bigger: d or 1?
1
Let m be 1/((-2)/(3 - 5)). Let c = -3/7 + 5/7. Which is bigger: c or m?
m
Let p = -29/84 + 2/21. Let s = 10 + -14. Let x = 4.1 + s. Which is bigger: x or p?
x
Let b be (-2)/(-4) - 13/78. Which is bigger: -0.1 or b?
b
Let r be (21/18)/(-1)*(-4)/203. Which is smaller: 1 or r?
r
Let w = -2/51 + -5/17. Is -14/9 < w?
True
Let k be 96/45 - (-18)/(-135). Let s = 0.9 + -1. Does k = s?
False
Let g be 3/4 - (-14)/56. Let h be g - ((-56)/(-12) - 3). Which is smaller: 1 or h?
h
Let n(o) = -4*o - 5. Let d(l) = -l - 2. Let v(p) = -7*d(p) + 2*n(p). Let c be v(5). Let g = 179/799 + -5/47. Which is bigger: c or g?
g
Suppose -2*h = 12 + 4. Let g(u) = -6*u + 1. Let i be g(-2). Let l = -22 + i. Is h smaller than l?
False
Let n(k) = -k**3 - 2*k**2 + 3*k - 2. Let t(q) = -q**3 - 7*q**2 - 5*q + 3. Let z be t(-6). Let p be n(z). Which is bigger: 0.1 or p?
0.1
Suppose 5 = -p + 5*u - 7, -3*p = -u - 34. Are p and 14 non-equal?
True
Let a(c) = -c**3 - 4*c**2 - 3*c + 1. Let b be a(-3). Let l(o) = -o**2 - 6*o - 11. Let t be l(-3). Is b <= t?
False
Suppose 0 = v - 1 + 2. Which is bigger: v or -3/25?
-3/25
Suppose -5*p + 18 - 3 = 0. Suppose 5*l = 7*m - 2*m + 250, -p*l + 134 = 5*m. Let s be l/18*(-6)/(-4). Which is bigger: 3 or s?
s
Let f be (-4)/(-48) - 1/(-4). Which is smaller: 1 or f?
f
Let r = 1.7 - 1.4. Let g = r + -0.2. Is -0.1 greater than or equal to g?
False
Suppose 0 = 3*c + 2*c - 5. Let a = c + -3. Let t be (-4)/18 - 52/117. Are a and t nonequal?
True
Let o be (8 - -1)/3*-5. Let u be 10/o + 8/3. Let d be -2 + 14/5 + 0. Which is greater: d or u?
u
Let o = 194 + -113. Is 81 >= o?
True
Suppose 0 = -10*o + 11*o. Suppose 0 = h + 3*k + 3, -5*h + o*h + 4*k = -4. Which is smaller: 6/5 or h?
h
Suppose 0 + 4 = 4*i. Let y(r) = -5*r**3 + 2*r - 1. Let b be y(i). Let c = 4 + b. Is -1/2 <= c?
True
Let s = -16 + 15. Let r be (128/(-36))/4 - s. Which is smaller: r or 0.1?
0.1
Let h = 0.62 + -0.12. Which is greater: h or 1?
1
Suppose 0 = -3*l - 3*n + 6, l = -2*n - 3*n + 10. Suppose 4*o + l*o = -20. Let x be (-2)/o + (-39)/135. Which is smaller: 1 or x?
x
Let p = -7.84 - 2.16. Is -10 equal to p?
True
Let j be (-27)/(-30) - (-2)/(-4). Is -4 greater than j?
False
Let n be 10524/84 + 0 + 1. Let h = 126 - n. Is h bigger than 4?
False
Suppose 15 + 10 = 5*o. Suppose 3*t + 2*t = o. Does 1 = t?
True
Suppose 7 = -4*y - 1. Do y and -2 have different values?
False
Let k be (-6)/(-14) + (511/(-49) - -6). Let s(f) = f**3 - 5*f**2 - 6*f + 2. Let c be s(6). Let b = c - 5. Which is smaller: b or k?
k
Suppose -5*c = -10*c + 5. Is c < 2/43?
False
Let n = -0.35 - -0.3. Let u = n + 2.05. Which is bigger: 3 or u?
3
Let v be (-5)/10 + (-1 - -2). Suppose g = 4 + 2. Suppose -16 = -5*j - g. Is v at most as big as j?
True
Let f be 3 + (406/(-20))/7. Which is smaller: f or -1?
-1
Let x be (-16)/6 + 3/(-9). Let z be x + 3 - (-203)/20. Let d = z + -52/5. Which is greater: 1 or d?
1
Suppose -5*h + 2*h - 13 = -2*p, 3*p + 2*h = 0. Suppose -p*a - 11 = a - f, -4*a - 33 = -5*f. Let b be a - 4/((-16)/6). Is -1 < b?
True
Let x = 7 - 10. Let b(u) = 3*u - 10. Let z be b(4). Suppose z*i = -5*p - 28, 3*i + 0 - 4 = 4*p. Do x and p have the same value?
False
Let d = 9 + -11. Which is greater: 0 or d?
0
Let w = -48.96 - -48. Let p = -0.06 - w. Is 2/7 less than p?
True
Let i = 1 + 0. Let d = -5 + 11. Let t = 8 - d. Is t not equal to i?
True
Suppose -s - 5*n = 8, 0 = 4*s - n - 0*n - 10. Which is bigger: s or 4/3?
s
Let p = -362608 - -112046080/309. Let j = p + -2/309. Which is greater: 1 or j?
1
Suppose p = -p - 22. Suppose 12 = 7*u + 82. Which is bigger: u or p?
u
Let n be 3/(-5) + 1/5. Let x = -5.97 - 0.03. Let f = 4 + x. Are f and n non-equal?
True
Suppose -2*g + 1 = j, -5*g - 3*j + 