 6 + -5.99. Let f = -8.63 - 0.37. Let o = 8.9 + f. Which is greater: j or o?
j
Let j = -488 - -489. Which is greater: j or 2/285?
j
Let c = 499 + -665. Is c at most -170?
False
Suppose 2*l - 13 - 9 = 0. Suppose l - 53 = -3*r. Which is smaller: r or 13?
13
Let y = -704 + 704.813. Let s = 0.047 + y. Let c = s - -0.14. Is c >= 0.4?
True
Let f = 13 - 11. Suppose -3*a - 5*l + 150 = -2*a, f*a - 2*l - 264 = 0. Let v = -398/3 + a. Is v >= 3?
False
Let s be 2 + 3/(-2) - 2946/5940. Which is bigger: -1 or s?
s
Let o = 0 + 2. Suppose 1 = o*v - 11. Is 7 > v?
True
Let x = -0.2 + 16.2. Which is smaller: x or -2?
-2
Let h = -5 - -3. Let q be 124/(-40)*-2 + -2 + -4. Which is bigger: h or q?
q
Let m be (-54)/(-248) + 7/(-28). Suppose -s = -2*s + 1. Which is bigger: m or s?
s
Let y = -17 + 10. Let b(c) = -c**3 + 7*c**2 - 4*c. Let v be b(6). Suppose 5*t + 18 = -v. Is t < y?
False
Let y = -368 - -201. Which is bigger: -166 or y?
-166
Let q be (-2)/6 - (-657)/27. Let l = q - 10. Suppose l = -5*c + 4. Are -2 and c equal?
True
Let n = 1.29 + -1.2. Let f = -0.0744 - -0.2744. Which is smaller: n or f?
n
Let v(h) = 41*h - 129. Let r be v(4). Which is greater: r or -21?
r
Let g = 567 - 569. Are g and -85 non-equal?
True
Suppose -3*o + 34 = -o - 3*u, 0 = -5*o - 5*u + 35. Let i(c) = c**3 + 6*c**2 + c - 7. Let r be i(-5). Is r equal to o?
False
Let i = 144 - 145. Do i and -21/10 have different values?
True
Let z(y) = y**3 + 48*y**2 - 22*y + 77. Let c be z(-48). Which is greater: c or 1132?
c
Let d = -51 - -50.62. Let j = -0.3 - d. Is 2 at most as big as j?
False
Let f = -5 + 3. Suppose -2*j + 2 = -3*j. Let n be -4 + (1 - (j - 0)). Is f smaller than n?
True
Let h be -8 - (518/(-72) + 39/52). Let g(c) = c**2 + 6*c - 10. Let z be g(-8). Suppose z*x - x = -5. Which is smaller: x or h?
h
Suppose -4*q = -4, -3*g - 2*q - 15 = q. Let k = 7.79 + -6.79. Which is smaller: g or k?
g
Suppose 3*q + 28 = 2*l + 11, -28 = -3*l + 2*q. Let o = -8 + l. Suppose 0 = 5*r - 4*i + 9, -2*i - 1 = o*r + r. Which is smaller: r or 0?
r
Suppose -t + 8*d + 171 = 5*d, 2*d - 374 = -2*t. Is 367/2 less than or equal to t?
False
Let y(n) = n**2 - 39*n + 284. Let z be y(31). Which is greater: 0.2 or z?
z
Let j be 6 - 19/3 - (-6478)/120. Let v = 287/5 - j. Is 3 bigger than v?
False
Let t be 8/42 + (-20)/60. Which is smaller: t or -11?
-11
Let a be (((-2)/4)/(11/660))/31. Is a smaller than -1?
False
Let c = -57 + -109. Let n = 175.98 + c. Let f = n + -10. Which is bigger: f or 1?
1
Let c be 0 + 5 - 13 - 4/2. Is -10 bigger than c?
False
Let j(v) = 4*v**2 + 169*v - 99. Let a be j(-43). Which is bigger: 28 or a?
a
Let g be (5/(-40))/((-5)/(-270)). Is g at least as big as -6?
False
Suppose 5 + 11 = -r. Let p(u) = -u**3 - 16*u**2 + 14*u - 7. Let v be p(r). Let t be 2/11 + (-90)/v. Which is bigger: t or 0?
t
Suppose u = 3*k + 82, 3*u - 288 = -u + 2*k. Let y be (-1)/9 - u/(-360). Which is smaller: y or 0.5?
y
Let h = 6237 - 6237. Let d be ((-2)/14)/(2/(-20)). Which is smaller: d or h?
h
Let a be (0 + 0)*(23 - 41 - -17). Which is greater: a or -1?
a
Suppose 5 = -z - o, -14*o + 11*o = -2*z + 5. Do 64 and z have the same value?
False
Let d = 3.54 - 7.71. Let v = d + 0.17. Is 3 smaller than v?
False
Let s = 116 - 117. Which is smaller: 243 or s?
s
Let q(m) = m**2 + 4*m + 2. Let v be q(-2). Let o = -1915.85 + 1916. Is v > o?
False
Let x be ((-14)/42)/(908/(-16)). Is 0 bigger than x?
False
Let m(w) = 19*w**2 - 96*w - 8. Let t be m(5). Is t less than or equal to -6?
True
Suppose -8*d + 72 = -312. Suppose 0 = -k - d - 34. Is -83 greater than or equal to k?
False
Let b be (21/(-14))/((-6)/(-32)*-4). Is -3 greater than b?
False
Let l be (3/(-146))/(-6 - 84/(-16)). Which is bigger: 1 or l?
1
Let q(h) = -h**2 + 42*h + 22. Let l be q(42). Let s be (-600)/(-27) - 2/9. Is l <= s?
True
Let w be (-48)/(-36)*6/4. Suppose -q + 1 = -w*q. Let a = 215 + -865/4. Which is smaller: a or q?
a
Let z = -197.82 + 200. Let l = z + -1.68. Which is smaller: -4 or l?
-4
Let g(c) = -c**3 + 6*c**2 + 3. Let b be ((-12)/10)/(4/(-20)). Let i be g(b). Suppose i*m = 8*m + 5. Which is bigger: m or 2/9?
2/9
Let v(p) = 6*p**2 + 3. Let z be v(-2). Let h be 14/(-6) - 18/z. Let q be -5 - (h - -7 - 3). Is -4 bigger than q?
True
Let t be (4068/(-16))/(1320/320). Is t at most as big as -62?
False
Suppose 0 = 3*v - 9*v - 18. Let l(y) = -16*y + 5. Let u be l(v). Let w = u + -157/3. Which is smaller: w or -5/3?
-5/3
Let s = 4.2 - 24.2. Let j = -262.1 - -262. Which is bigger: s or j?
j
Let q(i) = -i**2 - 10*i. Let s be q(-10). Let c(j) = -10*j + 7*j**2 + s*j**2 - 4*j**2 - 9 - 2*j**2. Let o be c(9). Is o smaller than -19?
False
Let y = -273/164 - -17/41. Let g(c) = -c**3 + 5*c**2 + 1. Let r be g(5). Is y greater than or equal to r?
False
Let u be (1 - 1) + 28/7 - 31. Let c = -25 - u. Is c at least as big as 1/2?
True
Let s be 32/(-112) + (-13950)/28. Let k = -509 - s. Is -12 less than k?
True
Let g = 112/137 - -38049/548. Is g > 71?
False
Let h = -840297/5 + 166916. Let i = -1147 - h. Let m(s) = 2*s**3 - 27*s**2 + 38*s - 28. Let o be m(12). Which is greater: o or i?
i
Let p = 218.2 - 218. Which is smaller: p or -70?
-70
Let x = 9/5 + -51/20. Which is smaller: -0.13 or x?
x
Let j = 717 + -717. Is -11/12 less than j?
True
Let n be ((-605)/(-88) + -12)*(-1)/4. Are n and 1 nonequal?
True
Let z be 1 + (-926)/360 + 4/18. Is z greater than 0?
False
Suppose b = 2*z - 8, -4*b = 5*z - 14 - 6. Is 7/221 at least b?
True
Suppose -7*x + 11*x - 52 = 0. Let n(t) = 16*t**2 + 2*t + 1. Let f be n(-1). Which is bigger: x or f?
f
Let d(o) = o**2 + 8*o + 1. Let k be d(-7). Let l be (4/18)/(5 - (-26)/k). Is l >= -6/7?
True
Let c(b) = -b**2 - 3*b + 4. Let o be c(-3). Suppose h - 3*a - 17 = 0, o*h - 3*a - 95 = -0*h. Which is bigger: h or 25?
h
Let s = 0.01 + 0.06. Let v = -0.12 + s. Let y = 0.95 - v. Is y less than -4?
False
Let c be 4 + 4*(-2 - -3). Let g be ((-24)/c)/(3/2). Let v = 11.7 - 12. Which is smaller: g or v?
g
Suppose 2*i - 4*i + o = -16, 3*i + 2*o = 38. Let a be (-1 - (-22)/i) + 0. Let p = 10 + -9. Is a != p?
True
Let o(j) = 97*j + 21. Let i be o(-1). Which is smaller: 0.1 or i?
i
Let v(w) = -w**2 + 12*w + 23. Let j be v(14). Let s = 5 - 2. Suppose 15 = -2*g - s*g. Which is smaller: j or g?
j
Let f = 21.05 + -21. Let h = f + -0.06. Which is bigger: -1 or h?
h
Let v(y) = y**2 + y + 1. Let d be v(-8). Let q = -50 + d. Is q less than 27/4?
False
Let g be (4 - 184/(-4)) + -2 + -4. Is 351/8 greater than or equal to g?
False
Suppose -10*r + 5*r + 15 = 0. Suppose -r*z = z - 4. Is 10/7 != z?
True
Let o be (-31)/(-124) - (-278)/(-1096). Is o at least -1?
True
Let l = -991157/32 - -30971. Which is smaller: -2 or l?
l
Let o = -77 - -41. Let j = o - -33. Do j and 21 have different values?
True
Let p be (-6)/12 - (-70)/44. Let s(y) = -3*y**2 - 13*y - 3. Let z be s(-4). Are z and p nonequal?
True
Let v be 4 + (-3 - -1) + -2. Suppose v = b + 4*b. Suppose -g - 4*s + b = 7, 5*s + 9 = -g. Is -2/17 at most g?
True
Let w = 67 - 67.135. Let h = 0.035 + w. Which is smaller: h or -2/9?
-2/9
Let t(x) be the first derivative of -7/3*x**3 - 7*x - x**2 - 1/4*x**4 + 3. Let s be t(-7). Which is bigger: s or 6?
s
Let w be (((-15)/25)/(1/5))/(-3). Let n be 2*(-3)/(w*66). Which is smaller: 1 or n?
n
Let o be 2 - 1 - (0 + 2). Let c be 8/32 + 1670/8 + -3. Let v = c - 209. Which is bigger: o or v?
o
Let v be (1/14)/((-18)/63). Let r be -2*(0 + 0 + -8). Which is bigger: v or r?
r
Suppose -3*h + 20*d + 351 = 21*d, 122 = h + 2*d. Is h >= -3?
True
Let n be 5 - ((-2)/5 + 2/5). Suppose 0 = 6*i + n*i + 231. Which is bigger: -1 or i?
-1
Suppose -f + 5*u + 443 = 3*f, 3*u = -9. Is 107 at least as big as f?
True
Let f be 0/((60/10)/6). Is 1/94 less than or equal to f?
False
Let a = -27 - -28.1. Let j = -0.198 + -0.002. Let z = a + j. Is z greater than -0.2?
True
Let m be (-1)/(-4) + (-2)/8. Let f be 1 - ((-311)/3960 - 6/(-10)). Let t = f - 3/88. Which is smaller: t or m?
m
Let u = -6434 + 1988108/309. Which is smaller: u or 0?
0
Let t = -77/1068 - 1/89. Let p(k) = -k - 3 - k + 4*k. Let y be p(2). Are t and y equal?
False
Suppose -240 = -6*u + 2*u. Suppose 12*i = 6*i + u. Let f(o) = o**2 - 4*o + 6. Let n be f(5). Which is greater: n or i?
n
Let g = -1210124/375 - -3227. Is 0 not equal to g?
True
Let l = -13 + 18. Is l less th