 Is 39 bigger than h?
True
Suppose -t - 3*h - 121 = 0, 211*h - 209*h + 126 = -t. Is 10 at most as big as t?
False
Let u = 138 - 152. Let i be 4/u*(525/10)/(-15). Is 8/27 greater than i?
False
Let x be -2 - (-5 + 10 + -6). Let g be -1 - (10/5 + x - 8). Is g at most as big as 6?
True
Suppose -5*i = 2*k - 957 + 6125, 12886 = -5*k - 4*i. Let w be (-33)/297 - 322/k. Suppose 2*r = 3*r. Is r at least w?
False
Let r be (-484)/1210 + 2444/(-3015) - (-8)/18. Which is smaller: 0 or r?
r
Let r = 61 + -57. Let l be 90/81 - r/(-18). Let n = 1 + -0.6. Is n < l?
True
Suppose f - 5 + 0 = 0, -5*c + f = -35. Let z(b) = -b + 17. Let g be z(c). Let t be -2*g/12 + (-6)/(-8). Which is greater: 6 or t?
6
Let x be 20/55 - (-5589)/(-33). Let z = x - -160. Which is bigger: z or -83/8?
z
Suppose -4*w - 1 = 3*d + 147, 3*d = 0. Let a(z) = -2*z**3 - 73*z**2 + 37*z - 73. Let n be a(w). Is -291/4 less than or equal to n?
False
Let o be 8/(-18) - (-1212)/54. Suppose o = 2*s + 9*s. Does s = -4?
False
Suppose 0 = -3*z - h - 224, -4*h = -0*z + 2*z + 156. Let j be 8/52 - z/26. Suppose -1 = j*y + 2. Are y and 3 equal?
False
Let o(c) = -16*c**3 - 4*c**2 - 2*c + 2. Let f be o(-4). Let h be ((-5)/f + 0)*(-8)/6. Is 0 >= h?
False
Let p = 47022 - 47002.7. Is p < -40?
False
Let c = 24 - 11. Let w(i) = -i**3 + 12*i**2 + 12*i + 6. Let m be w(c). Suppose 3*l = -x + l - 11, -2*x = -5*l + 13. Does x = m?
False
Let j = -4411 - -10385. Is 5976 at most j?
False
Let n(x) = -55*x - 100. Let r be n(-4). Let g = -132 + r. Which is greater: g or -13?
g
Let f(o) = -6*o**3 - 9*o**2 - 2*o + 6. Let b be f(-5). Which is greater: b or 540?
b
Suppose -48*a + 3*i = -44*a - 264, 0 = -2*a - 2*i + 118. Let t be ((-1872)/(-10))/3 + (-30)/75. Which is bigger: t or a?
a
Let x be -1 - 17 - (345/(-23) + 15). Is -245/13 at least x?
False
Let x = -49.1 - -49. Let s be -4 - -3*(-200)/(-148). Which is bigger: s or x?
s
Let d(p) = 3*p - 14. Let i be d(6). Let f be ((-5)/30)/(i/(-132)). Let g(w) = -2*w**3 + 9*w**2 - 5*w + 11. Let y be g(4). Is y less than f?
False
Let s = 0.14573 - 1094.14573. Are s and -1 non-equal?
True
Let y(x) = 4*x**2 + 13*x + 16. Let w be y(-9). Let m = -1087/5 + w. Are 7 and m nonequal?
True
Let b(n) = -6*n**2 - n + 48. Let j be b(-8). Let q = -232 - j. Let w(l) = 3*l**2 + l - 7. Let f be w(-6). Is f less than q?
True
Let b be (-96)/224 - 62/35. Which is bigger: b or -11?
b
Let v = -543.5 + 548. Let u = -5.5 + v. Let b = -59 + -14. Which is smaller: u or b?
b
Let j = -2535 + 195199/77. Suppose 0 = 4*q - 16, 2*n + 8*q = 12*q - 14. Does j = n?
False
Let d = -3 + -26. Let v = d - -20. Let n = -3.36 - -0.36. Is n != v?
True
Let c(h) be the first derivative of -2*h**3/3 - h**2/2 - 4*h + 30. Let f be c(0). Let p be 2/10 + (-884)/195. Is p != f?
True
Let z be -6 - (27896 + -17)/3. Are z and -9298 nonequal?
True
Let q = -898 + 589. Let m = -313 - q. Which is bigger: m or 0.17?
0.17
Let h be (-152)/(-15) - 20/(-30). Let n(q) be the first derivative of -5*q**2/2 - 14*q - 13. Let o be n(-5). Is h > o?
False
Let b = -16140 + 68115/4. Which is smaller: 890 or b?
b
Let y = 1562072614/567 - 2754979. Let j = 1/81 - y. Is 28 at most j?
False
Let m(t) = t**2. Let w(z) = 3*z**2 - 20*z + 110. Let n(h) = 2*m(h) - w(h). Let a be n(6). Is a > -7?
False
Let k(a) = -a**3 - 117*a**2 - 29*a - 3405. Let x be k(-117). Let w = 222/13 + -717/26. Is x not equal to w?
True
Let t be 12/36*6/1. Let c be (-6)/(-6) - t*(-1 + -2). Let h be (-3)/c*16/(-192). Which is smaller: h or 0?
0
Suppose 64*z - 54*z - 180 = 0. Suppose z*l - 322 = 866. Which is greater: 65 or l?
l
Let x = -43.8354 + 43.75. Are x and -1 unequal?
True
Let x(r) = -18*r - 47. Let q be x(6). Suppose -36*k - 2889 - 2691 = 0. Is q less than k?
False
Let i = 32.8 - 43. Let x = 10.8 + i. Let w = -38 - -39. Is w at least x?
True
Let y = 4851767/1968 - 7396/3. Let l = -24025 - -24026. Which is bigger: y or l?
l
Let d be (-105021)/14 + 99/18. Which is bigger: -7497 or d?
d
Let b be -6*22/(-11)*6. Let a(n) = n**3 - 11*n**2 + 7*n - 4. Let d be a(11). Is b at most d?
True
Let l be ((-35910)/350)/(3/(-30)). Do l and 1025 have the same value?
False
Let r be (-3)/(-1275)*(-3665)/(-10). Let p = r - 13/34. Let c(l) = -88*l + 175. Let d be c(2). Which is smaller: p or d?
d
Suppose 3*u - x = 50, 2*x = -3*u + 2*u + 5. Suppose -10*l - 522 + 672 = 0. Is u > l?
False
Let f = 29548 - 26277. Is f <= 16361/5?
True
Suppose -5*x - 9 = 2*j, 5*x + 789*j + 2 = 788*j. Is x < -78/229?
False
Let l(v) = -v**2 + 2*v + 1 - 2 + 3*v. Let i be l(4). Let w = 4113/2744 - -3/2744. Is i > w?
True
Let r(c) = -c**2 - 6*c - 6. Let z be r(-4). Let g = -20 + z. Suppose -532 - 104 - 1036 = 88*l. Is l != g?
True
Let l = -0.218 - -1.278. Let b = -1.94 - l. Which is smaller: b or 0.8?
b
Suppose 35*m = -12*m + 94. Suppose -5*p + 20 = 60. Let u(f) = f**3 + 9*f**2 + 9*f + 17. Let y be u(p). Is m bigger than y?
False
Let c = 44 + -16. Let n be (21/c)/(-1 + (-34)/(-32)). Let z(h) = h. Let m be z(n). Are m and 37/3 equal?
False
Suppose 0 = -5*d - 4*b - 9 + 40, -24 = -4*d - 3*b. Let p be (2 + (-14)/4)*(-16)/d. Suppose 0 = p*j - 6*j + 2. Is -8/9 at most j?
False
Suppose 373 + 83 = 76*f. Let b(v) = -v + 6. Let s be b(6). Suppose -w + 15 = 4*h - s*h, 1 = -w. Is h less than or equal to f?
True
Let n be 58/522 - (-28)/(-9). Let b be (6/10 - 1)*-5. Suppose -x = b*x. Is x smaller than n?
False
Suppose 7 = -u + 39. Let c = -840 + 872. Are c and u nonequal?
False
Suppose 0 = 4*m + 5*d - 133, 88 = 4*m + 14*d - 18*d. Suppose 32*g = m*g - 590. Which is smaller: -116 or g?
g
Let i be (-6)/4 - 182/(-28). Suppose -t - 23 = -i*v, 5*t + v - 2*v + 19 = 0. Which is smaller: 9 or t?
t
Let r = -212 - -213.69. Which is smaller: 0.2 or r?
0.2
Suppose -103 = 5*m + 27. Which is greater: 24 or m?
24
Let k(a) be the third derivative of a**5/60 - a**4/4 + 5*a**3/6 + 14*a**2. Let t be k(5). Let f be t/(3 + -5 + 0). Which is smaller: f or 1?
f
Let a(q) = q**3 - 101*q**2 - 207*q + 76. Let y be a(103). Let u be 5/3*3/1. Suppose o + 2*o - l + 83 = 0, 2*l = -u*o - 120. Which is bigger: o or y?
o
Suppose -5*i - 26446 = -3*x, 18 = -5*i + 53. Which is greater: 8826 or x?
x
Let r = 1548.05707 - 0.05707. Is 3 < r?
True
Let t = 43 + -41. Let q be ((-12)/(-18) - 2)/(t/(-9)). Let b be ((-4)/q)/(5 - 34/6). Is 4/7 greater than or equal to b?
False
Suppose 99*r - 295*r - 37436 = 0. Do 35 and r have the same value?
False
Let x = 1.29 - -37.31. Let s = x + -39.6. Which is smaller: s or 0.005?
s
Suppose l = 5*r + 119, -l - 3*l + 16 = 0. Let u = r - -20. Let d be (1 + 0 - u)*3/2. Is 36/5 equal to d?
False
Suppose 9*m - 7*m + 4*s + 194 = 0, 379 = -4*m - 5*s. Which is smaller: -94 or m?
-94
Suppose -2*w = -2*k + 38, -10 = -k + 6*k. Let b be 182/(-49) - (-6)/w. Let u be (0 - 2/20)*(-2 - b). Which is greater: u or 0.04?
0.04
Suppose b = -v + 28, 4*v - 59 = 2*v - 5*b. Suppose 3*l - 137 = -2*f - 15, -4*f + 34 = l. Let z be l/21 + 1*25. Is v > z?
False
Let f be (-3*(-4)/(-6))/(-2). Let y = 227 + -101. Let k be (y/112)/(30/8). Is f less than or equal to k?
False
Let s = 35.4492 + -35.5. Let b = -12.0508 - s. Which is smaller: -0.2 or b?
b
Let n = 1 + 0. Let p = 134564/550643 + -66/269. Let v = p + 2053/6141. Which is smaller: n or v?
v
Let c(k) = -2*k**3 - 40*k**2 + 30*k - 253. Let b be c(-21). Which is greater: 4/1955 or b?
4/1955
Let r be (-18)/15 + 736920/(-400). Which is smaller: -1845 or r?
-1845
Suppose -5*x - 2*d + 7*d + 15 = 0, -2*d = -3*x + 7. Suppose 39*o - 55*o + 616 = -30*o. Let u be (-140)/o - x*3. Which is smaller: -4 or u?
-4
Let d = 44/719 - -543/2876. Which is smaller: d or 0.64?
d
Let u be 1660/(-25) - (-5 + (-69)/(-15)). Suppose -5*p = -5*g + 365, 0 = -4*p - 24*g + 22*g - 262. Which is smaller: p or u?
p
Let u be 30/(-21) - -9*(-4)/(-84). Let x be (2 - u)*100/(-75). Is x greater than or equal to -4?
True
Let o be 6/8*3392/(-7950). Is -0.1 at most o?
False
Let j = -125 - -213. Let r = j - 286. Is r less than -198?
False
Let c(i) = i**3 + 6*i**2 + 3*i + 14. Let q be c(-6). Let g be q/(-2)*((-1534)/12)/(-13). Is 19 less than g?
True
Let o(u) = -u**2 + u. Let s be o(1). Let q = -1234 - -1969. Let d = q + -740. Is s at least as big as d?
True
Suppose -25*z = -10*d - 29*z + 13314, 5 = 5*z. Which is smaller: d or 4?
4
Let w = -23.01 - -22.95. Is 8.72 <= w?
False
Let 