 = 6.93 - -0.07. Let q = -32 + 27. Let z be 21/q*(-7)/(-21) - -2. Is f at most z?
False
Let i be 28/210*(-210)/(-55). Which is greater: i or 0?
i
Let l(k) = -4*k**2 - 16*k + 39. Let w(n) = -2*n**2 - 8*n + 20. Let s(t) = -2*l(t) + 5*w(t). Let c be s(3). Which is greater: c or -21?
c
Let o = 203 + -187. Suppose -o*s + 4*c + 346 = -21*s, 2*s = -5*c - 135. Which is smaller: s or -72?
-72
Let i = 3830 - 3912. Is -63 not equal to i?
True
Let d = 70 - 70.041. Let h = 0.041 + d. Let k = 36 + -13. Which is greater: h or k?
k
Let l = 113542/75 - 1257497/1200. Let m = l - 466. Which is bigger: -1/4 or m?
m
Suppose -t - 3*z - 5 = 0, 0 = 5*t + 9*z - 11*z - 26. Suppose t*b - 184 = 8*b. Let i = -98/3 + 32. Which is smaller: b or i?
b
Suppose -165*c + 4973 = 33023. Is c < -843/5?
True
Let b = 11142/7 - 11140/7. Which is greater: b or 335/12?
335/12
Let h(s) = s + 21. Let y be (3 + 4)*(1 - 2). Let t be h(y). Suppose 5*u + 6 + t = 0. Which is smaller: -1 or u?
u
Let h(k) = k**3 + 28*k**2 + 24*k + 2. Let s(t) = -t**2. Let q(r) = -h(r) - 3*s(r). Let m be q(-24). Let c be (-35)/(-50) + m/(-15). Are -1/4 and c equal?
False
Let l be (-2 + 4 + -10)/1. Let o be 13 - (l + 4)*(-6 + 7). Is o >= 17?
True
Let x = 119.91 + -120.31. Which is greater: x or -10.03?
x
Let q = 698 - 698.0117. Let d = q + 31.0117. Which is smaller: 1 or d?
1
Let o = -1537.49 - -1539. Which is smaller: o or 2?
o
Let t = -49450 + 49462. Suppose 4*v = 3*u - 9 - 12, 5*v = 4*u - 29. Suppose -3*y = -34 - u. Is t equal to y?
False
Let w = -2400 + 2962. Which is bigger: w or 6174/11?
w
Suppose 14*t - 429 = t. Let m(x) = -x**2 - 25*x + t - 7 + 24*x. Let l be m(-9). Is -45 at most l?
False
Suppose -6*p + 44 = 5*k - 5*p, 0 = -4*p + 16. Let d be -8 - -2*20/k. Which is bigger: -10/3 or d?
d
Let i(m) = 2*m**3 - 71*m**2 - 47*m + 383. Let l be i(36). Which is greater: -261/19 or l?
l
Let p = -54185 + 380598/7. Let v = -183 + p. Is v > -3?
True
Let a = -135.02 + 129. Let o = a + 0.02. Which is smaller: o or -0.1?
o
Let o be -24*29/(-20880)*(-6)/(-16). Are 7.7 and o equal?
False
Let y = 5 - 17. Let l = 169.92 + -166. Let i = -2.92 + l. Which is greater: y or i?
i
Suppose 5*m - 10 = 0, -71*w + 77*w - 2*m - 194 = 0. Is w > 32?
True
Let w(l) = 2*l**3 + 9*l**2 - 3*l + 10. Let y be w(-5). Which is smaller: y or -19/169?
-19/169
Suppose -2*y = -j + 52, -2*j = y + 3 - 92. Let k be 136/(-10)*(-90)/9. Let q be (-1)/(17/(k/16)). Which is bigger: j or q?
j
Suppose b - 2*b = 3*w - 19, -2*w - 2 = -3*b. Suppose -b*j + 14 = -2*j. Let a be (2/j)/(19/133). Are 6/7 and a nonequal?
True
Suppose -s = 4*t - 11, -s - 3*s + 22 = 5*t. Suppose 0*y = -t*y. Let k be (0 - (-60)/(-3885))/((-2)/7). Which is bigger: k or y?
k
Suppose 35*g = 3*r + 31*g + 105, -2*r - 65 = -g. Let y = -4371 - -17355/4. Which is greater: r or y?
r
Let o(b) = -2*b**2 - 35*b - 191. Let a be o(-14). Is a <= -90?
True
Let a be (-1)/(-1) + (153 - (-20)/4). Let v = a + -157. Does v = 21/19?
False
Suppose -11*f + 20 = -12*f. Let g be 15/f + 14*(-3)/(-24). Which is bigger: g or -2/89?
g
Suppose 11*b - 10*b - 40389 = o, -121171 = -3*b - o. Let a be b/(-315) + (-4)/(-18). Do a and -130 have the same value?
False
Let c = -961 - -960.8. Which is smaller: c or 12/65?
c
Let u(d) = -2*d + 28. Let j be u(13). Suppose -f - 5*b = -4*f + j, -8 = 3*f + 5*b. Let v be (16/102)/(4/(-6)). Which is greater: v or f?
v
Let u be (-56)/16 + (546/(-4) - -3). Which is bigger: -36 or u?
-36
Let z = 566003/43 - 13159. Which is bigger: 3 or z?
z
Suppose -2*a + 10*t + 117 = 11*t, -4*a + 2*t + 222 = 0. Suppose 2*g = 7*g - i + a, 0 = 5*g - 5*i + 45. Which is smaller: g or -9?
g
Let j be ((-6064)/224)/((15/6)/5 - 0). Do -55 and j have the same value?
False
Let n be ((-3)/(-2))/((-5)/(-10) + 3). Let q(k) = -2*k**2 - 9*k + 81. Let c be q(-9). Which is smaller: n or c?
c
Let r(x) be the third derivative of -5*x**6/12 + x**5/20 - 7*x**4/24 - 3*x**3/2 + 5*x**2 - 19. Let j be r(-1). Is j > 258/5?
False
Let h = -55/357 + -3617/357. Is -3/2 >= h?
True
Let z be 168/(-9) - (-6)/(-18). Let f = z + 142. Let h = f - 124. Do h and -2/73 have different values?
True
Suppose -38 = 756*t - 775*t. Does -8982 = t?
False
Let m = 2 - 3. Let p(d) = -3*d + 4. Let w be p(2). Let h be ((-10)/(60/(-9)))/(-5 + w). Which is smaller: h or m?
m
Let p be (-5)/(-110)*-2*63/36. Which is smaller: 0.04 or p?
p
Let x(u) = u - 7. Let q be x(5). Let b be 182/92 + q/1. Let z be (-9)/(-180)*-4 - 20/(-100). Which is smaller: z or b?
b
Let z = -73218251/1183 - -61892. Is z >= 1?
False
Suppose -x + 17 = 15. Suppose -s = -x*s + 2. Let d(h) = -9*h + 13. Let k be d(s). Is k greater than or equal to 2/11?
False
Let a(g) = -170*g**3 - 5*g - 6. Let p be a(-1). Suppose -1273 = -6*v - 259. Do p and v have different values?
False
Suppose 2 + 14 = 8*b. Let o(u) = -16*u - 2*u + 16*u + u**b - 2. Let k be o(4). Which is greater: -3 or k?
k
Let t(y) = -y + 2. Let d be t(1). Let r be 108/(2 + d + -2). Let k be (r/(-390))/(3/(-10)). Is 2 at most as big as k?
False
Let q = 9.9 + -2.9. Let k = -0.961 - -0.922. Which is smaller: q or k?
k
Suppose 3*d - 40775*r + 906 = -40778*r, -2*d = -5*r + 695. Suppose -2*o = s + 3*o + 305, 0 = 4*s - 4*o + 1268. Is d greater than s?
False
Suppose -18589 - 15171 = -259*m + 46012. Is 316 smaller than m?
False
Let m = 45 + -25. Let j = m + -21.5. Let w = j + -2.5. Is -2/5 equal to w?
False
Let y = -1959.906 - -1960. Which is bigger: y or -3/7?
y
Let l = 5930 + -5946.7. Let y = -2 - -1. Which is smaller: y or l?
l
Suppose -2*d = 5*y - 2, 0 = y - 5*d - 37 + 15. Suppose -36 = -3*l + y*o, 4*l - 48 = o - 0*o. Let q(x) = -x + 8. Let t be q(l). Which is smaller: t or -13/3?
-13/3
Let m = 247.0226 - 247. Which is smaller: 0.1 or m?
m
Let o be 1/((-8)/192*4). Let a be 11/(385/28)*70/o. Let v = 2 - 11. Is a <= v?
True
Let x be (15/3 + -3)/(-2). Let w be 34 - (-3 + (-6)/x). Suppose 2*r + 19 = w. Which is bigger: 7 or r?
7
Let y(s) = 17*s + 48. Suppose -13*q + 8 = -15*q + 2*t, 5*t - 5 = 0. Let i be y(q). Is i at most as big as -4?
False
Let q(a) = 4*a**2 - 11*a + 9. Let o be q(5). Let t be (o/15 - 4) + 68/295. Do t and 1 have the same value?
False
Suppose 0*t + 5*p - 117 = 4*t, -2*t - 4*p - 78 = 0. Let j = t + 48. Let l be (-12)/(-45) - (39/j - 3). Is l not equal to 0.03?
True
Let x be (3/2)/(471*5/(-4)). Suppose 11*f + 1 = 8 - 7. Is x less than f?
True
Suppose 3*t = -4*f + 6, -5*t = 3*f + f - 2. Suppose -15*i - 126 = 28*i + 20*i. Let y be i/f - 665/(-1020). Is y > 1?
False
Suppose 0 = 2*q + 3*l + 84, 3*q - 4*l = -3*l - 104. Let g(b) = -14*b - 148. Let a be g(-12). Let x be (-2928)/80 + (-2)/(a/(-6)). Is q bigger than x?
False
Suppose -611*m + 4*k = -610*m + 27, 4*m = 3*k - 121. Is m bigger than -90?
True
Let n be 7/(-28)*48/36. Let a = 0.7 + -0.47. Let d = a - 0.3. Is d less than n?
False
Let x = 24845978/517 - 48058. Let d = x + 14/1457. Which is smaller: 0.1 or d?
d
Let t = 0.22 + 11.78. Let f = -849.4 - -771. Let j = -78.6 - f. Which is smaller: j or t?
j
Let d be (-1)/3*20713/94545. Let m = d - 1/955. Let n be (5/2 + -3)*-2. Which is greater: n or m?
n
Let x(c) = -4*c + 1. Let w be x(-5). Let r = 52 + -63. Let u = r + w. Are 11 and u nonequal?
True
Let x be -4*24/(-64) + (-130)/(-4). Let p be (-37 + x)*6/2. Is -54/7 less than or equal to p?
False
Let l be ((11/1453705)/((-9)/18))/(1/5). Which is smaller: l or 0?
l
Let m be (-2)/(-7) + 2/(-7). Let a be (-5182)/(-16) + -1 - (-1 + 6). Let r = a + -318. Is r not equal to m?
True
Let h = -1412 + 1407.2. Which is greater: h or -8/5?
-8/5
Let f be (-4 - -3)*2 - (1 + -4). Let r be 17/68 - (f - (-531)/(-696)). Which is bigger: r or 0?
r
Suppose -z = o - 7, 3*z - 4 - 2 = 2*o. Let q = 113 - 81. Suppose q = -4*x - z. Which is smaller: 0.2 or x?
x
Let r = -177.9 - -30.9. Let c = -146.8 - r. Is -6 at most as big as c?
True
Let u be 5714*7/(-120036) - (-2)/6. Which is bigger: u or 1?
1
Suppose -923*q - 944 = -982*q. Is q not equal to 466/31?
True
Suppose -11*m + 42 = -9*m. Let s be (-9)/(-15) - m/(-1530)*-38. Which is smaller: 0 or s?
0
Let o be (4/(-38970))/(432/1296). Is -1 at least o?
False
Let d = 154 + -148. Let p be (150/(-8))/(51/8 - d). Is p >= -52?
True
Let x = 653.04 - 642. Let r = x + -10.9. Do r and 5 have the same value?
False
Let r(c) = 152*c - 1194. Let i be r(7). Is -136 < i?
True
L