0, 4*o = -b - 5 - 5. Are b and -3/2 non-equal?
True
Let x = 97/35 - 18/7. Let u be -1*(2/(-1) + 3). Which is smaller: u or x?
u
Let t = 47 - 47.27. Let p = 4.93 - 5. Let m = p - t. Are 2 and m non-equal?
True
Let t = -31 + 43. Let u = -7 + t. Suppose -4*r - u = r. Is 1/4 at least as big as r?
True
Suppose 4 = -3*n + 13. Let u be (2 + -8)*1/(-3). Which is smaller: n or u?
u
Let z be 2 + -2 + 149/126. Let i = z + -15/14. Let w(c) = 2*c**3 - c**2. Let n be w(1). Which is greater: i or n?
n
Suppose 2*j = -4*j - 6. Which is bigger: j or 2/111?
2/111
Suppose 8 = -a - 0. Let l(c) = -c - 7. Let t be l(a). Which is greater: -1/9 or t?
t
Suppose 2 = z - 3*v - 0, -2*z + 5*v = -3. Let q = -0.058 - -2.758. Let m = q + -0.7. Which is greater: z or m?
m
Let z = -8 - -14. Let r = -8 + z. Let y be ((-2)/4)/((-3)/(-12)). Is y > r?
False
Suppose 3*v + 4 + 5 = 0. Is 0 equal to v?
False
Let b = -4.95 + -0.05. Let m = 185 + -186. Which is bigger: b or m?
m
Let g = 57 + -92. Is g > 0?
False
Let n = 0.16 - 0.06. Let r = n + 3.9. Which is greater: -2/7 or r?
r
Suppose 26 = 3*z - 5*l, l - 4 = -5. Suppose 2*v + 1 = z. Suppose 3*c + 20 - 5 = -3*y, -2*c - 13 = v*y. Which is bigger: 0 or c?
0
Let j = 4 + -6. Let p be j - (3/48 - 2). Let k be 2/(-2)*5/(7 - 12). Is k greater than or equal to p?
True
Let s be (-42)/(-72) + 2/(-8). Let n(v) = v**2 + v + 1. Let i(c) = c**2 + 7*c + 6. Let j be i(-6). Let t be n(j). Which is greater: s or t?
t
Suppose -f - 4*h = 2, 5*f - 10 = 4*h + 4. Suppose 0 = -f*q - 1 - 13. Which is smaller: -8 or q?
-8
Let y(h) = -h**2 - 5*h + 2. Let c be y(-6). Is -3 > c?
True
Let b = 0.9 + 0.1. Let h = b + -2. Let n = 1.1 + h. Which is smaller: n or -2/3?
-2/3
Let u(y) = -y**2 - 6*y - 6. Let n be u(-4). Let t be (1 - 5) + (-4)/n. Let i be -2 - 2*(-3)/t. Does i = -2?
False
Let o(f) = -8*f - 1. Suppose -2*d - 3*w + 0*w - 16 = 0, -d - 10 = 2*w. Let g be o(d). Let j be 5/g - (-2)/(-6). Is 2/3 less than j?
False
Let l(w) = -w**3 - 19*w**2 + 18*w - 41. Let f be l(-20). Which is smaller: f or -1/28?
f
Let n be -2 + 9*4/12. Suppose 3*b = -8 - n. Is -2 smaller than b?
False
Let j = 2/1151 + 2052/143875. Which is smaller: 0 or j?
0
Let b = -15 - -14. Which is bigger: b or -3/14?
-3/14
Let o = -60 + 60. Let n = 91 + -551/6. Is n greater than o?
False
Suppose 36*t = 43*t - 7. Is 19/11 < t?
False
Let s = 8.6 - 9.6. Is s smaller than 3/13?
True
Let r(j) = -j**3 + 2*j**2. Let f(z) = 2*z**2 - z + 1. Let n be f(1). Let c be r(n). Let m = 0.3 + -1.3. Which is bigger: c or m?
c
Let k = 78 - 78. Which is smaller: k or -4/35?
-4/35
Let a = -15 - -2. Let m = a + 13.4. Which is greater: m or 0?
m
Suppose 4*j - b + 8314 = 0, -5*j + 0*j + 3*b = 10389. Let h be 224/j - 4/(-22). Which is smaller: h or 0?
0
Suppose 3*f = u - 3*u - 55, 5*f - 4*u + 121 = 0. Let z = f - -6. Which is bigger: z or 1?
1
Suppose 0 = -3*g - 9, -4*o - 12 = -2*o + 4*g. Let p be o/1 - (47 + -1). Let a = -137/3 - p. Which is greater: -1 or a?
a
Suppose -4 = -4*y, -2*s + 3*y = -s + 5. Let w = 0 - s. Suppose 2*b = -4 - w. Are -4 and b non-equal?
True
Let s = -11 - -11. Let q = s - 0.1. Which is smaller: 6 or q?
q
Let h be -1 + (84/(-46))/(-2). Which is bigger: 0.1 or h?
0.1
Let t = 551 - 3299/6. Is t less than 0?
False
Suppose 0 = 5*s + 6 - 11. Let w be (12/105)/(6/(-5)). Is s not equal to w?
True
Suppose 24*c + 16 = 8*c. Is c < -2/157?
True
Let v = 204 + -1834/9. Let r = -0.37 - -0.6. Let y = r - 0.33. Does v = y?
False
Let p = -90 - -88. Is p <= 10/3?
True
Let b = 4.8 - -0.2. Is 3 equal to b?
False
Suppose -2*b - 2*b - 106 = -5*o, -o = 2*b - 24. Which is greater: o or 21?
o
Let j = 0.2 + 0.8. Is j less than or equal to -4?
False
Let m be (-12)/9*4/(-32). Is m at most 1/5?
True
Let m = 3.2 - -12.8. Are m and -2 nonequal?
True
Let f be 3/(-5) - ((-18)/3)/30. Is f greater than or equal to 6/11?
False
Let y = 14 - 22. Let t = -12 - y. Which is smaller: t or 0.1?
t
Let h(f) = f**3 + 4*f**2 + 3*f + 3. Let r be h(-3). Suppose -r = 5*x + 2. Which is greater: x or 2/39?
2/39
Let g = 22.8 + -25. Which is smaller: g or -1/2?
g
Let w(o) = -o**2 + 7*o - 7. Let m be w(5). Suppose r = -3*b - 0*b + 4, -b - m*r - 12 = 0. Suppose -b - 5 = -2*u + 4*c, -24 = 2*u + 4*c. Is u smaller than -3?
True
Let g(u) = 2*u - 6. Let w(r) = r**3 + 3*r**2 - 6*r - 8. Let c be w(-4). Let l be g(c). Is -6 bigger than l?
False
Let s = -3.17 + -0.03. Let z = -3 - s. Let i = z + -0.4. Is i not equal to 1?
True
Let q be (3/(-6)*6)/(63/6). Is q equal to -10/13?
False
Let j be ((-1)/7)/((-12)/21). Let c = 1/10 - 23/30. Is c greater than j?
False
Suppose 6*t + 3 = 3*t. Do -1/3 and t have the same value?
False
Suppose -3*w - w + 85 = 3*s, 3*s - 110 = w. Is s at most as big as 37?
True
Let x = 15.08 - 0.08. Which is greater: 1/2 or x?
x
Let k = -3/227 - 403/3859. Is -1 equal to k?
False
Let l be 4/((1 + -2)/1). Let z = 0 - 6. Let b be (-2 - -3)*z - -2. Is l less than b?
False
Let l(y) = y - 3. Let i be l(7). Suppose -5*p + i = 9. Is p <= -1?
True
Suppose -48 = -2*s - 2*s. Let p be 37/s - (4 - 1). Which is greater: p or 1?
1
Let d = 3.8 - 0.8. Let n = 0.9 + -4.9. Let o = n + d. Is o < 1?
True
Let j = -23/2 - -211/18. Is -1 < j?
True
Let v be (((-36)/(-15))/(-3))/(2/10). Does v = -4?
True
Let w be 1/(-7) + -3 + 3. Let t be (-2)/(-20) + 2/5. Which is smaller: t or w?
w
Let z = -89 + 87. Which is smaller: -5 or z?
-5
Let y = -34 - -37. Which is smaller: 1 or y?
1
Let d = 0.4 - 0.1. Let l = 1.3 - d. Is l greater than or equal to -1/2?
True
Suppose 0 = -3*l - 0*l - 2*c, 0 = 2*l + 2*c + 2. Suppose 4*h = -5*a + 48, l*h - 4 = -0. Suppose 3*o - a = 3*d + 4, 3*d + 2*o = -7. Which is greater: -2 or d?
-2
Suppose 5*w = 4*w. Which is smaller: w or 3?
w
Let g be 5*(-4)/(-10) - -33. Let v = 16 - g. Are -18 and v unequal?
True
Let l = 11 + -6. Let b = l + -3. Is b smaller than 1?
False
Let p = -5 - -6. Let d = -4390 + 17445/4. Let w = -29 - d. Is p at most as big as w?
False
Let a be 2/(-6)*-3*4/18. Do -0.1 and a have different values?
True
Suppose -2*k + 13 = -7. Let w = -5 - -9. Suppose w*b - 5 = x + k, -5*x = 3*b - 17. Which is smaller: 0 or x?
0
Let u = -18 + 37. Let z = u + -16.4. Let n = z - 0.6. Which is greater: -0.2 or n?
n
Let f(h) = -3*h - 5. Let q(s) = 4*s + 4. Let x(o) = -3*f(o) - 2*q(o). Let u be x(-5). Is 2/7 greater than or equal to u?
False
Let x be (-46)/(-14) + 4/(-14). Let u be 2*(x/2)/(-1). Let o = u - -3. Which is smaller: o or 2?
o
Let s = 0.6 + 3.4. Let j = 6 - s. Let g = -38/3 + 13. Which is bigger: j or g?
j
Let g = 0.05 + -0.09. Let b = 1.14 + g. Let i = -1 + b. Do -0.1 and i have different values?
True
Let o = -19509 + 42312. Let t be 1/((-19695)/o) + 1. Let u = t - -2/505. Is u greater than 0?
False
Suppose -4 = x - 2. Let r = 23 - 32. Let b be r/6*(-8)/(-9). Are b and x nonequal?
True
Suppose 0 = 4*w - 9*w. Are 0 and w nonequal?
False
Let c = 4.9 - 0.9. Let b = -8 + c. Let d = b - -4. Which is bigger: d or -1/2?
d
Let l(i) = -9*i**2 - i - 1. Let k be l(-1). Let z be -1*(3 + 30/k). Suppose 2*d = -5*u - 1, -2*u - 4 = -d - 0*u. Is d < z?
False
Let a = -3 - -13/5. Which is smaller: 2 or a?
a
Let y be (6/(-115))/(4/(-40)). Let n = y - 25/92. Which is smaller: 1 or n?
n
Let x = -1.99 + -0.01. Let z = x + 2.8. Let w = 1 - z. Which is smaller: -1 or w?
-1
Let n = 0.2 - 0.18. Let j = -0.41 - -0.39. Let d = j + n. Which is greater: d or 2?
2
Suppose -z - a = -1, -3*z = -3*a + 4*a - 7. Suppose 2*p - 13 = z*u - 0, -5*p + 2*u + 16 = 0. Is 1 not equal to p?
True
Suppose 0 = 3*w - 2 - 4. Which is greater: w or 1?
w
Suppose -3*o - 12 = -2*q, -4*o - q - 2*q + 1 = 0. Suppose -2*j + 30 = 3*j. Let z be ((-4)/j)/((-3)/(-9)). Is z greater than o?
False
Let x(y) = -10 + 0*y + y**2 - 2*y**2 + 11*y - 2*y. Let a be x(7). Which is smaller: a or 1?
1
Let y = 17 - 30. Let u = 13 + y. Are 1/4 and u equal?
False
Let g = 5 + -2. Let x = g - 3. Suppose x*b = -b. Is -1 <= b?
True
Let z be (-7)/(-14)*(-4)/(-13). Are 5 and z nonequal?
True
Let m be 120/(-57)*(-72)/60. Is 3 greater than m?
True
Let p be (0 + 8/3)*6. Suppose -1 = -5*h - p. Which is smaller: h or -4?
-4
Let s = 3643/1688 + -7/211. Which is greater: 1 or s?
s
Let u = -4027/8 + 506. Is 2 at most u?
True
Let t = 0.18 + -1.18. Which is bigger: t or -0.1?
-0.1
Let g(j) be the first derivative of -j**3/3 - 5*j**2/2 + 7