s f >= 1?
False
Let w be (2910/(-2908) + 7 - 6)/(3/30). Is 1 >= w?
True
Let g = -33 - -21. Let d = 0.1628 - 8.1628. Which is bigger: g or d?
d
Let t(r) = r + 60. Let z be t(8). Let y(c) = -2*c - 5. Let m be y(-5). Suppose 10 = -2*a, m*a = 2*j - 0*j - 163. Is j > z?
True
Let j = -2/89 - 75/623. Let y = -1.952 + -4.048. Which is smaller: j or y?
y
Suppose 0 = 7*h - 0*h - 14. Let x be (42/(-63))/(h/6). Let t(z) = -4*z**2 - 2*z + 5. Let r be t(x). Are -0.2 and r nonequal?
True
Let j be (-285)/(-3) + 1 + (-6)/4. Are 94 and j unequal?
True
Let h(x) be the second derivative of 15*x**3/2 - x**2/2 - 16*x. Let l be h(-1). Let t = 47 + l. Which is smaller: -8/17 or t?
-8/17
Let c = -9.15 + 9.2. Which is smaller: c or -1/134?
-1/134
Let t = -77.2 + 3.2. Let l = t - -72. Is l > 8?
False
Let q = 5 + -2. Let h = q + -3. Let z = 2931.5 + -2932. Is z at most as big as h?
True
Let v = 3705 - 3685. Which is bigger: 120 or v?
120
Let d be (1*(-1)/12)/((-54)/1008*7). Let s = 4 - 7. Which is smaller: d or s?
s
Let s = -4081/3 + 1344. Suppose -58*w = -7*w - 11*w + 600. Are w and s nonequal?
True
Let f be 31/(-6)*4/(-8) - (-91)/(-39). Is 722 smaller than f?
False
Suppose -5*d + 110 = 65, 104 = 4*b + 28*d. Let p = 6 + -4. Suppose p*a = -3*a - 190. Is a greater than b?
False
Suppose -13*m - 2128 + 1660 = 0. Which is smaller: m or -34?
m
Let m be ((-36)/(-66))/3 - (-36216)/(-199551). Which is bigger: 0 or m?
m
Let f(o) = 131*o - 9. Let j be f(2). Let z = -267 + j. Do -17 and z have different values?
True
Suppose 0 = 3*z - 26 - 16. Let g be ((-3)/z)/(3/8). Suppose -5*m - 3*q + 206 = 195, 0 = -5*m - q - 3. Is g at most m?
False
Let i be (-3)/(-5) - 1892/2420. Which is smaller: i or 6.2?
i
Let y be (53/474)/((-4)/42). Let v = -6/79 + y. Suppose 13 = -46*t + 33*t. Is t > v?
True
Let m be 1/2*-49 + (-1)/2. Let g be (19/(-2))/(m/50). Let s be -3 + (5 - (0 + 3)). Which is smaller: g or s?
s
Suppose -3*f - f = 6685532. Let b be 2/7 + f/5447673. Let v = 1/1123 + b. Are v and 1 unequal?
True
Let z = 4437266 + -5373529659/1211. Let w = z + 2/173. Let p = -2 + 1. Is p < w?
True
Suppose 3*c + k + 2*k - 3750 = 0, 0 = -c - 4*k + 1238. Suppose -2024 + c = -7*d. Is 107 <= d?
True
Suppose -4*f + p + 164 = -3*p, 3*p + 12 = 0. Let c = f + -47. Let w(l) = -l**3 - 9*l**2 + 9*l. Let h be w(c). Is h <= 7?
False
Suppose 239*f = 234*f - 3*y - 10929, -2*f - y - 4373 = 0. Which is smaller: -2184 or f?
f
Let t(k) = k**3 - 4*k**2 - 11*k + 30. Let y be t(5). Suppose 0 = s + 3*o - 6, 0 = -5*s - y*s + 2*o - 4. Is s > -7?
True
Suppose 0 = n - 5*y - 60 - 6, -264 = -5*n + 3*y. Suppose -2*w = -i + 11 + n, i = 5*w + 158. Which is smaller: w or -45?
-45
Let p = 121 - 120. Let h = 1/905 + 2689/23530. Is h > p?
False
Suppose -r + 3*a = 77, 36*r - 39*r - 5*a - 245 = 0. Let v be 1 - 11/((-605)/r). Which is bigger: 0 or v?
0
Suppose 56 = 4*w - 64. Let y be (522/(-232))/((-1)/12). Do y and w have the same value?
False
Suppose 1920 = -15*a + 111*a. Which is smaller: a or 2/243?
2/243
Let o be -5*(-4 + (4 - (3 - 2))). Suppose 4*i - o*j + 1 = 0, -4*j = -i + 3*i + 20. Let p be -1 + 2 + (-51)/12. Which is greater: i or p?
p
Let b = 37.32 + -37.362. Is -2 at most as big as b?
True
Let w(x) = 9*x - 6. Let q be -2 + -1*(1 + -3) + -45. Let j = q - -46. Let f be w(j). Which is greater: f or -0.2?
f
Let f be -24 - 72/(9 - 15). Are -38 and f equal?
False
Suppose 4*y = 5*y. Let k be 3*6/(y - (-27)/6). Let v be (3/k)/(1599/26). Which is smaller: -1 or v?
-1
Let x = 0.25 + 109.95. Let l = x - 110. Which is smaller: 9 or l?
l
Let k = 5 + -45. Let m = -30 - k. Let s = m + -23. Is -3 < s?
False
Let w = -0.6 - -0.63. Suppose f - 3*x = 14, -4*f + 4*x + 40 = -0*f. Suppose 0 = f*d + d. Is d < w?
True
Suppose -103 = 6*o - 793. Let v = o + -115. Suppose 2*k + 5*s - 2 = 0, v = 4*k + 4*s - 0*s + 8. Is k > -19/5?
False
Let f(v) = -v**3 - 22*v**2 + 17*v - 80. Let d be f(-23). Suppose 456 = d*l - 62*l. Which is greater: 1/3 or l?
1/3
Let u = 0.022 - 0.06. Let y = 18386.038 + -18365. Let k = y + u. Which is greater: k or 1?
k
Let t = 18686 - 18379. Do t and 317 have different values?
True
Let p = 549510/113 - 4863. Which is greater: p or 5?
5
Let u be (-79085)/15960 - (3 + 100/(-28)). Let n = -35/8 - u. Which is smaller: n or -1?
-1
Suppose 0 = 4*h - 33*n + 28*n - 23, 3*h = 5*n + 16. Suppose 0 = -h*q - 203 + 189. Which is bigger: 74 or q?
74
Suppose 41*y - 4236 = 16551. Is y smaller than -2?
False
Let s = -229.351 - 0.649. Suppose 2*v = 4*z + 4, -2*z + 2*v = -5*z - 3. Does s = z?
False
Suppose 3*r - 4*o = 53, 4*o = -24 + 4. Let d = 15 - r. Suppose -4*t = 3*k - 21, d*t = 6*k - 2*k + 28. Are -1 and t non-equal?
True
Let z be 4 + (-332)/(-234)*15/(-6). Let h be ((-303)/(-156) - 2)*-4. Let l = h - z. Is l equal to -1?
False
Let y(w) = -3*w + 21. Let o be y(6). Suppose 8*g + 642 = 4*g - 3*r, -o*r + 654 = -4*g. Which is smaller: -163 or g?
-163
Let h(a) = -a**3 - 35 - 641 + 46*a + 2*a**2 - 44*a - 191. Let r be h(0). Does r = -867?
True
Let u = -8839 - -8835. Which is greater: u or -25?
u
Let m = -29503/5175 + 11/225. Let c = -1068 - -1062. Is c at most m?
True
Let n = -0.1133 + 0.1884. Let w = n - -0.0249. Which is smaller: w or -7/4?
-7/4
Let t be 1156/910 - 1 - 0. Let b be 2/4 + 504/(-1040). Let h = t + b. Which is greater: 2 or h?
2
Let f = -32 - 71. Let c = -55 - f. Suppose -2*r + c = -2*y, 0 = 2*y - 3*r - 10 + 59. Is -22 smaller than y?
False
Let n = 1404 - -5126. Let s = n - 150253/23. Is s >= -4?
True
Let r = -18 - 76. Let k = -37 - r. Let d = k - 57. Is d < -5/9?
False
Let a = 87 + -65. Let y(w) = -6*w - 11. Let r be y(-6). Is r < a?
False
Let n = -14271 - -14270.9833. Is -0.6 > n?
False
Let b = -10551 - -10617. Suppose 3*t = -2*j + 122 + 4, -298 = -5*j + t. Is b > j?
True
Let n = -2.99 - 0.01. Let k = 92.788 - -0.212. Let u = -93.2 + k. Is u less than n?
False
Let x = 10.1 - 10. Let b = 555 - 668. Which is bigger: x or b?
x
Let d = 1033 + -1032.926. Let h = 2.704 + -2.43. Let t = d - h. Which is smaller: -1.1 or t?
-1.1
Let s = 185.32 - 185.36. Is s greater than -284?
True
Suppose 0 = -3*t + 2*i + 22, 5*t - 44*i + 43*i = 32. Is t at least as big as 4?
True
Let o(f) = -7*f - 2. Let s be o(-1). Let j = s + 10. Which is greater: j or 19?
19
Let d = 2906 + -2721. Which is greater: 190 or d?
190
Let x = -50.5 + 51. Let l = 21.5 + x. Let f = -20 + l. Do -4/5 and f have the same value?
False
Let y = -103 - -108. Suppose -y*h + a + 1 = -9, -5*h - 3*a = 10. Is 21/13 smaller than h?
False
Let o = 21.719 - 20.719. Is -19150 less than o?
True
Let v be (-268*2/(-5520))/((-14)/325). Let j = -2/483 - v. Are 1 and j non-equal?
True
Let i be (-10)/(-45)*-166*-43. Let y = i + -1584. Which is bigger: 1 or y?
y
Suppose -678 = 3*x + 4*o - 1885, -2*x - 3*o + 806 = 0. Are x and 393 nonequal?
True
Let y be (-3)/(-66)*93/62 - (-4)/22. Which is bigger: 13558 or y?
13558
Let s be 0 + (-1 - (-3)/3 - 90). Let v be s/(-504)*16/(-18). Which is smaller: v or -1?
-1
Let x be (1078/350 + -3)*(-13953)/6. Suppose 0 = 4*j - 4*u - 732, -4*u + 15 = u. Let y = j + x. Which is greater: 1 or y?
1
Let x be 3*(-2 - (-200)/102) - (-6714)/(-153). Which is greater: x or -33?
-33
Let s be ((-13)/26)/(1/(-6)). Let c be (((-132)/16)/(-11))/(s/4). Let g = 27100/11079 + -2/1231. Does c = g?
False
Let l = 229 - 104. Suppose 0 = -16*h - l - 19. Are -8 and h equal?
False
Let v be ((-11904)/15 - 18) + 8. Are -803 and v non-equal?
True
Let y = 2/342279 - 735680/8748993519. Which is bigger: y or -1?
y
Let l be -2 + -1 - 9/((-1521)/(-685124)). Let b = 4057 + l. Which is greater: -1 or b?
b
Let y be 4/7*952/(-612). Which is greater: -20 or y?
y
Suppose -17*a = -0*a + 136. Let h(l) be the third derivative of -l**5/60 - 3*l**4/8 + 4*l**3/3 + l**2. Let y be h(a). Is y smaller than 17?
True
Let a = 347.27 - 6.27. Let l = a + -338. Is l at most 1.1?
False
Suppose -181*u - 76 = -185*u. Suppose -u*n - 20*n = -2379. Which is smaller: 59 or n?
59
Suppose 5*w - 2*h + 5 = 7, -4*h = 4. Suppose -2*i + 4*r - 64 = w, i = 6*i + r + 138. Which is smaller: i or -29?
-29
Let k = -46.49 - 27.87. Which is smaller: 0 or k?
k
Suppose 4*q - 20 = 0, -3*q = 146*x - 150*x + 29. Which is smaller: 14 or x?
x
Let t = 20 + -4. Let h = -17025 + 17025. Which is greater: h or t?
t
Let v be (3 + (-11)/7)/((-39)/(-21)). Suppose 0