 bigger: y or -237?
-237
Let d be (-910)/(-226) + (-6 - (2 + -4)). Let u = -589/904 + d. Which is greater: 0 or u?
0
Let k = 3108 + -2676.2. Let i = k + -579. Let a = -147 - i. Is -2/9 greater than or equal to a?
False
Let f = -6.08 + 6.08. Let j = 5.67 - 40.37. Which is bigger: j or f?
f
Suppose -3*x + 212 = 3*a + 20, -x = -4*a + 266. Suppose -2*z = -2*g - z + a, 2*g + 5*z = 90. Which is smaller: 37 or g?
g
Suppose 4*y - 66 = 202. Let x(n) = 5*n + 25. Let c be x(-4). Suppose 2*d - 6*t - 128 = -7*t, 0 = -3*d - c*t + 178. Which is bigger: d or y?
y
Let u = 864 + -859.952. Let c = u - 4. Let k = 3.348 - c. Which is smaller: k or 0?
0
Suppose -2*t - 5*w = -1, -2*t + 2 = -5*t - 4*w. Let d be ((-20)/(-14) + 6/(-4))/t. Let k = -135 - -136. Which is smaller: d or k?
d
Let d = -19 - -10. Let c = 133 - 121. Let o = c - 18. Which is greater: o or d?
o
Let v be (3 + -3)/(-9 + 66/6). Let g(r) = 0*r - 4*r + 6 + 14. Let z be g(v). Is 18 <= z?
True
Let c = -1924 + 1940. Which is greater: 0.4 or c?
c
Let h be (-3496)/(-72) - (14 + -2)/(-2). Let n = 506/9 - h. Is 15 greater than or equal to n?
True
Suppose 2*w + i + 44 = 6*w, 0 = 5*i - 20. Suppose 1745 = 5*v - 5*g, 13*g - w*g = 4*v - 1384. Which is smaller: v or 346?
v
Let c(o) = o**3 - 2*o**2 - 7*o + 23. Let i be c(4). Let w(r) = r**3 - 3*r**2. Let x be w(3). Suppose x*f - f = -28. Is f greater than i?
True
Let t be (-54924)/(-30)*(-17)/(-93). Let y = -515/93 - t. Let q = y + 342. Is 3 at least q?
True
Let a(h) = -111*h + 4433. Let m be a(42). Do -167 and m have the same value?
False
Let c = 4386 + -4385. Which is greater: c or -3/473?
c
Suppose -5*n + 12 + 8 = 0. Let z(v) = -v**3 - 6*v**2 - 7*v + 5. Let p be z(-4). Let i be -28 + (4 - n) + p. Is i less than or equal to -27?
True
Let w = -94 - -239. Suppose -8*l = 23 + w. Let s = -107/5 - l. Which is greater: s or -1?
s
Let s = -66 + 131/2. Let v = -209/15 - -34/3. Let n = -11/5 - v. Do n and s have the same value?
False
Let a = -12 - -11. Suppose -j - 105 = -d, 4*d + 3*j = 618 - 177. Let i be ((-1)/(d/(-16)))/(3/(-18)). Is a > i?
False
Let l(w) = -51*w**3 + 4*w**2 - 7. Let t be l(-2). Let s = t + -417. Which is smaller: -25/19 or s?
-25/19
Let i = -15.6 + 3.6. Let r = i + 18. Let a = r + -5.87. Is -2 >= a?
False
Suppose 0 = y + k - 2053, -5*y + k = -k - 10286. Is y >= 2054?
True
Let h = -12/55 + -2/11. Let a = 90756.3 - 90748. Which is greater: a or h?
a
Let p = -860559/59 + 14585. Let m = -20166/27199 - p. Do m and 1 have different values?
True
Suppose 0 = -1050*m + 1046*m. Is m smaller than 1/5397?
True
Let b = 235.3 - 222. Let a be (-1)/((7/(-21))/((-1)/(-3))). Is b > a?
True
Suppose -37253 - 37727 = 115*u. Is u bigger than -655?
True
Let n be 1*((-200)/4 + 1). Let k = 48 + n. Let a be -2 - k - 70/(-40). Do a and -0.3 have the same value?
False
Let o = -4399/38223 + 26/279. Let k = -165 - -164. Does k = o?
False
Let i be (-7)/14 - 128577/126. Let z = 1020 + i. Which is smaller: z or 0?
z
Suppose 4*r + 0*r = k - 3, -3 = -k - 2*r. Suppose -12 = -h + k*h. Let n be h/3 + -1 - 27. Which is smaller: -29 or n?
n
Let n = -464300/1005927 - -2/77379. Let f be 2/(-8) - (-18)/8. Suppose -3 + 15 = -f*p - 5*i, -7 = p + 3*i. Is n < p?
False
Let j = 27.54 + -28.54. Is j <= -53?
False
Let b(f) = f**3 + 8*f**2 - 11*f + 4. Let m be b(-12). Let l be (-19)/(m/(-56) + -8). Is 134 >= l?
True
Let q be 1/(34/3 + 3). Let k = 2310 + -2311. Is k greater than q?
False
Let s = 1923606/19 + -101182. Is s equal to 61?
False
Let k(z) be the first derivative of -z**3/3 + 9*z**2/2 + 29*z - 77. Let t be k(-6). Is t greater than -62?
True
Let j = 2757151/63597 - 2/3741. Which is smaller: j or 43?
43
Suppose -2*z + 13*b = 9*b - 6, -5*z + b = 3. Let o(m) = 10*m + 9. Let l be o(z). Is l != 1/14?
True
Let t be ((-3)/6)/(1/66). Let n be ((-6)/(-24)*0)/(-4) - -7. Suppose 0 = -r - 4*g + n*g - 30, 0 = 3*r + g + 100. Is t bigger than r?
False
Let b be (-12)/18 + (-319)/(-231). Is b < 20/3?
True
Let m = -21270 - -21225. Is 108 < m?
False
Let n = 5824.1688 + 1.8312. Which is smaller: 2/3 or n?
2/3
Suppose -1071*v + 1074*v + 30 = 3*k, 5*k + 10 = -5*v. Is k < 64?
True
Let k = -59/4 + 15. Let b(g) be the second derivative of 34*g**3/3 + 133*g**2/2 - 272*g. Let d be b(-4). Is d greater than k?
False
Let a = 32372/3 + -10790. Let p = 0.6 + 1.4. Is p greater than a?
True
Let a(k) = -3*k - 31. Let q be -2*9 - -3 - -4. Let p be a(q). Suppose 3*v + p*c = -24, -v + 2 = -c + 5. Which is smaller: 3 or v?
v
Suppose 10*f - 1346 = -1266. Let l be (-1 + 47)*(-1)/(-41). Let r = l - -2384/287. Are r and f equal?
False
Let r = -23 - -43. Let f(j) = -312*j + 1582. Let g be f(5). Do r and g have the same value?
False
Let n = 4/1411 + 1395/5644. Which is greater: n or -1/1787?
n
Let b = 744.2723 - -0.7277. Is 3 >= b?
False
Suppose -5*n = 25, 4*n - 3861 = 4*q - 14009. Suppose 0 = -3*m + 4*w - q, 0 = 12*w - 13*w + 3. Is -840 greater than or equal to m?
True
Let u = 20.5 + -28.5. Let x = 15 + u. Is -0.1 greater than x?
False
Let k(w) = 190*w - 33. Let s be k(4). Let d = 713 - s. Is -10 less than d?
False
Let u = 968 - 384300/397. Which is greater: u or 0?
0
Let a = 364.81 + -422.81. Which is smaller: a or -2.01?
a
Suppose 33*w - 83*w = -39*w. Suppose -p - 272 = -5*j + 3*p, 5*j + 2*p - 254 = w. Which is bigger: 53 or j?
53
Let q(m) = -m**3 - 13*m**2 + 20*m - 95. Let v be q(-15). Is 44 not equal to v?
True
Let t = 6741 + -6576. Which is bigger: t or -0.23?
t
Let k(v) = 246*v - 1970. Let j be k(8). Which is greater: -79/30 or j?
j
Let s = 7958 - 10454. Which is smaller: s or -2493?
s
Let k(m) = -1039*m + 2477. Let y be k(8). Which is greater: 1 or y?
1
Suppose 169*g = 178*g + 180. Suppose -53*k - 30 = -48*k. Are k and g equal?
False
Suppose 5*p + 47 = -z + 4*p, -6 = 3*p. Let x = -45 - z. Is 1/86 equal to x?
False
Let q = -19 - -41. Suppose 0 = -9*x + 14 + q. Suppose -5*t = -3*a - 5, 0 = -4*t - 3*a - 0*a + x. Is t <= 1?
True
Let j = 2159/4 - 244235/452. Is j at most as big as 0?
True
Suppose z + 2*x - 139 = 0, 2*z + 23*x = 24*x + 263. Suppose -653 = -6*j + z. Which is bigger: j or 129?
j
Let r(z) = -8*z + 4. Let n be r(-2). Let m be (-252)/52 + n/4. Let l be (3/(-9))/((-2)/3). Which is bigger: l or m?
l
Let y(d) = 3*d**3 + 22*d**2 - 2*d + 60. Let v be y(-18). Let x be 2/(-9) - v/45738. Are 0 and x nonequal?
True
Suppose -56*b - 78 = -50*b. Let d(x) = x**3 + 13*x**2 - 18*x + 26. Let a be d(b). Is a at least as big as 260?
True
Let x = -2.9858 + -0.0642. Is x at least as big as 0.3?
False
Let f(t) = t**2 + 4*t - 18. Let c be f(-6). Let w be 2/6 + (-8)/(-3). Suppose w*v + 6 + 0 = 0. Is c equal to v?
False
Let v = 108 - 178. Let f be (-1314)/v + 1/(-5). Which is smaller: f or 20?
f
Suppose -6*l - 43 = -y, -5*y - 4*l - 23 = -0. Is 34/29 less than y?
False
Suppose 0 = -z + 5*y + 9, y - 2 = -z - 5. Let p be 4/(-28) + (z - 24/(-21)). Suppose -v + 27 = -p*v - i, 5*i = 2*v - 66. Which is greater: v or 24?
24
Let d = -0.1657 - 0.1107. Let u = d + -60.7636. Let s = 61 + u. Which is smaller: -0.1 or s?
-0.1
Let v = -24581 - -24570.017. Let t = -11 - v. Let o = 0.117 + t. Is o greater than -4?
True
Suppose -543*l + 7346 = -546*l + x, 0 = -2*l + 4*x - 4884. Which is smaller: l or -2449?
l
Let f(o) = -21*o - 58. Suppose -14 + 44 = -3*q. Let c be f(q). Which is greater: 151 or c?
c
Let o = -542.54 - -148.54. Is o bigger than 0.1?
False
Let r(j) = -j**2 + 4*j + 6. Let o be r(5). Let h = 1413 - 993. Let i = 411 - h. Is o bigger than i?
True
Let m(i) = -i**3 + 10*i**2 - 2*i + 21. Let l be m(10). Let x be (-9)/((-27)/(-12)) - l*-14. Is 56/5 > x?
True
Let k be 112/(-216)*(534/42 - 11). Is k at least 0?
False
Suppose 5*g = -5*b - 3861 - 2019, 2*g = -b - 1177. Which is smaller: b or -1173?
b
Let a = 24281 + -24276. Is a at least -322/9?
True
Let s be (5/15)/((-22525)/(-306)). Do s and 1 have the same value?
False
Let w be (7/14)/((-50)/48 + 1). Let b be 2/w*521 - (-1)/(-6). Which is bigger: b or -89?
b
Let d be (-61)/((-427)/(-245)) + 8/1. Is d equal to -1/44?
False
Let x be (-164)/(-27)*114/76. Let a(s) = 9*s**2 - 1. Let c be a(-1). Which is bigger: c or x?
x
Let c(l) = -4*l**2 - 33*l + 148. Let u be c(-10). Is u greater than 110?
False
Let k(x) = 31*x**2 - 13*x - 58. Let s be k(-3). Is s greater than 257?
True
Suppose 89 = -15*v - 1. Let a be 2 - 