 less than -1?
False
Let w(z) = -z**2 + 9*z + 1. Let p be w(6). Let o = p + -17. Suppose -s + o = -4*u, 5*u - s + 1 = -1. Is -3/5 > u?
False
Let j = -6 + 6.3. Let t = -1.3 + j. Suppose 5*f + 739 = 744. Which is greater: t or f?
f
Let b = -21028/123369 - -2/2091. Is b less than 0?
True
Let r = 0.92 + -1.11. Let j(w) = -w**2 + 11*w - 3. Let m be j(11). Which is bigger: r or m?
r
Let n(g) = -5*g - 80. Let b be n(25). Is b greater than -205?
False
Let d = -309.9 + 310. Is -35/11 at least d?
False
Let l(f) = -10 + 2*f - 2*f - 2*f. Let v be l(-9). Suppose 0 = 2*d - 0*d - 16. Is v < d?
False
Suppose -3*w - 5*t - 18 = 0, 30*w - 25*w = 3*t + 4. Which is smaller: w or 2/1055?
w
Suppose -4*a = a. Let f = 2934647/399 - 7355. Which is smaller: f or a?
a
Let m = -798 - -795.91. Which is bigger: m or 5?
5
Let f be (-265 - 2)*-4*(-3)/(-24). Is 135 greater than or equal to f?
True
Let m(k) = k**3 - 15*k**2 + 14*k - 4. Let p be m(14). Let u be (4 + 27/(-6))/((-2)/p). Is u < -32?
False
Let a = 103 - 97. Let g(o) = -o**3 + 5*o**2 + 14*o - 37. Let i be g(a). Which is greater: -2/15 or i?
i
Let u = 995/6 - 165. Which is smaller: u or 1?
u
Suppose -19*o + 14*o = -400. Suppose -t = -9*t - o. Is -10 <= t?
True
Suppose 4*h = 3*w - 10, 2*h + 3*h = -5. Are w and 30/11 equal?
False
Let m = 1007.81 - 1008. Which is greater: m or 5?
5
Let q = -17 + 17. Suppose -5*a - 49 - 6 = q. Let p = a - -13. Is -1 <= p?
True
Let i = 272 - 221. Are 50 and i nonequal?
True
Let c(s) be the third derivative of s**6/120 + 2*s**5/15 - 11*s**4/24 - 2*s**3 + 6*s**2. Let b be c(-9). Suppose b*n = -n. Which is greater: n or -6/11?
n
Suppose -1 = -3*d + 2*d. Let s be ((-1)/(-2))/((-14)/d). Is -1 < s?
True
Let p = -203.54 + 204. Which is greater: 1 or p?
1
Let t(m) = -51*m**2 - m + 1. Let v be t(1). Suppose 14*f + 232 = -482. Is v bigger than f?
False
Let z = 43.2 - 43.1. Which is smaller: z or -0.031?
-0.031
Let z = -34 + 21. Let u be z/33 + (-10)/(-15). Which is bigger: -1 or u?
u
Let z = 4.35 + -3.85. Is z greater than 1/2?
False
Let c = -2 - -2.03. Let g = -124 + 119. Let k be g/(10/9) + 4. Are k and c nonequal?
True
Let d be (-2)/(-24)*(-3)/(510/16). Does -1 = d?
False
Let w(b) = -2*b - 4. Let q be w(-7). Let r(z) = z**2 - 9*z - 6. Let i be r(q). Which is smaller: i or 5?
i
Suppose -35*o + 4052 = -1443. Is 157 equal to o?
True
Suppose -5*t + 33 = 3*g, t + 27 = 7*g - 2*g. Let k be 2/g*(4 + -5). Suppose 0 = 4*u + 1 - 5. Is u <= k?
False
Let w = -14 + 30. Let f = -16.343 + 0.243. Let v = w + f. Is v < -1?
False
Let s(j) = 145*j + 685. Let q be s(-13). Which is bigger: q or -1201?
q
Let f be ((-30774)/(-4446))/23 + 1/(-3). Which is smaller: f or -1?
-1
Let g = 178504031/4913 - 36333. Which is greater: g or 1?
1
Let z(k) = k + 45. Let a be z(-22). Suppose -2*h - 24 = -h. Let v = a + h. Is v <= -3/5?
True
Let a(w) = 7*w**2 + 12. Let d = -15 + 9. Let i(g) = 13*g**2 + g + 23. Let q(s) = d*i(s) + 11*a(s). Let b be q(-5). Is -2/3 not equal to b?
True
Let g(o) = -9*o - 18. Let s be g(-2). Which is smaller: -3/74 or s?
-3/74
Let m = -1605 - -926083/577. Which is smaller: m or -0.1?
-0.1
Let v(t) = -t**2 - 5*t. Let k be v(-6). Let m be 3*4 - (11 + -7). Let c = m + k. Is c at least -5?
True
Let x = 122 + -98. Is 162/7 at least as big as x?
False
Let j be (1898/143 - 13)/(-2). Let v be (-4)/6 - 10/(-6). Which is smaller: v or j?
j
Suppose 10*u - 436 = 14. Suppose 0 = -c - 2*c + u. Is 13 < c?
True
Let a = 29/22 - 22663/17226. Is -1 at most as big as a?
True
Let x = 43 - 38. Suppose 7*o - x*i = 3*o + 257, -i = 1. Let d be (-72)/o*(-7)/2. Which is smaller: d or 19/5?
19/5
Let w = -1 + 4. Suppose 2 = w*b - 5*b. Is 1/10 at least as big as b?
True
Let z(c) = c - 4. Let i be z(3). Let k(v) = -2*v**2 + 2*v - 1. Let b be k(1). Let n be 1/((-3)/((-1)/b)). Is i at least as big as n?
False
Let m = 0.31 - 2.91. Let a = -3.7 - m. Is 0 >= a?
True
Let u be (3/15)/(75/631). Let x = u - 2/125. Which is smaller: 1 or x?
1
Let v = -18 - -21. Suppose -4*f + 3 = -5*l, f - v*l - 13 = -3*f. Let z = -0.12 + -0.08. Is z equal to f?
False
Let k = -1047 + 764. Which is bigger: -281 or k?
-281
Let h = -20.11 - -18.11. Is h at most 32?
True
Let w = 516/35 - 13564/1015. Is w less than or equal to 0?
False
Let h = -28 + 31. Let y be (1/9*-3)/h. Which is greater: y or -1/4?
y
Let k be -6*(2 - 1)*-1. Suppose -4*u = 10 - 30. Which is smaller: k or u?
u
Let y be 711/102*-1 + 43 + -36. Is y less than 1?
True
Let z(n) = 2*n**2 - 3*n - 3. Suppose -2*l + l + 50 = 4*v, -l - v = -35. Suppose -l = -5*x + 4*j, 3*x + 4*j + 12 = -2. Let q be z(x). Is 1/5 not equal to q?
True
Let c(y) = 3*y**2 + 116*y - 37. Let m be c(-39). Which is bigger: m or -1/259?
m
Let l(y) = y**3 + 7*y**2 - 6*y + 13. Let q be l(-8). Let b = q - 14. Is -17 less than b?
False
Let s = -661 - -710. Do s and 49 have the same value?
True
Let j = -26.26 - -26. Let n = -26.74 + j. Let v = 24 + n. Which is smaller: v or -4?
-4
Suppose -t + 0 = -2. Let u = -76 - -40. Let g = -35 - u. Is g greater than or equal to t?
False
Let y be (-5)/(-75) - (-1)/3. Let v be (-68)/(-14) + 3*-1. Let a = -86/35 + v. Which is smaller: a or y?
a
Let m = 1385 - 675. Which is smaller: m or 711?
m
Let i = -7817/3 - -2014180/773. Which is greater: i or 1?
1
Let h = -2366 - -40284/17. Which is bigger: h or 3?
h
Let n = 56329/262 - 215. Which is smaller: 1 or n?
n
Suppose 5*j = -5*u - 5, -3*u - 4*j - 6 = 1. Suppose -t + 4 = u*t. Which is greater: t or 1/26?
t
Let h be 0/8*4/(-28). Which is smaller: -1/12 or h?
-1/12
Let x be 1/(3/30)*(1 - 2). Which is bigger: 1/4 or x?
1/4
Let o = 48 - 48.51. Let z = o - -0.51. Is -31 at most z?
True
Let g = -523.9 - -526. Is g at least as big as 22?
False
Let c = 404 + -404.06. Let k = -9 - -13. Is c less than k?
True
Let u be ((-1105)/(-34))/(9/(-2)). Which is smaller: -6 or u?
u
Let x be 0 + (178/(-14) - 3) + 4. Which is smaller: -13 or x?
-13
Suppose s + 1 = -0*s, -2*b - 4*s - 2 = 0. Let o = -19 + 18.1. Let a = o + 1. Which is smaller: b or a?
a
Let b be ((-10)/220)/((-1)/4). Is b at most as big as -2/15?
False
Let r = 47.3 - 99.3. Which is smaller: r or 8/3?
r
Let j(n) = 2*n**3 + 12*n**2 - n + 6. Let g be j(-5). Which is bigger: 59 or g?
g
Suppose 985 = 3*v - 74. Let c = -2477/7 + v. Is c > -0.1?
False
Let j = 13.7 - -10.3. Let b = j + -23.92. Is b at least -1/5?
True
Let q = 227/892 - 1/223. Let p be ((-55)/(-40))/(2/12). Which is smaller: q or p?
q
Let q = 210.2 - 210.3. Is -0.69 equal to q?
False
Let v(g) = -g - 6. Let q = 17 + -29. Let t be v(q). Let w be t - 7/(21/12). Is w bigger than 9?
False
Let p = 217 + -7160/33. Which is smaller: -2/9 or p?
-2/9
Let p = -54.989 + -0.011. Which is smaller: 0 or p?
p
Let a(n) = -9*n**2 + 5*n + 3. Let z be a(4). Let d be (-22)/z + (-194)/1430. Is -1 less than d?
True
Suppose -4*y + 14 = k, -3*y + 7 = 4*k + 3. Suppose 3*i + w - 11 = -0, -25 = -5*w. Suppose -r = i*r + 3. Which is bigger: r or k?
r
Let m = -79 + 111. Do 31 and m have the same value?
False
Let z = -1134 + 1131. Let k be 1*(3 + -1)/(-1). Is k less than or equal to z?
False
Suppose 117*o = 128*o - 11. Let w = 0.46 + -0.06. Are w and o nonequal?
True
Let n = -1640 + 1740.9. Let u = n - 102. Which is smaller: u or 3?
u
Let n(m) = m**3 + 5*m**2 - 14*m + 5. Let l be n(-7). Suppose -131 = l*a - 36. Is -19 bigger than a?
False
Let w = 417 + -438. Which is bigger: -5 or w?
-5
Suppose 3*x - 20 = -2*z, -4*x + 8 = 4*z - 24. Let y(g) = -15*g**2 + 4*g. Let d be y(x). Let u = -2915/13 - d. Is -1 bigger than u?
False
Let j = -0.7426 - 0.0474. Which is bigger: 0 or j?
0
Suppose 11*n = 571 - 505. Is 15 at least as big as n?
True
Let k be 3 - (23816/2648)/(-1 - -4). Are k and 0 unequal?
True
Let z be (-8 - (-44)/11)/(-4). Is 2/281 greater than or equal to z?
False
Let p = 585/2 - 16077/55. Is -1 at least p?
False
Let h(j) = -2*j - 16. Let s be 2/12 - (-111)/(-18). Let i be h(s). Let y be 3/(3 + 0)*-2. Which is greater: i or y?
y
Suppose 3*i = -362 + 29. Let s = 111 + i. Which is smaller: -3/47 or s?
-3/47
Suppose -v + 33 = 30. Let j be v + 5/((-170)/106). Which is smaller: 3 or j?
j
Suppose -6*z + z = 0. Let l be 238/48 - (-75)/(285/(-19)). Is z greater than l?
True
Let h be (-9 + 7 + (-462)/(-4))*-8. Is -907 at least h?
True
Let u be (-3 - 30/(-2))/(4/6). Let r be (u/(-56))/((-3)/2). 