n -6?
False
Let u be 12/(-20)*(-270)/35664*-4. Are 1 and u equal?
False
Let c(o) = 30485*o + 152309. Let h be c(-5). Let r(k) = k**3 - 9*k**2 - 3*k + 1. Let y be r(5). Is y > h?
True
Let h be (14/4)/(13/26). Let u = -25 + 42. Let w = -16.8 + u. Which is greater: h or w?
h
Let m be 48/(-9) - (-2 - -3). Let y = -158 - -213. Suppose 6*u + y - 25 = 0. Which is smaller: m or u?
m
Suppose 5*z - 295 = 110. Let f(i) = -i**3 - 14*i**2 - 1318*i + 80. Let x be f(0). Is x bigger than z?
False
Suppose 3*l + 20 + 7 = 0. Let r be (-2)/(-1) + ((-70)/6 - l). Which is smaller: r or 47?
r
Let j = 14950 + -15143. Is -42 > j?
True
Let a(g) = -33*g**3 + 2*g**2 - 3*g + 1. Let u be a(1). Let y(x) = -33*x**3 + 11*x**2 - 20*x + 8. Let i be y(1). Are i and u unequal?
True
Let g be (-57*(-64)/(-288))/((-2)/(-27*8)). Are g and -1373 nonequal?
True
Let t = 8350 - 8443. Which is greater: -19 or t?
-19
Let i be (2003/(-392)*6)/((-33)/1452). Let o = i - 1349. Which is greater: 0 or o?
0
Let q = 15215 + -15259. Which is greater: q or -96?
q
Let l = 1595 + -1598. Suppose 2*s - 6*s = 4. Let i be s/(-1 - (-2)/(-3)*l). Is i not equal to 1/49?
True
Let d be (-43 + 49)*(-3)/(-6) + (-754)/279. Is d smaller than 0?
False
Suppose 6*s - 2*s = 44. Let i(k) = -3*k + k - s + 6. Let h be i(-3). Which is bigger: -5/16 or h?
h
Let w(p) = -7*p + 30. Let f be w(4). Let d be ((-10)/f)/5*36. Is -3 at least d?
True
Let f = -48.9 - -28.9. Which is smaller: 0.12 or f?
f
Suppose 10*o = -8*o + 36. Let a = 9/8 - 3/8. Which is greater: a or o?
o
Let b be (1281/(-49))/((-12)/357). Let o = 783 - b. Let w = o - 67/12. Which is smaller: w or -3.5?
-3.5
Let b(m) = -1 - 2 + 0 + 7*m - 3 - 10. Let k be b(2). Is -6/11 != k?
True
Let p(y) = -y**2 + 10*y - 14. Let v be p(2). Suppose 3*q = o + q - 5, v*q = 4*o - 8. Do o and 29/8 have different values?
True
Let a = 9 + -4. Let j = -567 - -548. Let q(l) = -3*l - 51. Let x be q(j). Are a and x nonequal?
True
Let r be (-2 - 2)*((-3283)/546 - -6). Let o be (1*2)/(39/(-12)). Let m = r - o. Is m equal to 0.12?
False
Suppose -2*q + 16646 = -31*q. Let f = q + 577. Which is smaller: -5/2 or f?
-5/2
Let n be (50 + -23 - -15)/((-94)/(-26) - 0). Is n >= 11?
True
Let b be (33/77)/(4/28). Let g be b/(18/4) + 1106/105. Which is bigger: g or 12?
12
Let g be 6 + (9 - 21) - (-17)/1. Suppose -5*h - 4*a - 26 = -15, 3*a + g = -h. Let j = -1367/217 - -45/7. Which is greater: j or h?
h
Suppose 2148 = r - 5*r. Let x = r + 536. Is 14/103 > x?
True
Let h be ((-69 - -32) + 31)*(2 + (-15)/(-2)). Is h bigger than -756/13?
True
Let z(a) = -a**2 - 7*a + 6. Let h be z(-7). Suppose 0 = -2*c + 2*o + h - 0, 12 = -3*o. Let u be (-2)/(-8) + (-294)/600. Is u smaller than c?
False
Let c = -4.13 - -17.59. Let j = 60.46 + -61. Let z = c - j. Which is bigger: z or -1/2?
z
Let q = 58 - 42. Suppose -13*y + 5*y = -q. Suppose -y = 13*o + 11. Which is smaller: -6/5 or o?
-6/5
Suppose -5*w = -4*l - 131, 0 = 3*w + 4*l - 83 - 2. Suppose 28*d = -d. Suppose d = 14*f - 36*f + 550. Are f and w equal?
False
Let o = -3139 + 3141. Do 433 and o have different values?
True
Suppose -15 = -4*t - 3*r, -2*t - t - 5 = -r. Let h be 1 + (2 - t - -2). Suppose 4*l = -3*x - 5, -l + 5*x - 7*x = h. Is l bigger than 2/65?
True
Suppose 66 - 166 = -5*t. Let q be t/(-200)*5/(-1). Which is bigger: q or -7?
q
Let a(h) = 6*h**2 + 4*h. Suppose 2*w - 4*q = 0, 5*w + q - 4 = -15. Let b be a(w). Is 11 at most as big as b?
True
Let d be 4466/28 + (-18)/48*-4. Let m(y) = 19*y**2 - 4*y + 1. Let g be m(3). Is g greater than or equal to d?
False
Suppose -5*t = 2*n - 933 + 305, 0 = 2*n + 12. Let y be -2 + (2 - 1796/(-14)). Let h = y - t. Is -73 equal to h?
False
Let s = -858 + 3431/4. Is s at most 2684?
True
Let g be ((-1)/(-2))/(89/(-356))*(-2)/158. Which is bigger: -52/3 or g?
g
Let l be (23/(-13 - -282637))/(3/(-4)). Is 1/3 less than or equal to l?
False
Let k = -271 + 274. Suppose -4*p = -5*p + 4*f - 8, -k*f + 6 = 5*p. Is -19 != p?
True
Let n = -5.2883 - -0.2883. Is n > 148?
False
Let r = -2.5884 - 0.4116. Which is greater: 0.256 or r?
0.256
Suppose -2*h + 3 = -5*h. Suppose -3*l = -7*l + 40. Let v = -12 + l. Which is greater: v or h?
h
Let t(j) = 2*j**3 + 44*j**2 + 189*j - 10. Let r be t(-4). Let i = 25 + -215. Is r greater than i?
False
Let z be 4 + 57/38 + 1/(-2). Suppose -4*f - 20 = r, -z*f = 2*r + 18 + 19. Are -1/4 and r nonequal?
True
Let o = 43 - 13. Let g be 8/22*(-135)/o. Suppose -2*c + 10 = 0, 8*c + 29 = -2*u + 13*c. Which is greater: u or g?
g
Let q = 69 + -116. Let t = 75 - 36. Let p = t + q. Is 1 smaller than p?
False
Suppose 0*b - 1374 = 2*b. Let q = -461 - b. Which is smaller: q or 225?
225
Let b be (-10 + (5 - (-168)/36))*-3. Which is smaller: 2/72879 or b?
2/72879
Let c be (8/(-10))/(779/410) + -7. Which is smaller: -6 or c?
c
Let d be 362/(-120) + 7 - 18/(-24). Which is greater: d or 4?
d
Let a(y) = 29*y**2 - 4*y + 4. Let o be a(-8). Let z = o + -247851/131. Which is greater: z or 1?
1
Suppose -21*u + 14942 = 93146. Which is greater: -3725 or u?
u
Let a(v) = 2*v**2 + 161*v - 132. Let q be a(-82). Let l(t) = 37*t + 3. Let m be l(3). Is m bigger than q?
False
Let n = 46.1 - 64.3. Let w = n + 18.28. Which is greater: w or 6?
6
Let d(v) = -v + 2. Let b be d(4). Suppose 26*j - 24*j - 242 = 0. Let c be 22/j + (3 - 2885/440). Which is smaller: c or b?
c
Let i = -348.1 + 353.1. Is i greater than 31?
False
Let z be (-25)/(-26) - ((-7)/(-6))/((-77)/(-22)). Which is smaller: z or 2?
z
Let i(c) = -c**3 + 21*c**2 - 10*c + 4. Suppose -4*z = j - 87, z + 0*j - 2*j - 15 = 0. Let w be i(z). Which is bigger: w or -205?
-205
Let d(i) = -90*i + 461. Let a be d(5). Let u be 912/7 - (-2)/(-7). Let w be 1476/u - 2/13. Is w >= a?
True
Suppose -r - 8804 = -52619. Let x = r - 1226677/28. Let s = -27/7 + x. Which is smaller: 1 or s?
1
Let v = 3149/6 + -1378/3. Which is smaller: v or -0.48?
-0.48
Let u = -24259 + 23385691/964. Is 1 greater than or equal to u?
True
Let g be 9/(-24) + (-27)/(-8). Suppose -4*n + 7 = -g*j, -5 = -3*j - 4*n - 4. Is j <= -1/48?
True
Let g = -7322 + 7293. Is -0.065 < g?
False
Let v = 4/95 + 3/19. Let s be 0 + 1*(-4 - -5). Let o be (s/((-15)/(-10)))/2. Is o at most as big as v?
False
Let f(r) = 2*r**2 + 2*r + 49. Let b = -78 + 78. Let i be f(b). Is 53 < i?
False
Let r = 6.409 - 6.309. Let u = -121 + 61. Which is bigger: r or u?
r
Let j be (-2)/8 - (-926595)/(-276). Let r = j + 3358. Which is bigger: 0 or r?
r
Let p = -3994/3 - -1307. Let n = -7582 - -7558. Which is smaller: p or n?
p
Suppose 552*o - 551*o + 4*b + 19 = 0, -b = -4*o + 9. Let j be (4/30)/(50/(-12)). Which is bigger: o or j?
o
Suppose 3*j = 2*j + 5. Suppose -114 = -j*p + 3*p. Let n be (-225869)/(-4018) - (-24)/(-112). Do n and p have the same value?
False
Suppose -5*r - i = 1368, 11*r = 8*r - 3*i - 828. Which is smaller: r or -8?
r
Let j be 1575/420*(-16)/(-10). Suppose -4*k - j = 2*d, -2*k + 3*d - 44 = -61. Let w = -90217/84 - -1074. Is w != k?
True
Let g = -443 - -442.97. Which is smaller: -58.8 or g?
-58.8
Let r be 54/46*(51*173)/(-3). Let v = r - -3454. Let x = v - 775/207. Which is bigger: -1 or x?
-1
Suppose 0 = -4*a - 2*a + 36. Suppose 3*l - a*l + 15 = 0. Suppose -120 = l*w - 430. Is 61 less than or equal to w?
True
Let q = 617/63602711433671 - 233183046965710129651193/311642155550487007575. Let w = q - 50/195993. Let z = -748 - w. Which is greater: 0 or z?
z
Let s = -1.3471 - 1.6529. Let m = 0.1 - 0.7. Is s != m?
True
Suppose 7*a + 4*a = 495. Let r be 6/((-2)/(-1)) + (a - 31). Let t(v) = v**2. Let j be t(-1). Which is greater: j or r?
r
Let u = -0.559 + -273.441. Let k = -294 - u. Is k at least -0.1?
False
Let l = -1201511/73425 - -1/6675. Suppose 0 = -10*h + 48 - 198. Which is smaller: l or h?
l
Suppose 0*n + n = 120. Let x be 21/56 + -556*91/(-416). Is n equal to x?
False
Suppose 0 = -157*n - 255*n - 412. Which is bigger: 13/160 or n?
13/160
Let a = 79.25 + -78.66. Which is greater: a or -0.11?
a
Let w be 12/240*7675/(-10)*-4 - 2. Which is bigger: w or -4?
w
Suppose -2*n + 5*x = 5, 2*x - 1 = -4*n + x. Does 8/279 = n?
False
Suppose 10*i - 8466 = 30*i + 10594. Which is bigger: -954 or i?
i
Let z = -10503 - -9766. Which is smaller: z or 19?
z
Suppose 0 = 36*u - 97 + 25. Suppose 0 = -2*a + 3*o + 17, u = 2*o + 12. Let x = -153 - -607/4. Are x and a equal?
False
Le