s h >= -4597?
False
Suppose 8*t = 66*t. Do 1/1493 and t have the same value?
False
Suppose 0 = -9*r - 5*r + 14. Let p = -34499 - -16801007/487. Let m = 2290/27759 + p. Which is greater: m or r?
r
Let u = 1/9889 + 29630/365893. Let k be 10/(-6) - (-1 + 0). Are u and k nonequal?
True
Let n = -62 - 61. Let q = -8443 + 8566.1. Let u = n + q. Which is smaller: u or 1/9?
u
Let c = 32 + -28.41. Let a = c + -3.16. Which is smaller: 0 or a?
0
Let y(u) = u + 19. Let q be y(-16). Suppose f + 3 = -4*z, 2*z - q*z + 2*f = 12. Which is smaller: -1/4 or z?
z
Let q be 2*3*14/(-12). Let k(s) = 26*s + 47. Let p be k(q). Let x = -135 - p. Which is bigger: -1 or x?
x
Let a be (96/(-111) + 1)*1112/(-10). Which is bigger: a or -15?
-15
Let c = -19850 - -19865. Which is smaller: 868/59 or c?
868/59
Let a = -0.37915 - -10.37915. Let f = 7 - 27. Let z = a - f. Is z > -2?
True
Let h be (-2)/18*24/(-316). Suppose 0 = -2*z + 4*n + 10, -4*n + 1 - 4 = 5*z. Which is smaller: z or h?
h
Let t(c) = -c**3 - 8*c**2 + 8*c + 3. Let j be t(-9). Let x = -308 + 310. Suppose 7*y - j = x. Is 10/3 smaller than y?
False
Let w be 6 + -6 + (-432)/45 + -3. Is w smaller than 0.34?
True
Let h be -2*(-5)/(10/(-83)). Let n = -55/46 + -1870/23. Is n at least h?
True
Let f be 3 + 8 + -19 + 1812/234. Suppose -3 = z - 2. Is f < z?
False
Let k be ((-12)/210*5)/(45/7). Suppose 1 = 7*j + 8. Which is greater: k or j?
k
Let w(v) = 3*v**2 - 13*v - 46. Let m be w(-5). Which is bigger: 92 or m?
m
Let v(n) = n + 5*n + 3*n - 12 - 11*n. Let b be v(-6). Let u be b/((-143)/(-55) + (-3)/5). Is 2/45 less than or equal to u?
False
Let r = 0.006 - 40.006. Let q(t) = -2*t**2 - 52*t - 8. Let k be q(-26). Let d be ((-13)/(156/k))/((-2)/3). Which is bigger: r or d?
d
Suppose 108805 - 159034 - 235911 = -285*c. Is c < 1007?
True
Let k = 132 - 89. Suppose 22*n - k = -21. Which is smaller: n or 1/24?
1/24
Suppose -8 = 3*f + 94. Let n be f/20 + 2/10 - -3. Is n less than or equal to 1?
False
Let c = 71.7 - -123.3. Which is bigger: -1 or c?
c
Let y = 44 + -42. Let l be ((50/4)/(-5))/(y/(-16)). Let z be l*((-12)/(-75))/((-4)/10). Which is greater: -9 or z?
z
Let s = -18126 + 17676. Which is smaller: s or -468?
-468
Let g be 2419437/45694 + (-2)/44. Is g equal to 54?
False
Let l(p) = -4*p - 1. Let n(d) = 5*d + 120. Let o(i) = l(i) + n(i). Let x be o(24). Is 144 smaller than x?
False
Let h(t) = 8*t**3 - 9*t**2 - 6*t - 13. Let u be h(-4). Is u less than -4?
True
Let m(k) = -33*k + 11. Let c be m(-9). Let n be ((-150)/(-24))/(3/c). Let p = 631 - n. Which is smaller: -12 or p?
-12
Let g(r) = -r + 225. Let f be g(5). Suppose -14*b - f = -3*b. Suppose -3*j + 2*a - 8 = -1, -a = j + 4. Does j = b?
False
Suppose -z + y - 9 = -3*z, 4*z - 13 = -y. Suppose -4*m + 165 = -0*m - 5*h, 0 = -m + z*h + 45. Suppose -24*t = -19*t + m. Which is smaller: -9 or t?
-9
Suppose 5*d = -6*d. Let y(h) = -6*h. Let g be y(d). Which is bigger: 1 or g?
1
Let n(p) = 2*p**2 + 85*p + 35. Let d be n(-41). Let j be (-1*d/12)/((-2)/21). Is -74 greater than or equal to j?
True
Let y = 69 + -2551/37. Suppose 38 = 20*d + 18. Which is smaller: d or y?
y
Suppose d + 6 = 3*z - 2*z, 0 = 3*d - 2*z + 21. Suppose 0 = -4*m - 12, 2*h - 9*m = -11*m - 36. Is d at least as big as h?
True
Let k = -6482.1 + 6586. Which is smaller: -1/2 or k?
-1/2
Let x be (-30)/4*195/16965*(-12)/(-10). Let b be 0*((-2)/4)/(-1). Which is greater: x or b?
b
Let b be (-3 - -4)*(-3 - (3 + -1)). Let g = 41 - b. Are 45 and g unequal?
True
Let l = -1108.1 + 1184. Let b = -51.9 + l. Is b bigger than 0.7?
True
Let n(v) = 8*v**2 - 70*v + 80. Let w be n(-8). Is w at least as big as 1143?
True
Let f be -2363*(-3)/(-1416) - (78 - 83). Is -2 less than or equal to f?
True
Let x = -350.15 + 350. Let o = 0.8 - 0.9. Let h = 0.1 + o. Which is bigger: x or h?
h
Let h be (3/(-8))/((-16848)/64). Is -1 < h?
True
Let a be (3274/(-153)*1)/45. Let k = 10086 + -4084832/405. Let h = a - k. Which is greater: h or 0?
0
Let d = -5636 + 5699. Is -3.1 greater than d?
False
Suppose -119 = -7*r - 147. Let h(y) = y**2 + 10*y + 24. Let x be h(r). Is -4/57 > x?
False
Suppose 11 = n - 18*p + 16*p, -4*n - 5*p = 8. Suppose -n*i + 165 = -4*u, -5*i - 2*u + 243 = 2*u. Which is bigger: 50 or i?
i
Let g = 0.01 + -0.01. Let n = -1933/18172 - 1/1298. Is n > g?
False
Let u = 508 + 7006. Is -2 at most as big as u?
True
Let w(k) = 85*k - 380. Let h be w(12). Is h < 639?
False
Let a be (72/16)/(1/(-2)). Suppose -4*z + d + 15 = 0, -5*d - 10 - 5 = -5*z. Let l be ((-324)/(-8))/a*z/(-6). Is 3 not equal to l?
False
Let n(y) = 4*y**2 + 40*y + 46. Let g be n(-14). Suppose 27*k + g = 37*k. Does k = 290/11?
False
Let t be (136/56 - 8) + 8/14 - -55. Which is smaller: 59 or t?
t
Let f(z) = 17*z + 6 + 17*z**2 + 8*z**2 + 4*z - 26*z**2. Let r be f(18). Suppose u + 3*h + r = 0, -5*h - 121 = 4*u - 2*u. Which is smaller: -64 or u?
-64
Let t(v) = v**3 - 22*v**2 - 11*v + 18. Let y be t(22). Let u be (y/(-76))/(-7)*(-3)/6. Let g = -1 - -1. Is u <= g?
False
Let a = 13811 + -13720. Are -19 and a equal?
False
Let c be (-80)/16880*(-4)/812. Which is smaller: c or 1?
c
Suppose -3*f = 0, -3*f + 4 - 3 = -u. Let l = -139/6 - -20971/906. Which is smaller: l or u?
u
Suppose -6*l + 10*l = -4, 5*l = b + 44. Are b and -36 unequal?
True
Let f(z) = -28*z**3 + 2*z - 1. Let y be f(1). Let m = -2724239827/99015150 + 20/660101. Let k = m - -1/75. Is k > y?
False
Let c be 682/(-30) - 4/6. Suppose 10097 = 23440*n - 23879*n. Do c and n have the same value?
False
Suppose 10*u - 192 + 2452 = -130. Which is greater: u or -1198/5?
u
Suppose -9*d - 26 = -22*d. Suppose -j - d*a = 3*a + 24, 0 = 5*j + 2*a + 5. Which is bigger: 22/37 or j?
j
Let p = -195.3 - -192. Let z = -0.9 + p. Is z bigger than 2?
False
Let v = -200799727/1050 - -191238. Let s = 1/525 + v. Is s <= -4/39?
False
Suppose -3*n + 5*l - 15 = 2*n, n - 2*l + 7 = 0. Let q = -18/173745295 + 674306602097/10735548032755. Let m = -2/1261 + q. Is m less than or equal to n?
True
Let q = 7239.3 - -2824.7. Are 2/7 and q unequal?
True
Let i(k) = k**2 + 4*k - 12. Suppose -12 = 5*g - 3*g. Let y be i(g). Let r(f) = f**2 - 5. Let z be r(y). Which is greater: z or -8?
z
Let i = 0.024 - -1.866. Let m = i + -7.89. Let q = 4 - 3. Which is bigger: q or m?
q
Let y = -642 - -646. Suppose 2*h - 4 = 5*m + 12, -m = 0. Is y at least h?
False
Let g = 2774 + -2719. Is g not equal to 43?
True
Let g(k) = k**3 + 2*k. Let j(y) = -2*y**3 - 19*y**2 + 18*y - 1. Let b(m) = -g(m) - j(m). Let i be b(-20). Which is smaller: i or -9/53?
-9/53
Let m = -2326 - -397744/171. Let i = -76496 - -76495. Which is bigger: i or m?
m
Let d = 0 + -1. Let k(x) = -3*x**2 + 4*x - 5. Let r be k(2). Let m be r/18 + (-2)/(-14). Which is bigger: m or d?
m
Let w = 0.23234 + 7.86766. Is w <= -28?
False
Let f be (-970)/6 + (-15)/(-9). Let n be (-22)/f + 32/(-160). Which is bigger: n or 1/2?
1/2
Let m be 30/4*-10*590/(-125). Which is smaller: 353 or m?
353
Let x = -3641 + 3646. Is 57 bigger than x?
True
Let d be (-24)/432*(-5 - 928). Is 52 equal to d?
False
Suppose j - 1 = -0*j. Let s be 46968/(-1044810) + 10/325. Which is smaller: j or s?
s
Let k be (-1104)/(-32)*6/((-108)/130). Is -248 equal to k?
False
Suppose 2*v - 3*q - 71 = 6*v, -4*v - 5*q - 81 = 0. Let a be 6/(-12) - v/(-4) - 129. Is 1 less than or equal to a?
False
Let t be 7/((-7)/2) + 3. Suppose 3*o - 9 = b, 0*o - 16 = 2*b - 5*o. Let d be (b/75)/((-24)/(-30)). Is d bigger than t?
False
Suppose -86 = b - 2*b. Let d = b - 83. Suppose -3*u + d = -3*c, 4*u = -2*c + 2*u + 14. Is c < 2?
False
Suppose -4*u = 2*r - 128, 2*u - 2*r - r = 64. Let f = u + -36. Let z be ((-3)/(-40))/((-1)/f). Do z and 0 have different values?
True
Let d be 29/319 + (-144325)/55. Which is smaller: -2622 or d?
d
Suppose 19*n + 2 = 211. Suppose -217 = -n*q + 113. Are 29 and q equal?
False
Let r = 71 - 34. Let w(d) = 5*d + 119. Let z be w(-17). Suppose -z + r = 3*c. Which is greater: c or -1/10?
c
Let d = -0.075 + 95.075. Let y = d + -84. Is y smaller than -3/7?
False
Let s be (-9)/(-27)*5/(-995)*2. Let z = 13 + -14. Which is greater: s or z?
s
Let x = 21577 + -21577.76. Is 101 less than or equal to x?
False
Let s be (21020/284 - -4)*(-422)/(-18). Let x = 1829 - s. Which is smaller: -1 or x?
-1
Let c = 863 - 691279/801. Which is smaller: 1 or c?
c
Suppose -2*g + 3*w = 2