. Which is bigger: n or s?
s
Suppose 17*u - 15*u = 0. Which is bigger: u or 1/98?
1/98
Suppose -3 = -4*s + s. Which is smaller: 0 or s?
0
Suppose -4*s - 5*c - 13 = 0, -2*s + 5*c - 3 = -34. Suppose -s*h + 2*r = -h + 2, -4*r = 2*h + 8. Is -17/5 at least h?
False
Let r be (-8)/(-2) + -6 + 1. Let i be (r/2)/((-8)/16). Are -4/13 and i equal?
False
Let f = 7 + 0. Let a(u) = u - 11. Let j be a(f). Which is smaller: -2/5 or j?
j
Let p = 4 + 1. Suppose p*h - 20 = -u + 6*u, -2*u - 17 = -5*h. Suppose -h*l + 22 = o + 4*o, -3*l + 10 = -o. Is o greater than or equal to 2?
True
Suppose u - i + 6 = -2*i, -10 = u + 3*i. Let w = 6 + u. Let t be w + (-2 - -1 - 0). Which is smaller: -2/5 or t?
-2/5
Suppose 3*m + 5*l = 9*l + 1, -5*m - l = 6. Let b = 0 + -36. Let g be 4/(-18) + (-14)/b. Are g and m non-equal?
True
Let t = 1 - 3. Let m = t + 6. Let r = -0.2 - -0.3. Which is smaller: r or m?
r
Let q be 220/(-15) - 2/(-3). Let i be (-5)/(-25) - q/80. Are i and -1 unequal?
True
Suppose d = -d + 26. Let q be d/(-28) - (-6)/(-21). Which is bigger: q or 0?
0
Let o = 0.18 - 1.78. Let j = o - -1.5. Which is greater: j or -11?
j
Suppose 11 = 5*t - v - 68, -v + 17 = t. Suppose -4*m = -2*p + t, 2*p + 0*m + 24 = -4*m. Let q be 4 + -1 + (-2 - p). Is 4 less than or equal to q?
False
Let n = -3 - -18. Suppose 3*b - 3*z = -5*z - n, 4*b + 20 = -3*z. Do -4 and b have different values?
True
Let r be 16/(-11) + (-33)/(-22). Are r and 1 non-equal?
True
Let n = 1 - -1. Is 3 > n?
True
Suppose -5*f + 14 = -31. Let q = f - 5. Suppose q*a - 2*a + 4 = 0. Which is smaller: a or -3?
-3
Let u(x) = 2*x**2 - 9*x - 15. Let g be u(5). Is -10 at most g?
True
Let i(z) = -z**3 - 12*z**2 - 2*z - 6. Let f be i(-12). Let w be (1/7)/((-6)/f). Suppose 21 = l - 5*s, 0 = -3*l - 5*s - 23 + 6. Which is greater: l or w?
l
Let l = 37 - 26. Do l and 4 have the same value?
False
Suppose r = -r - 4. Let a be 2*5/((-5)/r). Let z be (1 - (-10)/a) + -2. Is z equal to 2?
False
Let s = 1779/8477 - 10/49. Which is bigger: s or 1?
1
Let z = 409 - 411. Let w be 3*10/36*-2. Is z less than w?
True
Let k = 513/5 - 103. Suppose -5*v + 8 = -v. Suppose 4*r + 2*b + 8 = 0, -5*r - b = 5 + v. Which is smaller: k or r?
r
Let m = -20 + 41/2. Is m >= 1?
False
Let b be 50/30 + -1*1. Which is smaller: 17 or b?
b
Let a = 10.09 - 10. Let c = -0.19 + a. Is -6/5 >= c?
False
Let c = 18 + -19. Is c greater than -0.3?
False
Let m = 5 - 4. Which is bigger: -10 or m?
m
Let h = -1 - 12. Let w = 12 + h. Which is greater: -2/3 or w?
-2/3
Let d = 4243/16 - 265. Is d bigger than -1?
True
Let w be ((-32)/12 + 3)*0. Is w greater than or equal to -1/25?
True
Let t = 2/53 + 43/265. Suppose -6*l = -4*l + 3*u - 17, -2*u + 12 = 2*l. Which is smaller: t or l?
t
Let g be 5/1*3/9. Is g smaller than 3?
True
Let i = 8608/11 - 784. Are i and -1 non-equal?
True
Let d be (-1)/1 - (-5 - -3). Is d not equal to 1/13?
True
Let h = -285 - -5413/19. Which is greater: h or -8?
h
Let m = 15.3 - 15. Which is smaller: m or -0.1?
-0.1
Let j be (-16)/(-6)*9/4. Let d be (-1)/3*(4 - j). Let l = -0.9 + -0.1. Is l >= d?
False
Suppose 0 = k - 3*k + 16. Suppose w + k = 3*q, 4*w + 3*q = -q. Is w != -6/11?
True
Let p = 225.96 + -221. Let y = -5 + p. Let w = 0.06 - y. Is w at least -2/3?
True
Let n be (4 + 2 + -4)/(-2). Let b be 1 - (n + 0 + -2). Let g be (-6)/(-9)*(-18)/b. Is g < -4?
False
Let g = 47/22 + 4/11. Which is smaller: -1 or g?
-1
Let f = 102 - 102.1. Let k be 7*1 - 3/3. Is f != k?
True
Let f be 4/8 - (-35)/(-26) - -1. Which is smaller: f or 0?
0
Let m = -45 - -46.9. Which is greater: m or -1/4?
m
Let k be ((-1)/(-3))/(4/(-12)). Which is smaller: k or -4/17?
k
Suppose -m + 0 + 5 = 0. Suppose -5*o - a + 4 = 0, -2*o + 4 + 3 = -5*a. Is o greater than or equal to m?
False
Suppose 0 = -5*q - 1 - 4. Let j = q + -1. Let y(o) = -o**2 - 2*o + 2. Let d be y(j). Is d > 3?
False
Suppose -m = b - 34, -102 = -2*b - b + 4*m. Is b greater than or equal to 34?
True
Let g = -3 - 1. Suppose 5*d - 4 - 1 = 5*m, 0 = -5*m + 10. Let j be 2 - d/6 - 2. Is j bigger than g?
True
Suppose 5*l + 17 = 2*m, 2*m + m = -l. Is -3/16 bigger than m?
False
Let r = -0.01 - 0.59. Let l = -3.6 - r. Let q = l + 3.1. Which is smaller: 0 or q?
0
Let v(l) = -2*l + 2. Let x be v(4). Is -23/4 < x?
False
Let v = -5002 - -74993/15. Let o = 5/3 + v. Which is bigger: o or 0?
0
Let g(d) = d**2 + 7*d - 18. Let p be g(-9). Is 97 smaller than p?
False
Suppose -2*t = y - 56, 22 - 113 = -3*t + 2*y. Suppose 5*f = 4*q + t, 6*f - 3*f - 12 = -3*q. Which is smaller: -0.1 or q?
q
Let i(o) = o + 1. Let z(x) = 8*x + 9. Let h(s) = -6*i(s) + z(s). Let d be h(-3). Is d less than or equal to -4?
False
Let l(c) = c**2 - 5*c - 4. Let j be l(6). Suppose 6*h - 2*h + 48 = 0. Let o = h - -37/3. Does j = o?
False
Let i = -0.2 - -0.23. Let l = i + -0.03. Is l > -2/7?
True
Let s be (-5 - -3) + (-56)/(-6). Let c = s - 8. Let n(u) = u**2 + 10*u + 19. Let f be n(-7). Is c at least f?
True
Let c(i) = i**2 - 4*i + 12. Let s be c(0). Which is bigger: s or 7?
s
Let k = 0.3 + 0.2. Let c = 0.55 - 0.05. Let p = k - c. Which is smaller: -4 or p?
-4
Let v = -165 - -160.76. Let j = -0.24 - v. Which is greater: -1 or j?
j
Let a be (-32)/(-144)*1/(-2)*1. Which is smaller: 0 or a?
a
Let w = -7 + 8. Let v(y) = 4*y - 8. Let r be v(6). Let d be (-4)/6 - r/(-18). Is w at most as big as d?
False
Let l = -2.2 - 2.8. Is -0.1 != l?
True
Let d = 1 - 0. Which is greater: -5 or d?
d
Let l = 287/3 - 95. Let k be ((-2)/14)/(2/2). Does l = k?
False
Let i(j) = -2 + j + 5 + 2 + 6. Let d be i(0). Suppose -5*f - p + 6*p + 10 = 0, -d = 5*f + 2*p. Which is bigger: -3/7 or f?
-3/7
Let n be 7 - 1*(1 + 1). Suppose n*x + 2 = 3*x. Suppose 3*d + 13 = -2*f, 4*f + 5*d + 13 = -10. Is f < x?
True
Let i be (-36)/(-3) - (-4 - -2). Let n be (-11)/i - 2/(-7). Is 1/4 bigger than n?
True
Let j = -20 - -22. Suppose -4*x = -4*w - 8, -3*w - 3 - 4 = -j*x. Which is bigger: x or -2/19?
-2/19
Let y be (-6)/(-38)*(-1)/(-9). Let u = 34357 - 13708564/399. Let k = u + y. Is k greater than -1?
True
Let n(m) = -m**2 + 2*m. Let b be n(2). Suppose b = q - 0 - 2. Suppose l - 2*r = 10, -2*r - r - 15 = -q*l. Which is smaller: 5/4 or l?
l
Suppose 0*v + 30 = 3*v. Let r = -4 + v. Is r at most as big as 6?
True
Let r = -0.82 - 6.48. Let f = r - -7. Which is bigger: -1/2 or f?
f
Let c be (3 - 0) + (-2 - -2). Is c smaller than 4?
True
Let d = 10/27 - 571/1566. Which is greater: 0 or d?
d
Let x(r) = r**2 + 5*r + 5. Let v(z) = 2*z**2 + 9*z + 9. Let w(u) = -3*v(u) + 7*x(u). Let g be w(-7). Let p = -0.7 - 0.3. Which is greater: p or g?
g
Suppose h = 5*f - 3 - 18, 3*f - 9 = -3*h. Is h smaller than -2?
False
Let s be 0/(1/(-2)*-2). Suppose s = -4*q - 16. Let g be 2/(-3)*18/4. Is q less than g?
True
Let f be -1 + -11 + 2 + -1. Let q be 6/(-4)*f/(-33). Do -1/2 and q have the same value?
True
Suppose 3*g + g - 4*w - 8 = 0, -g = -5*w - 22. Let y be ((-1)/2)/(g/18). Suppose -2 = y*x - 5. Which is smaller: x or 2?
x
Let t(y) = y**2 - 6*y + 2. Let h be t(5). Let a be (-1)/(-2)*(0 + 8). Let s = a + h. Which is smaller: -1/6 or s?
-1/6
Suppose -4*u = -3*h - 329, -2*u + 7*u - 2*h = 406. Let c = u - 323/4. Which is bigger: -1 or c?
c
Let u = -0.19 + 0.07. Let z = u - -0.02. Is 2/23 smaller than z?
False
Suppose 6*m - 20 = 2*m. Suppose -m*y = 4*c + 8 + 5, y + 4*c = -9. Suppose j = -q, 0*j = -j + 4*q. Is y greater than j?
False
Let t be 10/10*(1/(-5) + 0). Is -10 >= t?
False
Let o be 18*11*(-4)/6. Let g = -64 - o. Let j = -206/3 + g. Is -2 equal to j?
False
Let i = -131.04 - -136. Let y = 5 - i. Let x = y + -0.04. Which is bigger: x or 0.1?
0.1
Let j be (-2)/6 - 8394/90. Let p = -94 - j. Are p and -1 non-equal?
True
Let d = 0 + -0.6. Which is smaller: 0.1 or d?
d
Let m(i) be the first derivative of 5*i**4/4 + 2*i**3/3 - i - 2. Let u be m(-1). Let f = u - -4. Are f and 2/11 equal?
False
Let x(m) = 2*m - m**2 - 2*m + 4*m - 3*m. Let r be x(2). Let z be r/3 - 40/(-42). Is -1 less than z?
True
Let d = -974/5 - -194. Are 3 and d equal?
False
Let g = -27 - -24. Let n = 3 - 1. Let l = n + g. Is 2 equal to l?
False
Let h = -15 + 3. Let m be ((-5)/(-15))/((-2)/h). Let b = -2 + m. Is 0 at most b?
True
Let f be (340/51)/(2/(-6)). Is f at least as big as -20?
True
Suppose 2 = -5*r + g, 10 = -r + 4*g + 2. Is r at least as big as 5/6?
False
Let p = 89 + -92