*l, 5*d + 4505 = 5*l. Is d bigger than -912?
True
Let j = -13544 + 13542. Is j <= 1250?
True
Suppose -65 = 18*s + 7*s + 135. Is -17 at most as big as s?
True
Let t be 24/(-36) - (1/(-4) + 10364/(-13584)). Which is bigger: t or -1?
t
Suppose 40*v + 9954 = 1234. Are v and -2 nonequal?
True
Let p = 8634.319 - 8639. Let k = 0.279 - p. Let f = 0.04 + k. Which is smaller: f or 0.2?
0.2
Suppose -43 - 69 = -16*v. Suppose 12 + 9 = v*a. Let c be -3*(a + 2/(-120) + -3). Which is smaller: 0 or c?
0
Let d = 68.15 + -68.25. Which is greater: d or -1368?
d
Let s(y) = -y**2 - 11*y + 104. Let p be s(-17). Suppose 4*k + 1 = 5*b + 18, -p*b + 2*k = 8. Is 9/19 at least b?
True
Let j = -52.8624 + 0.0624. Let x = -79 - j. Let l = x + 26. Is l bigger than 3?
False
Let b = 70547/489391 - 22/151. Is b less than 0?
True
Suppose y = -2 + 19 - 18. Is -2/7123 at most as big as y?
False
Suppose -14*z - 848 = 38*z + 88. Are z and -78 nonequal?
True
Suppose -2*z = m + 15, 0 = -2*m + 4*m - z + 5. Let d = -6 - m. Let k = -0.4307 + 0.2607. Is k less than d?
False
Let q be ((3 - 7) + 4)*7/(-14). Suppose q = -176*y + 177*y + 3. Is y at least as big as -25/9?
False
Let i be ((-2)/(-4))/((-6)/36). Let x be i/4 + ((-38)/(-8) - 4). Let n = -17 + 11. Which is smaller: n or x?
n
Let m(n) = -n**2 - 11*n - 18. Let u be m(-7). Let y be 4/(-8) + (-225)/u. Suppose 4*i + 73 + 23 = 0. Which is smaller: i or y?
i
Suppose -4*o - 11*w + 2172 = -15*w, 5*o - 2695 = -5*w. Let q = o + -633. Which is bigger: -93 or q?
q
Let q = -121 - -153. Suppose -15293 = -9*i - q*i. Is i smaller than 372?
False
Let n = -3.6645 - -2.6075. Which is smaller: 1/2 or n?
n
Let i = 322 + -314. Suppose -70 = -26*o + i. Are o and 8 nonequal?
True
Suppose -q + 81 = -4*q. Let k = q - -44. Let r = k + -16. Is r not equal to 22/9?
True
Let u = 0.077 - 0.034. Let a = u + -47.043. Let d = a - -29. Is d <= 0?
True
Let c(u) = 3*u - 12*u + 18*u**2 - 17*u**2 - 26. Let x be c(11). Let b be x - ((-10)/75 - (-574)/(-150)). Which is smaller: b or 0?
b
Let w be 0 - -98*((-9)/(-2) - 4). Let k = w - 64. Let f be -12 - (3 + -1)/((-10)/k). Which is smaller: -14 or f?
f
Let v(q) = 8*q**3 + 209*q**2 + 26*q. Let h be v(-26). Which is bigger: 7/1521 or h?
7/1521
Let x be (-2)/((-2 - -1) + -1). Let h be ((-252)/(-25368))/(4/8). Is x >= h?
True
Let o be (40/(-1158))/(29/((-1305)/(-30))). Is -1 at most o?
True
Suppose 4*u - 29 = 39*v - 40*v, -9 = -2*v - u. Suppose -11 = -2*k + x, -8 = -3*k - 5*x + 2. Which is bigger: v or k?
k
Let g = 138439439/1126 - 122948. Which is smaller: g or -1?
-1
Let g = -235 - -177. Let z = -92 - g. Is z at least as big as -1/2?
False
Let g = -377 + 845. Let k be (-125)/g - 6/(-24). Which is smaller: k or 1?
k
Let u be 18 + -2 + 14/6. Which is smaller: u or -8?
-8
Let v = 40808 - 123868/3. Which is bigger: v or -480?
-480
Let t = 288 - 153. Let d be ((-8)/(-6))/((-970)/t + 4). Is d smaller than 0?
True
Let t(c) = 2*c**3 + 27*c**2 + 4*c - 97. Let r(l) = l**3 + 14*l**2 + 3*l - 49. Let y(f) = 5*r(f) - 3*t(f). Let j be y(-11). Is j less than -2/7?
False
Let t = -221870/17 - -13051. Let f = 0.5 - -1.5. Which is greater: f or t?
f
Let f(a) = -31*a + 451. Let m be f(17). Which is bigger: m or 21?
21
Suppose 83246 = -37*w + 15758. Is -1823 at least as big as w?
True
Let x = -13710 - -13742. Let y = -337/5 + 66. Is y < x?
True
Suppose -5*j = 3*i + 22, -4*i + j + 3 + 6 = 0. Which is greater: 2/57 or i?
i
Let m = -57165 + 85806. Which is smaller: 1/4 or m?
1/4
Let f(a) = 2*a**2 - 98*a - 674. Let c be f(51). Are c and -492 nonequal?
True
Suppose -d = -13*h + 9*h - 6875, -h = -4*d + 27620. Are d and 6908 equal?
False
Let y = -6 - -35. Let o = 28 - y. Let w be o*-1*(40 + -3). Is 0 bigger than w?
False
Let t(p) = -2*p**2 - 40*p - 199. Let m be t(-10). Does -249 = m?
False
Let u be 48*(9/27)/((-6)/18). Let c(k) = 6*k - 5. Let d be c(-6). Are u and d unequal?
True
Suppose -323*j + 107442 = 58*j. Which is smaller: j or 261?
261
Let g = -705 - 710. Which is smaller: -2831/2 or g?
-2831/2
Let n = -384.5 - -494. Let a = n + -101. Let p = -9.5 + a. Which is greater: -3 or p?
p
Let h be 14/21 - 299495/237. Let g = 1263 + h. Suppose 81*f = 22*f. Which is smaller: f or g?
g
Let s = -8457 + 1657. Do s and -6801 have different values?
True
Let j(s) be the third derivative of -s**6/120 - 23*s**5/60 - s**4/12 - 53*s**3/6 - 3*s**2 + 5. Let i be j(-23). Is -74/11 greater than or equal to i?
True
Let m be (7/28)/((-2)/(-24)). Which is smaller: m or 47/31?
47/31
Let u = 123 - 80. Let m = -75719 - -75751. Which is greater: u or m?
u
Let b(t) = -t**3 + 5*t**2 + 15*t - 13. Let o(c) = 2*c**3 - 9*c**2 - 29*c + 27. Let f(m) = -9*b(m) - 4*o(m). Let n be f(11). Do 42 and n have different values?
False
Let m = 143623/17 + -8449. Is 29/2 < m?
False
Let i = 2/13625 - -36077/32686375. Is i equal to -1?
False
Let y be -26*(-7*5/(-14) - (-2 - -1)). Is y bigger than -91?
False
Suppose 17*k - 2*m = 21*k + 248, 4*k = 3*m - 248. Which is greater: 7 or k?
7
Let x be (29/(-174))/(((-14)/84)/((-5)/99)). Which is greater: x or 1?
1
Let b(q) = -q**3 + 12*q**2 + 14*q - 5. Let o be b(13). Suppose -o*p = -11 + 867. Is p greater than -106?
False
Let i = -23.57 + 66.57. Are 1/4 and i nonequal?
True
Let q be 2/(-4) - 49/65*-157. Let l = 1197/10 - q. Suppose -4*a - 1 = -3*r, -4*a - 3*r + 9 = -8. Which is bigger: l or a?
a
Suppose 89*b + 2*w + 1540 = 84*b, -4*b - 1245 = -w. Which is smaller: b or -306?
b
Let i = 16.61 - 16.71. Is 1475 not equal to i?
True
Let g = 3366.1 - 3661. Let s = g + 295. Is 11 at least s?
True
Suppose 0 = 5*c + 5*b, b + 21 - 12 = 2*c. Suppose 2*k - 6 = -c*g - 2, 4*k - 8 = g. Which is greater: g or -20/19?
g
Suppose 4*o = 17 + 39. Suppose 367 = 6*f + 337. Suppose -r + f = o. Is r >= -9?
True
Let p(h) = -8*h**2 + 4*h + 16*h - 8*h**2 - 35 + 7*h**2 + 13*h**3 + 17. Let j be p(3). Are 311 and j non-equal?
True
Let d(l) = -3*l**3 + l**2 + 9*l. Let q be (24/16)/((-4)/8). Let t be d(q). Which is greater: t or 64?
64
Let o = -15605 - -35048829/2246. Which is greater: o or 0?
0
Suppose 20 = -478*c + 418*c + 860. Is 315 smaller than c?
False
Let j be -6 + ((-3)/9)/((-24)/1080). Are 152/15 and j unequal?
True
Let i = 44/13 - 7255/2132. Let a = 349/1148 + i. Suppose -4*c - 3*p = -9*c - 122, 0 = -2*p - 2. Is c > a?
False
Suppose 16*y + 6*y = 1474. Suppose -3*l + 5*m + 316 = -y, 2*l + 3*m - 230 = 0. Is 123 equal to l?
False
Let c be 7/(-5) + (-858)/(-1095). Do c and -1 have the same value?
False
Let k be (-470)/8*7214/(-3105). Let u = 273/2 - k. Which is bigger: -1 or u?
u
Let c = -16727 - -16700.8. Which is smaller: 1/51 or c?
c
Let y be (-12372)/270 + (176/(-40))/11. Is y equal to -46?
False
Suppose 10*s - 17*s = -21. Let r be (-2)/s*4/8. Which is smaller: r or 311?
r
Let c = -148.068 - -0.068. Let a = 144.9 + c. Which is smaller: a or 1/6?
a
Let j = -4164/5 - -827. Let c = -195 - -195. Which is greater: j or c?
c
Let s = 1.1 + -19.3. Let v = s + 18. Suppose -40 = -68*i + 63*i. Are v and i equal?
False
Suppose -4*a - 12 = -5*r, -5*a - 36*r - 2 = -39*r. Let g be a/4 - ((-25)/10 - -3). Which is greater: 9/38 or g?
9/38
Let x = 3019 + -2951. Which is smaller: x or -1.3?
-1.3
Let n = 85325 - 85324. Suppose -4*q + 4*f + 15 = -17, -5*q = 5*f + 10. Which is smaller: n or q?
n
Let z = 9 - 10. Let i = 28 - 26. Suppose 2 = -3*y - 2*f, 3*y - i*f = 1 + 1. Which is smaller: y or z?
z
Let g = 1122604/55 + -20410. Let v = g + -10/11. Is 0 smaller than v?
True
Suppose -3*n = -2*z + 2779, 4*z - 3*n + 1725 = 7268. Suppose 20*o = z + 1438. Is 142 >= o?
True
Let y be 92397/(-39) - (-32)/208. Which is bigger: -2370 or y?
y
Let r be 73/((-6716)/230)*(-6)/5. Which is greater: r or 137/75?
r
Suppose 170*p - 14557 = 9413. Is p bigger than -9?
True
Suppose 2 = 4*u + 50. Let w be 238/10 + u/(-60). Let y = w - 22. Is y < 9/4?
True
Suppose b + 467 = -0*j - 4*j, -4*b = -5*j - 589. Let l be 7/(-35) + (-576)/(-5). Let n = j + l. Which is smaller: n or -8/13?
n
Suppose -a + 3 = 0, -54*l + 57*l + 4*a = -339. Are l and -111 unequal?
True
Let c be 7*(1705/(-77) + -19). Are c and -291 equal?
False
Let s = -524.8 + 524.3. Which is smaller: s or 74?
s
Let t be (-2)/1*2/188. Let c(z) = 22*z**3 + 966*z**2 - 79*z + 395. Let l be c(-44). Is t smaller than l?
False
Let a = 2044 + -1161. Let x = a - 874. Which is s