 smaller: x or n?
x
Let i be (-25010)/(-183) + (-5 - 2). Is i smaller than 131?
True
Suppose 0 = 5*a + 3*w + 641, -5*a - w = 213 + 424. Let z = -127 - a. Which is greater: z or -8/11?
z
Let m = -66 + 61.88. Let v = -0.98 + m. Let b = v - 0.9. Is b at most 0.2?
True
Let p = 49.8 + -54. Are 2/9 and p equal?
False
Suppose 0 = 8*v + 6*v - 182. Which is bigger: 17 or v?
17
Let t(p) = -12*p**2 + p + 24. Let w be t(4). Let x = 222680/9 - 24906. Let n = w - x. Is n greater than -2?
True
Let q(c) = -c**2 - 9*c - 12. Let g be q(-6). Let k be 382/(-8) + 126/(-24) + g. Is -47 smaller than k?
False
Suppose 0 = -36*p + 32*p + 184. Let a = 30 - p. Which is smaller: -17 or a?
-17
Let j = -16.7 - 1.3. Let a = j + 20. Suppose -b - 7 + 6 = 0. Is b bigger than a?
False
Suppose -2*k - 78 = v + 2*k, 0 = -3*v + k - 169. Let o = v + 637/11. Let d = -17/66 - o. Which is bigger: d or -1?
d
Let y = -47.987 - -48. Let h = y + 2.787. Is h less than 2?
False
Let b be 2/(-6) - (-2)/(-3). Let c be 1/(b - 15/(-10)). Which is bigger: c or 1?
c
Suppose -25 = -3*k - 16. Let q = 2 - k. Let a be (1 + 1)*(-2)/(-68). Is q not equal to a?
True
Let b be (-32)/(-884) + 10/(-65). Which is greater: b or 1?
1
Let y be (-220)/(-60) - (-1 - -4*1). Is -62 smaller than y?
True
Let b(k) = k**2 + k + 1. Let o be b(-1). Let x(y) = 2*y**2 + 12*y - y**3 - 13*y - y**3. Let u be x(o). Which is greater: -2 or u?
u
Let c = -311 - -305. Let y(p) = -p**2 + p - 1. Let z(u) = 2*u**2 - 8*u + 8. Let b(x) = 3*y(x) + z(x). Let g be b(c). Is g at most as big as -2?
False
Let c = -74 - 75. Is 0.2 > c?
True
Let f = -1657/5 + 331. Which is bigger: -245 or f?
f
Suppose -8 = -5*y + z - 4, 3*y + 4 = -z. Which is smaller: y or 1/793?
y
Let k be (-4 - 429/12)/((-8)/(-32)). Is k <= -160?
False
Suppose -24*n + 4158 = 18*n. Is n equal to 99?
True
Let a(b) = 101*b + 4*b**2 - 108*b + 0*b**3 + 4*b**2 - 2*b**3 - 1. Let j be a(3). Let u be -4*3/2 - -1. Is u less than or equal to j?
True
Let c = 6.64 + -6.84. Let s = -4 + -6. Which is smaller: s or c?
s
Let z(k) = 10*k + 10. Let p be z(-4). Let h be ((-1)/(-44))/(p/(-24)). Let a(w) = w - 3. Let r be a(3). Which is smaller: h or r?
r
Let n = -8909/414 + 4/207. Is -21 at most as big as n?
False
Let b(p) = -7*p**3 + p - 1. Let c be b(1). Let s = 16 + -15. Let z = s - 3. Is z < c?
False
Suppose 8*i - 5 - 3 = 0. Let d be ((-4)/10)/(561/55). Is i > d?
True
Let b = 28 - -17. Let n be (-36)/b*1/2. Which is greater: n or 1?
1
Let f(w) = -11 - 7*w + 3*w**2 - 9 + 25 - 11. Let x be f(-2). Is 20 not equal to x?
False
Suppose -4*z + 4*b + 8 = 0, -2*z - 26*b = -23*b + 1. Which is greater: 2/29 or z?
z
Suppose 4*q - 3*b = 10 + 1, -2*b = 3*q - 4. Let a = -1663 - -1663. Do a and q have the same value?
False
Let f = -49/86 + 186/817. Let t = 1/445 - -1316/8455. Let m = t - f. Is m != 1?
True
Let g(d) = d**2 + 4*d - 42. Let p be g(4). Which is smaller: p or -51/5?
-51/5
Let l be (1/(-17))/(2/4). Let i = -7649/3 + 2551. Which is smaller: l or i?
l
Let s = -773587 - -411548409/532. Let a = 2/133 + s. Suppose 3*m + 2*d = 5, -5*d + 4 = 2*m - 4*d. Is m less than a?
False
Let o = 9 - 7. Let n(g) = 2*g**2 - 3*g + 1. Let t be n(o). Let a = 13 + -11. Are t and a nonequal?
True
Let j be (((-4)/66)/(-1))/2. Let w be ((-2)/6)/((-7)/84). Let i(m) = -m**3 + 6*m**2 - 6*m - 9. Let b be i(w). Which is smaller: j or b?
b
Suppose -10*h + 11*h - 13 = 0. Suppose 0*c = -h*c - 143. Is -12 greater than or equal to c?
False
Let o(j) = 4*j + 2. Let m be o(1). Let g be (m/(-12))/((-1)/(-2)). Let v = 892/5 - 179. Which is smaller: g or v?
g
Let t = -1810 - -25337/14. Let y(k) be the second derivative of -k**5/20 + 5*k**4/12 - 5*k**3/6 + 3*k**2/2 + k. Let h be y(4). Which is greater: t or h?
t
Let o = -49/4 - -3977/324. Suppose 2*r + 23 = 5*i, 10*i = 5*r + 7*i + 10. Which is smaller: o or r?
o
Let w = 18 - -22. Let a = w + -44. Is -4 at least as big as a?
True
Let b be 14*((-72)/(-96))/((-6)/4). Which is bigger: b or -15?
b
Let y = -455 + 185. Is y at most as big as -270?
True
Let d = 1.7 - 2.6. Let y = -0.1 + d. Let b = 0.0903 + 0.0097. Is b >= y?
True
Let l = -0.13 - -0.11. Let o = -0.07 + l. Let d = 0.01 - o. Do 9 and d have the same value?
False
Suppose 25 = 6*u + 1. Suppose -10 = u*h + 6. Which is bigger: h or -5?
h
Let j be (-38)/(-57)*1326/(-4). Is 2/5 <= j?
False
Suppose -5*r + f = 3 + 7, -2*r = -5*f + 27. Suppose -1 = y - 2*y. Let u be -3 + 3 - y/r. Which is bigger: u or -2/19?
u
Let j = -109 + 79. Let l = -14 - j. Are l and 16 non-equal?
False
Let i = 1205.93 - 1206. Is i >= 0.2?
False
Let g be 1157/390 - (-4 - -7). Let l be (1/3)/((-1)/3). Which is greater: l or g?
g
Suppose -4*g + 150 = g. Suppose g = 3*t + 3. Let z(y) = 63*y - 494. Let d be z(8). Which is smaller: d or t?
t
Let a(q) = q**3 - 10*q**2 - 11*q + 11. Let c be a(11). Is c at least as big as 93/8?
False
Let j be (-3)/(-1) + ((-46)/(-2))/1. Suppose -u + j = -5*d, 2*d - u = -3 - 8. Let o be ((-3)/(3/(-4)))/(-1). Which is smaller: o or d?
d
Let c(p) = -p**2 + 11*p - 21. Let b be c(7). Suppose b*j + 79 = -320. Is j bigger than -58?
True
Suppose -2*f = -h + 3*f + 2, 2*h - 4 = -5*f. Suppose h*g = -0*g. Suppose g*c + 3*c = 0. Are -1 and c unequal?
True
Let k(i) = -2*i - 4. Let y(s) = -3*s - 4. Let a(l) = 4*k(l) - 3*y(l). Let v be a(-9). Is -14 bigger than v?
False
Suppose -14 = m - 18. Let z be (-9)/(-4)*(-5)/(-90)*m. Which is smaller: z or 30?
z
Let t(m) = -4*m - 120. Let x be t(-21). Which is smaller: -178/5 or x?
x
Let z = 24 + -37. Let i = 15.7 - 2.7. Let m = i + z. Which is smaller: m or -20?
-20
Let h = 158 + -157.99. Which is bigger: h or -0.5?
h
Suppose -l = n - 56, -4*l + l - 156 = -3*n. Suppose v + 2*v = 5*r + 172, 4*r - 46 = -v. Are v and n non-equal?
False
Let l be (-2 - 520/12)*12/(-16). Does 34 = l?
True
Let g(m) = m**2 - 13*m + 35. Suppose -39 = -12*l + 81. Let x be g(l). Is x at most 2?
False
Let j be (-4)/14 + (-48)/(-21). Suppose j*b + b = 4*f - 13, 0 = 4*f + 5*b - 21. Suppose 12 = 2*t - f*t. Is t at most as big as -3?
True
Let m be -2*(-2)/(-20) - 1958/(-8690). Let k = 180/869 - m. Which is smaller: -26 or k?
-26
Let v = -1722 + 1724. Which is smaller: -226/3 or v?
-226/3
Suppose -u = 2*u - 45. Let x be (-39)/u - (-12)/(-30). Suppose -3*j = 4*y - 11, 3*j - 3 - 11 = -y. Which is smaller: y or x?
x
Let q(s) = -s**3 + 5*s**2 - 4*s - 1. Let a be q(5). Let g be (a/(-12))/(-7)*-1. Let k = 63 + -316/5. Which is greater: k or g?
g
Let c = -592513/5406 + 173/318. Let w = -109 - c. Which is smaller: w or -1/4?
-1/4
Suppose 346*r = 348*r - 4. Suppose 0 = t - 2 - 1. Let w be (-4)/6 - 10/t. Which is smaller: r or w?
w
Let n = -164165/972 - -35/243. Let j = n + 165. Which is bigger: -3 or j?
-3
Suppose -4*l = -2*l - 36. Suppose -34 - 2 = -4*q - 3*y, -q + l = 3*y. Is 3 at least as big as q?
False
Let t be -5 + 4 + 0 + 3. Suppose 0 = q + 3*u - 18, 2*u + 1 = q + 3. Suppose -4*c = -6 - q. Is t bigger than c?
False
Let x(m) = -3*m**3 - 1. Let t be x(-1). Let p be t/(-6)*(-3)/1. Let a = 11/207 + 9/23. Is a bigger than p?
False
Suppose -s + 2*r = -r - 5, -5*s + 4*r + 14 = 0. Let i be (4/(-6))/((196/(-21))/s). Is 2 smaller than i?
False
Let u = 9.9 - 11. Let m = -7.9 + 4.6. Let r = m + 1.3. Is r >= u?
False
Let f = 10336720/627 + -16486. Which is smaller: f or 1?
f
Let r(l) = l**2 + 5*l + 6. Let h be r(-5). Let o be (-2)/h + 935/33. Is o at most 28?
True
Suppose -9*z + 18 = -3*z. Let i be 261/z*3/45. Which is bigger: i or 6?
6
Let a = -33 - -36. Suppose 0 = -a*h - 0*h + y - 33, 4*h + 4*y + 60 = 0. Is h at least -11?
False
Let l = 2 - -10. Let j = l + 1. Let a be ((-1)/3)/(-4 + 32/6). Which is smaller: a or j?
a
Let n be (2 + 123)/((-6)/6). Is n != -126?
True
Suppose 4*m - 38 - 294 = 0. Let o be (5/2)/((-1915)/(-9020) - 38/209). Which is bigger: m or o?
m
Let p be 2/6*17*-33. Which is smaller: p or -186?
p
Let v = 30.031 - 0.031. Let p = v - 29. Is 2/43 greater than or equal to p?
False
Let r be (0 - 3)/(654/4). Suppose -364*p + 8 = -372*p. Do p and r have different values?
True
Suppose -6*n = -17 - 7. Suppose n*r - 5 = 3*r. Suppose -o - r*s = -3 + 8, 0 = 5*o + 3*s + 3. Is -3/7 less than o?
True
Let u = 70 + -27. Suppose u*f = 45*f. Let q = 8.3 + -8. Do f and q have different values?
True
Let j be (-2 - 0)/((-1)/203). Suppose 0 = -3*o - g + 24, o = -4*o - g 