. Which is bigger: 2/11 or i?
2/11
Let m = -21991/21 + 1047. Which is smaller: 1 or m?
m
Suppose -x = -5*x. Suppose x = -3*g - 0*g - 3. Which is greater: g or 1/11?
1/11
Let q = 5 - 4. Let u be 4/(3/(-9)*2). Let p be (u/(-15))/(6/3). Which is smaller: p or q?
p
Let m(p) = -p**3 - 4*p**2 + 5*p + 1. Let d be m(-5). Let h be 1/(-2) + 10/4 + -2. Which is greater: d or h?
d
Let y(i) = i**2 - 6*i + 6. Let c be y(5). Let d(j) be the third derivative of -j**5/60 - j**3/6 - 5*j**2. Let x be d(c). Do x and -2 have different values?
False
Let o be -1 + (-3 - (0 - 1)). Does -6 = o?
False
Suppose -11*h = 17 + 16. Which is greater: h or -8/5?
-8/5
Let q(t) = -t**2 - 8*t + 1. Let r be q(-8). Which is smaller: -1/12 or r?
-1/12
Let j(t) = -t**2 - 5*t - 6. Let a be j(-4). Let g be (2 + 4)*a/(-6). Let s = -1/10 - 7/30. Does s = g?
False
Let d = -22118041/61243 - 8/4711. Let a = 361 + d. Suppose -2*q + 4*p = 2, -q + p + 2 = 2*q. Is q not equal to a?
True
Let a(s) = s**2 + 4*s - 2. Let t be a(-6). Suppose t = -2*w + 7*w. Is w less than or equal to 3?
True
Suppose 5*z + 0 - 30 = 0. Let u be (1/(-2))/(27/z). Are 0 and u nonequal?
True
Let j(k) = -2*k**2 + 4*k - 2. Let h be j(2). Let v be 8/12 - h/6. Let o be 3/3*1/(-5). Which is greater: o or v?
v
Let w = -35 - -60. Do 26 and w have the same value?
False
Let v = 0.21 - -2.79. Let s = 0.2 + 0.8. Which is smaller: s or v?
s
Suppose 4*a + 5*a = a. Which is smaller: 1/12 or a?
a
Let v(u) = u**2 - 5*u. Let z be v(4). Suppose -4*k + 18 = -6. Suppose 5*j + 14 = g, 0*j + k = 3*j + 3*g. Which is greater: j or z?
j
Let s = 0.3 - 0.2. Let h = 2 + -1. Let n be (h/3)/(2/18). Is s less than n?
True
Let s be (2 + -2)*(-3)/3. Suppose 1 = 3*v - 2*l, -2*v - v + l + 5 = s. Which is smaller: v or 0?
0
Let c = 99 - 129. Is 0 greater than c?
True
Let v(i) = 2*i - 2. Let f be v(2). Suppose -3*o = f*o - 30. Suppose 0 = -4*m + 3*h + o - 1, -3*m = 2*h - 8. Do m and 0.1 have the same value?
False
Let g = 28 - 55. Let y = g - -25.5. Which is greater: -0.1 or y?
-0.1
Let v = 29 + -99. Let x be (v/(-8))/(-5) - -1. Suppose -4 = -3*z - 7. Are x and z non-equal?
True
Let i = 11 + -15. Let q be (-124)/14*i/(-16). Let a = q - -12/7. Is a > 1?
False
Let p = 3 + -1. Suppose 120 = d + 4*d. Suppose d = p*s + s. Which is bigger: 9 or s?
9
Suppose -5*x + 5 + 5 = 0. Suppose 0 = -x*w - 0*w + 2. Which is smaller: -1/23 or w?
-1/23
Suppose 0 = 2*w + 11 + 15. Is -15 at least as big as w?
False
Let z = -4 + 6. Suppose -z*g + 1 = -5, -3*g - 3 = 3*h. Is h >= -2?
False
Suppose -5*i - 5*j = 255, i + 4*j + j = -39. Let s be (-18)/i*2/23. Which is smaller: s or 0?
0
Let r = -0.3 - -0.3. Let p(b) = b**3 - 2*b**2 + b. Let s be p(1). Suppose 4*f = -s*f + 4. Is f less than r?
False
Suppose w - 2*w - 110 = 0. Let m = 655/6 + w. Which is bigger: m or 0?
0
Let j(h) = 3*h - 3. Let q be j(3). Let y = q - 9. Is y at least 0.2?
False
Let n(b) = -2*b**2 + 11*b + 6. Let p be n(6). Are p and -2/31 non-equal?
True
Let p(k) = -k**3 + k**2 + 3*k - 2. Let i be p(2). Let j = -125/12 - -29/3. Which is greater: j or i?
i
Let p = 0 - 1. Let w = -8 - -7.7. Let h = -0.1 - w. Which is bigger: p or h?
h
Let n = -57/32 + 7/4. Do n and 1 have the same value?
False
Let s be (2/(-3))/(4/6). Do s and -2 have the same value?
False
Let q be 2*((-10)/4)/5. Do q and -8/7 have different values?
True
Suppose -w - 1 = -v + 2*v, 2*v + 3*w + 6 = 0. Let i(n) = -2*n - 5. Let c be i(-5). Suppose v*g = c*g. Is -2/3 greater than or equal to g?
False
Let w = 213 + -1072/5. Which is smaller: w or 0?
w
Let z = 0.3 + 8.7. Let b = z + -7. Is -1/3 equal to b?
False
Let k be (-6)/5 + (-2 - -3). Let h(w) = -w - 1. Let r be h(-2). Let g = -2 + r. Which is smaller: k or g?
g
Let n = -13 - -8. Let t = n - -5.1. Let k be -2 - (5/3)/(-1). Which is smaller: t or k?
k
Let q be (-164)/(-6) + 2 - 1/3. Are q and 30 non-equal?
True
Let p(k) be the third derivative of k**4/24 - k**3/2 - k**2. Let m = -2 + 8. Let q be p(m). Do 3 and q have the same value?
True
Let u be (6 - (-158)/(-34)) + -1. Which is smaller: 1 or u?
u
Let b = -48 - -1249/26. Which is smaller: 0 or b?
0
Let c = 7.1 + 1.9. Let i = -8 + c. Which is smaller: 4 or i?
i
Let j be 1/6 + 605/(-3450). Let d = j + 26/345. Which is greater: 0 or d?
d
Let b(i) = 5*i + 1. Let t(z) = -11*z - 2. Let o(h) = 9*b(h) + 4*t(h). Let k be o(-2). Which is smaller: 1 or k?
k
Let b(l) = 35*l - 1. Let n be b(1). Let j be 4/(-18) - n/9. Let h be -1 + (48/(-9))/j. Which is bigger: 2/3 or h?
2/3
Let m be (-3)/6 - (-65)/90. Which is smaller: 0 or m?
0
Let z(c) = -4*c + 10. Let b be z(7). Let a be 5/(-180) + 4/b. Which is bigger: -0.2 or a?
-0.2
Let a = -4 - -1. Let z be (1/(-2))/(a/(-6)). Let b be -5*z/((-15)/(-6)). Is 2 >= b?
True
Suppose 3*v = -s + 3 - 4, 9 = 4*s - v. Do 2 and s have the same value?
True
Let j(m) = -2*m**2 + m - 1. Let s be j(1). Let x = -1 - s. Let l(p) = -14*p + 85. Let y be l(6). Is y at most x?
True
Let k be (-1 + 31)/((-6)/(-27)). Let b = -677/5 + k. Let d = -1 - -2. Is d at most b?
False
Suppose 0 = 2*h - 2*t + 8, 4*h + t + 3 = 2. Let w = -25449 + 127737/5. Let c = w - 98. Is h < c?
True
Suppose -5*u + 0*a = -a - 9, -4*u - 4*a - 12 = 0. Suppose u = 4*m - 3*m. Which is bigger: m or 2?
2
Let o = -301/2595 - 3/173. Is o != 0?
True
Let s = -32 + 33. Is -2/141 greater than s?
False
Let f = -95 + 94.9. Is -9/5 not equal to f?
True
Let f = -1/206 + 437/5150. Which is greater: 1 or f?
1
Let l(m) = -3*m - 11. Let h be l(-5). Which is smaller: 9 or h?
h
Let n(t) = -t**3 - 4*t**2 + t + 2. Let d(h) = h - 2. Let p be d(-2). Let o be n(p). Which is greater: o or -1?
-1
Let w = -166 - -105. Let b = 52.9 + w. Let f = b - -8. Which is smaller: 0.2 or f?
f
Suppose -5*v = -4*x - 21, v + 4*x = -0*v - 15. Suppose -1 = -c + v. Which is smaller: c or 1?
1
Let n be (2/(-2) - 31 - -2) + 1. Which is greater: n or -28?
-28
Let w = 9 - 11. Let j be 12/(-18) - (w - -3). Is -3 greater than or equal to j?
False
Suppose 12 = t + 5*k, 2*t + k + 3 = -0*t. Let l be t/(-4 - (-6 + 3)). Let f be 1*(2 - -1)/l. Which is greater: 0.5 or f?
f
Let m be 2/(-2 - (0 + 0)/(-2)). Let n = -5 + 7. Which is greater: m or n?
n
Let s = 2 + -2.5. Suppose -3*q + 4*l + l + 11 = 0, -4*q = -3*l. Let n be ((-11)/(-66))/(2/q). Which is smaller: n or s?
s
Let a be (-12)/(-3) + -1 - 12. Are a and -9 non-equal?
False
Let n be 2/10 - 273/(-35). Let b be ((-1)/(-2))/(12/n). Are -0.2 and b non-equal?
True
Suppose 14 = x + 11. Is x < 17?
True
Let f = 6 - 2. Let t = -3.5 + f. Let o = t - 0.5. Is o less than or equal to 2?
True
Let a = 26 + -16. Suppose 0*c + a = -2*c, 4*v + 3*c + 15 = 0. Let z(x) = -x**3 + 6*x**2 - 4*x - 3. Let b be z(5). Which is smaller: v or b?
v
Let w be 0 + 0/((-16)/(-4)). Is 2/17 bigger than w?
True
Let h = 37 - 38. Is h at least 1/31?
False
Suppose -2*a = -4*q - 4, a + q = -2*q + 7. Which is smaller: a or 2?
2
Let b be 4 - (-1)/(-14)*92. Which is greater: b or -3?
b
Let t = 86 - 37. Is t > 49?
False
Suppose 2*n = -5*v - 1, 4*n = 3*v - 2*v + 9. Suppose n = t + t. Let b be 3/t + (-28)/9. Which is smaller: 0 or b?
b
Suppose -o - 2 - 1 = 0. Let w be (o/2)/(6/(-8)). Which is greater: 3 or w?
3
Suppose -p + 6*p - 13 = -3*w, 4*p - 40 = 5*w. Suppose -r - r = 4*s + 64, -4*s - r - 66 = 0. Let g = s + 12. Is w at most g?
False
Let j = -10.8 - 2.2. Let b = j - -7.9. Let n = -5 - b. Is -2 bigger than n?
False
Suppose -4*d - d = 0. Suppose 5*v + 2*c = 4*c + 18, -5*v - c + 21 = d. Suppose 2*s - v*l = -s + 18, 5*l = -5*s - 5. Is 2 != s?
False
Let t be -21*-2*3/270. Which is smaller: t or 1?
t
Let t = 8 + -6. Do 9 and t have the same value?
False
Let c(v) = -v - 13. Let d = -21 - -12. Let a be c(d). Is a equal to -7?
False
Let n = 11 + -11. Let d = 0 - n. Does d = 0?
True
Let u be 1*(0 + (3 - 1)). Let j be -2 + (u - -4 - 2). Suppose j*o = 5*o + 3. Is 0 less than or equal to o?
False
Let v = -1.4 - -1.2. Which is greater: v or -0.03?
-0.03
Let o be 5/(-75)*(-15)/12. Which is smaller: 1 or o?
o
Suppose 0*i - 8 = 2*i + 2*c, -i - 16 = 4*c. Let l be (-14)/3 - 4/(-6). Let w be l/6 - 20/(-12). Is i bigger than w?
False
Let t be 396/14 - (-6)/(-21). Let y be t/21 - (1 - 0). Is -0.03 <= y?
True
Let o = -19.1 - -20. Let m = -0.1 - o. Is m < 1?
True
Let k = 11 - 8. Let c = -4 + k. Let l = -490 + 491. Is c greater than l?
False
Let p 