ue
Let c = 482 - 16871/35. Let i be (0 + 1)/((-2)/6 - (-56)/42). Which is bigger: c or i?
i
Let h(s) = -s**3 + 11*s**2 + 2*s + 9. Let n be h(11). Let u be -3 + 3 - (0 - n - -3). Is 28 at least as big as u?
True
Let s(v) = 1 + 1 + 0 + 1 + v. Let i be s(-1). Let x(h) = h**2 - 5*h + 2. Let g be x(5). Is i > g?
False
Let y(m) = m**3 - 10*m**2 - 13*m + 46. Let u be y(11). Are 24 and u unequal?
False
Let s = 17 + -17.1. Let v = -3.08 - -0.08. Let u = -3.2 - v. Are s and u unequal?
True
Let m = 16.8 + -38.9. Let t = -22 - m. Which is greater: t or 8/7?
8/7
Let i(h) = h**2 - 12*h - 38. Let m be i(14). Is -28/3 greater than or equal to m?
True
Let s(x) = x**3 + 5*x**2 - 8*x - 4. Let b be s(-6). Suppose 2*n = 8 + b. Suppose -3*a + 2*d - 5 = 4*d, 0 = -4*a + d + n. Which is smaller: a or -4/9?
-4/9
Suppose 4*r - v = 3, 2*r - 4*v = 15 - 3. Let u be (-3)/(-1) - -4 - r. Is u != 7?
False
Let v be -7 + 10/6 + (-10 - -16). Is v at most 440?
True
Let v = 123.25 - 122. Let h = v - -2.75. Which is smaller: h or -2?
-2
Let n be ((-27)/189)/((-5638)/14). Is n less than 0?
False
Suppose 0 = 2*d + 3*d. Let b be 45/135*9/14. Does d = b?
False
Let p be (-1)/(-2)*(-8)/(-6). Let y = -156.772 + 159.8. Let r = y - 0.028. Is r <= p?
False
Let d = 2 - 4. Let s be (2256/(-1504))/((-30)/(-28)). Which is greater: d or s?
s
Suppose 2*s = -5*z + 10 - 62, -z = 0. Are s and -9 unequal?
True
Suppose -25*q + 22*q = -12. Suppose -q*f - j + 4*j + 25 = 0, -5*j = 5*f - 75. Which is bigger: 6 or f?
f
Let z = 29 - 5. Let y = 22.2 - z. Which is smaller: -1 or y?
y
Let o be 7 + (8 + 13)/3. Which is smaller: -6 or o?
-6
Let k = 3 - -13. Let t be 0 + 1/((-3)/(-21)). Suppose q = t + 7. Is k < q?
False
Suppose -z + 73 - 10 = 0. Suppose -2*l - l = z. Let u = 24 + l. Do 5/2 and u have the same value?
False
Suppose 3*o = 1 + 2. Let z(a) = -a + 4. Let m(g) = g**2 + 4*g + 4. Let i be m(-4). Let k be z(i). Are o and k nonequal?
True
Let k(q) = 38*q**2 + 15 - 66 - q - 37*q**2. Let g be k(7). Do -9 and g have different values?
False
Let t be (0 - 1) + 0 + -2. Let b be ((-27)/6 - -2)*-10. Suppose -b = -p + 6*p. Which is smaller: p or t?
p
Suppose -5*l - 15 = 0, -7*a = -2*a + 5*l + 10. Let p(b) = b**3 - 2*b**2 + 1. Let y be p(a). Is y greater than -2/39?
True
Suppose -3*p - 10 = 2*p. Let l be ((-5)/((-20)/(-24)))/p. Suppose 2*b = l*b + 1. Which is smaller: b or -3?
-3
Let y = -97 + 97. Is -2/11 > y?
False
Suppose 63 = 2*x + 65. Which is greater: x or -18/53?
-18/53
Let f be 8/24*0 - -2. Let r(x) = x - 1. Let h be r(5). Which is smaller: h or f?
f
Let n be 6/(-14) - (-320)/616*1. Which is smaller: -1 or n?
-1
Suppose -29 = -5*t - 3*c, -t - 11 = -7*c + 2*c. Suppose -b = -t*b - 9. Let k = b - -3. Which is smaller: k or 2/3?
k
Let g be 6/7*((-22750)/2086 - -11). Which is greater: g or 1?
1
Let j = -3 - -3.002. Let n = j + -0.102. Which is smaller: n or -1?
-1
Let a(c) = c**3 + 5*c**2 + 3*c + 2. Let k be a(-4). Suppose -k*p = -p. Suppose -5*i - 8 + 3 = p. Which is smaller: i or -2/21?
i
Let i be (-4)/(-3)*363/(-22). Let x be -20 - -21 - i/(-7). Suppose 3*a = -3 - 3. Is a bigger than x?
True
Let t(f) = f**3 - 2*f**2 + 12*f - 45. Let v be t(8). Is v greater than 436?
False
Suppose f - 2*f = 0. Suppose f = -2*z + 5*z - 12. Suppose z*l + 0*l = 0. Which is smaller: -1/2 or l?
-1/2
Let g be (53*1)/(14/(-42)). Let c = -1429/9 - g. Which is smaller: 5 or c?
c
Suppose -237 = 21*y + 15. Are y and -4 equal?
False
Let b = -2 + 3. Suppose 2*z - 825 = -151. Let k = -11120/33 + z. Is k smaller than b?
True
Suppose -5*v + 16 = -5*i - 2*v, 0 = -4*i - 2*v - 26. Is -4 <= i?
False
Suppose 6*o + i - 3 = 2*o, 2*o + 3*i + 1 = 0. Let l be 4*(o + (-6)/4). Let c = -32/55 + 2/11. Which is smaller: c or l?
l
Let o = 3 - 2. Let x = -75 + 38. Let y = x + 37. Which is bigger: y or o?
o
Let a be ((-6)/28)/((-72)/42). Suppose 0*o = 6*o + 6. Which is smaller: a or o?
o
Suppose 418 = -3*i - 224. Let r be i/88 + (-2)/(-8). Is -3 >= r?
False
Let k = 152 + -80. Let h be (((-1)/(-34))/(6/k))/1. Is h < 1?
True
Let q(t) = 8*t**2 + 15*t + 18. Let i be q(-9). Is 532 at least i?
True
Suppose -128*t + 133*t + 5 = 0. Is 1/149 less than or equal to t?
False
Let v be 342/66 - (-2 - 48/(-22)). Let n = 6 - v. Let q = 89 - 1155/13. Is n less than q?
False
Let h be (-3)/(-4) - 5653070/3240. Let y = h + 1744. Is y at most 0?
True
Let w = 0 + 0. Let q(x) = 3*x + 48. Let h be q(-11). Let v = -61/4 + h. Is w not equal to v?
True
Let j(o) = -o**3 + 12*o**2 + o + 8. Let s be j(12). Suppose -6*h + s = 74. Is h less than -7?
True
Let x = 56 - 54. Suppose -4*d - x*s = 230, -4*d - 25 = -s + 220. Do d and -60 have the same value?
True
Let n = -18 - -82. Let r = 74 - n. Let j = 0.2 - 0.4. Which is bigger: r or j?
r
Let k be 4 + 30/(-3) + 4 - -2. Which is smaller: 80 or k?
k
Let d = -0.5925 - 0.0075. Which is greater: d or 12?
12
Suppose -10 = -18*f + 13*f. Suppose -4*h + 48 = 5*s - 17, f*s = -3*h + 47. Is h greater than 15?
False
Let y be ((-91)/14)/((-1)/(-8)). Let c = 54 + y. Are 4 and c equal?
False
Let h be (162/8)/(27/(-72)). Let y be (-3)/1 - (3 + h). Suppose l + y = -3*l. Which is smaller: -10 or l?
l
Let w be (53 + -50)/((-14)/20 + 1). Which is greater: w or 11?
11
Let d = 2.056 - 1.956. Suppose 460 = -5*z - 495. Let c = -1523/8 - z. Is c bigger than d?
True
Let d be 1 + -6 - (2 + (-39)/6). Which is bigger: d or -143?
d
Let x(i) = -i**3 + 42*i**2 + 43*i + 52. Let o be x(43). Is o equal to 49?
False
Suppose 283*f = 286*f + 4*k - 13, 5*f + 17 = 3*k. Is -2/2405 less than or equal to f?
False
Let w be 4*(-4)/8*2/14. Let s(f) = -5*f**3 - 3*f**2 + 8*f + 1. Let r(k) = -11*k**3 - 7*k**2 + 17*k + 2. Let a(x) = -6*r(x) + 13*s(x). Let z be a(-2). Is z > w?
True
Let l = -3216 - -1157761/360. Which is smaller: l or 0?
0
Let t = -44.66 - -73.57. Let d = 29 - t. Let v = 4 + -3. Are v and d nonequal?
True
Let u = 14.36 + -11.8. Which is greater: -2/3 or u?
u
Suppose 10*o + 18 = 7*o. Let g(u) = u**2 + 2*u - 4. Let t be g(0). Which is smaller: o or t?
o
Let v(t) = t**2 + 3*t - 1. Let o be v(-3). Let d be ((-56)/54 - o)/(2/(-4)). Let f be (-2)/4*(-2)/(-1). Is f smaller than d?
True
Let v = -5 - 11. Let y be v/(-20) + 57/(-15) - -4. Which is bigger: y or 9/4?
9/4
Let v be 2/26*(-3)/9. Suppose -4*y - 22 = -26. Which is smaller: v or y?
v
Let w = -23 - -26. Suppose w*k + 4 = 7. Which is smaller: k or -1.1?
-1.1
Suppose 0 = -2*h + 5*h - 18. Suppose 0 = -h*q + 13*q - 14. Which is smaller: q or 1.2?
1.2
Let k be (1 - 1) + (-1)/7. Suppose 2*q - g + 5 + 2 = 0, -3*q - 23 = -4*g. Let a be (-4)/12 + q*(-4)/(-6). Which is smaller: k or a?
a
Let p be 4576/(-40)*(-5)/2. Is 284 less than p?
True
Let k be (4/84)/((-9)/(-108)). Is 0 smaller than k?
True
Let v be (-7)/1134*-1389 - 8. Is v at least 1?
False
Let k(s) = 3*s + 2. Let b be 18/(-14) - (-30)/105. Let y be k(b). Is -4/3 greater than y?
False
Let l be (-550)/36 + (-30)/135. Which is greater: -16 or l?
l
Suppose 0 = -2*l + 5*o - 3, 42*l - 46*l + 2 = -2*o. Let k be (40/14 - 0) + -2. Is k less than or equal to l?
True
Let f(d) = 18*d**2 + 7*d - 23. Let s be f(4). Is 293 <= s?
True
Suppose -9*u = 25 - 43. Which is smaller: 73 or u?
u
Let k be ((-30)/(-51))/(-5) - (-325)/17. Suppose -13 = -6*w - k. Which is greater: w or 3/7?
3/7
Let f(j) = 4*j**2 - 14*j - 106. Let d be f(-11). Is d greater than or equal to 534?
False
Let d = -224 - -1337/6. Let c = -3/2 - d. Is c at most as big as -1?
False
Let b be (-3)/12*2*-12. Suppose 0 = 25*c - 20*c. Which is smaller: c or b?
c
Let b(i) = i - 11. Suppose 2*p - 65 = -5*d - p, -4*d + 52 = -3*p. Let j be b(d). Is 9 equal to j?
False
Let c(l) = -l**3 + 16*l**2 - 67*l + 41. Let o be c(10). Is -179/6 not equal to o?
True
Let a(f) = -f**3 - 9*f**2 - 11*f - 19. Let l be a(-8). Suppose -18 = 5*h + 2. Let o be (l/h)/((-13)/52). Which is greater: 3 or o?
o
Suppose -142*f + 143*f - 340 = 0. Is 342 at most f?
False
Let p(u) = -8*u - 10. Let k be p(7). Let z = k - -65. Which is smaller: z or -1/2?
z
Let k(s) = 56*s + 559. Let w be k(-10). Which is smaller: w or 2/4197?
w
Let k(y) = -y**2 + 32*y - 79. Let g be k(0). Is g > -79?
False
Let b = -724.2 + 714. Are b and 2/19 non-equal?
True
Let o = -0.2586 + -1484.7414. Which is bigger: o or 0.1?
0.1
Let d be (-5)/(-2)*12/5. Suppose -d*a + 140 = -10. Let w = a + -26. Which i