 2/21 smaller than f?
True
Let v = 217 - 219. Which is smaller: 23/31 or v?
v
Let f = 21 - 18. Suppose -2*k + 2*x - 4*x = -14, f*x = 2*k + 1. Suppose -g + 5*l - 22 = -2*g, -5*g = k*l - 131. Which is bigger: g or 26?
g
Suppose -122*h - 260 = -118*h. Which is smaller: -63 or h?
h
Let v = 2.56 - -0.44. Which is greater: -0.31 or v?
v
Suppose 0 = 5*k - 3*c - 17, -5*k - c - 7 = 2*c. Let f(o) = 4*o - 2. Let b be f(k). Suppose x - 2*x = b. Which is smaller: 0 or x?
x
Let i(s) = -s**2 + 4*s + 17. Let f be i(5). Suppose -12 = -3*h - 3*k, 3*k - f = 5*h + 8. Is h bigger than -2/5?
False
Let v be (-2 - (0 - 1)) + 2. Is v greater than or equal to -5/18?
True
Suppose -12*w - 9872 = 4*w. Which is smaller: -616 or w?
w
Let m(g) = 12*g**3 + g**2 - 3*g + 5. Let w be m(2). Suppose v - w - 21 = 0. Let s be 1/(-3)*v/(-140). Is s bigger than -4?
True
Let g = -2085/7 - -2214/7. Which is smaller: 18 or g?
18
Let r(y) = -y**3 - 7*y**2 - 5*y + 6. Let h be r(-6). Suppose -4*v + 1 = 4*c + 5, 5*v - 1 = -2*c. Let q be 2/6*(1/(-2) + v). Is h less than or equal to q?
True
Let k be 4/6 + 218/(-3). Suppose -48 = -20*p + 17*p. Let g be (-6)/k*p/10. Are 1 and g non-equal?
True
Let h(c) be the second derivative of -c**5/20 + 5*c**4/12 + c**3 + c**2/2 - 13*c. Let a be h(6). Which is greater: 3 or a?
3
Let a = -0.4 - -1.4. Let d = -1 + a. Let c be (-1)/6 - (-270)/(-972). Which is bigger: d or c?
d
Let g = -70386/53 - -1328. Which is smaller: 0 or g?
g
Suppose 29 = -4*h + 37. Let d be (h/3)/(66/(-18) + 3). Are 4/55 and d nonequal?
True
Let t = -8 - 9. Let s = 18 + t. Which is smaller: s or 3/2?
s
Let f be 58/10 - (-12)/60. Let u(o) = o**3 - 8*o**2 + 6*o + 8. Let p be u(f). Let i = p - -30. Which is smaller: 9/7 or i?
9/7
Let j(q) = q - 6. Suppose 2*f = -0*f + 12. Let o be j(f). Let z = 1887/7 - 269. Which is smaller: o or z?
o
Let n = 439 + -895/2. Let m be (-68)/6 + (-20)/(-15). Is m at least n?
False
Let z = -1609 + 1596. Which is smaller: -52 or z?
-52
Suppose -10 = -q - 8. Let j be 102/(-2) - (-10 - (-15 + q)). Is -56 at most as big as j?
True
Let r = -46 + 5. Let b = 105 - 104. Which is smaller: r or b?
r
Let g = 81 + -487/6. Let q(j) = -j**2 - 8*j + 5. Let k be q(-8). Let t = 6 - k. Which is smaller: g or t?
g
Let b = 54/209 + 896/209. Is b bigger than 4?
True
Let y(q) = 2*q**3 - 70*q**2 - 22*q + 162. Let h be y(35). Is h greater than or equal to -608?
True
Let t = 84.012 + -84. Let k = 0.092 - t. Let l = -33/2 + 17. Is l greater than or equal to k?
True
Suppose 0 = 2*y - g + 63, -y - 31 = 3*g - 10. Suppose 7*m + 124 = 3*m. Which is smaller: y or m?
m
Let x = -2 - -12. Let v be 88/6 + x/(-15). Let i be (6/v)/((-11)/(-77)). Is i <= -1?
False
Let s(f) = 3*f + 10. Let m be s(-4). Let t = 77.1 - 77. Which is bigger: m or t?
t
Let d be 1/(-426)*378/(-84). Is d > 1?
False
Let z = 627 - 330. Suppose -2*x + 11*x = -z. Which is smaller: -34 or x?
-34
Suppose 29*r - 25*r + c - 413 = 0, 5*c = -5*r + 535. Which is bigger: 100 or r?
r
Suppose z - 10*u = -12*u - 25, -5*z = 5*u + 135. Which is bigger: z or -35?
z
Let o be -3 + (100/(-7))/(-5). Let r = o - -5/7. Is r greater than or equal to -3/5?
True
Let f be (0 - -4 - 7/2)*0. Which is smaller: 4/51 or f?
f
Let r be 3 + 0*1/(-2). Let d(k) be the first derivative of k**4/4 - k**3 - k + 73. Let n be d(r). Are -2/27 and n non-equal?
True
Let s be (-4)/(-10) + 1687/(-5). Let o = 25/23 + -46771/138. Let h = s - o. Which is smaller: h or 0?
0
Suppose -6*p = 5*p - 77. Suppose -3*z - g + 23 = 0, -g = -4*z + 3*z + 5. Is p at most z?
True
Let t(c) = -c**2 - 2*c + 23. Let j be t(-5). Suppose -2*k - 2*k + 2*m = -36, -m = 3*k - 27. Which is bigger: j or k?
k
Let j be (-12)/(-540)*6 + (-129)/(-45). Let l = -6 + 6.4. Let s = 1.6 + l. Is s < j?
True
Let b(f) = f + 12. Let u be b(-10). Let j be 608/(-6) - 6/9. Let c = 514/5 + j. Is c at most u?
True
Let o(z) = z**3 - 5*z**2 + 5*z - 5. Let n be o(4). Let r(s) = s + 2. Let c be r(n). Let l be 2 + (-17)/7 - 100/(-266). Which is bigger: l or c?
c
Let y(a) = -11*a**3 - 9*a**2 + 20*a + 3. Let q(z) = -4*z**3 - 3*z**2 + 7*z + 1. Let b(v) = 17*q(v) - 6*y(v). Let o be b(2). Which is smaller: o or -9?
-9
Let z be (9 - (6 - -5))/3. Let v = -14 + 20. Which is smaller: z or v?
z
Let b = -13 - -14. Suppose 5*r = -3*g + 4*r - 282, -5*g + r = 462. Let d be ((-2)/g)/(7/(-21)). Which is smaller: d or b?
d
Let b be (-80)/(-90)*(-1)/1292. Which is smaller: -1 or b?
-1
Suppose 2*q + 3*b = 3, -5*q + 1 = 70*b - 69*b. Is -7/6 < q?
True
Let g = 0 + 0. Let k(u) = -u**3 - u**2 + 8*u + 4. Let v be k(-4). Let p be (-26)/(-24) + (-15)/v. Is p at most as big as g?
False
Suppose -g = 3*g. Suppose -30 = -g*c + 5*c. Let u = c + 6. Is 2 greater than u?
True
Suppose o - 2 = -3. Let r = -2 - o. Let v be 1 + (-7)/((-42)/(-24)). Is v less than r?
True
Let r be (2/(-6))/(5/(-90)). Suppose -2*c = a, -5*c - r = -4*c - a. Which is bigger: 2/3 or c?
2/3
Suppose 2*y + 5 = 19. Let b(o) = 5*o - 3. Let x be b(2). Is y less than x?
False
Let l be (-3)/(0 + 2/(-6)). Let n be 8*1*l/(-6). Which is greater: n or -13?
n
Let t = -209 + 143. Let a be (t/9)/((-6)/45). Suppose -5*r + 5*p + a = 0, 16 = -5*r - 3*p + 47. Which is smaller: 6 or r?
6
Let c be ((-2)/(-3))/((-45)/(-60)). Suppose 3*y + 3*b = 15, 5*y - 3*b = 4 - 3. Is c smaller than y?
True
Let n = 2.317 + -2.45. Let v = n - -0.133. Do v and 0.088 have the same value?
False
Let y = -0.153 + 10.353. Let w = y + -10.2. Are -10.1 and w unequal?
True
Let g = 4 + -8. Let p be -1*1 + g/(-3). Let o = -32/45 + 2/45. Which is smaller: o or p?
o
Let p(b) = 2*b**2 - 58*b - 44. Let u be p(31). Which is smaller: 82 or u?
u
Let v = 14 + -14.02. Let x be 4/(-5*1/17). Let f = x - -14. Which is bigger: f or v?
f
Let m = 832 + -424. Is m >= 410?
False
Suppose 4*j - 47 = -v, 49*v - 93 = 45*v + 3*j. Let z(n) = 3*n**2 - n - 3. Let i be z(-3). Is i not equal to v?
False
Let u be (3 + 11 - 6) + -8. Which is greater: u or -22/41?
u
Suppose -24*m - 559 = -79. Suppose -5*y - 78 = 3*h, 2*y + 2 = -4. Let g = h - m. Are -1/21 and g unequal?
True
Suppose 4*b + 92 = 3*v, 5*b - 3*v + 48 = -67. Suppose -16 = -5*i + 4*a - 144, 5*i - 2*a = -124. Is i less than b?
True
Let g(q) = 14*q**2 - q + 1. Let j be g(1). Let l be (7/j)/(-1 + 0). Do 0 and l have the same value?
False
Suppose -3*c = 5*m - 29, 8*m + 4*c - 20 = 4*m. Let y be (1 + (-11)/3)*(-10 + m). Is y <= 5?
False
Let d = -41 - -33. Let z = 7 + d. Is -2 < z?
True
Suppose 0 = 3*b + 4*h - 1, -4*b - 3*h = -0*b - 6. Suppose -y + 21 = 6*d, -5*y - d + 6*d = 0. Is y > b?
False
Let n be -11*1/(-2) + 47/(-94). Suppose 0 = 3*b - 6*b - 4*o + 53, -2*b - 2*o = -32. Let x be b/2 + 5/10. Is x less than or equal to n?
False
Let x = -23.2 - -13.1. Let i = x + 10. Let a = -6.7 + 8. Which is bigger: a or i?
a
Let p be (0*2/8*-2)/1. Suppose p = 5*w + 3*b + 22, 4*b + 14 = -2. Which is bigger: -9/5 or w?
-9/5
Suppose 80 = -4*a + 2*z, -6*a = -2*a + 5*z + 80. Is a bigger than -8?
False
Let g = -63 + 65. Suppose 0 = -2*q - q + 12, -3*t + g*q = 44. Is t bigger than -12?
False
Let k be 21/(-21) - -1*11. Let u be k/51*14/105*9. Does 0 = u?
False
Let z = -828547321/236 - -3510788. Let o = -1/59 + z. Let d = 215/36 + o. Which is greater: d or 0?
d
Let b be (-10)/(-15)*-3*(-4)/(-8). Does 22/115 = b?
False
Let u = -13 - -37. Let v = -21 + u. Which is greater: v or -1?
v
Let u be (0/8)/(2 - 3). Which is smaller: 1/94 or u?
u
Suppose -2*a + 31 = 34*y - 31*y, 5*a + 4*y = 60. Do a and 55 have the same value?
False
Let f = -42 - -33. Let k(u) = -u**3 - 8*u**2 + 10*u + 5. Let b be k(f). Is -2 at most b?
False
Let j = 601 + -587. Which is greater: j or 15?
15
Let i(k) = 46*k + 28. Let v be i(7). Let d be (1/(-5))/(-5 - (-1730)/v). Is 3 not equal to d?
True
Let f = -1.151 - -6.151. Does 61 = f?
False
Let a(s) = -2*s + 12. Let u be a(5). Suppose -2*q + 6 = u*w, -4*q - w = 2*w - 11. Is q < 3?
True
Suppose -6*l + 7*l - 2 = 0. Suppose -t - 2*i = -23, 0 = t - l*t - 4*i + 33. Which is greater: 1 or t?
t
Let d = -1966 - -1833. Is d <= -933/7?
False
Let y(i) = -i**2 + 22*i - 205. Let t be y(13). Which is smaller: t or -76?
t
Let k be ((-4)/(-6))/(14/21). Let m be (-3 - -2)*k*-2. Suppose -m*u - 36 = 2*u. Is u less than or equal to -9?
True
Let j be 165/100 + 9/(-6). Let i be 25/5 - 2 - 2. Which is smaller: i or j?
j
Let c = -230 +