 7)) + (2 - 1). Let n(w) = -1058*w - 5. Let u be n(m). Let y be 864/u + (-2)/3. Which is bigger: y or -3?
y
Let b(v) = 2 + v**3 - 2 - 385*v**2 + 379*v**2. Let r be b(0). Let l(d) = -4*d + 2. Let k be l(6). Which is bigger: r or k?
r
Let k = -14097/868 - -65/4. Suppose 0 = -2*a + 2*w - 2 - 8, 4*w = 16. Which is bigger: a or k?
k
Let s = -132 + 131.87. Let h = s - 0.87. Let u = -0.4 - -0.5. Which is smaller: u or h?
h
Let p be (-106526)/(-3261) - (-32)/(-1). Let o be -1*2/1 - -3. Which is smaller: o or p?
p
Suppose l = 3*t + 283, 2*l - 94 - 7 = t. Let x = t + 148. Is x greater than 55?
False
Let i = 719357/217 + -3315. Let a = -9271 - -9271. Is a greater than or equal to i?
False
Let a = -34300 - -34301. Is 1/10837 less than or equal to a?
True
Let y be 24/(-18)*75/(-10925). Which is bigger: y or 1?
1
Let d(n) = 4*n + 23. Suppose -9 + 3 = m. Let h be d(m). Which is smaller: h or 22?
h
Suppose -7*d - 27 = -4*d. Let t = -18 - d. Suppose -2*c = -4*m + 5 + 1, 0 = -3*m - 6. Is c at least t?
True
Let d be (286/462 - (-10)/(-35)) + 23016/18. Do d and 1288 have different values?
True
Let t(v) = -2*v**3 - 10*v**2 - 6*v - 5. Let m be t(-5). Suppose -4*c - m*l + 418 = -26*l, 3*c - 310 = -l. Is c at most 101?
False
Let l = 82.0342 - 3.0342. Which is bigger: l or -0.63?
l
Let r be ((-318)/(-5) + (1 - 1))/(40/100). Which is smaller: 164 or r?
r
Let j = 59.62 + -59.72. Let d = -0.72 + 0.08. Which is smaller: d or j?
d
Suppose -4 = 8*r - 20. Suppose 5*b = -2*y + 29, 4*y - 6*y = 2*b - 14. Suppose 4*v - b*h = -59, -h + 2*h + 33 = -r*v. Which is smaller: -14 or v?
v
Let w = 616.48 - 616.58. Let r be -2 - -1 - (-1 - 0). Suppose r = -2*t - 0*t - 8. Which is smaller: w or t?
t
Suppose 5*z = 5*r - 45, -3*z = -3*r - 2*z + 19. Suppose 4*b + a - 15 = 8*b, -27 = r*b - 4*a. Let q be b/(-9)*(-1 - -4)*1. Which is smaller: q or 2/7?
2/7
Let r(m) = m**2 - 30*m - 647. Let f be r(48). Which is smaller: 207 or f?
207
Let i(t) = -2*t**3 - 2*t**2 + t - 7. Let u be i(-3). Suppose u*d = 21*d - 230. Which is bigger: d or -48?
d
Suppose -25 = 5*q + 10. Let g be ((-1)/q)/((-3)/6). Let t = 9099/5 - 1827. Which is bigger: t or g?
g
Let m = -79 - -78. Suppose 0 = 2*q - 5*k - 16, -4*k - 15 = -2*q + 1. Let x be (-7)/q*24/18. Is m >= x?
True
Suppose -3*p + 16 = -f + p, f = p - 4. Suppose 0 = -2*d - g - 166, f*d + g = d + 77. Suppose -320 = -10*y + 14*y. Is d smaller than y?
True
Let v = 5981 + -4659. Which is greater: 1320 or v?
v
Suppose v + 7*v - 24 = 0. Suppose -12 = -v*c - 3*w, -4*c = -4*w - w + 20. Suppose -3*x - 4*n = -c*n - 20, -2*x - 4*n + 20 = 0. Is -2/211 less than x?
True
Let x(k) = -12*k + 69. Let a(w) = 47*w - 275. Let z(l) = -2*a(l) - 9*x(l). Let y be z(5). Which is greater: 5/38 or y?
5/38
Let n be (4/8)/(2/(-25)). Let p = -56/69 - -754/759. Is p != n?
True
Let f be (3 + -5)*(-60)/2. Let y be ((-24)/f)/(2/(-40)). Suppose 0 = 3*c - 4 - y. Which is smaller: -2/19 or c?
-2/19
Let k = 118 - 115. Let j be 7 - (k - (7 + -13)). Let q be (-12)/10 - (1 - 0). Which is smaller: j or q?
q
Let b(m) = -194*m - 312. Let i be b(-2). Is -1/3 smaller than i?
True
Let t(m) = -m**3 - 31*m**2 + 35*m + 93. Let n be t(-32). Let g(u) = -49*u - 82. Let x be g(n). Which is smaller: x or 66?
x
Let b = -351 - -357. Let m be b - 9/(27/12). Is 6/5 less than m?
True
Let j(c) = -22*c - 11. Let u be j(3). Let a be 1 + -7 + -11*u/(-11). Which is smaller: a or 0?
a
Let p = 103 + -102. Suppose x - 2*x = -3*a - p, 3*a - 11 = -2*x. Is a greater than -1/7?
True
Suppose -13 + 154 = 3*a + 4*s, 2*s = -a + 47. Suppose 5*f + 33 = 5*b + 158, -3*b - 4*f - a = 0. Let m = -21 - b. Which is smaller: m or 38?
m
Let b be ((-32)/12)/((-1080)/497745). Are b and 1236 non-equal?
True
Let m = -23/36 - 1439/12. Which is smaller: m or -120?
m
Let f be (-40)/(11/308*24)*3/13. Let g(q) = q**3 - 6*q**2 - 8*q - 3. Let a be g(7). Which is greater: a or f?
a
Let m = 2805 + -4960. Which is smaller: -2154 or m?
m
Let z(m) = -m**3 - 138*m**2 + 8*m + 1111. Let h be z(-138). Which is greater: 1965 or h?
1965
Let t = -426.0886 - -0.0886. Let m = -424 - t. Which is greater: 0.108 or m?
m
Let z be (-8206)/4 + 16/((-384)/252) + 11. Are z and -2055 non-equal?
True
Let h = -11 - -13. Let s(o) = o - h*o**2 - 1 - o**2 + 4*o**2 - 7*o. Let f be s(6). Which is smaller: -6/37 or f?
f
Let z = 0 + 6. Suppose 0 = -z*j + 3*j. Suppose j = 5*h - 3*a - 2, 5 = 3*h - 0*h + 2*a. Is 1/4 greater than h?
False
Suppose 9 = -2*i - 7 + 118. Which is greater: -1/26 or i?
i
Let l(a) = a**3 + 84*a**2 - a - 84. Let y be l(-84). Is 2/3165 > y?
True
Let a(x) = -56*x**2 + x - 1. Let i be a(1). Suppose 7399 - 33323 = 1936*c + 80556. Which is bigger: i or c?
c
Let i = 11 + -11.4. Let y = -64.817 - -20.817. Is i less than y?
False
Let k = 270 + -289. Let d(j) = j**3 + 20*j**2 + 18*j - 12. Let y be d(k). Which is greater: y or 47/6?
47/6
Suppose 40*n + 267 = -173. Which is greater: -569/48 or n?
n
Let q be ((-102)/255)/(268/(-100) - -2). Is q not equal to 5/8?
True
Let j(r) = r**3 + 5*r**2 - 10*r - 20. Let v be j(-6). Let l(p) = -2*p**2 + 8*p - 2. Let u be l(v). Let z be u/(-2) + 18 + -20. Which is bigger: z or -3/14?
-3/14
Suppose -24*x + 277108 = 14*x - 15264. Which is smaller: 7695 or x?
x
Let b = 1552 - 1461. Which is bigger: b or 99?
99
Let g be (0 + -1)*(-15)/6 - 3. Is 1385 <= g?
False
Suppose -44 = 59*r - 103. Which is greater: r or 91/135?
r
Let x = 678 - 714. Let o be x/(-27) - (-12)/(-6). Which is bigger: 0.118 or o?
0.118
Let m(y) = y**3 - 7*y**2 - 5*y - 7. Let k be m(7). Let t be ((-7)/(k/(-4)))/2. Let b(q) = -q**2 - 27*q - 105. Let a be b(-22). Do t and a have different values?
True
Let f(p) = p**3 - 4*p**2 - 3*p - 6. Let j be f(5). Suppose 6 = j*d - 10. Let g be d/6 + 7/(-28). Do g and 0 have the same value?
False
Let t(q) = q**3 + 3*q**2 - q - 2. Let v(f) = -f**3 + 10*f**2 + f - 14. Let u be v(10). Let n be t(u). Let k be 7 - 1*44*(-27)/(-54). Which is bigger: n or k?
n
Suppose 79*i + 7704 = 67*i. Is i equal to -2/7?
False
Suppose -92*m + 9 = -95*m, 4*m - 10098 = -5*h. Is 2023 at least as big as h?
True
Let c = -58988.119 - -59015. Let v = -0.119 - c. Which is bigger: -0.3 or v?
-0.3
Suppose 42*q = 33*q - 1485. Let x = -144 - q. Do x and 22 have the same value?
False
Suppose 5*o - 3*s = -5240, 5*o = 3*s - 7*s - 5275. Let g = o - -43093/41. Let b = g + 37/82. Which is greater: 0.2 or b?
b
Let q be 473/7 + (-24)/(-56). Suppose -3*c + 97 = -q. Let o be 8091/145 + 1/5. Which is smaller: o or c?
c
Let y(x) = -3 + x**3 - 5*x + 2 - 2*x**2 + 8. Let c be y(3). Let f be 33/24 - (0 + c). Do 1 and f have the same value?
False
Let x be (-3 + 6)*3*3. Suppose 2424 = 99*a + 147. Suppose -76 = x*r - a*r. Which is bigger: -18 or r?
-18
Let q(a) = -27*a**2 - 11*a - 293. Let y be q(10). Is -3105 equal to y?
False
Suppose -j = a - 43, 32 = -2*a - 4*j + 108. Let y be (4 + -3)/(1840/615 - 3). Let z = -75 - y. Is z >= a?
True
Let q(r) = r**2 - r - 366. Let b be q(11). Which is smaller: -258 or b?
-258
Let c = -1801 + 1801.6. Is 2/55 bigger than c?
False
Suppose 5*j + 4 = 6*j. Suppose 7 = -3*b - j*b. Let x = b - 4. Does x = -1?
False
Let k be ((-2)/(-18))/((-225)/525). Which is smaller: k or 0?
k
Suppose 0 = -46*k + 41*k - 2790. Let a be -1*3/4*k/27. Let s be -3 + 0 - (-17 + -1). Which is bigger: s or a?
a
Let j = -10351 + 10351. Which is smaller: 1/3979 or j?
j
Let q(a) = -a**3 + 3*a**2 + a - 4. Let d be q(2). Let v be (49/(-28))/(d/(-8)). Let w = -8159/7 + 1172. Which is smaller: w or v?
w
Let s = 6389/47580 - 3/3172. Let y be 4/10 - (-16)/10. Do s and y have different values?
True
Let k = -27 - 26. Let s = k - -39. Let a be s/(-12)*(6 - 0). Do 9 and a have the same value?
False
Let h be (-4038)/32*-4 - 1/(-4). Suppose -h - 647 = 12*r. Which is smaller: r or -97?
-97
Let z = 5007 - 5060. Which is greater: z or 15?
15
Let k(b) = -b - 21. Let i(u) = -u**2 - 24*u - 94. Let p be i(-17). Let w be k(p). Are w and -49 unequal?
True
Let p(z) = -13*z**2 - 17*z - 357. Let u be p(5). Which is greater: u or -781?
u
Let w be -2 + (-4 - -3)/(-1) - -184. Let l be (-9)/18 + w/6. Suppose -61 = 4*b + 5*c, -2*b - 2*c - l = -0*b. Which is greater: b or -12?
-12
Let w = -434 + 426. Let m be ((-5117)/175)/(8/2). Let o = 3/50 + m. Which is bigger: o or w?
o
Let g be (46 + 143)/((-4)/6 + 1). Let d = 554 - g. S