4*s - 2*o. Is y at most s?
True
Let f be (-43407)/(-7371) - (0 + 6). Which is bigger: f or -2/17?
f
Let r = 925 + -2744/3. Let w(l) = 4 + 107*l - 7 - 110*l. Let k be w(-4). Are k and r non-equal?
True
Let n(g) = -5*g**2 + 5*g + 13. Let b(q) = -8*q**2 + 9*q + 25. Let f(l) = -3*b(l) + 5*n(l). Let a be f(6). Which is greater: a or -176/3?
a
Let o be (0 - 1)/(-2 + (-194)/(-98)). Suppose o = -7*x + 210. Suppose 0 = -d - x + 22. Which is bigger: 12 or d?
12
Let g = 48/13 - 1130/299. Suppose -8*i = -5*i - 12. Suppose -5*x - i = -x. Is x at least g?
False
Suppose 5*w - 8*w = 4*h + 417, -w + 5*h - 120 = 0. Let v = -414 + 277. Does v = w?
False
Let r be 431 + (-23 - -21) + (1 - -5). Let f be ((-864)/r)/2 + 0 + 1. Which is smaller: f or 0?
0
Suppose -2*b = 4*p - 8*p + 18, -2*b - 12 = -2*p. Suppose -3*z - 2*a = -4, 4*z + z + p*a - 5 = 0. Is z less than or equal to -7?
False
Let w(x) = x**3 + 11*x**2 - 42*x + 131. Let i be w(-16). Is 6 less than i?
False
Suppose -21*f = -19*f - 774. Let x = f + -631. Which is greater: x or -243?
-243
Let g be -13 + ((-1030)/(-30) - 21). Which is bigger: g or 499?
499
Let v = 0.1673 + -0.195. Is -0.1 > v?
False
Let s(y) = 3*y**2 - 100*y + 780. Let f be s(19). Suppose 3*z + 32 + 79 = 0. Is f equal to z?
True
Let l(h) = h**3 - 65*h**2 - 71*h + 329. Let z be l(66). Is z at least -78/61?
True
Let x = -10985 - -6423. Which is smaller: -3 or x?
x
Let z = 106/1927 + -4/41. Let h be (-11 + 11)*((-5)/2 - -2). Which is smaller: h or z?
z
Let m(z) = 6*z**2 - 69*z + 848. Let l be m(18). Is 1551 smaller than l?
False
Let k be ((-170183)/(-26) - -6)/(2/(-12)*3). Is k greater than -13101?
False
Suppose -3*f = -6 - 12. Suppose -f*l + 5 = -l. Let o be 91/182*4/(-5). Which is smaller: o or l?
o
Let w(p) = -26*p - 44. Let k be w(-2). Suppose -k*o - 87 + 23 = 0. Let f(h) = h**2 - 3*h. Let x be f(3). Which is smaller: x or o?
o
Let m(j) = -j**3 - 11*j**2 - 13*j - 3. Let z be m(-9). Let a be (-6)/15 + z/(-20). Let r be (-490)/(-630) - (48/(-27) + 2). Is a at least r?
True
Let n = -1633/79 + 148079/1580. Suppose 0 = -4*i - 2*d + 392 - 96, 4*i = -d + 294. Let c = i - n. Is c greater than 1?
False
Suppose -6*z = 8*z + 140. Suppose 9 - 3 = -3*u. Let b be -5 + u/(z/15). Which is bigger: -3 or b?
b
Suppose -2*g - 2 - 174 = 0. Let k = g - -88. Which is bigger: 0.27 or k?
0.27
Suppose -8*f + 5*f - 2721 = 0. Let w = f - -611. Which is smaller: w or -298?
-298
Suppose 0 = 10*h + 58 + 2. Let g(t) = -t**3 - 3*t**2 + 10*t - 4. Let o be g(-5). Let v be -4 + ((-2)/h - o). Are -4 and v equal?
False
Let y = 431 + -416. Let f be (-245)/165 + y/9. Let w = -2/165 + -31/165. Which is bigger: w or f?
f
Let z be 78 + (14 - 14) + 18. Is 12 smaller than z?
True
Let k = -1536/37 - -198736/4773. Which is bigger: k or 1?
1
Let g(l) = -l**2 + 10*l + 446. Let v be g(-31). Is -829 >= v?
False
Suppose -s = -9*s + 32. Suppose 3*l + 4*y - 571 = -0*y, -16 = -s*y. Is 185 at least as big as l?
True
Let m = 2/97 - -61/1746. Let v = 400 - 401. Which is smaller: m or v?
v
Let p = 93 + -133. Let x be p - 2*20/(-8). Let i = -35 - x. Which is smaller: -5/8 or i?
-5/8
Let q = -459 + 491.3. Is q bigger than -2?
True
Let y = -2763 + 2790. Which is smaller: y or -2?
-2
Let n be (-147)/28 + (56 - 51). Which is greater: n or 6/41?
6/41
Let i be -11 - (0 - 0/(-2)). Let f(z) = z**2 + 4*z - 22. Let w = 198 - 204. Let u be f(w). Is i < u?
True
Let n(d) = -4*d + 2. Let m be n(5). Let w be (-4)/m + 6 + 190/(-45). Let y = w - 31. Is -28 at least as big as y?
True
Let c(r) be the first derivative of -r**4/4 - 22*r**3/3 + 14*r**2 - 9*r - 60. Let z be c(-23). Is z > -122?
False
Let a = 0.2637 + -0.2417. Let n = -61/165 + -1/33. Is n at most as big as a?
True
Suppose 89*x - 9829 = 3343. Is 176 at most x?
False
Let r be (14/(-20))/((-702)/(-1603615)). Let f = r - -1599. Is f at most as big as 0?
True
Let k = -40 + 24. Let x = -214/3 - -141/2. Are x and k unequal?
True
Let u be (-3)/12*4/(-1). Let f be (-16)/(-104) - 12864/(-39). Let a be (-5)/25 - (-81)/f. Are u and a unequal?
True
Suppose 10*i = i + 6012. Suppose 60 = -19*h + i. Let b(u) = u**2 + 6. Let y be b(-5). Which is smaller: h or y?
y
Let g = -4444/45 - -987/10. Is -0.0478 at least as big as g?
True
Let i = -1.2369 + 4.2369. Which is smaller: i or 1.1?
1.1
Suppose 30*q + 903 = -1887. Is q >= -115?
True
Suppose 3*b + 5*w - 992 = -176, -2*w + 1102 = 4*b. Which is smaller: b or 1/20?
1/20
Suppose 0 = q + q + 2. Let p be (2/(-15))/((-1)/10) + (-39026)/25935. Are p and q nonequal?
True
Let c be ((-2)/(-4))/(3/(-114)). Let t be 3*((-9555)/104)/15. Which is smaller: c or t?
c
Let y be (8/3)/(74 - 70). Which is greater: y or -3257?
y
Suppose -m = o - 5*o - 21, 3*o - 86 = -2*m. Let c = -22870 + 22908. Which is smaller: c or m?
m
Suppose -9*f + 8*f + 1481 = 0. Suppose c + 5*q - 224 = 151, -f = -4*c - q. Suppose 5*j + 5*d + c = d, -5*d = -2*j - 148. Is j not equal to -75?
True
Let m be 44/(-110) + (-292)/(-5). Suppose 54*y - m*y = -4. Which is smaller: y or 3/40?
3/40
Suppose 194625 = 75*c + 50*c. Which is smaller: c or 1558?
c
Let n(u) = 5*u**3 - 4*u**2 - 5*u - 8. Let s be n(-4). Let h be (1/(-22))/((-1)/s). Which is smaller: -18 or h?
-18
Let v = 19 + -27. Let u(m) = -m**3 + 13*m**2 + 5*m - 19. Let a(f) = -6*f**3 + 67*f**2 + 24*f - 96. Let r(c) = 2*a(c) - 11*u(c). Let o be r(v). Is o >= 7?
True
Suppose -70729*p - 721 = -70736*p. Suppose 5*x + z = -3*z + 530, x + 3*z - 117 = 0. Are p and x equal?
False
Suppose -7*h + 5*h = -82. Let o = h + -46. Let b be ((-10)/4)/(-5)*(o + 1). Which is greater: 0 or b?
0
Let p = 1045 - 1044. Is 4673 >= p?
True
Suppose -67*v = 70*v + 137. Are 4/289 and v non-equal?
True
Suppose 77*q - 15151 = -2369. Which is bigger: 193 or q?
193
Let i = 29 + -23. Let j(c) = -4*c + 23. Let m be j(i). Let g be (m/3)/((-46)/(-3)). Are g and -1 unequal?
True
Suppose 5*h - r + 3480 = 3443, 0 = -h - r - 11. Let y(k) = -k - 2. Let s be y(-3). Let q be ((-310)/8)/5*s. Is h less than q?
True
Let n(j) = 5*j**3 + 105*j**2 - 232*j - 23. Let a be n(-23). Which is greater: 248/11 or a?
a
Let d = 7329/4 + -1832. Which is smaller: d or 586?
d
Let s = 38299 - 38298. Is s at least as big as -1/41923?
True
Suppose 28*x = 69*x - 8*x - 86163. Which is greater: 2609 or x?
x
Suppose 2*j + 4*z = -0*j + 408, 5*z = -3*j + 613. Let w = j + -165. Which is greater: 39 or w?
w
Let l = -217.07181 - -217.1. Which is bigger: l or 2?
2
Suppose 57*z - 2611 - 3488 = 0. Suppose 100*q + 168 = z*q. Which is smaller: q or 36?
q
Let i = 0.04912 - -0.95088. Is i equal to -2294?
False
Let b be (0 + 36 - (-4 - -1)) + -2. Suppose -42*v - 1235 = -b*v. Let h = v - -2231/9. Which is greater: 0 or h?
h
Let d be -1376 + 1389 + (-250)/22. Let r = 6 - 4. Is r less than or equal to d?
False
Suppose 4*h + 7*h + 2*h = 1404. Is h less than or equal to 3/2?
False
Suppose 4*x = -3*o - 10428, o = 3*x - x - 3486. Let u = o - -810842/233. Which is greater: u or -1?
u
Let p = -0.69 - -41.69. Let x = 42.7 - 1.7. Let g = p - x. Which is smaller: g or -0.5?
-0.5
Suppose r + 8*p - 167 = 6*p, -3*p = -2*r + 348. Suppose 6*u - 321 + r = 0. Which is smaller: 273/11 or u?
273/11
Suppose 7*w - 15 = 20. Let i be (-55)/(-11)*(-1)/w*1. Which is bigger: -1/198 or i?
-1/198
Suppose 2*b - 27 = -29. Let c be (1 - 1)*b/2. Suppose u - 3*z - 5 = c, u - 2*z - 2 = -0. Are u and -16/3 equal?
False
Let k = 208.3686 + -2.1686. Is -1 bigger than k?
False
Let s be -10 + (-13)/((-91)/70). Is s greater than 3/2062?
False
Let g(a) = -288*a + 28 + 9 + 265*a. Let o be g(2). Which is smaller: o or -5?
o
Let y be -8*((-477)/(-72) + -20). Is 97 at least as big as y?
False
Suppose 3*u + 4*c = -24 - 7, 0 = 2*u + 2*c + 24. Let m be 68/u*((-6)/(-4) - -2). Which is greater: m or -40/3?
-40/3
Let k be (2 - 7)*(76 + -102). Let q be (-191 + -4)*4/(-6). Is k equal to q?
True
Let k be 72/(-18) - (262 + 3 + 2). Which is bigger: -276 or k?
k
Let i = -8 - -11. Suppose i*r - 30 = 5*r. Suppose -35*q + 32*q + 27 = -2*y, 5*q = -3*y - 50. Is r < y?
False
Let c = -69 - -25. Suppose -16073*f + 35770 = -16803*f. Which is greater: c or f?
c
Let n(d) = 13*d**3 + d**2 - 2*d. Let a be n(1). Let w(v) = 3*v + 12. Let s be w(a). Let k = s + -49. Is 3 less than or equal to k?
False
Suppose -21 = 3*i + 3. Suppose 0 = -5*m - 18 - 2. Let j be m - (-2 - 10)/(-6)