y be (-4015)/584 + 8 + -1. Is 0.5 <= y?
False
Let q(v) = 12*v**2 - 5*v**2 - 5*v - 6 - 6*v**2. Let c be q(6). Is 2/7 less than or equal to c?
False
Suppose 24*m - 109 - 1571 = 0. Are 68 and m nonequal?
True
Let w = 1.88 - 1.58. Which is smaller: -1/9 or w?
-1/9
Let n = -3863307 + 37965149/10. Let w = -67171 - n. Let a = -378 - w. Which is smaller: a or 1?
a
Suppose s + 636 = 5*u + 9836, -27642 = -3*s + u. Let l be ((-2)/(-20))/(38/s). Let o = -24 + l. Are 5/6 and o non-equal?
True
Let y(l) = l**3 - 8*l**2 + 11*l - 4. Let d be y(5). Let k = d + 30. Suppose -4*i - k = -2. Which is smaller: i or -0.2?
i
Suppose 40 - 24 = 16*g. Let d = 4149/61 - 68. Is g bigger than d?
True
Let m = -2.999 - 0.001. Let b = 0.01 - -0.29. Is m at most b?
True
Let j be (6/8)/(2665/(-164)). Is -1 smaller than j?
True
Let p = -11.7 - 3.3. Let y = -15 - p. Are y and -16/5 unequal?
True
Suppose 4*a - 8 = -4*y, 2*a - 3*y - 2 = -8. Let b = 2/90235 - -31311533/541410. Let i = -59 + b. Which is smaller: a or i?
i
Suppose 2*i + 5*u - 27 = 0, 0 = -2*i + 3*u + 14 + 5. Let m = 41 - 31. Is i greater than m?
True
Let p = 1.03 - -41.47. Let r = p - 55. Let x = -12 - r. Which is smaller: x or -1?
-1
Let k = 6 + -3. Let i(g) = -g**3 + 2*g**2 + 4*g - 1. Let t be i(k). Suppose -a - t + 1 = 0. Which is bigger: -2/17 or a?
-2/17
Suppose 2*p + 72 = 3*z, -p - 5*z = -8 + 18. Is p bigger than -31?
True
Let b = 557 + -557. Is b at most as big as 439?
True
Let f(w) = w**3 + 14*w**2 + 11*w - 13. Suppose 4*o = -5*g - 32, o + 42 = -o + 4*g. Let q be f(o). Which is smaller: q or 15?
q
Let t = -396 - -429. Is -2 not equal to t?
True
Suppose 3045 = 19*t + 25275. Is -1171 less than or equal to t?
True
Suppose -631 = -16*d + 89. Is d <= 41?
False
Let u = -9.1 + 11. Let g = 1.94 - -0.06. Let d = g - u. Which is greater: d or 5?
5
Let y be 3 - (1036/(-346))/(-1). Let a = 103 - 104. Are a and y equal?
False
Let r(q) = -q**2 + 6*q + 2. Let s be r(6). Let c(w) = 4*w**3 + 3*w**2 - 3*w + 1. Let v be c(1). Suppose -9*b = -13 - v. Is b at most as big as s?
True
Let s = 152 + -547. Let v be (-4)/6 + s/(-570). Let p(k) = -k + 1. Let j be p(2). Which is smaller: v or j?
j
Let y = 53 - 94. Is -3 <= y?
False
Let h(a) = a**3 - 8*a**2 + 61*a - 294. Let c be h(6). Let s be 60/56*(-1)/(-3). Is s at least c?
True
Let g be ((-117)/26)/((-1)/(-14)). Is -59 < g?
False
Let g = -2/343 + -8569/1029. Suppose 47 = -3*s - 5*z, 157 = -5*s - 3*z + 100. Is s less than g?
True
Suppose -15 = 3*h - 39. Suppose 2*m + h = 3*d, -2*d + 6*d + 3*m - 5 = 0. Let w be 0 - d/(-159)*3. Which is bigger: w or 0?
w
Let x be ((-3)/4)/((-1)/(-8)). Let q be (-2)/6*(x + 0). Suppose -25 + 24 = -w. Is w > q?
False
Suppose 3*x = i - 14, -2 = i - 2*x - 13. Let k be 2 + 0 - (6 - (-2 + i)). Which is greater: 1 or k?
1
Suppose -3*s = 0, -117 = -4*p - 3*s + 27. Suppose c + 3*c + p = 0. Let i be (-63)/7 - (2 + -1). Which is greater: i or c?
c
Let p = 157 - 83. Let k = p - 73.92. Which is smaller: -0.3 or k?
-0.3
Let m = -66 + 73. Suppose 7*t + 126 = m. Let a = -3 + 2. Which is smaller: a or t?
t
Let v = 160 - 72. Let w = -87.908 + v. Are 1 and w non-equal?
True
Let c be (-1)/(-2) - (-30)/(-12). Let d be (1/c)/(8/(-80)). Suppose -d*p + 26 - 21 = 0. Which is bigger: p or 3?
3
Let r(h) = -14*h - 155. Let z be r(-14). Do z and -3/4 have the same value?
False
Suppose 5*g - 82 - 53 = 0. Let m be (90/g)/(2/3). Suppose 5*q - r - 17 = 0, -m*r = -3*q - 5 + 2. Are 3 and q equal?
False
Let l be (-10)/(-2) - (9 - -3)/3. Which is greater: 2/165 or l?
l
Let d = 10 - 13. Let p = 3.8 + d. Let m = p - -1.2. Is m != -3?
True
Let t = 12.8 + -23. Let f = 36 + -26. Let s = t + f. Is -2 less than s?
True
Let p(l) = -62*l + 55. Let f be p(1). Is f greater than or equal to -180/29?
False
Suppose -2942 = -10*n + 3818. Is 676 at most n?
True
Let y = -928 - -1443. Is -2/7 smaller than y?
True
Let j = 40 + 8. Which is bigger: 0 or j?
j
Let l = 181 + -307. Let c be 6/15*(-15)/9*l. Which is smaller: c or 83?
83
Let i(r) = -5*r**2 - 3*r + 5. Let n(c) = 6*c**2 + 3*c - 6. Let v(w) = 5*i(w) + 4*n(w). Let y be v(-3). Are y and 6/5 nonequal?
True
Suppose 0 = -7*b + 409 + 781. Let k = 115 - b. Which is bigger: -56 or k?
k
Suppose -3*b = -b - 8, 0 = -w - 4*b + 19. Suppose w*g + g = -3*t + 56, -3*t = -3*g - 21. Suppose 8 = -5*o - t. Is o less than -5?
False
Let f be (-7)/(-56) - 1341/(-408). Which is bigger: f or 3?
f
Suppose -w = w - 620. Let k = 950/3 - w. Are k and 6 equal?
False
Let d be -5*(188/(-20) - -3). Let b be (-56)/(-30) + d/240. Is -0.03 smaller than b?
True
Let z = 6.92 - 7. Which is bigger: z or 1/4?
1/4
Let k = -48.64 - -0.64. Let y = k - -34. Let t = y - -15. Are t and -3/4 equal?
False
Let g(t) = 2*t**3 + 2*t**2 - 2. Let x = 99 - 98. Let o be g(x). Let a be 0 + 0 + 8/14. Are a and o equal?
False
Let m be -1 - (-505)/(-6)*-2. Is m less than 168?
True
Let j = -3.5 - -1.4. Let d = j - -0.1. Is d < -3/7?
True
Let i(g) = -g + 7. Let u be i(6). Let s be 7/(-4) - u/4. Let q = -28733 - -28734. Is q less than or equal to s?
False
Let s = -6160 + 6195.999. Let f = 36 - s. Which is bigger: -0.1 or f?
f
Suppose 0 = -5*u + 6*u - 6. Let h = u - 1. Which is greater: 2 or h?
h
Let x(k) = 10*k - 1. Suppose 0 = s - 4 + 1. Let i be x(s). Suppose -i = 5*g + 1. Is -6 greater than g?
False
Let t(m) = 1. Let c(w) = w - 10. Let h(l) = c(l) + 6*t(l). Let f be h(-3). Let o be (0 + 1)/(f/(-35)). Is o not equal to 5?
False
Let h = -47 - -59. Let z be 26/(-13) - h/(-11). Is z != -1?
True
Let v = 83.1 + -83. Let m = 6 - 23. Is v > m?
True
Let n be (2/(-2))/10*4. Let u = -1659 - -1673. Which is smaller: n or u?
n
Let r = -14.96 - 3.14. Let q = r - -19. Let h = 1.1 + q. Is 0.1 less than or equal to h?
True
Suppose -5*w + 15 = 2*o + o, -2*w + 6 = 0. Let y be (3 + o - 6) + 3 + -1. Does 1/21 = y?
False
Suppose 3*z = 9*z + 96. Suppose 3*v + 39 = -2*m, -2*v + 3*m - 45 = -2*m. Do v and z have the same value?
False
Let p = -0.9 + 1. Suppose 12*a = 9*a - 9. Let h be (a/(-15))/((-7)/14). Are p and h unequal?
True
Let q be ((-4)/(-42))/((-80)/(-420)). Which is greater: -510 or q?
q
Let c = 0.9 - 1. Let n = 4 + -2. Suppose -5 + 25 = i + 3*r, -20 = -n*i - r. Which is smaller: i or c?
c
Suppose 73 = -23*p + 4. Which is smaller: 0.15 or p?
p
Suppose -3*z + 1 = 13. Let m(x) = -x**2 + 28*x - 54. Suppose 7*r - d + 75 = 10*r, -2*d = r - 20. Let v be m(r). Which is bigger: z or v?
v
Let i = -15 + 14.82. Let a = -0.18 - i. Let z = 1 - 3. Which is bigger: a or z?
a
Let w = -58 - -107. Let u = 40 - w. Is u < -3?
True
Let l = -35 + 23. Let f be (-9)/14*2/l. Which is smaller: f or 0?
0
Let a = -278 + 94. Let x = 2387/13 + a. Which is bigger: x or -1?
x
Let j(v) = v**3 + v - 2. Let n be j(1). Let o be (-23)/(-308) + 98/(-539). Does o = n?
False
Let h(y) = -4*y**2 - 5*y - 13. Let n be h(-5). Let o = -88 - n. Is 1/134 <= o?
False
Suppose -4*n = 32 - 8. Let o(k) = k**3 + 14*k**2 + 46*k + 1. Let i be o(-9). Is i < n?
True
Let d(v) = 21*v + 14. Let a(p) = 4*p + 3. Let t(s) = -11*a(s) + 2*d(s). Let w be t(-3). Let j(h) = h**2 + 6*h - 6. Let m be j(-7). Is w <= m?
True
Let z = -30 - -32. Let t = 8 - 7. Is t bigger than z?
False
Let z = -0.3 - -0.51. Let u = z + 2.79. Which is bigger: u or 2?
u
Let v = 2108.95 + -2109. Let w(b) = 5 + 0*b + 0*b + b. Let g be w(-4). Is v != g?
True
Let b be ((-2046)/889 - -2) + 6/21. Let a = 373/508 - b. Which is smaller: -7 or a?
-7
Let x = 482.1 + -485. Which is smaller: x or -0.3?
x
Let o = -6 - -369. Is 364 less than or equal to o?
False
Let h = -0.79 - 0.01. Let p = -0.808 - 0.092. Let n = p - h. Are 1 and n unequal?
True
Let x be ((-2)/49)/(-4 + 162/42). Let f = 0.3 - -0.7. Is x greater than f?
False
Suppose -60 = -o - 2*o. Suppose 5*y = -0*y + o. Suppose -y = -x - x. Which is smaller: x or 4?
x
Let l be (100/35)/(6/21). Let y be (2 + 2)/(l/15). Let u be 3/(-9) - 70/y. Which is greater: -13 or u?
u
Let a be 1*(-21)/(-2)*(3 - 1). Suppose 2*b - 1 = -5, -2*b = c + a. Is c less than -17?
False
Let w = -11.15 - -0.15. Let v = -3 - w. Let g = -9 + v. Which is greater: g or -1/8?
-1/8
Let s be 0/(-1) + 0 + (-30)/15. Let l = -7 - s. Which is bigger: l or -11/2?
l
Let d be (-1 - -27)/(-2) - 135/27. Is -87/5 at most as big as d?
False
Let k(i) be the third derivative of i**4/24 + i**3/2 - 4*i**2. Let z be k(8). Supp