+ 74 + 493 = 0. Let l be 28/6*(-54)/s. Is -11 smaller than l?
True
Let m be ((-6)/(-9) + 0)*-9. Let s be m/(-14) + 32/7. Suppose -6 = -4*o + 3*g + 1, -s*g = 2*o - 23. Are 7 and o equal?
False
Let o = 136 - 187. Let m = o + 49.65. Let z = m - 36.65. Is 1 > z?
True
Let d be (337/6)/(-6 + (-126)/(-20)). Let w = d + -187. Is -30 != w?
True
Let d(l) = -2*l + 27. Suppose 0 = -3*k + 19*k - 144. Suppose -78 = -15*p + k*p. Let b be d(p). Which is bigger: b or 10/13?
b
Let s = 660.1 + -364.4. Let f = s + -298. Which is bigger: -1 or f?
-1
Let z be 17/(187/(-2145)) - 6. Is -201 bigger than z?
False
Suppose 6 = 4*l + i, -7*l + 5*l + 3*i = -10. Suppose 150 = -l*d + 4*d. Let z be (-6)/15 + (-754)/(-10). Is z less than or equal to d?
True
Let o = 701 + -536. Suppose 46*m - o = 41*m + 3*j, 0 = -3*m - 4*j + 70. Is m <= 0.7?
False
Let n = 22.5163 - -0.4837. Is -1/122 at least as big as n?
False
Let g be (10 + 6/(-1))/(14 + -18). Which is smaller: g or -19/14?
-19/14
Let a be (3/4)/((5/10)/(6/228708)). Is a smaller than 0?
False
Suppose -226*a + 228*a = -5*m + 1175, 0 = a - 3*m - 604. Which is smaller: a or 577?
577
Let d be 1*(0/(-2) + -1). Let q = 44881 - 5340843/119. Is q <= d?
False
Let x = -120 + 7317/61. Let p = x - 1623/488. Is p less than or equal to -4?
False
Let d = -103 + 52. Let j = 46.065 + -0.065. Let w = j + d. Which is smaller: 0.02 or w?
w
Let j = -2257 - -2259. Which is greater: j or -5241?
j
Let x be (-82)/(-17753)*(-2)/(-19 + 1). Is 1 greater than x?
True
Let y = -5111/6 - -854. Let p be (-130)/(-7) + 36/(-63). Suppose -15 + p = b. Is b at most as big as y?
False
Let a = 7376 + -7375. Are 14/457 and a nonequal?
True
Let k = 5 + 9. Let p = -22.954 + -0.046. Let i = k + p. Which is bigger: 2 or i?
2
Let p = 171.137 + -171. Let t = 0.0506 - 1.5876. Let o = t + p. Which is smaller: -1 or o?
o
Suppose 3*o - 65 = -5*u, -2*u + 5*u - 25 = o. Let r = u - 10. Let z = -303/11 - -20323/737. Which is smaller: z or r?
r
Let p be 9/148*2*(-8 + 6). Let r be 2/12 - 5/30. Is p less than or equal to r?
True
Suppose 1 = -u, 0*u - u + 17 = -3*f. Do -31 and f have the same value?
False
Let l(m) = -m**3 - 3*m**2 + 2*m - 5. Let g be l(-4). Let f = -163 + g. Which is greater: f or -161?
f
Let g(h) be the first derivative of h**3/3 - 3*h**2/2 - 4*h - 25. Let p be g(4). Suppose -l - 23 = -5*l + 5*f, 0 = -4*f - 12. Is p > l?
False
Let x = 3 - -9. Let c be 38/x - 3 - (-91)/(-78). Let z be 2/(-7) + (-19)/(-42). Is z equal to c?
False
Suppose -44*q = -51*q + 14. Let g(l) = -19*l**2 - 16*l - 64 + 31*l**q - 13*l**2. Let k be g(-7). Which is smaller: -4 or k?
-4
Let g be 169/3042 + (7350/2484 - 3). Let x(c) = -c - 5. Let j be x(-6). Which is greater: g or j?
j
Let w be (36/15)/((-2)/(-15)). Suppose -4*b = 30 - w. Let j(d) = d**2 + 4*d + 3. Let k be j(b). Which is smaller: k or -1/43?
-1/43
Suppose -17 - 3 = -4*q, -3*q + 20 = k. Suppose -4*a + 0*a - 24 = -3*i, k*a = 4*i - 31. Let l be 28/a*(0 + (-18)/7). Is 24 bigger than l?
False
Let y be (3486/(-36) - 4)*12/(-30). Which is bigger: y or 2/7?
y
Suppose -b - 19 + 17 = v, 4*v = 5*b - 17. Let d be (-3638)/(-9120) - (-1)/(-5)*2. Is d greater than b?
False
Let i = -187087/22 + 8482. Which is bigger: -2 or i?
-2
Let i = -88 - -92.2. Let c = -71.2 + i. Let y = c + 61. Is y greater than 1?
False
Suppose 3*h - 4*k + 284 = -0*h, 3*h = 2*k - 292. Let w be 1/(-3) + h/6. Let a = -15 - w. Which is greater: a or 0?
a
Let h be (-13)/(-15) - 2/3. Let p = 13602 + -13701. Which is greater: h or p?
h
Let u(n) = -n**3 + n. Let j(w) = 4*w**3 + 15*w**2 - 5*w - 11. Let x(d) = j(d) + 3*u(d). Let v be x(-14). Let p be 1493/v + -5 + -2. Does p = 1?
False
Suppose -o + 3*k - 28 = 33, 0 = -4*o + 5*k - 216. Suppose 270 = -157*s + 22*s. Which is smaller: o or s?
o
Suppose -33 + 35 = -2*o + 4*c, 11 = 3*o + c. Which is bigger: o or -216?
o
Let i = 4 - -4. Let u be (-98)/10 - (174 - 183). Is u at least as big as i?
False
Let s = 33 + -27. Let w be (-836)/33*1/(2/s). Let f be ((-16)/6)/(-8) - w/6. Is 14 at most as big as f?
False
Let s(p) = p**2 + 7*p + 5. Let n be s(-6). Let l = 130 + -132. Let f be (l/(-13))/((20/(-6))/5). Which is greater: f or n?
f
Let f(w) = -2*w**2 - 27*w - 6. Let d be f(-72). Is d < -16861/2?
False
Let l = -791 + 213. Let j = l + 577. Is j at most as big as -2/33?
True
Let a = -6.9 + 7. Let i = -0.11336 - -0.07836. Does a = i?
False
Let k = -1/20228 + 849635/1193452. Let d = k + -3437/4248. Which is bigger: d or 1?
1
Let a = -129 - -135. Let i be 0 - (-16 + 0/(a - 4)). Let h = -18 + 33. Which is greater: h or i?
i
Let z(s) be the third derivative of s**6/120 - 2*s**5/15 + 3*s**4/8 - s**3/3 + 5*s**2. Let n be z(7). Let p = 13 - n. Which is smaller: -0.07 or p?
-0.07
Let s = 9390 + -2525912/269. Is s != -13?
True
Let w be (-1)/(2 + (-76)/36). Suppose -5*k + 141 = -2*m, 3*k + 149 = 3*m - 5*m. Let h = -71 - m. Which is smaller: h or w?
h
Let f = 6.9 - 7. Let j(c) = -c**2 + 1989*c + 19755. Let a be j(-10). Are f and a equal?
False
Let n(b) = 3*b + 65. Let w be n(-21). Let m be (-3 + w/1)*-100. Let v = 76 - m. Which is bigger: v or -26?
v
Let y be (-3)/((-6)/(-44)) - 1. Let z = -823 + 821. Let c be z*(-459)/(-42) + 2/(-14). Which is smaller: y or c?
y
Let z = -375 + 346. Let h = z + 29.3. Is 4/11 equal to h?
False
Let f be (-3 + -1 - 1484/(-380))/((-123)/82). Suppose -3 = -4*i - 7. Which is bigger: i or f?
f
Suppose -t - t + 323 = b, -4*b = 4*t - 1300. Suppose 18*f - 15 = b. Which is smaller: f or 7?
7
Let f = 45.51 + -45.44. Which is greater: f or 1/25?
f
Let s be 11/(-4) - (-1232)/704. Which is smaller: s or -1/29639?
s
Let k be (7 + 64/(-8))*(0 - 4). Suppose -2*y = -k*i - 60, 3*y - 2*y - 3*i = 34. Are y and 22 nonequal?
False
Let g = -63710/452591 - 66/1343. Is 0 not equal to g?
True
Suppose 0 = 5*v - 10 - 0, 0 = -5*m + 4*v - 13. Let x(u) = -52*u**2 - 1. Let o be x(m). Suppose -6*f = 25*f + 1643. Are o and f unequal?
False
Let s(m) = -m + 3. Let w be s(-4). Suppose 15*k - 8*k = 2590. Let n = k + -368. Which is smaller: w or n?
n
Suppose 2*q = -5*q + 28. Let y be ((-48)/3)/q + 12. Let u be 3/5 + (176/(-70))/y. Does 0 = u?
False
Let t = 56/59 + 133/295. Let w(m) = m**2 + 5*m + 5. Let g be w(-4). Is t greater than g?
True
Let f(c) = -c**3 - c**2 - c + 5. Let o be f(0). Suppose 17 = o*n + 2. Suppose -2*k + 57 = -4*y + 3*k, 3*k - n = 0. Which is smaller: -14 or y?
-14
Let f = -168110 - -168111.1. Let p(c) = 18*c. Let l be p(-3). Let k = -164/3 - l. Which is bigger: k or f?
f
Suppose -3*w = 5*j + 47, -4*j + 3*w = -w + 44. Let c be ((2 + 0)/j)/(44/(-495)). Which is smaller: 3 or c?
c
Let s = 13602/5285 + -12/5285. Let t(c) = -c**3 - 8*c**2 - c - 4. Let x be t(-8). Is x >= s?
True
Let j be 2/10 + 55/((-1925)/(-3038)). Which is smaller: j or 39?
39
Let m = 120 + -67. Suppose -21*u - 106*u + 6350 = 0. Which is bigger: u or m?
m
Let f(j) = j**2 + 14*j - 6. Let q(s) = -s - 6. Let d be q(7). Let n be f(d). Let l(z) = z**2 - 107*z + 489. Let w be l(5). Are n and w nonequal?
True
Let q = 0.2638 + -2.6438. Is 1 <= q?
False
Let g = -3294 + 3277. Which is smaller: -0.33 or g?
g
Let n be (-12)/(-15) + -3*(-12)/(-20). Let z be n*((-3)/2)/(57/(-38)). Which is greater: 0.54 or z?
0.54
Suppose p + 4*q = 0, -q + 4*q = -4*p + 13. Suppose -7*m = 3 + p. Let r be (-1 + 0/m)*(-4 + 5). Is r bigger than 0.49?
False
Suppose 0 = -x - 2*n + 1121, 0 = 3*x - 201*n + 206*n - 3368. Is 1/4 < x?
True
Let m = -128 - -119. Suppose -4*p + 4*q + 28 = 0, 31 = -0*p + 4*p - 5*q. Is m at most p?
True
Let k = -1218 - -3333. Which is smaller: -2 or k?
-2
Let x(w) = 20*w + 109. Let l be x(-5). Suppose -15*h - l*h = -6*h. Is h equal to 1/51?
False
Let u be 4900/147*(-3)/(-2). Let h be (-4)/2*u/(-60). Which is smaller: -2/15 or h?
-2/15
Let g be 2/(-5) + (-72)/(-30). Let d(j) = -j**3 + 2*j**2 - 5*j + 4. Let z be d(g). Which is bigger: -35/6 or z?
-35/6
Suppose -66 = 8061*b - 8064*b. Let k = 75088/3633 - 2/1211. Is b < k?
False
Let y be (-242382)/30248 - (-8)/1. Let t be (-1)/4 - (-3)/(-4). Is t at most y?
True
Suppose 2*x - 19*c + 24*c = -22, -2*x - 4*c = 20. Let b be ((-116)/x)/(368/48). Which is bigger: b or 3?
3
Let l = -28/173 + 4528/23701. Is 5 less than l?
False
Let w(d) = 20*d - 227. Let v be w(10). Let m(l) = -2*l**2 + 8*l - 3. Let a be m(6). Is a > v?
False
Let k = -26.83 - 5.87.