se -5*o = -o - 28. Let n be (-240)/(-560) - 8/(168/(-117)). Which is bigger: o or n?
o
Let v be ((-2)/(-16))/((-2)/30) + -1 + -3. Is -7 greater than v?
False
Let n = -2395/33 - -791/11. Which is smaller: 580 or n?
n
Suppose t = -u - 3*t + 20, -2*u - 5*t + 25 = 0. Suppose d - 116 + 115 = u. Is 0.113 not equal to d?
True
Let i(k) = 17*k - 14 + 4*k - 11*k. Let w be i(4). Let j be -21 - ((-6)/39 - 100/w). Is -17 at least j?
True
Suppose 2*y + 1451 = 1825. Let w = -562/3 + y. Which is smaller: w or 1?
w
Let v(w) = -301*w + 1810. Let c be v(0). Which is greater: 1811 or c?
1811
Suppose -2*x + 4*n - 3*n = -14, -4*x - n + 16 = 0. Suppose 11*w - 336 = 27. Suppose w = -5*q + 43. Is x at most as big as q?
False
Suppose -8*p + 112 - 104 = 0. Let t = 17 - 23. Let d be t/(-4)*(-12)/765. Which is bigger: p or d?
p
Let k be (11 - 4)/((-4)/((-520)/6)). Let h = k - 144. Which is smaller: h or -0.1?
-0.1
Let a = 826128/31 - 26649. Let y = 5 + -6. Are a and y equal?
False
Let a = -2243 - -248974/111. Which is smaller: -1 or a?
-1
Let c = -432 - -180. Let w = -419 - c. Does 0 = w?
False
Let z(a) = -a**2 + 87*a - 1242. Let f be z(18). Is 16/355 < f?
False
Let f = -114 - -261. Let m = f - 91. Suppose i = -3*a + m, -i = -a + 2*i + 22. Do a and 20 have the same value?
False
Let v be (1 + -2)*-1 + 35. Suppose -3*a + q = 163 - 172, 4*a - 25 = -3*q. Suppose a*m + v = -0*m. Are m and -14 nonequal?
True
Suppose 5*q + 2 = -3. Let y = -36845/882 - -376/9. Is q at most as big as y?
True
Let r be (-41)/((-2091)/(-68))*(-627)/2. Is r equal to 419?
False
Let f = -306.547 - 0.453. Let p = -314 - f. Is p equal to 0.4?
False
Suppose -6 = -2*r + 4. Let c be (r - 2) + (-11)/(-1). Let h be -4 - (-21)/18*c. Is 13 greater than or equal to h?
True
Suppose 5*w = 5*v + 30, -9*w = 2*v - 7*w - 8. Suppose -4*q = -0*q - 80. Let b be 55/q + 3/v. Is 0 less than b?
False
Let z be 9/12*8/(-9). Let m(f) = -f**2 + 5*f + 5. Let p be m(5). Suppose -3*g + 19 = -2*l, 7*g = -5*l + p*g. Is z greater than l?
True
Let h = 10086 + -10085.8. Is 10376 > h?
True
Suppose -10*a + 44 = 44. Let v be 1/(-1)*(1 + a). Is 2/55 >= v?
True
Suppose -1058*l + 1053*l = 3010. Which is smaller: l or -595?
l
Suppose 287 = 37*h - 157. Let v(a) = -a**3 + 9*a**2 - 13. Let p be v(9). Let s = p + 24. Which is smaller: s or h?
s
Let j = 8.461 - -391.439. Let p = j + -424.922. Let k = p + 0.022. Is -1/4 not equal to k?
True
Let d = -6.9 + 7. Suppose 39*g - 1472 = 3091. Which is smaller: d or g?
d
Let w be (0 - -1 - 0) + (-88506)/216. Which is bigger: w or -409?
w
Suppose l = 3*j + 134, -41*l = -49*l + j + 980. Which is smaller: 127 or l?
l
Let c(b) = 4*b**2 - 2*b + 14. Let j(r) = r**3 + 14*r**2 - 49*r + 36. Let w be j(-17). Let q be c(w). Do q and 28 have the same value?
False
Let h = -2.6 + -191.4. Let p = h + -231. Is 1 at least p?
True
Let b = -2171339/197 + 11022. Is -1 less than b?
True
Let m(z) = 58*z + 2. Let f be m(2). Let r = f - 116. Which is bigger: r or 24/17?
r
Suppose 136*r = -72*r + 27*r. Which is bigger: 24.68 or r?
24.68
Let f be 3 + -1 + 1 + 1435. Let t = f + -34507/24. Let q = 7892 + -7892.1. Are q and t equal?
False
Suppose 0*z - 4*z - 5*d = -33, z + d - 7 = 0. Suppose z*f = 7*f + 2*c, 5*f = c. Suppose h - 4*t - 88 = 0, f = h + t - 6*t - 91. Is h at most 76?
True
Suppose 0 = -2*n + 3 - 1, 0 = t + 3*n - 86. Suppose 85*i - t*i = -360. Which is bigger: i or -181?
i
Suppose -3*y = 2*y. Let g be 34/(-119)*14/(-96) + (-16)/24. Which is smaller: y or g?
g
Let x be 28 + -1 + (0 - 1). Suppose 29*b = 106 - 19. Suppose -t + 28 = 5*f, 2*t - 3*f = b*t - x. Which is bigger: t or 22?
t
Let c(t) = -12*t**2 - 4*t - 6. Let i(w) = w + 1. Let k(o) = c(o) - 2*i(o). Let u be k(-2). Which is smaller: u or -43?
u
Let p be (3 - (-1620)/(-500))/((-58)/90). Which is smaller: 0 or p?
0
Let k = -459/22330 - -54/203. Let i be ((-6)/(-165))/((-4)/(-5)). Let h = k - i. Which is bigger: h or -8?
h
Let r(m) be the first derivative of m**3 - 39*m**2 + m - 161. Let q be r(26). Do -3/8 and q have the same value?
False
Let a = 2802 + -7066. Is -4262 not equal to a?
True
Suppose 0 = 4*v + 3*z - 17, -v - z + 8 = 5. Suppose -v*g + 42 = 4*u - 3*g, -g = -2. Is u at least as big as 6?
True
Let t be (-2)/(-5) - 19201/65. Let y = -256 - t. Which is smaller: y or 40?
y
Suppose -7*d + 4*d - 104 = -11*d. Is d at most 141/10?
True
Suppose 9*f + 431 = 4*g + 12*f, 4*g - 441 = -5*f. Suppose 13*v - 11*v = -g. Which is greater: -58 or v?
v
Let l = -1.9 + -0.1. Let k = -15/2 + 707/94. Which is bigger: k or l?
k
Let v be 118 - 119 - (17 + 1). Which is greater: v or 1/79?
1/79
Suppose -20 + 2 = 3*b. Let c = 7306 + -95050/13. Is b < c?
True
Let h(s) = 927*s - 3661. Let t be h(4). Is 9 greater than t?
False
Let a be 1 - -173 - (38 - 50). Is a at least as big as 186?
True
Let q = 1153.9 + -1154. Which is greater: -19 or q?
q
Suppose 0 = i - 12 + 10. Suppose -3412 + 3720 = 7*r. Suppose -r = i*x - 46. Is x < 77?
True
Let o = -393 + 167. Let b = o - -207. Which is greater: b or -16?
-16
Let v = -31175 + 29215. Is v greater than or equal to -1962?
True
Let d(z) = -z**3 - z**2 + 1. Let f(u) = -u**3 - 16*u**2 + 13*u - 6. Let w(p) = -3*d(p) + f(p). Let k be w(8). Let x = k + -10047/35. Which is smaller: 0 or x?
x
Let s be (-10)/(-14) - (-400)/175. Is -25 <= s?
True
Let n = -1.13 - 17.87. Let z = -24 - -6. Let u = z - n. Which is bigger: u or 2/3?
u
Let b = -510 - -510.2. Suppose -2*t = -5*x + 385, -4*x = 2*t - t - 308. Are b and x unequal?
True
Suppose 0 = 83*x + 139*x + 67*x + 2507942. Which is greater: -8680 or x?
x
Let s = 13264 + -13264. Is 1/1073 < s?
False
Let g = -565076/5 + 113586. Let r = g - 563. Suppose -3*h = -14 - 13. Is h less than or equal to r?
False
Let z = 5218/82752157 + -80248283294356/5900642554885. Let a be (1/(-28522))/(3/12). Let v = a + z. Which is smaller: -14 or v?
-14
Suppose -424*n = -420*n + 12. Let j be -28 - (12/n + 6). Which is bigger: j or -35?
j
Let t be -9 + 19978/1498 - (2 + 2). Is 0 > t?
False
Let s = 5 - 55. Let r = s + 51. Suppose -2*m - 5 + r = 0. Which is bigger: -3/2 or m?
-3/2
Let i be 2301/(-9) + (-4)/(-6). Let b be ((1028/3)/((-1032)/(-387)))/(4/(-8)). Which is bigger: b or i?
i
Let l = 3155.522 - 30.522. Is 3/5 < l?
True
Let j be (-2)/(-28)*(-1386)/(-495). Let t(x) = x**2 + 3*x - 3. Let o be t(-4). Which is smaller: o or j?
j
Let d = 574.591 + 0.409. Let a = d + -575.27. Is a smaller than 9/2?
True
Let o = -72 + 389. Let r = -308 + o. Which is smaller: 0.06 or r?
0.06
Suppose 3*q + l - 105 = 0, 4*q + 367*l - 363*l = 140. Which is smaller: q or 44?
q
Suppose -4122 + 856 = 71*k. Which is smaller: -48 or k?
-48
Let y(w) = -171*w - 2578. Let c be y(-6). Do -1555 and c have the same value?
False
Let z = -403 + 255. Let h be z/(-152) + 1/2. Let o = -518/171 + h. Is -1 smaller than o?
False
Let s = 322447/4 + -80612. Let h = -6.91 + 7. Is s equal to h?
False
Suppose -5*m + 0*y - 2255 = -5*y, -4*y = 2*m + 896. Let j(g) = g**3 - 177*g**2 + 3798*g + 49. Let u be j(25). Which is bigger: u or m?
u
Let m = -4507/126 + 80/63. Let a = 56 + m. Let t = 38 + -15. Which is bigger: a or t?
t
Let y be (-2)/(-1)*(-31 + -1) + (-132)/(-33). Which is smaller: y or 6?
y
Let p be (-4 - 1) + -1 + (-9045)/(-60). Let x = 144 - p. Is x not equal to -3?
True
Let o = 2135992/1073 - 62462/29. Let x = 164 + o. Is 0 < x?
True
Suppose 0 = -15*d - 6641 - 499. Let j = d - -466. Is -19 smaller than j?
True
Let c = 1797 - 115013/64. Let r = -94/1627 + 184947/1145408. Let a = r - c. Which is greater: a or -1?
a
Let i = -4/7661 - 497309/1256404. Let b = 6/41 + i. Let u = -12.018 - -12. Which is bigger: b or u?
u
Let f = -152051/2574 - -768/13. Suppose -143 = 19*u + 111*u + 13*u. Are u and f equal?
False
Let t = -49016/19 - -2580. Is t at least as big as -0.26?
True
Let t(k) = -16*k**3 - 8*k**2 - 4*k - 5. Let n be t(3). Is -526 <= n?
True
Suppose 4*l = -165 - 35. Let i = 50 + l. Suppose i*r - 6 = -6*r. Which is smaller: 4/13 or r?
4/13
Suppose f + 225 = -4*w, 5*f - w + 1143 = -3*w. Suppose -99*c = 9021 + 13749. Which is smaller: f or c?
c
Let h = -10180 - -10612. Is 431 > h?
False
Let g = -16 + 25.5. Let w = -9.6 + g. Which is bigger: w or -231?
w
Let f be 5 + ((-29)/(-261))/((-2)/606). Does -28 = f?
False
Let f = -14118 + 5332. Which is bigger: f or 1?
1
Suppose 4*d + 3*a