s greater: s or -1/6?
s
Let g = 400 - 395.99. Let j = g + -0.01. Let p = 845 + -845. Are j and p equal?
False
Let r be (21/(-14))/((-6)/(-16)). Let q = 104 - 81. Let f = q - 27. Is f > r?
False
Suppose 0 = 3*r - 4*g + 254 + 120, -251 = 2*r - 3*g. Let y = 117 + r. Is y less than 8/83?
True
Let f be ((-2)/12)/(105/495). Is -3/2 equal to f?
False
Let r = -134373229/2527 - -53175. Which is greater: -1 or r?
r
Let b be (2 - ((-12)/(-4))/3) + -29. Let h be 8/b + 84/(-49). Let a = -8 + 18. Which is greater: h or a?
a
Let o(p) = 28*p - 589. Let m be o(21). Which is greater: -140/137 or m?
m
Let q(v) = 51*v - 137. Let t(d) = -1634*d + 4386. Let x(z) = 129*q(z) + 4*t(z). Let m be x(3). Is 40/31 != m?
True
Let h be 299040/27 + 32/72. Let l be ((-2)/4)/(78/h). Which is greater: l or -75?
l
Let s = -597073/169 + 3533. Suppose 13*p - 10*p = 0. Is s bigger than p?
True
Let x be (-15944)/(-60) + (-2)/5. Let y(m) = -24*m + 5. Let i be y(-11). Let q = i - x. Is 4 <= q?
False
Let y(t) = -124*t**2 + 559*t - 1667. Let q be y(3). Which is greater: -1109 or q?
q
Let o(l) = l**2 + 15*l + 19. Let m be o(-14). Suppose 9*f - 13*f + 32 = m*g, -16 = 4*g. Is 16 <= f?
False
Let j = -60 + 126. Suppose -d = -z - 51, 4*d - 3*d = -4*z + j. Is 53 at most as big as d?
True
Let s = 1469/2 + -734. Is 0.33 smaller than s?
True
Let c = 3348 + -3214. Do c and -3 have the same value?
False
Let q = -44 + 46. Suppose -3*n + 2*s = 15 - 1, 2*s + 6 = -q*n. Let b be 3 - n*(-26)/24. Is -2 at least as big as b?
False
Let q be -14 + (-388)/(-4) + -12. Which is smaller: q or 70?
70
Let s = -0.195 + -0.629. Let f = 0.176 - s. Is f greater than or equal to 1/35?
True
Let b = -4642 - -4643. Do -1/12621 and b have the same value?
False
Let a = 6322 - 6321. Which is bigger: -374 or a?
a
Suppose 1735 - 2063 = -4*c. Which is bigger: 85 or c?
85
Let w be (-12)/27 - -205*182/81315. Let g = 6 + -7. Which is bigger: w or g?
w
Let q be (4/6)/((-2)/12). Suppose 2*r - w - w = -2, -4*r - w = -21. Suppose 25 = 7*y + r. Is q at most y?
True
Let o be (-1 + 37)*(2/42)/((-80)/(-2832)). Is o at most 62?
True
Let t = 106 + -57. Let j = t + -48.44. Let o = -0.46 + j. Is o smaller than -8/3?
False
Let f be 180/330*(25 + -3). Let i be (-16)/f*(-5 + 25/2). Let g(q) = q - 10. Let x be g(0). Are i and x unequal?
False
Suppose 41*v = 3*i + 46*v + 1110, -5*i = -3*v + 1782. Is i <= -22?
True
Let x be 4 - 2 - 610/335. Let i(g) = g**3 - 4*g**2 + 17*g - 68. Let a be i(4). Which is smaller: x or a?
a
Suppose -5*r - b - 8832 = 0, -60*r + 58*r - 2*b - 3536 = 0. Which is smaller: -1765 or r?
r
Suppose -h + 19 = 22, 4*s + 103 = -h. Are s and 34 equal?
False
Let f = 16.52 - 17. Let q = f - -0.5. Let h = -12 - -11.7. Which is bigger: q or h?
q
Suppose -33273 = 4*f + n, -115*n = -f - 118*n - 8343. Which is smaller: 1 or f?
f
Let x = 0.4 - 0.4. Suppose 32*o - 961 = 4639. Let n = o + -208. Which is greater: n or x?
x
Let n = -89931 + 90107. Suppose -529 = -3*t + y, -t - 3*y - 73 = -236. Is t not equal to n?
True
Let j(t) = -t**2 + 122*t - 429. Let w be j(118). Which is smaller: w or -0.079?
-0.079
Let d = -207 - -249. Which is smaller: -16/9 or d?
-16/9
Suppose 57716*w + 10860 = 57776*w. Which is bigger: w or -2/3?
w
Suppose 3*x = -12, 1873*i - 1877*i = -x. Is i at least as big as -2/27647?
False
Let w(i) = -i**3 + 15*i**2 - 17*i - 25. Let r(j) = -j**2 + 2*j + 29. Let v be r(5). Let x be w(v). Is -63 at most x?
False
Let a = -9043 - -9043. Which is smaller: 4/3473 or a?
a
Suppose -213 + 9 = 4*r - 4*d, -4*r = 4*d + 244. Let z = -54 - r. Suppose z*a = -6 + 4. Which is greater: -6 or a?
a
Let i be -3*4/(-25236)*(-1 + 17520). Let d = i - -2/701. Is d less than 3?
False
Let t = 2973419/97 + -30653. Is 2 at least as big as t?
True
Let t(k) = 130*k**3 + 7*k**2 + 4*k - 22. Let c be t(-3). Is c > -3481?
False
Suppose 12 = -3*b - p + 7, 5*p = -25. Is b equal to -24/391?
False
Suppose 68*h - 9297 = 85*h + 48554. Which is smaller: -3400 or h?
h
Let s = -143107 - -143107. Let y = 4.15 - 4. Is y <= s?
False
Suppose 3*a - 11 = -2*c, -2*a = -a - 2*c + 7. Let s be ((-636)/48)/(a/4). Let d = -54 - s. Which is smaller: 19 or d?
d
Let r = -0.0178 + 49.0178. Let h = 2366.02 - 2415. Let x = r + h. Which is bigger: x or -4?
x
Let s(m) = 3*m**2 + 7*m - 5. Suppose -c = -2*t - 3*c - 4, 0 = -2*t + 4*c - 10. Let d be s(t). Are d and -5/121 unequal?
True
Let t = 37723 - 25807. Is 11918 != t?
True
Let z be 4/(-8) + -2 + 35/14. Suppose z = -c - 4*j + 2*j + 2, 5*c - 3*j = -3. Which is smaller: 8/95 or c?
c
Let u be (-2*(-2)/(-178))/(4/221074). Let f = u + 1242. Which is smaller: f or 0?
0
Suppose -4*j + 5*d = -9, -d = d - 6. Suppose 0 = h - 2*w + j*w + 6, -5*h = 4*w - 18. Let u be -2 + 21/h - 1. Is u at most as big as 4?
True
Let d be ((-84)/420)/((-3)/(-5)). Let x = -2.8 - -2.8. Let s = x - 4. Which is smaller: d or s?
s
Let i be 3 - 11 - -24 - 1797. Is -1777 at most i?
False
Suppose 4*f + 4 = 0, -5*k + 4*f - 3*f = -186. Is k less than 27?
False
Let f = -0.62 - -0.8. Let o = 0.27 - 0.18. Let d = o - f. Which is smaller: d or -3?
-3
Let s = -16.64 + 19.7. Let c = 2.929 - s. Which is smaller: c or 2?
c
Let f = -60 + 61. Let v be (-154)/(-33) + ((-6)/9)/f. Which is smaller: 0 or v?
0
Let i be -6*(-4)/(-16)*2*-1. Let h = i - 5/3. Let z = -178.4 - -178. Is h greater than z?
True
Let k(t) = -12*t**3 - 7*t**2 - 10*t - 2. Let f be k(4). Is -922 greater than f?
False
Suppose -260 = 2*s + 2*s. Let f be (728/(-224))/(1/20). Is s not equal to f?
False
Let q = 397.17 - 395. Let v = -2.07 + q. Is v greater than -38?
True
Let j be (151 - 9/(-3))/1. Let s = j - 93. Is 123/2 equal to s?
False
Let a = -15769/77760 + 47/243. Let q = 3071/13760 - a. Is 0 smaller than q?
True
Suppose 6*j = 5857 + 9377. Is j bigger than 2539?
False
Let b = 363/34 - 743/68. Let m be 12/(-18) + 74/(-24). Let h = 17/4 + m. Is b at most h?
True
Let o(b) = b**2 - 19*b - 10. Let z be o(20). Which is smaller: z or 60/7?
60/7
Suppose 0 = 3*z + 10*u - 13*u - 1017, -2*z + 4*u + 678 = 0. Which is smaller: 340 or z?
z
Let j = -9578381/81750 + 703/6. Is 1 > j?
True
Let b = 9016 - 9015.9. Is b at most as big as -80.3?
False
Let n(s) be the third derivative of s**6/120 + 2*s**5/15 - s**3/6 - 16*s**2 - 3*s. Let z = 3 - 11. Let i be n(z). Which is greater: i or -1/38?
-1/38
Let a be (6 - (-69)/115)/(9/(-10)) - -7. Let q = 5.1 - 7. Is a at least q?
True
Suppose 1342 = 5*n - 758. Let d = 423 - n. Is -29 less than or equal to d?
True
Let w = 9738.22 + -9824. Let l = 86 + w. Let p = -96 + 98. Which is bigger: l or p?
p
Let s = -8622/115 + 1660/23. Let j(p) = 4*p + 1. Let l be j(-2). Let z = l + 4. Do z and s have different values?
True
Let y = -638/5 + 21767/170. Let u = y - 1129/170. Which is smaller: u or -6?
u
Let h(y) = -y**3 - 3*y**2 + 2*y - 1. Let x be h(-4). Suppose -f - 5*m - x = -24, -5*f + 5*m + 55 = 0. Suppose 0*q - 3*v = 3*q - 33, -v = 2*q - 20. Is f <= q?
False
Suppose 13*s - 2959 = 11510. Suppose -u + 3*u + 3*n + s = 0, -3 = -n. Let a be u/(-9) + 8/12. Which is greater: a or 62?
a
Let d = 14484 + -14471. Which is smaller: 22.7 or d?
d
Let w be 0 + 4 - 2*(0 - -1). Let j(h) = -102 + 3*h**2 - 12*h - 4*h**w + 105. Let i be j(-12). Is i smaller than -1?
False
Suppose -2*i + 22 = 5*w, -5*w + 2*i = -15 - 3. Let c be 2/w*0/5. Let y be (-12)/27 + -10 + (-725)/(-72). Which is bigger: y or c?
c
Let k be 12 + (-1)/(-1)*1. Let t = -930 - -933. Suppose 2*g = t*v + k, -2*v - 3*v - 15 = 0. Is -1 <= g?
True
Let m = 108 + -106. Suppose 0 = 2*g + 3*s - 671, -m*g = -s - 476 - 175. Suppose 332*i - g*i = -188. Which is smaller: -45 or i?
i
Let c = 2.7 + -3. Let n = 238.58 - 238.616. Is c bigger than n?
False
Let v(y) = y**3 - y**2 - 9*y - 1. Let p be v(-3). Let z be (-116)/14 + (5 - 8). Which is greater: p or z?
p
Let g(z) = 73*z - 9299. Let q be g(108). Is q <= -1411?
True
Let h = 5487/11 - 497. Suppose -3*l - 4*v = -0*l, -4*v = -l - 16. Let y be (-8)/l + 0*1/(-2). Which is smaller: y or h?
h
Suppose -95*q + 8487 = 28*q. Which is smaller: 3 or q?
3
Let z = 5319.3 - 5647. Let q = 327 + z. Is q bigger than -12?
True
Let u = -267505 + 267770. Suppose -267 = 4*c - 5*c + 2*n, 261 = c + 4*n. Is u greater than or equal to c?
True
Let a be 2 - (-1)/(110/3194). Let m be 14659/(-535) + -1*4. Let k = m + a. Which is smaller: k or -1?
-1
Let