i be (-14)/21*w/4. Which is smaller: i or 2?
i
Suppose 2*k = -k. Suppose 2*t + t + 18 = k. Let d be 2/6 + t/(-9). Is d at most 1?
True
Suppose 20 = 2*n + 8. Let s = n - 11. Is s greater than -5?
False
Let y = 314/7 + -873/14. Is y greater than or equal to -19?
True
Let m(f) = -f + 5. Let g be m(5). Let i = 3101/22 - 141. Which is greater: i or g?
g
Let y be (-2*(-4)/(-16))/(-2). Which is greater: y or -1?
y
Suppose 4 = 3*z - 2*w, 2 = -4*z - 2*w + 12. Let i be (-6 - z - -3) + 3. Is -2 smaller than i?
False
Let s be 14*(-6)/8*2. Let m be 2/2 - s/(-18). Let q = 1 - 1. Is q at least as big as m?
True
Let t be 1/2*(12 - 18). Suppose -a - 10 = 3*d - 3, 5*d + 3*a + 17 = 0. Is t >= d?
False
Let n be (33/6)/((3 + -2)/(-2)). Is -11 at least n?
True
Let y be 5 + -3 - -10 - -1. Let s = 13 - y. Which is smaller: 3/17 or s?
s
Let t be 21/(-27) - 4/18. Let k(v) = -v**2 - 2*v + 1. Let r be k(1). Let u be (6/3 + r)*t. Is u greater than 2?
False
Suppose -4*z - 2*q + 11 + 31 = 0, -5*z = -q - 56. Let r be (-2)/z - 315/(-99). Is 4 >= r?
True
Suppose 3*p = 33 + 57. Let w be (-40)/p*3/14. Which is smaller: w or 1?
w
Suppose 5*d = -39 - 81. Let v be (-2 + d/(-21))*7. Is -2 greater than v?
True
Let p be 1/4 - 188/48. Is p <= -4?
False
Let d = 9.07 + -0.07. Let y = -8.1 + d. Let u = 0.8 - y. Which is smaller: 2/5 or u?
u
Let h = -1312/9 + 146. Let j = -2 - 2. Let x = -3.8 - j. Which is smaller: h or x?
x
Let b be (-8)/60 + (-1033)/15. Is -69 != b?
False
Let i = 276 - 277. Let f = 27354/19 + -1440. Which is smaller: f or i?
i
Let i(v) = v**3 - v**2 + v. Let c be i(1). Let m be (1 - 2)*1 + c. Is m != 3/8?
True
Let d(u) be the second derivative of -u**2 + u + 1/6*u**3 + 0. Let s be d(2). Are -2 and s non-equal?
True
Let w = 4 + -8. Let n be ((-8)/3)/w*-3. Let g be (3 + n)*(-4 - -1). Is g at least as big as -4?
True
Let x = -733/6 - -122. Suppose 3*t + 3 = -3*m + 6, m - 1 = 3*t. Which is bigger: x or t?
t
Let c = -9414/355 - 20/71. Suppose 4*p + p - 140 = u, 0 = 3*u + 15. Let a = p + c. Is a greater than 1?
False
Let g = 6.083 + -0.083. Which is smaller: 12 or g?
g
Let w be (12/16)/(5/(-8)). Suppose -2*j - 3*j - 30 = 0. Let v = -8 - j. Is w equal to v?
False
Let w = -14 + 12. Let j = w - -2. Which is bigger: j or -0.4?
j
Let k(i) = i**2 - 7*i + 15. Let y be k(6). Let o be (1/10)/(y/(-72)). Which is smaller: o or -1?
-1
Let i(v) be the first derivative of -v**2/2 - v + 7. Let d be i(-1). Which is bigger: d or 2/9?
2/9
Let a(g) = -3*g - 4. Suppose 5*n = -5*d + 10, 3*n + 2*d - 1 = -0. Let s be a(n). Let h be 13/(-10) + (-1)/s. Is -2 > h?
False
Let o = 87/2 + -43. Let c be 0 - (2 + 2*-1). Is c <= o?
True
Let u be 2/(-10) + 4/(-5). Is u > -3/5?
False
Suppose -6*d + 20 = -2*d - 4*h, -4*h - 13 = 3*d. Let b = d + 0. Suppose -b + 6 = -5*g. Are g and -2 non-equal?
True
Let r be -2 + 2 - (-21)/18. Is r at least as big as 2?
False
Let j = 1/28 - 31/84. Is 2 != j?
True
Let n = -13 + 12. Is -0.05 at most n?
False
Let b(f) = 14*f + 3. Let v(k) = 9*k + 2. Let o(h) = -5*b(h) + 8*v(h). Let z be o(-1). Is z bigger than -5/7?
False
Let i(l) = -2*l - 1. Let p be i(-1). Suppose -3*f - p = -4*s - 4*f, 5 = -s - 2*f. Let b be 3/(-2)*(s + -3). Are b and 3 unequal?
False
Let k be (4/28 + 0)*-5. Which is bigger: k or 2?
2
Let b = -519/7 - -74. Suppose 2*q - r + 2 = -1, -5*r + 2 = 3*q. Which is smaller: q or b?
q
Let q be 18/(-4)*(-2)/3. Let b be -8*(20/8 - q). Is 4 at least as big as b?
True
Let f(w) = -2 - 4*w + 6*w + 13*w**2 - 9*w**2 - 2*w**2. Suppose -2*i = -5*j - 21, j + 21 = -3*i - 2*j. Let x be f(i). Which is smaller: 5/3 or x?
5/3
Let p(u) = -2*u**3 - 2*u**2 - 2*u - 1. Let h be p(-1). Let n = 16 - 14. Which is smaller: h or n?
h
Let o(d) = -d**3 - 7*d**2 - 8*d - 6. Let s be o(-6). Suppose -m - 2 - s = 0. Which is greater: m or 0?
0
Let r = 5 - 8. Suppose -2*i = z + 4, -3*i - 13 = 4*z + z. Is r <= z?
True
Let l be -5 + 3 + 2 + 24. Which is smaller: l or 23?
23
Let l be 42/12*2/(-31). Let y = 57/527 + l. Which is greater: y or 0?
0
Let h = -4.8 - 0.2. Is -1/4 greater than or equal to h?
True
Let c = -233/91 - -19/7. Which is smaller: 4/5 or c?
c
Suppose 0 = -q + 4*w + 11, 5*q - 5*w + 4 = 29. Suppose -2*l = l - q. Suppose -2*t + 5*d = 11, -18 = -5*t + 2*t - 4*d. Which is smaller: l or t?
l
Let g = -11 + 11. Let c = 7 + g. Is 0 != c?
True
Let u = -153/5 - -91/3. Let o = 61/60 + u. Suppose -3*m + 1 = -2. Which is smaller: o or m?
o
Let w(a) = 6*a**2 - 1. Let f be w(-1). Suppose -3*s - f = 2*s. Which is smaller: -2 or s?
-2
Let o be (-1 - 0)/1 - -4. Let w be (8/10)/(1/5). Is w less than o?
False
Let o be 31/3 - (-4)/(-12). Suppose m - 3*n - o = 7, 4*n = -4*m - 12. Suppose -v + m*v = 0. Which is greater: v or -2/3?
v
Suppose 5*g - 9 = 6. Which is smaller: -1 or g?
-1
Let p = 51 + -203/4. Suppose -3*z = -2 - 1. Let w be z + -4 - (-12)/4. Which is smaller: w or p?
w
Let j(y) = 4*y - 2. Let a be j(2). Let v be (-4)/a - (-2)/(-6). Are v and -1 nonequal?
False
Let m = -0.14 - 0.06. Let r = -18 - -53/3. Which is greater: m or r?
m
Suppose -d + 3*d - 8 = 0. Let i(b) = b**3 + 4*b**2 - 2*b - 8. Let w be i(-4). Suppose -d*v - 2 + 18 = w. Is v less than or equal to 4?
True
Let g = -0.05 + -1.95. Let x be (-10)/(-24) - (-4 - 102/(-24)). Which is greater: g or x?
x
Let a(k) = 3*k. Let u be a(-10). Let q = u + 26. Is q at least as big as -7/2?
False
Let b be (-1)/(-2) - (-1 - 295/10). Is 31 >= b?
True
Let b = 12/1547 - -10/91. Let g be 12/(-84) + 1/7. Is b smaller than g?
False
Let y(k) = 4 - 4 + 1 - 16*k. Let b be y(-5). Let i = b - 569/7. Which is bigger: i or 1?
1
Let j = -0.1 - -1.1. Let o = 60 - 65. Which is greater: o or j?
j
Let c = 7 + -2. Let w = 0.2 + -0.2. Are w and c non-equal?
True
Let t = 0.13 + -1.53. Let u = t + -0.6. Let s be 0 - (-2)/(-2) - -3. Is s greater than or equal to u?
True
Let w(g) = -13*g**3 - g**2 + 1. Let s be w(1). Let n = -18 - s. Are -6 and n nonequal?
True
Let d = -5 - -2. Let u = d - -5. Let h = 4 - 3. Which is smaller: u or h?
h
Let g be 6*3/(-102)*2. Which is greater: g or 0?
0
Let r be (1 - 2)/(0/1 - -1). Let u = 1 - 1. Let q = u + 4. Which is greater: r or q?
q
Let x = -21 + 20. Which is bigger: 1 or x?
1
Let t be 6/4*(-10)/(-3). Is 4 bigger than t?
False
Let q be 64/32 - 2/(-3)*-6. Let i be 11/(-35) - (-4)/(-10). Is i equal to q?
False
Let n be 0 + -1 + (-2)/(-1). Let u = -2/27 + 37/135. Is u bigger than n?
False
Let k be (3/12)/((-3)/(-12)). Let n(f) = 2*f - 1. Let s be n(k). Which is smaller: 4 or s?
s
Let n be (3/(-2))/(3/(-20)). Suppose 26 = 4*p + n. Let c be p/(-10) + (-16)/(-140). Is 1 at most c?
False
Let c = 43 - 40. Let g = 0.3 - 0.4. Which is greater: g or c?
c
Suppose 0 = -7*h + 3*h + 32. Which is smaller: h or 10?
h
Let v be (0 + 3)*(0 + 1). Suppose 5*p = r - 15, -v*r - 11 = 4*p + 1. Let g = -224 + 222. Which is smaller: g or r?
g
Suppose -4*k - 1385 = -37. Let o = -6401/19 - k. Which is greater: o or 1?
1
Let i = 0 - -2. Suppose 0 = 2*y - 0*y + i. Are y and 0 nonequal?
True
Suppose -3*t = 5*v - 19 - 151, 3*v + 2*t - 102 = 0. Let u be v/60 - (-4)/(-10). Is u < -1?
False
Let d = 12 + -9. Are d and 4 nonequal?
True
Suppose 0 = -h - 0*h - 3. Let k be (-10)/3 + 1/3. Is h smaller than k?
False
Let y be (1 + 7)/(1/(-1)). Let p = y - -4. Let s be 39/(-60) - p/10. Which is greater: s or 0?
0
Let k(l) = -l + 5. Let m be k(0). Suppose -4*s = -s + 2*d - 7, -22 = -3*s - m*d. Let c = -7 + 5. Which is smaller: s or c?
c
Let f be 10/20*22/(-1). Let l = -11 - f. Which is greater: l or -1/18?
l
Let w = 6 + -15. Let l = 13 + w. Which is greater: -2 or l?
l
Let s = -44 - -44. Is 1/57 less than s?
False
Let g = -9 - -3. Is g equal to -2?
False
Let c = 0.08 - -0.92. Let o be 17/(4 + 0 + -3). Is c >= o?
False
Let c = -2/2959 + 9019/210089. Which is greater: c or -1?
c
Suppose 4 = -l + 2*l. Let x be (-2)/7*(-2)/l. Is x >= -1?
True
Let o be ((-2)/8)/((-350)/(-20)). Which is bigger: o or 1?
1
Suppose 32 = 7*x - 52. Is 6 smaller than x?
True
Suppose 5*a + 4*g = -13, 4*a = -2*g - 4 - 4. Let c = 5 - a. Which is smaller: c or 5?
5
Let n be (-4)/14 + (-5)/7. Let j = 42 + -880/21. Is j less than n?
False
Let x(d) = 6*d**3 - 2*d**2 + 1. Suppose 3 = 3*n - 3*t, 4 = 4*n + 3*t - 0*t. Let f be x(n). Suppose -28 = -3*y + f*q, 9 = 5*y - q - 1. Is 0 at most y?
True
Let f = 35.6 - 36. Which is grea