= 2055.5138 - -0.4862. Is -0.2 at least j?
False
Let k = 2.8152 + -0.4152. Is -0.06 at least as big as k?
False
Let t be (6/(-10))/(4/25). Suppose -1918 = -96*o + 1730. Suppose -o*n - 254 + 102 = 0. Which is smaller: n or t?
n
Let o = 125 - 147. Let k be (-80)/180 - o/9. Let i be -2*(k + (-2 - (-22)/(-4))). Are i and 12 equal?
False
Let q be (4 - 31/4)*236/(-177). Is q != 0.1035?
True
Let b be (-9)/(-5) + (-4)/(-20). Let h be b/4 + (-161)/238. Let j = -949 + 949. Which is smaller: j or h?
h
Let o = 265 - 546. Let c = o + 281. Does c = -1/48?
False
Let u = 4052 - 4083. Let h be -15 + 17 - 14/(-16)*-2. Which is smaller: u or h?
u
Let o = 27173035/456 - 178796/3. Let n = o - -61/8. Suppose -78 = -3*w - 84. Is w less than n?
True
Let t = 9245.8 - 9296.8. Let i(p) = p**3 + 3*p**2 + p + 3. Let w be i(-3). Are w and t non-equal?
True
Let h = 10701 + -6252. Suppose h = -36*k - 195. Which is greater: -127 or k?
-127
Let g(n) = 2*n**3 + 8*n**2 - 14*n + 71. Let j be g(8). Which is greater: j or 1493?
j
Let s = -216.0424 - -0.0424. Let z = s - -216.1. Which is greater: 4 or z?
4
Suppose 130 = 2*m - 6. Let w = 4757 - 4813. Let q = m + w. Which is smaller: q or 14?
q
Let y = 669 + -940. Is -271 bigger than y?
False
Suppose -85 = 5*x + 2*o + 3*o, 4*o = -x - 26. Let m be (-536)/x + (-2)/7. Let s = 189 - 150. Is m != s?
True
Let v = 17499 + -16374. Which is smaller: 1127 or v?
v
Let i(y) = -2*y - 9. Let b be i(-6). Let u(t) be the third derivative of -17*t**4/24 + t**3 - 2*t**2 + 332*t. Let v be u(b). Which is smaller: -44 or v?
v
Let i = -487/3 + 1463/9. Is i smaller than -9.1?
False
Let k(a) = -a**3 + a**2 - 1. Let i(f) = -3*f**3 + f**2 + f + 7. Let m(t) = -i(t) + 2*k(t). Let r be m(0). Let d be (-13 - r) + (-414)/(-105). Is 1 at most d?
False
Suppose -24679*g = -24683*g + 8. Are g and 205/59 unequal?
True
Let s be (-6)/57 - ((-2571590)/(-2736) - -2). Let i = -942 - s. Are 0 and i equal?
False
Let z be 55/26*72/15. Let b be 219/12 - 3552/384. Is b at most as big as z?
True
Let k = 596 - 319. Let x(l) = -104*l - 15114. Let p be x(-148). Which is bigger: p or k?
p
Let a(x) = 2*x**3 + 28*x**2 + 18*x - 38. Let c be a(-13). Let o = 0 + 70. Which is smaller: c or o?
c
Let w be (-6)/84 - 90/63. Let k be 1 + (-86)/7*7/135. Let b = k + 1/27. Which is bigger: b or w?
b
Let c = 347405/16 - 21722. Is c <= -9?
True
Suppose 19*m + 586 + 2674 + 369 = 0. Which is smaller: -1340/7 or m?
-1340/7
Let b = 42221759/9760 + -4326. Which is greater: 0.1 or b?
0.1
Let a = 0.1 - -0.9. Let s(w) = 3*w**2 - 24*w + 41. Let v be s(18). Suppose 194*x = 201*x - v. Is x not equal to a?
True
Let x = 84 + -29. Let c = x + -66. Let s(v) = v**3 + 10*v**2 - 11*v. Let t be s(c). Which is smaller: 1/21 or t?
t
Let v be (-6)/(14/(-4) - -2). Suppose 0 = 4*b - 6*b + v. Let k = -14.49 + 14.69. Which is greater: k or b?
b
Suppose 55*d - 14*d + 41 = 0. Let i = 2551563985/69132602084 - -4/8257597. Let w = -1/644 - i. Which is greater: w or d?
w
Let g = -18199 + 18181. Is g greater than -17?
False
Suppose -4 - 4 = -4*o. Let y = 11.826 - 3.826. Is o smaller than y?
True
Let p be ((-35)/57827*-22)/(1 + -7). Do -1 and p have different values?
True
Let u = -889 - -888.97. Is u < -2/725?
True
Let j be (6 - 1/1) + 3. Suppose -j*f = -13*f - 25. Let d be -6 + 2 + (-35 - f). Is d at most -33?
True
Let v be 13/78*457 + 2/(-12). Let g be (-68)/20 + 6/15. Let s = g + v. Which is smaller: s or 74?
s
Suppose 0 = -2*t + n - 3 + 4, -5*t - n - 8 = 0. Let l = -210631/61 + 3453. Which is smaller: l or t?
t
Let v = 2984 + -2041055/684. Which is smaller: v or 0?
0
Let f be 43/(-234) - 2/(-9). Let u = -931571 - -931571. Which is bigger: f or u?
f
Let d = -5886 + 6379. Which is bigger: d or -16?
d
Let r = -1/52668 - 78203/42081732. Are 1 and r nonequal?
True
Let l(u) = 9*u + 9. Let m be l(-6). Let i be 32/(-24) - 22/(-21). Is m != i?
True
Let p = 96.82 + -96.7. Let i be (-8)/2 + 162/39. Which is bigger: p or i?
i
Suppose 2*z + 14*z - 64 = 0. Suppose -5 - 7 = -z*w, 5*w - 50 = -5*k. Suppose -k*x = -x. Which is smaller: x or 1/42?
x
Let n(u) = -u**3 + u**2 - 2*u - 2. Let t be n(0). Let k be (-79 + 2 + -4)/t. Let x = k - 40. Which is smaller: 0.14 or x?
0.14
Let f = -5533 + 116167/21. Let n = 1357/1113 + f. Let h be (-3 + 2/1)*(12 - (4 - -7)). Is n > h?
True
Let f be (-452232)/(-308) - ((-2)/(-7))/1. Is f bigger than 1467?
True
Suppose -81*r - 1326 = 375. Let o(b) = -b**2 - b. Let n(v) = -5*v**2 - 25*v. Let y(u) = n(u) - 4*o(u). Let s be y(r). Which is greater: s or 2/9?
2/9
Let o be (1*5 + 3376/32 + 3)*-94. Is -10670 less than or equal to o?
True
Let n = 0.491 + -4.981. Let l = n - -4.4. Let m = 0.05 - l. Which is bigger: m or 0.1?
m
Let x = 3188/13 + -2595331/10582. Which is greater: x or -1?
x
Let o(t) = -4*t + 6. Let d(i) = 9*i - 12. Let u(a) = 3*d(a) + 7*o(a). Let s be u(-4). Let r be 4/20 - 2/s. Which is bigger: 2/23 or r?
2/23
Let p = 39316.45 + -40202. Let f = p + 886. Is f > 0.1?
True
Let u be (22*2)/((-1)/(-10) + (-833)/2380). Which is bigger: u or -202?
u
Let w(y) = y**3 - 18*y**2 - 2*y + 36. Let k be w(18). Let d be ((-546)/46 - -6) + 6. Do d and k have different values?
True
Let g be -5 + (1 - 243/(-3)). Suppose -g*h + 78*h = 0. Let d be ((-3)/38)/(18/(-8)). Which is smaller: d or h?
h
Let x = -10211 - -10738. Are x and 525 non-equal?
True
Let q = 5687 + -2117. Let l be 735/q - (0 + (-2)/(-12)). Suppose 0 = -0*x - x + 1. Which is smaller: l or x?
l
Let q = 675 - 675.218. Are -1/3 and q equal?
False
Let x be 1 - -24 - (-3 - -4). Let m(g) = -6 - 1121*g**2 + 562*g**2 - 9*g + 558*g**2 + 18. Let q be m(-7). Which is greater: q or x?
q
Let y(f) = -2*f**2 + 18*f - 20. Let a be y(8). Let i = -2 - -5. Let g be -2 - (-2 + (-3)/i). Is a equal to g?
False
Suppose -48 = -5*s + 9*s. Let q be (s/(-10))/(-2 + 8/5). Let f be ((-2)/q)/(16/(-3) - -2). Which is smaller: 0.3 or f?
f
Let r = 254.93981 + 0.05019. Let w = r - 255. Which is smaller: w or -5?
-5
Let i(q) be the second derivative of 3*q**5/10 - q**4/6 + 2*q**3/3 - 3*q**2/2 - 16*q. Let s be i(2). Let l be 10/s - (-16)/9 - 1. Which is smaller: 1/2 or l?
1/2
Let o(p) = 55*p + 2008. Let b be o(-32). Do 254 and b have the same value?
False
Let j = 18507 - 18187. Is j greater than 1604/5?
False
Suppose -7*a - 2*y - 4 = -9*a, 2 = 4*a - y. Which is smaller: -2/3973 or a?
-2/3973
Let q = -94 + 22. Let n = -8.1351 - -10.1351. Is q less than n?
True
Let a = -8043 - -7971. Which is bigger: a or -652/9?
a
Let m = 40.984 - -0.016. Let c = 44 - m. Let x = c + -2.3. Which is greater: 0 or x?
x
Let n be 2/(1*1/(-3)). Let k = -53189 + 159568/3. Which is greater: k or n?
k
Let y(z) = -z**3 + 12*z**2 + 435*z - 5200. Let r be y(12). Let p = 8 + -4. Let u be 81/p - 4/16. Is u at most as big as r?
True
Let o = 547 - 263. Suppose 5*a - s = o, 2*a - 4*a + 2*s = -120. Which is smaller: a or 54?
54
Let y be 2380/260 + -9 - ((-12502)/(-26))/(-1). Are 490 and y equal?
False
Let y = 0 - -39. Let v = -83 + 143. Let i = y - v. Are -22 and i non-equal?
True
Let m = -8 - -5. Let y be -2 + 32/9 + m. Let c = -985 - -983. Which is bigger: y or c?
y
Let k be 1 + -8 - (-18600)/45. Let p = 407 - k. Is p smaller than -221?
False
Suppose 0 = -a + 4*v + v + 26, 0 = -5*a - v. Let x be (81/(-6) + a)*-6. Suppose -x + 27 = -8*l. Is l at least as big as 4?
True
Let u be 24/(-12) + (-9)/3 + 6. Let z(k) = -k**2 - 9*k + 14. Let c be z(-10). Suppose -4*v - 10 = 3*y, -c*v - v - 18 = y. Is u > y?
False
Let d = -26342/9 - -2938. Let v = d + -3191/288. Which is bigger: v or -1?
v
Let s = 13369 + -13529. Are s and -158 equal?
False
Let x = 5.9 - 5. Let p = -1 + x. Let i = -1709.9 - -1667.9. Which is bigger: p or i?
p
Let j be 2/(3/9*-160). Let p = 106 + -106. Is p greater than j?
True
Let z = -7177 + 7177.04. Do -4/433 and z have the same value?
False
Suppose 0 = -29*a - 7686 - 2406. Let j = a + 372. Which is greater: 21 or j?
j
Let j = 0.395 + -0.254. Let l = 2/505 - 1024/3535. Is l bigger than j?
False
Let y = -80 + 3. Let m = y - -37. Let z = 41 + m. Which is smaller: -1 or z?
-1
Let u(x) = -25*x**3 - 5*x**2 - 4*x - 1. Let r be u(-1). Suppose -11*p + 10 = -r. Which is greater: 11/5 or p?
p
Suppose -4*m + z + 27 - 6 = 0, -4*m + 11 = z. Let i be 2*((-8)/(-12) - 274/(-12)). Suppose 54*f = i*f + 42. Which is smaller: f or m?
m
Let 