. Let g be r(3). Suppose 3*k + s + 8 = 0, -k - 2*s = -0*k + g. Let i be -1 + (-2)/(-6) - (-64)/150. Which is smaller: k or i?
k
Suppose -4*t - j + 100174 = -3*j, -2*t - 3*j = -50075. Let d = 5384042/215 - t. Which is smaller: d or 0?
0
Let c = 12566 + -150799/12. Is c < 0.021?
True
Suppose 3*p = 4*x + 126, x = 3*p + 4*x - 147. Suppose p*q - 1375 = 71*q. Which is bigger: q or -58?
q
Let u = 281 + -141. Let a be 2/(-5)*(-233 - -3). Let i be 5/(-25) - a/u. Which is bigger: 0 or i?
0
Suppose -5*t + y + 13 = 0, -3*y + 3 = 3*t - 12. Suppose 5*z - 7 = t. Suppose s + 0 + 14 = -5*k, -z*s + k = -5. Is s greater than 6/7?
True
Let i be 118/(-4) - 1/2. Let o = -161226 + 161222. Which is smaller: o or i?
i
Let a(y) = y + 7. Let t(u) = 1. Let g(o) = -a(o) + 3*t(o). Let i be g(-6). Suppose 0*z - z = 2*q + 8, 2*q = i*z - 8. Are -8 and q non-equal?
True
Let w = 299 - 304. Let j(x) = -x**3 + 13*x**2 + 59*x - 8. Let b be j(w). Are b and 146 unequal?
True
Let z(i) = 9*i - 256. Let f be z(17). Let q = f + 104. Which is smaller: q or 1/282?
1/282
Suppose 0 = 7*q - 5*q - 0*q + 5*q. Which is greater: 29/93 or q?
29/93
Let d = -1.55 + 0.24. Let r = d - 2.47. Is 1/3 at least as big as r?
True
Let w be 2 + -16 - (-68)/17. Let s be ((-182)/w)/(-7) - (-12)/(-30). Which is greater: -37/20 or s?
-37/20
Let w(p) = 21*p + 316. Let z be w(-18). Is -62 at most as big as z?
True
Suppose -70*p + 6021 = -2099. Is p greater than 107?
True
Let d = 0.018 + 19.982. Let a = d + -23. Let n = a - -2. Is n <= -9/5?
False
Let j(i) = -656*i - 2824. Let h be j(-11). Which is greater: h or 4393?
4393
Suppose -11 = r - 15. Let q be (-45)/11 - (r + -7). Which is smaller: 12 or q?
q
Let v = -7.14 - -8.14. Which is smaller: -5478 or v?
-5478
Let k = -0.174 - 0.468. Let i = 0.358 - k. Are i and -5/36 equal?
False
Let y(q) = 5*q**2 + 27*q + 1. Let n be y(-5). Let x be 320/3278 + n/99. Which is bigger: x or 0?
x
Suppose 4*u = 2 - 42. Let o be u/14 + (-2)/7. Let j = -2407.9 + 2408. Which is smaller: o or j?
o
Let u be 60/315*90/8 - (-6)/(-42). Do u and -657 have the same value?
False
Let g(c) = -c**3 - 52*c**2 + 123*c + 288. Let r be g(-54). Which is greater: r or -523?
r
Suppose 2*o = -3*t + 4785, -2*t - 2893 + 10058 = 3*o. Let q be (1 - 1) + 15/o. Is q bigger than 1?
False
Let m = -199.83 - -199. Let o = m + 1.53. Let w = o + -0.9. Is w equal to -2.4?
False
Let o be 12/(-9)*9/(-1014). Suppose -2688*g + 2728*g = -40. Which is smaller: o or g?
g
Let m be 1*(11/((-11)/6) - (-435)/75). Is m <= -7.55?
False
Let o(q) = 284*q**2 - 88*q - 90. Let v be o(-1). Is 277 greater than v?
False
Let s be (1*2 + (-18)/10)/((-1073)/493). Which is smaller: -1 or s?
-1
Suppose -36*m + 24*m = -1800. Let s = m + -165. Let w = 21 + -36. Is w equal to s?
True
Let y(j) = 68*j**2 - 21*j - 198. Let u be y(-8). Which is smaller: 4321 or u?
4321
Let m be 40963/39 - 4 - 9. Is m <= 1036?
False
Suppose 26*m - 115 - 119 = 0. Suppose -2*d + 0*d + 1 = t, -m = -3*d - 3*t. Which is greater: -13/11 or d?
-13/11
Let r be (15694/868 - 18)*(-8)/1310. Is -1 smaller than r?
True
Suppose 0 = 4*q - 12, -2*y - q = -2*q - 1. Suppose 3*r = -y*l + l + 81, -3*r + 369 = 5*l. Let h be (4*3/l)/(8/(-612)). Is h smaller than -12?
True
Let x be 3/(18/12 - 6) - (-8)/30. Is x greater than or equal to -3/284?
False
Suppose 281*l = -313*l + 869616. Is 1466 >= l?
True
Let g = -160.729 - -2.089. Let w = 156 + g. Let u = -1.06 + w. Is u at most -2?
True
Suppose 92 = -8*g - 116. Let j be (-58)/3*(-39)/g. Which is bigger: j or -26?
-26
Let z be 4*-6*51170/(-344). Suppose 18*t = -16*t - z. Which is greater: t or -103?
-103
Suppose -331 = 3*r + 2*r - w, 0 = 5*r + 3*w + 327. Let c be (r/(-264))/(2342/32*-2). Which is bigger: c or -1?
c
Suppose -4*f + 2*f = 316. Let o = -223411 - -223254. Which is bigger: o or f?
o
Let t = -150.6274 - 0.3726. Which is bigger: t or 0.11?
0.11
Let v = -430 - -528. Suppose -4*q + 21 - 5 = 0, 0 = 2*y - 3*q - 180. Is v at least y?
True
Let y = -5281 - -5280.948. Which is smaller: y or -0.37?
-0.37
Let j(g) = 3*g + 0*g + 0 + 2 - 7. Let t be j(-7). Suppose -3*q - 104 = m - 19, 5*m = -5*q - 155. Which is smaller: q or t?
q
Let u = -1690 + 1689. Which is bigger: 28/81 or u?
28/81
Let q(u) = 4*u**2 + 44*u + 96. Let w be q(-8). Is w > 10/803?
False
Let t be ((72/20)/(-2))/(174/(-236060)). Are 2444 and t unequal?
True
Let k be (7/(-28) - 42/(-8)) + -1. Let o(y) = y**3 - 5*y**2 + y - 4. Let d be o(k). Let g be d + 18 + 26/(-10). Is g less than or equal to -1?
False
Let r = 747.77 - 739. Let v = -8.07 + r. Which is bigger: v or 0.33?
v
Let l = -52 + 52. Suppose 74*a - 68*a = l. Which is smaller: -26/21 or a?
-26/21
Let i = -80 + 77. Let r be 0/((-10)/(-14) + 4/14). Suppose r*v + 12 = 6*v. Which is smaller: i or v?
i
Let j be 18 + (-3 - (2 + -2)). Suppose 25 = -2*o - 5*a, 0*a + j = -o - 3*a. Suppose o = -6*l - l + 7. Does l = 2?
False
Let g(t) = -14*t - 4. Let h be g(-1). Which is smaller: h or -4/3?
-4/3
Let r be (6/(-12))/((-89)/(-4)). Let a = -257/445 + r. Is -0.8 at most a?
True
Let c(i) = -6*i + 10. Let o be c(7). Suppose 2*v + 3*y = -89, -5*y - 200 = 24*v - 19*v. Which is smaller: o or v?
o
Let y be (2/(-1))/((-6)/15). Let z = 11 + -10.84. Let a = -0.06 + z. Is a equal to y?
False
Let k be ((-6)/(-10))/((-64)/20 - -3). Let w be (3*k/(-54))/(2/(-16)). Let m(x) = -x**3 + 4*x**2 + 5*x + 3. Let s be m(5). Which is bigger: s or w?
s
Let i(x) = -x - 14. Let c be i(-10). Let g = 35 + c. Suppose -81*q + 1895 = -454. Which is smaller: q or g?
q
Let z be (-1896)/97 + (295 - 275). Is z smaller than 1?
True
Let z be (-12)/(-9) + (-8030)/33. Which is smaller: -239 or z?
z
Let m = -3760 + 3760. Let i = -1331 - -21289/16. Which is smaller: i or m?
i
Suppose 0 = 75*z - 62*z + 403. Is -405/13 less than z?
True
Suppose 6*n = 11*n + 4*a + 10, a + 5 = 0. Suppose n*z = x - 29, -5*x + 12*z = 9*z - 124. Does 25 = x?
False
Let o = -8.28 + 9.28. Which is bigger: -2196 or o?
o
Let n = -6856 - -6908. Which is bigger: 0.3 or n?
n
Suppose -2*o + 49 = -3*t - 69, 4*o + 4 = 0. Let y be (-23 - t)*((1 - -1) + -1). Suppose y = -2*c + 5*s, 2*c + 0*c = -s + 1. Is -6 smaller than c?
True
Suppose 2*p = -13 - 49. Suppose 2*c = 21 + 3. Let f = c + p. Which is bigger: f or -18?
-18
Let r = -4386 - -4150. Are -235 and r unequal?
True
Let f be 2/(-4) + (-3)/(-12)*2. Suppose -w - 5*l + 12 = f, 3*l - 2 = 2*w - 0*w. Let g be (-86)/7 + w + 48/(-28). Is g less than -10?
True
Suppose -5*r + 4*d = 24, 5*r = r - 4*d - 12. Suppose 3*h = 5*c - h - 11, -5*c - 21 = 4*h. Let w be (7/7*c)/(4*3). Is w less than r?
False
Let f be 2/(-8) + 51*9/108. Suppose 47*s + 96 = -f*w + 49*s, 2*w - 5*s + 32 = 0. Which is smaller: -16 or w?
w
Let z(h) = -h**3 - 5*h**2 + 126*h + 5. Let p be z(9). Is 106 at most as big as p?
False
Let y = 51963 - 361350/7. Let k = -475 - -134. Let r = y + k. Which is greater: r or 1?
1
Let u(q) = -8*q**3 - 33*q**2 + 88*q - 423. Let d be u(5). Which is greater: d or -1812?
d
Let o be (201/536)/((-6)/(-32)). Let k be 1 + o/(-3) + (-8)/24. Which is bigger: k or 8/9?
8/9
Let r = -44 + 46.6. Let k = -11.6 + r. Let a = -7.3 - k. Is -1/2 bigger than a?
False
Let d be ((-12)/9)/(-6 + 182/(-70)). Which is smaller: 0 or d?
0
Let u = -127.4 + 147. Let r = 2.9 + u. Let z = r - 24. Do -2/7 and z have different values?
True
Let h(v) = 98*v**2 - 121*v - 674. Let r be h(-6). Which is greater: 10739/3 or r?
r
Let a be -13 - -14 - (3 - 24/10). Let o = 39 + -35.2. Do a and o have different values?
True
Let g(l) = l**3 - 22*l**2 - 405*l + 29. Let o be g(-12). Is -1547 at most o?
True
Let b = 8.4 + -10. Let i = -10179 + 10179.9323. Let r = -0.0677 - i. Which is smaller: b or r?
b
Let r be 6/(-34)*(-274)/(-411). Is r bigger than -2/75?
False
Let d = -78 + 49. Suppose -z - 2*k = 3, 3*z + 6*k + 5 = k. Suppose -4*r = 2*g + r + 38, z*r + 9 = -g. Does g = d?
True
Suppose x + 52 = -9*t + 10*t, -t + 44 = -3*x. Which is smaller: 71 or t?
t
Let r = 9.207 + -9.307. Is r less than or equal to 3647?
True
Let h = 4489/14 + -321. Let x = 27/7 + h. Which is greater: x or 0.1?
x
Let p = 4864 - 4827. Which is bigger: -0.122 or p?
p
Let s = -1729 - -1728.8. Let j = 8.8 + -34.8. Which is bigger: j or s?
s
Let u = 19524 - 26165. Is -6640 > u?
True
Let d be -44 - (-1 + 2 + -1). Let r = 27320 - 27364. Do d and r have the