: s or w?
w
Let l = 6577 - 6575. Is 0.0544 greater than l?
False
Let y(x) = -117*x + 1579. Let l be y(18). Which is smaller: -526 or l?
l
Let t be 28*(-8 - 840/(-32)). Let k = -529 + t. Is k >= -18?
True
Let m(u) = -u**2 - 4*u. Let c(s) = 3*s**2 + 42*s - 196. Let l(t) = c(t) + 2*m(t). Let h be l(-39). Are h and 3/56 non-equal?
True
Suppose 0 = 4*j - s + 1, 2*j + 4*s - 3 - 19 = 0. Let h be -1*(-28)/21*(-3)/2. Let v be h - -1 - (-19)/((-4921)/(-252)). Is j <= v?
False
Let d(f) = 13*f + 172. Let x be d(-13). Suppose -x*b + 2 = -15*z + 14*z, -b + 1 = 0. Is 7/53 <= z?
True
Let g = -3.4 + 16.4. Which is bigger: g or -10/9?
g
Suppose -82*k + 84*k + 3*c + 2218 = 0, 0 = 3*k + 3*c + 3333. Which is smaller: k or -7804/7?
k
Let j = -316 - 12924. Which is greater: -13241 or j?
j
Let m be (-3)/(-75924)*3*((-87)/(-2))/(-29). Which is bigger: m or 0?
0
Let t be -82*(-2 + 26/14). Let z(b) = -6*b**2 + 5*b - 40. Let g(d) = d**2 - 2*d. Let y(o) = 7*g(o) + z(o). Let i be y(13). Which is smaller: t or i?
t
Let m = 6710 - 6693. Let u be 0 + 1 + 0 + 15. Which is bigger: m or u?
m
Let s(a) = -a**3 - 13*a**2 - 4*a - 41. Let h be s(-13). Let m(n) = -n**2 + 28*n - 186. Let y be m(h). Is 2/367 <= y?
True
Suppose -5*o + 15*o - 4780 = 0. Suppose 0 = 4*a + o - 546. Is a smaller than 25?
True
Suppose -32*v - 45238 = -45590. Is -114 greater than v?
False
Let v = -212 - -95. Let g = v - -58. Let j be 12/8 + g/42. Is 1 at least j?
True
Suppose 0 = 2*z + 5*u - 413 - 564, 3*u = 15. Suppose -l + 473 = z. Which is smaller: 0.03 or l?
l
Let h be (2 - 14)*9/(108/80). Let i be -7 - (-9 + 16 + 64). Which is smaller: i or h?
h
Let o = 0.046647 - -2.974373. Let z = o - -0.02198. Let j = z + -0.043. Which is smaller: -1 or j?
-1
Let v be ((-3 + 4)/((-116805)/(-13)))/((-3)/(-18)). Which is greater: v or 1?
1
Suppose -42*m + 1112 = -47*m - 398. Is m < -297?
True
Suppose 3*o = 2*a + 1, 3*a = -o + 6 - 2. Which is bigger: o or -1/26782?
o
Let i be (-144)/(-2762)*112/(-336). Which is smaller: 0 or i?
i
Let t = 5626 + -4603. Which is smaller: 1022 or t?
1022
Let p = 596747/183 - 7718483627/2366922. Let s = p + -1/446. Suppose 19*i - 4*i - 15 = 0. Do s and i have the same value?
False
Suppose -35*h = 23848 + 56057. Which is greater: h or -2282?
-2282
Suppose 5*y + 25 = 30. Which is bigger: -8/13 or y?
y
Let a = 37371 + -35242. Is 2125 >= a?
False
Let k be 9/((-21)/7) + 6. Let y be (0 + -12)*2/(-6). Suppose 2*x - k*l - 3 = 5*x, y*x + 5*l = -4. Which is smaller: -1/36 or x?
x
Let o(a) = -a**2 + 102*a - 1497. Let l be o(17). Is l smaller than -41?
True
Let o = 36.6 - -82.4. Let x = o - 119.1. Which is smaller: 35.6 or x?
x
Suppose 7*l = 2*l - i - 19, 4*i = -l. Let t be (11/2 + l)*-2. Let p be t/(-2) + (1 - 14/4). Which is smaller: p or 2?
p
Let y = 0.95 + 0.05. Let v = y + -0.7. Let p = -3042.7 + 3042. Which is smaller: p or v?
p
Let f be (88/(-87) - -1)/(15/356295). Let h = f - -273. Let v = -32 - -33. Which is greater: v or h?
v
Let x be 273/65 - 2/10. Suppose 22 + 4 = 2*g + x*v, -2*g - 5*v + 22 = 0. Suppose -g*i + 1 = -22*i. Is 2/87 smaller than i?
False
Let x = 337192096/5576207 + -136838/2113. Let p = x + -66/203. Suppose 0 = -20*f - 19*f + 35*f - 20. Is p < f?
False
Let k be 38352/(-7664) - (30/18)/((-2)/6). Which is smaller: 0.08 or k?
k
Let x = -24 - -33. Let f be (x/(-4))/(2/(-24)). Suppose 3*a - f = -9. Which is smaller: a or 8?
a
Suppose 17*o - 13*o + 20 = 0. Let n be o/((-5)/(-60)*1). Which is smaller: -59 or n?
n
Let y be (-28 + 12)*(-2)/4. Let m be (-1)/(-1) + -9 + y. Suppose 1772*s - 1764*s + 8 = 0. Which is greater: m or s?
m
Let b = -3.693 - -3.493. Do 4.61 and b have the same value?
False
Let p(g) = 7*g + 3*g - 3*g + g - 81. Let q be p(22). Does q = 95?
True
Let x = -47 + 25. Let b(j) = j**2 - 22*j - 85. Let n be b(26). Let k be (n + -21)*((-50)/(-4) - 1). Is x greater than k?
True
Let n = -0.99 - -95.99. Let y = n - 95.03. Is 0 > y?
True
Let d be 4/3*(30/(-4))/(-5). Suppose -10*r - 21 = -1. Let p be r/((-3 - 3)*d/(-6)). Which is smaller: p or 1/21?
p
Let g = -1.59 - -5.59. Let j be (1 - (-7)/((-84)/88))*-3. Is g bigger than j?
False
Let t be ((-6)/24)/(5/20). Let a(b) = -b**3 - 3*b**2 - 6*b - 3. Let z be a(t). Which is greater: z or -23?
z
Let r = -5364/7 - -763. Let c = r - 45/14. Let q = 0.1 + 0. Is c >= q?
False
Let r be (8/10)/(18/990). Suppose -9*q + r = 53. Does -2/531 = q?
False
Let c = -5312 - -4786. Is -528 at least as big as c?
False
Suppose -2*c + 1031 = -2239. Let r be -1 + (-12)/(-18) - (-620)/c. Which is smaller: 0 or r?
0
Let t be 2 - ((-2)/(-6) + (-1396)/(-843)). Let p be 10161/(-1686)*(-12)/(-30). Let i = p + t. Which is bigger: i or -2?
-2
Let w = 0.38 + -12.12. Let x = w + 0.94. Let u = x + 0.8. Is u at most 2/7?
True
Let u(s) = -1911*s + 3371. Let q be u(5). Which is smaller: q or -6186?
-6186
Let f(s) = 2*s**2 + 24*s + 25. Let j be f(-11). Suppose 3*d - 144 = -j*k, -4*k + 5*d = d - 216. Let n(y) = 18*y - 2. Let l be n(3). Is l less than k?
False
Let c(q) = 14*q**3 + 38*q**2 - 28*q + 62. Let i(r) = -5*r**3 - 13*r**2 + 9*r - 20. Let d(x) = 4*c(x) + 11*i(x). Let n be d(-11). Which is bigger: n or -68?
-68
Let v be (-44*15/80)/(-2 - 38/(-16)). Which is bigger: v or 597?
597
Suppose 0 = -318*n + 319*n + 308 + 297. Which is smaller: -607 or n?
-607
Let j = -31 + -16. Let b be 272/(-6) - (3 + 26/(-78)). Is j != b?
True
Let t = -3869 - -3868. Which is smaller: 73.76 or t?
t
Let c = -20 - -11. Suppose -50*i - 6 = -u - 48*i, 3*u + 3*i + 18 = 0. Which is greater: u or c?
u
Let h be (6 - -5612)*(-7)/(-42)*6*1. Which is bigger: 5619 or h?
5619
Let n(h) = -h**2 + 18*h + 21. Let i be n(-3). Which is bigger: i or -213/5?
i
Suppose -111*b + 113*b = -4. Let t be 8/(4 + 6/b). Suppose -r - 10 = -5*s, r + 3*s - t = 2*r. Is r at least as big as -7?
True
Suppose -25*b - 444 + 469 = 0. Is -1/29272 bigger than b?
False
Let x = -1422 + 3065. Suppose -155 = -31*v + x. Which is smaller: v or 59?
v
Let p = 0.226 - 0.124. Let q = 4.098 + p. Do -1 and q have the same value?
False
Let i be (-44)/(-55)*(4 - 66/14). Is -238 equal to i?
False
Let w = 240767/465 + -52/465. Are w and 518 non-equal?
True
Let b = -6277/22 + 571/2. Is -401 smaller than b?
True
Let x be (2 + (-321)/159 - 0)*1. Let q = 745/159 + x. Is q > 6?
False
Let l = -17/202 - -3409/303. Suppose 2*a + 2*a - 48 = 0. Which is smaller: l or a?
l
Let k = 4058 + -4233. Is k greater than -182?
True
Let r(d) = -2*d**3 - 6*d**2 - 6*d - 4. Let c be r(-2). Which is smaller: -1/3743 or c?
-1/3743
Let q = -55.7 - 6.3. Let t = -45 - q. Let c = t - 17.2. Which is smaller: c or -2.1?
-2.1
Let z = 1984 + -2002. Is -6 at most as big as z?
False
Let x = 83 - 77. Suppose 0 = -5*r - 5*o + 2*o - 25, 3*o + 10 = -2*r. Which is greater: r or x?
x
Let i(y) = -11*y**3 + 2*y**2 + 2*y - 3. Let r be i(2). Let m = 5196 + -5273. Is m smaller than r?
False
Suppose -o + 80*c + 2967 = 82*c, o - c - 2958 = 0. Which is smaller: o or 2963?
o
Let m = -4425 - -4425.6. Let q = -0.09 + -7.91. Is q > m?
False
Let h(z) = -10*z + 62. Let l be h(6). Let o be -2 + -3 + 14 + -2. Let y = -16 + o. Are y and l equal?
False
Let g = -259239 - -5585822727/21547. Which is smaller: g or 0?
g
Let v = 26.6 - -162.4. Let c = v - 189. Which is smaller: c or -53?
-53
Let h = -51 + 55. Let k = -540 + 532. Which is bigger: h or k?
h
Let z = -147 - 109. Let r be ((-9)/2)/(24/z). Suppose r = -12*l + 13*l. Is l > 48?
False
Suppose 6*o - 440 = -254. Suppose 28*j = o*j + 4*t - 12, -4*j - 4*t = -16. Is 5 > j?
True
Let z = -381.0578 - -381. Let l = z - 9.9422. Let g = -2 + 1. Which is greater: g or l?
g
Suppose 2*o + 2063 = -3*i - 2*o, 3*o - 692 = i. Let h = 695 + i. Let t = 12 + -8. Is t less than h?
True
Suppose 17 = -5*b - 3*m, 0 = -2*b - 2*b - 4*m - 12. Let a be b + 4 + 26*2. Suppose -4*d = -0*d - a. Is d not equal to -1?
True
Let o = -16752 - -16736. Is o equal to -17?
False
Let h = 1251.98 - 1302. Let c = h - -0.02. Let a = 50 + c. Is a equal to 10?
False
Suppose -2*k = -2*y - 2, 0*k + k + 5*y - 19 = 0. Suppose 66*d = 34 + 164. Suppose k*g + 0 = d*j + 24, -3*j - 18 = -2*g. Is 0.1 less than or equal to j?
False
Let d be 3264/272 - 14/2. Is 0.192 greater than d?
False
Let w(d) = -d**3 + 4*d**2 - d + 24. Let r be w(-6). Let y be ((-2)/4)/((-5)/r*-3). Let u = -13 - 1. Which is smaller: u or 