 Let z be 1/o*450/(-20). Is z smaller than -2?
False
Suppose -5*p = 20, s + 11*p = 22*p + 43. Which is greater: 40/783 or s?
40/783
Suppose 20 = -5*q, -3*x + 4*q - 2 = 3. Let u(g) = -g**2 - 9*g - 14. Let v be u(-5). Suppose v*f = 7 - 1. Which is smaller: x or f?
x
Let k be (7/(-5) - -1)/(22/(-110)). Suppose k*r - 45 = x - 17, -2*r + 40 = -4*x. Suppose -3*a + 3*s + r = -0, -22 = -a - 5*s. Which is smaller: 8 or a?
a
Let t be (1 + -19)*84/24. Let w = 93 + t. Which is greater: w or 31?
31
Let u = -8.69 + 8.634. Let t = 283 + -280.944. Let p = t + u. Which is bigger: p or -34?
p
Let b(n) = -15*n + 3. Let t be b(2). Let y(c) = -2*c**2 - 11*c + 15. Let f(u) = 4*u**2 - 11*u - 2. Let h be f(2). Let k be y(h). Do k and t have the same value?
False
Let o = -54.92 + 54. Let d = -4 + 3. Are o and d non-equal?
True
Let y be (-10)/12*8/(-20). Let p(x) = -9*x + 25. Let s be p(4). Let k be s - (-1 + 4 - 6). Is k bigger than y?
False
Let j be (693/126)/((-2)/(-8)). Which is smaller: 14 or j?
14
Let c(j) = -j**3 + 9*j**2 + 12*j - 16. Let r be c(10). Suppose -1 - 5 = -z + 2*p, -4*p = r. Let m be (0 + z)/(-5 + 11). Is 1/3 smaller than m?
True
Let z be 1/3 + (-22)/(-6). Suppose 3*g = -2*q + 6 + 6, 0 = 2*q + z*g - 16. Suppose 49 = -2*h + 3*r, -25*h - 5*r = -22*h - 88. Are h and q unequal?
True
Let u be (-1)/6 + 46203/277002. Let c = u - 446353/554004. Let x = c + 7/12. Which is smaller: x or 6/5?
x
Let h = -81 + 87. Let w(j) = 3*j**3 + 1. Let z be w(-1). Let f(x) = -4*x - 4. Let r be f(z). Which is smaller: r or h?
r
Let k = 878 - 877.6. Is k equal to -0.788?
False
Let b = 73383/4 + -129521001/7060. Let v = -674221/10590 + b. Let o = -2867/45 - v. Which is bigger: -1 or o?
o
Let n(i) = -i**3 + 25*i**2 - i + 17. Let m be n(25). Let k be (1665/(-40))/(((-42)/m)/7). Is -56 not equal to k?
True
Let o = 6308 + -7435. Which is smaller: -0.5 or o?
o
Let m be 4/6 - 176/(-6). Let o = 1272 + -1268. Suppose m = o*p + 358. Is -82 greater than or equal to p?
True
Let o = -1542.8 - -1559. Which is smaller: 1/7 or o?
1/7
Suppose 61*d - 167*d = -41658. Are d and 371 unequal?
True
Let j = -3323 + 3315. Is j smaller than 108?
True
Suppose -3*q + 21 = -3*f, 5*f - 8 = 2*q - 25. Let r be (-19)/q + (-156)/(-234). Let u be (9/6)/((-1)/2). Which is bigger: u or r?
r
Let h = 541.9907 + 0.0093. Let n = -545 + h. Let u = 0.8 - 1. Which is smaller: n or u?
n
Let s = 10531/1710 - 9/190. Suppose 1570 = -3*i + 1588. Which is smaller: s or i?
i
Let h(f) be the second derivative of 1/3*f**3 + 24*f + 0 - f**2. Let d be h(6). Which is smaller: 13 or d?
d
Let m = -998 + 16960/17. Let c = -172/391 - m. Let u be (-2)/4*(0 + 0). Which is bigger: c or u?
u
Let f(v) = -6*v**2 - 33*v - 2. Let o be f(-3). Let j be (48 - 2)*(-2 + 3). Do j and o have the same value?
False
Suppose -3*u - 218 = -4*d, 4*u + 86 = -5*d - 246. Let t = -73 - u. Suppose -5*k + 121 = i - t*i, -i - 34 = -5*k. Which is smaller: i or -30?
-30
Let j = -128.29 + 128. Let m = j + -1.71. Is m bigger than -0.13?
False
Let n(t) = 1618*t - 16. Let r be n(1). Let a = 11196/7 - r. Suppose -d - 8 = 4*m, -2*m + m - 5*d + 17 = 0. Is m <= a?
True
Let j be (1/(1/5))/((-1)/(-5)). Let f = j - 25. Let b be ((4 + -2 - 3)*f)/(-2). Is b greater than -10/21?
True
Suppose 4*c = 2*k - 280, -2*k - 3*k + 4*c + 700 = 0. Let l be 334/k + ((-235)/(-35) - 7). Do l and 2 have the same value?
False
Let s(f) = 2*f**3 - 3*f**2 - 3*f - 2. Let h be s(3). Let d = -12 + h. Let b be (-180)/(-16)*(-2)/(-6). Is d at least b?
True
Suppose 2406 - 734 = -2*z - 2*t, 2*z - t = -1654. Is -830 bigger than z?
False
Let j = 0.0471 + -282.0471. Let k = -257 - j. Let i be (2/3)/2 + -1. Is i greater than k?
False
Let n = -480075/91 - -39094/7. Is n bigger than 310?
False
Let s(l) = 5*l - 31. Let x(g) = g + 6. Let o be x(0). Let f be s(o). Let q = -61 - -57. Which is smaller: q or f?
q
Let h(r) = -75*r - 436. Let n be h(-6). Is n at least as big as 153/10?
False
Suppose 2*x + 3*n - 2154 = 0, -35*x + 2166 = -33*x - 3*n. Is 1080 at most x?
True
Suppose -205 = -5*h + 5*b, -3*b = h - 2*h + 45. Suppose 22*u - h = -17. Which is bigger: 7/4 or u?
7/4
Let y = 5603 + -3914. Is y at least 1689?
True
Let n = 0.354 + 3.246. Let w = -3.5 + n. Let c = 25 + 9. Which is smaller: c or w?
w
Let g be -7 + 47 + 4 + -2 + 0. Let i be ((-11)/5 + 5)/((-1)/(-15)). Does i = g?
True
Let h = 18 - 4. Let u be (-104)/h - (-2)/1. Let f = -1.2277 + 1.1277. Which is bigger: u or f?
f
Suppose -5*c - 155 = 2*t, 0 = -t + 3 - 8. Let m = c - -28. Suppose -o = 3*o + 8. Which is smaller: m or o?
o
Suppose 2*w = 5*w + 135. Let z = w - -78. Let t = 4834 - 4800. Is t < z?
False
Suppose 228*y - 244*y = 3248. Let k = y - -192. Are -14 and k nonequal?
True
Suppose -6*w - 426 = -432. Which is greater: w or 2/7353?
w
Suppose 24 = 5*h + 84. Let u = h + 51. Let n = -435/2 - -218. Which is bigger: u or n?
u
Let d be (-5 + 15)*(-4 + 128262/32070). Is 0 less than or equal to d?
False
Let b = 163089241781/99554323407 + -2/48873011. Let z = b + -37/21. Which is smaller: -1 or z?
-1
Let o be (42/9)/7 - 20/(-6). Let y be 45/18*o/(-5). Let q be (-44)/(-48) - y/6. Is q not equal to 1?
True
Let p(a) = 86 - 89*a + 46*a + 55*a. Let u be p(-6). Which is smaller: 12 or u?
12
Let h = -263.1274883 + -0.0055117. Let l = -263 - h. Are l and 0 unequal?
True
Let t be (-6756)/23625 + (-3 - (-46)/14). Let r = 23939/1236375 + t. Which is smaller: -1 or r?
-1
Let q be 1/(-3) - (-588)/1008. Let i = 68 - 33. Let j = i - 21. Is j less than or equal to q?
False
Let r be 3532/(-1788) + -3 - (-4 + -1). Let m = r - -33001/3129. Which is smaller: 2/11 or m?
2/11
Let b be -5 + (-4 - 130/(-15))/((-8)/(-12)). Which is bigger: b or 19/7?
19/7
Let l = -456 - -455. Let g(h) = h**3 + 3*h**2 + h - 1. Let s be g(l). Which is greater: -2/27 or s?
s
Let n be 15/(-6822)*-9*8/(-20). Which is greater: -1 or n?
n
Let y be 2087 - ((-3)/(-6) + 30/12). Is 2/7 > y?
False
Let z be (5 + 4 + 2)*5. Suppose k - z = 33. Suppose -11 = -87*l + k*l. Which is greater: l or -9?
-9
Let r = -209 - -209. Let p(i) = -i**3 + 5*i**2 + 9*i - 4. Let u be -10*4/((-60)/9). Let n be p(u). Which is greater: r or n?
n
Let m = -6/19427 + 18865/123983114. Are m and -1 non-equal?
True
Let w = -0.73 - -0.61. Let b = w + -5.78. Let n = -5.93 - b. Which is smaller: n or 5?
n
Let d(y) = -3*y - 19. Let a be d(-6). Let h(x) = 2*x**2 + 2*x + 1. Let c be h(a). Suppose 18*o = 19*o + c. Which is greater: -2/21 or o?
-2/21
Let y = 12249.2 - 12250. Let p = 0.33 + -17.33. Is y less than or equal to p?
False
Let k = 384 + -231. Suppose 159 = 6*z + k. Which is greater: z or 3/52?
z
Suppose -2*r + 7 = -3*r. Let j(u) = -6*u - 38. Let h be j(r). Suppose -11 = k - 2*k + 5*y, 5*k + 3 = -h*y. Which is bigger: k or -5?
k
Let d = 9482 - 12374. Is -2892 less than or equal to d?
True
Let w = 180987 - 180927. Let f = -0.9 - 0.1. Which is smaller: f or w?
f
Let c be (-42)/(-56) + (-2)/8*1423. Let g = -7097/20 - c. Which is bigger: g or 1/8?
g
Let g(z) = -56*z - 157. Let x be g(-4). Suppose -x*d + 75*d = -32. Let a = 2 - 3. Which is bigger: a or d?
a
Suppose 0 = 2*u - 5*d + 88, 9 - 1 = 4*d. Suppose -224 = 4*h - 60. Is h > u?
False
Let j = -31.948 + -0.052. Let m = -0.339 + -30.861. Let t = j - m. Which is smaller: 0 or t?
t
Let q be (-42 - -1)*(-1)/(5/(-10)). Let t be -1 + (1 - (82 + -1)). Which is greater: q or t?
t
Let a = -120919/20 + 6046. Which is bigger: -55/2 or a?
a
Suppose 0 = -3*c - 34*j + 31*j + 3, -3*c = 2*j. Let b(v) be the third derivative of -v**5/60 - v**4/24 + v**3/6 + v**2. Let h be b(c). Is h greater than -1/17?
False
Suppose 0 = 3*q + 3, -5*x + 178 = -174*q + 171*q. Which is greater: x or 10?
x
Let k = -477.876 - -0.876. Let c = 476.8 + k. Let l = -1320/7 + 188. Is l bigger than c?
False
Let l be (-3)/(-12)*8/(-3). Let i(u) = -5*u + 6 - 17 + 10 + 14. Let a be i(4). Do a and l have the same value?
False
Let w = -12339/10 + 80853/70. Which is greater: w or -78?
-78
Let l be 1648/40 + 7 + 31/(-5). Is l greater than 813/20?
True
Let h(q) = q**3 - 19*q**2 + 55*q + 38. Let i be h(16). Suppose 0 = 5*f, -70*m + 68*m + i = -f. Let t be (-1 - (-2)/3)*-219. Which is greater: m or t?
m
Let c be (2/(-6))/((-1)/(-2)). Let n = -241 - -278.5. Let y = n - 54.5. Which is bigger: y or c?
c
Let o = -259.8 + 245. Let a = o - 6.2. Which is