2 + 20 + 21987408/(-999438). Is u at most as big as -1?
False
Let i = 83.187 + -0.187. Let t = 48 - i. Let d = t - -34.4. Do d and -1/5 have different values?
True
Let n = -47.888 + -0.112. Let v = -47.9 - n. Let k = 5 - 5.06. Which is bigger: k or v?
v
Suppose 2*r = -13*r + 60. Suppose 6*m + 218 = r*m. Which is smaller: m or -108?
m
Let l = -898 + 831.1. Let i = 66.55 + l. Are 0.9 and i equal?
False
Let z(n) = 5*n + 4*n + 0*n + n**2 - 8*n - 3. Let p be z(0). Let l = -82/9 - -61/9. Is l != p?
True
Suppose -39*r + 34*r + 61 = g, -2*g = r - 5. Let z = -33 - -72. Let d = -25 + z. Which is bigger: d or r?
d
Let t(r) = -4*r - 15. Let m be t(-5). Suppose -m*d = -g + 4*g + 34, 4*d + 5*g = -35. Let q be (-6)/(-30) - d/(-25). Is -1/32 at most as big as q?
True
Let m = 9 + -10. Let u be 526/(-2) + (-4)/(0 - 4). Let r = u - -7072/27. Which is smaller: r or m?
m
Let i(x) = 173*x - 17. Let z be i(3). Let p = z + 2. Are p and 505 non-equal?
True
Suppose -8 = 14*a - 36. Let s be a/((-1)/3 - (-34)/(-42)). Let w = -4 + 2. Are w and s nonequal?
True
Let n be 996/(-1743) - (-40424)/(-14). Is -2889 >= n?
False
Let l = 28942 - 9982. Let j be l/210 + 2*3/(-21). Which is bigger: j or 92?
92
Suppose 49*c - 11936 - 5815 = -3884. Which is smaller: 282 or c?
282
Let c = 7849 - 14350. Is c smaller than -6501?
False
Let z be (0 - 9/12)*(23 - 31). Let r(q) = q**3 - 8*q**2 + 9*q - 2. Let n be r(z). Suppose 6 + 14 = -4*j, 39 = -3*d + 3*j. Which is smaller: d or n?
n
Let q(z) = 532*z**3 + z**2 + 3*z - 2. Let k be q(1). Suppose -4*h = 2*b + k, 0*b - 785 = 3*b + 2*h. Let j = b - -2847/11. Which is greater: j or -2/9?
j
Let b = -105 + 95. Let j be 518/10 + (-6 + 4)/b. Which is bigger: j or 49?
j
Let g = 2.326 + -2.526. Let q = 9 - 9.26. Which is greater: q or g?
g
Let c be (-12)/90*50/72. Suppose 5*g - 15 = 0, -31*g = 2*d - 33*g + 4. Which is greater: c or d?
d
Let n(s) = -26*s. Let h be n(-2). Let y(k) = 6*k**3 + 43*k**2 + 8*k + 9. Let d be y(-7). Suppose d*q - 172 = -68. Is h <= q?
True
Let t(j) = 20*j - 33. Let y be t(8). Let o = -123 + y. Let r(g) = -g + 8. Let a be r(0). Is o bigger than a?
False
Let d = 2488 - 2482. Which is greater: -314 or d?
d
Let o = 3231.7 - 3232. Are o and 253 non-equal?
True
Suppose 15147 + 9234 = 81*u. Which is greater: 281 or u?
u
Let u = 138 + -321. Let j = -75 - u. Suppose 120 - j = 2*l. Is 19/4 != l?
True
Suppose -6*g + 5*g = -492. Suppose -98*s + 95*s = -12. Let x be (g/124 - s)*-4. Which is smaller: x or 1?
x
Let z be (9*(-1)/354)/3. Do 0.4 and z have different values?
True
Let n = -57508 - -10408872/181. Is n <= 1?
True
Suppose 0 = -4*p + 245 - 225, -8*o + 3*p = 1143. Does o = 21/4?
False
Let w = -6879 - -6878.72. Is w > 10/11?
False
Let x = -955/112 - -24481/336. Let w = -45 - -109. Which is bigger: x or w?
x
Suppose 50 = -2*n + 62. Let b be 6/4*n/(-9). Let k be (-138)/195 - 2/(-5). Which is smaller: b or k?
b
Let b = 0 - -1. Let v = 3444 - 320293/93. Which is smaller: b or v?
v
Suppose -5*y + 3*y = -2. Let b = -32.8 - -24. Let r = b - 0.2. Is r at most as big as y?
True
Let a = -105 - -68. Let q = 42 + -79. Let h = 37 + q. Which is greater: a or h?
h
Let q(t) = 32*t - 799. Let f be q(25). Which is smaller: f or 11/553?
11/553
Let r = 113 - 99. Let o be r/144 - 42/189. Is o >= 9?
False
Suppose -15 = 2*n - 4*t + 41, 4*n - 4*t + 100 = 0. Let h = n + 2. Which is smaller: -61/3 or h?
-61/3
Let a be 106/(2*-2 + (-864)/(-189)). Is a less than 185?
False
Suppose -2*a - 2*p = 14, 4*a - 2*p + 0*p - 2 = 0. Let b(z) = z**3 + z + 4. Let r be b(a). Let h be ((-8)/12)/(r/(-666)). Which is greater: h or 0?
0
Suppose 3*f - 8*q + 107 = -3*q, -q = f + 41. Is -43 greater than or equal to f?
False
Let p(j) = 110*j. Suppose -4*b - 4*y = -8, -2*b + 1 = -4*y + 3*y. Let i be p(b). Suppose 6*u = u - i. Do u and -21 have the same value?
False
Let k = -9/277 - -7783/831. Which is smaller: 1 or k?
1
Let w = 3.32246 + -0.02246. Which is smaller: -2 or w?
-2
Let r = -0.031864 - -212.941864. Let i = r - -1.09. Is 1/2 greater than i?
False
Let p be -10 + 13 - ((-1 - 1) + 6). Let y be (14*p)/((-644)/184). Which is smaller: y or 70/19?
70/19
Let c = -0.081606 - -11.091806. Let u = 0.0102 - c. Which is bigger: u or 2/21?
2/21
Let h = 17.5 - 32.8. Let r = 15.2 + h. Is r less than -126?
False
Let n be (3 - 2)*(-28 - -28)*1/1. Which is smaller: 17/38 or n?
n
Let i = -388.98 - -390. Let z = -0.62 + i. Is z greater than -0.078?
True
Let w be (86 + 0)*(-8)/1152. Which is smaller: -2 or w?
-2
Let o(q) be the first derivative of -q**2/2 - 5*q - 1. Let x be -2 - 5/(-5 - -4). Let y be o(x). Is -8 equal to y?
True
Let i = 574.3 - 436.3. Which is bigger: i or 0.04?
i
Suppose 72*v - 94*v = -44. Is 21/8 less than or equal to v?
False
Suppose 0*d - c + 643 = 5*d, 0 = 5*d + 4*c - 652. Let m = -129 + d. Are m and -2/215 unequal?
True
Let l be (183/(-27) - -7)*((-9)/(-12) + -3). Is l <= -552?
False
Let h(n) = 127*n**2 + 2*n - 62*n**2 + n - 64*n**2 - 2. Let j be h(-4). Suppose -j*c + 2*z + 2*z + 2 = 0, 9 = -5*c - 4*z. Is 0.21 != c?
True
Let q = -130 - -90. Let g = 22 + q. Suppose 4*t - u + 66 = 0, 15 + 28 = -3*t + 4*u. Is t at least as big as g?
True
Let a = -23020 + 21714. Is -1307 > a?
False
Let x(j) = j**2 + 3*j + 6. Let i be x(0). Suppose 3*w = 2*n - i*n + 64, 2*w + 8 = 0. Suppose 0 = -8*t - n - 21. Which is bigger: -4 or t?
-4
Let l = 5016 + -5023. Is 195 less than l?
False
Suppose -3*f + 30 = 3*f. Suppose -2*d - z + 2*z + f = 0, 0 = 5*d - 5*z - 5. Suppose -i = 2*t + d, 3*i + 14 = -2*i - 4*t. Do 3 and i have the same value?
False
Let r = 6853.092 + -6851. Is 3 < r?
False
Suppose 0 = 3*s - 0*s. Suppose s = 4*v - 21 - 3. Let u be (-21)/9*7/(147/(-60)). Is u bigger than v?
True
Suppose -227*r - 4072 = 1471 + 586. Let w = -7.6 + -1.4. Which is smaller: r or w?
r
Let m = -316 - -255. Does -67 = m?
False
Let c(g) = -7484*g**3 - 26*g + 27. Let q be c(1). Are -7482 and q non-equal?
True
Let c be -13 + 6 + 2 - 1072. Let r = c + 70003/65. Is r < -0.6?
False
Let x = -2.92571 - -233.84871. Let m = x - 231. Which is smaller: 2 or m?
m
Let j = -638.8585 - 0.1415. Let c = j - -651.1. Which is smaller: 1 or c?
1
Let m(r) = -3*r**2 - 53*r + 215. Let p be m(37). Does p = -5855?
False
Let z(b) = -b**2 + b - 4. Let x be z(-5). Let o be ((-8)/18)/(6/450). Which is greater: o or x?
o
Let c be -2 - (-2 + 0 + -1). Suppose -3*r + 14 = -3*t + 8, 0 = -2*r - 4*t - 20. Let s be (r/4)/(189/(-216)). Is s greater than c?
False
Let u be (-28 + (-90)/15)/178. Which is smaller: 0.1 or u?
u
Let q = 336 + -327. Let n(t) = -3*t**2 + 31*t - 12. Let g be n(q). Is 22 at least as big as g?
False
Let v be ((-1)/(-10))/((-7022)/10). Which is bigger: -1 or v?
v
Let j = -74962318/35 + 2141946. Let q = -826/5 + j. Suppose 2*u + 2 = 2*v, -13 + 6 = 5*v + u. Which is smaller: v or q?
v
Let g = -32969 - -42431107/1287. Is 1 at least g?
True
Let x be (-2)/(-6) - 37/((-2331)/42). Let u = 0.8 + -11.8. Which is smaller: x or u?
u
Let f(i) = -32*i + 51. Let s be f(2). Let z = 0 + s. Let m = -15 + 2. Are z and m non-equal?
False
Let t = 6 + -8. Let x = t - -2. Suppose 1085 = -372*m + 217*m. Which is bigger: m or x?
x
Suppose -8*i = -413 - 2275. Let n be (6/(-9))/(14/i). Does -9 = n?
False
Let p = -149 + 149. Suppose 86*g - 94*g - 400 = p. Which is bigger: g or -49?
-49
Let n be 1*(-1 + 5 - 4). Suppose z = -4*q + 5*q - 3, n = 3*q + 5*z - 1. Which is smaller: q or 21/11?
21/11
Let p(d) = 3*d + 1851*d**2 - 1848*d**2 + d**3 - 3*d + 7. Suppose -3*a = 2*a + 15. Let q be p(a). Which is greater: q or 6?
q
Let f = -33.03 + 33. Let d = -7 + 20. Let g = 18 - d. Which is smaller: g or f?
f
Let d = -3968 + 3592. Which is smaller: d or -374?
d
Suppose -5*y - 20 = 2*j + 3*j, -3*j - 11 = 2*y. Suppose -19*i + 20 + 18 = 0. Let o be -1*i/3*(-12)/20. Is y >= o?
False
Suppose -5*f + 23 = -5*a - 22, 0 = 3*f - 4*a - 34. Do -197 and f have different values?
True
Suppose -c - 47 = -4*i + 97, c + 4 = 0. Let k be -1*(-6)/21 - (-865)/i. Let p be -3 + -1 + 0 + k. Is p at most 21?
True
Let i be ((1695044/111)/(-26))/((-4)/(-42)). Which is smaller: -6168 or i?
-6168
Suppose -5*v - 103 = 92. Let b = v + 9. Let t be 2592/(-1134) + 388/(-14). Is b greater than or equal to t?
True
Let h = 2 - 10. Let o(d) = -d - 14. Let a be o(h). Let p be (2*58/16)/(a/(-48)). Is 57 > p?
Fa