g + 8, -5*g + 7*g = -3*f - 4. Let i be (-2703)/(-6) - (f/8 - -1). Let w be (-16)/40 + ((-2013)/i)/(-11). Are -1 and w unequal?
True
Let g = -31.174 - -30.374. Which is bigger: g or 1/1823?
1/1823
Suppose -196 = 5244*q - 5272*q. Is 0.5 at most q?
True
Let r = -39890/49487673 + 4/9283. Which is greater: r or -1?
r
Let m = 4218 - 113887/27. Is -22.8 greater than or equal to m?
False
Let f = 9079 + -9102. Which is bigger: f or 60?
60
Let c be (1 + -1)/(-10 - (5 - 11)). Is -7/176 less than c?
True
Let x = 4827 - 4350. Is 479 at most x?
False
Suppose -78*y + 2280 = 11406. Which is bigger: -129 or y?
y
Let h = -12.7 + -250.3. Let j = h + 281. Which is smaller: j or 2/9?
2/9
Let q = 79.08 + -78.98. Which is smaller: q or -1292?
-1292
Let w = -142 + 156. Let r be -22 - (w/(-3) + (-4)/(-6)). Which is smaller: 3 or r?
r
Let r = -3652.94 + 3653. Which is bigger: -36 or r?
r
Suppose 6*h + 82 = g + h, 0 = 3*g - 2*h - 168. Is 23 < g?
True
Let b = 10305 + -10304.915. Let k be ((-3)/(-5))/((-15)/(-10)). Which is bigger: b or k?
k
Let l be (-771 - 47)/((-6)/(-3)). Is -0.01 at most l?
False
Let i = 28.5 + -28.4. Which is greater: i or -3582?
i
Let n be -9*(-6310)/(-1300)*4/(-6). Let d = n + -146/5. Is 1 greater than or equal to d?
True
Suppose 157*a = 82*a + 186 - 2886. Suppose 4*o + 154 + 18 = 0. Is a bigger than o?
True
Suppose -56*q = -28815 - 14025. Which is smaller: q or 763?
763
Let x(s) = -s**3 + 14*s**2 + 12*s - 10. Let j be x(15). Let b = j + 63. Let v be (3 - b)*(-2)/(-2). Is -2 at least v?
True
Let u(x) = -x**2 - 7*x + 4. Let g be u(-9). Let d be 9 + -29 - 21/(-3). Which is smaller: g or d?
g
Let v = -1122 + 1717. Let c = v - 597. Which is smaller: -14 or c?
-14
Suppose -21 = -3*j + 21. Let l = -15 + j. Let k = -2783/1729 - -31/19. Is k greater than or equal to l?
True
Suppose -5*f + 5*p + 1596 = -3634, 0 = 2*f + 3*p - 2072. Let z = f + -5378/5. Let t = z - -11429/340. Which is smaller: 1 or t?
t
Let i(j) = 5*j**2 - 15*j - 1. Let r(d) = -9*d**2 + 29*d + 2. Let h(a) = -11*i(a) - 6*r(a). Let s be h(-9). Which is smaller: s or 9/76?
s
Suppose -5*o - i + 31 - 11 = 0, 0 = -o + 2*i - 7. Let j be (-236)/(-80) - (0 + o). Let v = 1062 - 1061. Which is smaller: v or j?
j
Suppose 5*n - 250 = -0*n. Let l be 2 + (-3 + n/(-6))*9. Let q = -703/7 - l. Which is greater: q or 1?
1
Let d(s) = 4 - 9*s + 8*s**2 - 6 + 1 + s**3. Let i be d(-9). Let h be (-165945)/(-9750) - (-2 - -19). Which is greater: h or i?
h
Let x(l) = 133*l + 8. Let v be x(0). Let h = -3 + 14. Is h > v?
True
Let u be ((224/447)/(-7))/((-3)/(-9)). Which is greater: 1 or u?
1
Let b be (-9 + 16)/((-2)/(-4)). Suppose 11*w = b*w + 18. Suppose -50*a = -44*a + 36. Is w <= a?
True
Let n = -7/27 - 781/216. Suppose -5*i = -2*i + 9. Is n >= i?
False
Let s = -20.011 + 0.011. Let k = 38 + s. Let t be 11/(55/(-10)) + (-99)/(-44). Which is smaller: t or k?
t
Suppose -18*g - 4*s - 6449 = -27*g, 4*s = -5*g + 3589. Which is bigger: -3 or g?
g
Let g = 686 + -688.664. Let a = -0.064 - g. Let y = a + 1.1. Which is greater: y or 0?
y
Suppose -244*x + 148*x = -121*x + 3975. Is 114 at least as big as x?
False
Let n = -5/6 + 3/2. Let q = -605.3 - -502.3. Is n greater than q?
True
Suppose -130 = -119670*u + 119696*u. Which is greater: 44 or u?
44
Let o(d) = -8*d - 408. Let l be o(-51). Is -1/7826 less than or equal to l?
True
Let f = 1969/15 - 44879/390. Are 16 and f equal?
False
Let i = -1201 + 1201. Let t(y) = -2*y**2 + 2. Let p(s) = -s**2 + 1. Let f(r) = 5*p(r) - 3*t(r). Let o be f(-2). Which is bigger: o or i?
o
Let n be (0 - -2) + -4 - -4. Let b be 3 + n*(-4)/2. Which is smaller: b or -2/257?
b
Suppose 59*p - 665 = 54*p. Suppose 4*w - p = 2*u - 447, u - 163 = 5*w. Let l be 3/12*3/(u/6). Is l >= 1?
False
Let d(n) = 52*n**2 + 139*n + 12. Let g be d(-4). Which is smaller: 284 or g?
284
Let j = -2162540/101 - -21412. Which is bigger: 1 or j?
1
Suppose -4*k = -5*m + 17, -3*k = -3*m - 7*k + 23. Suppose -u - 3*j = -4*u + 9, -u = -m*j - 11. Is u less than or equal to -3/35?
False
Let r be (-22720)/(-48)*(-12)/8. Which is bigger: r or -711?
r
Let d be (4/24*-2)/((-2)/36). Let y be (-63)/d*(-147)/63. Which is smaller: 0 or y?
0
Suppose -4*x + 2*m = -10 - 8, -19 = 3*x + 5*m. Let s = 3 - 2.8. Let w = s - 0.21. Is x <= w?
False
Let x = -4555 - -1476. Which is smaller: x or -3078?
x
Let s = -2330 + 2331. Is s equal to 3/67?
False
Let g = -496 - -498. Let z be (g/1590)/(38/114). Which is smaller: z or 1?
z
Let l = 8314/7 + -99775/84. Is l >= -110?
True
Suppose -4*n = -c - 1, 26 = 4*c + 2*n - 6. Let i be 15 + -5 + -3 + c. Do i and 18 have the same value?
False
Suppose -12*v = 360 + 96. Suppose p = -2*b + 30, 5*b + p - 93 = -15. Suppose -4*s + 82 = -2*z + b, -3*s = 3*z + 126. Is z greater than or equal to v?
False
Suppose -20 = 5*p, -94 = 2*n + 7*p - 8*p. Suppose y = 5 - 53. Let c = n - y. Is c >= -9/8?
True
Let v = -19015/6 + 1007663/318. Which is bigger: 1 or v?
1
Let r(l) = 1577*l + 1791. Let y be r(-2). Which is smaller: y or -1367?
-1367
Let d(l) = -103*l**2 + 185*l - 184. Let v be d(1). Which is greater: -100 or v?
-100
Let s be (3/(-6))/(3/30)*6. Let x = -33 - s. Let f = x + 59. Is 55 equal to f?
False
Let g = -235702/5 + 47412. Let w = -271 + g. Is 1 at most as big as w?
False
Let r be 4/(-170) - (10 - 10). Let o = -24 - -30. Suppose 4*w + 4*g = g - 10, o = -4*w - g. Which is greater: r or w?
r
Let f = 129 + -77. Suppose 5*g - 162 = -f. Which is bigger: g or 3?
g
Let y(o) = -o**3 - o**2 + 2*o - 15. Let s be y(-5). Let k be (50/s)/((-10)/(-2)). Is 0.6 smaller than k?
False
Let v = 0.01656 - -4.98344. Which is bigger: v or 6?
6
Let k = -3 + 9. Suppose -3*v - 2*v = 4*d + k, 4*d = 5*v + 14. Let r be (4 + -4 + 0)/v. Which is bigger: -5/7 or r?
r
Let l = -4.3 + -24.7. Let s = 0.027 - -27.973. Let g = s + l. Is -20 greater than g?
False
Let z(b) = 17*b**3 + 1088*b**2 + 3*b - 160. Let r be z(-64). Let x be ((-1)/((-1)/(-353)))/1. Which is greater: r or x?
r
Let m = 60.594 + -57.5297. Let b = 0.0643 - m. Is b smaller than -3/2?
True
Let s = -26043/4 - -6557. Let m be 1630/(-8)*141/(-705). Let o = m - s. Which is greater: 1 or o?
1
Suppose -12 = -2*h + 4*l, 9*h + 58*l - 124 = 62*l. Which is bigger: h or 117?
117
Let l = -1073 + 1282. Which is smaller: l or -9?
-9
Let b be 72/32*5/((-45)/(-2))*0. Do 5/6362 and b have the same value?
False
Let v(k) = -k**2 + 19*k + 175. Let r be v(25). Is 455/19 != r?
True
Suppose -a + x - 5*x + 12631 = 0, -5*a + 63125 = 10*x. Are a and 12618 unequal?
True
Let j = 9.15 - 7.3. Let p = 0.0834 + 0.0666. Let f = j + p. Is 19 smaller than f?
False
Let d be 3/(-75)*((-6)/(-1) - 67) - -4. Which is smaller: 1 or d?
1
Let l(z) = 115*z - 302. Let h be l(-19). Which is bigger: -2488 or h?
h
Let l = 79020202816202 - 51134052262594863316/647101. Let t = l - -2/92443. Do t and -42 have the same value?
False
Let g = 9 - 25. Let n = g - -23. Let y(i) = -65*i - 196. Let q be y(-3). Which is smaller: q or n?
q
Suppose 50*c - 51*c + 15 = 0. Suppose -3*f - h + 53 = 0, -8*f - c = -9*f - 3*h. Which is smaller: -1 or f?
-1
Let x = -5 + 4. Let h = -7277 - -7312. Which is smaller: x or h?
x
Let m = -256810 - -256900. Let k = -0.2 - -0.2. Is k greater than or equal to m?
False
Let q = -50227/267494730 - -7/24918. Which is smaller: q or 1?
q
Let i = -397.153 - -0.153. Let a = 283 + i. Which is greater: 1/3 or a?
1/3
Let y(n) = -n**3 + 7*n**2 - 27*n + 131. Let q be y(5). Suppose 0 = q*s - 2547 - 3249. Let i(o) = 33*o - 6. Let d be i(4). Is d less than or equal to s?
True
Let t be 10 + -7 + (-6)/2. Let q(a) = -a**3 + a**2 - a + 24. Let v be q(t). Suppose 9*b - 199 = 8. Which is smaller: b or v?
b
Let f be 3 - ((-12)/7)/(7/49). Let o = f + -103/7. Do -59 and o have the same value?
False
Let r(l) = l - 2. Let q be r(2). Suppose q*s = -4*t + s - 84, -2*s = -2*t - 48. Let i be 70/t - (-6)/(-4). Do -21/5 and i have the same value?
False
Let z = -4.9 - 81.1. Let f = 66 + z. Let h = f - -22. Which is smaller: 1 or h?
1
Let m = 3226.05 + -3226. Is 22/21 equal to m?
False
Let s be (-9)/(3*-1) - (-33 - -7 - 3198). Which is smaller: 3229 or s?
s
Let m(j) = j**2 - 3*j - 3. Let h be m(4). Let n = 129133/77 + -8765/22. Let l = -1278 + n. Which is smaller: h or l?
l
Let r = -617.5 - -52.5. Let p = r + 584. Is p > 3?
True
Let l be (24/18)/(4*(-4)/24