01 + -98. Which is smaller: m or 0?
0
Let u(f) = 8*f + 12. Let q be 1/(-4 - 57/(-15)). Let r be u(q). Is r bigger than -28?
False
Let c = -84 + 89. Let b be (c + -2 - 1)/(1*-2). Is b greater than 6?
False
Suppose 0*n = 2*n - 5*b - 11, 2 = 2*b. Suppose 7*t + 1 = n. Is t < -1?
False
Suppose 36 = f + 3*o, -2*f = f + o - 124. Let p = 72 + -31. Which is smaller: f or p?
p
Let l(b) = b**3 + 15*b**2 - 2*b + 8. Let j be l(-15). Let a = j + -42. Is a less than -1?
True
Let z = -23 - -22. Let k = 1.4 + z. Let n = 0.17 + -0.47. Is n < k?
True
Suppose -5*w + 5*a = -170, -3*w - 2*w + 162 = 3*a. Suppose 5*z - 4*h = -w, 2*z + 8 + 6 = 2*h. Which is greater: -10 or z?
z
Let p = -3.54 - -6.34. Which is smaller: 1 or p?
1
Suppose 4*w - 56*w = 1820. Which is smaller: -34 or w?
w
Suppose -5*h + 27 + 138 = 0. Are 33 and h non-equal?
False
Let t be 6/4 - 28/(-8). Suppose k + 0 - t = 0. Let d be 3/(-3) + k*4. Is d > 20?
False
Let q = -1308/32945 - -2/599. Let n = 83/770 + q. Suppose w + 0 = 1. Which is smaller: n or w?
n
Let v be 312/(-1 + 4) + 39 + -36. Is v equal to 103?
False
Let j = 2/473 + 2337/6622. Which is smaller: j or -2?
-2
Suppose 5 = -6*b + 35. Let h be ((-69)/15 + b)*(-38)/4. Which is smaller: -5 or h?
-5
Let y(k) = -5*k + 3. Suppose 2*a = -a + 3. Let x be y(a). Which is bigger: -13/4 or x?
x
Let n = -12097/5 - -2405. Which is smaller: -14 or n?
n
Let d be (-4272)/(-126)*3/(-2). Which is bigger: -50 or d?
-50
Let f be (-36)/(-198) - 2564/66. Let r = f - -3578/93. Are -1 and r nonequal?
True
Let o = 3399/40 + -459/8. Is 27 <= o?
True
Suppose x - 7 = 35. Suppose x - 33 = -3*h. Which is smaller: -17/5 or h?
-17/5
Let k(s) = 2*s + 1. Let b be k(-4). Let z(n) = -n - 6. Let v be z(b). Let c be (-7 - -5) + (-9)/(-4). Is c bigger than v?
False
Let k = -2.7 - -1.3. Let i = 0.04 + 1.46. Let f = k + i. Is -0.2 <= f?
True
Let z = 1850 - 1855. Let o = -440/3 + 141. Which is smaller: z or o?
o
Suppose 3*o + 15 = -0*o. Let t be -5 - (4 + o) - 1. Suppose 4 - 19 = 5*d. Which is bigger: d or t?
d
Let m = -2 + -4. Let j(a) be the second derivative of a**5/20 + a**4/2 + a**3/6 + 7*a**2/2 + 65*a - 1. Let h be j(m). Is 1.4 smaller than h?
False
Let t = 446 + -156. Which is smaller: 1/4 or t?
1/4
Let v = 1402 + -1696. Is v != -293?
True
Let p(i) = -i**2 + 3*i - 14. Let s be p(9). Let z be s/12 + 4/6. Let g be (1*-1)/((-1)/(-6)). Does g = z?
False
Let d = 2.05 - -0.25. Let u = d + -2.6. Which is greater: u or 1/2?
1/2
Let g = -1.86 + 2.16. Which is smaller: g or -13/5?
-13/5
Let i(b) = -4*b**2 - 112*b - 8. Let m be i(-28). Do m and 0.25 have the same value?
False
Let f = -67 - -769. Is 702 < f?
False
Let a be ((-6)/18)/((-8)/(-24)). Do a and 4/209 have the same value?
False
Let g = -43/56 - -5/8. Let w(a) be the third derivative of a**4/12 - a**3/6 - 2*a**2. Let u be w(1). Which is smaller: g or u?
g
Let u(b) = b**3 - 23*b**2 - 9*b - 38. Let k be u(24). Suppose -8*c - k - 30 = 0. Are c and -45 unequal?
True
Let s(a) = -a**2 - 116*a - 1517. Let i be s(-15). Let c be 1/4 + 13/(-4). Do c and i have different values?
True
Let g = 1 - 1. Let q = -40 - -133. Let v = -652/7 + q. Which is smaller: v or g?
v
Let m(c) = -c**3 + 10*c**2 + c - 6. Let b be m(10). Suppose -5*q - 5*q = -b*q. Is 2/129 less than or equal to q?
False
Suppose 3*h = 105 + 39. Suppose -6*f = h + 90. Which is smaller: f or -22?
f
Let v be 9 + (-3 - 0)*4. Which is greater: -5 or v?
v
Suppose -17 - 18 = 5*w. Let m = w - 10. Do -17 and m have the same value?
True
Let v(c) = -c + 4 - 19 - 19 - c. Let w be v(-16). Which is smaller: -5 or w?
-5
Let r = 159/275 + -19/25. Let i(l) = -l**3 - 6*l**2 - 4*l + 5. Let a be i(-5). Are r and a nonequal?
True
Let s = -649/2 + 346. Let v = -20 + s. Let u be 2 + 2 - 55/15. Is v greater than u?
True
Let s = 1968 - 1041. Is 925 >= s?
False
Let m(i) = i**3 - i**2 - 13*i + 25. Let w be m(0). Which is bigger: w or 40?
40
Suppose -h - 684 = -683. Which is smaller: h or 5/362?
h
Let c(h) = 11*h - 6 + 165*h**2 - 2*h + h**3 - 154*h**2. Let o be c(-10). Suppose -o*x + 2*x = 24. Is -11 less than x?
False
Let j = 94 - 225. Let h = -164 - j. Is -32 less than h?
False
Let g = -216 - -487. Are 271 and g equal?
True
Let k be -1*(2 - (-2 - -5)). Let s = 90/7 + -1086/91. Which is smaller: k or s?
s
Suppose 11*s = 16 + 6. Suppose -104 = -s*t - u, -t + 3*t = 4*u + 84. Do t and 49 have the same value?
False
Let z = -322 - -321.8. Which is smaller: z or 6?
z
Suppose -5*x = -5*c + 33 - 3, -x + 2 = c. Let l be 15/12 - x*(-2)/16. Does l = -1/14?
False
Let r(y) be the first derivative of y**2/2 + 4*y + 14. Let p be r(-2). Suppose -2*z + 4*v - 6 = -0*z, 0 = p*z - v. Which is smaller: z or -1/6?
-1/6
Suppose 0*g + 8 = 2*b + 2*g, g = b - 6. Suppose -b*y = -3*y. Which is smaller: 2 or y?
y
Let t be (-1772)/11 - 17/(-187). Are t and -162 unequal?
True
Suppose -j + 3 = 5*q, j - 1 = q + 2*j. Suppose -5*r + 15 = 5*b, 5*b - 14 = -3*r + 3. Let z be r + 1 - 9/39. Are z and q nonequal?
True
Let w = 3.47 - 2.67. Let a = -6 - -6.3. Let u = a + -0.2. Which is bigger: w or u?
w
Let l = -50/3 + 58/3. Let k = 252 - 252.1. Does k = l?
False
Suppose 4*a = 0, 9*u + 2*a = 5*u - 4. Which is smaller: u or 2/291?
u
Let d = -0.4 - -0.5. Let j = d + 0.1. Let w be (10/(-50))/((-4)/16). Which is greater: j or w?
w
Let i = 1700 - 8461/5. Let t(p) = -2*p**2 - 28*p - 17. Let m be t(-13). Does i = m?
False
Let n(l) = 2 - 1 + 0 - 15*l**3. Let w be n(-1). Let j = -813 - -830. Which is bigger: j or w?
j
Suppose 2*v + 10 - 17 = 3*t, -t + 5*v - 11 = 0. Is -4/91 at most as big as t?
False
Let c = -2.138 + -142.962. Let n = 145 + c. Which is bigger: -2 or n?
n
Let v = -1.03 - -0.03. Let c = v - 7. Let o = -8 - c. Is o less than -0.1?
False
Suppose 0 = -5*m - 3*m + 1880. Let u be (-2)/8 - 19797/(-84). Let f = u - m. Which is greater: f or 0?
f
Suppose 4*i = 6*i + 2. Let v(z) = z**3 + 2*z**2 + 2*z + 1. Let c be v(i). Let x = -1/2 - -5/6. Is x at least as big as c?
True
Let g(a) = -a**2 + 14*a - 1. Let q be g(0). Which is smaller: q or -2/219?
q
Suppose 3*p + 4 = 2*p. Let y be (-950)/400 + (-25)/40. Which is greater: y or p?
y
Let r(u) = -u**3 + 6*u**2 + 4*u - 31. Suppose o = -f - 0*o + 10, 24 = 3*f + o. Let g be r(f). Which is smaller: g or -51?
g
Let r = 1691 + -11839/7. Let y(l) = -l**2 + 1. Let h be 2/(-3) + 3/(-9). Let d be y(h). Is d at most as big as r?
False
Let f = -0.5 - -0.7. Which is bigger: 48 or f?
48
Suppose 6*l + 6 = 3*l. Let a be (0 + (-9)/3)*l. Let t(n) = -n**2 + 6*n - 4. Let m be t(a). Which is smaller: m or -5?
-5
Let i = 12 - 12. Suppose -5*j + j = i. Suppose j*q - 3*q = 3. Is q less than -1/10?
True
Let p be 1/(1/(0 - 1)). Let t be (-6)/(29 - 247/13). Is t >= p?
True
Let s be (-3)/(-2)*32/12. Suppose b = s*b - 42. Suppose 17*i = b*i + 3. Is -1/4 at least i?
False
Suppose -1 = -5*x + 4. Let y = x + 0. Let q be (-4)/6 - 2/(-9). Is y less than or equal to q?
False
Suppose a - 5*a - w - 37 = 0, -w + 35 = -4*a. Are -24 and a nonequal?
True
Let f be (14/(-6))/(1/3). Suppose d = -k, 25 - 10 = 4*d - k. Suppose 5*h + 36 = s, d*s + 48 = -4*h - s. Is h <= f?
True
Let s = 25518 + -25520. Let r = -10039/88 + 893/8. Is s > r?
True
Let l be 23/(-7) - (-4)/14. Let y(v) = -v**2 - v. Let s be y(-6). Let a be (s/(-45))/(1/(-6)). Is a greater than l?
False
Let w = 146.03 + -147. Let y = -0.07 - w. Let g = y + -0.7. Is 0 greater than g?
False
Let k be (1 + 0)/(-12 + (-9 - -20)). Which is smaller: 1/117 or k?
k
Suppose 3*v - 49 = -5*a, -2*v - 5*a + 22 + 19 = 0. Suppose 0*n - y - 4 = 5*n, 2*y + v = -3*n. Suppose -2*k + n*m = -3*m - 18, 8 = 4*k + m. Is 3 less than k?
False
Let a be ((-36)/170)/(84/(-16) - -6). Which is smaller: 0 or a?
a
Let u = 0.0572 + -0.0572. Let i(p) = p**2 + 8*p + 7. Let t be i(-5). Let s be ((-1)/(-7))/((-2)/t). Are s and u nonequal?
True
Let j = -11 + 11. Let a be ((-6)/60)/(1/4). Are a and j nonequal?
True
Suppose -4*h + 1 = -3. Let t = -910 - -544. Let p be (-8)/6*(6 + t/60). Which is smaller: h or p?
p
Let l be 3/36*(13 + -16). Let n = -5.9 + 5. Let i = n + -0.1. Which is smaller: i or l?
i
Let f be 4/(-14) - (-18)/14. Let h = -174222 + 4187231/24. Let u = h - 246. Which is smaller: f or u?
u
Let q = 1.9 - 1.73. Let b = -0.21 + q. Let a = b - -0.04. Is a greater than -0.03?
True
Let n = -4.7 + 5. Let k = 9.4 - 57.4. Let 