et r = -1.98 + c. Let a = 9603 - 9589. Which is greater: r or a?
a
Let i(s) = -s**3 - 6*s**2 - 5*s - 12. Let x be i(-5). Let d be ((-2)/x - (-26)/(-12)) + 31. Let j = d - 30. Do -1/2 and j have the same value?
False
Let y = 3/34 + -77/102. Let b = 0.9766 - 63.9466. Let w = 63 + b. Which is bigger: w or y?
w
Suppose -5*s + 3*l - 100 + 120 = 0, 0 = 5*s + 4*l + 15. Is -1/3100 at most as big as s?
True
Let r be (219/(-73) - 118/(-42))/((-8)/(-12)). Which is smaller: r or 1266?
r
Suppose 12 = 4*v + 76. Let i be (v - -6) + (12 - 4). Let h = 33014/23 - 1436. Which is greater: h or i?
h
Let v be -3 - -5 - -1*6/3. Suppose -5*z + 292 = v*c, -4*c = 2*z - 334 + 54. Let l = -67 + c. Which is smaller: l or 4/7?
4/7
Let q = -3438 - -3437.991. Which is smaller: q or 0?
q
Let j be (-594)/55*(1 - -1 - 7). Suppose -3*q + j = -12*q. Let m be (27/q + 3)/((-6)/8). Is 4 > m?
True
Let m be (4/192)/((-1166)/(-66)). Which is smaller: 0.4 or m?
m
Let m = 209713/18 - 11647. Let z = m + -20/9. Let l = -5.2147 - -5.1147. Which is smaller: z or l?
l
Suppose -21 = -46*s + 12215. Is 267 at least as big as s?
True
Let l(t) = -13*t + 1535. Let x be l(109). Which is bigger: 61 or x?
x
Let v = 420723 + -155667391/370. Let o = 14/37 + v. Is o less than 1?
True
Suppose -3*x + 8*x - 90 = 0. Suppose -x = 6*a + 6. Are -9 and a non-equal?
True
Let d = 1650 + -1650. Which is greater: -971 or d?
d
Suppose 10*p - 81 = -31. Suppose p*t + 2 + 193 = 0. Suppose 30 = -3*l - 81. Is t > l?
False
Suppose 4*y - v = -27, -3*y = 2*v - v + 22. Let o be 18/(-63) - (44/y + 1). Let c(u) = u**2 + 5*u - 7. Let l be c(-7). Is o <= l?
True
Suppose -w + 0*j - 5*j - 19 = 0, 4*w + 201 = 5*j. Which is greater: w or -81?
w
Let q be (-90)/(-28) - (-4)/14. Let m(z) = -z**3 - 121*z**2 + 246*z + 4. Let c be m(-123). Is c >= q?
True
Let j(y) = y**3 + 85*y**2 + 80*y - 279. Let x be j(-84). Which is smaller: 619/11 or x?
619/11
Suppose 4*h + 2140 = 2*i, -3*h - h + 4*i = 2144. Let b = -29372/55 - h. Which is bigger: 3/2 or b?
3/2
Let o = -0.0138 + 0.4988. Let f = -0.915 + o. Which is greater: -0.3 or f?
-0.3
Let v(a) = -a**2 - 6*a - 3. Suppose h - 1 = 3*t, 0 = -3*t - 0 - 6. Let w be v(h). Let g be 2 - ((-8)/2 + (w - -1)). Is g > 3/2?
True
Let h = 39.2 - 41.8. Which is bigger: 2/33 or h?
2/33
Let u = -215 - -221. Suppose -18 - u = 8*y. Which is greater: -17/5 or y?
y
Let p = -6154 + 6154.07. Is p != -4?
True
Let n(d) = -51*d + 74. Let a be n(2). Let k be (-18)/(-8)*(-10 + -2). Is k bigger than a?
True
Let w = -242 - -221. Let i = w + 21.06. Which is greater: i or 1/19?
i
Let s = 5988 + -6100.5. Which is greater: s or 3/5?
3/5
Let b be 1056880/(-106) - 40/(-70). Let i = 9970 + b. Is 0 >= i?
False
Let d = 4862816/155 + -31373. Are 3 and d equal?
False
Let d = 40.17 - 40.07. Let u = 26 + -57. Which is bigger: d or u?
d
Suppose -5*m = -0*d - 2*d + 15, 0 = -3*d + 3*m. Let s = d - -4. Let r = 10.5 - -3.5. Is r at least s?
True
Suppose -v - 57 = 3*y + 72, 0 = -y - 5*v - 29. Let d = 40 + y. Let u be ((-57)/(-76))/((-6)/d). Is u smaller than -0.3?
False
Suppose 4*n + 8 = 4*b, -2*b + b + 4*n + 8 = 0. Suppose b = -0*j - 3*j - 2*l - 35, j - 2*l = -25. Let w be 7*-2 - (-2 + 1). Which is bigger: j or w?
w
Let a be (-20)/30 - (8/3)/8. Let c = -825/1904 + -1/238. Which is greater: c or a?
c
Suppose 309 - 386 = -7*d. Suppose -4*s = -5*p - 8 + d, -s = p - 6. Let u = -106 - -743/7. Which is smaller: p or u?
u
Let g = 1550.04857 - 0.04857. Which is bigger: 2 or g?
g
Let a be 2/3*(-3)/(-1). Suppose -2*b - 6*t + 4*t + 18 = 0, -3 = -3*b + 3*t. Suppose 0 = -4*y + b*w + 27 + 15, a = -w. Is 34/5 < y?
True
Let x = -240 + 225. Suppose 0 = -2*b - 0*b - 8, -b = u + 20. Is x equal to u?
False
Let j(g) = g**3 - 20*g**2 + 74*g - 57. Let p be j(18). Is 630 > p?
True
Let g be (-415)/(-45) - 4/18. Let q(f) = -20 + 11*f + f**3 + 6*f - 6*f - 10*f**2 - 2. Let b be q(g). Is -6 <= b?
True
Suppose -17*v - 56 = -21*v. Suppose -2*b = f - 6 - 5, -3*b - 2*f + v = 0. Let n be ((-90)/b + -3)/(12/(-32)). Is n greater than 39?
False
Let q = -8664 - -9330. Is -1/4 > q?
False
Suppose 89*h - 96 = 97*h. Suppose 2*r - r - 11 = 0. Is h < r?
True
Let b be -69 + 72 + -3*2. Let h be ((-60)/(-25)*5)/(-4 + b). Which is smaller: h or -2?
-2
Let j be 12/(-135) + 1/5. Suppose 4*b = 4*b - b. Suppose -4*y - w + 4 = b, -5*y + 0*y - 4 = -w. Is j at least as big as y?
True
Let n be -3 + (-136002)/(-15086)*(-1)/(-3). Which is smaller: 0.24 or n?
n
Let k be 1/(-21)*(-5)/((-160)/(-192)). Let x = 1.3 - 2. Let q = 0.73 + x. Does k = q?
False
Let g be ((-12)/9)/(3/(-9)). Suppose -4*t - 14 = -2*v, g*v + t = 2*t + 14. Suppose -o = 2*o + p + v, 3 = -3*o + 5*p. Is o greater than -1.7?
True
Suppose 18*j - 13*j - 1692 = -4*p, 6 = -3*p. Which is smaller: -0.3 or j?
-0.3
Suppose 2*n = 2*n + 4*n. Suppose -f - 5*i + 9 = n, 4*f + 3*i - 39 = 31. Suppose f*k - 22*k = 0. Is k bigger than 2/45?
False
Suppose 0 = 120*d + 96 + 64 - 40. Which is greater: d or 2/56235?
2/56235
Let k = -43/114416 - -216222769/241989840. Let n = -1/235 + k. Suppose 0 = -0*g + 2*g + 4*c - 20, 4*g + 3*c - 15 = 0. Is g <= n?
True
Suppose -y = -21 - 15. Suppose z = -z - y. Suppose -2*o + 3*b = 23, 0 = o - 2*b + b + 14. Which is smaller: o or z?
o
Let h(b) = 8*b - 33. Let r(z) = 1. Let w(o) = -h(o) + 2*r(o). Let k be w(4). Suppose 29 = y - 5*f, -2*y - 59 = -k*y - 5*f. Which is greater: 45 or y?
45
Let b = 183 - 177. Suppose -2*z = -2*g - 4, -g + z = -2*z + b. Is -3/91 bigger than g?
False
Let n = -41 + 41. Suppose 3*p + p + d - 276 = n, 2*p = 5*d + 116. Suppose 2*b + 4*h + p = 0, 1 = 2*h - 3. Are b and -37 equal?
False
Suppose -3 = -x + 5*x - m, -2*m = -x - 6. Suppose 5*o - 3*t = 45, 2*o - 2*t - 18 + x = 0. Suppose o*q - 4*q = 0. Is 0 equal to q?
True
Let t(u) = u**3 + 59*u**2 + u + 111. Let k be t(-59). Let i(x) = -x**3 + 9*x**2 - 8*x - 8. Let n be i(6). Is n != k?
False
Let m be (-2 + -2)*(373/5)/(44/(-110)). Which is smaller: 748 or m?
m
Suppose -5*v - 380 = -3*k, -2*k = -3*k + 2*v + 126. Let s = -1403/11 + k. Which is bigger: 1 or s?
s
Let n = -152 - -147. Let m be -7 + n*34/(-25). Which is greater: m or 7?
7
Let p = 261 - 256. Suppose 0 = -2*m + 2*t, 45 = 9*m - p*m + 5*t. Is m less than or equal to 3?
False
Let o = 30769/2 + -15384. Do o and -19098 have different values?
True
Let p be ((4 - 3275/820)*1874)/20. Let h = 6/41 - p. Which is smaller: 1 or h?
h
Let m = 0.342 + 212.658. Let q = m - 211. Let n = 6362/2655 - -2/531. Which is greater: n or q?
n
Let g(t) = -662*t**2 + 169*t + 503. Let r be g(-3). Is r <= -5962?
True
Suppose -19*o + 6*o = 26. Let u(y) = -6*y**2 - 11*y - 11. Let w be u(o). Let r = 0.2 - 0.3. Are r and w non-equal?
True
Let d = 25.1 - 24. Let z = d + -0.5. Let b = 95133 + -95143. Which is bigger: b or z?
z
Let l be ((-14)/4)/(196/(-168)) + -3. Which is smaller: -31/35 or l?
-31/35
Let l = 219 + -521. Let c = 318 + l. Is c smaller than 0.02?
False
Let v = -35 - 44. Let i = -59 - v. Which is bigger: -1 or i?
i
Let k be 447/2384*(-1 - ((-1067)/(-15))/(-1)). Which is smaller: k or 14?
k
Let g = 5 - 1. Let a(s) = -s**3 + 5*s**2 - 5*s + 1. Let n be a(g). Let v = -9278 + 9267. Is v < n?
True
Let y = 285 - 283. Let j be (49 + -52)/(y + 1/(-2)). Which is greater: j or -46/17?
j
Let m = 808 + -518. Suppose 5*p = 5*a - m, 0 = -2*a - 0 + 2. Let f = 57 + p. Which is smaller: f or 1/62?
f
Let h be (-5968)/(-88) - (-26)/143. Which is smaller: 73 or h?
h
Let f = 2/369 - 7015/738. Let c = 55/6 + f. Let b = -23.3 + 4.3. Are c and b equal?
False
Let c(n) be the second derivative of -17*n**3/3 + n**2 - 14*n. Let w be c(-1). Suppose 8*s - 6*s = -w. Which is smaller: 2 or s?
s
Let l be 1 + 5 - 3/(6/4). Suppose 15*o = l*o - 3*o. Which is bigger: -76 or o?
o
Suppose -8*x = -1452 - 564. Suppose i + x = -5*o + 37, -5*i - 67 = o. Which is greater: -81/2 or o?
-81/2
Suppose 2132*s - 2116*s = 14672. Is 920 greater than or equal to s?
True
Suppose -10*i = -4*i - 36. Let f(j) = -j**2 + j + 30. Let q be f(i). Suppose 2*s - 7*s = q. Are -2/7 and s non-equal?
True
Let c = -292861/55 - -5325. Let h(g) = 37*g - 221. Let a be h(6). Is c at least a?
False
Suppose 0 = 8*p + 1446 - 1438. Which is greater: -40.56 or p?
p
Let y = 0.0285 - -8.9715. Let q be (-1)/12*18/(-4). Which is smaller: q or y?
q
Suppose 189*w = 179974 - 4075642. Which is small