r s?
h
Let z = 4353.7 - 971.7. Is z >= -1?
True
Let f(o) = -4*o**3 + 37*o**2 - 237*o - 54. Let x be f(10). Which is bigger: x or -2725?
x
Let r = -15369 + 7976515/519. Which is bigger: r or 1?
1
Let y = -12.67 + -0.33. Let p = 0.049 + -12.749. Let w = p - y. Is -4/7 less than w?
True
Let v = -13555 + 13554. Let h = -0.1 - -0.2. Let k = h - 0.19. Are k and v nonequal?
True
Let b be 310/93 + (-16)/12. Let n = -5870/7 - -842. Is b smaller than n?
True
Let m(y) = -y**2 - 5*y + 30. Let p be m(-11). Let d be ((-10)/35)/(p/(-21)). Which is greater: d or -1?
d
Let s be (-125)/(-40) + (-125)/40 + 3. Let m be 9*1*(s + (-136)/192). Is -1 greater than or equal to m?
False
Let i(d) = -2*d**3 - 4*d**2 + 1. Suppose 0 = 10*n - 62 + 62. Let l be i(n). Is l smaller than -0.252?
False
Let m = -121 - -130.8. Let v = 2.8 - m. Let l be 21/(-35) - ((-7)/(-5) + 1). Is l less than v?
False
Let o = 15 + -11. Suppose -o*p = -198 - 146. Let i = -87 + p. Is i >= -6/5?
True
Let t(q) = -q**3 + 19*q**2 - 31*q - 37. Let c be t(16). Suppose -15*o + c = -20*o. Is -46 at most as big as o?
False
Let q = -5782/185 - -156/5. Suppose 2*r + r - 5*w - 43 = 0, -1 = -r - w. Let b be (-11)/(-66) + (-7)/r. Which is smaller: b or q?
b
Let i be (169155570/(-585))/(-23) - (-6)/117. Which is smaller: 12573 or i?
i
Suppose -97 = -16*j - 81. Which is smaller: -1/5728 or j?
-1/5728
Let c(d) = 54*d - 4562. Let n be c(89). Is n equal to 261?
False
Suppose 176 = 2*r + 12. Let t = r - -36. Suppose -3*y - 85 = 2*c, -2*y - 78 - t = 5*c. Does -2/7 = c?
False
Let k = -5467 + 5447. Is 0 bigger than k?
True
Let v = -13 + 11. Let j = -679/8 - -16639/200. Which is smaller: v or j?
v
Suppose 14 = 7*f - 28. Suppose f*n = n - 25, -5*j - 3*n = 35. Let x be (0*j/8)/(-3). Which is greater: x or 2/85?
2/85
Let f = -11274 - -11274. Which is greater: f or 3/598?
3/598
Let l be -2 + (4/(12/(-3)) - -4). Suppose 28*w - l = 29*w. Let b be (27/32 + -1)*-1. Which is smaller: w or b?
w
Let h = 0.71 + 0.19. Let o = -0.1 + h. Let a = 59789.7 + -59790. Do a and o have different values?
True
Let j = -22 + 37. Let z = j - 14.6. Suppose 14*b = -2*x + 11*b + 18, -2*x + 2*b - 2 = 0. Which is smaller: z or x?
z
Let h = 44 - 79. Suppose 20 = 5*x - 5. Let j be -6 + (17 - x) - 41. Does h = j?
True
Let i be 100803/(-162) + 1/6. Let z = -622 - i. Suppose 3*k = -5*m + 12, 31*k + 12 = 2*m + 34*k. Is z != m?
True
Let w(p) = -p**3 - p + 98. Let i be w(0). Let t be (-20*4/216)/(i/(-60)). Let f = 2/441 - t. Is 13/3 < f?
False
Let k be (80/(-12))/(-5) - (-6060087)/(-4590243). Let h = k + 8/1141. Is h >= 1?
False
Let q = 1377583/865759 + -58/6817. Which is smaller: q or 1?
1
Let y be -746 - (32/56)/(148/28 - 5). Is -748 bigger than y?
False
Let k = 14283 - 9518. Which is greater: 4764 or k?
k
Let z = 31.9 - 32. Let m = -194 - -5624/29. Which is bigger: z or m?
m
Let b = 51 - 114. Let f be (-8)/(96/b)*12/(-182). Are 1 and f equal?
False
Let b = -95 + 172. Let x = -78.1782 - 0.1218. Let g = b + x. Which is bigger: -1/2 or g?
-1/2
Suppose 0 = -o - 4*b + 2126, -4*o - 4*b + 1466 + 6978 = 0. Suppose 2*q + t + 840 = 0, -o = 5*q + t - 0*t. Let l = 8016/19 + q. Which is smaller: 0 or l?
l
Let w(m) = m**2 + 3*m - 1. Let i be w(-16). Let y = i + -171. Is 34 at most as big as y?
True
Let r = -3566 - -2756. Which is smaller: -811 or r?
-811
Let w be (-1 - (-616)/(-143))/(75/35 - 2). Do w and -37 have different values?
True
Let p(z) = 5*z + 26. Let r(j) = 2*j + 9. Let u(q) = 4*p(q) - 11*r(q). Let v be u(-5). Let f = -347 + 360. Which is greater: v or f?
v
Let b(k) = 4*k + 12. Let t be b(5). Suppose 0 = 3*q + t - 32. Suppose -6*i + 0*i - 54 = q. Which is smaller: i or -6?
i
Let i = -3190 + 3162.23. Let l = 27 + i. Let g = -43 + 130/3. Do g and l have the same value?
False
Let c be 15/((13 + -8)/5). Let h be (2 + (-39)/c)*-10*2. Let i(g) = g**2 + 3*g - 2. Let d be i(-3). Which is bigger: h or d?
h
Let h = -99590603/57926 + 18912/11. Is -1 greater than or equal to h?
False
Let o(a) = 28*a**2 - a. Let r be o(-1). Let h = -19 + r. Let u be 1*(0 - -1 - 1). Are u and h unequal?
True
Suppose 134*s = 282*s + 148. Which is smaller: s or -10/973?
s
Suppose x = -5*d + 895, -4*x + x = -d + 163. Let j be d/(-124) + (-3)/(-2). Let k = -3190 - -3189. Which is bigger: j or k?
j
Let q(h) = 13*h**2 - 306*h - 26. Let x be q(23). Is -179 greater than x?
True
Suppose -51 = 2*c - 47, -1 = j + c. Is j not equal to 3311?
True
Let u = -5342 - -5342. Which is bigger: u or -37/42?
u
Suppose 3*a + 40 = m, 2*a - a - 2*m + 10 = 0. Suppose -5*w = 5*h - 50, 4*h + 12 = 4. Let f = -24 + w. Which is greater: a or f?
f
Suppose 6*s = 107 + 109. Let y = s - 37. Is y < 0.64?
True
Suppose 5*k = -5*b - 2400, 0 = 11*k - 7*k + 8. Which is greater: -485 or b?
b
Let l = 6239 - 4371. Is l at least 0.1?
True
Let f = 43/15 - 16/5. Let u = -174 + 173.07. Let z = -0.07 + u. Are f and z non-equal?
True
Let k = 2409 + -2463. Suppose 2*l = -2, 2*l = d - l + 15. Let z be 966/d + (-4)/(-6). Is z at least as big as k?
True
Suppose -r + 0*r + 24 = 0. Let q = r + -15. Let d be (14 - -8)/(2/1). Is d < q?
False
Suppose 100 = 13*j - 12*j. Let t = j - 98. Suppose 4*m + 0*z = t*z + 68, -2*m + 3*z + 38 = 0. Which is smaller: m or 1?
1
Let p be 74817/33 - 32/176. Let i = -99903952007/168 - -594664114. Let l = i + p. Is 1 >= l?
True
Let p be 73/(-292) + (-1241)/(-576). Let b = -1/64 + p. Do b and 1 have the same value?
False
Let l(s) = -3*s + 52. Let q be l(9). Let p = -22 + q. Suppose 2*b = j - 3, -6*j - 2*b - 23 = -p*j. Which is smaller: -2 or j?
j
Let j be (804 - 801) + ((-1346)/322 - -2). Is 2 less than or equal to j?
False
Let j = 38385 + -38384. Which is smaller: -8059 or j?
-8059
Let l be (1/4 + 5/12)/((-8742)/(-1674)). Which is greater: 8 or l?
8
Let l = -2.922 - -2.77. Let u = l + 0.242. Which is bigger: -1 or u?
u
Let a(x) = x**3 - 7*x**2 + 6*x - 4. Let f be a(4). Let z(n) be the first derivative of 9*n**2 + 439*n - 238. Let c be z(-26). Is c not equal to f?
True
Let o(y) = -2*y**3 + 2*y**2 + 2*y + 1. Let t be o(-1). Let p be 9/21*(-2)/t. Suppose 34488*n = 34522*n. Is n > p?
True
Let b = 26290 - 26106. Is b equal to -2?
False
Let o(t) be the third derivative of 7*t**4/12 - 43*t**3/6 + 3*t**2. Let y be (-12)/(3 + -5)*16/24. Let c be o(y). Are 13 and c unequal?
False
Suppose 416*m - 6030 = 411*m. Which is greater: m or 1208?
1208
Let t(o) = -2*o**2 - 74*o + 421. Let q be t(-42). Is -2/5139 bigger than q?
False
Let o be (138/(-15))/((-55)/(-1925)). Is -324 not equal to o?
True
Let g = 9769/33 - 24216691/81807. Is g equal to 0?
False
Let d = 2433 + 536. Which is smaller: 2970 or d?
d
Suppose 0 = 3*v + 3*y - 15, -28*v = -26*v - 3*y + 15. Let w be (-3 - v) + (1170/(-1))/6. Which is smaller: -393/2 or w?
w
Let l(n) = n**3 - 5*n**2 - 3*n + 5. Let h be l(5). Let q(s) = -6*s**3 - 2*s**2 - 10*s + 11. Let z be q(1). Do h and z have the same value?
False
Let r = -211 - -413. Let t = r - 201. Is -1/323 smaller than t?
True
Let i be (-6)/18*(832 - -2). Which is smaller: -557/2 or i?
-557/2
Suppose -3*g - 21 - 57 = 0. Let n = -51/2 - g. Let k = 27347/5 - 5470. Which is greater: k or n?
n
Let x(p) = 2128*p - 3. Let w be x(2). Let l = 1667175/392 - w. Let b = 159/98 - l. Is b greater than or equal to 3?
False
Let b = 586086/9953 + -2154/37. Let a = -105482/158441 + b. Which is smaller: a or 1?
a
Let x = 123 + -118. Suppose -3*h = -3*q + 6, -4*q + 10 = 5*h - x*q. Is -10 less than or equal to h?
True
Let f be (1584/16)/((-1)/3*-1). Which is bigger: f or 295?
f
Suppose -5*x + 5*q - 1970 = 0, 59*x - 3*q + 783 = 57*x. Which is smaller: 0 or x?
x
Let p be -2 + 22 - (1 - 0). Suppose 4*w + 56 = 2*i, -2*i - 307*w = -308*w - 38. Which is greater: i or p?
p
Let u be 304/(-1162) + (-6)/(-21). Let i(f) = 3*f**2 - 13*f + 2. Let v be i(5). Let w be 39/v + -4 + 14/8. Which is smaller: u or w?
u
Let v(n) = -n**3 + 21*n**2 - 21*n + 30. Let o be v(20). Suppose -5*r + o*i = 9*i - 122, -4*r + 3*i = -91. Which is smaller: r or 13?
13
Suppose 13*m - 8*m = -2*n + 1809, -7*m = n - 2538. Are m and 0 non-equal?
True
Suppose 5*q - 45 = 5*j - 0*q, 0 = 5*q. Let y be (-8 - j)/(-2 - 154/(-78)). Which is bigger: y or -119/3?
y
Let n = -72271/5 + 14307. Let w = 291/2 + n. Let d(p) = -p**2 - p - 2. Let a be d(0). Do a and w have different values?
True
Let r = -