 = -4*x. Let p = x - 595. Is -7/11 <= p?
False
Let h(m) be the third derivative of -73*m**5/60 - m**4/8 + m**3/3 + 2244*m**2. Let c be (2/(-3) - -1)*3. Let s be h(c). Is -73 at most s?
False
Let v = 342 + -224. Suppose 0 = -v*a + 120*a - 2. Which is smaller: 4/187 or a?
4/187
Suppose -17*l + 93*l = -6612. Is l greater than -619/7?
True
Let b = -998113818/7 - -701675451000/4921. Let w = -292 + b. Is 0 < w?
True
Suppose -42*m = -39*m + 27. Let l be (72/(-15))/(m/30). Let k be (-4)/l + (1 - (-6)/(-8)). Which is bigger: k or 2/35?
2/35
Let y(z) = z**2 + 11*z + 11. Let m be y(-11). Let j = m - 6. Let c(v) = -v**3 + 64*v**2 - 126*v + 126. Let b be c(62). Which is smaller: j or b?
b
Let b = 1/67816 + -352846673/1695400. Let r = 208 + b. Is 1 smaller than r?
False
Let d = -68 - -137. Let l be 4/(3*28/1407). Which is smaller: d or l?
l
Let k = -4669 + 4720. Which is smaller: 67 or k?
k
Let v(a) = -a**3 - 11*a**2 - a - 12. Let s be 1*(4*-4 + 25 + -20). Let l be v(s). Are l and -2/51 unequal?
True
Let w be (-3)/(9/(-6)) + -2. Suppose w = -a - 0*a + 2. Suppose 8 = 2*k - 3*b, -2*k - a*k + 5*b + 12 = 0. Which is bigger: k or -2/19?
-2/19
Let g = 16 - 12. Suppose 5*x + b = -13, g*b + 2 + 6 = 2*x. Let h be 2/x*2/22*2. Is h at most as big as 0.3?
True
Suppose -5*k - 4*c = -310, -475*c = -3*k - 472*c + 213. Which is bigger: 199/3 or k?
199/3
Let z be (-38)/9*(1508/48 - (-2)/(-3)). Is z equal to -131?
False
Let a(z) = -2*z**3 + 6*z**2 + 7*z + 8. Let w(u) = u**3 - 1. Let q(m) = -a(m) - 4*w(m). Let y be q(-4). Are 56 and y nonequal?
False
Let f = -135757/1534 + 177/2. Which is smaller: f or 0?
0
Suppose -19*t - 20*t = -66*t + 27. Is -2/8421 at most as big as t?
True
Suppose 0 = 8*f - 276 - 214 + 122. Which is bigger: -64 or f?
f
Let y(u) = -13 - 20*u**2 - 20*u + 2*u**3 + 0*u - 11 - 3*u**3. Let s be y(-19). Let g be (2 - 0)/(s - -7). Which is greater: -1/16 or g?
g
Suppose 0 = 28*x + 31*x + 2773. Are x and -46 non-equal?
True
Let a(r) = 102*r - 611. Let u be a(6). Which is smaller: u or 1/1073?
1/1073
Let m = -0.036 + 27.036. Let r = -3.857 - -30.947. Let t = r - m. Is t bigger than 1?
False
Let s = 2418 - 2281. Which is greater: s or 138?
138
Let y = 9966 - 9968. Which is smaller: 0.066 or y?
y
Let z be 7358*(-44)/(-4004)*2/36. Is 3 greater than z?
False
Let i be (-297)/(-3)*6/2. Suppose 4*a + i = 7*a. Suppose j = 4*j + a. Is -32 > j?
True
Suppose -2*k - 88*k - 1859 = 53*k. Let p = 283/5 - 4449/65. Which is smaller: k or p?
k
Suppose 0 = -4*c + 4*p - 12, -3*c - 4*p + 31 = p. Let g = 268.88 + -263. Let q = 5.88 - g. Is c bigger than q?
True
Suppose 2*o = -o. Let n(x) = 4*x**2 - x - 1. Let p be n(-3). Suppose -2*w = 2*d + 84, w + p = -3*d - 2*d. Is o != w?
True
Let p be (-2)/1 - 936/(-164). Which is smaller: p or 3?
3
Let d be (247 - 1)/((-90)/9). Let v be (702/(-72))/(6/16). Is d smaller than v?
False
Let h = -66 - -70. Let n = h + 2. Suppose -9*c - 9 = -6*c + 3*f, -2*c - n = -5*f. Which is smaller: c or -6?
-6
Let u be 10 + ((-450)/20 - -7) - 2/(-4). Which is bigger: -179/38 or u?
-179/38
Let r = -6993.3 - -6992. Is r greater than 188?
False
Let q = 145 - 110. Let h(u) be the third derivative of u**6/120 - 2*u**5/15 - u**4/8 - 3*u**3 + 8*u**2. Let d be h(9). Is q <= d?
True
Suppose -174*g + 177*g - 11*z + 7622 = 0, -5*z = -5*g - 12770. Is g < -7681/3?
False
Let m = 224 - 228. Let d be (-7 - -5) + (14/(-5) - m). Is 2/53 greater than d?
True
Let j = 48/35 - 666/455. Let m be -2 + (-12)/(-8)*(1 - -1). Let t be 3*8/(-72)*(-3)/m. Which is smaller: j or t?
j
Let l = -27 + 40. Let w = -0.107647 + -0.082353. Which is bigger: l or w?
l
Suppose -16 = 4*p, 2*b + 2 = 2*p - 7*p. Let i be 13/1 - (-7)/(7/(-3)). Which is smaller: i or b?
b
Suppose -4*m - 8 = -5*h, -h + 5*m + 0*m = 11. Suppose 5*b + 2*o - 1976 = 0, 2*b + 776 = 4*b - h*o. Is b at least as big as 394?
True
Let i be 4 + (13 - 216/12 - (-38)/(-4)). Which is bigger: i or -60?
i
Let v be (-1)/(113*730/8240 + -10). Is -91 < v?
False
Let j = 1540991/16 - 96357. Is -45 >= j?
True
Let o be (-3 + 3 - 0) + 1. Let y(d) = d**2 + 14*d - 3. Let z be y(-19). Let v be (-3)/z*1*-8. Is v at most o?
True
Let a = 3.155 - 2.155. Which is greater: -79/39 or a?
a
Let s = -19 - -22. Suppose g + 8 = -3*h, 17 = -s*h - h + 5*g. Which is smaller: h or -1?
h
Let k = 70 - 120. Let r be (-1 - k/6)/(5/(-15)). Is -18 >= r?
True
Let q be (18/(-27))/(70/576). Let m = 24/35 + q. Let o = -47/10 - m. Which is greater: 1 or o?
1
Suppose -3*t + 2*t = -7. Let h = 7800/11 - 7728/11. Which is smaller: h or t?
h
Suppose 0 = -3*o - 2*i + 8, -1 = -4*i - 9. Suppose 152 = 5*k - k. Let c = -31 + k. Are o and c non-equal?
True
Suppose -47 = g - 49. Let c be 3*g/(-9)*(-4 - -1). Let n be ((-18)/(-22))/((-2)/(-4)). Is n less than or equal to c?
True
Let l = 40 - 43.02. Let u = -1.98 + l. Is u at most -1.4?
True
Let z(t) = t**2 + 5*t - 2. Let c be z(-6). Suppose -4*o = -4*i, -2 - 3 = o + c*i. Let y = 42631/235 + -8592/47. Is o >= y?
True
Let s(f) = -f**3 - 14*f**2 - 27*f - 35. Let w be s(-12). Which is bigger: w or 16164?
16164
Let b = -523 - -526. Suppose -2*h + 343 = -3*v, -b*h + 237 = v - 3*v. Is v <= -108?
True
Let a = -103.6 + -6.4. Let m = a - -115. Let n = 1/4 - -1/4. Is n at most as big as m?
True
Suppose -3*i = -2*k + 329, 103 = k - 4*i - 69. Suppose -72 + k = 8*h. Is -9 < h?
True
Let k be (327/2 + -4)/((-217)/(-42) + -5). Is 957 bigger than k?
False
Let q be 11/(231/14) - ((-229)/3 - -7). Suppose -80 = -3*i + 136. Which is greater: i or q?
i
Let x = 12 - 14.7. Let v = 0.9 - x. Let g = 3.6 - v. Is -16 <= g?
True
Let o(c) = 107. Let u(p) = 2*p + 1. Let s(i) = -o(i) - u(i). Let k be s(-30). Which is bigger: k or -46?
-46
Let x = -114376 - -95275238/833. Let g = -4/49 - x. Let h = -1 - -1. Are g and h unequal?
True
Let t be ((-173950)/30)/7 + -11. Is t > -840?
True
Suppose 0 = 2*d - 2*v + 24, 4*d = 15*v - 8*v - 54. Is d less than -239?
False
Let d be (1/3)/((-1)/(-9)) + 49. Let s = d - 32. Suppose 11*g - 252 = s*g. Which is smaller: g or 0?
g
Let d = -62/11 + 354/55. Let m be 0 - (-3)/(-60)*-11. Let l = m - d. Which is smaller: l or -1?
-1
Let x = -479 + 484. Suppose -2*t = -3*n - 41, x*n - 19 = -t + 21. Is t at least 25?
True
Let b(l) = l**2 + 35*l - 111. Let f be b(-26). Let j = f + 410. Which is smaller: j or 0?
0
Let n = -45 - -41. Suppose 2*d - 7 + 67 = 0. Let t be 8/(-2) - 15/d. Do t and n have different values?
True
Let q = 708.302 + -708. Let s = -0.077 + 0.177. Is s smaller than q?
True
Let k = -8 - 11. Let m = 28882 + -28884. Which is smaller: m or k?
k
Suppose 4*f + 139*w + 11 = 136*w, -f - 4 = w. Is f > 1905?
False
Let x = -86 - -87.19. Let c = 1.59 - x. Which is bigger: c or -6/13?
c
Let d = -4947 + 6221. Which is greater: 1256 or d?
d
Let o be ((-70)/(-42))/((-57)/54 - -1). Let m = -161 - o. Is m bigger than -131?
False
Let m(y) = 8*y**2 + 70*y + 13. Let r(i) = 3*i**3 + 4*i**2 + 2*i + 3. Let x be r(-2). Let u be m(x). Which is greater: u or 23?
u
Let s = -1.9901263 - 0.0098737. Let y = 3.925 + -4. Is y bigger than s?
True
Let l = -298.04 + 300. Let v = l - 0.96. Which is greater: 0.3 or v?
v
Let h = 269 + -561. Let b = 292.02 + h. Which is smaller: 11 or b?
b
Let m(g) = -g**3 - 5*g**2 + 4*g - 6. Let w be m(-5). Let n be -32 + 23 + 187/(-11). Is n > w?
False
Let a = 3407 + -3386. Let x be (3/2)/((-21)/4). Which is greater: a or x?
a
Let b(w) = w + 9. Let x be b(-6). Suppose 0 = 3*v - 5*h - 15 - 82, -x*v = h - 67. Suppose -14*m = -6*m + v. Is -3 at least as big as m?
True
Let p = -5 - -271. Let x = p + -260. Let v = 13 + -9. Is x bigger than v?
True
Suppose -5*t + 8 = 5*c - 17, 0 = -3*c + 12. Which is smaller: t or 27/64?
27/64
Let p be (-123)/(-164) - (-7)/(-4). Which is greater: -32/59 or p?
-32/59
Let s be (7/(77/(-6)) - (-11898)/33) + 2. Which is greater: s or 367?
367
Let r = 5321 - 10181. Which is bigger: r or 0?
0
Let m be (6 + 2)/((-5)/90). Let v = m - -723/5. Let i = -0.063 + 0.263. Which is greater: i or v?
v
Let g(c) = -c**2 + 15*c + 38. Let m be g(17). Suppose 4*r - 4 = m. Suppose 6*b + 12 = 2*b. Does r = b?
False
Let r be (20/((-760)/19247))/((-14)/(-4) + 0). Which is smaller: r or -144?
r
Let l be 6/5 + (-19057)/1785. Is -9 less than l?
False
Suppose -m + b + 305 = 0, 2*m + 0*b = -2*b + 622. Let y be 2/(-3) - m/(-21). Suppose -2*p +