= 3 - 5. Let s = -5 - x. Let u = -1 + s. Which is smaller: -0.1 or u?
u
Let x = 4 - 6. Are x and -2 unequal?
False
Let i be (2/(-4) + 2)*-2. Let x be 1 - i/6*-10. Let l = -3 - -2. Is x <= l?
True
Let w = 5 - 0. Suppose w*a - 5 = 0, -8 + 0 = -5*p + 2*a. Are 2/5 and p equal?
False
Let m be (1 - 4) + 4 - 2. Is m <= -4/21?
True
Let x = -0.2 - 0.7. Let v = x + 0.8. Which is smaller: v or -15?
-15
Suppose 3*n = -2*n - 35. Which is greater: n or -1?
-1
Suppose 0 = -c - 2 + 17. Suppose -2*j = 5*g - 0 + 1, 0 = -5*j - c. Which is greater: 2/67 or g?
g
Let x = -5 - -3. Which is bigger: -10/7 or x?
-10/7
Let f(o) = o**2 - o - 2. Let h be f(0). Let g be h/(-3 - 0 - -2). Suppose -g*c = -3*c - 1. Does c = -2/5?
False
Let r be (-6 - 6)*(-3758)/(-126). Let y = 358 + r. Let l be 2/(-7) - (-2)/7. Which is smaller: l or y?
l
Let x = 0.9 + -0.6. Is -1/4 at least as big as x?
False
Let b be 12 - (-1 + (0 - -1)). Suppose -b = -0*k - 3*k. Let m(n) = -n**3 + 4*n**2 - 1. Let z be m(k). Which is smaller: z or 0.1?
z
Let l be 1/(-5) - (-38)/(-95). Let d = -0.11 + 0.01. Which is greater: l or d?
d
Let j(t) = 3*t - 28. Let d be j(18). Is d > -0.2?
True
Let d = -0.22 - -7.22. Let x = 0.2 + -0.1. Is d at most x?
False
Suppose o = -0*o. Suppose o*c - 2*c = 4*p + 2, -5*p = 4*c + 10. Is -6 >= c?
False
Let b(i) = i + 28. Let t be b(-10). Which is smaller: 19 or t?
t
Let v be 1 - 4 - 189/(-99). Which is smaller: 0 or v?
v
Let n be 11/44 - (-1 + 18/8). Is 3/124 greater than or equal to n?
True
Let d = 7 + -5. Suppose -d*z + 0*z + 8 = 0. Suppose 7*r - 23 = -2. Which is smaller: z or r?
r
Let x = -5 - 6. Which is bigger: -19/2 or x?
-19/2
Let w(a) = a**2 + 4*a + 4. Let p be w(-3). Suppose 0 = 2*l - 1 + 3. Is l smaller than p?
True
Suppose 11*n = 7*n. Suppose n = 5*j + 3 + 7. Which is smaller: -1 or j?
j
Suppose j - 30 = -2*j. Suppose -j - 15 = -5*q. Suppose q*y = 1 + 9. Is 2 at least as big as y?
True
Let q be (-1)/(-3) - (-12)/(-44). Is q equal to -1?
False
Let g = -3 + 2.9. Which is smaller: 1.7 or g?
g
Suppose 2*n - 15 = u, -3*u - 12 = -3*n + 18. Is 8 less than u?
False
Let i(p) = -p**2 + 7*p + 1. Let b be i(6). Suppose -b - 8 = -o. Let n be (-2)/2 + o/21. Which is smaller: n or 1?
n
Let i be 4/(-8)*-2*0. Which is bigger: 1/38 or i?
1/38
Let z be 3 + (-3 - 10) + 3. Let m be 4/(-18)*z/(-14). Is 1 greater than m?
True
Let j be 33 + 0 + (6 - 5) + -4. Which is smaller: 29 or j?
29
Let a be 0/(-7) - 2/6. Which is smaller: -1 or a?
-1
Let f be (-3)/(-6) + 145/4. Let v(y) = 14*y + 5. Let k be v(-3). Let r = f + k. Are r and 0.1 non-equal?
True
Suppose 0 = -v + 4*i - 11, -5*v + 2*i - 6*i = -65. Is 8 greater than v?
False
Suppose -6*g + g + 95 = 0. Let t = -17 + g. Suppose 4*d = 3*d - 3*p - 4, p = 4*d - 10. Is t less than or equal to d?
True
Let z be ((-1)/2*2)/(7/385). Which is smaller: z or -54?
z
Let d = -0.183 + 0.083. Is d equal to 0.13?
False
Let z = -245.7 - -256. Let h = 10 - z. Let s = 1 - 0.9. Which is greater: h or s?
s
Let r = 1.9 - 1.9. Which is greater: -0.1 or r?
r
Let u = 109/861 + 2/123. Is 1 less than or equal to u?
False
Let r = 4 - 11. Let b be r/5 - (-1 + 0). Let n = 2 + -4. Are n and b unequal?
True
Let m be (-4)/6 + 34/24. Let f be -1*(-12)/(-6) - (-2 - 1). Which is smaller: m or f?
m
Let p = 16 - 19. Let d(j) = j**3 + 5*j**2 + j + 3. Let m be (-2)/(-9) - (-235)/(-45). Let u be d(m). Which is smaller: p or u?
p
Let t be ((-6)/3 - 0) + -4. Let c be (-16)/t - 2/(-6). Let n be (c - 4) + 0/1. Is 0.2 > n?
True
Let r = 1873/12 - 156. Is 0 greater than r?
False
Let x be 0/(-2 + (-1 - -1)). Let u be (3/20)/((-30)/25). Is u greater than or equal to x?
False
Let g be 82/(-90) + 6/10. Let a = g - -1/9. Let x = 3 - 2.9. Do a and x have the same value?
False
Let g = 27 - 16. Is -1 at least g?
False
Let q be (-2*1/4)/(6/4). Which is greater: q or 0.1?
0.1
Suppose 10 = -3*q - 4*f + 2, 0 = -q + 3*f + 6. Is q at least 4/7?
False
Let z = -7155 - -35919/5. Is z < 28?
False
Let c = -37 - -116. Is 80 <= c?
False
Let i be (-4)/18 - (-87)/27. Let q be 37/7 + 4/(-14). Suppose i + 7 = -q*s. Which is smaller: -3 or s?
-3
Suppose -5*n - 3 = -78. Let z = n + -19. Are z and -5 unequal?
True
Let w be 184/(-44) - (-4)/22. Let m = w - -5. Let q = 55/4 - 14. Is m at most as big as q?
False
Let w = 328/11 - 30. Let a = 15.9 + -14. Let j = a - 2. Which is bigger: j or w?
j
Let w = 2/7 + 23/42. Let u = -99 - -101. Which is greater: w or u?
u
Let c(x) = x**3 + 4*x**2 - 4. Let k be c(-4). Let b be 6/(-2) - k/2. Suppose -15 = -0*p + 5*p. Which is smaller: p or b?
p
Let s = 6 + -4. Let c = -3 - -5. Suppose c*r = -s*r. Which is bigger: -2/3 or r?
r
Let h = -10 - -6. Let g = h + 4. Is g at most -4/7?
False
Suppose 3 = 6*m + 27. Which is smaller: m or -2?
m
Let d = -0.4 + -0.6. Let z = 31.4 + -28. Let f = z + -0.4. Which is smaller: d or f?
d
Let u = -26 - -23.7. Let l = 8.3 - 8. Let y = l + u. Is 0 bigger than y?
True
Suppose -q = -3*l - 24, -4*q + 11 = -3*l - 40. Let h(f) = -f**2 + 8*f + 13. Let y be h(q). Is y <= 2?
False
Suppose z + 5*k = 4*k + 3, -3*k = -z - 9. Let j(m) = -1 - 2 + z*m - m. Let u be j(-3). Which is greater: u or 3/4?
3/4
Let v be (-6)/4 + ((-7)/6)/(-7). Which is greater: -1 or v?
-1
Let v(w) = -6*w**2 - 1. Let p be v(-1). Are -8 and p unequal?
True
Suppose 0 = -3*a + 11 + 4. Suppose 0 = -a*g + 3*s + 8 + 4, 0 = -3*g + 2*s + 7. Suppose 0 = -4*z + 4*l + 4, z + 0*l - 19 = -5*l. Are z and g equal?
False
Let f = 133/3 - 44. Let s = 33 - 33.13. Let a = 0.07 - s. Is f < a?
False
Let t be 10/35 - (-5)/7. Is -2/63 smaller than t?
True
Let g = -8 + 16. Suppose t - 5 = 4*p, t + 6 = -3*p - 3. Let s be (g/12)/(p/3). Which is smaller: s or 0?
s
Let z = -58 + 39. Let u = 1003/7 - 143. Which is greater: z or u?
u
Let q = -271 - -9483/35. Which is bigger: q or 1?
1
Suppose 2*r - 33 = 5*n + 4*r, 2*n = -5*r - 9. Is n not equal to -7?
False
Let s = -230/1197 - 4/133. Which is smaller: 7 or s?
s
Let r be 2/(-5) - 36/10. Let n be (-1 - -3)*2/r. Let j be 2 + (2 - (n + 1)). Is j >= 4?
True
Let d = -16 + 3. Does -12 = d?
False
Let c(w) = w - 1. Let o(m) = m - 4. Let i be o(5). Suppose 0*l + i = l. Let a be c(l). Which is bigger: -4/5 or a?
a
Suppose 3*g + 15 = 4*m - m, 3*g + 11 = 2*m. Let c = g + -2. Is -3 < c?
False
Let j(t) = -t**3 - t. Let z be j(-2). Suppose 3*d - 12 = -3*s + 6*s, 0 = d + 2*s - z. Is d less than 6?
False
Let m(h) = 2*h + 6. Let j be m(-4). Is j != -2?
False
Let h = -71/6 - -12. Let u be (-4 - -8)/8*0. Let g = u - 0. Which is smaller: g or h?
g
Suppose -3*v + 4*p = -16, -3*v - 5*p - 35 = -8*v. Let l = v + -11. Which is bigger: 6 or l?
6
Let v = 1 - -11. Let y = v - 106/9. Let d = -59 - -60. Is d > y?
True
Let b be 2 - 2 - 1/4. Let o(d) = 7*d**2 - 6*d + 3. Let v(h) = 11*h**2 - 9*h + 5. Let i(j) = 8*o(j) - 5*v(j). Let l be i(3). Is b at most l?
False
Let f(u) = -u - 8. Let i be f(-4). Let y be -1 + -2 - 4/i. Which is greater: y or -4?
y
Let z(g) = -g**2 + 8*g + 10. Let h be z(9). Let v = 36 - -38. Let t = v + -816/11. Is t > h?
False
Suppose -4*w + 3*y + 11 = 0, 4*w - 6*y - 10 = -4*y. Suppose 2*t = w*v - 4, t = -v - 0*v - 2. Does v = -1?
False
Let d = -6 + 8. Let w be ((-5)/(45/(-12)))/d. Which is greater: w or 0.11?
w
Let x = -5 - -4.94. Let g = x - -0.36. Let k = -0.4 + g. Is k less than or equal to -0.2?
False
Let b = 5/3 + -17/12. Which is greater: b or 1?
1
Suppose 4*k - x = 16, -2*x + 9 = 5*k + 2. Suppose -y - k*y = -4*r - 16, r + 20 = 5*y. Let i = 174/5 + -35. Which is greater: r or i?
r
Let z(i) = i + 7. Let h be z(-3). Suppose 0*o + 20 = 5*o. Suppose 5*n = -3*x + x + 11, 18 = o*n - 3*x. Which is greater: h or n?
h
Let h = -56 - -57. Is h less than or equal to -1/2?
False
Let l = -28 - -28.94. Let h = l + 0.06. Are 1 and h equal?
True
Let g be ((-9)/(-6))/((-3)/(-8)). Suppose 0 = g*q + 3*s + 10, -5*q + 3*q = -s + 10. Let o be (-3)/(-63) + q/(-14). Are -1/4 and o nonequal?
True
Let p = 52 - 45.9. Let z = -6 + p. Let w be ((-2)/2 + -2)/(-4). Does z = w?
False
Suppose 2*j = -2*j - 4. Let w = 9 + -4. Which is smaller: w or j?
j
Suppose 0 + 4 = -2*y. Let n = y - -5. Suppose -b + n - 5 = 0. Are -1/2 and b nonequal?
True
Suppose 4*s = 8*s - 28. Let h(f) = -f**2 + 7*f + 1. Let v be h(s). Is v greater than or equal to -1?
True
Let r = -0.2 - -0.3. Let t = 160.98 - 158. Let m = 0.02 + t. Is r