t g(f) = 583*f**2 - 37*f + 37. Let s be g(1). Let y be (-44)/s - 0/(1 - -1). Which is greater: 1 or y?
1
Let i = -21.726 - -0.426. Let d = -26.3 - i. Which is bigger: 53 or d?
53
Let r be 138/324*-26 + (-10)/(-135). Is r <= -267/23?
False
Let g be (10/175*-5)/(2/(-42)). Suppose -27 = -4*j - 7, -4*j = -3*l - 62. Let a = l - -15. Which is smaller: g or a?
a
Let y be -5 + (8595300/(-484))/7. Let x = y - -2542. Which is smaller: x or -1?
-1
Let q = -4553 - -4553. Let b be (0 - 122)/(6104/63). Let d = 5/4 + b. Which is smaller: q or d?
d
Let r be (910/3)/(10/30). Suppose -5*o = -5*y + r, 3*y - 419 - 103 = -5*o. Is y bigger than 179?
False
Let f = -9955 - -9956. Is 11/13 > f?
False
Let n(s) = -5*s - 9. Let i(b) = 11*b + 19. Let x(c) = -6*i(c) - 13*n(c). Let y be x(0). Let l be 57/9*(y - 6). Which is smaller: l or -20?
-20
Let b be (388 - 389)/((-1)/(-8729)). Which is greater: b or -8730?
b
Let k = 480.2 + -62.4. Let o = 371 - k. Let m = -11.8 - o. Which is smaller: -1 or m?
-1
Let g be ((-12)/3)/(2/(-134)). Suppose 5*b - 263 = -n, 75*n - 80*n = -5*b - 1345. Is n != g?
False
Let s = -1.47 - -16.47. Let u be 4 - (-7)/((-35)/15). Do s and u have the same value?
False
Let f = -2052678221/36032970 - -1/1201099. Let w = 2376 + -4865/2. Let g = w - f. Is 1 less than or equal to g?
False
Let m = 265973 - 265946. Let r = 78 + -53. Are r and m equal?
False
Let i = -4900 + 3840. Is 2/9 less than i?
False
Suppose -3*l + 9730 = -5*k - 222, 3*l - 3*k - 9936 = 0. Is l less than 3304?
False
Suppose -169 - 111 = -7*p. Let t = -74 - p. Which is greater: -0.3 or t?
-0.3
Suppose 0 = g + 5*t - 47, -4*g - 5*t = -g - 101. Let l be (-1)/g*(-102)/(-1615). Is l smaller than 0?
True
Suppose -y = -4*s + 7, -4*s + 14 = s - 3*y. Let i = -139/3 + 4403/96. Is s != i?
True
Let b = -2195542/227 + 9672. Which is bigger: -3/7 or b?
b
Suppose -337 = -8*z - 1833. Let q = 534 + z. Is q < 1?
False
Suppose n = -2*d + 2196, -49*d + 11016 = 5*n - 48*d. Is n less than 2204?
False
Suppose -4*u + 2568 = -3*v, -2*u = 2*v + 247 - 1531. Is u >= 643?
False
Let c(i) = -12*i**2 - 155*i + 7. Let z be c(-13). Let p be 9981/81 - z/(-27). Which is smaller: p or -1?
-1
Let m = 242/211 + -63988/6119. Which is smaller: m or -10?
-10
Let p = 95.5 - 30. Let d = p - 11.5. Let i = -50 + d. Which is bigger: 0.6 or i?
i
Let p = 8.55 - -1.55. Let m = 17.7 - p. Is 0.2 at least as big as m?
False
Suppose -14 = -5*i + 4*n, 2*n - 3 + 5 = 0. Suppose -6*d = -d - 5*p - 510, 291 = 3*d + i*p. Are 98 and d non-equal?
True
Suppose 92 = -v - 4*r - 16, -r = -4*v - 449. Let z = 78438 + -942601/12. Let y = v - z. Which is smaller: -1 or y?
-1
Let p be (-217)/177 - (475/57 - 8). Is p < -1?
True
Let u = 498 - 497. Let i = -15 + 35. Is u >= i?
False
Suppose 3*f - 3*g = -39, -59*g + 55*g = f - 2. Let v(u) = -2*u**2 - 25*u - 4. Let z be v(f). Which is bigger: z or 492/11?
z
Let l be ((-18)/(-45))/(1 - (-27)/(-30)). Suppose l*a - 188 = -3*r, r + 110 = 3*r - 5*a. Are r and 59 non-equal?
True
Let d be (-210 - -208) + (-2 - -5). Are 9/106 and d equal?
False
Let m = -33.72 - -33.9. Let y = -0.08 + m. Which is smaller: y or -0.0094?
-0.0094
Let g(m) = 21*m**2 + 107*m + 10. Let n be g(-5). Suppose n = i - 34 + 33. Which is greater: i or 1/377?
i
Let v = 4.878 + -5.74. Let l = 0.148 - v. Let h = l - 0.66. Which is bigger: -1/3 or h?
h
Let j = -1468 + 1457. Which is bigger: j or -192/19?
-192/19
Let o = -2276 + 2275. Does o = -2/2803?
False
Let m(c) = -3*c - 49. Let q be m(-17). Suppose 0 = 4*k + j - 19 - q, -2*j = -3*k + 24. Let r be -3 + 5/3 - k/9. Which is smaller: r or -4/7?
r
Let k = 8443 + -8600. Which is greater: k or -9?
-9
Let h = 2746 + -13728/5. Do 255 and h have the same value?
False
Suppose 62 - 17 = 9*t. Suppose -t - 47 = 52*l. Is l > -17/7?
True
Let d be ((-936)/(-65))/12 + (-264)/(-30). Is d at most 2/257?
False
Suppose -q = -2*t - 137, -21*t - 3*q = -25*t - 277. Let x be (-5)/t*(-1)/(-10). Is x <= -1?
False
Let k(v) = -12*v + 16. Let g be k(-7). Let a be g/(-60) + 2/3. Is a > 36?
False
Let c be 47/376 - 93/40. Suppose -2*j - 66 = -j. Let p = 63 + j. Which is bigger: p or c?
c
Let b(t) = 11*t - 38. Let v be b(4). Let m be 1 + 4 + (1 - v). Which is greater: m or 1?
1
Suppose -83*c - 4592 = 803. Do -64 and c have the same value?
False
Let i be (-18)/(-8)*(-920)/(-15387). Which is smaller: -1 or i?
-1
Let r be (-10)/4 + 14/4 + -108. Let m = r - -427/4. Is 1/9 at least m?
True
Suppose 3*t + 0*t + 4*g = 1882, -3*g + 1887 = 3*t. Let h be (12/10)/6 - t/(-5). Which is greater: 128 or h?
128
Suppose 0 = -1078*w + 1085*w. Do 2/421 and w have the same value?
False
Suppose 0 = -5*c + o + 269 + 67, -5*o = -c + 96. Let r = 74 + -9. Is r at least c?
False
Let p = 32 - 26. Suppose -4*f - 22 + p = 0, -q = -4*f - 15. Let k be (-21)/14 + 3 - 58/4. Which is bigger: q or k?
q
Let y = -5092/9 + 16498/9. Do 1267 and y have the same value?
False
Let w(y) = 2*y**3 + 71*y**2 + 34*y - 34. Let h be w(-35). Let r be (-13)/1384*-303 - 1. Let x = 5/173 + r. Which is greater: x or h?
x
Let c = 25597/7 - 3667. Let z = -374/35 - c. Suppose 16 = -s - s. Which is smaller: z or s?
s
Let d(n) = -8*n + 9. Let t(c) = -5*c + 5. Let h(f) = -3*d(f) + 5*t(f). Let v be h(14). Is v greater than -20?
True
Suppose 6 = 7*r - 1. Let l be (-13 + 1)*r/(-2) + -1. Suppose 0 = y + l*w + 18, 3*w - 7*w = 0. Are -18 and y non-equal?
False
Suppose -726*b + 722*b = -4. Let r = -435/2 + 7461/34. Which is greater: r or b?
r
Let t = 1 - 1.1. Let b = -11.348 - -0.148. Let g = b + -4.8. Which is smaller: t or g?
g
Let q = 1938 - 1948. Let r = 4 + -1. Let c = -5 - r. Which is bigger: c or q?
c
Let i(x) = -5*x**2 - 208*x - 16. Let f be i(8). Which is smaller: 2 or f?
f
Let h be (((-2)/74)/((-1)/(-2)))/((-104)/48). Which is bigger: h or 1?
1
Let q be ((-2)/(-9))/1 + 352/36. Let u = q + -7. Suppose 5*s + 2 - 1 = 3*x, 13 = 4*x + 5*s. Which is bigger: u or x?
u
Let m = -0.9 + 0.88. Let o = 119.9 + -112. Let c = 11.9 - o. Are c and m unequal?
True
Let j be (-17)/((-22491)/(-8136)) - -6. Is j at most -1?
False
Let j = -4.4 - -28.4. Let w(a) = -30*a - 6. Let f be w(-1). Let y be (f/(-15))/4 - (-24)/35. Is j at most as big as y?
False
Let r = -691 + 1241. Let n = -336959.9 + 336960. Is r bigger than n?
True
Let v be 2/(-1261)*(-2873)/884. Which is smaller: 0 or v?
0
Let s be ((-177)/(-15) - 1)/(21/570). Let d = -17894/63 + s. Is d less than or equal to 8?
False
Let t = -1108 - -1091.355. Let l = -0.545 - t. Is l greater than or equal to 1?
True
Suppose 7*a - 8 = 3*a. Let j be a/(-11) + (-2259)/99. Let o(x) = -13*x + 5. Let d be o(2). Is j greater than d?
False
Let d = 199.925 + -200. Let j = -0.075 - d. Is j less than or equal to 10?
True
Suppose 6 = -0*v - v. Let t = 62875 + -565928/9. Which is smaller: t or v?
v
Let m be (21/35518)/((-18)/(-3800)). Let j = m + -2/2537. Let a = 396/43 + j. Is 10 at least as big as a?
True
Let q be ((-181)/6516)/((-2)/(16/11) - -1). Let z = 15/4 + -13/4. Which is smaller: z or q?
q
Let m be (-5 - 285/35)*-67*(-7)/(-28). Which is smaller: m or 219?
219
Let i = 1/67144 + -12525/21284648. Is i at most as big as 0?
True
Let l = -997 - -887. Do l and 29 have the same value?
False
Let u(x) = -8*x - 381. Let d be u(-16). Which is smaller: -255 or d?
-255
Let w be (15/5 - 2*19)*-11. Let h be (3/9*3)/((-7)/w). Let u = h + 61. Which is smaller: 44/9 or u?
44/9
Let p = -23456 + 21426. Which is bigger: -0.2 or p?
-0.2
Suppose -19*r = -12*r - 14. Suppose 4*k + 5*x + 90 = -68, r*k + 86 = x. Let u = k - -28. Is u bigger than 1?
False
Let m be (-9)/(-3) + -12 - -9. Does m = -2/47?
False
Let x be (-16)/(-12) + 1672/(-12). Let u = -134 - x. Suppose 5*g - 40 = 5*k, -k - u*g - 25 = -2. Which is smaller: -56/5 or k?
-56/5
Let b = 47033381/172711 - -8274/2243. Let k = 276 - b. Suppose -10*t + 9*t = 5*w + 20, 0 = -3*t + 5*w + 20. Which is smaller: t or k?
k
Suppose 0 = 2*c - 3*c - 718. Let h = -6454/9 - c. Suppose 2*x + 5*u = -10, x + 3 - 1 = -u. Which is bigger: x or h?
h
Let i(k) be the third derivative of k**5/60 - k**4/6 - 2*k**3/3 + 21*k**2. Let q be i(6). Suppose 0 = -q*n + 3*n + 105. Is 41/2 at least n?
False
Let n(h) = h + 1. Let k be n(0). Which is bigger: -53/129 or k?
k
Let h = 1710 + -1709. Let l be ((-28)/(-15) + -2)*(-60)/35. Which is bigger: l or h?
h
Let g = -45 - 7. L