y**5/5 - 2*y**4/3 + y**3/3 - 2*y**2 + 2*y. Let d be h(4). Let c be 5/2*((-744)/d + -2). Is c greater than or equal to -2?
True
Suppose -2*w - 10 = 3*w - 5*r, -2*w - 5*r = 32. Suppose 7*g = 22 + 13. Suppose -10*o = -g*o + 20. Which is smaller: w or o?
w
Let a = 98 - 102. Let x be 7 + 1*(a + -3). Let u = -0.27 - -12.27. Which is greater: x or u?
u
Let i be (15/(49 - 34))/(-2*5/2980). Suppose -4*f = -f + 897. Which is smaller: i or f?
f
Suppose 0 = 3*a - a + 80. Suppose 42*x + 55 = -80 + 51. Which is greater: x or a?
x
Suppose -119 = 2*v - 89. Which is smaller: -287/18 or v?
-287/18
Let j(d) = -2*d + 9*d**2 - 3*d - 5 + 26 - 3*d + d**3. Let t(q) = -128*q + 630. Let h be t(5). Let n be j(h). Which is smaller: -1/7 or n?
-1/7
Let p be (-8)/(-10077)*-12*(-5)/80. Which is smaller: p or 0?
0
Let h be -9 + -4 + -583 + 6. Let f = h + 591. Is f equal to 45/7?
False
Let a be 1 + 71/4 + (-27)/36. Let z = 12 + a. Which is bigger: z or -2?
z
Let u = 10124 + -16694475/1649. Is u at most 1/3?
True
Suppose -18 = 37*l - 40*l + 3*w, 5*l + 2*w = -12. Is -68/73 not equal to l?
True
Suppose 2*m - m + 5 = 0. Let n be (-6)/2*(17/(-7) + (-25 - -29)). Which is smaller: m or n?
m
Let y be (-20)/8*(10 + (-364)/35). Which is smaller: -23/66 or y?
-23/66
Let i be 4 + 14235/17631*138/(-28). Let r = i + -1/42. Let a = 1140/54199 - r. Which is greater: 0 or a?
a
Let q = -10 + -19. Let f(d) = -31*d**3 + d. Let c be f(1). Let r = q - c. Which is bigger: -6/23 or r?
r
Let y be ((-2022)/21)/(15/35) - 4/12. Is -218 != y?
True
Let a be 3 + (-3 - 3 - 4)*-29. Let v = -152 + a. Are v and 421/3 nonequal?
True
Let t be 22/((-9)/27*6). Let s be (1/t)/((-8)/88). Is s < 81?
True
Let w = -162202/50591785 + -2/41165. Which is smaller: 0 or w?
w
Suppose 2*s + 6 = 4*s. Let x(v) = -122*v - 833. Let o be x(-7). Suppose -3*i + 6*i + s*m = -12, i - 4*m - o = 0. Which is bigger: i or -3?
i
Let s = 477040/7 + -70007. Let a = -3462 + 1598. Let k = a - s. Which is smaller: -6 or k?
-6
Let a = 2 - 2.23. Let m be (6 - 0) + -9*8/12. Which is smaller: m or a?
a
Let g = 10 - -25. Let t be -4 + 1 + 0 - (-6 - g). Does 1/2 = t?
False
Suppose -161 = 43*n - 204. Are n and -29/959 non-equal?
True
Suppose 6978 = -4*l + 5*k, l - 29*k = -11*k - 1778. Is -12192/7 > l?
True
Let p(t) = 70*t + 28. Let y be 11 + (2/(-4))/((-6)/36). Let q be p(y). Let o be 312/q - 1/6. Is 1 greater than or equal to o?
True
Let q be (-5)/(-10) + (-543)/6. Let f(z) = -90*z**3 + 8*z**2 - 8*z - 1. Let u be f(1). Which is smaller: u or q?
u
Let d be (17 + -26)/(22 + -11 + 53/(-4)). Let q be 3*-1*14/(-12). Which is greater: d or q?
d
Let w = 1211.8 + -273.8. Which is smaller: w or -9?
-9
Let l = 196 + -193. Let p(n) = 4*n**3 + n**2 + 2*n - 6. Let t be p(l). Does 119 = t?
False
Let s = 44/949 - -3664/2847. Which is bigger: -23 or s?
s
Suppose 138 + 56 = 10*p - 56. Let v = 13375175/2804 + -900/701. Let b = 4794 - v. Which is bigger: b or p?
b
Let m(y) = y**3 - 12*y**2. Suppose 24 = 4*l - 24. Let q be m(l). Let p be q + (-1 - (-3 - 102/(-33))). Which is smaller: p or 0?
p
Let z = -20 + 93. Let d = -72.956 + z. Is d at most -0.1?
False
Let r(v) = v**2 + 50*v + 424. Let z be r(-6). Which is smaller: z or 2724/17?
z
Suppose -382*g + 380*g = 3*p - 1, 2*p + 4*g = 6. Which is smaller: 3/2054 or p?
p
Let m be 2418/(-78) - (35 - -1)/(-4). Does m = -21?
False
Let w = -427.9 + 427.75. Let h be (2/8*-1)/1. Is h equal to w?
False
Suppose -2*i = 3*i - 15*i + 15340. Which is smaller: 1531 or i?
1531
Let w be ((147104/(-20))/4)/((-456)/150). Let h = -605 + w. Is 0 smaller than h?
False
Let l(x) = x**3 - 10*x**2 + 30*x + 7. Let u be l(7). Suppose 365 = -4*q + 65. Let d = u + q. Which is greater: d or -1?
-1
Let q = -3 - -2.99. Let k = -83 + 162. Let l = -79.1 + k. Which is greater: q or l?
q
Let m be 23450/1530 + (0 - 2/(-17)). Let i = 7439/477 - m. Is i at least 1?
False
Let r(h) = -h**2 - 23*h. Let c be r(-11). Let v be -3 - ((-2)/(-5) - c/(-20)). Which is greater: v or 0?
0
Suppose -4*k + 0 = m - 19, 3*k - 5*m = 20. Suppose 3*d + k = -j, 0*j = -2*d - 4*j. Is -20/9 at most as big as d?
True
Let y = -34.84 + 88.25. Let t = -0.59 - y. Suppose 2*z - 24 = -3491*n + 3493*n, -4*z + 59 = -5*n. Does z = t?
False
Let x = 4 + -5. Let v = x + 2. Let y = -634 - -634.12. Is v <= y?
False
Let d = -191.1 - -191. Which is smaller: d or 2.852?
d
Let i be 537417/(-844) - (-5)/(-4). Which is bigger: i or -633?
-633
Let l = -213.91 + 216. Let i = 2.25 + l. Let m = i + -0.34. Are m and 5 equal?
False
Let l = -3706 - -3695. Do -35 and l have different values?
True
Let o(i) = -i**2 + 7*i. Let u be 22/(-10)*-3 + 2/5. Let y be o(u). Is y < 7/5?
True
Suppose -300 - 240 = -3*x. Suppose 140*w + x = 137*w. Which is greater: w or -61?
w
Let p be 6 + 52/(-8) - 294/4. Let d = p - -73. Is 1 != d?
True
Let a(o) = o**3 - 5*o**2 - 734*o + 2975. Let v be a(4). Let j = 20 + -34. Let g be (-4)/j - (-166)/7. Which is bigger: g or v?
g
Let n(c) = -724*c + 13. Let k = -14 - -12. Let p be n(k). Let u = p - 4345/3. Is u >= 14?
False
Suppose -20*r - 6 = -17*r. Let s be ((-23)/r)/(3/(-6)). Suppose 4*n = 2*c + 60, -3*n + 6 - 21 = c. Which is smaller: c or s?
c
Let y be 46/6 + -8 - 38386/6. Let j be 6/(-57) + y/(-133). Suppose 3*a = -a + j. Which is smaller: a or -1?
-1
Let x(g) = -4*g**3 - 8*g**2 - 2*g. Let y = -84 + 82. Let b be x(y). Let v be ((522/20)/(-9))/(1/b). Is -11 at most v?
False
Suppose t + 3*k = 1973 + 2673, 4*k - 13953 = -3*t. Is t at most 4655?
True
Suppose 24*l - 35*l - 330 = 0. Let y be (l/(-20))/((-1)/3). Let s be 2/10 - (-52)/(-10). Is s greater than y?
False
Let p = 82 - 77.3. Let k = 3.63 + p. Let c = 8.3 - k. Is c >= -3/2?
True
Let s(a) = 3*a - a**2 - 6*a**2 + 14*a**2 - 3. Let p be s(-2). Are p and 13 nonequal?
True
Let d be (3/5 + 6/(-12))/((-76)/(-190)). Suppose -4*t = 3*b + 1, 3*t + 5 - 20 = 3*b. Let l(j) = -j**2 - 3*j - 1. Let k be l(b). Which is greater: k or d?
d
Let u = 98 - 14. Let l be (u/20 - 4)*(-645)/(-9). Let c = l - 236/15. Which is greater: 1 or c?
1
Suppose 0 = 3*g + 3, -185*g = -u - 180*g - 1320. Is u bigger than -1327?
True
Let x = 31543 - 29387. Which is greater: x or 3?
x
Let m = -0.03663 + 127.08663. Let c = m + -127. Are c and 0 equal?
False
Let a = 204 - 218. Let u be 56/140 - a/(-20). Are 1 and u equal?
False
Suppose -11 = -2*w - 1, -4*w = -2*g + 28. Let j be -2 - (16/(-28) + g/(-7)). Let a be 2/(-6 + j)*(-8)/(-314). Is 1 greater than a?
True
Let g(f) = 17*f + 63. Let m(b) = 6*b + 21. Let x(s) = 3*g(s) - 8*m(s). Let p be x(-7). Which is greater: -2/11 or p?
p
Let x be 4/22 + ((-3)/(-6))/(3300/120). Let i = -98404/65 + 1514. Is x bigger than i?
True
Let z = -240 + 243. Suppose 4*w - 3*x + 5*x = 0, -9 = -3*w + z*x. Which is smaller: w or 3/86?
3/86
Let g(h) = 58*h - 137. Suppose 22*i = 4*p + 23*i - 15, 2*i = p + 3. Let w be g(p). Is 41 not equal to w?
True
Let t = -439/10 + 13/20. Let w = -171/4 - t. Is 0.31 <= w?
True
Let g be 3 + 9/23*-7. Let c = -182 + 181.8. Which is smaller: g or c?
c
Suppose 5*g + 13853 = -3*d, -45*d = -2*g - 43*d - 5538. Is g less than -2769?
True
Let g be -9 - -9 - (-3)/(6/20). Let q be (-10)/4*48/g. Is -10 bigger than q?
True
Let a = 66 - -68. Suppose -4*p + a = -y + 3*y, -2 = -2*y. Suppose -6*s - p + 45 = 0. Is s <= -6?
False
Let a = -1079.9 + 406.8. Let d = a - -673. Is 213 not equal to d?
True
Let h be (42251/69 - -27)/9. Which is smaller: h or 72?
h
Let x = 21327 + -21438. Which is smaller: 86 or x?
x
Let w(y) = 5*y**2 + 4*y**2 - 13 - y**3 - y + 2*y + 0*y**2. Let c be w(9). Let q be 7 + c - 162/52. Which is smaller: 1/2 or q?
q
Suppose s = 6*s - 50. Let z = -5195.2 - -5195.4. Is s greater than z?
True
Let j = -236 - -700/3. Let q(i) = -i**2 + 4*i + 68. Let g be q(10). Suppose g*z + 15 = 3*z. Which is smaller: z or j?
z
Let g = 882 - 1017. Let v(z) = 44*z - 2. Let y be v(-3). Which is bigger: g or y?
y
Let q(s) = -2*s - 34. Let k(x) = -3*x. Let o(d) = -3*k(d) + q(d). Let j be o(5). Which is smaller: j or -2/823?
-2/823
Suppose -2*o + 17*v - 21*v - 8328 = 0, 0 = -4*o - 5*v - 16647. Is -4158 not equal to o?
False
Suppose -3*a + 185 = -s, -2*a + 134 = -4*s + 4. Suppose 0 = -i - 3*z + 15 + 10, -a = -4*i + z. Suppose -21 + i = 5*f. Which is smaller: -5/14 or f?
f
Let v = -8385/7 + 1194. Let m = -258178/21 - -12291. Let p = v - m. Is p l