) = j**2 + 4*j - 6. Let k be o(y). Is k equal to -6?
True
Let v = -87800 + 1054597/12. Is 84 greater than v?
True
Let o = -0.11856 - 4.15444. Is 0.1 greater than or equal to o?
True
Suppose 1785*l = 1786*l + 3, -4*z + 2*l + 10 = 0. Let s = -369919/160 + 2312. Is s less than or equal to z?
True
Let c = -202.773 + -0.227. Let j = -230 - c. Is -2/5 <= j?
False
Let v(t) = -19*t**2 - 4*t - 17. Let p be v(3). Is -207 > p?
False
Suppose 8*d = 1 + 23. Let x be (-1 - 5)*d/6. Is x bigger than 21?
False
Let t be (-3 - 7/(-1))*4. Suppose -d = -t - 25. Let l = 42 - d. Is 0 less than l?
True
Let j = -4.02 - -16.1. Let q = -9.2 - 2.8. Let y = j + q. Which is smaller: y or -1/2?
-1/2
Let m(p) = p**2 + 4*p + 4. Let g be m(-3). Let n be (6 - 536)/2 + 5/(-1). Let w = -270 - n. Which is bigger: w or g?
g
Let t = -10039 + 10039.519. Which is greater: 1/3 or t?
t
Let a = -1961 - -1853. Which is bigger: a or -44?
-44
Let p be (-3)/((-11 + 12)*(-2 - 1)). Which is greater: -41/499 or p?
p
Let z = 332 - 389. Let q = z - -75. Is -2/7 at most q?
True
Let s be (-26)/30 - (-6)/(-45). Let w be 1/(-3) - -65*s/(-189). Let k = 223/3213 - w. Is 0 >= k?
False
Let t be ((-4)/(-3))/(5*(-8)/(-1140)). Let a = -152.9 + 152.6. Which is greater: t or a?
t
Let v = -0.783 + 0.7036. Which is greater: v or -2/3?
v
Let q(k) = -k**2 + 23*k - 7. Let u be q(28). Let t be 49/u*30/(-16). Let z(l) = -l - 4. Let b be z(-5). Which is greater: b or t?
b
Suppose -368*y + 363*y + 35 = 0. Suppose -7*g = y*g + 224. Which is bigger: g or 1?
1
Let f(l) = -l**3 - l**2 - l + 11. Suppose -6*j = -3*j. Let p be f(j). Suppose 6*v - p = -5. Is -1/71 greater than or equal to v?
False
Let g = 5.9285 + 0.0715. Which is smaller: 1.5 or g?
1.5
Let i(d) = 2*d - 1. Let j be 0 + (1 - (-4 - -5)). Let c be i(j). Which is greater: c or -15/32?
-15/32
Let s = 125/6 + -8587/30. Suppose 77*o - 1053 = 73*o - c, -4*o = -4*c - 1068. Let i = s + o. Is i <= 1?
True
Let v be ((-1)/(-3))/(35/(-6) - -6). Let n be 1 + 56/35 + v. Is n less than 6?
True
Let a(r) = 13*r - 50. Let c(l) = -12*l + 49. Let t(z) = 3*a(z) + 2*c(z). Let g be t(5). Which is smaller: g or 19?
19
Suppose 3*c = 17 - 26. Let r be c/(-4*18/(-48)). Let l be 207/105 + 1*r. Is 1 smaller than l?
False
Let o = -66 + 64.63. Let y = 1.37 + o. Let g = 1 - 0.8. Which is smaller: y or g?
y
Let z = -222.7 - -588.92. Let o = 363 - z. Let y = o + 0.22. Which is greater: y or -8?
y
Let v(l) = -l**3 - 11*l**2 + 11*l + 11. Suppose -21 = -5*o - 81. Let w be v(o). Suppose w - 1 = 2*x + 4*y, 3*x + 2*y = 13. Is 14/13 > x?
True
Suppose 2*v - 1005 - 470 = -3*k, -3*v + 2459 = 5*k. Suppose k = 4*t - 7*t - 2*d, 4*t = 5*d - 642. Which is bigger: -162 or t?
-162
Let s = 229 + -202. Suppose c = -5*i + s + 38, -3*i + 11 = -5*c. Let l be (-1)/(-2)*2*11. Is l smaller than i?
True
Let o = -1547 + 1547. Are o and 2/4885 unequal?
True
Let v = -12002 - -12974155/1081. Which is greater: v or -1?
v
Let l be 14/((8/5)/4). Suppose -5*q = 5*k + 90, -2*k - q = 5 + l. Let m be k - (2/((-6)/(-9)) - 7). Which is greater: -17 or m?
-17
Let p = -636 + 955. Let q be (-1)/(10/(-12))*(-55)/p. Let c = -400 + 399. Is q smaller than c?
False
Let o be (40/14)/(((-6)/21)/(-1)). Suppose o*b = 2*b. Which is bigger: b or 4/83?
4/83
Suppose -44 = 5*z - 54. Suppose r - 3 = -z*r + 2*l, 0 = 4*l. Which is smaller: 3/37 or r?
3/37
Let g = 32 - 28. Suppose 123 - 375 = -g*w. Let m be (-7)/21 + (-1 - (-48)/w). Which is smaller: -0.2 or m?
m
Let t(y) = 5*y**3 - 20*y**2 - 9*y - 3. Let i(q) = -2*q**3 + 10*q**2 + 4*q + 2. Let a(b) = 7*i(b) + 3*t(b). Let r be a(-10). Is -5 less than r?
False
Let s = -3.184 + 0.204. Let h = s - -3.1. Let j = -3.88 - h. Is 0.3 at most j?
False
Suppose -3*v - 1 = 4*c + 13, 0 = v + c + 3. Suppose -5*l - 4*m - 3 = 10, 3*l = v*m + 1. Let o = -6059/29 + 209. Is o at least as big as l?
True
Suppose 0 = -4*y + 10*y - 90. Let l be (65/3)/((-5)/y). Let g = -59 - l. Which is greater: 4 or g?
g
Suppose 5*h + 80 = 4*o + h, -5*o - 5*h + 150 = 0. Let y = -29 + o. Let x be 2/y*(2 + -2). Is -1/2 != x?
True
Let p = -885 - -892.01. Let d = p - 6.61. Let z = 8 - 18. Is z at most d?
True
Let y(w) = 9*w - 187. Suppose -6*o = -4*q - 7*o + 82, 0 = -2*q + 2*o + 36. Let z be y(q). Is z less than -7?
False
Let g = -35073 - -35943. Is g at least -1/2?
True
Let a = -3179 + 3178. Which is bigger: 2/11 or a?
2/11
Suppose -220*g = -549*g + 3520958. Is 10703 < g?
False
Suppose 0 = -4*k + 5*s - 28, -2*s - 84 + 28 = 4*k. Let j be 514/k*(-6)/5 - 4. Which is greater: j or 47?
j
Let x = 3 - 3.2. Suppose -733*c = -3*i - 736*c - 276, 0 = -2*i + 3*c - 174. Which is bigger: i or x?
x
Let c = -3.593 + 4.593. Is c smaller than -4/7?
False
Let r = -1/33779 - 3310339/101337. Which is smaller: r or -3?
r
Let o = 152 + -65. Let j be (111 - 105)*(-29)/(-2). Is o != j?
False
Let l be (-1)/((2/266)/((-1060)/(-742))). Is -87 equal to l?
False
Let r = -78 + 74. Let j be -5 - -18 - 0/(-1 - r). Suppose o - j = 63. Which is smaller: 2/5 or o?
2/5
Let y be 0*(-1)/(-3) + 0 + 37. Suppose -19*d = -764 + 23. Which is bigger: d or y?
d
Let v(q) be the first derivative of -q**3/3 - 9*q**2/2 + 9*q + 2. Suppose -27*d + 20*d = 70. Let k be v(d). Which is smaller: -4/73 or k?
k
Suppose 18 = 4*s - p + 23, -3*s + p = 6. Is -2/66575 <= s?
True
Let c(g) = -g**3 + 11*g**2 + 17*g + 119. Let w be c(13). Is 20/37 greater than w?
False
Let s = -10/157 + -1186/1099. Let f(p) = 14*p**2 - 4*p**3 + 2*p - 14 + 5*p**3 + 10*p. Let q be f(-13). Is s greater than or equal to q?
False
Let s(w) = -42*w + 1087. Let b be s(26). Is b greater than or equal to -24/5?
False
Let l be ((-24)/30)/((-6)/75). Let w be -3 - (-1055)/l*4. Are 420 and w unequal?
True
Let n = -6 + 16. Suppose 176 - 51 = 25*j. Let y be n/11 + (4 - j). Is y at least -1?
True
Let o = -226 - -228. Suppose -2*a + o*l = -6, a + 2*l - l + 3 = 0. Let x = -1/159 + -1261/1749. Is a >= x?
True
Let x be 28 + 0 + (-21)/(126/30). Suppose x*c - 30*c = 0. Do c and -2/429 have different values?
True
Let u(n) = 21*n - 2. Let j(m) = 10*m - 1. Let b(p) = -5*j(p) + 2*u(p). Let k be b(-3). Do k and 21 have the same value?
False
Let t(g) = -g**3 - 9*g**2 + 7*g - 19. Let b be t(-9). Let u = -110 - b. Is u <= 3?
True
Let p = 945 - 865. Let a be p/(-280) - (-36)/77. Which is greater: -1 or a?
a
Let r be (-3087)/(-882) - (-454)/(-116). Which is greater: -57 or r?
r
Let b be (-17)/238*-14*-432. Do -434 and b have different values?
True
Let u be (3 + -7 - 1)*-1. Suppose -u*n + 34 = -1. Suppose 4*v + 5 = 2*v - w, -4*w = -5*v + n. Which is bigger: v or 1/4?
1/4
Let m = 0.9075 - 0.9075. Let c = -528.41 - -531. Is c at least as big as m?
True
Let f be 2*-15*16848/37260. Which is greater: -14 or f?
f
Let d = -1312 + 1313.2. Suppose 2*s = -2*s + 192. Let l be s/(-14) + 1 - -2. Is d < l?
False
Let p = -63.7 - -64.049. Let x = 0.449 - p. Which is smaller: 19 or x?
x
Let j be (-3 - -3)/(-2) + -3 + 42. Let k = j + -47. Let q be 55/(-10) + (-4)/k. Which is greater: q or -2?
-2
Let q = 20/23683 + -28703/5944433. Let f = 1 - 2. Which is greater: f or q?
q
Let y be (-3 + -10 + 6)*(-2)/7. Let b be 6*(0 + (1 - -1)). Suppose -b + 38 = y*o. Which is smaller: o or 12?
12
Suppose 9*i + 190 - 1261 = 0. Suppose 0 = -i*h + 113*h. Is 2/493 smaller than h?
False
Let l be (3/9)/(370/(-12)). Suppose 84*g - 81*g - 2*a = -10, -5 = -2*g - a. Which is greater: g or l?
g
Let v(c) = 4*c**3 - 4*c**2 + c + 1. Let g be v(1). Are g and 1/131 non-equal?
True
Let o = 38373/7 + -5534. Which is greater: -53 or o?
o
Let k be (-69)/115 - 28932/105. Let t = 277 + k. Is t < -0.1?
False
Let g = 313/32 + -289/32. Are -1060 and g equal?
False
Suppose 114*l + 9*l - 22*l + 101 = 0. Let g be (-3)/(-512) + -2 + 2. Is g bigger than l?
True
Let b be (0 + -2)/((-80)/(-22)). Let h = -3/20 - b. Is 35 bigger than h?
True
Let m = -3 - -4. Let c = 149 + -329. Let g be (-55)/c*3 + 1/(-6). Which is smaller: m or g?
g
Suppose 4*y - 3*y = 5*v - 803, -5*v + 4*y = -797. Suppose -35*a = -28*a + v. Is a > -23?
False
Let y = 24 - 22. Suppose 1486 = -y*d + 1606. Is d less than or equal to 58?
False
Let j be 34 + 4 + 0 + (-1 - -1). Suppose x + 3 = 0, 2*o = 2*x + 106 - 18. Which is bigger: j or o?
o
Let k = -183/34 + 2521/102. Suppose z + 2*y = -4 + 22, -2*z + 42 = -2*y. Are z and k equal?
False
Suppose 560 = 13*p -