3968 - 72.6032. Is u < -19?
True
Suppose -13 = -v - 9. Let p be (92 + 2)*(0 + v/8). Let h = 16 - p. Is -31 greater than h?
False
Let r = 464 + -101. Let u = 364 - r. Do u and 0.8 have different values?
True
Suppose 43*c + 215 = -645. Let l = c - 21. Let d(n) = 43*n + 1. Let i be d(-1). Which is bigger: i or l?
l
Let b(h) = 39*h + 1365. Let u be b(-35). Which is bigger: 2/511 or u?
2/511
Let p be (0 + 0)*-4*7/(-112). Suppose 0*m = -2*m - i + 1, 0 = 5*m + 4*i - 7. Is p not equal to m?
True
Let a = -643/3685 + 19/67. Is -1 smaller than a?
True
Let j be (-80)/18*12/96*(-6)/47. Is j smaller than 0?
False
Suppose 5*k = k - 2*d + 58, -2*k - 1 = -5*d. Suppose 2 - k = 2*v. Which is greater: v or -6?
v
Suppose -7*r - 3 = -6*r. Let j be r*(-1)/9*0. Suppose j = 2*a + 18 - 14. Do a and -9/7 have the same value?
False
Suppose 19*o - 31*o - 5240 = -20*o. Which is bigger: o or 666?
666
Suppose 4*k + 5 = -c + 2, 0 = 4*k + 4*c + 12. Suppose 5*g + 4 = -106. Let x be g/441 + (-6)/(-54). Which is greater: x or k?
x
Let i(g) = 2*g + 101. Let w be i(-51). Let n = 1820 + -832. Let s = -10876/11 + n. Is w at least as big as s?
False
Suppose 4*a = 2*t + 20, -3*t = -12 + 30. Is a less than -4?
False
Suppose -154 + 125 = -3*x - 4*o, 3*x - o - 19 = 0. Is -14/9 bigger than x?
False
Let r = 1370 - 1369. Which is bigger: 43 or r?
43
Suppose 4*o + 0*o + 3*j = -535, -2*j = 10. Let b = 130 + o. Is b smaller than -8/7?
False
Suppose -89*y = -79*y - 20, 0 = 3*t - 3*y - 54. Which is bigger: t or 63?
63
Suppose p = -7, -217*c + 218*c + 5*p = 4022. Is 4060 smaller than c?
False
Let m = -1945.8 - -1960.8. Are 819 and m equal?
False
Let d = 59.13 + -66.13. Let f = -21 + 24.4. Let n = f - 0.4. Which is bigger: d or n?
n
Let z = 4583 + -4535. Are z and -49 equal?
False
Let u be (4/(-10))/(-1*189/(-105)). Which is greater: u or -364?
u
Let p = -17482/15 + 1164. Suppose 845*j + 2 = 843*j - 0. Which is greater: p or j?
j
Let o = 2 - 1. Let m = 2449/27 + -90. Is o at most as big as m?
False
Let t(l) = 3*l**2 + 339*l + 337. Let n be t(26). Which is smaller: 11180 or n?
n
Suppose k = -6*u + 4*u, 2*k - 5*u - 18 = 0. Let c be (-4)/26 - (k/13)/(-2). Is 1/108 less than or equal to c?
False
Let s(j) be the first derivative of -j**4/4 + 3*j**3 + 4*j**2 - 8*j - 44. Let n be s(7). Is 147 not equal to n?
True
Suppose 0 = w + 2*l + 1532, 4*w + 2*l + 6185 = 57. Which is greater: -1 or w?
-1
Let f = 4108 + -2204. Is f greater than or equal to 1904?
True
Let v be (-431)/11 + 40/220. Let l be ((-30)/(-45))/((-4)/258). Is l at most as big as v?
True
Suppose -m - 3*m + 7 = 3*y, -m = 4*y - 5. Let g be m/4 - 1386/(-56). Let o = -24 + g. Which is greater: 4 or o?
4
Let k = -0.044 - 16.056. Let j = k - -11.2. Let r = 3.9 + j. Which is bigger: r or 14?
14
Let d = 148401/5018 + -777/26. Is -1 at most as big as d?
True
Let k be 40 + (-5 - 120/(-10)). Let o be ((-435)/(-6))/(-5)*-2. Let i = k - o. Which is greater: i or 16?
i
Suppose 2742 - 787 = -38*x - 1579. Which is smaller: -91 or x?
x
Suppose -7924*t = -7909*t - 10091 - 19519. Is t at least 1975?
False
Let i(g) = -2*g + 14. Let p = 19 - 7. Let m be i(p). Let a be (-72)/60 + (-2)/m. Which is smaller: a or 2/131?
a
Let g = 96 + -136. Let k = g - -29. Let s = 14 + -13.9. Is k bigger than s?
False
Let v = 25781878/279 - 92408. Which is greater: -1 or v?
v
Let p(y) = -y**2 + 176*y + 6449. Let r be p(-30). Is r bigger than 2420/9?
True
Let p = -404.239 - -404. Let u = p - 0.961. Which is bigger: u or 14/3?
14/3
Let d be ((-3)/(-5))/(3/(-2)). Let v = 16131 - 16012. Which is bigger: v or d?
v
Let a = 177 - 172. Suppose -5*x + 31 = 76. Which is smaller: x or a?
x
Suppose 4*u = 3*l - 13640 - 7864, 5*u + 26899 = -l. Let j be u/(-55) - 1/(-5). Let b be 100/j + (8 - 9). Which is smaller: b or 0?
0
Let g be ((-28545)/(-10))/11*1/(-3). Let q = -779/9 - g. Let h be (0*(-2)/4)/(-2). Which is smaller: q or h?
q
Let v(d) = 111*d - 8291. Let m be v(5). Which is greater: m or -7734?
-7734
Let z = 0.77 + -0.87. Let n be (-1)/(1182/(-36)*2). Which is smaller: n or z?
z
Suppose 6*c - t - t + 490 = 0, -5*c + 3*t = 419. Is c at most -79?
True
Let q = -50 + 81. Let b = -41 - q. Let p = 74 + b. Is p != 1/15?
True
Suppose 40*k - 81490 = -16650. Which is smaller: 1619 or k?
1619
Suppose -9*f + 36 = 2*w - 14*f, w - 3*f - 17 = 0. Which is greater: 294/13 or w?
w
Suppose 5*z = 16*g - 117, 4*z - 5*g + 30 = 9*z. Does 2/1275 = z?
False
Let j = -82.614 - -0.014. Let i = j + 82.2. Which is bigger: i or 7/9?
7/9
Suppose -q = -3*i - 34, q + 26 = -375*i + 373*i. Let n = 4145/12 - 346. Is n < q?
False
Let s = -0.142 - 231.758. Let c = s - -232. Which is smaller: c or -0.222?
-0.222
Suppose 3*n = 5*n - 50. Let p be 7/((-7)/(-6)) - 5/(5/(-19)). Are n and p nonequal?
False
Let p = 2668 - 2812. Is p less than or equal to -1?
True
Suppose -4*c = -4*r + 4820, -2414 = 2*c + 66*r - 69*r. Which is bigger: c or -1202?
c
Let r = -253 + 195. Let q = r + 26. Are q and -36 non-equal?
True
Let d = 64 - 70. Let j be (282/(-4))/(d/12). Which is bigger: j or 142?
142
Let g = -228 - -431. Suppose 9*x - g = 2*x. Let j be (-144)/(-54)*42/4. Are x and j equal?
False
Let y(j) = 33*j + 1. Let r be y(-4). Let g = r + 64. Let a = -897.9 - -898. Which is smaller: a or g?
g
Let q = 36.92 - 38.92. Is q less than 1/181?
True
Let f = 141 + -113. Let t(a) = 14*a - 13. Let s be t(3). Which is smaller: s or f?
f
Let t = -119.5 + 14.5. Let d = t + 105.1. Suppose j + 68 = 5*j. Are d and j non-equal?
True
Let x = -6 + 3. Let v(o) = -2*o**3 - 4*o**2 - 6*o - 22. Let y be v(-4). Suppose -3*d = 8*d + y. Is x < d?
False
Let x = 3315393607227/846077761904710 + 163/357419366. Let p = -2/8735 + x. Which is smaller: p or -1?
-1
Suppose -t - 354 = 5*a, -t - t = 4*a + 282. Let v(o) = -2*o**3 + 17*o**2 + 273*o + 7. Let n be v(-8). Is a at least as big as n?
False
Let z = -12/191 + -8153/955. Suppose -11*o + 19*o = -23*o - 310. Which is smaller: z or o?
o
Suppose 4*o - 3*o + 4368 = -3*g, -4*g = 4*o + 17440. Is -4355 bigger than o?
True
Suppose 246 = 14*f - 888. Let p = -245/3 + f. Which is bigger: p or 0?
0
Let v be 707 - ((-4)/1 - (-198)/66). Which is greater: v or 716?
716
Let w be (5/10)/(54/(-132)). Let s = -1 - w. Let m = 1.2 - -0.4. Which is smaller: s or m?
s
Let n = 117 + -70. Suppose -4*h + 72 = -4*t, -5*h + 35 = -t - n. Suppose 36 = h*c - 7*c. Which is smaller: c or 1?
1
Let j(b) = 2*b**2 - 49*b + 34. Let a be j(25). Let x(i) = -3*i + 74. Let g be x(6). Which is smaller: a or g?
g
Suppose 112*v = 68*v + 65164. Which is smaller: v or 1485?
v
Suppose 0 = -2*d + l + 6 + 1, 4*d - 5*l - 29 = 0. Let m(c) = -c**2 + 10*c - 20. Let z be m(7). Let w be (z/(d + 2))/((-7)/14). Are w and -2/9 unequal?
True
Suppose -3*m + 5*m = -5*r + 14, 0 = r + 3*m - 8. Let g be ((-6)/423)/(r/((-118872)/(-3))). Let f = 281 + g. Is f <= 1?
True
Suppose 16 = 2*k - 5*q + 6*q, -2*k = -4*q + 4. Suppose -1 = k*v - 1. Suppose -3*x + 27 = -5*p, p + 10*x - 6*x - 13 = v. Is p < -3?
False
Let u = 1.8 + -1.97. Let p = -280 + 279.9. Which is greater: p or u?
p
Let j be (1/(-3)*(42 + -4131))/(-1). Which is greater: -1372 or j?
j
Suppose 20 = -5*g, -398 = 2*i - 4*i - 3*g. Let x = i - 140. Let h = 401 + -335. Is h equal to x?
False
Let y = -172178/21 + 45110/7. Let t = y - -847486/483. Which is bigger: t or -1?
t
Suppose 5*w - 12 = -4*h - 207, -3*h = 2*w + 148. Let x = 2.0326 + -0.0326. Which is smaller: h or x?
h
Let o = -209 + 189. Let p be 165/o + 4 - (-4 + 9). Are -10 and p unequal?
True
Suppose -36 + 38 = -y. Let w be (-45874*5/(-20))/(-5). Let j = w + 2291. Is y less than j?
False
Let y = 10939/11 + -878. Is y greater than 116?
True
Let o(x) = -x + 34. Let y be o(30). Suppose -4*j - 20 = -y*a, -5 = -2*j - 3*a - 0. Which is greater: -2/3 or j?
-2/3
Let k be -1 + (-3723)/(-30) + (-3)/30. Is 136 at least k?
True
Let t = -129 + 34. Let g = 93 + t. Let p(s) = s**3 - 8*s**2 - 8*s + 1. Let y be p(9). Which is bigger: g or y?
y
Let x be 84 - (-2 + 2)/((-3)/(-3)). Suppose 2*t - 254 + x = -5*d, 5*d = 0. Let k = -95 + t. Is k not equal to -7?
True
Suppose 2*r = 6*h - 462, 29*r + 2*h = 32*r + 721. Which is greater: r or -240?
-240
Let o(q) = -212*q + 2666. Let s be o(-39). Is s > 10936?
False
Let i = -14008/86839 + -2/2347. Let b(d) = d**3 + 2*d**2. Let z be b(-2). Is z bigger than i?
T