r than or equal to o?
False
Let o be 139/(-35) + 3/(-15). Let n = 25/7 + o. Let k = -3 - -3. Which is greater: k or n?
k
Let n(t) = t + 1. Let v be n(-4). Suppose -2*g - 4 = 2. Is v at least g?
True
Let n = 1707 - 44375/26. Let u = -3/13 - n. Let y = 2.97 + 0.03. Which is smaller: u or y?
u
Suppose 0 = 3*g - g - 10. Suppose -4*i = -0*i - 5*z - 15, g*i - 3 = z. Let h be (-1)/(-15) + (-1)/(-3). Which is smaller: h or i?
i
Let q = -7.13 + 0.13. Let l = 6.6 + q. Which is smaller: l or -1?
-1
Let m be 103/(-2) - (5 - 3). Let b = -55 - m. Is 1 greater than or equal to b?
True
Let w be 2/((-20)/(-6)) + 1071/(-385). Which is greater: w or -2?
-2
Let p = -5 - -7. Let o(f) = -p + f**2 - f**2 + 1 + f**2. Let l be o(0). Which is bigger: l or -2?
l
Let s = 11 - 7. Suppose -2*b - s = -0*b. Does b = -3?
False
Let r(i) = -3*i - 8. Let f be r(-6). Let m be (-6)/10*f/15. Let x be 32/(-14) - (-4 - -2). Which is smaller: x or m?
m
Let q be (0 - 21/(-9))*6/26. Which is smaller: 1 or q?
q
Let r = 5.2 + -5. Let z = r + 3.8. Let p = -4.1 + z. Which is greater: p or -2/7?
p
Let z = -848/7 + 9327/77. Is z >= 0.1?
False
Let g = 10 + -12. Let c = g + 1. Is -1 smaller than c?
False
Let n = -1 - -1. Let y = 143.9 + -133. Let f = -11 + y. Which is smaller: n or f?
f
Suppose -5*o + 45 = -0*o. Suppose o*c - 7*c = -2. Let d = 17 - 67/4. Which is smaller: c or d?
c
Let o = -1 + 4. Let n = o - 3. Which is smaller: n or 3?
n
Suppose -h + 3*k = 0, -1 = 3*h + 2*k + 10. Which is greater: h or -5?
h
Let r = 725/7 + -104. Suppose -5*f + 7 = 2*o, -3*o = o + 2*f - 6. Is r smaller than o?
True
Let p = -0.171 - 0.009. Which is bigger: p or -1?
p
Suppose 3*c - 2*c + 5*u = 22, 2*c - 23 = -3*u. Suppose -105 = -5*b - 80. Which is smaller: c or b?
b
Suppose 5*r - 27 + 12 = 0. Suppose 0 = 2*x - g - 2 + 12, 2*g = 5*x + 23. Let u = x + 7. Does r = u?
False
Suppose -5*p = 49 + 11. Let r(q) = -q**3 + 6*q - 2. Let h be r(3). Is p bigger than h?
False
Suppose -n + 49 = -4*f + 2*n, -5*f - 53 = -n. Let z be 2/11 + f/(-55). Is 0 at most z?
True
Suppose 8*r = -r + 72. Which is greater: 10 or r?
10
Let p be ((-4)/6)/(14/(-21)). Let d(x) = x**3 - x + 1. Let g be d(p). Is 0 less than g?
True
Let f(w) = w + w**2 - 2 + w + 3. Let y be f(-2). Which is smaller: y or -2?
-2
Suppose -r + 2*r + 3 = 2*l, -2*r - 6 = -l. Is 1/5 at most as big as l?
False
Let r(a) = a**2 - a - 90. Let y be r(0). Let f be 4/(-18) + (-74)/y. Do 1 and f have the same value?
False
Suppose 2*y + 16 = -36. Let h = -79/3 - y. Do h and 0 have different values?
True
Suppose 0 = -4*z + 2*z + 18. Let b be ((-4)/6)/(6/z). Which is greater: b or -2?
b
Let t be ((-1)/3 + 0)*3. Let i be (t/(-4))/(7/(-8)). Which is smaller: -1 or i?
-1
Let a = -3/4 + 1. Let n(t) = -3*t**2 - 13*t - 3. Let s be n(-4). Is a <= s?
True
Let h = 831/7 - 119. Which is bigger: 48 or h?
48
Let u be 2 - (90/21)/2. Suppose y - 3*h + 3 = 4, 0 = 2*y - 3*h - 2. Let l be ((-2)/6*0)/y. Which is smaller: u or l?
u
Let q(b) = -b + 6. Let y be q(6). Which is bigger: y or -2/5?
y
Let g = -38 - -116/3. Which is smaller: g or 1/2?
1/2
Suppose 3*w = 4*w. Suppose 2 = -j + 2*f - 5*f, j - 3*f + 2 = w. Let t = -3 + 1. Do j and t have the same value?
True
Let w = 9 + -9. Let x = 2/233 + -707/932. Which is bigger: w or x?
w
Suppose 2*j + j - 19 = 2*u, 25 = -5*u. Suppose 2*s - 16 = l - 0*s, -4*s = j*l - 2. Let c be (-18)/4 + (-35)/14. Is c greater than l?
False
Let f = -0.207 - -0.207. Let t = -0.1 + -1.7. Is f equal to t?
False
Let c = 16 + -11. Suppose -2*k = f - 1, 3*f - c*k = 7*f + 2. Are -4 and f equal?
False
Let f be (-2)/24 + 11/(-66). Suppose 0 = -c - 1 - 5. Let w be c/4*12/45. Which is smaller: f or w?
w
Suppose 9*z - 5*z - 252 = 0. Suppose -3*l + z = 18. Let a be 1 - 3/l*4. Which is smaller: 0 or a?
0
Let f be 2/(-10)*-5*5. Do 5 and f have the same value?
True
Let p = -2316/13 + 178. Let k(a) = -a + 1. Let t be (1/(-3))/((-6)/18). Let b be k(t). Is b at most p?
False
Let v = 5 - 0. Suppose -5*z = w - 0*z + v, z = w - 1. Which is smaller: w or -1/12?
-1/12
Let x(s) = s**2 - s - 1. Let z = 13 + -11. Let i be x(z). Which is greater: i or -2/19?
i
Let d = -7 + 10.4. Let g = 0.4 - d. Which is smaller: g or -1?
g
Let z = 2 + -3. Let b = -5 + 0. Let i = 4 + b. Do i and z have different values?
False
Let w = -1 + 1. Let p = 0.2 + w. Let b = 293/28 - 43/4. Is b at least p?
False
Let o(q) = -q**3 - 5*q**2 - 6*q - 6. Let m be o(-4). Let c(n) = -20*n + 6. Let j be c(5). Let p be (-2)/7 + j/(-84). Do p and m have different values?
True
Suppose 5 - 21 = -4*k. Suppose 0 = d - 3. Which is smaller: d or k?
d
Let x(c) = -c**3 + 6*c**2 - 5*c - 3. Let t be x(5). Suppose 3*d = 2*q - 6*q + 11, 0 = -5*d - 4*q + 5. Is t less than d?
False
Let v(d) = d - 1. Let z be v(-1). Let f = -1.08 - -0.7. Let a = 0.08 + f. Which is bigger: z or a?
a
Let x be (4/27)/(0 - 2). Let h be (((-465)/(-54))/(-5))/(-3). Let r = h + x. Which is bigger: 1 or r?
1
Suppose -4*w + 0*w - g - 25 = 0, -g + 17 = -3*w. Let d be 3/w*(-1)/(-4). Are d and 0 equal?
False
Suppose -3 = -k, 14 = 3*f + 5*k + 5. Let o be (9/(-6))/(21/8). Do f and o have the same value?
False
Let h be ((-3 - -2) + 9)/2. Suppose h*w - 15 = 9*w. Is -1 <= w?
False
Let t = -3/1100 + -243091/3300. Let i = t + 73. Which is smaller: 7 or i?
i
Suppose -4*n + 11 = -2*j + 1, 0 = 3*n - 2*j - 8. Let s be (n/3)/((-4)/6). Which is smaller: 0 or s?
s
Let v(d) = -5*d - 63. Let w be v(-12). Are -2 and w equal?
False
Suppose 0 = 4*a - 5*n + 2*n - 26, -4*a + 30 = -5*n. Suppose -2*r - 3*r + a = 0, -3*o + r - 1 = 0. Are 13 and o equal?
False
Suppose -l + 2 = -0. Suppose 0 = -2*c - 2*z, -c + l*z = 2*c - 25. Let m = -3 + c. Which is greater: 4 or m?
4
Suppose 6*h - 16 = -2*o + 2*h, -5*o + 18 = -h. Which is bigger: o or 1?
o
Let k be (-2)/4 + (-86)/4. Let o be (-2)/(-3 - 70/k). Is o at least as big as -11?
True
Let q = -10 - -14. Let x be (-2 + 2)*2/q. Suppose x*k + k - 5*a + 25 = 0, -5*k = -5*a + 25. Which is bigger: -2/7 or k?
k
Let t = -8 + 7. Let c be t*(-1)/(3 - -1). Is 0 not equal to c?
True
Let h be 2*(1/(-2) - -2). Let d(q) = 0*q**2 - q**2 - 3*q**3 + 4*q**3 + h. Let t be d(0). Are t and -1/2 non-equal?
True
Let q(z) = 5*z**2 - 8*z - 9. Let i(r) = 14*r**2 - 24*r - 27. Let j(n) = 6*i(n) - 17*q(n). Let b be (2 + -5)/((-3)/(-7)). Let h be j(b). Is -2 >= h?
True
Let g(o) = -o**2 + 9*o - 8. Let w be g(8). Let u = -2 + w. Which is smaller: 0.7 or u?
u
Let a be (-4)/(-6) - 6/9. Let y be 15/189 - (-7)/49. Are y and a equal?
False
Let k(b) = -8*b - 1. Let x be k(-2). Suppose 28 = 2*f + 2*f - 4*o, 5*f + x = -5*o. Is 2 bigger than f?
False
Let m(i) = -i**2 - 4*i - 4. Let y be m(-3). Suppose 0 = -9*g + 4*g. Let h = g - -1. Does y = h?
False
Let w = -0.1 + -0.2. Let g = 0.25 - -0.05. Let s = g - -0.7. Which is smaller: s or w?
w
Suppose -5*k = 3*w + 31, 2*w - 3*w = 4*k + 22. Let z = w + 3. Let y be (-3)/4*3/(-9). Which is smaller: y or z?
y
Let o be 21/14 + (-82)/52. Suppose b = -3*b - 4. Which is bigger: b or o?
o
Let j(r) = r - 1. Let i be j(6). Let n = -7 + i. Let d be n*3/6 - 1. Which is smaller: -3/4 or d?
d
Let i = -0.3 - -0.31. Let d = -1.99 - i. Which is bigger: 0.1 or d?
0.1
Let m = -14 - -13. Which is greater: m or 2/7?
2/7
Let u be 45*((-4)/(-3))/4. Let c be (-4)/(-10) + (-36)/u. Does -1 = c?
False
Let n = -15 - -10. Let b be -1 - -4 - n/(-5). Let o be ((-2)/3)/((-1)/3). Is o bigger than b?
False
Let a = -49 - -48. Let w = -1/155 - -473/1240. Which is smaller: a or w?
a
Let y = 17 - 19.5. Let j = -2.57 - y. Which is smaller: j or 3/2?
j
Let f(s) = s**3 - 8*s**2 - 9*s + 3. Let h be f(9). Let b be 9/3 + h + 3. Suppose 0 = -z + 4*z + b. Which is smaller: z or -2?
z
Let q be 6/(-2) + (-2 - 252/(-50)). Which is smaller: q or 1?
q
Suppose -8 = -11*w + 15*w. Suppose 0 = -4*h + 16 + 8. Suppose -i - 2 = -0*i - 3*m, h = -3*i + 2*m. Is i greater than or equal to w?
True
Let h = 21 + 15. Suppose i + h = 5*i. Do 9 and i have different values?
False
Let w = 4 - 7. Let i = -0.2 + 0.3. Is w equal to i?
False
Suppose -28 = -f + 5*t, 0 = 5*f - 4*t - 35. Is f less than 5/3?
False
Let q = 0.3 + 0. Let a = q + -1.3. Let c = 0 - a. Is c at most as big as -0.1?
False
Let s(l) = -2*l + 7. Let u be s(6). Suppose 8 = -3*x - 10. Let p = u - x. Which is greater: p or 3?
3
Suppose 32 = 3*s + 20. Suppose 3*q = 