0) - 66/24. Which is smaller: -2424 or s?
-2424
Let o = 3 + 0. Suppose 5*k = -4*h + 310 + 15, -2*k + 107 = -o*h. Suppose 122*m - 4318 - 5972 + 2726 = 0. Which is bigger: k or m?
m
Let l = -0.5807 - -116.8607. Let p = -116 + l. Is p < 2/11?
False
Let x = -1744.37 - -1744. Let w = 3 - 2.9. Which is smaller: x or w?
x
Suppose -5*z - 3 = -2*y + 1, -3*z - y = -2. Let w = -6/1025 - -2416/62525. Is z at most w?
True
Let w = -2583 - -2589. Is w >= -73?
True
Suppose -2*n - 3*g - 32 = -n, 5*g + 100 = -3*n. Suppose -y + a = -4, 0 = -4*y - 3*a + 2*a - 4. Suppose -q - 24 = 5*m + 6, y = -3*q - 5*m - 100. Is n equal to q?
True
Let a be -2 - -1 - 6/2 - 3519/(-881). Which is smaller: a or -1?
-1
Suppose 112*m - 133*m + 5208 = 0. Which is smaller: 0 or m?
0
Let f(h) = h**3 - h**2 - 3*h + 4. Let o be f(4). Let z be 510/1615 - 1546/(-38). Which is smaller: z or o?
o
Let r be 426/((-120)/270 - 7/(-36)). Which is greater: r or -1706?
r
Suppose 4*a - 11 = -5*z, 4*z - 3*a - 14 = -a. Let h be (-5324)/11690 + (-14)/35. Let l = h + -2/1169. Is z < l?
False
Let h(y) = -y**2 + 11*y - 4. Let b be h(10). Suppose 4*o - o = -b. Suppose -p + 6*p + 70 = 0. Is o at least p?
True
Let w = 45615 + -45613. Let q be (3/(-4))/(1/(-28)). Let r be 20/q - (-2)/(-7). Is w greater than r?
True
Let h be (-1 - -1)/4 - 12/(-63). Let s(n) = -n**3 + 9*n**2 - 13*n - 5. Let u be s(7). Suppose -p - v = -6 + 1, 3*p + u*v = 10. Is p bigger than h?
False
Let j = 262/177 - 1579/708. Do -207/16 and j have different values?
True
Let q(m) = m**3 + 6*m**2 + m - 25. Let h be q(-4). Suppose 5*j = 15, -2*j = -h*t + 8*t - 1. Is 7/54 at least as big as t?
True
Let p = -68384 + 68372. Suppose 9 = -m + 2. Is p at most as big as m?
True
Suppose -4*w - 4*a + 60 = 0, 0*w + 5*a - 49 = -3*w. Let d = w - 14. Suppose 56 = -26*o - 178. Which is greater: o or d?
d
Suppose 13 = 5*x - 17. Let s be 4*(-3)/(x*-2). Let k = -55 - -46. Which is bigger: k or s?
s
Let u = 16749.9 - 16750. Is u at least -28/279?
True
Suppose 32*x + 11*x = -21*x + 36*x. Which is smaller: 5/902 or x?
x
Let m = -169 + 48. Let n = m + 121. Which is greater: -75 or n?
n
Let b = -7.4 - -3.4. Let p = -0.34 + 34.34. Let m = -36 + p. Which is bigger: m or b?
m
Suppose 166 = 11*y - 868. Let d(b) = 2*b**3 + 16*b**2 - 12*b - 3. Let w be d(-8). Which is smaller: w or y?
w
Suppose 2*w = g - 14 + 3, -21 = -g + 4*w. Is 4/6973 <= g?
True
Let i be (2/4)/((-118)/(-21948)). Let q be (4/12)/((-5575)/1395 + 4). Do q and i have different values?
False
Suppose 1992 = -16*k + 28*k. Let c = k - 165. Is c at least as big as 1/283?
True
Let n be (-111)/18 + (2 - 1). Let q(x) = -705*x - 7054. Let g be q(-10). Do n and g have different values?
True
Let f(u) be the first derivative of -u**4/4 + 9*u**3 + 8*u - 92. Let a be f(27). Let w = 6 - 5.7. Is w not equal to a?
True
Let o(b) be the second derivative of -13*b**3/6 - 15*b**2/2 - 139*b. Let d be o(-4). Which is smaller: 254/7 or d?
254/7
Let x be 14/(-21) - (-28)/6. Suppose x*l - 3*t - 4 = t, -5*t = -4*l + 1. Suppose -11*s = -l*s. Is -1/4 greater than or equal to s?
False
Let q = -544 + 542. Let i be (-11 + 6 + -3)*q/(-4). Is i >= -14?
True
Let n = -14869/6 - -4955/2. Do n and -3/1939 have the same value?
False
Let m = -27485 + 34275. Is m at most 6788?
False
Let s(j) = -307*j - 109. Let z be s(6). Let y = z + 189249/97. Which is bigger: y or -2?
y
Suppose -6*y + 2*y = 6*y - 3110. Is y > 306?
True
Let k = -32196017/37014 + 5219/6. Which is greater: -1 or k?
k
Let x = -33367/2 - -1635201/98. Which is greater: x or 1?
x
Let t = 115875 + -115855. Let u = -0.96 + 1. Which is smaller: t or u?
u
Let o(d) = -d + 17. Let q be o(4). Suppose 3*t + 4*w = -q - 19, 2*w = -4. Let j be 3676/1136 + 2/t - 3. Which is bigger: -1 or j?
j
Let s = 7449/38 + 636/19. Is s at least 230?
False
Suppose 0 = -2*h + 11*h + 396. Let q = h - -37. Suppose 530*l - 533*l - 21 = 0. Is q less than l?
False
Let p(w) = 3*w**2 + 52*w - 32. Let f be p(-18). Let h be (14 - 14)/((-2)/f*-4). Is -1/118 equal to h?
False
Suppose 22*d = -281 - 511. Which is greater: d or -23?
-23
Let d = -1/2682 - 16979/18774. Let w be (-2)/(-7)*(-22)/(-4). Let v = d + w. Is v less than 13?
True
Let z = 1029 - 860.38. Let c = z + -169. Which is smaller: 0 or c?
c
Let h = -109758 + 109660.998. Let k = h + 97. Let q = k + -1.998. Is q greater than -2/3?
False
Suppose 6*u = 372 + 792. Let j = 584/3 - u. Which is bigger: j or -2/5?
j
Suppose -8*t + 35 - 3 = 0. Suppose -4*d = 5*i - 14, t*i - 187 + 177 = -3*d. Suppose 0 = 3*x - 6*x + 24. Which is smaller: d or x?
d
Suppose -t + 2 = 0, -t = -0*c + 5*c + 3. Let y be (9/273)/((-17)/((-476)/(-8))). Which is greater: y or c?
y
Let g be 60/45 + 6/9. Let i = 1836 - 23844/13. Is g at most as big as i?
False
Let m(h) = h**3 - 2*h**2 - 195*h + 4. Let x be m(-13). Which is greater: 204/41 or x?
204/41
Let d be 39/((-7644)/193900) - (-2)/7. Is -989 less than d?
False
Let d be 3/((-13)/(-3) - 4). Let n(w) = -w**3 + 6*w**2 + 29*w - 10. Let a be n(d). Which is smaller: a or 6?
6
Let g be 27*(3/(15/4) - (-1746)/(-970)). Which is greater: g or 1/28?
1/28
Let h be 1/((-3744)/(-22399)) + -6 + 0. Is 1 not equal to h?
True
Let n = -277 + 102. Let k = n - -174.92. Are k and 7 equal?
False
Suppose 5*b - 6*b = 1. Let l be (-207)/2*(-13)/429*-22. Is l at least b?
False
Let y(d) = -2*d**3 - 20*d**2 - 11. Suppose -s - s - 20 = 0. Let i be y(s). Let g = 45 + i. Is 35 < g?
False
Suppose 18 = 2*m + 42. Let k be 2/m + (-488)/(-144). Which is greater: 3 or k?
k
Let p = -7102/11 - -149131/231. Let n(l) = -l - 3. Let o be n(-4). Does p = o?
False
Suppose -3*v + 24430 = 7957. Which is smaller: 5492 or v?
v
Let t = -313 - -317. Let h be 4/((-1008)/258 + t). Is h equal to 43?
True
Let b be (1 - (1 + -2)) + (-1228)/20. Let u = 60 + b. Let v(y) = -y**3 - 4*y**2 + 6*y + 5. Let z be v(-5). Is z at least u?
False
Let n be 12/(-66) + (-21)/(-22)*-158. Let k = n - -124. Is -27 less than k?
False
Let b be (15096/726)/(-4) - -5. Is b < -0.1?
True
Let l be 2054/2 + (3 - -4). Which is smaller: l or 1032?
1032
Let m = -0.01 + -8.99. Let p be 9 + -16 - -6*52/65. Which is bigger: m or p?
p
Let y = 0.3473 + -934.3473. Which is bigger: 0 or y?
0
Let c = -0.149 - -0.349. Let y be (3/2)/(132/352) + -139. Which is smaller: y or c?
y
Suppose -5*t - 3*d + 304 = 0, 5*t - 5*d - 816 = -496. Is 83 < t?
False
Let b = 13248 + -13273. Are -71 and b equal?
False
Let s be 30/(-8) + 12/(-48). Let w be ((-2)/s)/(1/6). Suppose -w*a + 3 = -15. Which is greater: a or 27/5?
a
Let o(p) = -11*p - 32. Let n be o(-6). Let q = -29 + n. Suppose q = -2*v + 1. Is v equal to 9?
False
Let i = 0.86 + -0.899. Let m be (-2 + 3)/(4 + -7). Which is smaller: m or i?
m
Suppose -1058 = -4*r - 5*l, -2*r + r - 5*l + 257 = 0. Let t be (8 - r/30)*10/(-6). Are -13 and t equal?
False
Let z = -29 - -34. Suppose 0 = -v - 2*t + 65, 25 = z*t + 5. Is v bigger than 58?
False
Let i = -317 + 326.68. Let z = -27.68 + i. Is z < 0.01?
True
Let s be -19 + -1 + 3/3. Let j be 3/(s - -1)*3*30. Suppose 2*f - h = -15 - 18, -5*f + 5*h - 90 = 0. Is j less than f?
False
Let o = 35/3 + -589/51. Let s = -32.83 + -0.17. Let g = -33.1 - s. Does g = o?
False
Let t = -9/1586 + -2/61. Let m(v) = -v**3 - 23*v**2 + 2. Let h be m(-23). Suppose -5*y - 2*g + 2 = 0, -5 = 2*y - 3*g - h*g. Is t <= y?
True
Let r = 1/290 + 123/6380. Let j(y) = -y**2 + 4. Let a be j(-3). Let n be -2 - (a/1 + 2). Which is greater: r or n?
n
Let k = 8676 + -2758. Is 5920 at least k?
True
Let i = 48.09 - 0.09. Let f = i + -16. Let t = f - 31.988. Do t and -1 have the same value?
False
Let l be (-7 - -10) + 5 + (-500)/61. Which is smaller: 2 or l?
l
Let s = 91/12 - 52/3. Let k = -66396 + 66397. Which is greater: s or k?
k
Let l(q) = -164*q - 324. Let o be l(11). Is o less than or equal to -4253/2?
True
Suppose -2*r + 0*r = -4, 5*k = 5*r - 50. Let m = k + 80. Let v = -76 + m. Is v >= -14/5?
False
Let t = 56.241 + -53.6. Let p = t - -1.354. Let a = p + 0.005. Which is smaller: 2 or a?
2
Let y = 28666 + -30778. Is y at least -2104?
False
Let y(l) = 60*l**3 + 12 - 59*l**3 - 24*l**2 + 2*l - l. Suppose 0 = -q + 4*j + 20, -q + j = -0*j - 23. Let v be y(q). Does v = 37?
False
Let y = -3994 - -4019. Is y smaller than 1?
False
Let j be ((-1)/(-3))/(2 - 1). Let o = -177675.7 - -177670. Are j and o none