?
True
Let p = 502/407 + -12/37. Suppose 0 = -w - 2*x + 40 - 3, -3*w - 5*x = -109. Suppose -12 = w*v - 39*v. Is p greater than or equal to v?
False
Let d be (-73)/(-73) - ((-3133)/1 + -1). Suppose -6*m = 9*m - d. Which is greater: m or 208?
m
Let i be (-2 + 6)*636/8. Which is smaller: 633/2 or i?
633/2
Suppose -5*l = -4*y - 12, 2*y - 24 = -9*l + 4*l. Suppose -2*n = -0*n - 4*h - y, -2*h = 2. Let v be -1*(-8)/20*n/(-7). Is v at most as big as -1?
False
Let c = 28 + -28.772. Let n = 1.372 + c. Which is smaller: n or 1/2?
1/2
Suppose -35*b + 44*b - 1232 = 23*b. Which is bigger: b or -73?
-73
Suppose 2 = 2*o - 14. Suppose -4*b + 76 = -2*w, -3*w + 0*w - 132 = 3*b. Let j = w + 52. Is j bigger than o?
True
Let y = 5182 + -3062. Let w = -44512/21 + y. Is 1 greater than w?
True
Suppose 4*x + 418 = 422. Which is smaller: -40/91 or x?
-40/91
Let j = -12721 + 14693. Is j > 1973?
False
Let g(k) = -24*k + 28. Let d be g(1). Let q be (-14)/d - (-4331)/(-142). Let h be (-2)/5 - (-173)/(-5). Is q smaller than h?
False
Let r = -1844/535 - -5/107. Suppose 5*m - 235 = -5*b, 2*b = 5*m + 12 + 61. Let u be (-187)/b - 2/16*-2. Is u greater than r?
False
Let u = -293 + 557. Let y = u + -263.25. Is 1/2 > y?
False
Suppose -126 = -9*f - 378. Let a be (-4)/(-14) + 3984/f. Is a at most -142?
True
Let z = -14 - -19. Let v = -15 + 18. Suppose 0 = -v*c + 3*u - 18, -4*c + 3*u - 14 = u. Which is smaller: z or c?
c
Suppose 4*h + 806 = 5*m - 739, -9 = 3*m. Which is smaller: h or -1948/5?
h
Let c(y) = y**2 + 2*y - 24. Let l be c(0). Suppose 0 = 4*h + 69 - 13. Let j be (h - 10) + (5 - 2). Which is bigger: j or l?
j
Let k = 73 - 75.8. Let p(c) = -c**3 - 4*c**2 - c. Let r be p(-3). Let z be (r/(-4) - 0) + -2. Is k <= z?
True
Let u be (1*(3 - 2) - 2)*1. Let f be u/(-2 + (-125)/(-60)). Which is bigger: -34/3 or f?
-34/3
Let r = -19.32 + 0.32. Let w = -0.037 - -0.02. Let l = -0.217 - w. Is r <= l?
True
Let c(j) = -2*j**2 - 18*j + 22. Let m be c(-10). Let a be 3 - 13/m*(-26)/13. Let h be 40/6*18/12. Is h smaller than a?
True
Suppose -11*p - 25 - 8 = 0. Let v be 4 + -6 - (0 - -1). Let r be (-8 + 15)*v/5. Which is greater: p or r?
p
Let l = 462 + -369. Suppose 57 = -5*q - l. Are -2/5 and q nonequal?
True
Let t(z) be the third derivative of z**5/20 - z**4/24 - 14*z**3/3 + z**2. Suppose 2*k + 25 = 5*j, 0 = 4*j + 15*k - 11*k - 20. Let r be t(j). Is 43 < r?
False
Suppose -5*f = a + 441, -f + 1355 = -31*a + 28*a. Let v = 451 + a. Is v less than 3/235?
True
Suppose 2*b + 26 = 5*f + 245, 5*b = 3*f + 139. Is 1.7 greater than f?
True
Suppose 191*g - 194*g = 42. Let s = -19421/11 + 1753. Which is greater: s or g?
s
Let x = -0.12 + 0.92. Let m = x - -0.65. Let j = m - 0.55. Is -0.1 less than or equal to j?
True
Let p be -152 - ((-210)/(-15))/(-1). Is p at most -410/3?
True
Let i = -3608.5 + 3608. Is i equal to 1/119?
False
Let z = -6339 + 6334. Which is smaller: -227 or z?
-227
Let y = -62 + 231. Let w = y + -181. Which is bigger: w or -0.1?
-0.1
Let o = 8145 - 7542. Which is greater: 0 or o?
o
Let b(y) = 7*y - 32. Let u be b(9). Let c be (-2 - 0) + (-1581)/u. Which is smaller: c or -2?
c
Let m = 25330 + -10358. Are m and 14973 nonequal?
True
Let o be 3018/22 - (-1 - (-13)/11). Is 141 not equal to o?
True
Let r(n) = 6*n**2 - n**2 - 7*n**2 + 15*n - 5 - 21 - n**3. Let m be r(4). Which is bigger: m or -1?
-1
Let o be (-1*(-3)/9)/((-14)/(-378)). Suppose -5*c = o*c - 532. Which is greater: 36 or c?
c
Let c = -307.9 - -316.2. Is c equal to -6/13?
False
Let n(h) = h**3 - 21*h**2 + 84*h - 63. Let w be n(16). Is 21/67 smaller than w?
True
Suppose -344*o + 688993 = 82994 - 527825. Is o greater than 1?
True
Suppose g = 2*g + 9. Suppose 0*m - 4*m + 10 = i, i + 5*m = 14. Let s be (-2)/i + (-6 - (-30)/(-9)). Is s > g?
False
Let j = 2/105435 - 529027/97632810. Is j equal to 0?
False
Let c = 2.6309 - 9.9609. Is 0 greater than c?
True
Let t be 36/(-32) + 16308/2304 + -6. Let s be 4/14 + 4/(-14). Is t at most as big as s?
True
Suppose 29 = -g + 3*a - 4, 2 = -2*a. Suppose -18*i + 17397 - 18009 = 0. Are i and g equal?
False
Let v = -19293 + 19046. Which is greater: -281 or v?
v
Let u = -4331197605517961959/645297 + 6711944431040. Let o = 6/11321 - u. Let k = o - 5/3. Which is bigger: -1 or k?
k
Let x be (128/336*(-12)/8)/(40/56). Let s be (-1)/(-2)*0/(-5). Is s >= x?
True
Suppose 32 - 102 = 5*m. Let t = 35 - 38. Is m smaller than t?
True
Suppose -6*j - 41 = -137. Suppose -j + 41 = 5*o. Is o at most 78/17?
False
Let j be ((-184)/1541)/((-20)/235). Is 0 smaller than j?
True
Let n = 13/84 - 2437/84. Let b(h) = -2*h**2 - 5*h - 5. Let l be b(-5). Is n at least l?
True
Let c be (384 + ((-4)/(-2))/(-8))*8. Which is smaller: c or 3069?
3069
Suppose 25*v + 168782 = -194185 + 104967. Is -10320 < v?
False
Let y be (-19)/114 + 197/(-6). Let k be (-7 + y/(-6))/(2/100). Let z = k + 74. Is 0 at most z?
False
Let o be (-7524)/(-1463)*(1 - -6). Does o = 36?
True
Let z(o) = -26*o + 55. Let i be z(2). Let h(d) = -d**3 + 2*d**2 + 4*d - 8. Let t be h(i). Is -58/15 at most as big as t?
False
Suppose -115*n + 133*n = -357*n + 3249000. Are n and -0.1 nonequal?
True
Let x be 12/2*1*(-105)/63. Which is bigger: 1/13 or x?
1/13
Let s = 1.63 + 7.16. Let p = 1.21 + s. Which is smaller: 12 or p?
p
Suppose -m = -4*d - 197 - 504, -5*m + d = -3410. Is 681 at least m?
True
Let s = 0.2049 - -1.7951. Is 18 at least s?
True
Let w = -12035 - -12059.7. Which is bigger: w or 22?
w
Let j = -214 + 1495/7. Let x = 8.14 + 0.46. Let v = -1.4 - x. Which is bigger: j or v?
j
Let t(k) = 2*k**2 - 11*k - 51. Let v be t(17). Suppose 49*p + v = 29*p. Which is greater: -14 or p?
-14
Let w = 50 - 101. Let a be 60/(-1955) - ((-147)/w + -3). Which is smaller: a or -1?
-1
Suppose -35 = -5*g + 3*k, -5*g + g - 5*k = 9. Suppose 3*s = -g*n - 307, 14*n + 4*s = 11*n - 239. Which is smaller: n or -71?
n
Let b(g) = 10*g - 43. Let x be b(4). Let w = -3701/23 - -161. Which is smaller: w or x?
x
Let w(h) = h**3 - 14*h**2 + 6*h - 8. Let m be w(14). Let l be (-1)/(-3) + 1 - m/228. Which is smaller: 1/774 or l?
1/774
Let b(t) = -8*t - 145. Let n be b(-19). Let a be ((-384)/(-56))/(-12) + (-87)/n. Is a at least as big as -15?
True
Let t = -484 + 601. Suppose 0 = -d - 4*a - 25, 4*d + t = d + 2*a. Is d < -39?
False
Let m = -4044 - -4044.2. Which is greater: m or 51/11?
51/11
Suppose -5*y = 4*c + 20, y + 12*c = 4*y - 60. Let l be (-15)/((-3)/6 + -1). Let w = l - 7. Which is smaller: y or w?
y
Let g = 1303327014 + -995741644075/764. Let q = 1019/4 - g. Which is smaller: q or -1?
-1
Let r be (-2 - -12) + -12 + 1. Let x = -293/210 + 22/15. Which is smaller: x or r?
r
Let q = -31.936 + -0.064. Let x = -428977 + 2144884/5. Is q != x?
True
Let x(t) = -3*t**3 - 10*t**2 + 17*t + 17. Let z be x(4). Which is greater: z or -1/14?
-1/14
Let f be ((-236)/45 + 344/430)*(-15)/1630. Is 1 greater than f?
True
Suppose 1848 - 1869 = -3*d. Suppose -u - l = 437, -9*u + 5*l = -d*u + 860. Is u <= -435?
True
Let a = -6757/1004 - 5/251. Let x = 34 + -46. Let h = x - -5. Is a >= h?
True
Suppose -5*d - 69 = 46. Let v = d - -40. Let g = -16994 + 17012. Is g less than or equal to v?
False
Let l = 17.47 - 65.03. Let j = -48 - l. Let u = -0.44 - j. Which is bigger: -0.1 or u?
u
Let d = -15911 + 15994. Let b = 1 - 2. Which is smaller: d or b?
b
Let z be 3/(-10 + 4 + -89). Let g be (-3)/30*-2 - (-54)/(-45). Is z less than or equal to g?
False
Let n = 343 - 341. Suppose 45 = -n*q + 47. Which is smaller: q or 9/13?
9/13
Let f = 2/233 - 303/8155. Let w = 689 + -688. Which is bigger: f or w?
w
Suppose 64*z + 3*g + 54 = 61*z, 0 = -5*z + 2*g - 55. Is z smaller than -110/9?
True
Let l = 390 + -385. Suppose -5*f + 8 + 12 = 0, l*f = 5*k + 5. Is 11 greater than or equal to k?
True
Let w = -47329/13 + 3641. Which is smaller: w or -0.012?
-0.012
Let q = 26 - 19. Let c = q + -2. Let h be -2 + ((-12)/(-15) - 14/c). Are h and -8/3 non-equal?
True
Suppose 0 = 3132*k - 3104*k - 6132. Is k >= 0.6?
True
Let m = 88/315 - 2/35. Let q(b) = 5*b**2 + 8*b + 3. Let h be q(5). Let i be (-64)/h*(-6)/4. Which is smaller: m or i?
m
Suppose -232 = 4*x + 4*r, 5*x + 298 = -4*r + r. Suppose 222 = 13*k - 597. Let v = k + x. Which is smaller: -2/11 or v?
-2/11
Let q = -836 + 1124. Is 1155/4 greater than q?
True
Suppose 0 = 4*a - 4*b - 352, b - 132 + 44 = -a.