 j be k(6). Let w be ((-2736)/j)/(3*2/20). Is 97 at least as big as w?
True
Suppose -4*y = -12, -4*o - 13 = -6*o - 5*y. Is 8/923 bigger than o?
True
Let v = 75.85 + -74. Let i = -11.45 + v. Which is greater: i or 2/3?
2/3
Let q be ((-2)/(-20))/(2/44). Let z(p) = -12*p**2 - 7*p - 25. Let d be z(-3). Let a = 114 + d. Is a at least as big as q?
False
Suppose -2*l = -5*l - 21. Let g be l*3 + (1 - 1). Let o be 2/(-6) + (-1)/g. Is -1 greater than or equal to o?
False
Let g = -0.0428 + -266.9572. Let x = -203 - g. Which is smaller: x or -1/3?
-1/3
Let c = 444333 + -7102957/16. Let f = 398 - c. Are f and -1 unequal?
True
Let j = -4866 - -4868. Is j at least as big as 110/61?
True
Let t(w) = -7*w + 75. Let n be t(10). Suppose -16*h + 11 = -n. Is -14 greater than h?
False
Let i = -1.18 - 3.82. Let m be 660/99*(54/(-8) + 3). Which is smaller: i or m?
m
Let p be (1 - 0)/((-9)/36). Let z be (p - (-343)/(-28)) + -7. Is -24 less than or equal to z?
True
Let w = -2716 + 2717. Which is smaller: -6/211 or w?
-6/211
Suppose 0 = 4*z + 8*q - 3*q - 1, 4*z - 7 = -3*q. Let v(y) = -y**3 - 94*y**2 - 22*y - 2071. Let d be v(-94). Which is smaller: d or z?
d
Let v be (-3)/(-10) - (5/25 + 212986/(-140)). Is v less than 1520?
False
Let z = -11840 + 11866. Let n(i) = i**3 - i**2 - 5*i + 1. Let l be n(4). Which is greater: z or l?
l
Let f be (-4 - 1) + (-3 - 57*(-155)/15). Is f > 2321/4?
True
Let f = 3.659 - 10.659. Are f and 5.9 nonequal?
True
Let p be 2/15*(-16 + 14). Suppose 4*l = 2*x - 0*x - 96, 48 = x + 2*l. Let g be x/30 + (-3)/5. Which is bigger: g or p?
g
Let k(n) = -90*n + 350. Let q(m) = 15*m - 58. Let z(d) = 6*k(d) + 35*q(d). Let c be z(5). Which is bigger: c or -6?
c
Let c(z) = -24*z**3 - 4*z**2 + 2*z + 4. Let g be c(3). Let x = g - -33025/49. Let m = -5934 - -5933. Which is greater: x or m?
x
Let n = 12162 + -12559. Is -1992/5 at least as big as n?
False
Let r = -4073.8 + 4073.87. Let u = -21.1 - -20. Let k = u - -1. Which is greater: r or k?
r
Let v be 100 + (4 - (-6 - -16)). Do v and 92 have the same value?
False
Let j = 1 - 1. Let x = -1083819/320 - 273/64. Let h = 3402 + x. Which is bigger: h or j?
h
Suppose 13*y - 17*y + 64 = 0. Suppose -y*j - 19*j = 70. Let z = -46/9 + 212/45. Does z = j?
False
Suppose 15*g + 38 - 26 = 852. Suppose 3*p = 5*p - 108. Do p and g have different values?
True
Let v be (115/138)/((-20)/12). Which is bigger: v or -372?
v
Let s(t) = 104*t + 7. Let f be s(-3). Is -305 at most as big as f?
True
Let y = 70.8 - -6.2. Which is smaller: y or -7?
-7
Suppose 3*w - w - 6 = 0, 5*p = -2*w + 6. Suppose 4*i + 20 = p, 13*b - 11*b = -3*i + 3. Let k = 31 + -22. Do k and b have the same value?
True
Let o = 39065 - 36799235/942. Which is smaller: o or 1/3?
o
Let i = 8.34017 - 0.04017. Which is smaller: -35 or i?
-35
Let s(f) = -92*f - 2130. Let t be s(26). Is t at most as big as -4520?
True
Let l(a) = a**3 - 30*a**2 + 103*a + 63. Let q be l(6). Is -167 equal to q?
False
Let w be 2 - 4*(-4)/18. Suppose 0 = 9*o - 804 + 39. Let r = o - 82. Does w = r?
False
Let u(q) = 2*q**3 + 16*q**2 - 23*q - 40. Let t be u(-9). Let g be 4/t + (-9481)/95. Is g > -100?
True
Let o = -653.2 - -687. Let y = o - 58.8. Does y = -0.3?
False
Let y(j) = j**2 + 11*j - 2. Let x be y(-10). Let u be (10 - 13)/(x/(-80)). Which is smaller: -10 or u?
u
Let h be (-308)/(-5)*(-29 - 1953/(-62)). Which is bigger: 777/5 or h?
777/5
Let c = 487.46 - 478. Let x = 0.46 - c. Are 0.8 and x non-equal?
True
Let t = 6237 - 6229. Let g = 24193/20 - 1211. Let r = 157/20 + g. Which is bigger: t or r?
t
Let q be ((-102)/24)/((-5)/(-20)). Let v(s) = 2*s**2 - 4*s - 6. Let o be v(8). Suppose -4*k - o = k. Which is smaller: q or k?
k
Let h = -39894791/1099 + 36301. Which is smaller: -1 or h?
-1
Suppose 3111 = -6*b - 735. Which is bigger: b or -639?
-639
Let t(g) = -g**3 - 5*g**2 - 8*g - 2. Let a be t(-3). Suppose a = -6*m - 2. Let s be (-26 + 5)*m/(-3). Which is smaller: s or -4?
s
Let u(z) = z**3 - 3*z**2 - 15*z + 30. Let p be u(5). Suppose -p*s = -3*x - 44, 5*x + 4 = 5*s - 76. Suppose -b + 21 = -2*b. Is b bigger than x?
False
Suppose 5*l - 83 - 73 = -4*v, 0 = -4*l - 5*v + 123. Let p be (-208)/14 - l/(-112). Do p and -14 have the same value?
False
Suppose 2*f - 103 = 3*g, 308*g = 3*f + 311*g - 102. Is 51 bigger than f?
True
Let d = 34.3744 + -2.9744. Is d at most as big as -1.2?
False
Suppose -4*j + o = -374 - 765, 4*o = -3*j + 859. Let d = j - 5413/19. Which is bigger: d or 0.11?
0.11
Let z be 14 + 3 - (6 + -12 - 0). Let q be (-2)/4*(25 - z). Which is smaller: q or 175?
q
Suppose x = -4*x - 4*q + 192, 4*x - 129 = 5*q. Suppose 0*o + 2*o = 2, -5*r + 175 = -5*o. Is x greater than or equal to r?
True
Suppose -8*r = 715 - 195. Let h = r - -66. Which is bigger: 6/289 or h?
h
Let w = -33795.9 + 35486. Is w > -0.1?
True
Let w = -8690.9 + 8564. Is w less than or equal to -2?
True
Let b(d) = d + 11. Let s be b(-13). Let f be 2/(-5) - (s - -1). Suppose 0 = 2*x - 5*i + 11, 23 = 4*x + 74*i - 69*i. Is x > f?
True
Let s(f) = f**3 - 11*f**2 - 30*f + 18. Suppose -10*y + 78 = -4*y. Let x be s(y). Let z be ((-1)/((-6)/x))/(44/99). Which is smaller: -13 or z?
-13
Let d = 99728/5 - 19931. Which is bigger: 16 or d?
16
Suppose -9*x + 5*d = -12*x + 260, 4*x - 405 = 5*d. Is x > 0?
True
Let n = -26.4 - -64.5. Let b = 38 - n. Let l = -1.7 - b. Do l and 2/3 have the same value?
False
Let m = 674 + -560. Suppose 0 = -2*u - w + 137 + 100, 4*u - 4*w = 444. Are u and m nonequal?
True
Let u be 4380/(-525) + (-2)/(-14). Let a be ((-110)/20)/((-10)/(-8)). Let v = a - u. Which is bigger: 4 or v?
4
Let a(s) = -5*s + 5. Let d be a(2). Let c be 516/(-32)*(d/(-15))/1. Which is bigger: c or -6?
c
Let x be (-244)/7*(-9 - 30/20). Which is smaller: 22 or x?
22
Let a = -30 + 54. Let w = a - 25. Let l be 33/22*6*(-2)/(-12). Which is smaller: w or l?
w
Let c(d) = 5*d - 42. Let r be c(9). Suppose -3*i = -u + 227, 13 = -r*u + 19. Which is greater: i or 2/9?
2/9
Let k be ((-24)/(-18))/((-28)/(-26439)). Is k greater than 1258?
True
Let r be 176/(-166)*297/198. Is -1 bigger than r?
True
Suppose -3*l = 2*i + 89, -5*i + 58 = -6*i - 15*l. Which is smaller: 1/22 or i?
i
Suppose 3*l = -5*y - l + 18, -5*y - 2*l + 14 = 0. Let a be 6*y - (-9)/(-3). Let z be a/((-27)/(-12)) - 41. Do z and -38 have the same value?
False
Let r(p) = 5*p - 33. Let y be r(7). Let h be (3/y)/(15/530). Which is greater: h or 50?
h
Let h = -381.47 - 33.53. Is h greater than 0.2?
False
Let z = -0.2 + 0.3. Let s = 306808 - 306808. Which is smaller: z or s?
s
Let w(o) = -o + 10. Suppose 2*z + 5*h = 5, 0*z + 3*h = -2*z + 7. Suppose 3*d - z*k = 50, -5*k = 17 + 3. Let g be w(d). Which is smaller: -4/3 or g?
-4/3
Let w = 89606 + -534858212/5969. Does 1 = w?
False
Let u = -40.66 - -38.66. Is 0.245 != u?
True
Suppose -44*d + 172 = -356. Is d at least 145/13?
True
Suppose -2*r - 4 + 27 = -5*l, 5 = 5*r - 2*l. Let b be ((-3)/869)/(297/66 + -3). Is r bigger than b?
False
Suppose -5*d = 10*d + 2235. Let l = 140 + d. Which is greater: -3 or l?
-3
Let n = 787 - 1220. Let r = -432.887 - n. Which is greater: r or -1/4?
r
Suppose 0 = -53*a + 51*a + 210. Let t(n) = -n**3 - 3*n**2 - 71*n - 139. Let k be t(-2). Are k and a nonequal?
True
Suppose 1243 + 7553 = -13*l + l. Which is smaller: -1/2 or l?
l
Let o(l) = 13*l - 75. Let t be o(10). Suppose t = 7*j - 8. Do j and 68/7 have different values?
True
Suppose -4*o = -4*x + 460, 4*x + 28 + 52 = -o. Are o and -17 equal?
False
Suppose -15*c - 3053 = -6*o + 8*o, 5*o + 426 = -2*c. Are c and 0.3 equal?
False
Suppose 3*o + 2*k + 25 = 0, 0 = 3*o + 3*k + 19 + 5. Let m be o/((1 - 0) + -2). Let j(b) = b**3 - 7*b**2 - 15*b + 21. Let s be j(m). Is s at least as big as 47?
True
Suppose 1794*t + 60 = 1779*t. Let a be (-87)/30 - 4/(-10). Is a less than or equal to t?
False
Suppose 3*v = 15, 3*z - 4*z + 3*v + 270 = 0. Suppose -70 = 5*w, 121*i = 116*i - 4*w + 1364. Are i and z equal?
False
Let j(w) = 48*w + 203. Let s be j(-6). Let c be (5 - s/(-25))/((-6)/1560). Which is smaller: c or 0?
c
Let p = -2.2 - -18.2. Let b be -2*1*11/(-33)*21/63. Which is smaller: b or p?
b
Let m be (12/9)/((-8)/348). Let p(g) = 48*g**2 + 207*g + 2. Let j be p(-4). Is j less than m?
False
Suppose -67*c + 1 + 17 = -49. Which is smaller: c or 3/1223?
3/1223
Let c = -6093 + 6092. Let y = -73 + 44.