- (11 + -8). Is x greater than 1?
False
Let z(c) = -c**3 + 2*c**2 + c + 7. Let d be z(3). Let o = d - -112. Which is smaller: 112 or o?
112
Let f = -1485802/23 - -64600. Let t be 2/((2 + -3)/(-1)). Let y be 6/2 - 2 - t. Which is smaller: f or y?
y
Let h = -0.0409 - 2.9591. Let y = -1.24 - -1.3. Let w = y + 0.04. Is w at most as big as h?
False
Let i = 4 - 29. Let x be 0 + 2 - 60/10 - -17. Let r be (0 - -2)/((-1)/x). Does i = r?
False
Suppose -2081 = 5*c + g + 244, -4*c - 2*g = 1866. Is c greater than -463?
False
Let c(s) = -s**3 - 3*s**2 - 7*s - 17. Let d be c(-3). Let q(a) = -42*a + 2. Let z be q(1). Let o be 10/(-4)*128/z. Which is bigger: d or o?
o
Let p = 110 + -548/5. Let l = -137 + 194. Let h = -56.94 + l. Which is bigger: h or p?
p
Let m = -12906/119 + 774/7. Let r(t) = -2*t**2 - 162*t + 6107. Let x be r(28). Are x and m unequal?
True
Let v = 85/2318 - -13409359/197030. Let x = v + -107/17. Let p = 61 - x. Is p >= -2?
True
Let z = 180 + -388. Let t = z + 220. Let g = -107/4 + 27. Which is smaller: t or g?
g
Let k = 0.79 - -1.56. Let x = -4548 + 4550. Let i = x - k. Which is bigger: 1/2 or i?
1/2
Let o be (-41)/1*(-3 + -2 - -4). Let h = o - 37. Let r be h/12 - (-640)/(-165) - -4. Is r less than or equal to -2?
False
Suppose 0 = 3*i - 4*b + 252, 2*b = 71*i - 74*i - 270. Are i and -90 equal?
False
Suppose -4*u - 2*n - 3 = 241, 2*u + 122 = -4*n. Let c = -245/4 - u. Is 15/8 less than or equal to c?
False
Suppose 5*j - 33 = -8. Let w be (-10)/(-1) + -10 + 11. Let l be (-6)/(-27) - w/9. Is j not equal to l?
True
Suppose -v = -5 + 88. Let b = v + 89. Let w be (-1)/(-3)*-2 - -8. Is b at most as big as w?
True
Let f(y) = -y + 14. Let q be f(-11). Suppose 3*t - q = -151. Let m be (-12)/t - 19/(-7). Which is greater: m or 4?
4
Let k(l) = l**3 + 9*l**2 - 6. Let g be k(-9). Let h be 3/(g/(-8))*(-1)/(-4). Let q be -4 - (h - (-1 + -30)). Is -36 smaller than q?
False
Let s = 3416.4 - 3411. Are s and -0.028 unequal?
True
Suppose 4*k + 9 = h + 2, -h - 5*k = 2. Suppose 2*b = 4*s + 8, 0*s - h*s = -2*b + 8. Do s and -30/7 have the same value?
False
Let g = -1514.82 - 61.18. Is g at most as big as 1?
True
Let g = -458 + 59541/130. Let w be (-8 - -3) + -1 + 6. Is w bigger than g?
False
Suppose -60*j - 49 = 11. Which is greater: j or 1/318?
1/318
Suppose -2*r - 3*h = -10, -h + 6 = -3*r + 4*r. Suppose r*y = 7*y + 5. Suppose -p - 5*a = -4*a - y, a = 4*p. Which is greater: p or 9/2?
9/2
Let z = -242 + 241. Let n be -3 - (2 + z - 221/56). Is n greater than or equal to 1?
False
Let v(c) = -28*c + 4. Let y be v(0). Suppose 5*d + 2*q - 223 = 0, -y*q + q + 184 = 4*d. Is d not equal to 43?
False
Let v = -9.7 - 6.3. Let l = v - -9. Which is smaller: -2/15 or l?
l
Let k(d) = -d**2 + 3*d - 28. Let p be k(6). Let y be ((-24)/(-16))/((-3)/2). Let v be 47/2*2*y. Is v at most as big as p?
True
Suppose -74*v = -997676 + 997676. Let w = -6668.99 + 6612. Let u = 0.99 + w. Which is greater: u or v?
v
Suppose 2*o + 6 = o. Let c(a) = -a**3 - 6*a**2 + a + 6. Let g be c(o). Let x = 208/965 + -10758/58865. Which is smaller: x or g?
g
Let x = -7494 + 7483. Let u = -725/72 + -25/24. Which is smaller: x or u?
u
Suppose -5*x + 148 + 62 = -3*g, -x + 2*g = -42. Suppose x + 28 = -10*i. Let w = -13 + 3. Is i equal to w?
False
Let s(c) = c + 1. Let g be s(3). Let m be -4*(g - (-8)/(-4)). Let y = 9 + m. Which is smaller: y or -17/4?
-17/4
Let p be ((-1)/(-3))/((-15)/(-9855)). Let r = 479 + -259. Which is smaller: r or p?
p
Let m = 23032241/66 - 348980. Let y = 2/11 - m. Is 8 less than y?
False
Let d = -341 + 339.33. Let a = d - -1.77. Is 4/3 at most as big as a?
False
Let o = 2 - 2. Suppose 2*p = p + 2*w - 15, 2*p + 33 = 5*w. Let a(n) = 9*n + 80. Let l be a(p). Which is bigger: l or o?
o
Suppose -5*j - 3*d + 12 = 0, 0*d + 2*d - 10 = -4*j. Let p be -17 - -17 - ((-170)/(-95))/(-1). Is j bigger than p?
True
Let d(k) = -2*k**2 + 45*k - 29. Let m be d(21). Let u = m + -273/8. Is u bigger than -2/11?
True
Let y = 129681/7 + -18526. Do -1677 and y have different values?
True
Suppose 16*i + 57*i - 292 = 0. Is -21 < i?
True
Let h(n) = 5*n**2 - 2*n. Let d be h(4). Suppose 2*j - 4*c = -223 + 637, j - 216 = -c. Suppose 31*z + j = 34*z. Which is greater: z or d?
d
Let c(x) = 43*x - 1908. Let q be c(43). Which is bigger: -1106/19 or q?
-1106/19
Let a = -175.69 + -12.31. Is 4 bigger than a?
True
Suppose 0 = -0*m - 3*m + 2*b + 436, 0 = 4*m + 5*b - 612. Suppose 12*t - m = 10*t. Which is smaller: 73 or t?
73
Let i = -42110 + 42102. Let g = -1356 + 9440/7. Are g and i unequal?
True
Let b = 406039/69 + -5885. Which is bigger: 0 or b?
0
Suppose -3*x = -2*p - 1978, -31*p - 976 = -30*p + 5*x. Is p <= -984?
True
Let f = 3.58 + 37.22. Let y = f + -41. Which is smaller: 2/33 or y?
y
Let u = -138 + 146. Suppose -u*p + 2*p - 10*p = 0. Is p greater than 2/75?
False
Let h be 0/3 - (78 + -68). Suppose -8 = v + 1. Which is smaller: h or v?
h
Let v = 1560 + -1560.4. Is v less than 0.087?
True
Suppose -597 = -3*z + 5*d, -5*z + 1017 = -30*d + 29*d. Suppose 2*n - 64 = -17*t + 21*t, t - z = -5*n. Which is smaller: n or 47?
n
Let m(p) = 6*p + 4. Let k be m(-7). Let w be (-1062)/26 + (82/(-26) - (-16 + 13)). Do w and k have different values?
True
Let x(o) = 2*o**3 + 16*o**2 + 25*o + 8. Let q be x(-6). Which is greater: q or 16/23?
q
Let t = 330.37 - 1044.21. Let x = 679 + t. Let q = -35 - x. Is 0 <= q?
False
Let n be (-11)/(9 + -75) + 79/(-330). Suppose 0 = -l - 2*l - 3. Which is greater: l or n?
n
Suppose -16 = -5*w + 44. Suppose 16*b + 218 = -70. Let g be (2 - (-33)/b) + (-134)/w. Which is greater: -0.2 or g?
-0.2
Suppose 2*g - 782 = -0*g - 2*q, -1927 = -5*g + 2*q. Which is smaller: g or 389?
g
Let n = -75 - -77. Let m be (11/22)/(n/12). Let i be 1 - 1*(0 - 0). Which is bigger: m or i?
m
Let p(z) = -17*z**2 - 29*z + 16. Let u be p(5). Let c = u + 98609/178. Which is bigger: c or 0?
0
Suppose 4*r + 49 = -2*c + 63, 0 = 5*c + r - 8. Which is bigger: c or 200/3?
200/3
Let v = 74 - 63. Let c be (v/33)/(1/(-3)). Are c and 4/19 equal?
False
Let a = 67 + -53. Suppose -8*n + a - 6 = 0. Let s be (n/((-6)/(-20)))/((-38)/741). Are -64 and s nonequal?
True
Let w be (-14 - -15 - -3) + 263/(-4). Which is greater: -1 or w?
-1
Let b = -7 + 13. Let k = -890 - -1658. Let l = -768 + k. Is b > l?
True
Let i = -211.149 - -211. Let m = i - 0.081. Let q = -30.77 + m. Is 1 greater than q?
True
Let c = 9.789 + -7.009. Which is greater: c or 0.27?
c
Let o = 27/44 - -3/22. Let z be 104/14 + -8 + 6/(-14). Let x be -1*(z - (-3 - -1)). Which is greater: o or x?
o
Let x(m) = 3*m**3 + 5*m**2 - 6*m + 3. Let h be x(3). Let u = 167 - h. Let q = u + -97. Does q = -42?
False
Suppose -8 = -4*l, -3 = -3*m + 2*m + 5*l. Suppose 2*h + 1068 = -4*v, -1076 = 2*h - 14*v + 16*v. Let s = 557 + h. Is m at most s?
True
Let q = 6.076 + 24.014. Let y = -102.11 + 72.11. Let a = y + q. Which is smaller: a or 0?
0
Let m = 479/261 + -50/29. Let s = m - 535/117. Is -3 at most as big as s?
False
Let r be ((-16)/(-10))/(2/(-175))*-2. Which is greater: 282 or r?
282
Suppose 0*a + 3*a - 24 = 0. Let o be (-8)/(-10) + (298/(-40))/(-1). Let g = a - o. Which is greater: 0 or g?
0
Let i(q) = -28*q - 83. Let g be i(-3). Let v = 99.1 + -102. Which is smaller: g or v?
v
Let n = 0.287 + 41.513. Let t = -41.53 - 0.47. Let d = t + n. Is d bigger than -6?
True
Let r be (2/(-188))/((-18)/(-8856)*-6). Which is greater: r or 1?
1
Let z(u) = 50*u - 4351. Let i be z(87). Do 3/2797 and i have different values?
True
Let h = 20 + -15. Let i be (3 - h)*((-5)/4)/5. Suppose 0*f + 5 = -5*k - f, 4*f = -4*k - 20. Which is greater: i or k?
i
Let h = -5902 - -5902.07. Is -27 bigger than h?
False
Let w = -21/2 - -47/6. Let l = 341 + -306. Let z = l - 37. Which is bigger: z or w?
z
Let c(d) be the second derivative of 2*d**3/3 + 66*d**2 - 47*d. Let u be c(-5). Does 113 = u?
False
Let x be (-1)/(-3) + 5166/1917 - 3. Let p = 0.263 - 0.263. Which is bigger: x or p?
x
Let v = 442 - 166. Let n = v - 273.7. Are n and 0.3 nonequal?
True
Let x(z) = 18 + 38*z - 3*z**2 + 5*z**2 - 14 + 19. Let m be x(-17). Which is smaller: -39 or m?
m
Let i = -420.351 + 420. Let q = 0.135 + -0.084. Let f = q + i. Is -6 greater than or equal to f?
False
Let v = -3844 - -5166. Is v less than 2641/2?
False
Let b = 129 + -139.8. Let i = 11 + b. Le