e
Let o = 17/24 + -1/3. Let j = 239 - 121. Let x = j + -117.1. Which is bigger: o or x?
x
Let g be 150/9*(-42)/16. Let r = g + 44. Let d be 9 - ((-108)/(-14) + 1). Is d greater than r?
True
Let d be (17 + -16)*10/2. Let x(y) = y**2 + 4*y - 41. Let a be x(d). Let p be 6*((-1)/(-3))/1. Is p >= a?
False
Let a be 2/41411*-41410 - -2. Let m = -80492/48243815 - a. Do m and 0 have the same value?
False
Let u = 5 + -4. Let c(o) = 2*o**3 + o**2 - 3*o + 2. Let x be c(u). Suppose -79 + x = 7*z. Are -1 and z equal?
False
Let o = 243910/77 - 3169. Which is greater: o or -2?
o
Let p = 17644 - 35281/2. Is -28.4 != p?
True
Let p = -67 - -72. Suppose -8 = -b + p*b. Let c = 1/3711 - 111341/40821. Which is greater: b or c?
b
Let p be (-28 - -29) + (5 + -6)*1. Which is greater: 18/329 or p?
18/329
Let a be 4/11*(-5)/(20/(-6954)). Let v = a + -632. Are v and -13 nonequal?
True
Suppose -54*v + 5*v + 23*v - 4056 = 0. Which is bigger: v or -2326/15?
-2326/15
Let w = -91042802 - -385475220135/4234. Let s = w - -1/146. Do -1 and s have the same value?
False
Suppose 0 = 7*d + 1 - 43. Suppose -s - d*s = 3717. Let y = s - -18057/34. Are -1 and y equal?
False
Let y = 32.88257 - -0.31743. Is 13/5 smaller than y?
True
Let f = 209 + -124. Let o = 86.03 - f. Let x = 1.33 - o. Is x at least 1/3?
False
Let b = 1319 - 971. Suppose 1061 = 3*z + 4*u - 0*u, z - u = 342. Which is smaller: z or b?
z
Let y be (-2)/(4/12 + 0). Let q be (2 - 2)/(y/3). Is -8/23 < q?
True
Suppose -4*x = -24, -5*v - 11*x + 13*x - 3632 = 0. Which is bigger: v or 1?
1
Suppose -50*y + 60*y = 18770. Is 1878 greater than or equal to y?
True
Let k(u) be the second derivative of u**5/10 - u**4/12 - 2*u**3/3 + 3*u**2/2 + 1031*u. Let a be (-4)/6*-6 - 2. Let p be k(a). Do 6 and p have the same value?
False
Suppose 8*q = 6*q - 4. Let r be q/6*(-966)/(1 + 1). Let b be 9/(-6) - r/70. Is b at most -3?
True
Let b = -161.81 + -11.19. Is -5/8 at least as big as b?
True
Let p be (4218/4440 + (-1)/(-4))/(3/16070). Which is smaller: p or 6429?
p
Let a = 97 - 92. Suppose -a*l - 3*d - 46 = -3*l, 4*d = -2*l - 48. Is l at most as big as -22?
False
Let j be (-2)/8 + 15855/(-4900). Which is smaller: -3 or j?
j
Let s(j) = j**3 - 9*j**2 + 3*j - 27. Let n be s(9). Suppose 7*y - 5*y = n. Let k = -46841/45 - -1041. Is y greater than or equal to k?
False
Suppose -2*x + x - 202 = 0. Let l = -1388/7 - x. Suppose -2197 = -867*g + 2138. Is g smaller than l?
False
Suppose 4*j - 2*r - 2 = 0, 3*j = 2*r + 3 - 0. Let u = 209577 + -37933436/181. Which is bigger: u or j?
u
Let u = -700 + 764. Suppose -8*p + u - 640 = 0. Which is smaller: p or 2?
p
Let x = 2137/130 - 82/5. Let v = -368.5 + 363.5. Is x smaller than v?
False
Let u = -65 + 101. Let n = u - 38. Let m be (-87)/(-638)*4/n. Is m != 1?
True
Suppose -t + 113 = -558. Let s be (-180)/(-216)*(t/340 - 2). Which is greater: s or -1?
s
Let u be (-136)/(-16) + 21/14. Is -55 smaller than u?
True
Let c be (-33)/(-2) - (-12)/(-24). Let w be c/(-56) - (-37)/(-91). Let j = w + 101/52. Is 0 at least j?
False
Let d(b) = b**3 - 12*b**2 + 3*b - 20. Suppose -4*k = -14*k + 120. Let v be d(k). Is 13 less than v?
True
Let i(h) be the third derivative of h**5/60 - 13*h**4/24 + 13*h**3/2 - 21*h**2. Let j be i(9). Let o be -1 - (1 + j - (-1285)/(-255)). Are o and 0 equal?
False
Let y = 10141.5 - 10141.74. Let x = 5 - 2. Which is greater: x or y?
x
Suppose -32*w - 33*w + 6*w = 223551. Is w >= -22735/6?
True
Let v = -323 + 325. Let h = -99/332 - -4/83. Is h bigger than v?
False
Let o = 3.812 - 2.822. Is 1/8 greater than or equal to o?
False
Let c = -3/250 + 1203/250. Suppose 0 = 4*n - 2*s + 36, 29*n = 27*n - s - 10. Let t(r) = 4*r + 33. Let v be t(n). Which is smaller: v or c?
c
Let h = -1196451793/27997 + 42735. Is h less than or equal to -1?
False
Let l = -118 + 65. Let n = 55 + l. Do n and -112 have the same value?
False
Suppose a - 3*g = -g - 9, 9 = 2*a + 5*g. Let y be a/(-9)*-223 + 2/(-3). Let q = 59 + y. Which is smaller: q or -1?
q
Suppose 124*w = -116*w + 61*w - 8413. Let q = -17 + 88/5. Is w bigger than q?
False
Let g = -57 - -54. Let u = -11 - 2. Let p = -13.3 - u. Which is greater: g or p?
p
Let i = -35 - 49. Let h = -140 - i. Let t = -47 - h. Is 9 at most as big as t?
True
Let h = -167 + 172. Suppose 5*c + h*z - 11 = 8*z, z - 1 = -3*c. Is c != -14/43?
True
Suppose -d = -2*d - 14. Let p(x) = 3*x + 19. Let r be p(-5). Suppose -r*z - 1325 + 1261 = 0. Are d and z nonequal?
True
Let w = -2885 - -2350. Do w and -536 have different values?
True
Let s = 172 + -164. Suppose 3*n + 17 = -2*y, 2*y = -2*y + s. Which is smaller: n or -40/7?
n
Let y(o) = 373*o - 3836. Let z be y(10). Which is greater: -152 or z?
z
Suppose 5*a + 2*a + 20*a = -7641. Which is smaller: -284 or a?
-284
Suppose -5460 = -896*y + 831*y. Is y > 84?
False
Let v = 142 - 139. Suppose 4*n = q - 88, -v*q - 7*n + 8*n + 242 = 0. Is q less than or equal to 78?
False
Let w(p) = 11*p + 10. Let o be w(1). Let z be ((-24)/(-21))/(117/o). Which is bigger: -1 or z?
z
Let y be (-51)/(-136) + (-11060)/29408. Is 1 at most as big as y?
False
Let t(l) be the third derivative of l**6/120 + l**5/60 - l**3/6 + 17*l**2. Let a(h) = 3*h + 22. Let z be a(-7). Let m be t(z). Which is greater: m or 3?
3
Let x = 26502.2 + -26502. Is -785 at least x?
False
Let b be (1 - 23310) + 882/98 + -9. Are b and -23309 non-equal?
False
Let n be (-9)/(-12)*8/(-3). Let b(i) = -i**3 - 2*i**2 - 4. Let l be b(-3). Suppose -l = -10*c + 5. Which is smaller: c or n?
n
Let l be ((-14392)/49 - -5) + 5. Is -284 >= l?
False
Let b = -251.83 - -251.33. Which is smaller: b or 11.7?
b
Suppose -62*z = 48*z + 20130. Which is bigger: z or -12?
-12
Let u = -0.01 + 0.51. Let m = 150.2 - 186. Let l = m - -36. Is u less than or equal to l?
False
Let g = 424303/5234547 + -1/16307. Is g not equal to 1?
True
Let a = 19326 + -20413. Is a at most -1082?
True
Suppose 0 = -137*z + 150*z. Suppose -4*v - 4 = z, 3*v + 11 = 4*p - 16. Which is bigger: 10 or p?
10
Suppose -3*o = 5*m + 2*o - 55, -3*o + 6 = 0. Let n be 2/(-4) - (m/(-6) + 3). Let g(u) = u - 12. Let b be g(9). Is b smaller than n?
True
Let f = 13310 + -13249. Does f = 1425/23?
False
Let n = 0.065 + 0.245. Let x = -0.17 + n. Let m = -18.14 + x. Which is smaller: -2 or m?
m
Suppose -43 = 3*d + h, 2*d + 9*h + 28 = 8*h. Let u be 35/d + 98/6. Is u equal to -2?
False
Let q(f) = -f**3 - 4*f**2 + 11*f - 1. Let l be q(0). Let a be 1 + -208 - (0 - 3). Is l less than a?
False
Let o be ((-10)/25)/(-2) + (-188)/(-10). Suppose o*q = 15*q - 140. Is q < -34?
True
Let b = -1838 - -1523. Is -316 <= b?
True
Suppose -39*b = 33*b - 14*b + 116. Which is smaller: 1.72 or b?
b
Let y = 409 - 253. Let a = y + -79. Suppose a = -5*p + 82. Which is greater: p or 2/261?
p
Let l be (-1677)/(-18) + (-1)/3. Let x be (171 - 72) + (-7 - (2 - 3)). Let n = x - l. Which is greater: n or -2/11?
n
Suppose -m - 2*r - 12 = 0, m + 4*r = 4*m + 46. Let l(d) = -d**2 - 17*d - 3. Let z be l(m). Is 41 at least as big as z?
True
Let a = 0.04257 - -10.80143. Let l = 0.256 + a. Let r = l - 11. Which is smaller: r or 1/6?
r
Suppose -2*f + 131 = -51. Suppose -9 = -f*d + 94*d. Is -1 at least as big as d?
True
Let n = -0.017 + -23.983. Let t = -79337/8 + 9917. Does t = n?
False
Let d = -0.183 - -50.183. Let n = -47 + d. Which is smaller: 0.31 or n?
0.31
Let m = -183/2 + 6803/74. Let q = -1784 - -1784. Is q equal to m?
False
Suppose -6*q + 0 = -0. Suppose -4*s + 16 = 0, -3*g - 3*s - 416 = s. Let l = g - -3169/22. Do l and q have different values?
True
Suppose -116*c + 108 = -22*c + 202. Which is greater: -64/983 or c?
-64/983
Suppose 0 = 87*l - 88*l - 1. Let q be 180/(21 + -6)*8/378. Is q at least as big as l?
True
Let i = 3.17 + -2.62. Let v = -7.55 + i. Which is bigger: -4/21 or v?
-4/21
Suppose -x - x - 90 = 2*a, 0 = 2*x - 3*a + 85. Let h = x - -44. Do h and 8/13 have different values?
True
Let v be ((-24090)/(-11991) - 2)*11200/(-640). Is v <= 1?
True
Suppose 4*h + 25 = 3*n - 0*n, -5*n = 4*h + 33. Let i be (3 + (-7387)/(-20) + 0)/(-1). Let w = 1467/4 + i. Which is bigger: w or h?
w
Let i(v) = -v - 1. Let q be i(-1). Let s be (-794)/(-2382)*(-5)/12. Which is greater: s or q?
q
Let a be 7 + (-69)/9 + ((-19832)/(-12))/(-2). Is -831 less than or equal to a?
True
Let k(r) = 2*r**3 + 19*r**2 - r - 89. Let s be 