 44 = o - 5*g, 5*g = 3*o + 120. Is -35 >= o?
True
Let z = 23377483/22 + -1062370. Let h = -243 + z. Is h bigger than -1?
True
Let d = -13 + 17. Let s = d - 4. Let p = 3 + s. Which is smaller: -2/5 or p?
-2/5
Let d = -100 - 52. Do d and 0.1 have the same value?
False
Let t(f) = f**2 + 4*f - 6. Let m be t(-3). Let k be 4*((-9)/6)/((-1)/m). Is -54 at least as big as k?
True
Let h = -24167/43 - -562. Suppose 4 = 2*z + 6. Which is bigger: h or z?
h
Let w(x) = -x**3 - 7*x**2 - 18. Let c be w(-7). Let r = c + 10. Which is bigger: -9 or r?
r
Let r = 87 + -145. Let t = r - -12. Which is smaller: t or -44?
t
Let h = -83/463 - 1373306/2315. Let i = 597 + h. Which is smaller: 3 or i?
3
Let c = -763 - -1262. Which is smaller: 1 or c?
1
Let p(b) = -b**3 - 2*b**2 + 11*b + 9. Let v be p(-4). Let f = 0 - -1.04. Let q = f - 0.04. Which is smaller: q or v?
v
Let x = -261193/765908 - -2/17407. Which is greater: x or 0?
0
Let m = 0.1485 + -430.1485. Which is bigger: 1/2 or m?
1/2
Let g = 31854/19 - 1676. Let t = 88/95 - g. Let m = 0 + -0.2. Is t >= m?
True
Let b = -308.07 + 308.1. Is 22.5 smaller than b?
False
Let y be (4/(-2) + -1)/((-6)/8). Suppose -y*k = -0*k + 16. Which is greater: -5 or k?
k
Let m = -2 + -3. Let y be 30/30 - (-4)/m. Is -2/5 at most as big as y?
True
Let h = -2/18729 - -75134/2041461. Which is greater: 1 or h?
1
Suppose 65 = 13*p + 78. Which is bigger: -1/1686 or p?
-1/1686
Let y be 1643/547 - (-30 + 33). Suppose 7*p = 3*p. Is p less than y?
True
Let q = -0.711 + 139.911. Let t = 118 - q. Let i = 19 + t. Is i bigger than -0.1?
False
Let c be 1/((-1)/11 + 0). Let a be (-4)/(-1) + (-1 - 0). Let o = a + c. Is -8 greater than o?
False
Let u = -779 + 789. Which is greater: u or 9?
u
Let l = -0.42 + -0.58. Let b = 7 - 7.08. Let h = b + -8.92. Which is smaller: l or h?
h
Let w(h) = -h**3 - 17*h**2 + 71*h - 54. Let v be w(-20). Which is smaller: v or -272?
v
Let d = 92.2 - 92.1. Which is greater: 181 or d?
181
Let s = 42 - 51. Let f(k) be the first derivative of k**3/3 + 7*k**2/2 - 9*k - 1. Let d be f(s). Is d at least as big as 8?
True
Let b = 235 + -238. Which is smaller: b or 31?
b
Suppose 3*j + 15 = 8*j. Let u = -103 - -110. Let d be ((-455)/(-75))/u + (-2)/(-15). Is d at least as big as j?
False
Let s = -161 - -113. Let m = s + 19. Let k = -29.2 - m. Do k and 1.1 have different values?
True
Let w be (-2)/((-14)/(-23)) + 3. Suppose -4*g - 3 = -5*g. Suppose -x = g*x. Which is smaller: w or x?
w
Suppose 0 = -0*n - 2*n + 28. Let k(z) = 94*z + 486. Let o be k(-5). Which is smaller: o or n?
n
Let v be ((-62)/4)/(1 + (-876)/888). Are v and -1146 equal?
False
Let s = 27 + 2. Let k = -23 + s. Suppose k*a = -2*u + a + 19, 0 = -5*u + 4*a - 35. Is -1 != u?
True
Let f(n) = -n**2 + 11*n - 6. Let x be f(10). Suppose -49 + 229 = -4*k - 4*j, 0 = -x*k - 2*j - 180. Let q be ((-4)/(-15))/(54/k). Which is smaller: 1 or q?
q
Let r be (-4 - (0 - 1)) + 5. Let s(k) = 4*k**2 + 2 - 28*k - 3*k**2 + 43*k. Let w be s(-15). Is r less than w?
False
Let c(t) = -t**2 + 6*t - 3. Let l be c(4). Let h be 20 + (-10)/l + 0. Which is smaller: h or 17?
17
Let m(r) = -38*r - 442. Let o be m(-14). Which is greater: 85 or o?
o
Let c = 18 + -31. Let m = 31.1 + -44. Let a = c - m. Is a != 0.01?
True
Suppose 5*r = 4*r. Suppose 0 = 4*h - 5*x + 101, 2*x = -3*h + 4*x - 74. Let a = -25 - h. Are r and a nonequal?
True
Suppose 43*z + 852 = -94. Which is bigger: -234/11 or z?
-234/11
Suppose w + 4*z = 19, -7*z + 31 = 5*w - 3*z. Let p = -2250604/39 - -57711. Let i = 72/13 - p. Is w < i?
False
Let f(d) = 2*d + 48. Let a = 60 - 41. Let v be f(a). Is 86 less than v?
False
Let j = -11 + 15. Suppose -f = -1, -j*v + 8*f + 12 = 4*f. Suppose -s - 2*l + 9 = -7, v*l = 16. Which is smaller: s or 7?
7
Suppose y - s + 0*s = 3, -3*s = 0. Let w be (0 + (4 - y))*0. Let u be (3/(-6))/(45/6). Which is smaller: u or w?
u
Let a(v) = 3*v**3 - 6*v**2 + 2. Let d be a(4). Which is bigger: 95 or d?
d
Let q(o) = o + 1. Let i be q(-4). Let r = -4 - i. Is -15/8 smaller than r?
True
Suppose -8 = -2*y - 5*i, -13*y = -14*y + 2*i + 13. Which is smaller: 8 or y?
8
Let f = 167 - 168. Is f != -4/81?
True
Suppose i - 20 + 3 = 0. Let x(l) = 67*l - 2. Let z be x(1). Let o = 81 - z. Which is greater: i or o?
i
Let n(j) = -3*j + 9. Let f be n(2). Suppose f*b = 2*b. Let h be 0/(-1) - (2 + -2). Is b at most h?
True
Let t be -1*(2 - 3)*1. Let v = -0.03 + -2.47. Let j = v + 2. Is j greater than or equal to t?
False
Let k = -1016 + 990. Is -10 <= k?
False
Let f be 147/15 + (-4)/5. Let b be (30/f)/((-2)/6). Let g be (-2)/b - 56/(-20). Is g not equal to 3?
False
Let h be (12/(-15))/((-4)/10) + 0. Suppose 3*x = -4*q - 5, h*x + 4 = -2*q + 2. Which is smaller: x or 8/17?
8/17
Let z(m) = m**2 + 10*m + 11. Let p be z(-7). Let u be (-1 - -2*p/7) + 4. Is u greater than or equal to 0?
True
Suppose 8*w + 26 + 6 = 0. Let s(k) = -2*k - 9. Let r be s(w). Are -6/31 and r equal?
False
Let x = 124 - -14. Suppose -x = 5*z + 112. Is z greater than -50?
False
Suppose 24 = -4*q + 3*s + 66, 4*q - 5*s - 46 = 0. Is q < 94?
True
Let i = 307/28 - 11. Let h be -4 + 7 - (3 + 1). Is h at most as big as i?
True
Let k = 248 - 249. Is 8/83 at most as big as k?
False
Let g(i) = i**2 - 20*i - 22. Let x be g(11). Let n = x + 137. Is n > 16?
False
Let n be 2*(1890/20 + -5). Is n at least 181?
False
Let n = -38.3 + 40. Let u = n - -3.3. Which is greater: u or -1/9?
u
Let u = 32 + -13. Let z be (13/8)/((-5)/(-66 - -6)). Let a = z - u. Is a at least 1?
False
Suppose -i + 0*t = 4*t - 23, -2*i + 2*t - 4 = 0. Suppose 4 = -4*w + 12*y - 9*y, -2*w - i*y + 16 = 0. Let p = 283/114 + 7/38. Is p at most w?
False
Let h = -580 - -812. Let y = h + -229.94. Let f = -0.06 + y. Are 1 and f unequal?
True
Let z = -819 - -853. Are z and 42 equal?
False
Let f(u) = -u. Let i be 1 - (5 + 8/(-2)). Let x be f(i). Is -1/11 less than or equal to x?
True
Let c(z) = -6*z - 7. Let u be c(2). Do u and -16 have different values?
True
Let c be (-297)/(-2) + (-2)/(-4). Let j = 452/3 - c. Let u(a) = a**3 - 17*a**2 - 145*a - 44. Let o be u(-6). Which is greater: j or o?
j
Suppose 2909*f = 2919*f - 120. Suppose -3*s + 4*p + 17 = 0, 3*p - 16 = -p. Which is greater: f or s?
f
Let c = 138 + -135. Which is smaller: 2/7 or c?
2/7
Let o be -1*92/(-24) + -2. Let i = o + -43/30. Which is smaller: -13 or i?
-13
Let j = 6/1955 - 115387/13685. Does -7 = j?
False
Suppose 0 = -5*b + 125 - 95. Suppose -7*u + b = -71. Is u bigger than 9?
True
Let r be ((-54)/15 - -4)*147. Let f = 6184/105 - r. Suppose 3*y + 5*l + 0*l = 17, 4*y + 16 = 3*l. Which is bigger: y or f?
f
Let m = 2.0553 - 0.0553. Is m != 10?
True
Let v = -151 - -43. Which is greater: v or 1?
1
Let a = -0.06 + 0. Let o = a - -0.07. Do o and -2/3 have the same value?
False
Suppose -650 = -5*y - 4*w - w, 2*w = -y + 127. Which is smaller: y or -1?
-1
Let p(d) = 5*d - 3. Let q = 2 - 0. Let r be p(q). Is r greater than or equal to 7?
True
Suppose 2*l - 3*f = -8*f - 4, 0 = 5*l - 2*f + 10. Let x be 10*l - (13 + -15). Which is bigger: x or -17?
-17
Let w(k) = 12*k - 2. Let v be w(2). Suppose 5*a = -3*f - f + v, -9 = -3*a - f. Suppose -a*p = 4*g + 2, g = -5*p - 4*g + 10. Do 19/4 and p have different values?
True
Let q = 15767/8 - 1971. Is -9/43 at most as big as q?
True
Suppose -3*w + 11 = f, 0 = -w - 2 + 7. Let k = 5 - f. Is 8 > k?
False
Let j be (-21)/28 + (-11)/(-36). Let m = 11 + -7. Suppose m*s - s = 0. Is s >= j?
True
Let t = 27.96 - 28. Let a = -28 + 30. Suppose 5*p + 35 = -5*y, -2*y - 9 + 3 = -a*p. Which is bigger: p or t?
t
Let s = 3 + -2. Let x be 306/(-1326) - 59/(-143). Which is smaller: s or x?
x
Let j = -2/65 + 1074/1105. Is 2 <= j?
False
Let a(f) = -f**2 - 6*f - 2. Suppose -3*t = 17 - 2. Let q be a(t). Suppose 4*h + 0 = y - 1, q*y + 7 = 2*h. Which is bigger: h or -2/41?
-2/41
Let h(w) = -w - 4. Let t be 6/(1 + (-9)/3). Let v be h(t). Which is smaller: 2/5 or v?
v
Suppose j + 5*n - 249 = 0, -115*j + 110*j + n + 1271 = 0. Is -2 != j?
True
Suppose -31 = -5*d - 2*l, 3*l + 29 = 3*d - l. Suppose -w + d = 3*h, 11*h - 6*h = -3*w + 5. Is w at most as big as -5?
True
Let y = 5 - 12. Let i be 55/(-10)*(9 - -1). Let x be (-1)/2 - i/(-10). Is y bigger than x?
False
Suppose 4*q = -4*m + 8, q = -5*m + 4*q - 6. Which is bigger: m or -2/153?
m
Let d = -37 - -32. Is d bigger than 