han or equal to j?
True
Let n = -12972/5 - -2602. Is -21 at least n?
False
Suppose -3*i - 120 = 2*i. Suppose 130 = -5*v + 5*n, 0*v = 4*v + 5*n + 77. Let g = -46 - v. Which is greater: g or i?
g
Suppose 6*i - 8 = 16. Suppose y + 2*y + i*w = 70, 5*y = 3*w + 165. Which is greater: 31 or y?
31
Let t be (-447)/(-21) - (-2)/(-7). Let b(y) = -y**3 - 10*y**2 + 29*y + 347. Let c be b(-9). Suppose 0 = -v + 16*g - 20*g + 9, v = -c*g + 6. Is t < v?
False
Let i be 226/3 - (-7)/(-21). Let h = 838 + -764. Which is smaller: i or h?
h
Let c = -8.035 - -8.114. Let b be (0 - (-9)/(-6))*1. Which is greater: b or c?
c
Let v be (-21 - -12)/((-21)/(-7)). Is -52/25 greater than v?
True
Let n(m) = -45*m**2 + 12*m + 17. Let i be n(-8). Let a = 19028797093/1749 + -119645420/11. Let o = a + i. Which is smaller: o or 1?
o
Suppose a - 4*k + 636 = 0, -25*k + 30*k = -3*a - 1942. Is a less than -646?
False
Let c = -28481.8 - -28482. Which is smaller: 1.566 or c?
c
Let z be 2/(-142)*-10*(-12)/200. Let w = -10079/355 + z. Are w and -29 unequal?
True
Suppose 133 + 255 = n. Let i = -5352 - -5740. Do i and n have the same value?
True
Let l be (29/(-2))/(-1) - (-4)/8. Suppose l*m = -238 - 782. Let q = m - -79. Is 9 bigger than q?
False
Let c be 3 + (3 - -20) + 4. Let w be (21/(-9) - 1)*9. Let y = w + c. Which is greater: 2 or y?
2
Let d = -84 - 93. Let j = -177 - d. Which is bigger: j or 3/139?
3/139
Let u = -1.24 - 1.88. Let m = -0.98 + u. Let g = 3.8 + m. Is -2 less than g?
True
Let c(n) = -2*n + 4. Let g be c(-7). Suppose 2*q = 4*h + g, 3*h - 2*h = 3*q - 37. Do q and 14 have the same value?
False
Let w be 0/30*4/(-8). Which is smaller: 1/1222 or w?
w
Let f = -63857 + 63857.1. Let s = -6.032 + 6. Is s less than f?
True
Let w(n) = -22*n + 139. Let s be w(7). Let c be (-2*(-3)/24)/(s/2580). Are c and -38 non-equal?
True
Suppose 0 = -3*o - 43 + 37. Let f be (-1)/(-4) - o/(-3 + -5). Suppose 4 = 4*p - f. Which is greater: p or -1/5?
p
Suppose 2*n + 8 = 3*m - 33, -26 = -2*m + 2*n. Let a(h) = -h**3 + 6*h**2 + 7*h + 2. Let p be a(7). Let v be p/4*(4 + (-56)/(-2)). Which is greater: v or m?
v
Let q(w) = 7*w + 53. Let s be q(-7). Suppose -4*p = y + 80, -s*p + 140 = -2*y - 32. Does -83 = y?
False
Suppose -25399 = -4*n - 5*h, 17*h = n + 14*h - 6337. Which is bigger: n or 6347?
6347
Let r(y) = -y**2 - 117*y - 6115. Let x be r(-100). Is -4418 greater than or equal to x?
False
Let p = -4/5 + 79/80. Suppose -164*l - 25 = -169*l. Suppose -l - 6 = 11*w. Is p bigger than w?
True
Suppose 2*d - 3*d = -37. Suppose v = -21 - d. Let l = v - -111/2. Is -2 greater than l?
True
Let q be (1 + 3)*393/(-6)*(7 - -20). Is q <= -7076?
False
Let n be 4*(-1 + (-33)/(-6))*(-3)/18. Is -43/27 bigger than n?
True
Suppose -4*l - 312 = -n, 0*l = 3*l + 2*n + 234. Let r = -131 + 55. Is r < l?
False
Suppose -960 = -6*v + 2*v. Let w be (6/5)/(18/v). Suppose 5*m - 66 = 14. Is m <= w?
True
Let m(w) = -4*w + 4. Let y be m(-6). Let c(l) = -l + 41. Let b be c(y). Suppose 0 = -4*a + 98 - 46. Is a bigger than b?
False
Let r = 86/4617 - -4/243. Let b = -104/285 - r. Do b and -15 have different values?
True
Let v be 1 - 4 - 50 - -4. Let q = -50 - v. Let k = -1682 + 139608/83. Which is smaller: k or q?
q
Let j(r) = r**2 - 29*r + 77. Let v be j(3). Suppose 2*a - 1700 = a. Let g be (-3 + 5092/a)/(-1). Which is bigger: v or g?
g
Suppose 17847 = -4*w - 3*z - 8497, 4*w - 5*z = -26344. Is -6586 equal to w?
True
Suppose 3*g = 5*j - 16, 5628 = 4*j - 4*g + 5604. Which is bigger: 2/39715 or j?
2/39715
Suppose -53*u + 485 = 1598. Suppose 4*q + 37 + 43 = 0. Which is bigger: q or u?
q
Let o(c) = c**3 - 40*c**2 + 40*c - 415. Let a be o(18). Is 0 smaller than a?
False
Suppose j = -10*y + 7*y - 1, -32 = -2*y + 4*j. Which is smaller: y or 63/25?
y
Let p = -35.2322 - -35.298. Is -0.2 != p?
True
Let b(d) = -d**3 - 12*d**2 + 7. Let o be b(-12). Suppose 0 = o*w - 9*w - j - 109, 0 = -w - 4*j - 65. Let m = 65 - 117. Is w greater than m?
False
Suppose -o - 5 = -3. Let p = -0.15 - 81.85. Let m = p - -81.7. Which is bigger: m or o?
m
Let j be (7/3)/(45/4185). Let x = j - 2381/11. Which is greater: 0 or x?
x
Let w = 283 + -281. Suppose 3*l = -3*o - 27, -4*l = w*o + o + 32. Let c = 6 + -10. Which is greater: l or c?
c
Let x be -4*(-6)/264 - (-10)/11. Let f(g) = 2*g**2 + g + 2. Let l be f(-1). Which is bigger: x or l?
l
Let v = -19.28 + 19. Let t = 2.232 + v. Let w = t - -0.048. Is -1/3 != w?
True
Suppose 5 + 3 = r. Suppose -r = -o - 3*j, -4*j + 10 = 2*o - 2. Is 9/5 > o?
False
Suppose t + 403 = -p, 0 = -p + 9 - 8. Let g be (-1)/3*-21 - 412. Which is smaller: g or t?
g
Let d(u) = u + 12. Let y be d(-9). Let r(n) = n**3 - 4*n**2 + 2*n - 6. Let b be r(4). Suppose -5*c - 3*s = b, -c - s + 3 = y*s. Which is smaller: c or -7?
-7
Let q = -6 - 4. Let s = 4318 - 4317.4. Do q and s have the same value?
False
Let i(r) = -47*r + 1788. Let o be i(38). Are o and 47/45 non-equal?
True
Let n = -179 + 172.3. Let p = 7.7 + n. Which is bigger: p or 147?
147
Let d = 980 + -659. Let j = d - 313. Which is bigger: 9/7 or j?
j
Let t(y) = 8*y**3 - 30*y**2 - 111*y + 374. Let v be t(16). Which is greater: v or 23687?
23687
Let y = -429/203 - 63/29. Let a = y - -215/42. Let o be ((-10)/(-8))/(2/8) - 5. Which is smaller: o or a?
o
Suppose 153 = 8*l + 105. Suppose -r - 5*b + 3 = -l, -2*b = -r + 30. Let o = -2 - -1. Which is bigger: r or o?
r
Suppose 4*h - 535 = 5*y, -6*y = 2*h + 75 + 567. Are y and -87 non-equal?
True
Let s = 271 + -289. Let m be ((-111)/27 - -4)*(-6)/s. Which is smaller: 0.1 or m?
m
Suppose -4*b + 0 = 8, 2*a + 5*b = 542. Suppose 0 = 7*h - h + a. Let z be 2 + (4 - 4) + 100/h. Which is smaller: 1 or z?
z
Suppose -6*s + 0*s - 3990 = -13*s. Is s at least as big as 570?
True
Let d(h) = h**2 + 17*h + 37. Let c be d(-16). Suppose 0 = -3*i + 5*i + 3*n + 10, 0 = -3*i - 3*n - c. Let b = i + -1. Which is greater: b or -1?
-1
Suppose -23*g + 2 = -24*g. Let w be (39 + g)/(4/304*-2). Let i be ((-6)/48)/(-1) + w/(-16). Is 87 less than i?
True
Let j(i) = i**2 - 8*i + 19. Let f be j(7). Let b be -2 + f/(-12) + (-6)/(-2). Suppose b = -2*y - y + 36. Which is greater: 14 or y?
14
Let n = -1542 + 1541. Let j be 93/(-432) - 4/18. Is n > j?
False
Let q = 0.5896 - -0.4104. Which is smaller: 1.2 or q?
q
Let z(o) = 2*o**3 - 63*o**2 - 108*o + 2050. Let v be z(29). Which is smaller: -5289 or v?
-5289
Let k = 58/7 + -568/77. Suppose 3*n - s - 20 = 0, -s + 19 - 4 = 4*n. Let o be 1 - 4/n - (-27)/15. Is o <= k?
False
Suppose -x + 4 = o, 28 = 6*o - o + x. Let r be 3*(136/6 - 2/o). Let c = 21 - r. Which is smaller: c or -47?
-47
Let x = 16 - -12. Let z be ((-6)/28)/(21/x). Let o = -6544 + 6544.001. Is o < z?
False
Suppose 2*l + 19 = 2*v - l, 0 = 4*v + 5*l - 5. Suppose -v*w + 2*y = -765, 88 = -3*w - 5*y + 516. Which is smaller: 152 or w?
w
Suppose 2*q + 2*q - 2*k - 5974 = 0, 2*q + 3*k = 2999. Which is smaller: 0.1 or q?
0.1
Let b(a) = -a + 12. Let l be b(13). Let d(p) = 3*p. Let r be d(1). Let f be ((-11)/(-3) - r)*18/(-4). Which is smaller: f or l?
f
Let j(c) = c**3 - 6*c**2 - 26*c - 10. Let w be j(9). Let d be -18*w/3 + 6. Which is greater: d or -10?
d
Suppose -49*p + 5212 + 15946 = 93*p. Which is smaller: 151 or p?
p
Let c = -6 + 2. Let l(g) = -2*g**3 - 17*g**2 + 23*g - 56. Let j be l(-10). Which is smaller: c or j?
c
Let h = -2707028869/25241580 - -19/376740. Let v = 536/5 + h. Suppose 0*q + 2 = 2*q. Which is smaller: v or q?
v
Let q be (3/(-2))/(30/8). Let t = -8391 - -8375.5. Which is smaller: q or t?
t
Let u = 143929/18879 - 221/29. Which is greater: 1 or u?
1
Suppose 2*n - 3*v = v - 16, -n + 3*v = 6. Let l(i) = -3*i - 13. Let a be l(n). Let o be 6/(-2) + (-4 - -6) + a. Is o at least 23?
False
Let g = -1514 + 1511. Let w be 2/1060*1186 + -2. Let p = 2/53 - w. Is g equal to p?
False
Let v be (-4)/604*10/30. Is 0 at least v?
True
Suppose 3*y + 9 = -3*x, 21 = -4*x + 3*y - 26. Let l = 13 - x. Let f be 128/6 + 12/18. Which is smaller: f or l?
l
Let o = -4/621 - 14780/19251. Let v be -11 + 7 + 6 + -3. Which is bigger: v or o?
o
Suppose 0 = 3*r + z + 50, -r + z + 4*z - 6 = 0. Let p be r/(-6) - (-22 - -25). Which is greater: p or 71/3?
71/3
Let i be (-18)/(-12) + 1/2 - -3. Suppose -s - 44 - 96 = -w, -5*s = i. Which is smaller: 1 or w?
1
Let a = -491/21 - -139/6. Let v(i) = i**2 - 7*i + 6. Let g be v(4). 