ich is greater: h or 1/33?
1/33
Let t = 3.7658 - -16521.2342. Is t > -0.1?
True
Let n be (-2)/12*(6/(-24) - 2) + 98277/2952. Suppose 0 = -t - 18 + 51. Is n less than t?
False
Suppose -2*j - 3 + 7 = -2*k, 0 = 4*k + 5*j - 10. Let i be (k/9)/(6/3). Which is greater: i or 4/31?
4/31
Let r(i) be the second derivative of i**4/12 - i**3/3 - 31*i**2 + 2*i + 12. Let j be r(9). Let q = -2/509 + -413/24432. Does j = q?
False
Let q(x) = -x**3 - 31*x**2 + 28*x + 20. Let z be q(-32). Let a = -613/4 + z. Suppose -3*m - 10 = s, 5*m + 2*s + 7 = -8. Is m less than a?
False
Suppose -4*v + 562 = -2*m, 0 = -v - 0*v + 2*m + 142. Let o = -144 + v. Let r be (-2 - -2) + 0/o. Which is greater: r or 4/47?
4/47
Let p be (-2 + 2)*1/2. Let v = 64 + -2104/33. Which is bigger: p or v?
v
Let c(j) = 4*j + 2. Let x be c(1). Suppose x + 15 = -v. Let m be (v/6)/(-7)*0. Which is smaller: -1/3 or m?
-1/3
Let s = 20492 + -20388. Let x be (-2 + 23)/(2/10). Which is smaller: s or x?
s
Let z = 9.4728 + -0.4728. Are -116 and z non-equal?
True
Suppose 447*h = -2*b + 450*h + 32, -2*b = 2*h - 12. Which is smaller: -18 or b?
-18
Suppose -232*o + 22327 = -501*o. Let z(h) = 2*h**3 - 4*h**2 - 2*h - 3. Let n be z(-3). Let v = n - o. Which is smaller: -9 or v?
-9
Let j = -2050.26 + 2050. Which is smaller: -12/19 or j?
-12/19
Let b = -221555 - -221554.5. Let p = -12428/43 + 289. Which is greater: b or p?
p
Let r(m) = 61*m - 365. Suppose 16 + 62 = 13*f. Let s be r(f). Let a be ((-2)/(-93))/(1/3). Is a less than s?
True
Suppose 0 = -4*t - 5*g - 4, -3*t - 1 - 2 = -5*g. Let s be (-2)/3*(25 + 20). Let w be 7/((-182)/s) + 1*-1. Which is smaller: t or w?
t
Let n(o) = -o + 12. Let q be n(12). Suppose -5*h + 75 = -3*a + a, 5*h + 225 = -4*a. Let t = 401/8 + a. Which is greater: t or q?
t
Suppose b - 1259 = -5*q, q + 3*q + 5108 = 4*b. Let y be (-7)/(b/(-288)) + (-6)/14. Which is smaller: 2 or y?
y
Suppose 393*z = 391*z + 12, -v + 3*z = -4278. Which is bigger: v or 4297?
4297
Let x = 14.12 + 64.98. Let p = x - 79. Which is smaller: p or -37?
-37
Let t = -7299 - -7554. Is t greater than 243?
True
Let l(p) = -8*p**2 - 5*p + 4. Let t be l(3). Let c = -7979 - -7980. Which is bigger: c or t?
c
Let t = -143.3 - -136. Let h = 6.81 + t. Let s = -0.59 - h. Which is bigger: s or 54?
54
Let n = 62494/33 + 10746/11. Let r = 2936 - n. Which is bigger: r or -1?
r
Let v = 2/115873 - 347855/13673014. Let w be (1 - 0)*(2 + -2). Are v and w non-equal?
True
Let n be -1 - (208/46 - (6 - (-2 - -9))). Which is smaller: n or -7?
-7
Let l be -2 + 1 - 57/34*2/(-3). Is l at most -810/7?
False
Let x be (-33)/6 + 5/(-10). Let c be 19698/(-343) - x/14. Which is smaller: c or -1?
c
Let u = -3 + 2.9. Let d = 0.078 + 11.922. Let c = d + -17. Which is smaller: u or c?
c
Let d(o) = -3*o. Let q(l) = -l**2 + 22*l - 50. Let j be q(16). Let h = 46 - j. Let n be d(h). Which is smaller: 1/14 or n?
n
Suppose 6574*y - 6592*y = -23544. Is 1309 <= y?
False
Let w = 2913.1 - 2913. Which is greater: w or -265?
w
Let w(g) = 3*g**2 + 4*g - 4. Let q be w(-2). Let u(t) = -t**3 + 5*t**2 + 2*t - 8. Let m be u(5). Suppose -m*y = -q*y + y. Is y < 2/53?
True
Let o = 5264 - 3879. Is o greater than or equal to 1387?
False
Suppose 91*s + 82*s + 4325 = 0. Which is bigger: 0 or s?
0
Suppose 18 = 35*x - 32*x. Suppose 3*d + 78 = -5*s + x*s, -5*s - 4*d = -466. Let l = s + -97. Which is smaller: -11 or l?
-11
Let l be 11/(-420) - 44/(-308). Which is smaller: 0 or l?
0
Let z = -8.494 + 8.394. Which is greater: -0.04575 or z?
-0.04575
Suppose -5*p + 2 = -18. Suppose 4*v = p, t = 6*t - 4*v - 116. Suppose -2*z + 2*l = -t, -3*l - 14 = -z - 0*z. Does z = 13?
False
Let h = 443 - -61. Let m be (4/h)/(12/(-8)). Is 0 bigger than m?
True
Let k = 13.02323 - 0.02323. Which is smaller: -80 or k?
-80
Let s(f) = -f + 6. Let k be s(5). Let g = 45321 + -45321. Which is smaller: k or g?
g
Suppose -85*g + 83*g = -56. Let v be (g/3)/2*(3 + 0). Which is smaller: v or 17?
v
Suppose 4*z - 28*a - 5 = -25*a, 0 = -z + 3*a - 10. Let j be z/((-3570)/(-16)) + (-8)/68. Which is greater: 0.05 or j?
0.05
Let g = 4939 + -4940. Which is smaller: g or -9/527?
g
Suppose 742 = -16*z - 1850. Let c = z + 104. Is -60 at least c?
False
Let q = 2200/7 + -313. Let m = 102.9829 - 103. Let h = m + 0.1171. Which is greater: q or h?
q
Let d = 19429/204156 - -31/963. Which is smaller: 1 or d?
d
Let f = -69 + -1. Let n = f - -113. Let z = n + -52. Is z at least as big as 1?
False
Suppose 6*y - 2*y - 236 = -2*l, -5*l = -3*y - 629. Suppose l + 41 = 11*g. Which is smaller: g or 65/4?
g
Let z = -1525 - -1524. Which is smaller: z or 2/11551?
z
Suppose 4*p = -3*y - p, -11 = y - 2*p. Let b = 16 + -23. Which is bigger: b or y?
y
Let u = 11/129 + -31/258. Is u bigger than -1?
True
Suppose -k + 165 = -2*l, 179 + 131 = -4*l - 2*k. Let r = 44 + l. Suppose -4*s = 84 + 64. Which is bigger: r or s?
r
Let k = 665 - 1013. Let d = -347.86 - k. Which is smaller: d or -4?
-4
Let i(x) = x**2 + 3*x - 10. Let f be i(-5). Suppose 3*r - 19 - 8 = f. Let z be ((-14)/5)/(1/(5/r)). Which is smaller: z or -1?
z
Let p(m) be the first derivative of -21 + 15*m + 5/2*m**2. Let j be p(-3). Which is smaller: -2/41 or j?
-2/41
Suppose 5*m + 10 = 3*j, 3*j = 2*m - 1 + 5. Let g be (-1*(m + 4 - 3))/(-6). Let s be (16/(-30))/((-2)/5). Is s bigger than g?
True
Let p = 2/61995 - -59387/80841480. Is p at least 1?
False
Let d be 6 - -2 - (4 + -3). Let m = -12 + d. Let s be ((-8)/10)/((-6)/m). Which is bigger: -82 or s?
s
Suppose 2*q + 12 = 2*s, 3*q = -11 - 1. Let z be (-11 - -9)/(s/(-8)). Let x be z/14 + (-3)/42. Which is smaller: x or 0.24?
0.24
Suppose u + 7*b - 22 = 10*b, 58 = 5*u - 2*b. Let t be (4/u)/((-33)/55). Let s = 3 + -1. Is t at most as big as s?
True
Let k be 24/16*(-2718)/27. Which is bigger: k or -153?
k
Let v be -68*2*(-78)/(-24)*-1. Suppose -z + 3*s = -6*z + v, -3*s = -3*z + 246. Suppose 10*j = -36 + z. Which is smaller: j or -1?
-1
Let q = -35772 + 35771. Are q and -7/257 equal?
False
Let z be -2 - 97/2 - (-237)/(-158). Let o(k) = k**2 - 8*k + 7. Let w be o(7). Suppose 106 = -w*y - 2*y. Is y smaller than z?
True
Suppose -17*z - 432 = -23*z. Let m = z - 71. Let b(o) = -o**2 - 5*o - 5. Let f be b(-3). Is f less than m?
False
Let o be (1 - 15/10)*2. Suppose -2*x - 4*w = -0*x - 24, 3*x = -5*w + 36. Let b be o/(x/(-3) + 3). Which is greater: 2/33 or b?
b
Suppose 22694 = -13*f + 65802. Which is smaller: 3314 or f?
3314
Let s be (-3 - (-116)/40)/((-30)/(-825)). Is 23 less than or equal to s?
False
Let b be 0 + (-10)/(-65) - 53680/104. Let j = -4131/8 - b. Is j < 3?
True
Let i = 0.7 - -0.3. Let r = -242 + -7. Let h = 249.13 + r. Which is smaller: h or i?
h
Suppose -3*c - 17 = u, -28*u + c + 5 = -29*u. Which is bigger: u or -1/5435?
u
Let w be -2 - (10 - 53)/(859/40). Let m be -1 + (-4)/(-3) + 962/1443. Is m at most w?
False
Suppose 34*x = y + 37*x + 22, -3*x + 78 = -3*y. Which is smaller: y or 0.081?
y
Let h be 3/(-11) + 198680/727848. Is h <= 1?
True
Let r = 0.324 + -129.324. Let h = -13.791 - -138.591. Let y = r + h. Which is smaller: y or 0.1?
y
Let p(d) = -d**2 + 8*d + 24. Let j be p(10). Let f be 3*1*(-7657)/(-57). Let a = -1198/3 + f. Is a at least as big as j?
False
Suppose 13*w + 17*w - 115689 = 51*w. Is -5508 equal to w?
False
Suppose -32*u - 355 = -195. Let y(i) = 5*i - 1 - 3 + 6 - i**2 + i. Let c be y(7). Are c and u nonequal?
False
Suppose 4*r = -6*i + 2*i - 8088, -4*i - 2037 = r. Is r at most as big as -2017?
True
Let x(y) = 10*y**2 + 3*y - 5*y**2 - y + 7*y**2. Let j be x(2). Which is smaller: j or -2?
-2
Let s = -51 + 54. Let z be -273 + 2 - (1 - (1 + s)). Let j be 0/(25/(-5)) - 2/z. Which is bigger: 0 or j?
j
Let a be ((-72)/(-54))/((-4)/(-1770)). Let i = a + -517. Which is smaller: i or 72?
72
Suppose m - 4*w - 28 = 0, -31 = -2*m + 3*w - 0. Suppose m*i - 426 = 926. Is 168 < i?
True
Suppose -11*x + 126 - 38 = 0. Let d(m) = m**2 - 10*m + 2. Let v be d(x). Let j be ((-12)/18)/(1 - v/(-18)). Which is smaller: j or -1?
j
Let c be (-5)/10 - 22/4. Let b be (-3 + 42)*(c - (-6 - -2)). Let k = -78 - b. Is -1/91 >= k?
False
Let x = -4594 + 5268. Are x and 676 nonequal?
True
Suppose -1031 + 3036 = -5*k. Let x = -23657/59 - k. Suppose 929*y - 358*y + 571 = 0. Which is greater: y or x?
x
Let i(o) = -633*o + 3881. Let y be i(19). Which is smaller: y 