 bigger: 2/19 or d?
2/19
Suppose -3*n + 2*t = 4*t + 12, -5*n + 3*t = 20. Let r be ((-2)/(-4))/(2/n). Are r and -3/5 equal?
False
Suppose s = -r, 0 = -2*s - 2*r - 3*r - 6. Suppose 4*m - 1 = s*c + 5, 2*m + 1 = 5*c. Which is smaller: 0 or c?
0
Let v = 12 - 6. Let z be (-21)/(-90) - v/15. Which is smaller: z or 0?
z
Suppose -5*a - w + 25 = 0, 0 = 2*a - 7*a + 2*w + 25. Suppose -3*k = -3*o, 3*o = 5*o - 10. Are a and k non-equal?
False
Let j = -7.08 - -7. Let x = 24.08 + -23. Let u = j + x. Which is greater: 5/2 or u?
5/2
Suppose 9 = 3*k + 3. Suppose a - 4*c = -12, -k*c + 0*c + 12 = -2*a. Is -2 > a?
True
Suppose 4*t - 8 = 3*h, -6 - 6 = -4*t + 2*h. Suppose -5*o - t = -0*o. Suppose 0 = -2*r - 2*r - 4. Is o at most as big as r?
True
Let g be 34/(-51) + 38*2/6. Which is bigger: 9 or g?
g
Let f = 1 + 4. Suppose 5*p + 0 = -f. Let b = -2 - -2. Which is bigger: p or b?
b
Let o = -37/16 + -1/48. Let y = o + 8/3. Let z be 8/44 + (-26)/22. Which is smaller: y or z?
z
Let l(o) = -o**2 + 9*o + 5. Let w be l(9). Let q be (-15)/w - -2*8. Is 14 smaller than q?
False
Let s = -0.2 + 0.3. Which is smaller: -11 or s?
-11
Suppose -3*m + 4 = -5*m. Let s = -5820/7 - -830. Are s and m non-equal?
True
Suppose -29 = -c + a, -a = 3*c + 2*a - 99. Let j = 106 - 303/4. Let d = j - c. Is d greater than or equal to -1?
True
Let i = -1045/7 - -149. Which is smaller: i or -30?
-30
Let t(y) = -y**3 - y + 1. Let u be t(0). Suppose -3*f + 4 = -2*f. Suppose -f*o = -5*j + 4 - 14, 5 = 5*j - o. Which is bigger: u or j?
j
Let y = 50 + -28. Suppose -b + 2*q = 2*b + y, 3*b - 3*q + 24 = 0. Let m = -7 - b. Which is bigger: 0 or m?
0
Suppose z = -5*c - 5, -4*c - 3*z + 10 = -5*z. Is c bigger than 6/23?
False
Let r = 106201/24535 - 10/701. Let s = -23/5 + r. Are 1 and s nonequal?
True
Let t be (-2 + 0)/(5/(-10)). Suppose -5*v - r = r + 12, r + 1 = 0. Which is smaller: v or t?
v
Let f = -23 + 19. Do -3 and f have the same value?
False
Let j be ((-7)/6)/((-2)/4). Which is smaller: -1 or j?
-1
Let x = 250185842/1262715 - -6/84181. Let r = 198 - x. Let j = 9 - 9. Is j bigger than r?
True
Let s = -2 - 0. Let z be -4*(9/s - -3). Is 6 at most as big as z?
True
Let f = -16 + 24. Let q = -5 + f. Let l = 0.06 + 0.04. Is l equal to q?
False
Let q(p) = p**3 - 8*p**2 - 17*p + 1. Let v be q(10). Is 31 greater than or equal to v?
True
Suppose 0 = -r - 4 + 1. Let w be (-2)/6 + 2/r. Let d = 4 + w. Which is smaller: 1 or d?
1
Let j be (2*-1)/(-2) - -2. Let r be (1/j*1)/1. Let f = 173 - 172.9. Which is smaller: f or r?
f
Let t = 0 - 0. Let u(v) = -v**2 + 6*v - 4. Let h be u(5). Suppose 0 = c + 3 - h. Does c = t?
False
Let j = 10 + -10.1. Let p be -1 + ((-214)/(-78) - 2). Let y = 1/13 - p. Are y and j unequal?
True
Let f be 6/(-4)*(-6)/342. Let z = 79/114 - f. Let i = 5/12 - z. Do i and 2/7 have different values?
True
Let i be (0 + -7)*(-4)/14. Let c be 2 + (i + 0)*-1. Does 1 = c?
False
Let c = 32 - 31. Which is smaller: -2/83 or c?
-2/83
Let t = 17 + -9.4. Let g = t + -8. Let x = 1.4 + g. Are x and -1 nonequal?
True
Let s = 40 - 198/5. Is s >= 77?
False
Let f(s) = -1 - 1 - s**3 - 6*s**2 - 2 - 6*s. Let j be f(-5). Let k be (-4)/7 - (-120)/420. Is k smaller than j?
True
Let y(x) = -x**3 - 3*x**2 - x - 2. Let m be y(-5). Which is smaller: -1 or m?
-1
Let r = -0.8 + 6.8. Let u = r - 3. Let k = 2 - u. Which is smaller: 1/2 or k?
k
Let g = 44731/946 - 520/11. Is 0 greater than or equal to g?
False
Suppose 7 - 16 = 3*z. Let o be ((-2)/3)/(16/z). Which is greater: o or 0?
o
Let c = 2.7 + -4.6. Let h = c - -1.8. Which is greater: h or -1?
h
Suppose 2*x + 6 = 4*x. Suppose 5*p = n + 8, -n + 1 = -1. Which is smaller: p or x?
p
Let n be 6/(-2) + -6 + -106. Is n bigger than -114?
False
Suppose 5 = 5*u + 4*m - 7, -3*m = 5*u - 9. Let o be 5 + (1 - (u + 1)). Suppose -a - a + 5*i = 10, 0 = -a - 5*i - o. Which is smaller: a or -6?
-6
Let l = 10175 - 468029/46. Let w = l + 1/23. Suppose -2*j = 4, -4*d - j + 2*j = 14. Is d > w?
False
Suppose -20 = -5*n + 5. Suppose n*l = l. Let p = -581/4 + 146. Is p > l?
True
Suppose 3 = -g + 3*u, 5*u - 1 - 4 = g. Suppose g = -2*r - 3*r. Is 0 at most as big as r?
True
Let d(m) = -m**3 + 2*m**2 + 2*m + 4. Let l be d(3). Let b = -39 - -197/5. Which is bigger: b or l?
l
Let o = -12 + 9. Is -10/3 at least as big as o?
False
Suppose -3*g + 2*t = -38, -5*g - 3*t = -4*g - 31. Is 15 smaller than g?
True
Let q(g) = 3 + 5*g - g - 3*g. Let n be q(6). Is n >= 8?
True
Let u(k) = k**3 - 3*k**2 - 5*k + 3. Let z be u(4). Which is smaller: z or 0?
z
Let x = -1.6 + 1.6. Which is bigger: x or 0.01?
0.01
Let l = 7355/114 - 58/57. Let d = -54 + l. Which is bigger: d or 9?
d
Let z(i) = -i**2 + i - 2. Let o be z(0). Let f = -2 - o. Let g be 1*((0 - 1) + 0). Do g and f have the same value?
False
Let c = 7/20 + -3/5. Let z = -20.2 - -18. Let o = -2 - z. Which is greater: o or c?
o
Let o(v) = -v**2 + 8*v + 10. Suppose -2 - 16 = -2*u. Let x be o(u). Is x at least 1/13?
True
Let q = -1.5 - 0.5. Is q smaller than -21?
False
Let y = 4 + -4. Suppose c + 16 = 4*u, y = c + u - 4 - 0. Suppose -4*t - 19 = 3*o, 3*t + o + 13 = 5. Which is smaller: c or t?
t
Let o be -1 + 5 - 246/63. Is o > -1?
True
Let b(n) be the third derivative of -n**5/60 + n**4/4 - n**3/2 + 2*n**2. Let p be b(2). Let y be 2/p - 9/(-15). Which is smaller: -1 or y?
-1
Suppose 0 = -2*g - 1 + 5. Suppose -4*p + 13 + 1 = -g*n, -n - 12 = -3*p. Is p != 2?
True
Let h = -0.06 + 0.1. Let m = h - -1.96. Let f = m + -2.1. Is 0.1 less than f?
False
Let m(r) = -r - 22. Let j be m(-13). Suppose 3*i + i + 40 = 0. Which is bigger: i or j?
j
Let z be 3*(-1)/((-252)/(-15)). Let p = z + 13/14. Is p at most as big as 1?
True
Let h = -1412/6273 + 2/697. Suppose 3*t = -3*w - w - 5, 5*w - 4*t - 17 = 0. Which is smaller: h or w?
h
Suppose z - 9 = -5. Let s be (3 - 17/6)*z. Which is greater: 10 or s?
10
Suppose -5*d + 4*b + 13 = 0, 2*d - d = 4*b + 9. Which is greater: -1 or d?
d
Suppose 3*c = -4*f + 26, -c - 17 = -5*f + 6. Let l be (5/c)/((-2)/(-8)). Is l less than 10?
False
Let v = 19 - 19. Which is bigger: v or 5/6?
5/6
Let m = 5 + 7. Let o = m - 11. Are o and 0.1 unequal?
True
Let v = -12/35 - -178/315. Is v >= -4/13?
True
Suppose -4*p + 10 = 2. Let k be (p + (-2)/(-2))/(-1). Which is smaller: k or -4?
-4
Let y(q) = -q**2 - 18*q + 68. Let d be y(-21). Let f(o) = -o**3 + o**2 + 2. Let s be f(2). Which is smaller: d or s?
s
Let u = 6 - -3. Let p = 12 - u. Which is greater: p or -2/9?
p
Let o be (2/(-3))/((-14)/(-63)). Let r be -5 + 1 + o + -1. Is 1 equal to r?
False
Suppose 5*d = f + 5, -f + 9 = 2*f - 3*d. Suppose s + 2*h - 12 = -1, 20 = f*s + 3*h. Suppose r = 4*r - 6, 2*r = -3*b + s. Is b greater than or equal to 1/5?
False
Suppose -2*u + 5 + 3 = 0. Suppose -2*n = d - u, 2*d - 24 = -n + 5*n. Let w = d - 4. Which is bigger: 1 or w?
w
Let k be 2*1/(1 - 0) + 5. Is 8 > k?
True
Suppose -1 - 3 = 4*x - f, 4*f + 1 = -x. Is x > -15?
True
Let s = -42.2 + 35. Let r = -6 - s. Let a = r + -1. Which is smaller: a or -1?
-1
Let v = 10 - 16. Let a = v + 7. Which is smaller: -5 or a?
-5
Let f = 6/19 + -73/171. Is f > 1?
False
Let i = 151 - 293/2. Is i at least as big as 6?
False
Let d(r) = 2*r + 1. Let l be d(4). Suppose -l*v + 4*v = -105. Is 20 >= v?
False
Let z = 0.3 - -0.6. Let n = z + -0.8. Let g = -12 + 8. Is g less than n?
True
Suppose -8*h + 26 = 186. Which is bigger: h or -18?
-18
Suppose 5*s = 5*c - 10, -s - 20 = 7*c - 2*c. Is -5 equal to s?
True
Let h be (-1)/(-2)*-2 - 1. Let f be 1 + ((-2)/h - 2). Let p = 20/17 + -32/85. Which is bigger: f or p?
p
Suppose -i = 2*i + 45. Let f = -23 - -14. Let p be f/i + (-2)/10. Which is greater: p or -1?
p
Let i = -0.23 - -0.03. Let t = -0.16 + i. Let o = 0.04 - t. Which is smaller: 0.1 or o?
0.1
Let i be 18/(-12) + 0 + 1. Is i at least as big as 0?
False
Let z = -3 - -3. Is z smaller than 2/7?
True
Suppose 13*b + 132 = 15. Which is bigger: b or -1?
-1
Let m = 43.01 + -43. Let g be (-5)/6*3/10. Is g < m?
True
Let m = -9 + 3. Let j = m + 6.1. Which is greater: -3 or j?
j
Let x be 16*((-2)/6*3)/42. Is 1 at most as big as x?
False
Let l be (4 - 1) + 0/5. Suppose 2*b + 4 = 2*j, 6 = -4*j - 0*j - l*b. Suppose -4*c - 4*q = 0, j*c = 2*c + 4*q - 6. Is c greater than -3?
False
Let m(g) = -2*g + 2. Let n be m(3). Let y = 130/3 - 43. Which is smaller: y or n?
n
Let x be 