Let i be x(o). Which is bigger: i or 3?
i
Suppose 0 = -6*q + 5*q. Suppose q*m + 33 = 3*m. Are 11 and m nonequal?
False
Let y be 117/99 + 1/(-1). Which is bigger: 1 or y?
1
Let l = -299 + 3889/13. Let i(w) = w**3 - w**2 + w. Let z = -4 + 5. Let d be i(z). Which is greater: d or l?
d
Suppose 21*a = 32*a + 33. Is a less than 2/27?
True
Let a be -1*3*(-8)/12. Suppose -6 = -a*h - 4*q, 2*q - 7*q = -2*h - 3. Are 2/3 and h unequal?
True
Let o = 12 - 13. Let a(h) = 2 - 2*h + 0*h + 3*h. Let g be a(-2). Which is greater: o or g?
g
Let a(k) = -5*k - 3. Let s be a(-7). Let z be (1 - 2) + s/4. Let m be (-8)/(-28) + (-2)/z. Is -1/5 equal to m?
False
Let z be (-1)/(3/(-15)) + 3. Let m = z - 5. Which is bigger: m or 2?
m
Suppose 0 = -3*l - 2 - 4. Suppose -2 = -5*x - 17. Is l bigger than x?
True
Let c = -2 + -2. Let x = 9 + c. Do 0.2 and x have the same value?
False
Let o(v) = -v + 6. Let m be o(6). Suppose 0 = 2*k - m*k - 4. Let t be (-7)/k - (-2)/4. Which is greater: 0 or t?
0
Suppose -4*z - a + 0*a - 2 = 0, 3*a + 6 = -2*z. Which is smaller: -1/14 or z?
-1/14
Let p be 7/8 - (18 - 17). Is p > 1/2?
False
Let v = -18 - -39. Is v smaller than 20?
False
Let y be (-3)/((-15)/(-2)) + 1. Let n be -4 - (15 - (1 + -3)). Let l = n - -23. Is y <= l?
True
Let b be 0 + (1 - (1 - -1)). Suppose 2*u - 2 = 4*u. Let d be (-1 + u)*3/(-21). Does d = b?
False
Suppose w + 4*x + 13 = -5, 2*w - 8 = 3*x. Let c be (-1)/w*(-6)/12. Are c and 0 unequal?
True
Let a = -1/14 - -5/21. Which is smaller: a or 1?
a
Let x(l) = l**3 + 4*l**2 - 2*l + 3. Let a be x(-3). Is a <= 1?
False
Suppose -2*f - 6 = -4*f. Suppose 5*b + f*h - 26 - 24 = 0, 2*b + 5*h = 39. Suppose -4*c = -1 - b. Is 2 at most as big as c?
True
Let d be ((-6)/10)/(9/45). Is d smaller than -24/7?
False
Let a = 53 - 23. Suppose 2*u = 4*u + a. Is u smaller than -14?
True
Suppose -5*k + 22 - 2 = 0, 2*a + 2*k = -16. Let f be 5*(a/5 + 2). Let v be (-25)/15 - f/(-6). Is v <= -3?
False
Suppose 2 = 3*h - 5*h. Which is smaller: h or -8/7?
-8/7
Let b = -37 - -37. Let i = 4826/17 + -284. Which is smaller: i or b?
i
Let w = -95 - -857/9. Let a be ((-16)/6)/(6/(-9)). Suppose -q + 5*q - 4 = -4*f, 2*q - a*f = 8. Which is greater: q or w?
q
Let d = 2599 - 2581.97. Let u = d - 17. Which is greater: u or -2?
u
Suppose -5 - 2 = -2*j + 3*z, -3*j - 2*z = -4. Suppose -2*s - j*g = -4, -s - 4*s + 4*g = -1. Is s > 1?
False
Let z = 1.94 + 0.06. Let d = -1.8 + z. Which is smaller: d or -2/5?
-2/5
Suppose -19 + 7 = -4*z. Let o be ((-50)/(-15))/(2/z). Which is greater: 6 or o?
6
Let r = -34 - -33.8. Is r != 0.11?
True
Suppose 3*h + 11 = 5. Suppose -5*a + 15 = -3*s, -18 = -5*a - 5*s - 3. Let r be (2/a)/(-1 + 0). Which is greater: r or h?
r
Suppose 2*b + 3 = -1. Which is greater: b or 0?
0
Let w be (8/40)/((-2)/4). Which is smaller: w or -15?
-15
Let n be ((-4)/(-90))/(11/(-55)). Which is greater: 0 or n?
0
Let r = 1 - 0.8. Let f be (-3)/(5 - 2) - 7. Let g be f/32*16/10. Which is smaller: r or g?
g
Suppose 0 = n - 3*h - 18, -2*h = -2*n - 3*n + 77. Suppose -3*a - 5 = -4*a, -5*u + 2*a = n. Is u < -1?
False
Suppose 4*r - 8*r = 0. Suppose r*k + 4 = 4*k. Is k less than 2/15?
False
Let f be 56/(-490) - 3*2/21. Suppose 3*y - 13 = s, 3*y = 5*s - 2*y + 25. Which is smaller: s or f?
s
Let r = -93 - -95. Which is smaller: -8 or r?
-8
Let y = -31 + 71. Let a = -201/5 + y. Which is smaller: 1 or a?
a
Suppose 5*i - 3*i + o - 1 = 0, 4 = -5*i + 4*o. Suppose i = r + 4*r. Let l = 0 - r. Which is greater: -3/4 or l?
l
Let r = -26 + 25. Let l be ((-6)/9)/(38/(-6)). Do l and r have the same value?
False
Let q(n) = n. Let c be q(0). Suppose 0 = -3*o + 5*u - 214, 4*o + 73 + 259 = -5*u. Let z = o - -388/5. Are z and c non-equal?
True
Let q be 1/1*(0 + -2). Suppose 2*t = o - 4*o + 22, -t - 2*o + 10 = 0. Let f be (1 - 1) + t/(-21). Is q less than f?
True
Suppose r - 3 = -0. Suppose -5*s + 75 = 65. Is s >= r?
False
Suppose 8 = -4*c + 3*t - 4, -t + 4 = c. Suppose 3*w = -c*w. Let k = 401/7 - 57. Is k > w?
True
Suppose 0 = 2*k - 0*k - 20. Let h = -26 + 37. Is k smaller than h?
True
Let p = -6 + 5.4. Let s = 0.4 + p. Is s < 1/2?
True
Let d be 24/14 - (-24)/84. Let l(y) = -y - 3. Let j be l(-3). Let i = j - -2/3. Which is greater: d or i?
d
Let f = -62 + 61.84. Is -3 less than f?
True
Let k(m) = -7*m - 56. Let n be k(-8). Which is bigger: -5/24 or n?
n
Let i = -227/770 - -1/110. Let c = -4 + 3. Which is smaller: c or i?
c
Let i be (2/3)/((-16)/(-24)). Let c be 4/62*16 - 1. Let r = 28/93 + c. Is i less than or equal to r?
False
Let b = 0.08 + -5.38. Let p = -5 - b. Let n = p - 0.2. Is n <= 0.3?
True
Suppose 0*c + 2*c + p = -5, -5 = p. Suppose 0 = -4*f - c*f + 16. Suppose 0 = -2*q - 4*y - 10, f = -y + 2. Which is greater: -1/3 or q?
-1/3
Let p = -0.094 + 25.094. Which is greater: 3 or p?
p
Suppose 2*z - 7 = -3. Is 2 < z?
False
Let x = 1187839/4576 - 317/416. Let a = x + -259. Let t(v) = v**3 + 1. Let l be t(-1). Which is smaller: l or a?
a
Let u(g) = -7*g**2. Let t be u(1). Let b = 11 + -8. Suppose -b*n = -3*k - 9, n + 3*n + 12 = k. Which is greater: t or k?
t
Let q = -703/2 + 345. Let n(r) = -3*r + 35. Let h be n(14). Are h and q non-equal?
True
Suppose -3 = -k - 2. Let w be 352/77*k/2. Which is smaller: 1 or w?
1
Let b be 2/(-30) + (5 - 2)/(-9). Is 11 <= b?
False
Let u = 229/133 + -30/19. Suppose 3*y = -y - 4. Let d = 0 - y. Which is greater: d or u?
d
Let s = 308 - 916/3. Let k = s - 19/6. Let n = 3 + -2. Which is bigger: n or k?
n
Let r(c) = c**2 - 9*c - 14. Let l(j) = j**2 - 9*j - 13. Let y(z) = 6*l(z) - 5*r(z). Let o be y(10). Let p be 5/o*-2 + 3. Is p greater than or equal to -2?
True
Let z be 9/(-21) - 1/(-7). Which is bigger: -14 or z?
z
Let n be 2 + 24/(-10) + 48/145. Which is greater: 1/6 or n?
1/6
Suppose -5 - 3 = -2*g. Let p(r) = r + 4. Let c be p(g). Is 9 greater than or equal to c?
True
Let b = 5.06 - 5. Let o = b - 0.06. Is -5/4 less than o?
True
Let x(g) = -g + 1. Let t be x(8). Let w = 7 + t. Which is smaller: -4 or w?
-4
Let w be (-30)/115*3/45. Which is greater: 0 or w?
0
Let q(r) = 3*r + 10. Let i be q(-4). Which is bigger: i or 1?
1
Suppose -8*n + 10*n = 0. Does 1 = n?
False
Let z = 0.26 + 1.64. Let i = z - 2. Is i > 1?
False
Let j = -9/4 + 2. Let g = -0.3 + 0.2. Which is bigger: j or g?
g
Let w = -5.27 - 5.97. Let d = w - -11. Let a = 0.04 + d. Is a > 3?
False
Suppose -2*h - 12 = -10. Which is smaller: h or -4/7?
h
Suppose 0*u + 4*r + 12 = 2*u, 0 = -5*u + r + 12. Let d = 33571/7245 - -1440/161. Let b = d + -69/5. Is b less than or equal to u?
True
Let n be (-41)/(-9) + -1 + 0. Is n less than 3?
False
Let x be (-1)/(-5) + 372/15. Are x and 26 unequal?
True
Let p = 12 - 14. Which is bigger: -1/2 or p?
-1/2
Let d be 10/(-35) - (-33)/(-7). Which is greater: 1 or d?
1
Let x be -1*1*32/(-8). Suppose -3*f = 1 + 2, -x = -v + 4*f. Is v smaller than -3/8?
False
Let o(b) be the first derivative of b**3/3 - 3*b**2 - 2*b + 5. Let z be o(6). Which is bigger: z or -3?
z
Let q = 20 - 19. Let s(x) be the second derivative of x**5/20 + x**4/3 + x**3/6 + 5*x**2/2 + x. Let k be s(-4). Does k = q?
True
Let s = 23 - 21.9. Let o = -0.1 + s. Let d be (-16)/(-6) - (4 - 2). Which is smaller: d or o?
d
Suppose 4*d = 5*x - 4 - 37, -7 = d + 2*x. Suppose 4*g + 3*w = 30, 10 + 1 = g - w. Let z = d + g. Is -4/9 > z?
False
Let s = -9.2 + 7. Let b = 2 + s. Let y = b - 0. Which is bigger: -1/2 or y?
y
Let h = 14 + -20. Let z be 1/((-1)/h)*-1. Let a = -4 - z. Which is bigger: 2/3 or a?
a
Let x be 8*(57/12 - 4). Suppose 0 = -4*l - n + x, 5*n - 7 = l + n. Which is smaller: l or 2/13?
2/13
Let s = 1.81 - 11.91. Let w = s - 0.9. Is -1 != w?
True
Let f = 11 + -15. Let w be 4 - 3 - (-5)/f. Suppose 0 = -3*h + 3. Which is smaller: h or w?
w
Let c = 83 - 83.1. Suppose -m + 3 = -4. Is m < c?
False
Let f be -4*15/(-20) + -4. Which is greater: -2/27 or f?
-2/27
Let z be (16/(-14))/(2/(-7)). Let c be z/(-10) + (-34)/(-60). Does -1 = c?
False
Let h be ((-2)/(-4))/((-9)/4). Suppose 0 = -4*n + 8, 2*n = 2*y + n + 2. Which is greater: y or h?
y
Let n be 21/(-2)*(-9 + 7). Let o be (-3*1)/(n/(-119)). Do o and 17 have different values?
False
Let b = -0.047 + -1.153. Let f = 0.2 - 0.1. Which is greater: b or f?
f
Let n = -1.8 + 2. Let l = -0.08 + -0.02. Let b = -0.2 - l. Are b and n equal?
False
Suppose 0 = -2*q + 2 - 4. Is 4 