36)/(-15))/4*5. Let b(g) = g**2 - 2*g - 4. Let o be b(d). Let n = 3/40 + 13/40. Which is bigger: o or n?
n
Suppose 12 = -2*b + 16. Suppose -2*y + 7 + 3 = 0. Which is smaller: b or y?
b
Suppose 2*c + c = -21. Is c less than or equal to 4/7?
True
Let l(z) = z**2 + 4*z. Let u be l(-5). Suppose -u = -2*d - 9. Let t be d/8 - (-3)/(-36). Which is smaller: 1 or t?
t
Suppose 0 = 5*q + 68 - 23. Let m be (-2)/q - (-200)/72 - 32. Is m > -29?
False
Suppose -8*c - 98 = -114. Which is bigger: c or 52?
52
Let w = 6 - 5. Let a be (12/9 - w) + 4/(-10). Which is smaller: -1 or a?
-1
Let h be 0 + 0 + 4/6. Let o = -0.36 - -0.687. Let f = o + -0.127. Which is smaller: f or h?
f
Let t be ((-4)/7)/(-25 - -11). Which is bigger: 2 or t?
2
Let s = 20 + -39/2. Let a = -22.7 + 24.7. Are a and s unequal?
True
Let n = 2269 - 2445. Which is smaller: -182 or n?
-182
Let r = 6 + -7. Let b = -37738/51 + 740. Is r greater than b?
False
Let b(h) be the first derivative of -2*h**3/3 - 3*h**2 - 5*h + 30. Let x be b(-1). Which is greater: x or -1/50?
-1/50
Let y = -4 - -2. Let m = y - 3. Let c be (16/20)/(3/m). Are -1 and c unequal?
True
Let y = -1.9 + -0.1. Let v = y - -47. Is 0.1 <= v?
True
Suppose -4*j = -5*p - 7, j = -4*p + 3 + 4. Is -6/17 greater than or equal to p?
False
Let t = 493 + -499. Suppose -4*x + x - 6 = 0. Is t less than x?
True
Let i be 2*(160/86 - 2). Which is smaller: i or 1?
i
Let w be (-6902)/(-690) + -6 - 4. Is w <= 1?
True
Suppose q - 2*q = -w - 81, 93 = -w + 4*q. Let s be 8/w + (-2)/(-7). Suppose -4*u - 14 = 5*v - 1, v + 2*u + 5 = 0. Which is smaller: v or s?
v
Suppose -2*f + 16 = 2*f. Let l = 13/3 - f. Let g = 105 - 107. Is l < g?
False
Let c = 87 - 171/2. Let h(y) = -3*y**2 - 25*y + 19. Let r be h(-9). Suppose 5*l = -5*g - 21 + r, -3*g - 2 = l. Which is bigger: g or c?
c
Let w be -1 + -3 - (0 - 19). Let m(a) = a - 47. Let c be m(w). Is -33 not equal to c?
True
Let p = 125 + -99. Is p != 2/7?
True
Suppose -4*d - 5*a = 9, -4*a = 3*d - 6*a + 1. Which is smaller: d or 10/257?
d
Let p(r) = 4*r + 7. Let y be p(-8). Let j(b) = -b**3 + 19*b**2 + 20. Let w be j(19). Let g = y + w. Is g smaller than -4?
True
Let c = 1551 + -1522. Which is smaller: c or 2?
2
Let c(g) = -7*g + 92. Let h be c(13). Which is smaller: h or 7/57?
7/57
Let g = -22 - -24. Suppose 5*n = g*t + 13, -49 = -4*t - 2*n - 3*n. Which is smaller: t or -2?
-2
Let f(x) = -1 - 2*x - 5 + 4*x + 4. Let d be f(3). Suppose j + 4*j = -4*b - 27, 2*j + d = -5*b. Is j at most -5?
True
Suppose -i + 0*i - 1 = 0. Let d be (-3 + (-4 - -6))*i. Let k be (-56)/(-36) + (-2)/d. Which is smaller: k or -1?
-1
Suppose -20 = -2*o - 2*o. Let t be 3 + (-3)/(3/(-1)). Suppose 0 = 2*y + n - 1, t = -o*y + n + 17. Which is greater: 6 or y?
6
Let g = -22 + 8. Let j = 0 + g. Let f = 16 + j. Which is greater: -2 or f?
f
Let k be 5340/(-99567) - (4/(-2) - -2). Let o = k + 2/851. Which is smaller: o or -1?
-1
Suppose 0 = -3*f - u - 386, 3*f - u + 358 = -24. Is -128 less than or equal to f?
True
Let j = -31 - 8. Let p = -6136 - -6098. Are p and j non-equal?
True
Suppose -2*h = 0, -2*t + 5*t - 3*h - 171 = 0. Are t and 56 nonequal?
True
Suppose 3*g - 42 = 3. Suppose 0 = 6*w - w - g. Is w at most 3?
True
Let c = 2823 - 4007. Which is smaller: -1185 or c?
-1185
Let o = -15.07 + -3.63. Which is smaller: 0.1 or o?
o
Let g be 1/(-4)*(7 + -3). Let m be 468/(-315) + (g - 1/(-5)). Is m < -1?
True
Let o(d) = d**2 + 43*d + 83. Let t be o(-41). Which is smaller: t or -12/209?
-12/209
Let v = 4629094 - 4555027333/984. Let m = v + -7/123. Let z be -2*1/(-4)*0. Which is bigger: m or z?
m
Let q be 3366/(-570) - 2/(-19). Let k(i) = i**3 + 7*i**2 + 2*i + 7. Let g be k(-7). Which is smaller: g or q?
g
Let c be (-737)/(-143) + (-2)/13. Suppose -2 - 3 = c*n. Do 1/13 and n have different values?
True
Let h be (44/20 + 3)/((-4)/(-10)). Let q be (-1 - -7) + (-1 - 2). Let m be (28/10)/(q/15). Is h smaller than m?
True
Let o(x) = -x - 6. Let r = -23 - 2. Let z = 20 + r. Let w be o(z). Is w less than 0?
True
Let p = -2835 - -2860. Do p and 22 have the same value?
False
Let d = 16 + -17. Suppose 5*f + 34 = -3*u, -4*f + 6*u - u - 5 = 0. Which is bigger: d or f?
d
Suppose 74*r - 279 - 264 = -107*r. Suppose k = 2*v + 17, -k + 6 = -3*k - 4*v. Which is bigger: r or k?
k
Let h = -19853 - -1091991/55. Which is bigger: 2 or h?
2
Let i(r) = -r**3 + r**2 + 1. Let u(j) = 3*j**2 + 3*j + 10. Let v(b) = -i(b) - u(b). Let t be v(5). Let h = 14/5 - 43/15. Is t > h?
False
Let u = 64956799/1411 - 46036. Which is smaller: 1 or u?
u
Let y be (2 - -1)/((-3)/(-8)). Which is greater: 0 or y?
y
Let z(d) = -2*d - 3. Let h be z(-2). Let x = -46/111 - -3/37. Is x equal to h?
False
Let m be 124/(-728) + (-5)/(-105)*6. Which is bigger: 1 or m?
1
Let l be 46/6 - (-3)/9. Let r be (-22)/(-84) + l/(-24). Let q = -45 + 45.2. Are q and r nonequal?
True
Suppose -w = -2*w. Let r = 22 + -21. Let t be (0 - 6)*r/2. Which is greater: t or w?
w
Let z be (-1)/(-6)*(-14 + 2 - -6). Is z at most 6/43?
True
Let n = 7 - 8. Which is smaller: n or 2/397?
n
Let v = -109 - -229. Let q = -842/7 + v. Let l = 0.054 + 0.546. Do q and l have the same value?
False
Let y(z) = 42*z**3 - z**2 + z. Let g be y(1). Suppose -g = -8*i + 62. Which is smaller: i or 14?
i
Let d be 30/(-55)*(-1)/9. Suppose 2*a - 185 = -3*t, 0*a - 4*t = 3*a - 280. Let k be 4/(-6) - a/(-60). Is k < d?
False
Suppose 6*y - 4*y - 12 = 0. Suppose y*j - 2*j = 60. Let k be (-99)/j - (-6)/10. Are -8 and k non-equal?
True
Let f = 53 + -116. Suppose 72*c - 73*c = 63. Is f at least c?
True
Let o = -14 + -1. Let l be 9 + -12 + (0 - -19). Suppose -2*x - 12 - l = 0. Which is bigger: o or x?
x
Let i be 1 - 3 - (-30)/11. Let l(y) = 3*y + 59. Let u be l(-19). Is i greater than or equal to u?
False
Suppose 0 = -6*d + 15 + 9. Suppose 9*t = 7*t - d. Is -5/7 smaller than t?
False
Suppose -4*t + 12 = -r, -2*t + t = -3. Let v = -21 - -3. Let j be (3 - r)*6/v. Is j at most as big as -1?
True
Let r = -2.01 + -0.29. Let l = 1.2 + r. Let w = -10.1 - l. Which is smaller: -1 or w?
w
Let v = -3.0065 - -2.99. Which is smaller: v or 0?
v
Let w be 75/21 + -3 + 0. Let t = 28 + -14. Let j = t - 14. Which is bigger: w or j?
w
Let t(a) = 2*a + 30. Let p be t(-15). Let b(f) = -2*f**3 + 2*f + 25. Let g be b(p). Let j = -16 - -40. Which is smaller: g or j?
j
Let x(p) be the third derivative of -p**5/60 + p**4/12 + 2*p**3/3 - 6*p**2. Let n be x(-1). Which is smaller: 7/17 or n?
7/17
Let k = -15.2 + 14.3. Is k >= 0.056?
False
Let d = -14 + 15.2. Let r = d - 1.26. Let u = r + -0.04. Which is smaller: u or -0.3?
-0.3
Suppose 3*t = -2*m - 9, -5*m = -4*t + 8 + 3. Which is smaller: t or -3/757?
t
Let s(q) = -2*q + 26. Let t be s(13). Let r be 1/((-63)/6 + 1). Which is smaller: t or r?
r
Let m be 2/(-8) - 81/(-36). Suppose 3*d - m*d + 2*w + 13 = 0, 0 = -5*w - 25. Is -3 at least d?
True
Let j(d) = d - 4. Let o be j(4). Suppose o = -5*v - 2 - 8, 0 = -2*c + 2*v - 86. Which is smaller: -44 or c?
c
Suppose 15*l = 20*l + 5. Let q be l/2 - 75/(-190). Which is smaller: 1 or q?
q
Let p = -82/43 + 8072/129. Which is smaller: p or -0.2?
-0.2
Suppose -253 = 4*b + 5*h + 242, -3*b - 410 = -4*h. Let u be 1 + b/18 + 14/63. Which is smaller: -0.2 or u?
u
Suppose 9*w = 3 + 6. Are 1/5 and w equal?
False
Let r = -23/4 - -83/12. Suppose 2*y - 10*j + 11*j + 2 = 0, y - 13 = 3*j. Do y and r have the same value?
False
Let o = 0.034 + -28.034. Let d = -58.7 + 59.7. Which is smaller: o or d?
o
Let n(m) = -16*m**2 - m + 1. Let h be n(1). Suppose -3*j = 5*p + 66 - 19, 0 = 2*j + 4*p + 32. Which is bigger: j or h?
j
Let v = -155 + 155. Let x = 1 - 1. Suppose 2*f + v*f + 2 = x. Which is smaller: -4/15 or f?
f
Let x = 16 + -12. Suppose -g - x = 2. Let m be 2 - (g + (2 - 0)). Are m and 6 nonequal?
False
Let b(f) = -f + 4. Let t be b(-6). Let c be (-7)/(t/4 - 2). Is c greater than or equal to -14?
True
Let g be (-3 + (-8)/(-4))*15. Let o = g - 3. Let x = o + 18. Which is greater: x or 4/7?
4/7
Let q = 31 + -63/2. Let i = 0.48 - 4.48. Which is smaller: i or q?
i
Suppose -4 = 13*v - 17*v. Let d be 2/(-91) - (-1 - -1). Is v less than d?
False
Let k = 94.4 - 95.33. Is k <= -1?
False
Let h be (-80)/32*12/(-75). Is h greater than -34?
True
Let o be (15/(-12))/(4/(-32)). Let d be (11 - o)/((-2)/(-1)*-1). Which is smaller: 10 or d?
d
Sup