y. Let x = w - 22820/29. Let k = 0 - 1. Is x less than or equal to k?
False
Let h = -22.739 + 0.719. Let t = -0.98 + h. Which is greater: 0 or t?
0
Suppose 5*n - 2 = -x - 3, -3*x = 2*n - 23. Let h be (-7)/x - -1 - 1750/1260. Is h > 2/5?
False
Let a = 94 + -48. Let o = a - 50.4. Let s = o - -4.5. Which is smaller: -1/15 or s?
-1/15
Let d = 2.1 - 2.082. Let s be (-2)/(-10) - ((-9120)/675)/(-32). Is d greater than or equal to s?
True
Let d = 87365 - 11968953/137. Which is smaller: d or 1?
d
Let m be (9/(-108))/(9/348) + 3. Let p be 8 + (-2)/1 + 1. Suppose -3 - p = 5*b. Which is bigger: b or m?
m
Let f = 89.6 - 89.8. Which is bigger: f or -1163?
f
Let s = 1233 + 14824. Is s smaller than 16057?
False
Let n = -17572 + 16865. Is -3534/5 not equal to n?
True
Suppose 4*z = z - 9, 2*f - 3*z = 139. Let a(k) = -k**3 - 32*k**2 + 4*k + 131. Let n be a(-32). Do f and n have the same value?
False
Let w = -9/133 + -1173/6251. Is w > 8?
False
Let k be ((-18833)/(-6) - -1)/(9/(-6)). Let w = k - -2091. Suppose 0*v - t - 1 = -2*v, -t = 3. Is w at most v?
True
Let s = 1757/228 + 88/57. Which is greater: s or 4/13?
s
Let v(d) = -d**2 - 51*d - 230. Let q be v(-5). Which is greater: q or -6/287?
q
Let i = -14920 - -15048. Is i smaller than 2182/17?
True
Let k = 1/267079912 - 256196409197/964425562232. Let q = 3/628 + k. Which is greater: q or 1?
1
Let n(h) = -14*h**2 + 2*h**3 - 10*h**2 - 213*h + 213*h. Let v be n(12). Is v != 5/52?
True
Suppose -273*v + 276*v - 6 = 0. Let m be (-1587)/4554 + (v/12)/1. Is -4 bigger than m?
False
Suppose -17*q + 1300 = -39*q + 1432. Let g = -9.15 - -9. Which is greater: g or q?
q
Suppose 5*h = -2*b + 38 + 1, -4*h = -12. Suppose -3*a + x - 8 = 0, -x = b*a - 8*a + 13. Which is smaller: -17/5 or a?
-17/5
Let q = -6.9 - 0.1. Let p = 4.2 - 3.3. Is p greater than q?
True
Let p = -27 - -26. Let n be (-3 - -14)*p/1. Let k(g) = -2*g - 2. Let x be k(5). Do n and x have the same value?
False
Suppose 26*b = 4*k + 24*b + 18, -2*k - 30 = -4*b. Which is bigger: k or -4/627?
-4/627
Let o = -13646/5525 + 38/325. Suppose 0 = 4*g + 2*s, 5*s = g - 0*s + 22. Which is bigger: o or g?
g
Let c = 581 - 361. Let y = 222 - c. Which is smaller: -1 or y?
-1
Suppose 0 = 6*t + 23*t - 174. Let k(n) = -2*n**2 + 29. Let f be k(0). Which is smaller: t or f?
t
Let s = -4 - 1. Let d = -21 - s. Let c be 2/19*(-8)/d. Are c and 0 non-equal?
True
Let y = 244.1347 + -0.0347. Let a = y - 244. Let o = -1603/580 + 2/145. Is o at most a?
True
Let g = -4884 - -4865. Which is bigger: 137 or g?
137
Let c be (-49 + 53 - 6/4)/(20/8). Is -1 at most c?
True
Suppose 5*l = f - 313, -20*f + 22*f - 68 = l. Is -63 <= l?
True
Let v = 45203 + -315597/7. Which is greater: v or 2/7?
v
Let w(n) = -87*n + 6253. Let i be w(71). Is 80 >= i?
True
Let m(z) = 2*z**3 - 2*z**2 + z + 2. Let n be m(2). Let c be (-5)/2*(1188/(-55))/18. Suppose t - 3 = 2*t - c*v, -3*v = 2*t - n. Which is smaller: 5 or t?
t
Let o(p) = p**3 + 49*p**2 + 163*p + 80. Let k be o(-40). Is 7960 bigger than k?
False
Let c = -6.2 - -0.2. Let b be ((-1)/(-9))/(2458/(-33183)). Is b != c?
True
Let b be (33/(-344))/(672/156). Let s = 2/301 + b. Is -1 greater than or equal to s?
False
Let j = -3921 + 3997. Are 66 and j non-equal?
True
Let g = 0.47134 + -0.35134. Do g and -169 have the same value?
False
Let z be (12/8 - 1)*(1 + -1). Let q be ((-42573)/198)/(1/(-4)). Let g = q + -860. Are z and g non-equal?
True
Let b = 512 + -526. Let o be -15 - 16/(-7 - -3). Let m = o + -4. Is b less than m?
False
Let g be (-780)/(-234)*(-2 + 32/10). Suppose 4*o + 0 = -r + g, -r + 3*o = 3. Which is smaller: 308 or r?
r
Let l = 1358 + -1353.7. Let f(h) = -h**2 - 10*h + 9. Let x be f(-10). Which is greater: l or x?
x
Let z be 26 - 38 - 1138/(-96). Suppose 0 = -3*n + 2*k + 13, 3*n + 3*k + 2 = 2*k. Which is smaller: z or n?
z
Let f(r) = -r**3 - 12*r**2 - 30*r - 26. Let o be (-2)/(-3) - (-6)/54*-87. Let b be f(o). Which is smaller: b or -1/1077?
-1/1077
Let w be (-9)/5*(-34 - -54). Is -34 bigger than w?
True
Let o = -365/417 - -15923/5699. Which is smaller: o or 2?
o
Let f = -0.14 + 12.14. Which is bigger: f or -1/5?
f
Let j = -47 - -140/3. Let v be (-1504)/(-24)*-1 + (-4)/(-6). Let n = 75 + v. Which is greater: j or n?
n
Let u be 9/(-12) + 20349/27468. Which is greater: 1 or u?
1
Suppose -4*t = -7 - 9. Suppose 2 - 2 = -15*c. Suppose c = -t*i + 47 + 57. Which is bigger: i or 27?
27
Let a = 553 - 187. Suppose 5*u = -a + 361. Is u bigger than 1/123?
False
Let g be (7*4/672)/(8/(-528383)). Let r = 2752 + g. Which is smaller: r or -1?
-1
Let v = -1163462/1813 + 34/1813. Do v and -641 have the same value?
False
Suppose -5*c - 200 = -820. Suppose -8*a + c = -164. Let q = 22 - a. Which is smaller: -15 or q?
-15
Suppose 4191*h - 4138*h = 13568. Is 253 <= h?
True
Suppose 0 = -5*v - 20, -5*v - 5 = -9*i + 4*i. Let m be (19 - i - 3) + 4. Suppose -5*b + 2 + m = 0. Which is smaller: 7 or b?
b
Let h = 2.4 - 4.7. Let u = h - 0.7. Let c be 12/(-4)*10/(-25). Which is smaller: u or c?
u
Let a = -15029 - -10403. Is -4625 < a?
False
Suppose 118*a = 258*a + 859460. Are -6139 and a nonequal?
False
Suppose -3*j - l = -2*j - 5, -6*j + 3*l = 6. Let i be ((-81)/(-117))/(3/2). Which is smaller: i or j?
i
Let g = -100 - -105. Let b be 10/(3450/693) - (-3 + g). Which is smaller: 2/5 or b?
b
Suppose 63*j = 73*j - 5240. Let h = 559 - j. Is h < 103/3?
False
Let k = -0.12 + -5.88. Let b be 6/(-4 + -18 + 46). Which is smaller: b or k?
k
Suppose 37*a = 55*a - 252. Let d be 1/a - (-54076)/1848. Are 28 and d equal?
False
Let w be -1*15/(-18) + (-1)/(-6). Suppose -40*z - 225 = -1705. Which is bigger: w or z?
z
Let b(l) = -2*l**3 - 4*l**2 - 39*l - 78. Let z be b(-2). Is 16/421 at least z?
True
Suppose 500*q = 493849 + 1471840 + 1242311. Is 6415 greater than or equal to q?
False
Let d(l) = -205*l + 26808. Let i be d(131). Let b be 1/1*1*-49. Which is greater: i or b?
i
Suppose 36*l + 1578 + 4290 = 0. Let s = -159 - l. Is -8 <= s?
True
Suppose 0 = -15*g - 13 + 43. Suppose g*v + 2*z + 7 = -7, 2*v - 2*z - 6 = 0. Which is smaller: -6 or v?
-6
Let y(g) = 1006*g - 989. Let i be y(3). Is 2030 greater than or equal to i?
True
Let z(w) = 7*w**2 - 6*w - 9. Let f(k) = 11*k**2 - 9*k - 14. Let c(b) = 5*f(b) - 8*z(b). Let h be c(3). Let o be h*(-1 + 3/6). Which is greater: 0.12 or o?
0.12
Suppose 0 = 20*u - 29*u + 144. Let o be 12/(-30) - (u/(-18))/4. Which is smaller: 0 or o?
o
Suppose 5*l = -i + 31 + 1, 3*i - 6 = 0. Let u be (-10)/(-155)*l/(-4). Suppose 12 = 4*q + 426*z - 427*z, 3*q - 5*z = 43. Which is greater: u or q?
q
Let a be 10914/(-15) - ((-27)/(-3))/3. Let v = 727 + a. Is v at most 2?
True
Suppose -2*s = 45 - 53. Suppose 4*x - s*l - 44 = 20, 4*l = -4. Is 0.04 at least x?
False
Suppose 0 = g + 788 + 64. Let v = -46866/55 - g. Which is greater: v or 0?
0
Suppose 565*v - 40 = -40. Let t = 146345745 - 2168404902800/14817. Let m = -1/449 - t. Is m greater than or equal to v?
False
Let z = 2463/16 + -154. Let v = -83 + 67. Let d = -17 - v. Which is greater: d or z?
z
Let n = 0.22 - -35.78. Let a = n + -36.2. Which is bigger: 5 or a?
5
Suppose -11*z = 6*z + 68. Let m be z/(-8) - (-2 - (-705)/290). Which is smaller: m or 1?
m
Let n = 12 - 11.97. Let u be (-12)/(-14) - (5/(-4) - -2). Which is smaller: n or u?
n
Let x(l) = 20*l + 103. Let t be x(-5). Suppose -t*c + 6 = 2*k, 0 = -k + 9*c - 5*c - 8. Which is bigger: k or 7/53?
7/53
Let c(w) = -w**3 - 3*w**2 - w - 2. Let b be c(-3). Let y be b*47/14 + -3. Suppose 0 = -5*z - 123*z - 128. Is z bigger than y?
False
Let s be (-2095984)/616 + (-9)/(315/(-20)). Is -3401 != s?
True
Let o(y) = -5*y - 20. Let k be o(-5). Suppose 11 = k*w + 4*s, -s - 4 = 4*w - 15. Suppose -4*h + 68 = w*j, 4*j - h = -j + 75. Is 16 smaller than j?
False
Let n = 39722 - 39721. Let o be (4/6)/(6/8). Does o = n?
False
Let l be (-8238500)/343270 - (53 - 77). Which is bigger: 1 or l?
1
Let g(u) be the first derivative of -u**3/3 - 2*u**2 - 6*u - 33. Let y be g(-3). Let v be (y/4)/(-1) - (-11)/44. Which is greater: v or 9/7?
9/7
Let f(a) = -3*a**2 + 3*a + 27. Let c(j) = -j**2 + j + 1. Let t(x) = -2*c(x) + f(x). Let i be t(5). Let k(m) = m - 3. Let d be k(i). Which is bigger: d or 15/17?
d
Let w = 554 + -319. Let v = 209 - w. Are v and 0.1 unequal?
True
Let b be -1 - 3 - (0 - -2). Let u be -29 + -19 