 Let h = 34.9540202 - -0.0459798. Which is greater: h or a?
h
Let w be (-81)/2*2/9*-3. Suppose -4*f = 3*u - w, -5 = 2*u + 4*f - 27. Let i be ((-29)/(-6) - u)*4. Is i at least as big as 56?
False
Suppose 4*o - 4*t - 1874 = -1882, -4*t = o - 8. Let u be (-9)/(-6) + (-2)/(-4). Let d be 1*2*u/(-2). Is d at least o?
False
Let y be (-63)/5 + (12/27)/((-140)/126). Is -173/13 at least y?
False
Suppose 2*k = 6*k + 2*h - 88, 3*h = -2*k + 52. Let y be (-4 - (-24)/k - -2)*-25. Is 2 > y?
False
Let h be 98/105*(-37000)/2590. Suppose -5*n = 29 + 31. Which is greater: n or h?
n
Let f(z) = z - 7. Let b be f(9). Let g be (((-180)/(-35))/4)/(b/(-10)). Let k be 2/(((-4 + 2)*1)/6). Is k at least g?
True
Let x = 683308/16505 - 1/16505. Let l = x + -41. Is 6.3 at least l?
True
Let l be (1*-2)/((-2)/4). Suppose 720 = 72*q - 32*q. Let d be l/6*q/(-54). Which is smaller: 0.02 or d?
d
Suppose 5*n - 71 + 78 = 3*k, -12 = -2*k - 4*n. Suppose 0 = -g + k*y - 5, y + 2*y = -g + 2. Is g != 2/1379?
True
Let u be (16/(-10))/((-133364)/(-6160)). Is 1 at most u?
False
Let d = 17 + -18. Let a(s) = s + 10. Let k be a(-11). Let u(b) = 13*b**3 - 3*b**2 - 4*b - 2. Let i be u(k). Is d not equal to i?
True
Suppose -a - 23 + 5 = 0. Suppose 0 = 4*q - l + 74, -q - 8 = 506*l - 501*l. Is q smaller than a?
False
Let h(s) = s**2 + 4*s + 1. Let l be h(-3). Let g = l + 1. Let k be (10 + -3 + -6)*1. Are k and g non-equal?
True
Let u = -179 + -144. Let m = 322.72 + u. Let g be ((-2)/(-4))/(2/4). Which is smaller: g or m?
m
Suppose -45*q = 21378 + 209562. Is -5132 greater than q?
False
Let s = 241.1 - 230.6. Which is bigger: s or -2/7?
s
Let d = -3684 + 3676. Is d > 344?
False
Let o(n) = -n**2 + 318*n - 7746. Let s be o(26). Is -120 < s?
False
Let q(h) = -9*h**2 - 189*h - 299. Let c be q(9). Is c >= -2727?
False
Let p be (1 + 3 - 1)/1. Suppose 2*z = -l - p*l - 4, 5 = -z - 3*l. Let i be (-1)/2 + z/16*22. Which is greater: 4 or i?
i
Suppose 0 = 4*i + 2*f - 248, -25 - 175 = -3*i - 5*f. Let h = 0 + i. Which is greater: h or 61?
61
Suppose -30*s - 44*s = -77890 - 61600. Does 1886 = s?
False
Suppose 4022 = -9*r - 55. Let q be 2 - 4*r/(-912). Which is greater: q or 1?
1
Let x = 713910/43 - 16600. Is x less than or equal to 4?
True
Let j = -22/663 + 2077/2652. Is j >= 1681?
False
Let n = 26 + -44. Let l be -6*((-40)/n - 2). Suppose 0 = h - 4*a + 13, 4*a + 124 = -h + 151. Is h equal to l?
False
Suppose -236*n = -232*n - 444. Let t = 35 - n. Is -2 < t?
False
Let t be 2610/1716 + 14/(-22). Let b be (-12)/(-7) + 2/7. Is b at least as big as t?
True
Let m be 3/(4*(-6)/1664). Let i be 78/m + (-38)/(-16). Are i and 4 non-equal?
True
Suppose 16*y - y - 908 = -923. Which is bigger: -9/1010 or y?
-9/1010
Let g = 8 + -2. Suppose -5*m = -g*m - 2. Let p be (m - 1*-3)/(5/15). Which is greater: 0.6 or p?
p
Let i = 933 + 255. Let x be (i/(-77))/(4/(-70)). Let h be 152/x + (-51)/85. Which is bigger: h or 1?
1
Suppose 26*s + 15 = 31*s. Let i be (s - (0 + -1))*(-38)/16. Which is smaller: 1/9 or i?
i
Let d = -2 - 65. Let t = -28 - d. Let n = 41 - t. Which is smaller: -0.1 or n?
-0.1
Suppose v - 2*y = 223, 3*v - 254 = 3*y + 409. Which is greater: 217 or v?
v
Suppose 0 = 4*x - 767 - 1537. Let v = 577 - x. Does 4/129 = v?
False
Let q be (2/11)/((-166)/232234). Which is greater: q or -255?
q
Let z = -1186.4 + 1042. Let r = -144 - z. Do r and -19 have the same value?
False
Let p(r) be the first derivative of -16*r**4 - 2*r**2 + 4*r + 114. Let w be p(1). Which is smaller: -65 or w?
-65
Let m(d) = -10*d**3 - d**2 - 9*d - 1. Let y be m(-2). Is y greater than 53?
True
Suppose -3*x + 1 = -8. Let h = -9541 - -9556. Is x at most h?
True
Let w(l) = 4*l**2 - 34*l + 18. Let g be w(10). Suppose -2*s + 0*s + 144 = 0. Is g < s?
False
Suppose b - 23 = 18. Let g = b + -34. Let c be ((-3)/(-22))/(g - (-284)/(-40)). Which is smaller: 2/5 or c?
c
Let c be (-1586)/3 + (-3536)/(-1326). Do -507 and c have different values?
True
Let w(k) be the first derivative of -2*k**3/3 + 3*k**2 + 37*k - 55. Let g be w(6). Is 2/103 bigger than g?
False
Let f(s) = 11*s - 6. Let n(o) = -12*o + 5. Let y(u) = 3*f(u) + 2*n(u). Let b be y(5). Suppose b*r = 34*r - 78. Does -25 = r?
False
Let x be (-10158)/(-24*(-12)/36 - 1*6). Which is bigger: x or 4?
4
Let r = -2287 - -2289. Let i = -900/2183 + 14/37. Is i greater than or equal to r?
False
Let g(q) = -7*q - 6. Let i be g(0). Let u be ((-5)/4)/5*4. Let r(j) = j**3 + 2*j + 1. Let n be r(u). Is i >= n?
False
Let d(t) = -t**3 + 8*t**2 + 8*t + 13. Let g be d(9). Suppose 0 = g*p + 71 + 85. Let a = p + 40. Which is smaller: -2/29 or a?
-2/29
Let f = 957 + -1094. Let r = f + 168. Are 31 and r non-equal?
False
Let t(r) = 1 - r**3 - 52*r**2 + 50*r**2 - 4*r + 0 - 8. Let j be t(-2). Which is greater: -1/35 or j?
j
Let g be (-246)/166 + (9 - 8). Let h = g - 310/1079. Which is greater: -2 or h?
h
Let f be ((-30)/(-40))/((-34)/14 - -2). Which is smaller: f or -1/37?
f
Suppose -2*j - 3122 = -4*m + 2428, -13863 = 5*j + 2*m. Is -2774 greater than or equal to j?
False
Let r be 0/(-3 + -1 + 2). Suppose -4*d - 2*j + 42 = 0, -9*j - 41 = -2*d - 6*j. Suppose 38*l - d = 51*l. Which is smaller: r or l?
l
Let f = 11789 - 12729. Which is smaller: -941 or f?
-941
Let t = -0.425 - -0.31. Let i = 3134.015 - 3134. Let l = i + t. Which is smaller: -2 or l?
-2
Let m = -553 - -548. Does 58 = m?
False
Let y be ((-50)/6)/5 + (-6)/(-9). Let j be -12 + (-2 - 4)*y. Suppose -4*a + a - 5*z - 4 = 0, -3*z = 5*a + 12. Which is smaller: j or a?
j
Let t = 19689 - 11656. Is 8033 greater than t?
False
Suppose -3*m - 2*d + 2504 = 0, -2*d - 4671 = -5*m - 487. Suppose -4*k + 3*c = -c + m, -2*k - 409 = -5*c. Which is bigger: -213 or k?
k
Suppose -o + 2*u = -2 + 89, 0 = -9*o - u - 707. Which is greater: -32 or o?
-32
Let d = 0.0663 + 634.9337. Let v = d + -669. Which is smaller: v or 7?
v
Suppose -41*h - 2700 = -5*h. Is h > -78?
True
Let g(t) = -7*t - 25. Let x be g(-6). Suppose -9*c = -27 + 9. Suppose -41 + 5 = -c*b. Which is smaller: b or x?
x
Let s = 83 - 288. Let t be ((-2)/(-3))/(-1)*(-41)/s. Suppose -3*l = 4*w + 7, 3 = 4*w - 3*l + 4. Which is bigger: t or w?
t
Let b be 7/((-9492)/56912) + 7/7. Let v = b - -72/113. Is -39 smaller than v?
False
Let r(q) = -9*q**2 + 19*q + 34. Let v be r(-7). Are v and -540 equal?
True
Let i be 5/(-3)*(189/28 - 6). Let a = 0.92 + 69.08. Let y = a - 70. Is y at least as big as i?
True
Let l(g) = -g**2 + 9*g - 6. Let d be l(5). Suppose -5*r - 6 = d. Let h = -10966/3 - -3652. Does h = r?
False
Let k be (-206)/3 + 4/6. Suppose -13*a = -a - 1584. Let h = -200 + a. Is k at least as big as h?
True
Let u be (6/4863)/(2*-1*(-1)/(-5)). Is u at most -1?
False
Let u = 37 + 6. Let r(n) = 17*n**2 + 10*n - 2. Let h be r(-2). Suppose -h = -i - u. Is i >= 21/10?
True
Let b(t) = 25 + 9*t + 23*t - 44*t. Let d be b(2). Is 2/53 bigger than d?
False
Let l = 5239/14 + -374. Suppose 0 = 5*a + 210 - 215. Are l and a nonequal?
True
Suppose 8*k - 54 = -14. Suppose -t + 137 = 5*z, -5*t = 2*z - 36 - k. Which is smaller: z or 27?
27
Let r = -20961.9 - -20962. Is r bigger than 127/22?
False
Let t be (-10 + (-574)/(-56))/((-1)/(-4))*1. Is -0.00042 bigger than t?
False
Let b = -414 - -420. Which is smaller: -290 or b?
-290
Suppose -10*z - 23 + 63 = 0. Let r be (9 - z)/((-25)/(-1030)). Which is smaller: 205 or r?
205
Let u = 12199.2 + -12199. Let o = 53 - 109. Which is smaller: u or o?
o
Let w be (-69)/(-138) - ((-555)/(-2))/(-3). Is 22 less than w?
True
Let m = -14 - -15. Let c be (-84)/(-22) + (-18)/(-99). Let f be m/((-100)/c + 4). Is 1 > f?
True
Suppose 10 = 2*h, 7 - 41 = 2*q - 4*h. Let o(l) = -5*l - 35. Let j be o(q). Let a = 0.6 - 0.2. Which is greater: j or a?
a
Let r be -6*(4/16 + 20/(-48)). Let u = -2305/16464 - 2/343. Which is smaller: u or r?
u
Let m(c) = -12*c - 177. Let i be m(-15). Let q = 443 + -445. Is q >= i?
False
Let i(d) = -16*d**3 + 20*d**2 + 5*d + 1. Let n be i(1). Let r be (-4)/6*3/2. Is r at most n?
True
Let j be ((-3)/(-3))/(2/(-40)). Let d(f) = -116*f - 247. Let z be d(-2). Which is greater: z or j?
z
Let v = -10.56 - -10.9. Let q be (-2)/2 - 11/(-9). Is q at most as big as v?
True
Suppose 4*h + 5647 - 1859 = -2*v, 3*h + 5*v + 2848 = 0. Is h bigger than -1893/2?
True
Let m = 279.436 - 279. Let s = 0.436 - m. Is s bigger than -241?
True
Let s(