2323. Let v = -8 - -8.03. Is v less than or equal to o?
False
Let q = -588 - -612. Suppose -37*c = -q*c + 39. Let g be (-54)/7 - 2/7. Which is smaller: c or g?
g
Suppose -o + 5*r - 2414 + 6977 = 0, 5*r + 18267 = 4*o. Suppose o = 29*j + 15. Which is smaller: 156 or j?
156
Let r = 528 + -915. Let b be 43/r*(2 - 0). Is b greater than -2/11?
False
Suppose 4*o - 17 = 2*u - 177, 4*o + 382 = 5*u. Suppose 3*i = 2*x + 226, u = -x + 5*i - 46. Is -110 greater than x?
False
Let s be ((-5577468)/(-210))/13 - 6/14. Which is smaller: s or 2042?
2042
Let b = 4463 + -3131. Suppose b + 246 = 6*z. Let j = 1323/5 - z. Do 3 and j have the same value?
False
Let b be (30/4 - 0)/((-13)/26). Let q be (-3 - -6)*(b/(-9))/5. Let x be (q - (-14)/(-4))*2. Which is smaller: x or -8?
-8
Let k be 12 + (-48)/18*(-8 + 11). Which is smaller: -20 or k?
-20
Let r = 8779865 - 89422925747/10185. Let x = 4/291 + r. Which is smaller: 3 or x?
x
Let q be (24/60)/(0 - 6/15). Which is smaller: 1982 or q?
q
Let s(v) = -v**3 + 2*v**2 + 16*v + 6. Let n be s(5). Suppose 0 = -3*l + 7*a - 4*a - 12, 0 = 5*l - 2*a + n. Which is bigger: l or 2/389?
2/389
Let s(o) = 2*o**2 + 8*o + 13. Let r be s(-4). Suppose -d = -7*j + 4*j + r, 2*d - j + 6 = 0. Which is smaller: 2/67 or d?
d
Let i = -5527 - -5233. Is -301 at most as big as i?
True
Let n = -449 + 463. Suppose 3*d = -4*s - 15, 2*d - 5*s + 1 - n = 0. Which is greater: -2/295 or d?
-2/295
Let s(m) = m + 2. Let h be s(2). Let b = 76816 - 537725/7. Which is bigger: h or b?
h
Let r = 10 - -19. Suppose a + 2*a - r = -4*y, 2*y - 7 = -a. Suppose a = -5*i + 5*b, 4*i + 2*b + 17 = 7*b. Are 0.1 and i equal?
False
Let r = 314 + -314.3. Suppose 456 = 5*g - 114. Let l = -2168/19 + g. Are r and l nonequal?
True
Let u = 915 - 886. Suppose 0 = l - 3*f + 12, -u*l + 26*l = f + 86. Is -282/11 != l?
True
Let o(k) = -4*k**3 + 31*k**2 + 12*k - 31. Let i be o(8). Do -2/4601 and i have different values?
True
Let a = 6 + -8. Let q = 0 - a. Let i = -313/279 - -21/31. Which is smaller: q or i?
i
Suppose -7*b = -9*b + 16. Suppose -b*g + 39 = 5*g. Suppose 63 - 6 = g*c. Are c and 19 equal?
True
Let u = 14214 + -14211. Which is greater: 0.2026 or u?
u
Let c = 29 - 28. Suppose 9 - c = -t. Let y be -2 + (-4)/(-38)*(-140)/t. Which is smaller: y or -1?
-1
Let h(k) = 5*k - 7. Let p be h(2). Suppose -p*a - 15 = -3. Let m = -25 - a. Is m greater than or equal to -22?
True
Let n = -20480 + 13823. Which is greater: n or 1/2?
1/2
Let l be ((-1420)/14)/((-18)/63). Let x = 337 - l. Is 3 > x?
True
Let n(l) = -3*l + 10. Let m(d) be the first derivative of d**2/2 - 11*d + 13. Let h(c) = 5*m(c) + 4*n(c). Let r be h(-2). Is -1/55 at least r?
True
Let x(y) be the third derivative of 25*y**4/24 + 17*y**3/6 + 17*y**2. Let u be x(-3). Let n = u - -60. Is 8/5 <= n?
True
Let y be 7 + (-19)/(22382/8226). Is y at most 1?
True
Let o be ((-1)/4)/((-3)/9). Suppose -431 + 431 = -9*b. Let s be (9/2)/(3 + b). Which is greater: s or o?
s
Let i(h) = h**3 + 3*h**2 - 11*h - 4. Let r be i(-5). Let p be (-4 + r - 1)/(2/(-8)). Let l = 16 - p. Is l greater than -5/7?
True
Let h = 19974/5 + -3991. Let v(u) = -2*u**2 - 9*u - 1. Let s be v(-4). Is s at most h?
True
Let f = -22057 + 7972. Let q = -70746/5 - f. Do q and -0.1 have the same value?
False
Let c be ((-121)/(-11) - 4)*3/7. Suppose -4*j + 21 = -s - 56, -3*j = 3. Which is smaller: c or s?
s
Let d = -540 + 540.774. Let c = d + -0.764. Which is greater: c or 28?
28
Let f be ((-75)/550)/(14/4). Suppose 0 = 5*t + 5*j + 235 - 250, 4 = 4*t + 2*j. Are f and t nonequal?
True
Let h be (-78)/18 - -3 - (-3 + 2). Is h at most as big as 629?
True
Let f be (-12)/4*(9 + 8 + -24) + -8. Is -0.0729 >= f?
False
Suppose t + 3 = -2*l + l, -l = -2*t - 15. Let p = -7 - t. Let j be ((-3)/(-2))/(12*3/(-96)). Is p > j?
True
Let j = 903 + -918.12. Let s = 0.88 - j. Let q = -10 + s. Is q <= 0.1?
False
Let c be (21/9 + -2)*(-24)/(-1). Let h be 16185/(-2314) - (1 - c). Which is smaller: 0 or h?
0
Let h = 74 + -75. Let y be (h/(-2))/(4 - (-18)/(-4)). Which is greater: y or 3.3?
3.3
Let k = -4.62 - -4.72. Suppose 0*v + 18 = 2*v. Which is greater: k or v?
v
Let x = -9709718/48987 + -66/5443. Let g = x + 198. Which is smaller: g or -3?
-3
Let f = 104344/203 + -514. Suppose -i + 4 = -2*y, -2*y = -y - 5*i + 20. Which is smaller: y or f?
y
Let v = -60.55 + 61. Let c = 0.62 - v. Let w = 0.12 - c. Is w less than or equal to 2/3?
True
Let z = 6948 - 4942. Is 3/4 at least as big as z?
False
Let p be (-110)/1*(8 + -7). Let f = 83/3 + p. Let q = f + 12097/147. Is 2/5 less than q?
False
Let z be (-126 + 129)/(1/(-16)*-35 + -2). Which is smaller: -50.4 or z?
-50.4
Let d(o) = 5*o - 13. Let a be d(5). Let u be ((-162)/a)/((-6)/(-16)). Let q be 2 - ((-11)/(-9) + 8/u). Which is smaller: -6/25 or q?
-6/25
Let k be (-4)/14 - 66/(-252). Let h be 4/(-12) + (-22)/(-63). Let m = h - 19/63. Which is greater: k or m?
k
Let n = 25888 + -26317. Is -430 smaller than n?
True
Let l = 3310 - 3289.9. Are -1/2 and l unequal?
True
Let a = 125 + -126.96. Let r = -2.56 - a. Is -9 greater than r?
False
Let f be (-5859801)/(-28)*(-10)/(-15). Let r = 139595 - f. Let a = r + -76. Which is bigger: a or 0?
0
Let g = -775 + 776. Let r be (15*g)/((-5427)/360 - -15). Is -1 at least as big as r?
True
Let g(t) = 143*t + 3966. Let y be g(-28). Which is smaller: -40 or y?
-40
Suppose -41 = -5*m + 3*w, 21 = -4*m - 5*w + 39. Suppose -m*v = 384 + 288. Which is smaller: v or -95?
v
Suppose -38*t + 39*t = -3*w - 158, 8 = -t. Is w < 56?
True
Let j(n) = -6*n + 51. Let v be j(8). Suppose 4*f = -4*d - 52, -5*d - 14 = -v*f + 43. Which is smaller: -19 or d?
-19
Suppose 471 = 4*w - 1507 - 358. Which is smaller: w or 583?
583
Let z be 1/(-142)*(438/366 + (-2 - -1)). Is z >= 1?
False
Let x be -2 + (0 - 0) + (-65524)/(-28). Let k = 2300 - x. Let d = 38 + k. Which is bigger: d or -1?
d
Suppose -2*u - 3*w = w - 2, 2*w = 2*u + 10. Suppose 0 = 2*t - 5*t - 60. Let v be 1/((-5 + 10)/t). Which is smaller: v or u?
v
Let h be (2/(-4))/((-2652)/(-1328) + -2). Let f = -1492/9 + h. Is -2/13 bigger than f?
False
Let s(r) = r**3 - 6*r**2 + 6*r - 2. Let p be s(5). Suppose 20 - 7 = 4*i - y, 0 = -5*i - p*y - 5. Let a be 0/1*i/8. Which is smaller: 1/9 or a?
a
Let h = 0.16673 + -0.12794. Do -1/3 and h have the same value?
False
Let f(x) = 6*x**3 - 4*x**2 - 9*x - 7. Let s be f(-3). Let t = s - -189. Which is bigger: t or 9?
t
Let l be 7*(-3 + 2) + 82414/11774. Is 1 at least l?
True
Let d = 2/26715 - 7349594/8905. Which is smaller: -824 or d?
d
Suppose 57*q - 36 = 51*q. Suppose u + q*u + 532 = 0. Let m = 126 + u. Is m less than or equal to 51?
True
Let t = 1078 - 1230.1. Let c = -152 - t. Do 69 and c have different values?
True
Suppose 28 = -5*k - 17. Let h(r) = r**2 + 827 + 837 - 1642 + 11*r. Let o be h(k). Is o >= 18/7?
True
Let u(n) = 11*n - 375. Let h be u(25). Is -89 != h?
True
Let z be (249/(-9))/((3/1332)/((-9)/(-18))). Is -6139 >= z?
True
Suppose 4*z - 258 = -3*v + 2*z, -4*v + 344 = -z. Let b = 49 - v. Let h = -58 - b. Is h not equal to -21?
False
Let x(l) = l**3 - 14*l**2 - 15*l + 3. Let s be x(15). Let i(p) = 2*p**2 - 3*p - 4. Let w be i(s). Suppose 18 = -w*r + 23. Which is smaller: -3/14 or r?
-3/14
Let t = 9548.94035 + 0.05965. Which is bigger: 1/4 or t?
t
Let g(f) be the second derivative of f**5/20 - 11*f**4/6 + 43*f**3/6 - 13*f**2/2 - f + 194. Let v be g(20). Is v < 45?
False
Let p = -125.63 + 126. Let v = p - 0.47. Which is greater: v or -62?
v
Let z = -0.99 + -4.06. Let i = z - -4.95. Is 16 smaller than i?
False
Let x = 31497 - 31497. Are -1/7760 and x unequal?
True
Let r(q) = q**2 - 12*q + 4. Let p be r(10). Let a(c) = 4*c + 60. Let i be a(p). Let y = -1921/744 - 4/93. Is y smaller than i?
False
Let d = 8965 + -8965.04. Which is greater: 3/5 or d?
3/5
Let y = -19.1 - 30.9. Let u = -168 + 105. Let x = y - u. Is x greater than 1?
True
Let r be (-4 + (-497)/(-35))*(-4)/6. Let b = r + 243/35. Suppose w + 3*w = 0. Is b smaller than w?
False
Let g be 8 + (-99280)/8313 + 4. Which is smaller: -1 or g?
-1
Let h = -73 + 147. Let z = 128 - h. Let x = z + -54. Is x < -2/33?
False
Suppose -3*g - 5 = -32. Let h be 2*(g/3 - 1). Suppose -h*s + 31 = -3*i, -4*i - 14 = -2*i - s. Which is smaller: i or -2?
i
Let s be (-88)/(-10) + 21/105 - 4. Suppose s*c + 2*u - 4*u - 283 = 0, 