= n - -55. Let z = -2 + 1. Is v != z?
True
Let b(o) = -2*o**2 - 2*o. Let t be b(2). Is t greater than -11?
False
Let i(v) = 3*v - 2. Let n be i(2). Suppose n*f - 21 = f. Suppose -3*h - f + 4 = 0. Which is bigger: -2/3 or h?
-2/3
Let u = -5375/17 + 316. Which is bigger: 1 or u?
1
Let t be 5/10 + 126/4. Which is smaller: -1 or t?
-1
Let r be (-4)/14 - 130/(-14). Suppose 4*x = r + 11. Suppose -3*j = -2*k + 6, -x*j = k - 0*j + 10. Is 0 <= k?
True
Let k be 0/1*(-1)/2. Let g = -0.02 - 2.98. Which is bigger: g or k?
k
Let u(d) = 43*d + 1. Let b be u(-1). Let s be (1/2)/(3/(-244)). Let r = b - s. Is r < 0?
True
Let a = -0.18 + 1.18. Which is greater: a or 7?
7
Suppose x + 8 = 5*x. Let s be (3/(-8))/(3/x). Is 2/9 bigger than s?
True
Suppose -x = x. Let r = 12 + -7. Let m be (r/(-10))/(14/4). Which is bigger: m or x?
x
Let o = -7.73 - -0.88. Let g = 0.15 - o. Which is greater: -0.1 or g?
g
Let n be 3846/(-1893) + 1 + 1. Let c = 256397/13251 - n. Let t = c + -59/3. Is 0 greater than t?
True
Suppose 16 = 2*b + 3*o, o + 18 = -b + 6*o. Let d be 12/(-9) + b/6. Let p = 9/22 - 5/22. Which is bigger: d or p?
p
Let n = 125 - 126.62. Let x = n - -0.59. Let b = x + 0.03. Are b and -1/7 nonequal?
True
Let b = 0.7 - 0.4. Let j = 1.7 + b. Let h = 2 - j. Is h greater than or equal to -1/2?
True
Let n(m) = 2*m + 8. Let p be n(0). Is 13/2 <= p?
True
Let s(g) = -7*g**2 + 3*g - 3. Let i be s(3). Which is smaller: -56 or i?
i
Suppose -z + 5 = 2. Suppose -z*n = 5*g - 36, -4*n = -6*n + 4. Which is smaller: g or 7?
g
Let y be (-5)/(-1) - (6 + -2). Let r be 36/(-54)*(-2 - y). Which is smaller: r or 5/8?
5/8
Let a be 168/(-144)*6*2/3. Is -4 at least a?
True
Let i = 152 + -96. Suppose 0 = 5*h + 11 - i. Suppose -2*g + 0*c + 6 = -2*c, 3*c = g - h. Which is smaller: g or -2/9?
-2/9
Let y = -5 - -6. Let p = 1.3 + -2.2. Let u = y + p. Do 0.06 and u have different values?
True
Let j = -2/17 + 33/136. Is 14 less than j?
False
Suppose 4*z + z + 5 = 2*b, -3*b = -2*z - 13. Let o = -2 + z. Let s = o - -2. Do 2 and s have different values?
True
Let d = 12/11 + 31/22. Let h = 0.79 + -0.79. Is d not equal to h?
True
Let p = 0 - 0.1. Suppose 2*y = 7*y + 35. Let a = y - -8. Which is greater: p or a?
a
Suppose 2*o + 15 - 17 = 0. Which is bigger: o or -6/17?
o
Suppose 2*g - 30 = 5*g. Let o be ((-7)/(-35))/(6/g). Which is greater: 1/5 or o?
1/5
Let w be -3 - 3/3*-3. Which is smaller: w or -7?
-7
Let b be 3/15 - 2596/30. Let n = b - -87. Is 0 greater than n?
False
Let m(o) be the second derivative of -o**4/12 + 5*o**3/3 - 2*o. Let k be m(10). Which is greater: k or -1/7?
k
Let i = 8423928 - 328515839/39. Let n = i + -445. Let l = n - -28/39. Is 1 >= l?
True
Let m = -72 - -83. Do 13 and m have different values?
True
Let o = -72.17 - -71. Let n = 6.27 + o. Let m = -5 + n. Which is smaller: -0.02 or m?
-0.02
Let y be 2 + 41 + 0 + -1. Let g be y/10 - 2/10. Suppose g*i - 2*o - 10 = 0, 3*o + 2 = -4*i + o. Which is bigger: i or -2/5?
i
Let q = -835572 + 22554614/27. Let a = q + 216. Which is smaller: -1 or a?
-1
Let p = -20 - -20. Let u be (7 + p + -2)/(-1). Is -5 at least as big as u?
True
Let y = -5 - 7. Let s = y - -13. Are -2/5 and s nonequal?
True
Let y(a) = -a + 5. Let z be y(4). Let i = 368 - 13618/37. Is z less than or equal to i?
False
Suppose -2*n = 2*n + 20. Suppose w + 0*w + 12 = -2*x, 0 = x + 3. Is n > w?
True
Let j(t) = 0 + 3 + t**2 - t - t**3 - 4. Let z be j(0). Let q = -11/6 + 37/30. Which is greater: z or q?
q
Let v be 0*((-6 - -3) + 2). Let o = 62/23 + -2588/943. Which is greater: v or o?
v
Suppose -4*b = 3*p - 19 - 4, 4*p = -2*b + 14. Which is smaller: p or 3/4?
3/4
Let o = -8 - 8. Which is bigger: -46/3 or o?
-46/3
Let f(i) = -i**2 + 6*i. Let c be f(5). Let g be 156/20 + 1/c. Are g and 8 unequal?
False
Let d = 5.6 + -6. Let l = 0.4 + d. Is -1/2 at least l?
False
Let r = 0.2 - 1.2. Is r equal to 9?
False
Let p = 3/4 - 1/4. Let r = -12 - -14. Which is smaller: r or p?
p
Let f(i) = 13*i + 1. Let p be f(-1). Let d = 44 + p. Let b = -95/3 + d. Is 7 less than b?
False
Let f be (-4)/14 + 1861/(-28). Let q = -455892793/6771884 + -4/241853. Let v = q - f. Which is greater: v or -1?
v
Suppose 2*v + 7 = 5. Which is greater: v or 2/181?
2/181
Let z = -6 + 10. Let b = 7 - z. Suppose -b*n = -2 - 4. Is n != 1?
True
Let k = -289 - -326.1. Let w = 33 - k. Let i = w - -4. Is i less than or equal to 3?
True
Let w = 3 + -4. Which is smaller: 1 or w?
w
Let j = -0.2 - -0.3. Let i = 0.2 - j. Let h be (-10)/45 + 16/(-90). Which is greater: i or h?
i
Suppose u + 3*s = 13, -3*u - s = -2*s - 19. Let w = 3 + 4. Are u and w equal?
True
Let s(r) = -r**3 + 12*r**2 - 14*r + 8. Let j be s(11). Let v be 2 - 1 - j/(-45). Let g be -1*0/((-2)/(-2)). Which is greater: g or v?
v
Let w be 3/(-24)*2 + 0. Let b = 1.5 - -0.5. Let y = 1.8 - b. Is w at most as big as y?
True
Let n be 9/15 - 6/10. Let i(r) = r**3 - r**2 + r - 1. Let t be i(n). Let l = -293/745 - 1/149. Does l = t?
False
Let c = -4 - -4. Let a(x) = -x**3 + 3*x + 4. Let v(u) = -4*u**3 + 10*u + 12. Let t(n) = -7*a(n) + 2*v(n). Let w be t(c). Is w greater than or equal to -4?
True
Let a = -85.08 + 83. Let v = a - -0.08. Which is bigger: 1/4 or v?
1/4
Suppose 5*k - 2*m + m + 17 = 0, -k + 4*m = 11. Let o = 3 + k. Is -2/9 smaller than o?
True
Let h = 65 - 64.4. Let n = -35/27 - -263/189. Let a = n - 25/42. Is a != h?
True
Let r = -4 - -7. Suppose -2*w + 125 = r*w. Let s be 15/w*5/(-2). Is s not equal to -1?
True
Let q be 0 + (0 - (-2)/2). Let a be -5 + (-2)/(-3 + q). Let k be a/(-14) + 108/(-231). Which is smaller: k or 0?
k
Suppose -m - 3 = g, -2*m + 20 = 3*m. Is g bigger than -0.1?
False
Let j(h) = 2*h + 11. Let g be j(-8). Is -5 greater than or equal to g?
True
Let n be (-4)/6 - (-43)/(-516). Suppose 2*t = -3*t. Are n and t equal?
False
Suppose 3 = w + 3*c, 4*w = -c + 2 + 10. Suppose 5*m - 4 = -f, 2*m + w*m = 0. Let n be f/(-2) - -3 - 0. Is n <= 1?
True
Let h be ((-2)/14)/(2/6). Suppose 2*x + g - 11 = 0, 4*x + x - 5 = 2*g. Let v = -3 + x. Is h at most as big as v?
True
Let s = 8/49 - 49171/147. Let i = -331 - s. Which is smaller: i or 4?
i
Let g = 1 - 1. Let w = -73 - -77. Which is greater: w or g?
w
Suppose -3*q = -2 + 8. Let p(t) = -t**2 + 5*t - 3. Let h be p(4). Suppose 4*k - 12 = -4*b, -2*k + 5*k + b = h. Which is smaller: k or q?
q
Let o be (-58)/42 + (-16)/56. Suppose 6 = 3*c - 6. Suppose 6 = -c*k - 6. Which is greater: o or k?
o
Let c(w) be the first derivative of -w**2/2 + 5*w - 1. Let k be c(5). Let z be (-2)/(-4)*4/(-10). Which is greater: z or k?
k
Suppose 0 = -8*l - 6*l + 14. Which is smaller: 6/29 or l?
6/29
Let x = 11.05 - 9.05. Let h = 0 + 0. Let w = h - 0. Is w at least x?
False
Let m = -2939/2 - -1501. Suppose -2*p + p - 5*l + 40 = 0, -5*p - 3*l = -156. Let y = p - m. Which is greater: y or 0?
0
Let w = -921/1921 - -1/113. Is w less than 0?
True
Suppose 0 = 7*f + 3 - 10. Which is bigger: f or 12/11?
12/11
Let p = 26 - 25. Which is smaller: p or -4/57?
-4/57
Let o be -2 + (-1*10 - 2). Let x = o - -83/6. Suppose 5*m + 2*f = -3*f + 20, m - 2*f + 5 = 0. Which is smaller: x or m?
x
Let i be 3 + (-18)/5 - -1. Is i at least -4?
True
Let d be ((-2)/10*-1)/(2/(-6)). Are -3 and d nonequal?
True
Let i = 5954 + -77352/13. Let k = i - 298/91. Is 2 less than k?
False
Suppose 3 = -7*t + 6*t. Suppose -d + 0*d - 15 = 0. Let f be (-6)/(-10) - (-9)/d. Do t and f have different values?
True
Suppose 3*k - 5 = -2*k. Which is smaller: 1/56 or k?
1/56
Suppose 2*b = 0, -4*b - 4 + 36 = 4*v. Let j be 1/1 - v/(-8). Which is bigger: j or 3?
3
Let d be -1 + (-4)/(-8) + (-38)/(-4). Are d and 9 nonequal?
False
Suppose 5*b - o + 11 = -3*o, 3*b - 4*o + 17 = 0. Suppose 3*r + 10 = -2*r + 5*u, -2*r - 2*u + 12 = 0. Let i be (-1 - -2)*(-5 + r). Are b and i unequal?
False
Suppose 0 = 2*k + o - 3 + 4, -3*k + 4*o = -15. Which is smaller: k or -2/105?
-2/105
Suppose -2*f = -d - 6*f + 17, -5*f = d - 21. Suppose -1 = -3*z + 8. Suppose 4 = -z*l + d. Which is smaller: l or -2/5?
l
Suppose 2*d - 16 = -0*d. Let u(p) = -3*p**3 + p**2 + p + 1. Let g be u(-1). Suppose d*f = g*f. Is -4/9 bigger than f?
False
Suppose 4*t - y - 64 = 0, 5*t - 32 = 3*t - 5*y. Suppose -4*d + 8 = -t. Suppose g + 4*m = -d, 5*g + 8 = -2*m + 32. Is 7 at least as big as g?
True
Let g = 16 + -18. Let n = 0.5 - -1.5. Are g and