 Let o = j + 206470. Let b = 465 + o. Which is smaller: b or 1?
1
Let a = 1145 - 26337/23. Suppose 0 = -5*p + 12 - 7. Which is bigger: p or a?
p
Let q = 79.38 - -22.62. Is -0.035 greater than q?
False
Let b be (0*(-2)/(-8))/2 - 1117610/(-260). Is b >= 4299?
False
Let k = 14 + 13. Let v be (-32)/(-24) + (-20)/15. Let g be (v + 2)/(k/(-27)). Which is bigger: -18/7 or g?
g
Let m be 396/8 + 5/10. Let l be -7 - -66*5/m. Which is smaller: l or -13?
-13
Let s = 3448 - 3005.7. Let y = -442 + s. Which is greater: 6 or y?
6
Let p be (50/182)/(-1) + 10/(-65). Let o = 427 - 425. Is o greater than or equal to p?
True
Suppose 5591 = 8*r - 3049. Let z = r + -1076. Let t = 8 - 4. Is t at least as big as z?
True
Let r = -23/59 - 121/295. Is -10 less than r?
True
Let s = 16417.5 - 16417.4. Let r = -1.23 + 8.13. Which is smaller: s or r?
s
Suppose 0 = 31*m - 1269 + 370. Suppose 12*b = -m*b + 369. Is b at most as big as 25?
True
Let h be -4595*((-81)/18 - -5). Is -2298 greater than or equal to h?
False
Let a be -13*(1 + -3 + 1). Suppose -5*s = -5*f - 35, -4*s + 32 = -303*f + 298*f. Suppose -3*l + 5 = -u - 2, 5*l - a = s*u. Which is smaller: 2/141 or u?
u
Let h = -1 - 0. Let w be (-164 - -165)*35390/473. Let n = 822/11 - w. Which is bigger: n or h?
n
Suppose 7*d - 96 = 23*d. Let c be (14/21)/(d/171). Suppose -2*u - 4 = 4*m + 38, -m - 2 = 0. Is c >= u?
False
Let g = 441.8 + -546.8. Let n = 1.65 - -101.35. Let i = n + g. Which is smaller: -34 or i?
-34
Suppose -d + 2*y = 7, 9 = d - 0*y + 2*y. Let h = -17506/5141 - -312/97. Is d greater than h?
True
Let x(d) = -d**3 + 11*d**2 - 37*d + 406. Let j be x(11). Which is bigger: 4.312 or j?
4.312
Let v = 771 + -768. Suppose 3*b - 315 = v*m, 4*b - 456 = m - 24. Is b != 107?
True
Let y(j) = 6*j - 18. Let u be y(3). Suppose 14*p - 2*p + 360 = u. Let k = -31 - p. Which is smaller: k or 2/217?
k
Let v(q) = -26*q - 8. Let s(z) be the second derivative of 35*z**3/2 + 33*z**2/2 + 3*z. Let o(t) = 5*s(t) + 21*v(t). Let u be o(-1). Is 18 greater than u?
False
Let v be (1881/6)/(-5 + 176/32). Which is smaller: 2503/4 or v?
2503/4
Let k(h) = -h**3 + 5*h**2 - 5*h + 6. Let q be k(4). Suppose -2*f - 2*f - 4*i - 32 = 0, -3*f - 25 = q*i. Let a be (f/7 + 10/35)*-1. Which is greater: a or 7/8?
a
Let w = 126 + -66. Suppose -2*b - 4*b = w. Which is greater: b or -7?
-7
Let c be (6/32)/(15 - (-142273)/(-9486)). Which is smaller: 106 or c?
c
Let x be (-2)/(5/(-7)*(-18)/(-15)). Let j = -10 + 6. Let h = 6 + j. Which is smaller: h or x?
h
Let i = -3269 + 3492. Which is bigger: 0 or i?
i
Suppose 7*d - 2*d = 4*t + 45, 5*d + 4*t = 5. Suppose 0 = -d*r + 5*q - 45, r - 1 = -0*q - q. Suppose 3*b - 4 + 43 = 0. Do r and b have different values?
True
Let o = 1073.8 + -1066.97. Is -3/7 greater than or equal to o?
False
Suppose 3*d + 8*o - 14298 = 3*o, -5*o + 19059 = 4*d. Suppose d = -4*z - 167. Let i be 4/(-7) - 788/z. Do -1 and i have different values?
True
Let v = 22 + -31. Let b(l) = -l**3 - 9*l**2 + 4. Let g be b(v). Suppose -g*c = -p - 7*c - 12, 4*p = -c - 70. Does -18 = p?
True
Let h(c) = -3*c + 12. Let d(z) = 16*z - 60. Let u(t) = 2*d(t) + 11*h(t). Let b be u(-5). Suppose 4*p - b = i, 5*i - i = -p. Which is bigger: 2/65 or i?
2/65
Let p = -103 - -103. Suppose 5 = -5*y - 10. Let h be 3*(-1)/288*y. Is h > p?
True
Let w = -377 - -429. Suppose -3*z = -w*z - 7252. Is -150 > z?
False
Suppose 5*a - 26 - 9 = -2*j, a = 18*j + 7. Is j not equal to 5580?
True
Suppose 171 - 31 = -5*p - 5*r, -4*p - r = 118. Let z be (-4 + p/(-6))*-3*16. Is z bigger than 0?
False
Let g be (1226 - -1) + (-4 - (-3 - 2)). Let f = g - 1742. Which is bigger: -513 or f?
-513
Let h = -1495.054 - -1502. Let y = -7 + h. Let b = 0.046 - y. Which is smaller: -0.14 or b?
-0.14
Let l be 928/18096 - 74/(-78). Is l != -1/10597?
True
Let y = 4193 - 3973. Which is bigger: y or 221?
221
Let h(z) = -3*z - 41. Let r(y) = -3*y - 41. Let c(s) = -6*h(s) + 5*r(s). Let t be c(-18). Which is smaller: -19 or t?
-19
Let g = 45981 + -45223. Which is bigger: g or -4/3?
g
Let g = 16053/11 + -1461. Let m(r) = r**2 - 9. Let j be m(-4). Suppose p + j = 6. Which is bigger: g or p?
p
Let q = 67 + -77. Let w be (q - -11)*(2 - -1). Suppose -24 = 5*p + w*p. Which is smaller: p or -5?
-5
Suppose 4*u = 2*u + 98. Let b = -59/108 - -8/27. Which is smaller: u or b?
b
Let b be 5 - (-162)/(-15) - (-8 + 10). Let l = -1061/145 - b. Which is greater: -2 or l?
l
Let z = -760 - -759.9601. Let u = -1.45794 + 1.55794. Which is bigger: z or u?
u
Let y = -4570.107 - -4568. Does -1 = y?
False
Let l be (-108)/(-14) + 4/14. Let n be 2/20*-19*1/(4/(-16)). Is l < n?
False
Let d be 76/(-156) + (-2)/(-13). Let b(h) = 41*h + 130. Let m be b(-10). Let c = m - -280. Are c and d unequal?
True
Let j = -30 - -33. Suppose -j*i + 9*i = 6. Let u be 2 + (-1 - i - -10). Which is bigger: u or 8?
u
Suppose 0 = -525*z - 410 + 306 - 421. Are z and 7/331 unequal?
True
Let u be (9 - 0)*(5/(-18))/((-110)/33). Which is greater: u or -12?
u
Suppose -80 = 5*t + 4*l, t + 2*l = 3 - 25. Let i be 10/(-2) + t/3. Let g = i + 73/8. Which is bigger: g or 1/2?
1/2
Let s(t) = 11 - 89*t**2 + 1 + 88*t**2 - 8*t. Let b be s(-8). Suppose -b*n - 9 = -3*n. Is n greater than 1/210?
False
Suppose 0 = -7*o + 2*o. Suppose 2*x + 108 = 42. Let d be x/(-836)*(-6)/(-9). Is o != d?
True
Suppose -65 = -5*i + i - 3*j, -3*j - 55 = -2*i. Let n be ((2/(-2))/(-1))/((-404)/(-9292)). Which is bigger: i or n?
n
Let y(h) = -h**3 + 17*h**2 - 5*h - 16. Let w be y(16). Suppose 2*r + w = f, -4*f + 0 = r + 71. Does -79 = r?
True
Suppose 0 = 13300*j - 13295*j + 407 - 107. Which is smaller: -68 or j?
-68
Let v = 4197 - 33533/8. Let u = 317/56 - v. Is -11 >= u?
False
Let f = 4113 - 3420. Is -2/5 less than f?
True
Let h = 16 + -1. Suppose z - h = -2*z. Suppose -i + 3*t + 9 = -z, t + 26 = 3*i. Does i = 7?
False
Let l = -1061.4 + 1064.5. Is l <= 104?
True
Let z = 0.4895 - 0.5095. Which is smaller: -95 or z?
-95
Let c = 8.5232 + -8.57. Which is greater: c or 6?
6
Let n be (-8)/(-78)*(-1)/2. Let l(v) = -2 + 4*v + 7*v + 2*v**2 - 6 + v - 7. Let s be l(-7). Is n at most as big as s?
False
Let f = 49 + -47. Suppose -5*l + f = 7. Let q(n) = 6*n**2 - n + 1. Let x be q(l). Are 6 and x nonequal?
True
Let y = -172 - -171. Let a be (y + -3 + 0)*(11 + -12). Which is smaller: 7 or a?
a
Let c be (2256/40)/((12/(-10))/(-3)). Let f be (-3 - (-48)/15) + c/20. Which is smaller: f or 7?
7
Let n be (-9)/15 + (-3 - 5228/(-1280)). Let g = n + 1/64. Which is greater: 77 or g?
77
Let m = -3 + 171. Let y be (60/m)/((-2)/12). Is y greater than or equal to -1?
False
Let p = 65 - 62. Let q be 0 + p/3 - 2. Is 4/49 equal to q?
False
Let m = 10838.879 + -10839. Which is smaller: 5.8 or m?
m
Let j = -1696.964 - -1697. Is j equal to 7?
False
Let i = 7544 - 7545. Is 1/503 not equal to i?
True
Let r = -2861 + 2193. Which is smaller: -2673/4 or r?
-2673/4
Let x be (-4)/(-6) + 133/3. Suppose 24 = -2*r + 10*r. Suppose w + w = 4*s + 32, -r*w + 3*s + x = 0. Is w greater than or equal to 14?
True
Let z = -25761 + 25748. Let b be (-2)/(-7) - 51/7. Is z < b?
True
Let k be 816/14 - (-12)/(-42). Suppose 2 = 4*c - k. Let f be (-160)/(-24)*12/5. Are c and f nonequal?
True
Let w(h) = -6*h**3 + 21*h**2 + 18*h + 12. Let s be w(10). Is 0 smaller than s?
False
Let m = 6908 - 6088. Is 4094/5 greater than or equal to m?
False
Let h = -10 - -23. Let k = h - 47. Let p = 32 + k. Which is greater: 1 or p?
1
Let g(y) = -25 - y**3 + 572*y + 4*y**2 + 18 - 571*y. Let r = 2 + 2. Let m be g(r). Are -17/5 and m non-equal?
True
Let u = 13.8958 - -0.1042. Is 215 smaller than u?
False
Let z be (-6*(-6)/(-44))/(3 - (-2448)/(-832)). Which is greater: -15 or z?
z
Let j = -1090.7 - -1091. Is j <= 18.45?
True
Let b = -68814/5 - -13756. Which is bigger: b or -0.63?
-0.63
Suppose 2*y - 3*y + 2 = 0. Suppose -y*x - 74 = -4*a, 2*a + 4*x = 6*x + 38. Which is smaller: 147/8 or a?
a
Let v = -8.634 + 6.534. Which is bigger: -1.58 or v?
-1.58
Suppose -268*h + 20349 + 170199 = 0. Which is greater: 707 or h?
h
Let s be (-8679)/(-420) - (-9)/(-12). Let h = 39481/5 + -7872. Let w = s - h. Is -3 > w?
True
Let w(s) = -s - 99. Let n = 22 + -43. Let j be w(n). Is -79 at most as big as j?
True
Let s = 7.925 - 8.025. Is s bigger than -0.486?
True
Suppose -12 = -2*l - 10. Let c = 245.27 - 241.82. Do 