- 1207.1. Which is greater: -2/113 or g?
-2/113
Let k = -25.4 - -37.3. Let f = k + -12.2. Which is greater: 0.01 or f?
0.01
Let o be ((-10)/4)/(22/(-1848)). Suppose 2*h + o = 314. Which is bigger: 51 or h?
h
Suppose 0 = -23*z + 18*z + 2*k + 54794, -2*z + 5*k + 21947 = 0. Is 10957 <= z?
False
Let u = -12557 - -12582. Which is greater: 6/113 or u?
u
Let h = -1032.5471 - 0.4529. Are 5 and h nonequal?
True
Let l be -5*3 - (3 - 7 - -4). Let v = 17 + l. Suppose v*o = 16 + 2. Which is smaller: o or 8?
8
Let x be (-12)/(-2) + (-2 - (-10 + 46)). Let m(f) = -f**2 - 7*f + 10. Let h be m(-11). Which is smaller: x or h?
h
Let f = -518/51 + -20/17. Let w be (-114)/9 - 58/(-87). Which is smaller: w or f?
w
Let k = -44.8 + 39.7. Does k = -0.3?
False
Suppose -14*m + 16*m - h + 4 = 0, -2*h = -5*m - 11. Let k be 50/100 + 2/m. Which is smaller: k or 3/29?
k
Suppose -4*j + 0*j + 4*q = -12, -5*j - 1 = -q. Let o be (-40)/(-22) + (-2)/j + -4. Let r be ((-1)/1 - 2) + -1. Which is smaller: r or o?
r
Suppose -376*n + 981 + 295 = -420*n. Let a = -57196/7 - -8143. Which is greater: n or a?
a
Let z(f) = f**3 - 14*f**2 - 4*f + 19. Let s(t) = -t - 1. Let j(g) = -6*s(g) + z(g). Let v be j(14). Let r be (-15)/15 + 51/v. Is r at most 1?
True
Let m = -16.6 + 0.27. Let k = m + -0.67. Which is greater: k or 2/15?
2/15
Let u = -3101/6 + 1411411/2730. Let o = 3/91 + u. Is o at most as big as 0.1?
False
Let s = 234/445 - -24917/3560. Let t = s + -15/2. Is 1 smaller than t?
False
Suppose 3*f - 20*z + 16*z - 7 = 0, 2*z + 1 = -f. Do 1/4005 and f have different values?
True
Let l = 47 - 71. Let i = l + 48. Let q = i - 23. Which is smaller: -2 or q?
-2
Let v = 1457.7 + -1561.7. Is 13 > v?
True
Suppose 4*s - 81*t + 22 = -79*t, 2*t = 18. Suppose -2*f + 3*f - 224 = 2*k, 4*k - 4*f + 452 = 0. Let x be 6/(-30) - k/505. Which is smaller: x or s?
s
Let o = 299.2 + -297. Which is smaller: o or 26?
o
Let z = 4830.1 + -4829. Which is smaller: z or -2/9?
-2/9
Let w(f) = -52*f**2 - f + 16. Let m be w(3). Let q = m - -454. Is 37 <= q?
False
Suppose -156 + 0 = -4*n. Let x be 2*1 - n/(11 + 2). Do x and 1/515 have the same value?
False
Let s(v) = 20*v + 20. Let n be s(-11). Let j = 401 + n. Is 202 greater than or equal to j?
True
Let v = -387.6 - -330.6. Which is smaller: 0 or v?
v
Let o = -0.17 + -9.83. Let y = 12 + o. Let d = -0.1592 + -0.0408. Which is smaller: y or d?
d
Let t = -1034 - -405. Let k = 601 + t. Which is smaller: 3 or k?
k
Let j(m) = -18*m + 7. Suppose -5*a + 3 = -0*a + i, -2*a - 3*i = 4. Let p be j(a). Let d(r) = -4*r + 6. Let y be d(4). Which is bigger: y or p?
y
Suppose -15*h = -14*h - 3. Let b be (-2 + h/6)*(-20)/(-45). Which is greater: -0.0535 or b?
-0.0535
Suppose -95 = 5*k + 5*l, -4*k - 108*l = -110*l + 106. Suppose 0 = 8*v - 11*v - 12. Is k < v?
True
Let z be ((-6)/5988)/((-22)/(-65934)) - 1*-3. Are -1 and z unequal?
True
Suppose 43*i - 20 = 41*i. Are -101 and i equal?
False
Let i(m) = -4*m - 3. Let q be i(-6). Suppose -4*s - 2*v = -394, 84*v = 2*s + 80*v - 202. Suppose -4*z - z + k - s = 0, -k = z + q. Which is smaller: z or -19?
z
Let i = -9414/13 - -724. Let k = -150 + 42. Does i = k?
False
Let t = 2.82 + -3.04. Let c = 40.958 - 41. Let q = -0.058 + c. Is q bigger than t?
True
Let t(k) = -k**2 + 9*k + 353. Let b be t(24). Are 390 and b non-equal?
True
Let a be 462/5 - (70/25)/7. Suppose -70 - a = 3*l. Suppose -4*d + 212 = -8*d. Which is smaller: l or d?
l
Let r = -3/310 + -9/31. Let j = 2/1217 + -4898/18255. Let g = r - j. Is 1 at least as big as g?
True
Suppose 2*f = 5*h - 2131, h - 151*f = -147*f + 455. Which is smaller: 1695/4 or h?
h
Let t = 2058 - 20559/10. Let o = -43668 - -3056633/70. Let q = o + t. Is q at most as big as 19?
True
Let d = -37 + 23. Let z be (-4*(-7)/d)/((-6)/(-21)). Are -6 and z nonequal?
True
Let b = 27.6 + 3.4. Which is smaller: b or -25?
-25
Let l be (-12)/5*65/(-39)*-10. Let g be (-1814)/(-10) + 7 + 256/l. Does g = -0.2?
False
Let g = 202.02 + 33.98. Which is smaller: g or 0.3?
0.3
Let z(y) = -10*y + y**2 - 7*y - 7*y + 16*y + 4. Let t be z(7). Let a be (-1)/(-42)*(t + 11). Is -1 not equal to a?
True
Let f be ((-1)/2)/((-4)/(-1824)*-4). Let u = f + 27. Is 87 smaller than u?
False
Let p = -230.5 + 230.6. Is p less than or equal to 894?
True
Let u = 30.27 - 30.37. Are 3125 and u non-equal?
True
Let n(p) = 159*p + 33. Let x be n(-3). Let b = x - -269. Is b bigger than -175?
False
Let c = 5 + -8. Let t = 108 + -108. Suppose -p = 13 - t. Are p and c equal?
False
Let n = 4568 + -4117. Is 6 bigger than n?
False
Let w = -81 + 84. Suppose 5*c = s - 5*s - 5, 0 = w*s + 2*c + 9. Which is bigger: s or -3/4?
-3/4
Let y(h) = 246*h - 11797. Let m be y(48). Which is bigger: -239 or m?
m
Suppose -76876 = 81*c - 7*c - 222730. Which is bigger: 0.2 or c?
c
Suppose -263*h - 2417 = 30915 - 3613. Is -30 less than or equal to h?
False
Suppose -4*v = -2*q - 3206, -2*q = -q + 1. Let w = 1603/2 - v. Let o = 2.3 - 2.331. Is w bigger than o?
True
Let j be -3*(-21)/(819/(-65)). Let p(c) = -3*c + 6. Let n = 3 - -1. Let i be p(n). Which is smaller: i or j?
i
Let g = -79/8 - -81/8. Let a = -86 - -61. Let m be a/44 + 72/96. Which is greater: g or m?
g
Let l(j) = 5*j + 21. Let a be l(0). Let k = a + -11. Suppose -6*q = -k*q - 152. Which is bigger: q or -39?
q
Let p be 17/21 - (-2)/(-2). Let s be ((-21)/56)/((-19)/(608/12)). Which is smaller: s or p?
p
Suppose 33*j - 60*j = -135. Let r be 8*(-9)/(-1534 - j). Is -1 <= r?
True
Let u = 1628 + -1630. Which is greater: 25.8 or u?
25.8
Let w be -2*(-5)/115 + 13005/(-115). Suppose 2*o + 10 = 0, -2*d + 5*o + 53 - 256 = 0. Is d greater than w?
False
Let c be (-676)/(-3) + (-13)/39. Suppose 3*s - 87 = c. Let p = s + -3433/33. Is -1 > p?
False
Let z = -18887 + 21417. Which is greater: 2528 or z?
z
Let f = -11417 - -365361/32. Which is smaller: 0 or f?
0
Let y be (1 + -74 + 91)*(-8)/3. Suppose 4*q - 147 - 13 = 0. Let r = q - 88. Is y <= r?
True
Let p(m) = m**3 + 9*m**2 + 74*m - 441. Let w be p(5). Which is greater: -4/9 or w?
w
Let i = 182 - 754. Let r be 496/13 - (-88)/i. Does 40 = r?
False
Suppose -2*a + 7380 = 8*a. Let t be ((-8)/(-78))/((-12)/a). Which is bigger: -7 or t?
t
Let s be -8 - ((-2411364)/289368 - 5/(-15)). Is 0 <= s?
False
Suppose -11*c - 492 = 14. Let r = 52 + c. Suppose -2*l - 8 = -r*l. Is l less than 2?
False
Let q(g) be the second derivative of -g**4/24 - 4*g**3/3 - 9*g**2/2 - 3*g. Let f(t) be the first derivative of q(t). Let o be f(6). Is -14 >= o?
True
Let h = 43 + -23. Suppose 5*m + 7*x = 2*x + h, 3*x + 44 = 4*m. Suppose 0 = -m*g + 16*g. Which is bigger: 1 or g?
1
Suppose 25*g - 24*g = 34. Let d = g + -37. Let z = 1 + d. Which is bigger: z or -12/23?
-12/23
Let k(u) = u**2 - 6*u + 10. Let q be k(4). Is -0.22 equal to q?
False
Let c = 13272/781 - 1038358/639. Suppose a = -0*a - 1608. Let b = a - c. Is -2/3 greater than or equal to b?
False
Let b(u) = u**3 - 3*u**2 + 6*u - 7. Let q be b(3). Suppose m = -3*z + 5, 4*z = m - z + q. Let w = 1/933 + -3113/2799. Which is bigger: w or m?
m
Suppose 9*f + 93 = 129. Suppose 5*v + 5 = -3*j, f = -4*v - 0*j - j. Which is smaller: -10/37 or v?
v
Let f = 1/8054646 + -2561379727/18517631154. Let l be (4/(-121))/((-2)/(-2)). Let g = l - f. Which is smaller: g or -1?
-1
Let u(j) = -23 - 3 - 7 - 6*j + 5*j. Let z be u(11). Let i be z/55*30/(-4). Is 8 equal to i?
False
Let b be ((-1)/33)/(20/6). Let m = -624186083/770 + 810631. Let n = b + m. Which is smaller: -1 or n?
-1
Suppose 0 = -3*z - 4*p + 127, 78 - 40 = z - 3*p. Are 22 and z nonequal?
True
Let r(v) = 23*v + 686. Let t be r(-9). Which is greater: 480 or t?
480
Let q(g) = -5*g**3 + 21*g**2 - 37*g - 68. Let h(b) = -6*b**3 + 21*b**2 - 35*b - 68. Let x(r) = -6*h(r) + 7*q(r). Let o be x(-23). Which is smaller: 3 or o?
o
Let x(m) = 4*m - 42. Let t = -42 - -54. Let u be x(t). Are u and 5 nonequal?
True
Let m = -54.64 - -54.76. Which is smaller: 140 or m?
m
Let c = 131.09 - -2577.91. Which is smaller: c or 0.1?
0.1
Let o = 17649 - 17648.86. Which is smaller: o or 218/7?
o
Let n = 3924 - 3946. Is 3.2 greater than or equal to n?
True
Let n = -7355/19 + 387. Let y = 0.1003 + -0.3003. Is y bigger than n?
False
Let o(t) = -3*t - 15. Let i be o(-10). Let b = -3 - -3. Suppose 4*c + k - 61 = b, -2*c = -k - 3*k - 26. Is i less than or equal to c?
True
