 t?
True
Suppose 0 = -5*u + 3*u - 58. Let t = u + 57/2. Suppose -2*r - i + 20 = 3*i, 0 = -3*r + 5*i - 25. Which is bigger: t or r?
r
Let z be ((-32)/12)/(21/(-9)). Is 1 greater than or equal to z?
False
Let i be 21 - (-1 - (0 - 0)). Is i at least as big as 24?
False
Let i(b) = -b**2 - 3*b + 1. Let p be i(-3). Let c be -4 - p - (2 + -5). Let g = c - -1. Which is bigger: -2/7 or g?
-2/7
Let g be (-7 + 9)/(2*-1). Is g <= -3?
False
Let h(p) = -6*p**3 - p**2 + 2*p - 1. Let v be h(2). Let l be 1/(-3) - v/84. Let a = -121 + 845/7. Which is smaller: a or l?
a
Let z be 3/5 - 0/2. Suppose -5 = -2*y + y. Suppose n - y = -4. Which is smaller: z or n?
z
Suppose 31 = -5*x - 4*t + 6*t, 0 = -5*x - 5*t - 45. Is x < -5?
True
Let s(a) = a**3 - 17*a**2 + 28*a - 6. Let m be s(15). Which is smaller: m or 2/9?
m
Let b = -3/19 + 104/57. Which is greater: b or 3?
3
Suppose -2*a - 1 - 26 = u, 5*u - 75 = 5*a. Let p be 3/a - (-1)/2. Which is greater: p or -1?
p
Let m be 3/4 - (-1)/4. Let j be 2*(-1 + (3 - m)). Which is greater: j or 4?
4
Suppose 2*y = o + 20, 2*o - 36 = -4*y + 3*o. Let n = -5 + y. Suppose -3*w - 2*v = n - 2, 0 = w - 5*v + 23. Which is smaller: w or -4?
-4
Let f = -189 - -6427/34. Which is smaller: -1 or f?
-1
Suppose 4*n - 42 = -2*g, 0 = 4*g - n - 56 - 46. Which is smaller: g or 24?
24
Let o = 28 - 169/6. Suppose -2*b + h = -5, -2*b - 8 = -4*h - 22. Which is bigger: b or o?
b
Suppose 48 = 5*p - 4*u, -3*p + 3*u = -p - 22. Let i = 11 - p. Let h be -1 - i*(-3)/6. Which is smaller: h or 2?
h
Suppose 0 = -3*x + 5*x. Let i be ((-2)/(-38) + x)*-2. Which is smaller: i or 1?
i
Let b be ((-9)/18)/((-2)/(-4)). Which is greater: b or -18?
b
Let y = 1 - 11. Which is smaller: y or -3?
y
Let x(n) = -n**3 + n**2 - n + 10. Let g be x(0). Suppose -4*l = -2*l - g. Is l equal to 0?
False
Let f(s) = -13 - s + 2*s + 0*s. Let i = 19 + -10. Let d be f(i). Do -4 and d have the same value?
True
Let b = 34 - 49. Let i = -9.9 - b. Let v = i - 5. Which is smaller: -1 or v?
-1
Let w(m) = 2*m**3 + 0*m + m + 3*m**2 - 1 - m**3. Let z be w(-2). Is -1/4 greater than z?
False
Let o = 136 - 97. Are o and 0.1 unequal?
True
Let a = 34 + -19. Let k = -16 + a. Which is smaller: k or -9/4?
-9/4
Let s = 8 + -3. Suppose 6 = q - 0*q. Which is greater: s or q?
q
Let n = 5293/95 + -277/5. Which is smaller: 1 or n?
n
Let b be 3/(-3) + 2 + -17. Let u = -159/10 - b. Let f be (0/11)/((-2)/1). Is f > u?
False
Let j be (-28)/21 - -1 - 4/6. Let q = -1651/17 + 97. Are j and q unequal?
True
Suppose z - 14*n + 12*n + 93 = 0, -z - 73 = 3*n. Are -85 and z unequal?
False
Suppose 0 = 2*k + 3*k. Suppose 0 = -5*w + 5*a - 35, k*a + 3*a = -5*w - 3. Let p be w*3/((-117)/2). Which is smaller: -1 or p?
-1
Let n = 2 + 1. Let b = -5 + n. Let w be b + 1 + 6/2. Is w <= 2?
True
Let b = 14 + -13.8. Let m(k) = -k. Let z be m(-2). Which is smaller: z or b?
b
Let i(g) = -2*g**2 + 3*g + 6. Let u be i(3). Which is smaller: u or 13?
u
Let b = -3 + -9. Let l = 5 + b. Let f = l + 5. Which is smaller: f or -3?
-3
Suppose -4*o + 4 = -0*o. Suppose 4*r = 2*d + 26, -2*d + 3*r = 8 + 13. Let i be (-2)/(-2) + 3 + d. Is i != o?
False
Suppose 3 - 8 = -v + 2*r, v = -3*r + 5. Let t(o) = o**3 - 4*o**2 - 4*o - 3. Let i be t(v). Which is greater: i or 4/3?
i
Let o(z) = 2*z**2 - 2*z + 3. Let m be o(2). Let r(x) = x - 6. Let g be r(10). Suppose g*c + h = 5, -c = 3*c + 5*h + m. Is 2 less than c?
False
Let d be ((-9)/15)/((-2)/20). Let v = d - 4. Which is smaller: 0 or v?
0
Let k be 2/(-54)*2*12. Let w(h) = -5*h + 60. Let z be w(12). Is k smaller than z?
True
Suppose 5 = -4*m - 2*n - 3*n, 0 = -5*m - 3*n - 3. Suppose 3*o - 4 + 1 = m. Which is smaller: o or 1/5?
1/5
Let x be 748/10 - (-5 + 8). Let o = 73 - x. Is 1 >= o?
False
Suppose 4 - 3 = h. Is h at least as big as 3?
False
Let b = -1072/12425 + 1/1775. Which is bigger: b or 0?
0
Let p(k) = -2*k**3 + 6*k**2 + 7*k + 7. Let z be p(6). Let r = z - -1835/11. Is r at most 0?
True
Suppose -36 = 3*s + 3*p, -2*s - 36 = s + 4*p. Let v be (-2)/(-3)*s/(-14). Is v smaller than 0?
False
Let z = -1/82 + 43/164. Suppose p - 7 = 10. Suppose -4*f - p = -5*j, -5*j - 5*f + 2 = -4*f. Which is smaller: j or z?
z
Let y(j) = j - 2. Let i be y(0). Suppose -6*l + 5*l - 24 = 0. Let z = l - -45/2. Which is greater: i or z?
z
Suppose r + 2*r = 3, 5*q = -3*r + 13. Which is greater: 22/9 or q?
22/9
Let j be (-5)/3 - (12/(-3))/(-12). Which is smaller: j or -7?
-7
Let y(s) = -s**2 + 8*s - 6. Let r be y(7). Let c be -8*1/(-10) - r. Let d(f) = -f**3 + 4*f**2 + 5*f + 1. Let p be d(5). Is c bigger than p?
False
Let v = -2/177 + 722/1239. Let s(z) = z - 4. Let j be s(5). Which is smaller: j or v?
v
Suppose 12 = j - 2*a, 5*j + 5*a + 15 = -0*a. Let y be (2/(-8))/((-30)/48). Is y <= j?
True
Let m = 43 - 43.17. Let n = 0.07 + m. Which is smaller: n or 0?
n
Let u = 47 - 69. Are -23 and u equal?
False
Let a(n) = 4*n - 37. Let j be a(13). Which is greater: 3 or j?
j
Suppose l = 2*l + 4. Let r(a) = a**3 + 5*a**2 + 4*a + 5. Let x be r(l). Suppose -2 = 2*f - x*f + g, -4*f = 2*g + 14. Which is greater: f or 2/7?
2/7
Suppose 1 = -i - 5. Let o be (((-15)/i)/5)/2. Which is greater: 1 or o?
1
Let g = 335 + -2341/7. Is g less than 0?
False
Let n = 16 - 34. Is n bigger than 2?
False
Let z(k) = -9*k**3 - k**2 - 2*k - 1. Suppose 0*t - t - 1 = 0. Let p be z(t). Let g be 2/3 + (-3)/p. Is g bigger than 0?
True
Let f = 25 - 23. Let m = 2.85 + 0.05. Let o = -3 + m. Which is greater: o or f?
f
Let l(f) = 3*f**2 - 1. Let y be l(-2). Is 12 <= y?
False
Let d = -3 - -12. Is d >= 7?
True
Let b(r) = -2*r**2 - 5*r - 4. Let x be b(-4). Is x at least -0.2?
False
Let p be 4 + 35/(-3) - (-2)/(-6). Let r(h) = -h**3 - 1. Let j be r(2). Which is greater: j or p?
p
Let b be -1 + 1 - 1*-2. Suppose 6 = -3*o + 4*f - 7, -4*f + 18 = b*o. Let h = o + -1. Which is greater: 1 or h?
1
Let v = 40 - 284/7. Let w be 7/21*2 - 14/12. Is w greater than v?
True
Let c = 3 + -1. Suppose k - c*k = -2*n, 5*n = -k - 7. Is -2 greater than or equal to k?
True
Let j(m) = 3 - 4 + 8*m**2 - 9*m**2 + 5*m. Let o be j(4). Which is smaller: 2 or o?
2
Let v(i) = i**3 - 4*i**2 + 5*i - 4. Let o be v(3). Suppose a = -2*a + 4*y + 14, -2*a + 12 = -4*y. Are a and o non-equal?
False
Suppose 2*i - 2*n - 2 = 0, -5*i - 9 = 5*n - 4. Are -4 and i non-equal?
True
Suppose 0 = -f - f + 2, 5*r + 2*f - 7 = 0. Suppose -s = r + 1. Suppose -15 = k + 3*g, 0 = 3*k - 8*k - 4*g - 31. Which is greater: s or k?
s
Let w = 423/52 + -48721/364. Let s = w - -126. Is s bigger than 1?
False
Let l(m) = m**3 + 13*m**2 + 13*m + 5. Let t be l(-12). Let b = 4 + t. Let n be (-2)/((-4)/(-1))*3. Are b and n unequal?
True
Suppose -k + 2*k = 3. Suppose 3*m - 4 = k*o + 5, 0 = -4*m - o - 8. Let n = -12 - -11.94. Is n equal to m?
False
Let g(y) = -y**3 - 17*y**2 + 17*y + 2. Let b be g(-18). Let o = 20 + 0. Is b < o?
False
Let h = 0.13 - -1.87. Let r = h - -5. Is r < 1/4?
False
Let x be 40/84*114/75. Let a = 2/35 - x. Suppose v = -0*v. Which is smaller: v or a?
a
Suppose 5*n - 2*n + 18 = 0. Let r(y) = -3*y - 2. Let g be r(n). Let f be 2 + 3/((-30)/g). Which is bigger: f or 1?
1
Let f be 6 + 0 + (18 - 20). Which is greater: f or 3?
f
Let o(i) = i - 7. Let t be o(5). Let g = 0.3 + -2.3. Are t and g equal?
True
Let k be (-45)/330*(-8)/3. Let x be (-1)/4 + (-15)/(-12). Which is greater: x or k?
x
Suppose -4*v = -2*k - 9*v + 29, 5*v - 23 = k. Suppose -3*j + j + k = 0. Let p be -2*3/12*-1. Which is greater: j or p?
j
Suppose -4*w - 32 = 4*f, -3*w + 0*f - 16 = f. Let r be (-125)/(-180)*w/10. Let z = r - 7/18. Is z at least as big as 2/3?
False
Let o = 49 - 49.1. Is o smaller than 27?
True
Let z = 0.1 + 0.1. Let t = -0.8 - z. Let l = 8.8 - 9. Which is bigger: l or t?
l
Suppose -2*l + 5*c + 2 = 2*c, -2*l = -c - 2. Which is greater: l or -2/5?
l
Let t be 2/(-8) - (-6)/(-40). Suppose -18 = 2*m - 2*b, 5*m - b = 3*b - 41. Let v(x) = -x - 4. Let f be v(m). Which is smaller: t or f?
t
Let t = -5 - -4. Let j be (-3)/9 + (-8)/3. Let l = 1 + j. Is l <= t?
True
Let j = 3/8 + 7/24. Let r = 1.27 - 0.17. Let p = r - 0.1. Is j less than or equal to p?
True
Let n = -0.13 + -4.87. Let g = n - -4.9. Which is bigger: 1 or g?
1
Let k(q) = 2*q - 2. Let s be k(6). Let y = 4 - s. Let t be 8/6*y/(-4). Which is smaller: 3/2 or t?
3/2
Let m(u) = 2*u**2 + u. Let w be m(3). Let b = w 