*t - 410. Is t > -41?
False
Let d = -86899/515656 + -1/11992. Is 0 >= d?
True
Let u = -0.9468 + 0.9748. Let j = -1.1 + 0.1. Which is greater: u or j?
u
Let t = 117 - 2221/19. Let l = 12575 - 12527. Which is smaller: t or l?
t
Let c = 2957 + -6075/2. Let o be 969/(-12) + (-6)/24. Which is greater: c or o?
c
Let z = -115 + 114.985. Let g = -0.089 + 0.189. Is z less than g?
True
Let v = 11585 - 5162. Which is greater: v or 6421?
v
Let s(x) = -33*x + 562. Let o be s(17). Is 1/3562 greater than or equal to o?
False
Let b be ((-23 - -13)*3/12)/((-1)/(-1)). Does b = -15?
False
Let p be 344/14*7 - -12. Which is smaller: p or 3?
3
Let g be (2 - 3)*-14 + -2. Let p = g - 10. Suppose -k + p*m + 14 = -5*k, 2*k = 3*m + 13. Is -1 at most k?
True
Let a(m) = m**2 - 17*m - 138. Let u be a(24). Which is smaller: 86 or u?
u
Let j be -12 + (-9090)/(14 - 4). Is 1 greater than or equal to j?
True
Let j(y) = 12*y**2 - 89*y - 102. Let f be j(9). Which is smaller: 50 or f?
50
Let f = -245344 + 5154511/21. Let y = f + -109. Is 1 at most as big as y?
False
Suppose 0 = -307*x + 291*x + 27904. Which is bigger: 1743 or x?
x
Let w = 5659/632 + -73/8. Is 0 less than w?
False
Let t(f) = f**2 - 19*f - 39. Let j(y) = 16*y + 5. Let g be j(1). Let s be t(g). Do s and 14/9 have different values?
True
Suppose -4*v - r + 212 + 120 = 0, 3*r - 156 = -2*v. Are v and 16 nonequal?
True
Let q be (-23)/92 - 1709*2/(-8). Let w = q - 25195/59. Let p(f) = f**3 - f**2 - f - 2. Let s be p(2). Which is bigger: w or s?
s
Let g = -90.99 + 89.99. Is -0.7081 >= g?
True
Let m be 24/(-30)*(40/(-25))/((-96)/1800). Let n = 0.2 - 0.1. Let y = 0.1 + n. Which is bigger: m or y?
y
Suppose 73948 - 248368 = 57*k. Which is greater: k or -1?
-1
Let y = -66 + 128. Suppose 0 = -2*s - y + 66. Suppose -6 = s*m - 4. Is -9/19 at least as big as m?
True
Suppose 0 = -u - 3*u - 320. Let p = u + 58. Let l be 2 - (-40)/p - 180/22. Is -43/5 at most as big as l?
True
Let b(v) = 4*v + 9. Let f be b(-2). Let p(j) = 19*j + 5. Let m be p(f). Suppose 5*a - m = 9*a. Is a smaller than -5?
True
Let y(f) = f**2 + 1. Let g be y(5). Let s be 5500/225 + 4/(-9). Suppose -s*r + 349 = -299. Which is smaller: r or g?
g
Let d(u) = -u**3 - 7*u**2 - 2*u - 14. Let f be d(-7). Suppose 0 = -k - 0*h - h - 1, 0 = -5*k + 3*h + 19. Suppose -k*s + 7*s = -f*s. Is -2 at most s?
True
Let h = 413.1 - 409.1. Which is greater: 118 or h?
118
Let c = -2050296 - -5220053721/2546. Let v = -1/38 + c. Which is bigger: v or 0?
v
Let k be -39 + (-12 - -5)/7 + -2. Is 0.3 smaller than k?
False
Let u = -10/177 - -105542/885. Which is smaller: -4 or u?
-4
Suppose -2888*v + 2884*v + 29828 = 0. Are 7457 and v non-equal?
False
Let a = -8623 - -6358. Is a at most as big as -2262?
True
Let v = -1.297 - -1.497. Is -760 greater than v?
False
Suppose 0 = 2*m + 4*b - 30, 0 = -0*m - 2*m - 5*b + 33. Suppose 2*k + j - 13 = 0, -21 = -4*k + j - 4*j. Let g = k - m. Which is smaller: g or -9?
-9
Let c = -353802588/6005 + 58918. Which is smaller: c or 0?
0
Suppose 2*a + o = -72, -5*a + 79 = -2*o + 259. Let d = a - -37. Is 2/121 >= d?
False
Let q be ((-1095)/(-40) - 8) + -4. Let r be (-5)/(3/(-36) + 4/(-16)). Which is bigger: q or r?
q
Let p = -142 - -141. Let z be p/(-1 - (-7)/1). Is z bigger than -2.1?
True
Suppose 122*b = 119*b - 1014 + 11394. Which is smaller: b or 3457?
3457
Let j = 14.805 + -106.818. Let z = j + 0.013. Which is smaller: -0.1 or z?
z
Let m be (-1)/(-7) - (1 - 32772/14)*1. Is m <= 2343?
True
Let w(u) = -u**2 - 9*u. Let g be w(-9). Suppose g = h + 7 + 1. Suppose 3*b + 50 = 5*j, 5*b - 3*j = -j - 58. Which is greater: h or b?
h
Suppose 0 = k - 11. Let o be 20/k + (-24)/(-132). Let q be (1 + 1 + (o - 5))*0. Is q smaller than -8?
False
Let h = -80 + 79. Let j be 1 + (h - 0)/(4/(-92)). Let m be (-160)/25 - (2 + j/(-10)). Which is smaller: -5 or m?
m
Let d = 24976 - 24977. Which is greater: 1/11755 or d?
1/11755
Suppose -8*v - 74 = 310. Let d be v/15 - ((-63)/15 - -4). Let r = 4.9 + -4.7. Is d <= r?
True
Suppose -3*o + 6*o - 1515 = -5*t, -1505 = -5*t - o. Suppose -t = -12*s + 15*s. Which is smaller: s or -101?
-101
Let r be 6/(-15) + 72/30. Suppose 4*q = -8, 2*c - r*q = -0*q + 12. Suppose -5*i = -4*y + y - 119, 4*y = c*i - 148. Is -33 less than or equal to y?
True
Suppose 0*x = -2*x + 8. Suppose -6*u - 18 = -36. Suppose p - 1 = -u*z, x*p - 17 + 2 = -z. Is p greater than 7?
False
Suppose 845*g = -2*b + 847*g - 2, -3*b - 4*g + 4 = 0. Is b != 6/7793?
True
Let y be (-5706)/9510 + 2284/(-10) + 1. Let r be (0 - 228) + (0 - 1). Which is smaller: y or r?
r
Let f be (-1)/((-2)/(-14)) - -1. Let d = 87 - 162. Let s be (1 - (-6)/(-1)) + d + 73. Is f < s?
False
Suppose -4589 - 7161 = 4*k + 2*v, 2*k + 5871 = -5*v. Is k <= -5873/2?
True
Suppose w = 4*w + 39. Suppose -142*z + 143*z + 14 = 0. Which is smaller: w or z?
z
Let m(l) = -5*l**2 - 25*l + 145. Let a(c) = -9*c**2 - 49*c + 284. Let g(u) = -4*a(u) + 7*m(u). Let f be g(-27). Are f and 46 unequal?
True
Let f be (0 - -1) + 3 - 240. Let c = -943/4 - f. Which is greater: c or -94?
c
Let h = -46 + 92. Let i = 4 + h. Let x be i/4 + (-7)/42*9. Which is smaller: 10 or x?
10
Let z be 33/2871*(-36)/4. Which is smaller: z or 1?
z
Suppose 2*z = 4*g - 20, 0*g + 3*z + 6 = -2*g. Let y = 17/45 + 607/180. Which is smaller: g or y?
g
Let n = -12273607/679 - -18076. Is -8 less than n?
True
Let o be 8/32 - (-79)/8*2. Let k = 38 - o. Which is greater: 25 or k?
25
Let w be (-22)/807*11/(286/65)*-3. Which is bigger: w or 1?
1
Let a = -46 + 47. Let b be (-9720)/4890 + 2/a. Is b < -1?
False
Let z = 27276 - 27275.92. Which is smaller: 2/677 or z?
2/677
Let n be ((-16)/(-96))/(1/5050). Do n and 843 have the same value?
False
Let y be 32316/4887 - 6/(-21). Let b = y + -12/1267. Does 8 = b?
False
Suppose 24 = 4*y - 44. Let c be -12*2/(-30) - 192/(-10). Suppose -c = -8*f + 7*f. Is f less than y?
False
Suppose 3*o = -5*m - 2, 0*m + 3*o + 10 = -m. Let q be (-189140)/(-460)*m/1957. Let d = 2/2369 + q. Is d at most -1?
False
Suppose -34 = -4*l + 3*z + 263, -2*l + 161 = z. Which is greater: 69 or l?
l
Suppose 8*z = -2*z - 200. Let u be ((-2)/4)/((-8)/(-64)) - z. Do u and 12 have the same value?
False
Suppose 4*r - 8*r = -3*j - 26, -j - 12 = -2*r. Let a be 20/(-32)*-4 - 10/r. Let l = -8.5 + -1.5. Which is smaller: a or l?
l
Let k = 648/11 + -2705411/45925. Which is bigger: k or 0?
0
Let d(x) = -242 + 8*x + 4*x - 101 - x + 69. Let s be d(25). Is -9/25 smaller than s?
True
Let u be 2/((-68)/2)*(-6)/21. Suppose -3*b + 179 - 179 = 0. Which is smaller: u or b?
b
Let g = -2043.091 + 1.091. Which is smaller: g or -0.1?
g
Let o be (11493/(-21) + 2)/((-720)/168). Let f = -309/10 + o. Is f greater than 95?
True
Suppose 4*h - 52 + 36 = 0. Suppose 5*p = 5*u, 4*u - p = -u - h. Is u bigger than -3/5?
False
Let i be (4 - (-11)/(-3))*1091/(-3). Let r = 123 + i. Which is smaller: r or 2?
r
Let n = 133 + -49.9. Let q = n + 199.9. Which is smaller: q or -1/2?
-1/2
Suppose 3*f - 3*z + 1236 = -7557, -8769 = 3*f + 3*z. Is f greater than -2923?
False
Let h be ((-18)/(-1520))/((-16)/12 - 896/(-1050)). Do -1 and h have the same value?
False
Let p(t) = t - 13. Let g be p(14). Let a = 202 + 210. Let y be (-2)/(-7) - a/1540. Which is greater: g or y?
g
Suppose 2*m = -5*b - 7 - 16, 50 = -10*b. Which is smaller: -35/188 or m?
-35/188
Suppose 0 = 2*p + 3*p + s + 41, 3*s = -2*p - 19. Let n be (-4 + 1)/(-1*8/152). Suppose 0 = -7*t + n - 99. Which is smaller: t or p?
p
Let o be (-1)/((-1)/(-29)) + 1. Suppose 884 = -14*i + 898. Is o smaller than i?
True
Let j be -521 + (-8 + 7 + 5 - (3 - 1)). Is -518 equal to j?
False
Let k = 7094 + -49656/7. Is k greater than or equal to 1465?
False
Let m = 666 + -652. Suppose b + m = -3*j, -6*j + 9*j + 3*b + 24 = 0. Suppose -5*n - 40 = -v + 6*v, -4*n = -5*v - 4. Is n < j?
True
Let d be (0 - 515/(-2))*(-34)/(-85). Let c = -147 + d. Is -44 <= c?
True
Suppose 0*o + 10 = -2*o, 28 = -2*l - 4*o. Let u(j) = -j**3 - 6*j**2 - 8*j. Let z be u(l). Are z and 1/208 non-equal?
True
Let h be ((45/12)/(-3))/(2/(-8)). Suppose -2*i - 5*d - 9 = 0, h = -3*d - 10. Let r = i + -5. Is r > 5?
False
Let l(b) = b**3 + 4 - 8 + 2*b**2 + 3*b + 2. Let d be l(-3). Let x be d/(-25) + (-2)/(-10). Which is bigger: x or -1?
x
Suppose 2*g - 12 = 2*w, 7*w = 4*g + 2*w - 26. Suppose 7*b - 2*u + 9 = 8*b