 Let o = m + -1.3. Which is smaller: o or -9?
-9
Suppose 2*q + 9 = 5*q. Suppose -5*k - 5*h - 20 = 0, q*k + 1 = 2*h + 4. Which is greater: -10/7 or k?
k
Suppose -5*b = -3*h + 5 - 16, 0 = -4*h + 2*b + 4. Let t be (6/(-2))/3 + 3. Suppose -5*u + 10 = -5*d, -u + 3*u + t*d - 8 = 0. Is u greater than h?
False
Let v = -3.47 - -3.7. Let n = v - -0.07. Let r = 0.3 - n. Is r bigger than 1?
False
Let p(n) = n**2 + 2*n - 4. Let r be p(-3). Let a = 24 - 214/9. Are a and r unequal?
True
Let y(u) = u + 2. Let x be y(-5). Suppose 3*d + 11 - 2 = 0. Do x and d have the same value?
True
Let u(b) = -b**3 - 8*b**2 - 8*b - 12. Let d be u(-7). Let y = -2 + -2. Let q = d - y. Is -2 at least as big as q?
False
Let c be (-2)/7 + 20/21. Let z = 56/115 - 2/23. Which is bigger: z or c?
c
Let k = 0.32 - 0.02. Is 1/2 not equal to k?
True
Suppose w + 7 = 13. Let j = -5 + w. Is -3/11 <= j?
True
Let b(r) = 1. Let l(j) = -j + 9. Let u(t) = -5*b(t) + l(t). Let o be u(6). Is -4 less than or equal to o?
True
Let a(i) = 2*i - 12. Let x be a(0). Are -13 and x equal?
False
Let q = -3 + 7. Suppose 0 = q*j + 12 - 0. Which is greater: -4 or j?
j
Let x = -107 - -102.7. Let u = -6 - -2. Let m = x - u. Which is greater: m or 0?
0
Suppose 0 = 2*j + x + 3*x - 12, 0 = -5*j - 2*x + 22. Let r(a) = -a**2 + 5*a - a + 0*a**2 + j. Let q be r(4). Which is greater: 3 or q?
q
Let s(i) = -2*i**3 + 4*i**2 + 4*i + 3. Let q be s(3). Which is greater: -6 or q?
q
Let t(p) = -p**3 - p. Let q be t(-2). Let n be (1/q*-2)/(-1). Which is greater: -1 or n?
n
Let y be (-14)/(-1) - (1 + 1). Let f be (-3)/y*64/6. Is f greater than -3?
True
Let l = -3.9 - -3.7. Which is greater: l or 2/47?
2/47
Suppose 4*d = 2*d. Let t be -3 + d + (11 - 8). Which is smaller: t or -2/7?
-2/7
Let j be 10*(-9)/(-24) - (-2)/8. Let x be (-4)/18 - 1/9. Is x < j?
True
Let g = -37 + 112/3. Is 10 at least g?
True
Let p be (-135)/14 - 63/42. Which is smaller: -12 or p?
-12
Let t = -202/3 + 68. Suppose 4*o - 20 = -0. Suppose -o*k = 2*s + s - 28, 3*k - 19 = -4*s. Which is smaller: t or s?
t
Let q = -1 - -1. Let t = 20995 + -104543/5. Let a = t - 86. Do q and a have the same value?
False
Let l = -28 - -28.1. Which is greater: l or -0.2?
l
Let s = -26007/34 - -765. Which is bigger: -1 or s?
s
Let i be 4/56*8/(-2). Which is greater: i or 13/3?
13/3
Suppose f - 3 = -2. Suppose 2*z = 53 - 13. Let t be (-1 - 0)*(-4)/z. Which is greater: t or f?
f
Suppose -4*l = -174 - 10. Let t be l/(-42) + 2/3. Is 1 at least t?
True
Suppose -2*d - 3*d = -10, -5*d + 10 = -3*k. Let l = 658 + -29608/45. Is l at least as big as k?
True
Let m be 26/(-10) - 8/20. Let s = -4 - m. Suppose 5*u + l = -11, 3*u - 4*l + 0*l + 2 = 0. Which is bigger: u or s?
s
Suppose 3*y - 3 = -0*y. Suppose i + y = -0*i. Is i greater than -5?
True
Let b be 1/(-3) - (-4)/(-6). Let m be 2/5 + (-132)/55. Does m = b?
False
Let p be 65/4*(-6)/15. Let a = 37/6 + p. Let j = -2 + 3. Which is smaller: a or j?
a
Let n = 7 - 17. Let v = 18.1 - 8.4. Let o = v + n. Is o smaller than 1/3?
True
Let b be 5/3 + (-4)/(-12). Is 2 at least as big as b?
True
Let d = -30 + 30. Which is smaller: -1/24 or d?
-1/24
Suppose 0 = 3*d - 6 - 6. Let r be 5/(-7)*d/10. Let j be (-1)/(-3) - (-4)/6. Which is greater: j or r?
j
Let q be -2*(-4)/8*1. Let s be 6/8*3 + -2. Is q at most as big as s?
False
Let t = 20/13 + -367/247. Is 1 equal to t?
False
Let f = 93 + -92. Which is smaller: -5/7 or f?
-5/7
Let q = -163/2 + 84. Do 2 and q have the same value?
False
Suppose -4 = -2*t - 12. Let h be (-1)/t*4/(-10). Which is greater: h or 0?
0
Let u be 5 - (-3 + 1 - -4). Suppose -6 = u*d - 0*d. Suppose -3*n + 24 = -3*y, y - 6 + 4 = -n. Is d less than or equal to y?
False
Let x be 46/16 - (1 - -2). Which is smaller: x or 0?
x
Let y be 56/21*1*3. Let t = 11 - y. Suppose -t*m - 2 = -5*m. Which is greater: m or 2?
2
Let h(y) = -2*y + 28. Let m be h(5). Which is smaller: 20 or m?
m
Suppose -t - 516 = 2*t - 3*g, -2*g = -t - 177. Let v = t + 2167/13. Is v smaller than 0?
True
Let f = 85 + -82. Does f = 20/13?
False
Let i = 9/170962 - 7611553/71120192. Let d = i - 3/64. Let t = -13/6 - -53/30. Is d <= t?
False
Suppose 3*l - 100 = -2*z, -2*l + 2*z + 0*z + 60 = 0. Let t be 44/l*-2 + 2. Are t and -1 equal?
False
Suppose 45 = -0*y - 3*y. Let r = 11 + y. Is -1 greater than r?
True
Let z be (2/5 + (-8)/20)*1. Do z and 1/90 have the same value?
False
Let t = -9 + 6. Let k = -3 - t. Let b be 6 - 7 - (k - 0). Which is smaller: b or 0?
b
Let r = 14 - 11. Suppose 2 - 5 = r*l. Is l > -0.06?
False
Let j be 15/(-15)*2/(-2). Which is smaller: 5/3 or j?
j
Let b = -1.62 - 1.38. Is b greater than -1/2?
False
Suppose -3*n - 68 = 37. Let m be (-49)/n + (-2)/5. Is m < 4/3?
True
Let i be 3*4/36*0. Is i smaller than 1/13?
True
Let q = -0.04 - -0.24. Are q and -6 nonequal?
True
Suppose 44 = -331*d + 333*d. Is 22 smaller than d?
False
Let q = -144 + 148. Let k(j) = -j**2 + 7*j - 4. Let s be k(5). Do q and s have the same value?
False
Let o = -2 - -1.7. Let l = 2.05 + -0.05. Let g = -2 + l. Is o > g?
False
Suppose -j - 70 = -83. Which is smaller: j or 18?
j
Let y = -5802/5 + 1178. Let k = y + -782/45. Which is bigger: k or 1?
1
Let x = -2 + 10. Is -3 at least as big as x?
False
Suppose h - 4*k = 9, h + 2*k + 1 + 2 = 0. Which is smaller: 5 or h?
h
Let u be (5 + 7)*(-6)/9. Which is smaller: -6 or u?
u
Let d = 8 + -8. Which is bigger: -1/13 or d?
d
Suppose -y = y + 16. Let k = -4 - y. Let f be (k/6)/((-2)/3). Which is greater: f or 4/9?
4/9
Let l be 128/246 + 14/(-21). Let j = l - -522/205. Which is bigger: 3 or j?
3
Let o = 1586/5 + -318. Let b be (0 - 2) + 0 - -1. Which is bigger: o or b?
o
Let z = -1 + 0. Let v = 2 + z. Suppose 3*x - 6*x - 2*r = -16, 2*x + 5*r - 29 = 0. Are x and v non-equal?
True
Suppose -4*t + 2*t - 30 = 0. Let r be (-9)/t + -3 + 2. Are r and 2 nonequal?
True
Let z be (-3)/10 + 1/(-5). Suppose -2*c + 4 + 4 = 0. Let k be 80/(-35) + c/14. Which is bigger: z or k?
z
Let p = -3 + 5. Suppose -p*a = 4 + 6. Is a > -4?
False
Let m be -2 - 1 - (1 - 2). Is -6 less than m?
True
Suppose l = -3*f + 12, 2*l + 3*f + 4 - 16 = 0. Suppose -4*b = 2*o + 26, 4*o - 3*b - b = -76. Let d be o/36 + 3/12. Are d and l equal?
False
Let a = -1 - 0. Let b = -2 + a. Let c(z) = z**3 + 13*z**2 + 12*z - 2. Let l be c(-12). Is l > b?
True
Let i = 18.77 - -0.23. Which is greater: 0.1 or i?
i
Let x be (-10)/(-15) - 2/3. Let c = -1091/10 + 109. Which is greater: x or c?
x
Let m(z) = -3*z - 51. Let r be m(-15). Suppose f - 3 - 4 = 0. Let w be (f + r)/((-2)/10). Which is smaller: -4 or w?
w
Let l be 0 + 3/(-3) + 0. Let y = l + 2. Let v be (0 + -1)*y*0. Is -1 bigger than v?
False
Let m be (-7)/28 + (-50)/(-8). Suppose 0 = -m*j + j. Suppose 4*d - 2*a + 10 = j, 0*d - d - 2*a + 10 = 0. Is 1/8 at most as big as d?
False
Let k be (-3)/2*24/18. Let x be (1 - 1)*2/k. Suppose x*v = -v. Which is smaller: 1 or v?
v
Let j be (15/(-10))/((-12)/(-92)). Is j less than -12?
False
Let i = -23651/13 + 1817. Which is smaller: i or -2?
i
Let p be -5 + 4/((-4)/(-15)). Let g = 3 - -8. Which is bigger: g or p?
g
Let q = -116 - -115. Is q > -2/47?
False
Suppose 0 = -4*h + 29 - 1. Does h = 7?
True
Let t(l) = l**3 - l - 1. Let u be t(-1). Let q(i) = -i**2 + i + 1. Let c be q(0). Which is greater: u or c?
c
Let u be 1/4 + (-102)/24. Is u greater than 0.1?
False
Let u(d) = -d**2 - 6*d - 4. Let b be u(-5). Is 0 greater than b?
False
Suppose -v + 2 = -5*s, 2*v = -3*s - 2*v + 8. Which is bigger: s or -2/29?
s
Let x = 16 + -10. Let f be 2 + 1 - (12 + -12). Let r be 1*f*2/x. Is r at most 0?
False
Suppose -2 = -4*k - 2*g + 10, 9 = 3*k + 5*g. Suppose 2*c - 88 = -2*r, -k*c = -0*r + 2*r - 84. Let w be r/63 - 2/6. Is w less than or equal to 0?
False
Suppose 3*v + 46 = -5*y + 14, 3*v + 26 = y. Is 2 smaller than v?
False
Let f(y) = -y**3 - 7*y**2 + 9*y + 5. Let x be f(-8). Let k = -14 + 8. Let c = 5 + k. Is x <= c?
True
Let f be (280/(-4) - -2)/(-1). Let c be -1 + 80/f - 0. Which is bigger: -1 or c?
c
Let x = 4175/14 + -298. Which is greater: -1 or x?
x
Let t(s) = 4*s**3 + s. Let l = -2 - -3. Let b be t(l). Suppose 4*q = -b*r - 1, 8 = -5*r + 2*q + 1. Is -1 <= r?
True
Let h = 17 - 9. Let t = h + -11. Let q be 2/4*(-1 + t). Do q and -2 have the same value?
True
Suppose 2*r - p - 1 = 0, 0*p - p - 1 = -3*r. Let c = 1 + r. Let h be c/4