igger: -2 or b?
-2
Let x be 102/270 + 6/(-10). Is 1 at most as big as x?
False
Let z = -11 + 17. Suppose -6*b + 4*b + z = 0. Let p be (1 - (1 - 2)) + 2. Which is bigger: p or b?
p
Let y = -95 + 94. Which is smaller: y or -4?
-4
Let i = -1 + 5. Suppose i*v - 5*f = 0, 2*v = -f + 5 + 9. Let z = v - 4. Which is greater: 0 or z?
z
Let y = -369 - -2591/7. Are 0 and y unequal?
True
Let k = -1.28 - -1.18. Let l = 4 + -11. Let g be (4/(-2))/2 - l. Which is bigger: k or g?
g
Let m = -1219 - -10957/9. Which is smaller: m or -3?
-3
Let p(y) = y**2 - y. Suppose 0*i = 5*i - 5. Let n be p(i). Let d = 6 + -4. Is d >= n?
True
Let v = 7 + -2. Which is smaller: 0.1 or v?
0.1
Let t(c) = c + 9. Let o be t(-10). Let q(s) = -4*s + 1. Let l be q(-5). Let i be (-1 - -5)*l/(-28). Is i greater than o?
False
Let p = -13 - -10. Which is smaller: -9/5 or p?
p
Suppose -12 = 3*p + i, -p - 2*i - 8 = 1. Do -3 and p have different values?
False
Suppose 4*x = -0*x + 4. Let b(n) = -n + 1. Let g be b(x). Let m = -423/20 - -87/4. Is m <= g?
False
Let v = 35 - 34. Which is smaller: -1 or v?
-1
Let l(r) = r**3 + 4*r**2 - 4*r - 2. Let s be l(-4). Let p be 1 - (s/(-10) - -3). Is 0 equal to p?
False
Let p = -2 - -12. Let o(w) = -3*w**2 + 44*w + 53. Let g(h) = -h**2 + 15*h + 18. Let i(f) = 17*g(f) - 6*o(f). Let s be i(p). Is -2 >= s?
True
Let g = 0.2 - 0.15. Let x be -1*(2 + -4)/(-6). Which is greater: x or g?
g
Let v = -4/2201 - 187073/6603. Let b = 58 - 87. Let s = v - b. Is s bigger than 0?
True
Let s = 6 - 6. Suppose 4 = l - s. Suppose 0 = -5*i - l*p - 13, -3*i + 2 = p + 7. Which is bigger: i or -2/21?
-2/21
Let s = -9 + 28/3. Let h be (455/(-63) + 5)*(-3)/(-8). Do h and s have different values?
True
Let l be (6/18)/((-1)/(-3)). Suppose 0 = -x - l - 0. Let i be -2 + 3 - 8/10. Is i smaller than x?
False
Let m(t) = 2*t**2 - t - 2. Let v be m(2). Suppose v*c + x = 3*c, 3 = 4*c + 5*x. Which is greater: -2 or c?
-2
Let f = -7.08 + 0.08. Let q = f - -1. Let w = q + 7. Which is greater: w or 1/4?
w
Let h(c) = -c**2 - c + 1. Let b be h(-2). Let d = b + 1. Which is smaller: d or -5/4?
-5/4
Suppose 5 + 3 = -4*r. Let i be ((-6)/4)/((-33)/(-11)). Which is smaller: r or i?
r
Let s = -1 - -3. Let b be (2/2)/((-3)/(-12)). Suppose o - b = s*o. Is -3 greater than or equal to o?
True
Let x = -16.9 + 19. Let d = -10 - -8. Let a = x + d. Is -4/5 at least a?
False
Suppose -3*b - 14 - 124 = 0. Is 0.1 greater than b?
True
Let q = 64 + -72.92. Let i = q + 9. Are i and -1 equal?
False
Let o(b) be the first derivative of b**2/2 - 9*b + 1. Let g be o(5). Are g and -4 equal?
True
Let a(l) = l**2 - 5*l. Let n = 14 - 9. Let c be a(n). Suppose -y + 5*j + 18 = c, 2*y - j = -0*j. Which is smaller: -3 or y?
-3
Let m be 6/(-10) + 2/(-5). Let o be m - 3*1/(-1). Let b = o + 0. Is -1/3 greater than or equal to b?
False
Let q(v) = v**3 - 6*v**2 + v - 4. Let r be q(6). Suppose 0 = -5*m + 3*u + 14, -2*u - 13 = 2*m + 3*u. Is r smaller than m?
False
Let j be 2/4 + 90/(-12). Let v be 46/14 - (-2)/j. Suppose 3*l + 0*l = -v. Which is bigger: l or 2/9?
2/9
Let y(l) = -l**2 + l - 1. Let g be y(1). Let n be (-2)/(-10) + (-44)/(-5). Let c be ((-8)/(-30))/((-6)/n). Which is bigger: c or g?
c
Let s = 18 - 16.9. Is s > 0.2?
True
Let k = -0.036 - 2.964. Let n = 0.4 - 0.4. Which is smaller: k or n?
k
Suppose 0 = -4*t - 5*q - 11, t + 3*t = -2*q - 2. Is 2 > t?
True
Suppose -o + 4*x = 110, -x + 115 + 160 = -3*o. Which is smaller: -1/2 or o?
o
Let y(x) = x + 4. Let f be y(-6). Let n be ((-3)/6)/((-1)/f). Suppose -2*g = -3 + 5. Is n bigger than g?
False
Let b(j) = j**3 - 9*j**2 + 8*j - 3. Let d be b(7). Let v be 2/5 + 63/d. Let y = -61/82 + -1/164. Which is smaller: v or y?
v
Suppose 33 = -3*p + 2*l, -l = 4*p + 4*l + 67. Suppose -7 - 45 = 4*y. Is p bigger than y?
False
Let t be -6*1*1/(-1). Is 5 smaller than t?
True
Let z = -10894/17 - -641. Is 0 < z?
True
Let k = 0.252 - -0.148. Let g = 1 - 2. Let d = g + 2. Which is smaller: d or k?
k
Let a = 25 - 27. Do a and -2 have different values?
False
Let s be (-6 + 5)/(1/(-15)). Let h be (9/(-6))/(s/4). Which is bigger: h or 0?
0
Let n be (3/(12/16))/(-2). Which is smaller: 1 or n?
n
Let q = -88 - -87. Which is greater: -2/153 or q?
-2/153
Suppose 4*f - f = -18. Let j be 3/f - (-2)/4. Is j >= -1/8?
True
Suppose -2*d + z = 2*d + 444, -2*d - 236 = -4*z. Let w = 35 + d. Let r = -227/3 - w. Are r and -1 unequal?
True
Let y = 2386/13 + -184. Is -1 less than or equal to y?
True
Let q be 0/(0 - (-2)/1). Let v be (q - (-2)/(-36))/1. Let b(w) = w**3 - 4*w**2 - 5*w. Let m be b(5). Is v not equal to m?
True
Let d(x) = -3*x - 1. Let t(f) = -f + 4. Let z be t(5). Let a be d(z). Let g = -0.3 + 0.3. Is a at most g?
False
Let h be (1/(-2))/(2/(-8)). Let y(p) = p**3 - 5*p**2 + 3*p - 3. Let t be y(4). Let o be (-35)/(-10)*(-5)/t. Is o at most as big as h?
False
Let z be ((-1)/12)/((-2)/20). Which is smaller: 2 or z?
z
Suppose f = -5*w - 30, 3*f = 2*w - 4*w - 25. Is w < -4?
True
Let v be (-242)/3*9/(-6). Let l be (-385)/v - (-4)/22. Is -5 less than l?
True
Let b = -464/5 + 94. Suppose -5*w = 20, 4*f + 2*w + w = -12. Is b at most f?
False
Let q(t) = 22*t**2 - 2*t - 1. Let j be q(-6). Let u = -461 + j. Let o be (-40)/u - 2/(-9). Which is bigger: 1 or o?
1
Let i be (-21)/9*-3 - 0. Is i less than 8?
True
Let k = 3 - 0. Suppose t + k = -0. Let o(c) = -c + 2. Let h be o(4). Is t smaller than h?
True
Let n = -5 - -6. Let d = -195/11 + 191/11. Which is smaller: d or n?
d
Let v(m) = m**2 + 6*m - 7. Let u be v(-7). Suppose -3*c + 2*g = 3*g + 3, u = -5*c + 4*g + 12. Let b = -4.93 + -0.07. Is c smaller than b?
False
Let j = 2 - 0. Let d = 11 + -8. Let l = d - j. Is l >= 1?
True
Let m = -26 + 25.62. Which is greater: -0.2 or m?
-0.2
Let r be 1*((-13)/11 - -1). Let n be -1*(-3)/(-4 - -1). Which is smaller: r or n?
n
Let o(j) be the third derivative of j**6/120 - 2*j**5/15 + 7*j**4/24 - j**3/6 + 2*j**2. Let u be o(7). Let l be (1/(-2))/(5/(-2)). Which is smaller: l or u?
u
Let a be (-2*(-4)/(-28))/4. Which is bigger: 0 or a?
0
Suppose 2*k - 26 = 2*w, 0 = -0*w - 5*w - 2*k - 30. Let u be 9/(-33)*w/(-12). Which is greater: u or 0?
0
Let g(u) = u + 7. Let y be g(-7). Suppose -2*i - 2*x - 3*x + 5 = y, -2*i + x - 13 = 0. Let h(j) = 2*j + 6. Let c be h(i). Are c and 1/2 nonequal?
True
Let d(k) = -k**2 + 7*k - 5. Let p be d(5). Suppose -5*u - 21 = -4*u + 4*s, 5*u - p*s = 20. Which is smaller: u or -1/6?
u
Let t = 13.86 + 0.14. Let k = -13.8 + t. Which is bigger: -8 or k?
k
Suppose -2*p + 0*p = -4*d - 2, 3*d = -p + 16. Let x = 7 - p. Are x and 1 unequal?
True
Suppose 3*x - 5*x = 0. Is 4/3 != x?
True
Let n(p) = p**3 + 4*p**2 - 4*p. Let x be n(-5). Let i be -1 - (18/x + 2). Let w be (-12)/(-5) - (-4)/(-10). Is w > i?
True
Let u be 8/12 + 3/(27/75). Is -2 greater than or equal to u?
False
Let u(b) = b**3 + 7*b**2 + 6*b - 1. Let t be u(-6). Which is greater: t or 2/107?
2/107
Let a = 347.99 - 351. Let i = a + 0.01. Let q = 7/9 - 23/18. Is q < i?
False
Let z = -0.22 + 6.22. Which is bigger: 1/5 or z?
z
Let o = -14.3 + 2.3. Let m = o - -8. Are -2/3 and m nonequal?
True
Let u(g) = g**3 + 4*g**2 + 3*g. Let c be u(-2). Let n be -3 - (0 - 1 - c). Do -8/7 and n have the same value?
False
Let l = 4407/7 - 624. Are 6 and l equal?
False
Let q = -34 - -33.9. Is q bigger than -5.6?
True
Suppose 5*z = 3*z - 8, 0 = -r - 5*z - 22. Is r at most -7?
False
Let h be 0 + 1 - (-18813)/(-15147). Let i = h + 2/297. Is i greater than -1?
True
Suppose 18 = -3*d - 6*d. Are d and -1/2 equal?
False
Let g be (24/36)/((-4)/6). Let z be (-2)/(g/((-4)/(-2))). Is 5 less than or equal to z?
False
Suppose 2*g - 4*c - 24 = c, 4*c + 8 = -4*g. Suppose u + g*u = 15. Let s be u/(-28) + 6/8. Is s < 0?
False
Let p = -0.64 + 0.4. Is p less than 2?
True
Let r be (-28)/(-7) + 1 + -6. Let l be (-3 - (-8)/3)/r. Which is greater: l or -1?
l
Let t = 0.2 + -0.4. Let j = 1.1 + 3.9. Let g = -4 + j. Which is bigger: t or g?
g
Let l = 13.1 + -13. Which is smaller: 5/6 or l?
l
Suppose 12 = -2*f - 0. Suppose 0 = w + 3 + 4. Let i = w - f. Is i at least as big as -0.1?
False
Let v be 1/((-2)/(-12)*1). Let h be 2/6 - (-16)/v. Suppose -4*p + o + 16 = 0, -4*p - o - 7 + 23 = 0. Is h less than or equal to p?
True
Suppose 17*k - 32 = 13*k. Suppose 4*f + k = -4*j, 7*f - 2*f - j + 28 = 0. Is f < -5?
False