ch is smaller: i or 308?
i
Let l = -422.639 - -399.38. Let i = 23.1 + l. Let b = i - 0.041. Is b less than or equal to -1.2?
False
Let t = 9016753/32 + -281746. Let d = -55/2 + t. Is -1 greater than d?
False
Let n = -1668 - -1734. Is n at most 66?
True
Let a = -2.5 + 15.5. Let t = -7 + a. Suppose 5510 - 5515 = 5*n. Is n smaller than t?
True
Let d be 21/(-20)*(-12)/(-3). Let a(g) = 214*g**2 - 26*g - 26. Let x be a(-1). Let m = x - 219. Is d at most m?
False
Let v = -3.08 + 6.71. Let w = 3.37 + v. Which is greater: -1/18 or w?
w
Suppose -2*q - 303 = 2*p - 49, 5*q + 3*p = -631. Let c = -125 - q. Suppose c = 6*y - 6. Do y and 25 have different values?
True
Let f = -220.8 - -220.7. Are -1210 and f unequal?
True
Let z = 0.30889 + -7.62299. Let m = 0.0259 - z. Let v = m - 0.34. Is v at least 1?
True
Let d = -1075 + 1523. Let f = d + -447. Which is smaller: -307 or f?
-307
Let y = 13500.401 + -13508. Let s = -7.5 - y. Does -2/5 = s?
False
Let w = -1.84129 - 0.03871. Which is smaller: -0.33 or w?
w
Let l = -7036 - -5953. Do -1082 and l have the same value?
False
Let r be ((-324)/(-4860))/(1/912). Suppose l - 232 = -3*l - 4*y, -3*l + 3*y = -186. Is r smaller than l?
False
Let n be 18/(-42) - 3956/14. Let m be -2*(-6)/(-4) - n. Let v = 4198/15 - m. Is v > -1?
True
Let a(l) = 214*l + 1069. Let b be a(-5). Which is smaller: 81 or b?
b
Let z be 0/2 - (-7 + 2). Suppose -4*d - 5*i = -69, 0*i = d - z*i - 36. Let c(h) = -2*h**2 + 251*h - 1967. Let w be c(117). Are w and d equal?
False
Let h = 2751 - 2210. Do 539 and h have the same value?
False
Suppose -630 = -4*x - 3*h, 0 = 5*x + 56*h - 54*h - 777. Is x bigger than 156?
False
Let j(d) be the third derivative of d**4/8 - 11*d**3/3 + 3*d**2. Let c(u) = u + 1. Let p be c(8). Let i be j(p). Which is smaller: 7 or i?
i
Suppose -657*f + 660*f + 723 = 0. Which is greater: f or -238?
-238
Let w be (-4 - -4)/(1*-2). Suppose -3*g + 31 + 14 = w. Let z be 129/g + -8 - (-2)/5. Is z smaller than 2/69?
False
Let q be (10 - 5684/546)*879/(-4). Which is smaller: q or 90?
90
Let j be 0 + 4 + 5 - (-3 - 1). Suppose -j*l + 18*l = 480. Suppose 5*b - l = 4*g + b, -g - b - 16 = 0. Which is greater: -14 or g?
-14
Let v be 49/35 + (-2)/5. Let o be (10/(-20))/(v/36). Let n = 44 + -63. Is n > o?
False
Let u be 7/((-196)/(-216)) + -3. Let g be (-85)/18 - (-6)/27. Let w = u + g. Which is smaller: -1 or w?
-1
Let w = 30558 - 30932. Suppose -368 - 5 = h. Which is smaller: h or w?
w
Let w = -19.25 + 306.05. Let j = -56.2 - w. Which is smaller: j or -0.1?
j
Let u be (-76 - -64)*(1 - (2 - (-355)/(-2))). Is -2118 bigger than u?
False
Suppose 2*q = -5*z + 118, 3*q = -z - 0*q + 21. Let m = -1283 + 1291. Suppose m*k - z = -384. Is -44 smaller than k?
False
Let y = 17008 + -17007.9948. Is -1 at least as big as y?
False
Suppose -k - l = 180, 540 = -4*k + k - 2*l. Let m = 149 + k. Suppose -58 = 2*z + 6. Which is smaller: m or z?
z
Let a be 1*-13 + (-2829)/(-243). Is a at least -1?
False
Suppose 2*l + 4*z = -l - 26, -5*z + 2 = -2*l. Let y be (4 + 0 + -1)/(24/5072). Let t = y - 640. Is t != l?
False
Let q(o) = -o**3 - 8*o**2 - 12*o - 3. Let y be q(-9). Let l = y + -185. Is l < 0?
False
Let t = -1861 + 1670. Which is greater: t or -2484/13?
t
Let m be ((-12)/9 + 4)/(2/(-12)). Let w be m/40 - (-16)/(-10). Let q(j) = 3*j - 3. Let h be q(w). Is h greater than or equal to -14?
True
Let x = 160 - 316. Let o = -157 - x. Which is smaller: o or 1/271?
o
Let w be 10 + 15/(-3) - -433. Suppose -7*p - 431 = -w. Is 4/63 smaller than p?
True
Suppose -47*d - 147 = -46*d. Let f = d + 169. Is f > 20?
True
Let a = -215 + 227. Suppose 2*z - 2*k = -a, -4*z + 16*k - 11*k = 27. Which is greater: z or 0.03?
0.03
Let h = 13 - -14. Suppose -36 = -i + h. Suppose 5 = 2*s + i. Are s and -29 equal?
True
Let m = 12.601 - -3.399. Which is greater: 2/145 or m?
m
Suppose 0 = -58*c + 10*c + 336. Let y be 2/10 + 18/10. Suppose -c = -5*f - y*f. Which is smaller: f or 5?
f
Let p(f) = 64*f + 304. Let b be p(-11). Let m = 401 + b. Let g = 14 - 53/4. Which is bigger: g or m?
m
Let m = 14903/663 + -383/17. Which is bigger: -5 or m?
m
Let x = -17916/164731 + 26/233. Let b = -30391/3535 - x. Let t be 33/(-22) + 30/(-4). Is t less than b?
True
Suppose 14*n - 2 = 13*n + 2*f, -3*f = 2*n + 3. Which is smaller: -4/2797 or n?
-4/2797
Let m = 5/150324 - 26670023/1202592. Let f = m - -27/32. Let l = f + 62/3. Are 0.4 and l unequal?
True
Suppose 0 = 4*i - b + 117, 1 = 2*i + 3*b + 70. Let u be (-568)/10 - (-11)/(-55). Let l = -86 - u. Is i at most l?
True
Let r = 9/617 - 1905/384391. Is r at most as big as 1?
True
Let y(i) = 6*i**2 - 240*i + 65. Let n be y(39). Are -155 and n equal?
False
Suppose 0 = 449*m - 439*m - 450. Suppose -52*r = -m*r. Which is smaller: -6/137 or r?
-6/137
Let b = -285 - -151. Let p = 133 + b. Which is smaller: p or 2?
p
Suppose -4*a - 328 = 4*s, 0 = -a - 2 - 1. Let m = -74 - s. Let h(n) = n**3 - 7*n**2 + 12*n + 1. Let t be h(m). Which is greater: t or 81/7?
81/7
Let n be (-9)/(-4)*-2*22/(-18). Which is bigger: 0.04 or n?
n
Let p be (24/57075)/((-146)/365). Is -1 greater than p?
False
Suppose -3*f - 22 = -7. Let j be 4/f + (-8)/(-60). Is -3 <= j?
True
Suppose -12*z = -8*z - 700. Let i = z + -179. Is 8 equal to i?
False
Let h = 9529 + -6050913/635. Suppose 10*w - 21 = 31*w. Which is greater: h or w?
h
Let d be (-22 + 3/3)/(-1). Let a = -12 + d. Let h = 72515/9401 - -1/1343. Is a greater than h?
True
Suppose -r = 3*u + 292, 2*r - r = 5*u + 484. Let w = u - -99. Suppose -5*d + 164 = w*y, 0 = y - 2. Is 32 greater than d?
False
Let m(d) = 2*d**3 + 10*d**2 + 4*d + 19. Let w(h) = -5*h**2 + 6*h - 6. Let s be w(1). Let x be m(s). Which is smaller: x or -1/1069?
x
Suppose -n + 52 = 3*t, 0 = 5*n - t - t - 311. Which is smaller: 39 or n?
39
Let k(i) = -i**2 - 4*i - 1. Let u be k(-4). Suppose 664 = n + 3*a, -2*n + a = -538 - 776. Let d be n/931 + (-2)/7. Is u <= d?
True
Let l be ((-3)/48)/((-109)/1744). Do -29/104 and l have the same value?
False
Let w be (5 + 65)/(-7) + 4. Let y be (-268)/(-4) - (-1 + w). Is 74 bigger than y?
False
Let v be (1*(-4)/13272)/(126/(-72)). Is 1 less than or equal to v?
False
Let w(s) = -s**2 + 1312*s - 9134. Let v be w(7). Which is bigger: 6/3497 or v?
v
Let r be (-25)/35 - (2 - 60/35). Let u be (47/45 + r)/((-40)/(-30)). Which is bigger: u or -1?
u
Let x = -20704 + 20757. Is 356 < x?
False
Let o = -10808281/330456 + -16/13769. Are -32 and o equal?
False
Let o = -218.91309 + 0.01309. Let w = 219 + o. Let u = 0.84 - -0.26. Is u at most w?
False
Suppose 0 = 5*x + c - 1, 367*c = -3*x + 372*c - 5. Do -5/103 and x have different values?
True
Let t be (0 + -6)/(22/33). Let j = 1.4 - -4.6. Let p = j - 5. Which is smaller: p or t?
t
Let s be 2/3*129/(-2). Let c be 86/2*(1 + 1). Suppose 0*g + 2*g + c = 0. Is g <= s?
True
Let x = -54/421 - -21960/230287. Which is smaller: x or 0?
x
Let h = 52 + -45.8. Let y = h + -6.19. Let l = -1.01 + y. Which is bigger: 0.2 or l?
0.2
Let t = 5019.04 - 5019. Suppose 4*k + k + 415 = 0. Is t != k?
True
Let t be (-65)/(-39) + (-4)/6. Let m(p) = -p**3 + 3*p**2 + 36*p - 125. Let j be m(5). Which is bigger: t or j?
j
Let y(d) = -39*d + 196. Let x be y(5). Let o(m) = -4*m**2 - 15*m - 9. Let q be o(-6). Let n = q + 255/4. Are n and x nonequal?
True
Let z = -54047458/13 - -4162807. Let m = -5307 + z. Let p(f) = 5*f + 58. Let k be p(-11). Is k >= m?
False
Let x be ((12/3)/(-4))/((-3)/(-7)). Let a(c) = -18*c**2 - 16*c - 1. Let r be a(-1). Which is bigger: x or r?
x
Let a be 378/(-637)*14/(-3). Let r = 202645956/143 - 1417098. Let y = a - r. Is -4 at least y?
False
Suppose -g + 12 = -5*x, 0*x = 2*x + 8. Let i(w) = -35*w - 237. Let r be i(g). Are -2/17 and r equal?
False
Let i = 17687 + -13997. Which is bigger: i or 0?
i
Let l be 6326/(-6) - (-7 + 23/3). Is 0 greater than l?
True
Let m = -135.87 + -960.13. Is m greater than 0.2?
False
Let n be -39 + 37 - ((-1)/(-5) + (-13015)/5925). Is n at least 0?
False
Suppose -34*u - 103 = 99 - 202. Is -24/677 less than u?
True
Let a = -0.29 - -153.29. Let q = a - 152.9. Is 93 equal to q?
False
Let l = -34.821 - 0.179. Let k = l - -34. Let c = 2.9 + -3. Which is greater: c or k?
c
Let y = 7 - -2. Let n = -453 + 449.5. Is y at most n?
False
Let u(i) = -i - 2. Let r be u(-1). Let h be (-14 - (0 - 3)) + (-4875)/(-4