be 34/10 + 6/(-15). Let m be 14/7 - (b - 0). Let r be (-2*1/(-2))/(-1). Is r bigger than m?
False
Let b = 5.32 + -0.32. Which is greater: b or 2/9?
b
Let g = -17 + 22. Which is smaller: g or 0.5?
0.5
Let c = -1/23 + 25/46. Let w be -1*(1 - 0/(-2)). Let r = w + 1. Is c at most r?
False
Let a = 10.9 + -11. Let k be 10/4*(-4)/(-15). Which is greater: k or a?
k
Let p be 1/(-5) - (-8)/((-200)/(-1205)). Which is smaller: 47 or p?
47
Suppose -y - 4 = -5, -v - y = -3. Suppose 3*j - 30 = -3*w, -v*w = -j + 3*w + 4. Suppose 4*i - 4*g - 36 = 0, -g - 6 = -2*i + j. Which is smaller: 5 or i?
5
Let l(w) = w**3 + 5*w**2 - 15*w - 4. Let p be l(-7). Suppose -5*r + 16 = -r. Is p at least r?
False
Suppose -3*m = -6*m + 21. Suppose b - m = -3*b - 5*n, -3*n + 3 = 2*b. Let o be 3/15 + 27/15. Which is smaller: b or o?
o
Let a = -24 - 4. Is -26 > a?
True
Let y be 98/5 + (-2)/(-5). Suppose s - y = -2*w, 2*s + 0 = 4. Let l(q) = q - 9. Let j be l(w). Is j smaller than 0?
False
Let a = 1/50 - -19/1550. Which is greater: 1 or a?
1
Let i = 108 + -546/5. Let k = -17/10 - i. Is 0.8 at most as big as k?
False
Let q = -0.55 + 3.45. Let x = 0.1 + 0. Let k = q + x. Is 0.1 greater than or equal to k?
False
Let x be 204561/(-49708) - 3/(-4). Let n = x - -58/17. Is n less than 0?
False
Let w(m) = -m**2 - 11*m - 8. Let h be w(-10). Let l be 3/(-9)*-5 - h. Are l and 1 non-equal?
True
Suppose 4*p = 3*p + 1. Suppose 0 = -11*h + 10*h - p. Which is smaller: -1.4 or h?
-1.4
Let b = -54 + 36.2. Let t = 18 + b. Let g = 6 + -3. Which is smaller: t or g?
t
Let k = 7 + 21. Suppose q = 24 + k. Let w be 18/q*(-24)/(-18). Is 1 at least as big as w?
True
Suppose 39*z - 34*z = 5. Let w be 1/(-2*2/(-12)). Suppose -3*n = -5*k + 6 + 4, 6 = w*k - 4*n. Is z greater than k?
False
Let y = 82 + -58. Which is smaller: -1 or y?
-1
Let t be (-4)/(-10) + (-876)/(-5). Let q = t + -175. Suppose 8 = 5*d - 2*s + s, 0 = -4*d - 2*s - 2. Is q smaller than d?
True
Let h = -2035/39 + 157/3. Which is smaller: h or -1/4?
-1/4
Let c = 22 + -30. Is -8 less than c?
False
Let j = 10 + -9.76. Is -0.1 <= j?
True
Suppose -2*k - 8 = -10. Which is greater: k or 1/149?
k
Let a = 15.1 + -9.1. Which is smaller: -1/9 or a?
-1/9
Let q be (2/(-4))/((-147)/(-6)). Let n = -193/147 + q. Is n < 0?
True
Let n = -1.91 + 0.11. Let c = 2.1 + n. Which is greater: c or 1?
1
Let x(s) = -s**3 + 3*s**2 + 3*s - 1. Let q be x(3). Are 9 and q unequal?
True
Let v(g) = 27*g**3 + 2*g**2 - 2*g + 1. Let n be v(1). Suppose 5*c = 4*u + n, 2*c + 2*u - u = 6. Let f be -2 - -5 - c/2. Which is smaller: 2/13 or f?
2/13
Let g = 3.05 - 3. Let t = g + -0.11. Which is smaller: 0 or t?
t
Suppose -8 = -2*v, -4*v - 12 = -5*w + 12. Suppose -z = 4, w = 2*k - 5*z - 14. Which is smaller: k or -2/35?
-2/35
Let l = -8 + 7. Let z(g) = g**3 - g**2 - 2*g - 1. Let n be z(l). Is n < -2/17?
True
Let t(a) = a + 15. Let c be t(0). Let w = 14 - c. Is -9/5 less than or equal to w?
True
Let k = -8 - -5. Let l(b) = b**2 + 6*b - 1. Let f = -4 - 2. Let c be l(f). Which is greater: k or c?
c
Let t be 2/7 + (-20)/(-28). Let f = -3308 + 651674/197. Let g = -368/2561 + f. Which is smaller: t or g?
g
Let o(g) = g**2 - 2*g - 4. Let r be o(-3). Is r smaller than 11?
False
Let o = -13 - -9. Which is bigger: o or -24/7?
-24/7
Let l = 0 + 16. Let o be (4/9)/(l/24). Which is greater: 1 or o?
1
Let o = 7.3 - 7.7. Is -0.05 <= o?
False
Suppose -g - 2 = -3*g. Suppose -5*p - 26 = -4*a, 0*p + p = -5*a - 11. Let n be (-4)/p - 7/7. Which is smaller: n or g?
n
Let y = 3 + -7. Which is greater: -2/3 or y?
-2/3
Let s = 2.9 - 3. Let j = 0.1 + s. Let k = -3 + 3. Is k at least j?
True
Let p = 6 + -5.8. Let l = 0.3 - p. Is l greater than -1?
True
Let z = -11 - -8. Let x be ((6/4)/(-1))/z. Let r(h) = h**3 - h + 1. Let f be r(1). Which is smaller: f or x?
x
Let g be 248 - (1 - 0)*-2. Let v = g - 126. Let o = v + -2110/17. Which is bigger: 1 or o?
1
Suppose 2*b - 2*c + 35 = -3*b, 0 = -2*b - 2*c. Let o be (b/(-2))/(8/16). Which is bigger: o or 6?
6
Let x = -16 + 15. Let w be (-4)/28 + x/(-7). Which is smaller: 1/3 or w?
w
Let c = -1 - -3. Let d = c - -1. Suppose d*w + 1 + 14 = 0. Are w and -6 non-equal?
True
Suppose -2*i - 3*x - x = 20, 2*i - 2*x - 10 = 0. Suppose -10 = t - i*h + 3*h, -2*h = 5*t - 2. Let l(q) = q + 1. Let m be l(t). Are 3 and m equal?
True
Let i be -2 + 15*5/3. Let k = -24 + i. Which is greater: -3/7 or k?
-3/7
Let c be -12*(5/(-2) + 2). Let t = 5 - c. Which is smaller: 2 or t?
t
Let q = 8 - 21. Let w = 21 + q. Suppose 4*t + t - j - w = 0, 4 = -3*t + 5*j. Which is greater: t or 1/2?
t
Let s = -1 - -1. Suppose -r + 0*f = -5*f, s = f. Is 1/10 less than r?
False
Let t = -139 - -117. Is t < -20?
True
Let u = 11 + -11. Which is greater: -1/7 or u?
u
Let n = -41713/81 + 515. Which is greater: 0 or n?
n
Let h = 55 + -62. Is h > 0.4?
False
Let g be (2/355)/(8/(-102636)). Let w = g + 11254901/155490. Let k = w - 1/219. Which is smaller: 0 or k?
0
Let o = -52 + 311/6. Which is smaller: -3 or o?
-3
Suppose 2*d = -3*v + 11, v - 4 + 0 = -d. Let s be (8 + -7)*d/(-2). Let j = 7/10 - 11/5. Which is greater: s or j?
s
Let x = 7 - 1. Let o = x - 21. Let i be (-6)/o + (-6)/(-10). Which is greater: i or 0.08?
i
Let t = 2.8 + -3. Let j = t + 0.2. Let r = j - 0. Do r and -3/4 have different values?
True
Let t = 0.72 + 0.08. Let q = -1 + t. Which is bigger: 0.3 or q?
0.3
Suppose 3*c + 38 = 173. Suppose -4*x - c + 13 = 0. Is -8 >= x?
True
Let d be 61*(-6)/18*3. Are d and -60 equal?
False
Let d = -13 - -13.5. Let l = -0.6 + d. Which is smaller: l or 5?
l
Let v(b) = 2*b**2 + 43*b + 20. Let i be v(-21). Is i <= -2/213?
True
Let c = 16 + -1. Is c <= 14?
False
Let r = -79/136 + 12/17. Let o = -4 + 6. Which is greater: o or r?
o
Let p(c) = c - 3. Let q be p(3). Is q less than or equal to -1/6?
False
Suppose 7*p = 4*p, -2*y - 14 = 4*p. Which is smaller: -10 or y?
-10
Let a be (-16)/(-2)*2/4. Let n = a - 6. Suppose -4 = k - 4*x + 5, -5*x = -2*k - 12. Which is smaller: n or k?
n
Let q = -1103/80 - -141/10. Which is greater: -2/7 or q?
q
Suppose 4*f + 5*h = -53, 0 = f - h - 0*h + 2. Let t = f + 6. Is t <= -2/19?
True
Let y(q) = -q**2 + 6*q - 8. Let p be y(4). Is p bigger than -1?
True
Let w = -4 + 3.7. Which is smaller: w or -2/23?
w
Let y be -1 - (5 - (-3)/1). Are -7 and y non-equal?
True
Let h(t) = -t**3 + 9*t**2 - 9*t + 8. Let m = 0 + 8. Let c be h(m). Which is greater: c or 1?
1
Let l be 18/27 - 8/(-6) - 1. Are l and -4/11 non-equal?
True
Let i be -1 - ((-1845)/(-24))/1. Let g = i - -78. Let c(x) = x**3 + 11*x**2 + 9*x - 10. Let b be c(-10). Which is greater: g or b?
g
Let h be (-3)/(-12) + (-6)/(-8). Let k be 1*(h + -1) - 2. Let o be (-5)/k + (-4 - -2). Does -2/5 = o?
False
Let m = -84 + 71. Are -59/5 and m non-equal?
True
Suppose 0*y + 10 = 5*y + 5*x, 4*y - 2*x = 2. Which is greater: 2/9 or y?
y
Suppose -4*c - c - 10 = 0. Let y(o) = 3*o + 1. Let i be y(c). Are i and -3 equal?
False
Let d = -69 - -482/7. Let g be (0/(-1))/(1 - 2). Is g >= d?
True
Let g(u) = -u**2 - 8*u - 12. Let i be g(-6). Which is greater: i or 1/37?
1/37
Suppose -3*p + 8*p = 2*s + 10, s = -3*p - 5. Let o = s + 8. Suppose 2*q = -o*q + 15. Are q and 3 unequal?
False
Let p be 2/3 - 20/(-6). Suppose 3*a + 3 = 0, a = p*t - 7 - 6. Let j be (-3)/(-6)*2 - t. Is j <= 0.2?
True
Suppose -45 = 13*y - 8*y. Which is smaller: y or -11?
-11
Let x = 5.508 + 1.482. Let t = 7 - x. Which is greater: t or 0?
t
Let i = 24 + -62/3. Let w = i + -32/9. Are w and 0.1 non-equal?
True
Suppose -2*w = -0*w + 18. Let j be ((-3)/w)/(10/(-4)). Is j at most as big as -1?
False
Let v = 23 + -12. Let s = 11.1 - v. Which is smaller: 3/8 or s?
s
Let k = 6.31 - 10.28. Let x = 0.03 - k. Let p = x + -3.96. Are 0 and p unequal?
True
Let i = 12.07 - 0.07. Is -2/3 at least as big as i?
False
Let p(t) = t**2 - 9*t + 15. Let k be p(7). Which is smaller: -1/12 or k?
-1/12
Suppose 12 = -2*h - 8. Let i(q) = q**3 + 11*q**2 + 10*q + 2. Let v be i(h). Is v less than or equal to 2/3?
False
Let m(c) = c**2 - 17*c + 3. Let x be m(17). Is x < 3?
False
Let j be 8/16*(-3)/6. Is j greater than or equal to -14?
True
Suppose 2*d + 3*m + m - 10 = 0, -d + 3*m = 15. Is d at most -5?
False
Let n = 6 + 0. Let i be -2*(-2)/8*n. Suppose 5*t - 15 = -2*m, -16 = 2*t - i*t - 3*m. Which is smaller: 1/10 or t?
1/10
Let d be (-8)/4