 be a(3). Let n = -74.96 - -75. Is n smaller than k?
False
Let r = 3.01 - 0.01. Let s = -87.96 + 88. Let y = s + 0.02. Is r < y?
False
Let t = -0.15 + 0.22. Let l = t - 1.07. Let s = -80 - -79.91. Which is smaller: s or l?
l
Let a = 6/175 + 1177/1400. Are 0 and a unequal?
True
Let o = -858 - -856.2. Which is greater: -1/3 or o?
-1/3
Let s(f) = -15*f - 30. Let q be s(-2). Which is smaller: q or -4/269?
-4/269
Let y be (-8 + 786/(-21))*(-28)/(-18). Do -70 and y have different values?
True
Let d = -17182 + 154478/9. Which is smaller: -17 or d?
d
Let y(r) = 2*r**3 + 32*r**2 - 37*r - 46. Let o be y(-17). Let a = 3 - -1. Which is bigger: o or a?
o
Let l = -74 - -80. Suppose 6*t + 36 = -l. Is -8 at least t?
False
Let u be (-2)/(-12)*-3*(-6 - -4). Is u at least as big as -2/155?
True
Let k = -297 - -297.169. Let o = -0.069 + k. Do o and -1/18 have different values?
True
Suppose 2*i = 2, -3*i = -0*s + s - 22. Let j(g) = 2*g + 5. Let u be j(s). Which is smaller: u or 44?
u
Let z(c) = c + 7. Let k = 12 + -16. Let r be z(k). Let f = 2 + -1. Which is greater: r or f?
r
Let o be 4/(-18) + (-37024)/(-165960). Let w = o + 1838/6915. Is w at most as big as 1?
True
Let y = 22.9 - 22.9. Is y less than -1.52?
False
Let b be 12/(-14)*(-13 - (-1328)/100). Is 1 < b?
False
Let a = 1056.088 + -1056. Are -10 and a equal?
False
Let k be -39*(1 - 0)*(-129)/(-81). Let f = -187/3 - k. Is 0 less than f?
False
Let m = 65357/30 + -4351/2. Which is smaller: 2 or m?
2
Let q(u) = 9*u - 18. Let i be q(7). Suppose -2*x - i = 69. Which is smaller: -56 or x?
x
Suppose 0 = 121*r - 126*r. Which is bigger: r or -134?
r
Let o(v) = v - 12. Let y(h) = h**3 - 4*h + 3. Let d be y(2). Let f be o(d). Is -10 < f?
True
Suppose -2*t - 3*a + 6*a + 3 = 0, 0 = 2*t + 3*a - 9. Which is smaller: 42/13 or t?
t
Let z = 5 + -9. Let g be (21/2)/(-7)*2. Which is bigger: z or g?
g
Let f be (1 + (-2)/4)/((-1089)/198). Are f and -0.2 unequal?
True
Let g = 3 - -12. Let h = 14 - g. Let y = h + 4. Which is smaller: y or 7/2?
y
Let d(h) = 9*h**2 - 8*h + 13. Let v(s) = -5*s**2 + 4*s - 7. Let i(z) = 6*d(z) + 11*v(z). Let r be i(-5). Let p be -4*r/((-48)/27). Which is smaller: p or -8?
p
Suppose z + 6*v - 4 = v, -3*z - 44 = v. Let n = z + 19. Suppose n*a + 3*m + 7 = -38, -5*a - 3*m = 67. Are -11 and a equal?
True
Let r = -227.73 + -11.27. Which is smaller: 2/9 or r?
r
Let r = -68 - -53. Let h be (-1 - 5/r)*15. Which is greater: h or -11?
h
Let b(t) = 11*t**2. Let y be b(1). Suppose -5*p = 1 - y. Let k = 4461 + -4462. Which is smaller: p or k?
k
Let t(k) = -k**2 + 19*k - 77. Let a be t(13). Which is smaller: a or 10/169?
10/169
Let o = 1.336 + -1.636. Do o and 9.8 have different values?
True
Suppose 62*j - 126*j + 22272 = 0. Is 345 > j?
False
Suppose 0 = -d + b + 20, -3*d - 4*b = b - 44. Suppose 3*h = -6*h - d. Which is greater: h or -10/3?
h
Let x = -0.3 + 0.6. Let z = 3/824 + -22663/824. Let t = -27 - z. Do x and t have the same value?
False
Let c = -25 + 31. Suppose -9*h = -c*h. Is 7/6 greater than or equal to h?
True
Let h be (-1749)/12 + 33/44. Which is greater: h or -150?
h
Let w(s) = -s**2 - 14*s - 5. Suppose 3*x + 5*p + 47 = 0, -5*p + 2*p + 25 = -2*x. Let o be w(x). Is -5 greater than or equal to o?
True
Let o be 4 + (2 - (-15 + 1)). Suppose 0 = -2*z - 2*z - 2*g + 80, 0 = -2*z + 4*g + o. Is 18 != z?
False
Suppose -7*m + 1920 = 240. Is 241 at most as big as m?
False
Let i = 41 + -31.8. Let k = i + -9. Let c = 0.1 - k. Is -2 smaller than c?
True
Let h = -4/147 - -346/1911. Is 4.7 at least as big as h?
True
Let v be 53/4*316/79. Which is greater: 59 or v?
59
Let k = 7 + -7.1. Are 0.94 and k non-equal?
True
Suppose 5*m = -9*m + 15246. Let y be (2/5)/(m/(-45)). Which is smaller: y or 0?
y
Let s(f) = f + 4. Let w be s(-1). Suppose 4*a = w*y - 7, 4*y + 2*a = -y + 3. Which is bigger: -1/77 or y?
y
Suppose 54*g = 92*g - 1026. Is 38 < g?
False
Let o(u) = u**3 + 3*u**2 - 4*u + 5. Let k be o(-4). Suppose 6*l = -k*l. Which is bigger: 2 or l?
2
Let v = 0.01 + -0.01. Suppose -238 = 15*b - b. Is b smaller than v?
True
Let z = 0.012 + 0.016. Let k = 0.972 + z. Which is smaller: k or -25?
-25
Let d = -7 + 7. Let t(g) = -g**2 - 5*g + 1. Let x be t(-5). Let a be x + (7 - 1)/(-3). Are a and d nonequal?
True
Let i be 2/4*(-8)/298. Let u = 284/1043 - i. Which is bigger: u or 0?
u
Let x = -13 + 5.8. Let w = -6.63 - x. Which is bigger: w or -0.1?
w
Let t(d) = 7*d**3 + 2*d**2 - 4*d + 1. Let j be t(1). Let w be 1*3/j*(-1 - 1). Does w = 9?
False
Let o be (-33)/(-27) - (1 - 0). Let i(a) = -a - 4. Let c be i(-10). Let x(n) = -n**3 + 7*n**2 - 5*n - 5. Let y be x(c). Which is smaller: o or y?
o
Suppose -6*o + 16 = -20. Suppose -96 = -o*z - 2*z. Let h be (-238)/385 - z/(-15). Is h < 1/3?
True
Let x(c) = -c - 13. Let n be x(-12). Let p = -299875/13 - -23426. Let b = 359 - p. Is n less than or equal to b?
True
Let q = 1.3 - 0.3. Let t = 103 - 85.2. Let y = 17 - t. Is y less than q?
True
Let z be 38/(-76) + 5/2. Which is bigger: z or 21/13?
z
Let a = 1.7 - 1.3. Let r = 3.6 + a. Let o = -3.2 + r. Is -1 less than o?
True
Let r be -5 - (2/(-1) - -1 - -2). Suppose 15 = -4*c - 17. Is c less than r?
True
Let b be 4/(-50) + (-1 - -1). Let x(g) = 3*g - 3. Let q be x(3). Let f be q/(-4) + (63/6)/7. Is f at most as big as b?
False
Let r be (-1 - -1)/(10/(30/(-3))). Which is smaller: -0.018 or r?
-0.018
Suppose 4*t - 64 = 8*t. Suppose -199*n + 190*n = -18. Which is smaller: n or t?
t
Let t = -60 - -89. Let p = 29.2 - t. Let z = -1.2 - -0.6. Is p equal to z?
False
Let i be -473*7/(-84)*-3. Is -118 <= i?
False
Let t = -70 - -99. Let f = -29.2 + t. Is -6 smaller than f?
True
Let q(j) be the first derivative of -j**4/4 + 16*j**3/3 - 17*j**2 + 8*j - 8. Let b be q(14). Do b and -77 have different values?
True
Let r be 2/(-4)*0 + 0. Let h = 337/7 + -49. Which is smaller: r or h?
h
Let n be (3129/14)/((-2)/(-4)). Let r = 1354/3 - n. Let w = 5 + 0. Are w and r non-equal?
True
Suppose 11*a = -45*a + 896. Suppose -r - 84 = -5*h - 0*r, 0 = -5*h + 4*r + 96. Is h != a?
False
Let m(c) = c**2 + 18*c - 15. Let l be m(-19). Let f be (-10 + l)*(1 + 3). Are f and -24 non-equal?
False
Let q(x) = 2*x**3 + x**2 - x. Let g(v) = -3 - 2*v + 0*v + 3*v + 0*v. Let w be g(4). Let m be q(w). Which is greater: m or 4/5?
m
Let c = -6.029 - 21.781. Let v = 28 + c. Let q = v - 0.15. Are q and -1/2 unequal?
True
Let t = 1 + -3. Let i = 47.001 - 47. Let n = i - -0.199. Is t greater than or equal to n?
False
Let d = -40 - -40. Suppose b - 56 = 5*j, -5*j + d*j - 50 = 5*b. Let i(t) = 2*t + 6. Let n be i(-8). Which is smaller: n or j?
j
Let p = -63 - -69. Let d be ((-92)/p)/((-4)/4 + 3). Which is smaller: -8 or d?
-8
Suppose 0 = 4*s + 71 + 17. Suppose -199 + 136 = 3*p. Which is smaller: p or s?
s
Let p(u) = 2*u + 7. Let x be p(-5). Let t = -10 + 18. Let h = 6 - t. Are x and h non-equal?
True
Let l = 13 - -14. Let m = -224.6 + 252. Let s = m - l. Is 0.3 at most s?
True
Let l be -2 - (-6 + (-1 - -4)). Let b be l/3 + (-117)/27. Is -4 greater than or equal to b?
True
Let l = -0.42 + 30.42. Let k = -28 + l. Is k < -2?
False
Suppose -87*f + 10 = -82*f. Let t be (2 - (-144)/(-15))*21. Let j = -159 - t. Which is bigger: f or j?
f
Let m = -10 + 9.8. Let r = 14.2 + m. Let l = -8 + r. Is 1/2 smaller than l?
True
Suppose 7 = 3*d - 29. Which is smaller: d or 3?
3
Suppose -9*s = -23*s - 56. Which is smaller: -46 or s?
-46
Let u be 5 - (4 + -12 - -5). Let q be (-3928)/64 - (-3)/u. Is -61 greater than q?
False
Let u(c) = -12*c - 14. Let d be u(-6). Suppose -2*l = 4*k + d, 3*k + 2*k - 5*l = -50. Is -16 less than or equal to k?
True
Suppose -2*p + 1 = -45. Let y = -27 - p. Which is bigger: y or -49?
-49
Let w = -37 - -37. Let d = -9 - -10. Suppose w*k = -k + d. Which is smaller: -3 or k?
-3
Suppose 0 = -10*q - 86 + 36. Is q bigger than -7?
True
Let m(p) = -17*p - 12. Let w(s) = -8*s - 6. Let g(j) = 3*m(j) - 5*w(j). Let f be g(-1). Is f at most 2?
False
Suppose 27*g + 21 = 28*g. Suppose -26*y = -g*y + 50. Let a be 2/y - 19/(-5). Is 3 >= a?
False
Suppose -5*t + 0*d + 4*d = -372, -t = -d - 74. Suppose -v - t = -76. Is 1/11 greater than v?
True
Let s be 9/(162/(-531)) + (-2 - -1). Is s less than or equal to -30?
True
Let a = 9616/33615 + -70/249. Which is bigger: -1 or a?
a
Suppose -17 + 1 = -4*a, 3*q - 20 = -5*