o + 3*p + 18, -4*p = o + 4*o + 35. Let r be (-1)/o*(-12 - -12). Let i = 195 - 1753/9. Is r less than i?
True
Suppose 0 = -3*p - 5 + 17. Let s = -7 + 10. Suppose 5 = s*d + 3*z - p, 5*z = -4*d + 16. Which is greater: d or -2/9?
-2/9
Let c = 27.5 + -26.7. Let o = -4.1 + 4. Which is smaller: c or o?
o
Let x = -737.005 + 739. Let k = x + 0.005. Which is smaller: k or -7?
-7
Suppose 6*s - 10*s - 11 = 5*d, -10 = 3*d - s. Which is smaller: d or -33/17?
d
Let m be (-3)/(-2)*(3 + -1). Let j = 15 - m. Let i = 20 - j. Which is greater: i or 7?
i
Let s = 12773/5 + -2555. Let b = -0.2 - -0.3. Let z = 0.2 - b. Which is smaller: z or s?
s
Let h = 0.8 - -2.7. Let s = 0.5 - h. Are 5 and s equal?
False
Let t = -281 - -494. Which is bigger: t or 425/2?
t
Let v be -3*(-14)/(-21) + (0 - 10). Do -11 and v have the same value?
False
Let g be 2*(2618/(-51) - (-4)/(-6)). Which is bigger: g or -3/2?
-3/2
Let t = -135 + 136. Let c be ((-2)/(-12))/(t - 1/(-9)). Is -2 equal to c?
False
Let p be (2674/892 + -3)*6. Let r = p + 569/9143. Is r greater than 0?
True
Let g be 49/(-7)*(-4)/(-2). Let s = -6 - g. Suppose -s = -p + 3*p. Which is bigger: -1/3 or p?
-1/3
Let a be -1 - ((-1940)/6)/5. Let d = -63 + a. Is 7/4 equal to d?
False
Let k(i) = -i**2 + 9*i + 4. Let o be k(8). Let n be (13 - o)/((-2)/4). Let m = 0.46 - -5.54. Which is smaller: m or n?
n
Let t = -0.4 + -3.6. Let b = -4.771 + -0.229. Let v = b - t. Are -0.2 and v nonequal?
True
Let r = -103.989 + -0.011. Let v = 104.1 + r. Do -2/73 and v have the same value?
False
Let w = 530 + -540. Is w less than -9?
True
Suppose -3*a + 2 = -2*a. Suppose a*i + 6 = 5*i. Suppose 2 = -4*d - i. Do d and -2 have the same value?
False
Let w = -1.03 + 4.03. Let r = -8.89 + 9. Are r and w unequal?
True
Let v(f) = -f**2 + 4*f + 4. Let t be v(5). Let p = -163 + 3755/23. Is t at most as big as p?
True
Let m = 824 - 870. Which is smaller: -44 or m?
m
Let v = -10.19 + 0.19. Let f = -21994/36665 - 1/7333. Which is greater: f or v?
f
Let z = -6.8 + 6.8282. Which is smaller: 0 or z?
0
Let y = 125 + -125.155. Let z = -0.145 + y. Is z smaller than -2?
False
Let u be (-3 - (-404)/396) + 0 + 2. Which is smaller: u or 1?
u
Let d be -3 + 0 + 2*15. Let c be 101/124 + d/(-36). Which is smaller: c or 1?
c
Suppose 0 = -5*s + c + 22, -5*s + 4*c + 19 = 2*c. Let z be (-24)/(-2)*5/25*s. Suppose 5*r + 13 = 6*r. Is z at least r?
False
Let j = 2124 + -2123. Which is bigger: -0.0553 or j?
j
Let v = -547 - -557. Is v != -2/21?
True
Let o = 1022 - 1018. Which is smaller: o or 5?
o
Suppose 5*w + 3 = 6*w. Suppose 4*t + w*f + 19 = 0, 5*t + 3*f = 4*f. Is 1 smaller than t?
False
Let x = -476 - -476.972. Let f = x + 0.028. Which is greater: f or -1/4?
f
Let i = 328/27 - 1796263/147852. Let r = -78977/465460 + i. Let n = -1/34 + r. Which is bigger: -1 or n?
n
Let z be -2*4/16*-30 - -3. Which is smaller: z or 20?
z
Let z = 2.3 + -0.12. Which is smaller: -0.6 or z?
-0.6
Let k be -5457*(-16)/(-120) + (-6)/15. Which is smaller: -729 or k?
-729
Let z be 1/(-6)*(-224)/(-364). Is z smaller than -1?
False
Let h = 44 - 46. Let u be ((-1)/(h/12))/((-27)/4). Which is smaller: -1 or u?
-1
Let x be (-20)/(-5) - (0 - 6/(-4)). Let i be (7 - 3 - 1)/1. Is i < x?
False
Suppose -w - 356 = -0*w - 3*p, w + p + 356 = 0. Which is greater: -355 or w?
-355
Let l = 46.979 - -0.021. Let b = l + -42. Which is bigger: -3 or b?
b
Let y = -18 - -30. Let c be 1/2 + 234/y. Let q be 1/(-4) - (-15)/c. Is 8 less than q?
False
Let b(y) = y + 8. Let o be b(-7). Let k be (11 - 2)*o/3. Suppose 0 = j - k*t + 7, -5*j - t - 2 = 1. Is j < -12/7?
False
Let j(n) = -n**2 - 9*n - 7. Let z be j(-8). Let o be 1 + (-2 - 192256/(-97)). Let l = -1981 + o. Which is greater: z or l?
z
Let t(g) = -g + 4. Let u be t(7). Let z be (-5 - u - -3) + -14. Is z less than or equal to -13?
True
Let u(r) = -r + 1. Suppose 45 = -2*k + 5*k. Let v = -20 + k. Let o be u(v). Are o and 7 nonequal?
True
Suppose -5*t = -2*t - 4*l - 52, -5*t = -l - 64. Let z be t/(-16)*(2 - -14). Let q = -40 + 29. Is z greater than or equal to q?
False
Let h be 6/(-3 - (-18)/4). Suppose -23 = -h*r - 3. Let q be r + -5 - (-4)/(-66). Which is smaller: 0 or q?
q
Let a = -38 + 47. Let u = a - 2. Which is greater: u or 8?
8
Let v = 11.38 - -1.3. Let k = 11.33 + v. Let r = k + -24. Do -2 and r have different values?
True
Let f = 71/13 - 11160/2041. Is 0 != f?
True
Let o(l) = -l**2 - 3*l - 1. Let j(m) = -m - 1. Let v(y) = -5*j(y) - o(y). Let n be v(-6). Is n at most -0.4?
True
Let v(g) = 64*g - 324. Let w be v(5). Let m be (1/((-1)/16))/5. Which is smaller: w or m?
w
Let v be 35 + 7/(-28)*-4. Is 26 < v?
True
Let v = 6.79 + -7.79. Is 5/99 not equal to v?
True
Let v = 245 - 245. Which is smaller: v or -5/19?
-5/19
Suppose 2*y + 0 = 5*o + 5, 5*y - 3*o = 41. Let c be (2 + -3)*((3 - y) + 2). Suppose -5*z - 20 = 0, 0 = 2*h - 5*h + 5*z + 41. Which is bigger: c or h?
h
Suppose -12*b + 7 = -5*b. Which is greater: b or -8/17?
b
Let k(q) = -q**2 + 7*q - 10. Let i be k(2). Is -5 at least i?
False
Let r = -635 + 4055/6. Is 42 >= r?
True
Let r = -3.62 - 1.38. Is -1/43 != r?
True
Let t be 1/4 + 411/(-12). Let p be (15/t)/((-2)/(-8)). Let h = p - 29/51. Which is smaller: 0 or h?
h
Let s = -2827 + 2826. Which is smaller: s or -3/314?
s
Let w(x) = -x**3 - x**2. Let o(v) = -v**2 - v - 1. Let g(h) = 2*o(h) - 3*w(h). Let p be g(-1). Let l = -20/39 + -103/78. Which is smaller: p or l?
p
Suppose -1 + 19 = -3*i. Let c be -1 - 0/1 - -10. Let a be ((-8)/(-6))/((-2)/c). Are i and a nonequal?
False
Suppose 26 = 4*n - 66. Let h = n + -37. Are 2/7 and h unequal?
True
Let r be (12/5)/(-3) + -2. Let l be 10/(-4)*3*40/75. Which is greater: r or l?
r
Let s = 1517 + -1542. Which is smaller: s or 2?
s
Let w(i) = -60*i - 3. Let q be w(-2). Let p be (0 + 2 + q/(-54))/1. Is -1 less than p?
True
Suppose p - 4*p = 30. Let v be (-123)/(-6) - 5/p. Is 19 > v?
False
Let f(k) = -2*k**2 - 9*k - 7. Let j(d) = d**2 + 4*d + 3. Let p(x) = -3*f(x) - 5*j(x). Let y be p(-6). Is 1.8 < y?
False
Let k(y) = -y**2 + 25. Let h be k(-5). Is h <= -1/39?
False
Let o be (-2)/(-17) - (-1919)/(-8075). Which is bigger: 0 or o?
0
Let f = -2.1 + 1.1. Let v = 1.3 + f. Let r = v - 1.1. Which is smaller: r or 0?
r
Let q = 275 + -275. Which is bigger: q or 4/265?
4/265
Suppose 27*x - 24*x - 6 = 0. Let k be 2/6 + 62/(-6). Let t be (-56)/66*15/k. Which is bigger: t or x?
x
Let p be (3/1)/6 + (-339)/642. Which is greater: p or -1?
p
Let w be 9/12 - ((-182)/(-8) + -2). Suppose 3*z = -20 - 4. Let k = z - w. Is k < 1?
False
Suppose -40*w + 267 = 107. Which is greater: w or 3?
w
Suppose -i - a - 3 = 0, 8 = -2*i - 5*a + 2*a. Suppose 3*h + 2 = 23. Let k be (-7 - -8)*h*i. Is k at most -5?
True
Let w = 260 - 254. Is -2 less than or equal to w?
True
Let d(i) = 2*i - 10. Let r(n) = -3*n**2 - 7*n - 12. Let y(q) = -4*q**2 - 6*q - 12. Let v(w) = 3*r(w) - 2*y(w). Let o be v(-6). Let a be d(o). Is a >= 2?
True
Let y = -0.302 + 0.046. Let g = 0.056 + y. Which is smaller: 3 or g?
g
Let c = 239/807 + 10/269. Suppose -6*d = -4*d + 18. Which is smaller: c or d?
d
Let z = 9 - 10.1. Let t = 2955.93 - 2956. Are z and t non-equal?
True
Let k = 16.2 - 16.04. Is 0 bigger than k?
False
Let y(m) be the first derivative of -3*m**3 - m**2 - m + 1. Let l be y(-2). Are -33 and l non-equal?
False
Let n = -4 - -3.88. Suppose 75 = 59*o - 43. Which is greater: o or n?
o
Suppose 3*q = 21*v - 17*v - 721, 3*v = 5*q + 527. Which is bigger: 179 or v?
v
Let j(r) = r**2 + 14*r - 34. Let n be j(-18). Let i = n - 10. Is i at least 29?
False
Let d be ((-4)/(-2))/((-12)/(-24)). Suppose 0 = -2*h + 2 - d. Is -13 equal to h?
False
Let c = -155 - -157. Suppose -c*n - 54 + 52 = 0. Is -3/8 less than or equal to n?
False
Let q = -7689/62 - -124. Suppose 3*f + 2*b + 11 = 17, -2*f = 3*b - 9. Which is smaller: f or q?
q
Suppose -5*n + 42 = -2*n. Suppose -3*o + 8*o + y - n = 0, -5*y = -3*o - 14. Which is greater: 6/5 or o?
o
Let j = -2 + 5. Let w = 9 - -1. Let p be 26/8 - (-2)/(w/(-5)). Which is bigger: p or j?
j
Let h be 208/36*(-6)/132. Which is smaller: h or 0?
h
Let f be (14190/140)/((-20)/(-14)). Let j = f + -71. Is j <= -1?
False
Suppose 2*s = -5*h + 28, -4*h + 7*s = 8*s - 23. Let v = 5 + -7. Let g be 1 + (v - 0) + 6. Are h and g equal?
False
Suppose 2*v = -v - 60. Let n = 23 + v. Let r be 