j) = -1. Let p(u) = u - 2. Let o(m) = -5*h(m) + 2*p(m). Let b be o(g). Is -1 smaller than b?
True
Suppose 15*k - 2 = 17*k. Are 93 and k equal?
False
Let h = 0.749 - 0.249. Which is smaller: 17 or h?
h
Suppose -m = -4*m. Suppose -4*i = -3*l + 83, -53 = -3*l - m*i - 2*i. Let w = 22 - l. Which is bigger: w or 1/16?
w
Let y = 98 - 92. Is 35 at least as big as y?
True
Let p = -73 + 80. Let v be 2/2*(p + -12). Suppose 3*d + 4*w = 5, -6*d = -5*d - w + 10. Is d < v?
False
Suppose -1 + 5 = -4*p. Let d be 5 + -2 - (-2)/p. Let v be 2/42 + (-2)/6. Which is greater: v or d?
d
Suppose 598*d - 158 = 597*d. Which is smaller: d or 159?
d
Let g = -34/65 + 9047/520. Which is greater: g or 16?
g
Let r = 0.3 + -0.26. Let c = -1361 + 1365. Is r not equal to c?
True
Let w be 3*4/(-9)*3. Suppose 0 = 3*g, -6*c - 10 = -c + g. Let f be 7/w*c/7. Is -1/4 >= f?
False
Let w = -2.9 + 2.88. Let a = w - -1.62. Let l = -3.6 + a. Is -0.02 bigger than l?
True
Let p(s) = -s**3 - 7*s**2 - 5*s - 8. Let i be p(-6). Let m = 129 + -178. Let x = -62 - m. Are x and i equal?
False
Let o = -24 + 36. Let k = o + -10. Suppose 2*j + 1 + 1 = 0. Which is smaller: k or j?
j
Suppose 0 = f - 4, 4*g + 55 = 3*f + 399. Does 89 = g?
True
Let r = 92 + -89. Suppose r*u = 4*u + 25. Is -27 bigger than u?
False
Let b = -4.73 - -0.59. Let w = b - -4. Let l = -1.86 + w. Which is greater: 0.1 or l?
0.1
Let l = -93248/9 - -10350. Which is smaller: -12 or l?
-12
Let h(r) = 5*r + 11. Let c = -5 - 2. Let q be h(c). Is q != -24?
False
Suppose -11*u - 4 = -7*u. Which is greater: u or -26/5?
u
Let z = 0.083 - -0.117. Which is smaller: z or -3.5?
-3.5
Let y = 0.0547 + -16.0247. Is -1/3 at most y?
False
Let t be (-2)/(-14) + 2/(-14). Let w = 17 - 29. Let z be w/45*(-7 - -1). Which is smaller: z or t?
t
Suppose x = 6*x + 75. Suppose 32*s - 34*s - 160 = 0. Let f = s - -66. Which is smaller: f or x?
x
Let z be 86/4 + 14/4 + -3. Suppose -m - 2*v + 105 = 4*m, 4*v = 4*m - 112. Which is bigger: m or z?
m
Let t(m) = -10*m**2 - 2*m + 3. Let r be t(1). Are -11 and r non-equal?
True
Let x be (11 - (-243)/(-18))*(-6)/445. Which is greater: x or 1?
1
Suppose -32*i = -36 + 100. Are i and 20/19 unequal?
True
Let x = -3567/2 - -1783. Which is greater: x or -305?
x
Suppose 110*a + 187 = -3223. Which is greater: a or -11?
-11
Let m = 0.121 - -0.05. Let s = m - 0.171. Let j = -21.2 - -3.2. Do j and s have the same value?
False
Let s = 4.3 + -4.212. Let t = s + -0.188. Do t and -0.5 have the same value?
False
Let b = 33 + -33.058. Let z = 0.098 + b. Which is smaller: z or 1/4?
z
Let d = -51 - -27. Suppose -3 - 1 = m. Let f be 2/d*6/m. Is f <= 1?
True
Let x = 3.01 + -1.01. Which is bigger: 3/113 or x?
x
Let w be ((-4)/6)/(13/(-39)) - -16. Does 7 = w?
False
Let q = -1156 - -1157. Let v = -205/6 + 34. Which is bigger: v or q?
q
Suppose -3*b + 8*b - 5*f + 5 = 0, 0 = -4*b + 3*f - 4. Suppose -3*w + 2*j + 5 = 0, 5*w + 7 + 10 = -3*j. Is w <= b?
True
Let y = 18433/7 + -2627. Is 0 smaller than y?
True
Suppose -4*x - 60 = 4. Let b be 5/(-2)*4/x. Let j be -3*-1*4/6. Which is smaller: b or j?
b
Let j(l) = 4*l**3 + l**2 + 3*l. Let q be j(2). Is 42 at least as big as q?
True
Let v = -43 - -1590/37. Which is smaller: v or 1?
v
Suppose 0 = 3*y + 256 + 587. Let x = y + 6179/22. Which is greater: -1 or x?
x
Let j be (-16)/20 - (-2)/(-10). Let g be (j - 2)*1 + 6. Let t be g + (0 - 21/(-3)). Which is bigger: t or 11?
11
Suppose -5*u - 12*u = -68. Suppose -3*q - 388 + u = 0. Which is bigger: -129 or q?
q
Suppose 4*g + 7 = 3. Let s be (70/17 + -4)/g. Which is smaller: -3 or s?
-3
Let t be (-1)/(-1) + -3 + (-9 - -33). Is 9 smaller than t?
True
Let f be (-8)/36 + 144/(-81). Are f and -8 equal?
False
Let h = 24 - 35. Let s = 10.7 + h. Is s > -3/4?
True
Let r(o) = -o**3 - 5*o**2 - o + 4. Let m be r(-2). Let g be (-3)/(-4)*4/m. Which is smaller: g or 12?
g
Let b = 5 + -4. Let u = 25 + -25.23. Let i = u + -0.37. Which is smaller: b or i?
i
Let j(v) = -v**3 - 4*v**2 + 9*v + 14. Let g be j(-5). Let n be 9/g*(-16)/516. Which is greater: n or 1?
1
Suppose b + 2*w = 1, -137*w = -3*b - 140*w. Is b greater than or equal to -25/92?
False
Let a = 75.66 + -5.66. Which is greater: a or -2/5?
a
Let v be (-11 + -1)*35/14. Let h = v - -96. Let u be (1/(-21))/((-77)/h). Which is smaller: u or 1?
u
Suppose 5*j + 3*f = -57, -6*f = 5*j - 4*f + 53. Let h be (-8)/12 - (-228)/j. Which is greater: h or -24?
-24
Let a be (-2*15/(-16))/((-33)/(-44)). Which is bigger: a or 0.025?
a
Let t(x) = -x**2 + 3*x - 5. Let f be t(0). Is f greater than -7?
True
Let n = 18 + -30. Let q be 6 - 110 - (-2 - -3). Let u be 4/(7/(q/n)). Is u greater than or equal to 6?
False
Let h = -17.5 - 78.5. Which is bigger: h or -1/4?
-1/4
Suppose -3*b = -5*u + 70, 50 = 5*u + b - 0*b. Suppose 82 = -5*i + h, -4*h + 13 = -i - u. Which is smaller: -14 or i?
i
Let c = 22 - 3. Suppose -4*z - z = -15, 4*z = -2*f + 20. Let p(s) = -s**3 + 5*s**2 + s. Let x be p(f). Is x >= c?
True
Suppose 2*v = 6*v + 180. Let i = v + 44. Which is bigger: i or -3?
i
Let z(g) = g**3 + 6*g**2 - 8*g + 6. Let w be z(-7). Suppose -4 = -3*f - 5*k, -4*f - w = -4*k + 3. Let q be (-2 + f - -3)/14. Is -1 at least q?
False
Let s = 65 - 63. Suppose -5*o + o = s*o. Does -0.001 = o?
False
Let l = -1378 + 955. Is -422 smaller than l?
False
Let w = 2.1 + -1.8. Let j = -4.7 - 0.3. Let u = j - -4. Which is smaller: w or u?
u
Let h = 4994 + -4902.13. Let c = h - 92. Which is bigger: c or -2?
c
Suppose 2*z + 2*j + 2*j - 6 = 0, z - 5*j = 3. Suppose -7 = -4*u + c, -2*u - z*c + c + 6 = 0. Which is greater: u or -1/2?
u
Let a be 291/180 - (-4)/16. Let v = -8/15 + a. Suppose 9 = 11*j - 2. Which is smaller: j or v?
j
Let t(w) = -2*w - 31. Let b be t(-16). Let y(o) = 10*o - 7. Let h be y(b). Is 22/5 >= h?
True
Suppose -5*a + 20 = -5*w, a + 26 = 5*w + 14. Let u(q) = q**3 - 5*q**2 + 5*q - 1. Let l be u(5). Let h be ((-6)/(-4))/(4/l). Which is smaller: h or a?
a
Let j = 8 + -1. Let f(n) = -14*n + 68. Let v be f(5). Does j = v?
False
Let p = 23.9 + 15.5. Let d = 39 - p. Let z be 0 + (-1 - (-1)/3). Which is greater: d or z?
d
Suppose -4*k = 7*k - 429. Suppose 35*u + 20 = k*u. Is 19/4 at most as big as u?
True
Let d(o) = -2*o**2 + 16*o + 4. Let h be d(22). Is -611 < h?
False
Let b(c) = -2*c - 8. Suppose -5*s - 20 = 0, -4*i + 0*s = 5*s + 68. Let a be b(i). Do 17 and a have different values?
True
Let p = -39/2 + 113/6. Let j(g) = -2*g - 16. Let u be j(-7). Which is smaller: p or u?
u
Let z be -11 + (5 + -3 - 9). Is z greater than -27?
True
Suppose 9*o + 101 - 11 = 0. Let d be (-2)/(-5) + o/25. Is d greater than or equal to 0?
True
Let a = -6 + 12. Let r(u) = -u + 1. Let p(g) = -g + 5. Let m(d) = p(d) - 3*r(d). Let w be m(a). Which is bigger: w or 13?
w
Suppose 2*p + 5*s + 63 = 0, 95 = -4*p - s - 76. Do p and -42 have different values?
True
Suppose 0 = 7*c - 12*c - 45. Let d be (3 - c)*6/9. Let v be 15/25*(2 - -13). Is v at least d?
True
Let p = 4 - 19. Let v = p + 28. Let j = -18 + v. Does j = 0?
False
Let f = -8 + 14. Let p(s) = -s + 3. Let i be p(f). Let o be (i + 6 + -3)/1. Is o bigger than 1/3?
False
Suppose -3*x = 4*r + 57, 0*r - 30 = x + 5*r. Let k be (-3)/(-6) - x/(-10). Is k < -2/3?
True
Suppose 3*x - 5*j = 25, x + 5*j + 25 = -3*x. Let n = 114/7 - 221/14. Which is greater: x or n?
n
Let g = -18 + 18. Let t be -1 + 16/4 + g. Let v be 26/6 - (1 + t). Which is smaller: v or 5/7?
v
Let j = -30.1 - -32.1. Which is smaller: -0.8 or j?
-0.8
Let x be 21387/(-26) + 42/(-28). Let i = -825 - x. Is i less than or equal to 0?
True
Let g = 0.102 - 11.002. Let q = g + 11. Which is smaller: q or -5/9?
-5/9
Let n(v) = -v**2 - 9*v - 14. Let c = -109 - -102. Let j be n(c). Is 10/9 greater than j?
True
Let w = 0.1713 + 0.0287. Which is greater: w or -0.075?
w
Let f = 1.4 - -10.6. Let z = f - 12. Which is bigger: -0.06 or z?
z
Let b = 1916 - 2115. Which is smaller: 2/7 or b?
b
Suppose 0 = -s + 3*s + 4*r + 58, -3*r = -9. Let o be (16/28)/((-50)/s). Which is greater: 1 or o?
1
Let m = -4 - -8. Suppose 0 = -3*i + 12 + 27. Let p = i - m. Is p smaller than 9?
False
Let d(u) = -u**2 - 5*u - 5. Suppose 5*r + 4 = q - 17, 0 = q - 2*r - 6. Let k be d(q). Let l be (-17)/30 - (-42)/63. Which is bigger: l or k?
l
Let s(o) be the third derivative of -o**5/60 + o**4/6 + 7*o**3/6 - 5*o**2. Let b be s(8