 -165 - 418, -4*x = -r - 296. Let q = 283 + r. Is q bigger than 9/62?
False
Let o(p) = p**3 - 26*p**2 + 62*p - 1300. Let d be o(27). Which is bigger: 1099 or d?
d
Suppose -18*r + 2032 = -776. Which is bigger: 6 or r?
r
Let a = 26.4 - 26.497. Let c = -0.446 - -0.346. Is c greater than a?
False
Let t(d) = 4*d + 9. Let m(k) = -5*k - 7. Let h(y) = -5*m(y) - 6*t(y). Let f be h(23). Which is greater: 34/13 or f?
f
Let d be (-3 - -2)/(10/(-40)). Suppose -4*h = -3*s - 22, 0 = -s - 3*s - d*h - 48. Let x = 574 + -585. Which is smaller: s or x?
x
Suppose -8*m + 196 + 236 = 0. Let x be m/(-1 + -2)*2/(-4). Which is smaller: -4 or x?
-4
Let a = -61 + 29. Let n be -6*6/(-9) - a. Suppose l + 5*f = n, 3*l + 0*l - 5*f - 68 = 0. Which is smaller: l or 25?
25
Suppose 5*l + 2*k - 10127 = 0, 4*k - 22 + 18 = 0. Is 2025 bigger than l?
False
Let o(z) = 2*z - 4. Suppose 4*i = 2*u - 10, 0 = 2*u + i + 6 - 1. Let l be o(u). Let f be 2 + 40/(-15) - (-2)/l. Which is smaller: 1/132 or f?
f
Let y = 853 - 772. Suppose 127 = -m - y. Which is bigger: m or -207?
-207
Suppose 3*m - 6*y = -y + 182, 68 = m + 2*y. Let h be m/36 - 4/(-18). Suppose 0 = -j + 3*o + 12, -5*o - 9 - 11 = h*j. Which is smaller: j or -2?
-2
Let h = -143 - -167. Let b be (-3)/(8/((-128)/h)). Is b greater than or equal to -1/53?
True
Let b = 82.9 - 56.6. Let m = b - 24.7. Which is greater: m or 1?
m
Let p(c) be the second derivative of 7*c**4/6 - c**3/6 - c**2/2 - 6*c. Let t be p(-1). Let r be -1 - ((-20)/t - -1). Is -1 at least r?
False
Let x(b) be the second derivative of 11*b + 1/4*b**4 + 0 - 23/6*b**3 + b**2. Let l be x(3). Is -39 at least l?
True
Let k be (-4 - -6)/((-7)/(70/4)). Let d be (-8 - (-13 - k))/(1 - -2). Which is smaller: d or -12/43?
-12/43
Let j(q) = -q**2 + q + 6. Let x be j(3). Suppose -6*b - 174 + 48 = x. Let y be (-84)/(-2)*2/(-4). Is y smaller than b?
False
Suppose -2*w - 241 = -5*t, 4*t - 122 = 4*w - 3*w. Let r = w - -121. Which is greater: r or 2/11?
r
Suppose 182215 = 45*y + 54955. Suppose 8*z = -y - 812. Which is bigger: z or -454?
-454
Let u be (-3)/(-10) - (6 - 6). Suppose m + 2 + 11 = 0. Let p be (m/(-2))/13*(1 + -1). Which is greater: u or p?
u
Let q(y) = -y**3 + 8*y**2 - 7*y - 3. Let x be q(7). Let l be (-4 + 8 + x)/(-4 - -3). Is 1/16 <= l?
False
Let l = 9/50 + 8/25. Let p be (2 - -1) + (-885)/63. Let s = p + 110/7. Which is greater: s or l?
s
Let f = 71414 + -71391.2633. Let y = f + -0.0367. Let b = -23 + y. Which is greater: b or 0?
0
Suppose -a + 4*g + 319 = 0, -5*a = -6*a - g + 339. Let f = a - 330. Are -8 and f unequal?
True
Suppose 5*w + 3 + 2 = 0. Let b be 428/38 + (12 - 23). Do b and w have the same value?
False
Suppose 5*m + 2*f = -0*f + 16, 4*m = -f + 14. Let h be 4/10*(-2)/m. Let r = -170418 - -170418. Is r bigger than h?
True
Let v(o) = 13 - 16*o + 5*o - 3 + 12*o. Let i be v(-12). Which is smaller: 30 or i?
i
Let u(k) = -3*k + 1. Let m be u(1). Let v be -4*5/20*m. Let t be v/(-4) + (-6)/(-24)*26. Are -0.01 and t non-equal?
True
Let k be (-1020)/(-25500) - 1618/36700. Which is greater: k or -2/5?
k
Suppose 3*r + 1 = 4*m - 2*m, 4*m + 7 = -3*r. Let x be r/(-4) - (-414)/72. Let h be (78/(-12) - -6)*(-4)/x. Is -17 at most as big as h?
True
Let m(c) = 56*c - 118. Let v be m(-14). Which is greater: v or -901?
-901
Let j(n) = n**3 + 14*n**2 - 5*n + 6. Let r be j(-14). Let w be -4*(-1 - 1)/4. Suppose 8 = -w*h, 2*s - 15 = 4*h + 155. Which is smaller: s or r?
r
Let r(j) = j**3 - 145*j**2 + 1594*j + 149. Let b be r(12). Let a = -883/2 - -566. Is a >= b?
False
Let z be ((-12)/(-50))/((-81)/(-36)). Let l = z - 277/3300. Is -1 not equal to l?
True
Suppose 47 = 52*u - 6 + 1. Is u <= 1/21954?
False
Let d be (2 - 3)*4/(5/((-20)/(-8))). Which is greater: d or 6.75?
6.75
Let j(y) = 2*y**3 - 2*y**2 + 2*y. Let l be j(2). Let v be (2 + (-24)/(-42))/(4/14). Suppose -2*b - 3*u = -12, 40 = -4*b + v*b + 5*u. Is l at least b?
True
Let y(v) = -257*v**2 - 589*v + 4151. Let x be y(7). Is -12565 at least as big as x?
True
Let x = -317.42 - -131.33. Let j = x + -1.91. Which is bigger: j or -1?
-1
Suppose 2 = -2*r, 5*a - 32 + 3 = 4*r. Suppose 2*u - a*i - 10 - 40 = 0, -4*i - 16 = 0. Is u greater than 12?
True
Let n = 76 - 232/3. Let j(k) = k**3 - 10*k**2 - 17*k + 10. Let a be j(11). Let x be a/14 + 11/2. Which is smaller: x or n?
n
Let l(q) = -42*q - 249. Let p be l(-6). Suppose 0 = -r - r + o, p*r - 2*o = -1. Do r and 12/37 have different values?
True
Let i = -119 - -112. Let s be (-2152)/(-72) + (i - -2). Which is greater: s or -1/3?
s
Let c = 5397535227274917 - 15226252564873890741023/2820964. Let q = c - -61/27388. Let l = -166 + q. Does l = 0?
False
Suppose 33*f + 11672 = -107392. Let y = f - -75745/21. Which is smaller: y or 0?
y
Let i be (-32)/(-24) + (-626)/(-3). Suppose -d - 5*x + 53 = -4, i = 4*d + 2*x. Let b be (-3)/((-12)/424*2). Which is bigger: b or d?
b
Let l = 589 + -588.8. Which is smaller: l or 25.61?
l
Let m = -0.0265 + 0.4665. Which is smaller: m or -0.017?
-0.017
Suppose 0 = -q - 7*q - 8. Let c be (q/(8/(-30)))/((-130)/80). Is c at most as big as -2?
True
Let f = -8327.16 + 8327. Is f at least 32?
False
Let y = -1245 + 1363. Is 1540/13 greater than y?
True
Let j be (-5)/(-6)*-10*(-12)/300. Is -0.056 <= j?
True
Let m be ((-8730)/(-130) - 4/26)*1. Let v be m + (-48)/12 - (-1 - 0). Which is smaller: 66 or v?
v
Let v(r) = -r**2 + 29*r - 98. Let z be v(4). Suppose 3*n + 57 + 42 = o, -2*o + z*n + 202 = 0. Which is bigger: o or 100?
o
Let f(n) = -204*n + 6511. Let a be f(34). Which is bigger: 2/83 or a?
2/83
Let z be (-60)/225 - 93814/210. Is z greater than or equal to -460?
True
Let t = 319 - 182. Let y be -93 - (-2 + -1 + 0). Let g = y + t. Is 48 greater than g?
True
Let f = 32413/28 - 4659/4. Which is greater: -6 or f?
-6
Suppose 0 = 5*h - o - 17, -3*h - o = -2*o - 11. Let f be ((-235)/260 - 2/(-13))*-4. Suppose 4*v - 118 = -2*z + 44, 0 = h*z - f. Which is smaller: v or 41?
v
Suppose 30*g + 12*g = -7*g - 49. Let l be (2/(-152))/(1/(-5)). Is l < g?
False
Let n be ((-885)/(-60))/((-1)/176). Is n not equal to -2597?
True
Let v = -17.9443 + -0.0557. Let n = v + 23. Is n at least -0.7?
True
Suppose 0 = 3*b - 23*o + 18*o - 2, -2 = 2*o. Which is smaller: b or 2/3243?
b
Suppose 3*h + 1899 = -3*z, z - 3*z + h - 1272 = 0. Is -633 less than or equal to z?
False
Let u = -660 - -1196. Let b = u + -523. Is -0.1 less than b?
True
Let v = -221.8 - -221.6. Is v > 1649?
False
Let l = 7199 - 7210. Which is smaller: 128 or l?
l
Suppose -12*c - 49 = -11*c + z, 0 = -2*z + 2. Is -307/6 greater than c?
False
Let l = -8642 + 69141/8. Is l bigger than 1?
False
Suppose 2*v - y + 348 = 77, 3*y = v + 118. Is -138 at least as big as v?
True
Suppose 0 = 13*l - 57 - 8. Suppose -79 = 2*t + l*o, 5*t = -o - 2 - 161. Suppose u + 37 = -j, -j + 4*u = 4*j + 140. Is t bigger than j?
False
Let o be -3*(-2 + (-64)/12). Suppose -24 + o = l. Let w = l + -1. Which is bigger: -17/4 or w?
w
Let z = -16606 + 15077. Which is bigger: z or -1530?
z
Suppose -4*r + 12 = -4*i, -5*r - 5*i = -3*r + 29. Let m be 630/141*r/4 - -2. Is 1 bigger than m?
True
Let b = -3081.03 - -3082. Is 2 > b?
True
Let w(l) = l + 31. Suppose 34 = 2*p + 40. Let s be w(p). Which is smaller: s or 53/2?
53/2
Let o be (0 + -1)/(7/(-35)). Let q(m) = -m**2 - 2*m + 36. Let p be q(o). Is 12/119 smaller than p?
True
Let f be ((17056/(-232))/(-13))/6. Which is smaller: f or 0?
0
Let s = -128864 - -128876. Let v be 46/((-3)/(9/(-6))). Is v < s?
False
Let o = 5.99 - 54.79. Let y = -48 - o. Let f = -0.6 - y. Is f > 3?
False
Suppose -19*s = -15*s. Let m be (-3)/(-29)*1181889/45. Let f = m + -2717. Is s <= f?
False
Let b = -1381 - -2645. Let w be (-16)/((-1280)/(-30)) + 458/b. Is -1 smaller than w?
True
Let o be (-1)/(6/(-57) - (-61)/399). Let r be (-570)/7 - 9/o - 5. Is r equal to -89?
False
Suppose -285*c = -293*c - 5632. Is -704 at least as big as c?
True
Suppose -302 + 296 = -3*q. Let t = -4 - -8. Suppose -27 = q*b + 3*z, -t*b - 4*z - 65 = -1. Which is bigger: -19 or b?
-19
Let s be -2*(8/44 + (-13)/11). Suppose s*a + 4*q - 24 = 8*q, -4*a + 48 = 3*q. Which is greater: a or 1.5?
a
Let m = -867/5 - -173. Let i be 250/(-12) - (-10)/(-15). Let k = i - -21. Are m and k equal?
False
Let w = 294721/2370955 - -2/8947. Is w equal to 0?
False
Let r be (2340/273)/((-652)/168 - -4