n = 117 + -109. Let o(k) = -k**2 + 3*k + 13. Let t be o(n). Is -27 less than or equal to t?
True
Let y be -2 + (-18)/(-10) - (-2232)/11080. Which is smaller: y or -1?
-1
Let l = -599 + 693. Which is bigger: 96 or l?
96
Let p = 0.283 + -0.103. Is p smaller than -3?
False
Let j = 1333 + -1372. Which is smaller: j or -49?
-49
Let w = 98 + -99.8. Let a = -0.8 - w. Let c be 4/(-6)*(-6)/(-14). Which is smaller: a or c?
c
Let t = -673 + 620. Do t and -53 have the same value?
True
Let a(z) = -z**3 - 10*z**2 - 9*z + 1. Let y(l) = -l - 18. Let b be y(-9). Let g be a(b). Let k = 2/5 + 11/10. Is k bigger than g?
True
Let y = -58.47 + 59. Let q = y - 0.03. Let m be -4*9/(-168) - (-2)/(-4). Is q at least as big as m?
True
Let r(n) = n + 1. Let l be r(1). Let k(x) = x. Let h be k(l). Let f be (h - 0)*2/10. Is f > -1?
True
Suppose -5*h - 27 - 38 = 0. Let j = -22 + h. Is -35 smaller than j?
False
Suppose -c + 3*g = -71, 3*g + 170 = 2*c + 4*g. Suppose n + c = -21. Let b be n/(-144) + (-3)/6. Which is smaller: 2 or b?
b
Let l = 83 - 81. Suppose 5*b - 2*i - i = 30, -b = 3*i + 12. Are l and b equal?
False
Let m be (15/2)/(5/(-10)). Let b = m + 17. Do b and 1 have the same value?
False
Suppose 4*g - 13 = 5*r + 13, 2*g - 2 = -3*r. Let l(s) = -9*s - 7. Let z be l(g). Is z at least -42?
False
Let k = -57 + 84. Let n = k - 11. Let q = 16 - n. Is -0.03 < q?
True
Let k be 92/782 + 8122/34. Which is smaller: k or 240?
k
Let n be ((-5)/(50/4))/(3/(-60)). Suppose 9*a = n*a. Which is greater: a or -3/4?
a
Let k be 9/4*2*2. Let q be 470/47 + 0 + 0. Do q and k have different values?
True
Let i = -499 + 593. Is i at least as big as 2?
True
Let d = 8 + -16. Let y be -3 - (-87)/(-27) - 12/(-54). Is d at least y?
False
Let c be ((-16)/(-12))/(-1)*-3. Suppose -2*i + c = 2*u - u, 0 = 2*u - 5*i + 28. Is -4 != u?
False
Suppose -5*k = 284 + 3706. Let p = -5577/7 - k. Suppose 4*y + y = 4*o + 7, -4*y + 14 = o. Which is greater: o or p?
o
Let v be (5/(-4) - -1)*(1 + -1). Is -2/963 greater than or equal to v?
False
Let c = 0.089 + -13.089. Let z = c + 15. Which is smaller: z or -0.01?
-0.01
Let c be -1 + 2 + 2 + -1. Suppose -c*v + 2 = -v. Let a = 1 + -4/3. Which is greater: a or v?
v
Let r = -1 - -1. Let z be 6465/(-924) + 7 - (-2)/(-11). Which is smaller: z or r?
z
Suppose 2*c = 5*l - 87, -4*c = -l + 148 - 1. Let t be (-6)/2 - c/9. Suppose -5*i - n + 5 = -2, -2*n + 3 = -i. Is i smaller than t?
False
Let i = -20 + 11. Let z be (-1 - i)/(-1 - -3). Suppose -4*x - u + 5 - 2 = 0, -x = -z*u + 12. Is x >= -2/23?
True
Suppose -2*f - 16 = 4*b - 94, 2*b = 4*f + 34. Let w be (0/7)/(0 - -1). Suppose -r + 18 - b = w. Does 3/7 = r?
False
Let r be (-1)/((-120)/(-115) - 1). Let j = -15 - r. Suppose 0 = -3*z + 14 + 7. Is z less than j?
True
Let n be 36/30*20/12. Let d be (0/(-2))/2 - 2. Which is smaller: d or n?
d
Let n(q) = q**3 - 8*q**2 - 14*q + 25. Let o be n(10). Let a be (1/6)/(o/(-30) + 3). Which is smaller: a or 16/11?
a
Let z = -0.5 + 8.5. Let k = -7/33 + 6/11. Which is greater: k or z?
z
Let m = -630 + 1067. Is 437 less than m?
False
Let v = -9/77845396 - -2366188819671/1408612440620. Let z = 130/77 - v. Which is greater: 1 or z?
1
Let x = -23965/19 - -1261. Let l(i) = 2*i + 48. Let a be l(-23). Suppose -2*k + f - 1 = 0, a*f + 5 = -k + 12. Which is smaller: x or k?
x
Let y(x) = -x**3 - 4*x**2 - 3*x - 1. Let k be y(-5). Let t = 92 - 88. Suppose 1 = t*q - k. Is 10 at least q?
True
Suppose 6*r - 61 = 77. Suppose 2*l + r = -4*h - 31, l + 38 = -3*h. Are h and -10 equal?
False
Let z = 3.2694 - 1090.3294. Let h = z - -1101. Let c = h - 14. Is 0 smaller than c?
False
Let y = 2.02 + -1.62. Which is smaller: y or 17/12?
y
Let y = -9/239 - -3147/7409. Is 1 greater than y?
True
Let k be 117/(-9) - -9 - -4. Let o = -3 - -3.1. Is o smaller than k?
False
Let h be (4750/200)/(5/4). Is h greater than 23?
False
Suppose -2*l = 5*z - 4, -4*l - 6 + 0 = 3*z. Suppose -5*b + 0*d - 40 = 4*d, -16 = z*b - 3*d. Let o be 28/49*2/b. Is 0 smaller than o?
False
Suppose -13 = 6*v - 1. Let k(m) = -44*m**2 + 4*m + 7. Let d be k(v). Let p = d - -1237/7. Which is smaller: p or -17?
-17
Let v be 38/(-1)*2/4. Let r = -0.03 - -24.03. Let x = r - 24. Which is bigger: x or v?
x
Let h(p) = 1 - 3*p**3 + 10*p + 2*p**3 - 1 - 6 - 10*p**2. Let f be h(-11). Suppose -3 = -f*k - 118. Is -23 at most as big as k?
True
Let t = 162 - 146. Is t at most as big as 4?
False
Let n be (-3)/18 + (14 - 747/54). Which is smaller: 57/62 or n?
n
Let m = 57.9 - 61. Let h = m + 2.8. Which is bigger: h or 0?
0
Let d be (27/189)/(3/(-6)). Which is smaller: d or -1/7?
d
Suppose -690 + 678 = 12*z. Which is greater: -5/69 or z?
-5/69
Let l = 0.04 + -2.04. Let t = 100.772 - -0.228. Let z = -105 + t. Are z and l equal?
False
Let r = 527 + -527.3. Which is bigger: r or 2.8?
2.8
Let q = -18 + 23. Suppose 0 = q*z + p + 9, 3*z - p + 0*p - 1 = 0. Let b be z/5 - 84/(-320). Is b at most as big as 1?
True
Let q = 2 + -2. Let h = 9 - 6. Let m be h/(18/(-8)) - -2. Which is smaller: q or m?
q
Let a = -88 + 133. Let q = -45.2 + a. Which is smaller: q or 0.2?
q
Let r = 43 + -42.93. Let y = r - -13.93. Do y and -0.2 have different values?
True
Let l = 99 + -104. Are l and 4 equal?
False
Let z = 4553 - 2871. Let v be z/145*(-3 + 1). Are -23 and v non-equal?
True
Let l be 35/21*9/(-2). Let i = -67 + 58. Which is smaller: i or l?
i
Suppose 5 = -2*x + 1. Let q = 138/175 - 3247/700. Let y = q - -17/4. Which is smaller: x or y?
x
Let s = 538 - 577. Suppose 0 = -2*j + 4*j + 76. Which is bigger: s or j?
j
Let i = -233 + 202. Is 0.7 <= i?
False
Let k be ((-10)/(-15))/(2/9). Suppose 3*r + 4 = 4*d, -3*r + 3 = -0*r + 3*d. Suppose -m + 4 - k = r. Which is smaller: -2/7 or m?
-2/7
Let q be -7 + 0 + 3 + 0. Let d be ((-10)/(-4))/(5/50). Let y = -30 + d. Which is smaller: y or q?
y
Let v(g) = 7*g - 14. Let o be v(6). Let m = o + -52. Let i = m - -14. Is -12 <= i?
True
Suppose 5 = 3*q - 4. Suppose -5*l + q*y = -8, 0 = 4*l + 3*y + 2 - 3. Does 3/5 = l?
False
Suppose 0 = -5*g - 5*u - 40, -g - 49 = 2*g - 2*u. Let h = -1664 + 1653. Do g and h have the same value?
False
Suppose 6*f - 3 = 9*f, -3*f - 8 = 5*y. Is -1/211 less than y?
False
Let z = -20 + 24. Suppose -2 + 6 = -z*q. Which is greater: q or -1/22?
-1/22
Let c be ((-602)/2236)/((-2)/80). Which is greater: c or -0.1?
c
Let w(b) = -18*b - 199. Let t be w(-22). Which is smaller: t or 195?
195
Let i be ((-10)/6)/(1/(-3)). Suppose 0*p + p = -6. Let h be 10*(1 + 3/p). Is i equal to h?
True
Let c = 4.543 + -2.543. Let d = 2 + -1. Is c less than d?
False
Let l = -0.149 - -76.149. Let z = -75 + l. Is z at most -0.033?
False
Let v = -0.177 - 0.033. Let f = 0.02 + v. Let w = -9.81 + f. Is w smaller than -1?
True
Suppose 3*v + 4*n = -1, 3*n + 2 = -6*v + 5*v. Is v <= 1/68?
False
Let h be (8/(-14))/((-2244)/154). Is 0.4 smaller than h?
False
Suppose 4*y - r = 36, 0*y + 3*r = -5*y + 62. Suppose 0 = 4*v - 2*p - 20, -2*v + y = 3*v + 5*p. Which is smaller: 3 or v?
3
Suppose 5*f + 6 = 6*f. Suppose f = -5*t + 3*t. Let o be 12/t - 54/(-3). Is o at least as big as 13?
True
Suppose -2*b + 5*t = -52, -3*b + 8*t = 3*t - 78. Suppose 0 = 3*v - 4*c + b, 4 - 2 = c. Are v and -4 non-equal?
True
Let y be (-1 - 14)/(2 + -1). Suppose -24*c + 21*c - 48 = 0. Do c and y have the same value?
False
Let d = -42 - -54. Suppose 2*q + 2*t = 4 - d, -2*q - 8 = -t. Is -2/5 >= q?
True
Let l(q) = q**2 + 13*q + 258. Let f be l(0). Is 258 <= f?
True
Let s be (108/48)/(-3)*(-8)/(-6). Is s greater than -25/81?
False
Let l = -77 + 32. Let r = -18 - l. Which is bigger: 25 or r?
r
Let x be 8/(-2) - ((-7744)/504)/4. Is -1 bigger than x?
False
Let n = -548 + 545. Is -22/5 less than or equal to n?
True
Let o(i) = -11*i + 577. Let b be o(56). Are -50 and b unequal?
True
Let z = -289 - -286. Which is smaller: 10 or z?
z
Let m be ((-40)/(-20))/(2/(-52)*4). Which is bigger: m or -5?
-5
Let o = 14.12 - 11.12. Is o less than 60?
True
Let m = -1.1 - -1. Let a = -3806 - -26641/7. Which is bigger: m or a?
m
Let o be 5/7 + -1 - 281/(-28). Let p = -36 - -37. Is p equal to o?
False
Let m = 9 + -8.7. Let v be 56/(-90) + (-352)/36 + 10. Do v and m have the same value?
False
Suppose 2*v = 3*v - u - 93, 5*u = 3*v - 277. Let t be 6/v*(-12)/(-9). Let f = t + 133/94. Which is greater: f or 2?
2
Suppose -t = 4*d + 4, -3