.5. Let b = -67 - g. Let k = -7 - b. Is k < 1?
False
Let h = -5334 - -5292. Is h less than 3?
True
Let v = 85 - 130. Let w(o) = -35*o + 106. Let x be w(4). Let y = x - v. Which is greater: 2/3 or y?
y
Let j = -34 + 14. Let u = j - 17. Is -4 not equal to u?
True
Suppose 45 = -4*l - l. Let o be (-19)/(4085/(-9718)) + -45. Which is bigger: o or l?
o
Let y be (-279)/62*6*-3. Suppose y*o = 3*r + 85*o - 17, 0 = 4*r + o - 40. Let g = -16 - -29. Which is bigger: g or r?
g
Let l = -233.21 + 1742.21. Is l <= -1?
False
Let u be 1*-2*(-2)/(378/1521). Which is smaller: u or 15?
15
Let h(y) = y**2 - 2*y + 33. Let s be h(11). Let f = -133 + s. Which is bigger: f or -4/25?
-4/25
Let x = -1492.65 - -1493. Is -92 at most x?
True
Let j(x) = -17*x + 481. Let n be j(33). Is -81 equal to n?
False
Let n = 31461 - 31459. Let r(c) = 7*c. Let z be r(-1). Which is bigger: n or z?
n
Let d = 843.84 - 838. Let g = 4.84 - d. Suppose 2*z = -35 + 3. Are z and g equal?
False
Suppose 5*u - 72 = 7*u. Let j = -19 - u. Let f = -15 + j. Which is greater: f or -4?
f
Let g be 2/(-9) - 41660/(-135)*-3. Let d = g + 929. Is -1/36 at least as big as d?
False
Let c = 14733 - 9607. Suppose -47*l - 614 = -c. Is l bigger than 95?
True
Let y = 26 - 17. Let r(u) = 3*u + 34 - y + 7*u + 3*u**2 - 4*u**2. Let q be r(12). Is q at most 1/4?
False
Let q = 3911/182 + -148/7. Which is greater: -0.3 or q?
q
Let f = -219 - -2849/13. Let k = 0.56 - -26.44. Let v = k + -27.1. Is f smaller than v?
False
Let d = -8431 - -4721. Let c be 3/(-5) - (16 - (-61306)/d). Let t be (-4)/10 - (-4)/10. Which is smaller: t or c?
c
Let y(p) = -326*p**2 + 8*p + 4. Let x be y(1). Are x and -318 equal?
False
Let c be -3 + (-8 - -2) + -39. Is c at most as big as -38?
True
Suppose 8963 + 5191 = 27*i - 9579. Is 877 at least as big as i?
False
Let r be 4/(-68) + 5/((-170)/(-2501)). Which is smaller: 7 or r?
7
Suppose 3*n + 12 = -6*j + 4*j, n + 4 = 3*j. Let c(g) = g**2 - 2*g + 10340. Let w be c(0). Let i be (-6)/33 - (-1968)/w. Which is greater: i or j?
i
Suppose -31*c + 4*c - 270 = 0. Let a be c/(-4)*28/(-70). Which is smaller: a or -2/201?
a
Let x be (-4)/7 + ((-40)/28 - -5). Let r be (1/x)/(((-12)/4)/18). Let u be ((-1)/r)/(4/(-56)) - 1. Which is smaller: -43/5 or u?
-43/5
Suppose 0*y = 4*y - y. Let l be 1 - (0 + -2) - y. Suppose 3*a - l*w - 24 = -0*w, -5*w - 12 = 2*a. Is 2 less than a?
True
Let j(k) = 2*k**3 + 118*k**2 - 131*k + 135. Let o be j(-60). Which is smaller: o or 791?
791
Let n(j) = -771*j - 8. Let f be n(-3). Let i be f/4*(-132)/121. Let m = i + 628. Which is bigger: m or -2?
m
Suppose -2*u - 1099 = -217. Let s = -7499/17 - u. Which is greater: 1 or s?
1
Let h = 13.01 + -31.27. Which is smaller: h or -0.1?
h
Let j = 1.2442 - 1.1042. Which is smaller: -247 or j?
-247
Let h = -22467.544 + 4.544. Which is smaller: 1 or h?
h
Let z = -1327.4 + 1331.67. Which is smaller: z or 7/4?
7/4
Suppose 309*h - 3124 = -20631 - 4741. Which is smaller: h or -78?
-78
Let j = 9909 + -9905.8. Which is bigger: j or 0.057?
j
Suppose 3*o = o + 2. Let n be (-5 - (-245)/(-30))*-1. Let t = -1271/102 + n. Which is smaller: o or t?
t
Suppose 1 = -i - 5*j, -41*i = -43*i - 2*j - 2. Are i and -22/685 non-equal?
True
Let t = -223623019 - -30636589929/137. Suppose 0*o - 3450 = 2*o. Let k = t + o. Is 1 at most as big as k?
False
Let d(y) = 3*y**3 - 2*y**2 - 3. Let w be 2*-2 + 3 + 8 + -4. Let b be d(w). Suppose 5*v + 4*z + 0*z - 55 = 0, 3*z - b = -5*v. Which is bigger: v or 14?
v
Let q(r) = -r**3 + 35*r**2 + 2*r - 56. Let o be q(35). Let a = -20561 + 40143/2. Let l = 504 + a. Which is smaller: o or l?
o
Let g = 8792 + -8803. Is g <= -40?
False
Let c be (6/(-1))/(12/(-24)). Let l be (4/(-12))/(1998/c). Which is smaller: -1 or l?
-1
Let d be 3266/4 + (-7)/(-14). Suppose 2*m = -7*y + 2*y + d, m = -4*y + 656. Which is greater: 166 or y?
166
Let q(s) = -s**2 + 103*s + 317. Let o be q(-3). Which is smaller: o or -1102?
-1102
Let g = -1202413/371 - -3241. Let f be (-6)/51 - (29 + 8126/(-289)). Which is bigger: g or f?
g
Suppose 0 = 58*m - 121*m - 696276. Is -11052 equal to m?
True
Let a = 19/234 + 2597/19890. Is 0 < a?
True
Let f be (50/78)/(-5)*(112/(-7) + 19). Let t = 74654/3 + -19410301/780. Let o = f - t. Which is smaller: 1 or o?
o
Suppose 4*v - 20 = 0, -4*i - 1435 = -5*v - 26. Let u be 1 - 3/((-12)/(-1418)). Let g = u - i. Which is smaller: g or -9?
-9
Let z be ((-6)/9)/(-1 - 610704/(-610686)). Is -22618 greater than or equal to z?
True
Let q be 1*-541*14/(-539). Let k = q + -106/7. Let m = 717 - 719. Which is bigger: k or m?
k
Let l be (13 + -2)/((-45033)/(-45102) + -1). Let w = l - -7192. Is w less than 1?
False
Let s be (2/(-4))/((-9)/414). Suppose i - 30 = -s. Let o be (-520)/630 + (-2)/i. Is -1 at most o?
False
Suppose 0 = 5*g + 2*v + 28, 2*v - 13 = 5*g - 1. Let u be 116/(-90) - g/3. Suppose -3*x = -7*x. Are x and u equal?
False
Let z = 94179/43 + -2190. Is z at least 1?
False
Let o(p) = -p**2 + 21*p + 164. Let m be o(12). Which is smaller: 269 or m?
269
Let c(g) = -2*g**3 - g**2 + 3*g. Let y be c(1). Suppose -o + 1 = y, -3*k - 5*o - 65 + 316 = 0. Is -1/4 bigger than k?
False
Let h(y) = 241*y**2 + 225*y + 676. Let b be h(-3). Is 2170 at most as big as b?
True
Let c = -5943362/501 + 11863. Is -1 <= c?
True
Let h = 205 - 145. Let i(o) = 1696*o + 10238. Let s be i(-6). Which is bigger: h or s?
s
Suppose -2*q = 30*y - 26*y + 64, 2*y - 58 = 2*q. Let w be ((-3)/6)/((-2)/(-120)). Is w at most as big as q?
True
Let x = 14870/1139 + -226/17. Is 1 bigger than x?
True
Suppose -4 + 1 = -q - k, 3*k = q - 3. Suppose 4*l = -0*l + 16. Suppose q + 5 = l*f. Is 0 at most as big as f?
True
Let u be 5/((-110)/(-8)) + 38409/(-3894). Let s be (12/(-8))/(4/24). Are u and s nonequal?
True
Let n(f) = f**3 + 90*f**2 + 98*f + 747. Let m be n(-89). Which is smaller: -381/7 or m?
-381/7
Let t = -89 + 89.049. Let l = t - 0.042. Let i = l + -1.407. Which is smaller: 0 or i?
i
Let p = -2 - -1. Let l = 3723161/439 + -8481. Which is bigger: l or p?
l
Suppose -30*k = -37*k - 3612. Is k not equal to -516?
False
Suppose 32*n - 10*n - 3*n = 171. Which is greater: n or 252/31?
n
Let b(v) = -207*v + 1. Let r be b(-2). Suppose -15*f - r = 1100. Which is bigger: -103 or f?
f
Let o be ((-1)/2 - 0)*-10. Suppose -o*z - 3 - 2 = 0. Let p be ((-28)/(-168))/((-14)/258) + 25/(350/28). Is p greater than z?
False
Suppose 1210 = -8*w + 6*w + 4*s, 5*w + 3039 = 3*s. Which is smaller: w or -612?
-612
Let d be (1 - 406/230)/((-22)/(-165)). Let m = 6 + d. Do m and 0 have different values?
True
Let o = 863 - 1036. Let w = o - -178. Is 0.58 != w?
True
Let g = 60 + -59.931. Let p = -426.851 - -399.92. Let k = p - g. Which is greater: k or 0.2?
0.2
Let n be -8*(-22)/11*1/2. Suppose 0 = 3*o - 2*y - n, -o + 2*o = -5*y - 3. Let c be (7/(14/8) + o)*1. Which is smaller: -5 or c?
-5
Let f = 13 + 0. Suppose -4*z + 192 = 3*p, -18*p + f*p - 160 = -4*z. Which is bigger: 47 or z?
47
Suppose -43*k + 30 = -48*k. Let r be ((-4)/k)/(6/(-9)). Let g be 6/(-4 - r) - -2. Is 8 equal to g?
False
Suppose d + k = -8719, -36*k = 3*d - 35*k + 26147. Which is bigger: d or -8713?
-8713
Let a = -0.14728 - 6.85272. Which is greater: a or -469?
a
Let d = -264 + 265.6. Let f be (-42)/(-28)*(48/45)/4. Is d greater than or equal to f?
True
Suppose f = 5*c + 27 - 0, -4*f + 23 = -3*c. Let g = 15 + -16. Let n be g - (106/(-22) - -2). Which is smaller: n or f?
n
Suppose -2*j = -8, -j + 31 = -0*i + i. Suppose -14*x - 572 = -i*x. Which is bigger: x or 177/4?
177/4
Let c(t) = -21*t - 53. Let d be c(4). Let j = -104 - d. Which is greater: j or 32?
j
Let u be 2050/(-8) - (-323)/1292. Which is greater: u or -1783/7?
-1783/7
Suppose 45 = 3*x + 4*w + 13, -4*x = w - 47. Suppose -7*c = -x*c + 110. Let y be 0 + 24 - (-2)/(-2). Is y at least c?
True
Let i = -58 + 37. Let k = -15 - i. Let m be (-2)/k + (-200)/(-24) + -7. Which is greater: 4/37 or m?
m
Let c = 2851 - 1647. Let x = 56586/47 - c. Suppose -3*r = 2*y - 5 + 2, 2 = 2*r - 2*y. Which is bigger: r or x?
r
Let i(l) = -l**2 - 5*l - 5. Let s be i(-4). Let a be ((-15)/(-5)*s)/7. Let k be (3/(-2))/((-6)/4). Is k bigger than a?
True
Let u = 63 + -11. Let f(j) = 14*j**2 + 29*j + 7*j**2 + 9*j**2 - j**3 + u + j. Let p be f(31). Which is greater: p or 23?
23
Let h = 34/27 - 1183/918. Suppose -28 - 17 = -5*