<= 1?
True
Let a(o) = o**2 + 4*o + 2. Let l = -4 - 0. Let g be a(l). Let s = -3/631 + 6337/5679. Is g at most s?
False
Suppose -7*m - 9 = -10*m. Suppose m*s = 7*s - 4. Which is smaller: 1/41 or s?
1/41
Let f = 1478 + -1477. Which is smaller: f or -5/83?
-5/83
Let t(n) = -n**3 - 2*n + 7. Let z be t(2). Which is greater: -3.1 or z?
-3.1
Suppose 0 = 42*n - 43*n + 1. Is 28/17 equal to n?
False
Let i = 0.05 + 0. Let w = i - 0.15. Let o = -30 + 35. Is w bigger than o?
False
Suppose 0 = -b + 3*g - 339, 0 = 3*b - 7*g + 9*g + 973. Is -328 bigger than b?
False
Let i(f) = -2*f + 4*f + 5 + f - 20. Let z be i(5). Which is greater: z or 1/11?
1/11
Suppose h + 6 = 2*o, 37 = -3*h - 4*o + 9. Is -10 < h?
True
Let r(l) = -l - 2. Let d(q) = -q**3 - q**2 + 1. Let c be d(1). Let f be r(c). Let z be ((-2)/(-17))/(1/1). Which is greater: z or f?
z
Let y be (-46)/(-12) + (-12)/((-15)/(-5)). Is y greater than or equal to -16?
True
Let p = 132/31 + -8782/2077. Let c = 71/134 - p. Let x = 5 - 4.7. Which is greater: c or x?
c
Let k be -4*(-24)/16*1. Let i = -10 - -14. Does i = k?
False
Let k = -39 - -64. Let t = k + -26. Let c = t + 0.9. Is -1/10 at least c?
True
Let k = 15.61 + -16.8. Which is smaller: k or -1?
k
Let t = 6/161 - 4376/126063. Which is bigger: -1 or t?
t
Let u(k) = -3*k**2 - 2*k**3 + 6 + 5*k**3 - k - 2*k**3 - 3*k. Let b be u(4). Suppose 0 = b*m - m. Is -2/13 > m?
False
Let n = 121 + -122. Which is smaller: 1/88 or n?
n
Suppose 10*p = -19 - 21. Let o be 8/(-10)*(428/8 - p). Which is smaller: o or -45?
o
Suppose l - 1 = -5*i, -5*l + 5*i + 100 + 25 = 0. Let t be -4 - (l/(-5) - (-3)/3). Which is smaller: t or -3?
-3
Let y be ((-16)/(-68))/(3 - 380/124). Are y and -3 non-equal?
True
Suppose 2*i - 5*i = 108. Let p = 57 + i. Let f be (-1)/(-1) + (-35)/p. Is -0.02 >= f?
True
Let f be 4/(-22) - 9185/(-605). Do f and -28 have different values?
True
Let h(c) = -c**2 - 8*c + 1. Let y be h(-5). Is 16 less than or equal to y?
True
Let p = -4.2 - -45.2. Is 2 greater than p?
False
Suppose -o + 173 = 4*t, 2*o + 3*t - 96 = 225. Is 154 bigger than o?
True
Suppose 2*z - 4*z = -3*v + 269, 0 = 4*v - 4. Let f = z - -3327/25. Which is smaller: -0.2 or f?
-0.2
Let z be (2/(-6))/((-21)/63). Let c be (-2 - (-1 - 4)) + 1/z. Suppose 8*v - 5*v - 5*d + 10 = 0, 0 = -3*v + d + 10. Is v smaller than c?
False
Suppose 9 = 2*m + 3*b, 3*m - b - 19 = -0*b. Let i be (m + -2)*-1*-1. Is 4 less than i?
False
Let u = 52 + 5. Do 58 and u have the same value?
False
Let p = -82 - -58. Let j = 2 + p. Let f = -22.1 - j. Which is bigger: 10/11 or f?
10/11
Let w(c) = c. Let m(h) = h - 5. Let g be m(4). Let z be w(g). Let p = 4 + z. Is p less than 2?
False
Let u = -254 - -4823/19. Let h(l) = l**3 - 7*l**2 + 1. Let i be h(7). Which is greater: i or u?
i
Let l(t) = 9*t**3 - 3*t**2 + 3*t + 6. Let o(a) = -a**3 - a**2 + 1. Let d(x) = l(x) - 5*o(x). Let q be d(-1). Is q >= -15?
True
Let h = 38375/7308 - 2/1827. Which is smaller: h or -7?
-7
Let l = 879/196 + 3/196. Which is greater: l or -14?
l
Suppose 5*l + 35 = -2*x, l = -0*l + 3*x + 10. Let h be ((-60)/(-9))/l*-3. Which is smaller: 3 or h?
3
Let k(w) = -82*w + 28. Let o be k(1). Is -0.7 at least o?
True
Let f be (-19 + 3/(-3))*-2. Let c = f - -21. Which is bigger: 62 or c?
62
Let d = 122 + -122.2. Are d and 3/31 unequal?
True
Let c be (3/2)/((-3)/6). Let u be 2/3 - 6/9. Suppose 5*r = 0, 4*d + 5*r + 4 = -u*r. Is c at most as big as d?
True
Suppose -50 = 10*h + 80. Is -101/7 less than h?
True
Let q = 11 + -12. Are q and -30/29 equal?
False
Let c = -35 - -35. Let s be (1 - -3)/(c - 2). Is s >= 25?
False
Suppose -7*g = 13*g + 780. Is -340/9 not equal to g?
True
Let l = -75 - -113. Is l > 35?
True
Let m(v) = -v**3 + 5*v**2 - 5*v + 6. Let g be m(4). Let l = -24409/3 - -8229. Let w = l - 91. Is g at most as big as w?
False
Suppose 0 = -2*v - 2*m - 4 + 2, 4*m = -2*v - 12. Suppose -v*y = -0*y. Let c = y + 0. Is c at least 0.07?
False
Let x(j) = j + 45. Let b be x(-20). Let r = -29 + b. Is r smaller than 0?
True
Let d = 4 + -3. Suppose 4*y - 1 = 3*y. Is y bigger than d?
False
Let g = 87 + 2. Let r = -627/7 + g. Let a = -27 - -25. Which is bigger: a or r?
r
Let r = 97.9 + -101.9. Which is smaller: r or 78?
r
Suppose 3*i - 2*i - 6 = 5*u, 0 = u + i. Let l be (-3)/2*(-1)/9. Is l < u?
False
Let k = -206 + 194.1. Let p = -2.1 + k. Which is smaller: p or -2/3?
p
Let o = 25 + -99/4. Let a be (-1 - (-1 - -10)) + 2. Let b be (a/2 - -3)*0. Which is smaller: b or o?
b
Let j(h) = -h**3 + 2*h**2 - 2*h - 2. Let u be j(-1). Which is smaller: u or 2?
2
Let q be (20 - (-3 - -7))/((-18)/(-29)). Are 27 and q nonequal?
True
Let g = -27923/6 + 4664. Which is greater: g or 10?
g
Let n = 3 - 7. Let u = 1 + n. Let z(i) = -4*i - 30. Let k be z(-7). Which is smaller: u or k?
u
Suppose o + 4*z - 2*z = -3, -2*z = -o + 1. Let f(v) = 14*v + 4. Let d be f(-6). Let l be 216/d + 3/1. Is l < o?
False
Let s = -31451 + 126525/4. Which is greater: 179 or s?
s
Suppose -511 = 32*d - 6655. Which is smaller: d or 198?
d
Let h = -92729/165 - -562. Is -1 less than or equal to h?
True
Let o be 3516/10 - (-4)/10. Is 352 equal to o?
True
Suppose -5*y + 312 = -4*y. Let t = -39 + y. Let r be 2/(-7) + 36/t. Which is smaller: r or 0?
r
Let s = 0.122 + 0.238. Which is smaller: s or -1/3?
-1/3
Let a = -0.56 + 14.56. Let i = a - 9. Which is smaller: i or -3?
-3
Suppose 2*n + 2 - 14 = 2*b, 4*n - b = 9. Is n at most 22/25?
False
Suppose 0 = 4*g + 3*z - 16, -5*g + 2*z - 5 = -2*g. Is g not equal to 2/281?
True
Let p be 4/2 - (-2)/(-1). Suppose 6 = -3*z - p. Let u be z/(21*6/(-27)). Which is greater: u or -0.2?
u
Let x be -1 - 15/(-6)*12/42. Is 30 less than x?
False
Let y be 2*236/96 + (-7)/21. Which is bigger: y or 6?
6
Let l be (2 + 3)/(2 + -1). Let f(y) = -y**2 - l*y - 3 - 1 - 3. Let g be f(-3). Which is bigger: 5 or g?
5
Let p = -488 + 3414/7. Are p and 36 non-equal?
True
Let h be (-5 - -6 - -1)*(-1)/(-35). Suppose r + 8 = -r - 5*u, 4*u = -2*r - 4. Let a = r - 6. Is h smaller than a?
False
Let z(j) = 2*j - 6. Let w be z(4). Suppose -5*n - 4*f = 18, 2 = 4*n + w*f - 7*f. Suppose -x + 1 = 3. Is n less than or equal to x?
True
Let d be (-669)/268 - 740/(-296). Which is greater: 0 or d?
d
Let z = 519748/193 + -2693. Is 1 >= z?
True
Let u = -4724/7 - -671. Which is greater: -3 or u?
-3
Let u = -155.1 - -155. Is u greater than 1/26?
False
Let f(m) = -m**3 - 8*m**2 + 9*m + 20. Let t be f(-8). Which is greater: -160/3 or t?
t
Let a(v) = -v**2 + 4*v - 7. Let n be a(0). Let d be (3 - 1 - 1) + -8. Is d not equal to n?
False
Let n = 332 - 332. Which is greater: -2/127 or n?
n
Let i = -23.94 - -24. Let z = 0.04 - i. Which is smaller: 0 or z?
z
Let o be (0 + -1)/((-1)/5). Suppose -d - 40 = -o*d. Let a(t) = -4*t**3 - 141*t**2 + 107*t - 26. Let j be a(-36). Is j bigger than d?
False
Let n(v) = -3*v**3 + 14*v**2 - 25*v + 73. Let g be n(4). Let s = -111/290 + -1/58. Which is bigger: s or g?
g
Let j = -129 - -123. Which is smaller: j or 2/5?
j
Suppose 4*n = -g + 22, -n + 2 = -2*g + 1. Let v be (-2)/(-14) - (-552)/105. Let o = v + -93/20. Which is bigger: g or o?
g
Suppose -2*g - 4*c + 32 = 0, -2*g + 4*g - c - 22 = 0. Let s(u) = u**2 - 6*u - 24. Let y be s(g). Which is greater: y or 47?
y
Suppose 2*w = -3*w + 10, 4*w - 24 = -4*p. Suppose -y = -2*u - 3, -3 = p*y + 2*u - 5. Is y at most as big as 1/31?
False
Suppose -12*q = 10*q - 1804. Let p = 247 - 165. Is p bigger than q?
False
Let m = 1393 - 1318. Is m at most as big as 77?
True
Let l = 40.99 - 18.99. Let n = 0 + 1. Which is bigger: n or l?
l
Suppose 53*n = 24*n + 30*n. Which is smaller: n or 2/1065?
n
Let c = 0.16 + -0.23. Let s = -0.87 - c. Let y = s + -0.2. Is -3/13 >= y?
True
Suppose -3*x + 102 = 5*a - 4*x, 3*a - 62 = x. Suppose -20 = a*f - 15*f. Let c = -7 - f. Is -5/2 at least as big as c?
True
Let d(o) = -6*o**2 - 4*o + 3. Let t(u) = u**2. Let v(c) = d(c) + 5*t(c). Let n be v(2). Suppose h = -s - 7, -5*s + h - 42 = 11. Are s and n nonequal?
True
Let o be (34 - 1)*(500/(-90))/(-5). Is o bigger than 37?
False
Let m = 392 + -12153/31. Let l be ((4/2)/4)/((-116)/1624) - -6. Is l > m?
False
Let x be 6 + -1 + 6 + -3 + -5. Let o = 10 + -17. Let a = x + o. Are 1 and a nonequal?
True
Let z = 113 + -98. Let r be (4/(-1))/((-6)/z). Which is smaller: 12 or r?
r
Suppose -4 = 4*h - 3*h + 3*z, h