 Let i = -13401/3122 + y. Is c less than or equal to i?
False
Let y be ((-4)/(-12))/((-1)/(-3)). Let d be (-2 + y - -1)/(-1). Let s = -2370/37 - -64. Which is bigger: d or s?
d
Let n(u) = 1 + 0*u + 2 - 5*u + 0. Let a be n(4). Let h = -165 - -148. Is h not equal to a?
False
Let o = 71 - 69. Let v = 881/18 - 287/6. Which is smaller: o or v?
v
Let p(m) = 16*m - 196. Let o be p(15). Is o less than or equal to 45?
True
Let p(w) = w**3 - 9*w**2 - 26*w + 45. Let d be p(11). Is d > 101?
False
Let l be (1/(-3) - 0)/((-17)/51). Let k(b) = 2*b**2 - 4*b + 2. Let u be k(2). Suppose -5*y + 2*y = 5*m - 6, u = 3*m + y. Which is smaller: l or m?
m
Let d be (27/(-162))/(2/(-4)). Is -0.4 smaller than d?
True
Let t = 2.01 - 2. Let r = -2.21 - -2.7. Let z = r + t. Which is bigger: 0 or z?
z
Let c be (-19575)/(-150)*(-2)/(-3). Which is smaller: c or 90?
c
Let l be (-3799)/(-2620) - 6/5. Is l smaller than -66/5?
False
Suppose -n + 45 = 2*n. Let r be (-2)/(-5)*(23 - 8). Let j be (-7)/((-21)/r - -3). Which is smaller: n or j?
j
Let h = -52/15 + 593/210. Is -1 equal to h?
False
Let d = 3 - 4. Let f be (-3 - (-2 + 0))*(d - 0). Is f not equal to 2/3?
True
Let w = -1.24 + 1.1. Let l = -13.14 - w. Let j = l - -6. Which is bigger: 1 or j?
1
Let q = 7/171 - -7621/5985. Which is smaller: q or 2?
q
Let f be (6/(-12))/(1/(-106)). Suppose 0 = 5*p + 3*j - 276, -3*p + 3*j = -j - 154. Which is smaller: p or f?
f
Let c = -149 - -2387/16. Suppose 0 = d + 290 - 291. Which is greater: d or c?
d
Let u be (-2 - (-90)/44)/((-2)/8). Which is bigger: 58/3 or u?
58/3
Let r = 96 + -95.8. Let j(y) be the first derivative of y**2/2 + y + 1. Let m be j(0). Is r greater than or equal to m?
False
Let f = 4 - 3.1. Let y be (-30)/(-9) - 4/(-6). Suppose -2*c = -4*r + 4, 0*c - c = y. Which is bigger: f or r?
f
Suppose 8*p + 2*f = 9*p - 58, -2*f = 8. Is p < 51?
True
Suppose -28 = 4*b + 4*i, -4*b - 6 = -i + 2. Suppose -5*z - 12 = -3*m, -2*m = 5*z - 0*z - 8. Suppose 2*t = 0, m*p - 5 = 5*p - t. Which is greater: p or b?
b
Suppose 0 = 5*m - f + 81, 2*m + f + 2*f + 29 = 0. Which is greater: -15 or m?
-15
Let l be (-36)/(-126) - 327/(-7). Let h = 46 - l. Which is smaller: 1/15 or h?
h
Let s = -0.048 - -26.048. Let h = s - 25.3. Which is smaller: h or 0.2?
0.2
Let d = 416.9 - 448. Let i = d + 31. Let t = -1.1 - -0.1. Is i != t?
True
Let f = -433 + 468. Is 0.1 greater than or equal to f?
False
Let v(x) = 16*x - 1. Let g be v(6). Suppose 5*j + 78 = -3*y, -5*y - g + 5 = -5*j. Let o = 11 + y. Is -9 bigger than o?
True
Let q = 2/163 - 243/6520. Which is smaller: 2 or q?
q
Let h = 69.18 - 68. Let w = h + -0.18. Is w < 4?
True
Let m = 73 - 74. Which is bigger: m or 3.7?
3.7
Let r = 1150.12 + -1150. Let s = 6 - 5.5. Is s > r?
True
Let z = 140/81 - 305/567. Which is smaller: z or 0?
0
Suppose -2*g = -68 - 70. Let f be (-2 - (-137)/g)*(4 - 7). Which is greater: f or 1?
1
Let g = 0.0469 + -3.0469. Let u(c) = 9*c**2 + 1. Let z be u(-1). Is z greater than or equal to g?
True
Let f = 18763 - 13040287/695. Let r = -1991/16686 - -32646151/81177390. Let a = f - r. Which is greater: a or -1?
a
Let h = -681 + 681. Let g = -12181/5 - -2427. Which is bigger: h or g?
h
Let c = 2114 + -61300/29. Let q = 117/145 - c. Is q equal to -6?
False
Let l(q) = 4*q**3 - q**2 - 4*q. Let g(o) = -o**2 + 22*o + 25. Let s be g(23). Let f be l(s). Which is smaller: 18 or f?
18
Suppose -9*i + 17 = q - 6*i, 0 = 2*q - i - 34. Let v(m) = m**2 - 20*m + 50. Let z be v(q). Which is smaller: z or 1?
z
Let a be 32/(-200)*2/48. Suppose -2*x = -2*i + 2, 0 = -2*x + 3*i - 6*i - 2. Is x < a?
True
Suppose -q - s = 3, -17*q + 13*q + 4*s = -20. Is q at most 3/269?
False
Let j be ((-12)/(-9))/(6/(-9)). Suppose -2*b - 2*y - 3 = -15, -2*y + 8 = -2*b. Which is bigger: b or j?
b
Suppose -5*g - 5*z = -39 + 64, 2*z = 3*g - 5. Suppose -2*p + 1 = 7. Which is smaller: p or g?
p
Let o be (-44)/(-10) - 2/5. Suppose -5*u = 5*k, 4*u - o*k - 18 = 2*u. Suppose 2*r - 18 = -4*n, 0 = -3*n - u + 18. Which is smaller: r or 2/17?
r
Let z = 894/7 - 128. Which is smaller: z or -5?
-5
Let r(j) = -2*j - 7. Let n = 11 + -16. Let y be r(n). Suppose -1 = -6*g + 5. Is y less than or equal to g?
False
Suppose 2*c - 2 = 0, -3*c = 2*i - 22 + 1. Suppose i*o = 7*o - 16. Suppose h + h + 8 = 2*v, 24 = -5*h + 4*v. Is o greater than h?
False
Let l = -761/4 - -189. Is l < 6/7?
True
Let l = -4 + 5. Let p = l - -5. Let y = 32 + -27. Which is greater: y or p?
p
Let j = -575 - -576. Is 4/377 at most j?
True
Let b = -3313/17 - -195. Let x(a) = a**2 - 6*a + 3. Let k be x(6). Suppose 7*y + k = 4*y. Which is bigger: b or y?
b
Let z = -3.9 + 4. Let h = 0.1 + z. Let t = 15 - 14.9. Which is greater: t or h?
h
Suppose 51*w = 46*w + 35. Is w less than or equal to 26?
True
Let z = 0.33 + 14.67. Let s = 48.1 + -27.1. Let t = z - s. Which is smaller: 0 or t?
t
Let t = 14 + 106. Let m = -118.5 + t. Which is greater: m or 5?
5
Let w = -35809/1131 + 95/3. Are w and 1 non-equal?
True
Let i be (6/(-15))/(1/(-5)). Suppose 4*n - i*v = 6, -6*v + 2*v - 7 = -3*n. Let a = 1733/30 - 289/5. Is n equal to a?
False
Let a be (1 - (-3 + 12))/(-4 + 33). Which is greater: a or 1?
1
Let d = -3.1 + 3. Let l(p) = p**2 - 50*p + 29. Let i be l(49). Which is greater: d or i?
d
Suppose 3*j + 6 = -6. Let b be ((-8)/70)/(j/(-10)). Let h = 813.3 - 812. Is b bigger than h?
False
Let z = 273959 - 3833845/14. Let p = 113 - z. Is p at least 0?
True
Suppose -6*q + q = -35. Let o be (3 + -5 + 3)*1 - -2. Let p(u) = u**2 - 5*u + 12. Let c be p(o). Is q bigger than c?
True
Let i = 306/1651 + -4/127. Let u = -37 - -37. Which is bigger: u or i?
i
Let u = 2.09 + 92.91. Let x = u - 96. Is -0.6 at most as big as x?
False
Let x = -11755 - -2104135/179. Is 0 smaller than x?
False
Let j = 5 - 2. Suppose t - 2*t - 2 = -k, -3*k + 36 = j*t. Let m be 3 + (7/1 - 3) + 0. Is k equal to m?
True
Let l be 6923/(-10320) + 1/3. Let f = 147037/80 + -1838. Let z = l + f. Which is smaller: z or 0?
z
Let c = -40.4 + 37.4. Is 60 < c?
False
Suppose l - r - 62 + 8 = 0, -4*r - 16 = 0. Suppose 52*y - l*y - 4 = 0. Which is bigger: 7 or y?
7
Let j = 11 - 9. Suppose -z - 3*u - j*u = -35, 0 = 5*z + 2*u - 83. Are 15 and z unequal?
False
Let x = -5 - -2. Let i be x/(-6) - (-1)/2. Let a be (-5)/19*(-10)/(-25). Are a and i unequal?
True
Let s be 132*(-1 - (-3)/(-9)). Let o = -1405/8 - s. Let f = -0.28 + 0.28. Which is greater: f or o?
o
Suppose -5*h = 1 - 11. Suppose -n - 3*o - 3 = 2*n, 5*n - h*o = 16. Suppose -110 = 3*c - 3*y - 116, -7 = -4*c + 3*y. Is n >= c?
True
Suppose k = -3 + 2. Let i be (k + -5)*2/(-3). Suppose -i*w + 3 = -w. Is 1/6 at most as big as w?
True
Suppose 0 = -7*p + 15*p - 600. Let s = p + -42. Which is smaller: 35 or s?
s
Let t be (4/(-42))/1*-33. Let o = t - 395/119. Let s = -1 + 0. Which is smaller: s or o?
s
Suppose -5*h - 11 = -4*u, h - 4 = -2*u + 5*h. Let a be u/8 + (-86)/188. Is a at least 0?
True
Let n = 7929/278 - 3/139. Let o = n + -119/4. Are -1 and o non-equal?
True
Let z = 13.33 - 0.33. Let b = 5 - z. Is -1 less than b?
False
Let o = -68.551 + 0.051. Let j = o + 69. Which is smaller: -7 or j?
-7
Suppose 19*l - 66 = 25*l. Is -182/17 smaller than l?
False
Let p = -701 + 702. Is p bigger than -7/25?
True
Let s be (-16)/6 + (-2)/(-3). Let y be (156/5 - 0)*(-35)/(-2905). Let v = 2/83 + y. Is s not equal to v?
True
Let x(n) = -n**2 + 3*n - 1. Let b be x(3). Let g(z) = z**2 - 6*z + 3. Let j be g(3). Let y be (-80)/525 + j/(-21). Is b at most as big as y?
True
Let f be (-3 - -4) + 5 + 43. Are f and 51 nonequal?
True
Let f = 497.88 - 498. Which is bigger: -1.1 or f?
f
Let s(u) = -2*u + 4. Let b be s(3). Let m be (-5)/(25/4)*(-225)/(-81). Is b at least as big as m?
True
Let a = -558 + 823. Let x be (-1352)/(-28)*(-11)/2. Let f = x + a. Is -2 at most f?
True
Let k(s) = -s**3 + 4*s**2 + 8*s - 15. Let u be k(5). Is -4/73 at least as big as u?
False
Suppose 22 = -5*g + 42. Suppose -3*o = -5*c - 14, g*c + 14 = o - 0*o. Suppose -p - 25 = 4*p. Which is smaller: o or p?
p
Let p = 1 + 3. Let n(l) = -2*l**2 + 4*l. Let j be n(p). Do j and -17 have different values?
True
Suppose 38*s + 102 = 44*s. Which is bigger: 21 or s?
21
Let r(l) = l**3 + l**2 + l + 1. Let q be r(-1). Suppose 5*z - 41 - 14 = q. Suppose 3*g + 5 = -4*m, 4*g + z = 2*m - 3*m. Is 1/12 >= m?
False
Let y = -19.6 +