o. Let y = -2 - -2.2. Is v >= y?
False
Let x = -103/99 + 9/11. Which is greater: x or 4?
4
Let q(w) = w**2 + 7*w + 5. Let x be q(-6). Let s = -29 + 29. Is x at least as big as s?
False
Let h = -12 - -11. Which is bigger: 3/10 or h?
3/10
Suppose 2*x - x - 19 = 3*l, -27 = -3*x + 3*l. Suppose 1 = -n + x. Let a be 6*n/11 + -2. Is a less than 1?
True
Let s be (-3)/(-2*3/(-6)). Let d be 0 + 1/((-1)/s). Which is bigger: d or 4?
4
Let w = 2.9 - 2.9. Is 1.4 <= w?
False
Let h be 11 + -7 + (-182)/45. Are 1 and h non-equal?
True
Suppose -4*j + 3*s - 4*s + 25 = 0, 5*j - 5*s = 25. Let t(b) = 4*b + 19. Let f be t(-4). Is f not equal to j?
True
Let v = 0.23 - 0.2. Let g = 0.97 + v. Which is greater: g or 3?
3
Suppose 3 = -3*l - 15. Is 2 at least l?
True
Let u = -13 + 23. Let x = u + -5. Which is smaller: -0.1 or x?
-0.1
Let n = 0.9 - -0.1. Let o = 10 - 10.1. Is n at least as big as o?
True
Let l be (9 + 0)*(1 + -3). Is l at least -14?
False
Let m = 4.4 - 2.3. Let s = 2 - m. Let g(n) = n**3 - 3*n - 1. Let f be g(-2). Is f at most s?
True
Suppose w = -2*w + 3. Let x be -1*(w + 3)/(-2). Let h be x + -3 - 5/(-7). Which is smaller: 0.1 or h?
h
Let x(a) = a**3 - 4*a**2 - 6*a + 4. Let g be x(5). Let v = -161 + 3221/20. Is v > g?
True
Let d = -13/6 - -17/6. Let m be 2/(-7) + (-23)/(-7). Let n(r) = r - 2. Let c be n(m). Is c bigger than d?
True
Suppose 0 = s + 5. Let o = -6 - s. Let l be (o/(-4))/(34/16). Is -1 greater than or equal to l?
False
Suppose 2*c - 3*a - 30 = -c, 3*c - 2*a = 32. Let s = -22 + c. Let p(t) = -t - 11. Let x be p(s). Which is greater: x or 2?
2
Let i = 2 + -3. Is -1/16 not equal to i?
True
Let h = -13 - -14. Let a = h - 1. Is 2/27 equal to a?
False
Let d(v) = 9*v - 3*v + 5 + 0*v - v**2. Let b be d(5). Which is smaller: b or 9?
9
Let k = 2.077 + 0.023. Let z = -2 + k. Let n = 44 + -46. Which is bigger: z or n?
z
Let y be 1/2 + 2/(-4). Suppose -3*z + z + 20 = 3*d, -2*z + 4 = -d. Suppose 0 = 3*v - 7 + z. Is y less than v?
True
Suppose m - 5*m = -4. Let p(h) = -7*h. Let o be p(m). Let k = -27/4 - o. Which is bigger: -1 or k?
k
Suppose 5*q - 5*u - 35 = 0, -2*u = -3*q + 2*u + 26. Suppose 4*s + q*b + 12 = 0, -5*s - 12 = 4*b - 3*b. Which is bigger: -3 or s?
s
Let i = 199 - 2585/13. Let c = 13/4 + -15/4. Is c greater than i?
False
Let y(h) = h**2 + 8*h + 1. Let p = -19 + 11. Let c be y(p). Do 2/19 and c have the same value?
False
Let w = 9 + -10. Is w > -1?
False
Let i = 0.2 - 0.2. Let n = i + -0.1. Let o = n - -0.1. Which is smaller: -3/5 or o?
-3/5
Let c = 1 - 0. Let g = 34 - 36. Let w be -1*(c + (-4 - g)). Is 1 greater than w?
False
Let y = 0.64 - -0.4. Let t = -0.46 - -0.5. Let n = t - y. Is -0.4 less than n?
False
Let i(n) = n**3 + 7*n**2 + n - 2. Let z be i(-7). Which is greater: z or -6?
-6
Let s = -1 - -4. Suppose -2*v - 190 = s*v. Let b = v + 155/4. Is b >= 1?
False
Suppose 0 = -2*y - y + 2*g - 6, -4*y - 7 = -3*g. Let z = y - -3. Which is smaller: 2/29 or z?
z
Let q(t) be the first derivative of t**3/3 + 9*t**2/2 - 9*t + 4. Let p be q(-10). Are 3/4 and p unequal?
True
Let b = -226/6313 - -109829762/246207. Let x = 446 - b. Which is greater: 0 or x?
0
Suppose 3*l = w - 20, l - 5*w + w + 14 = 0. Let j(d) = 2*d + 6. Let c be j(-6). Are l and c equal?
True
Let x be (-8)/(-6)*(-6)/4. Suppose 5*i - 9 = 2*i. Let f be -2 + x/(-6)*i. Which is smaller: f or 1?
f
Let t(v) = v**2 + 21*v - 7. Let l be t(-9). Let f = -185569/8 - -23311. Let b = f + l. Is 0 not equal to b?
True
Let p = 32 - 14. Suppose -2*v - o = -p, -2*v + 3*v + 5*o = 27. Is v at least 5?
True
Let m be ((-12)/(-9) - 0)*126/(-12). Which is smaller: m or -15?
-15
Let h be (-10)/75*3/(-2). Is 0 greater than or equal to h?
False
Let h = -1 + 3. Is -2 != h?
True
Let f = -10 - -14. Suppose f + 0 = 4*r. Let l be -1 - (2 + -2 - r). Which is smaller: -2/3 or l?
-2/3
Let c = 1302.03 - 1292. Let f = 10 - c. Is -0.3 <= f?
True
Suppose t + w = 4*t - 3, 3*w = 0. Let q = 67 - 1673/25. Which is bigger: t or q?
t
Let u be (-4)/6 + 20/39. Let y = 35 - 35. Which is bigger: u or y?
y
Let w = 5 - 4. Let k be 3 + w/41*-125. Is -1 less than k?
True
Let s be (-4)/10 - 20/(-50). Is s not equal to 4/27?
True
Let v = -1 + -3. Are v and -3 unequal?
True
Suppose 0 = -7*j + 4*j. Which is smaller: -1 or j?
-1
Let h be -4 - 1 - (31 - 32). Which is greater: -34/13 or h?
-34/13
Suppose -3*l + 4*l = -4. Suppose -p + 7 = 2*t + 5, 0 = -3*p + 12. Are t and l unequal?
True
Let u be (32/(-6) + 2)*-3. Let n(r) = -r**3 + 11*r**2 - 13*r + 3. Let w be n(u). Let g be 2/((-42)/w) - 1. Which is smaller: -1 or g?
-1
Let j(a) = -4*a - 3. Let g be j(-2). Let o be (2/(-36))/(g/10). Does -1 = o?
False
Suppose -4*t + 40 = -2*t. Is t at most as big as 19?
False
Suppose -2*u = -7 + 3. Is u > 1?
True
Let j(x) = -x**3 + 2*x**2 + 2. Let d be j(2). Suppose 3*v + 3224 = -4*u - 0*v, u - v + 799 = 0. Let q = 8839/11 + u. Which is greater: q or d?
d
Let q be 2/(-2 + 0) + 3. Suppose -q = -2*v, -s - 4 = -2*s - 3*v. Which is greater: 6 or s?
6
Let o be -5*2*(-5)/(-2). Let u be 2*1 - o/(-20). Which is greater: 0 or u?
u
Let w = -36/5 - 3/10. Is w smaller than -7?
True
Let c be (5 - 1) + 4 + -3. Is 25/4 less than or equal to c?
False
Let n be 6/4*(-160)/(-24). Which is smaller: n or 12?
n
Suppose -4*b = -1 + 9. Let t be b*(-2 + 9/3). Let c be (3/6 + 0)/t. Which is smaller: 3 or c?
c
Let u be (-125)/(-45) - 4/(-18). Suppose 9*v - 12*v + u = 0. Is v less than 5?
True
Suppose 2*a - 1 = -9. Let z = -9 - -4. Is z at least a?
False
Let t = -8 + 4. Let c(u) = -u**2 + u + 3. Suppose -18 = -4*i - 2*y, -y = 4*i - 6 - 9. Let k be c(i). Are k and t equal?
False
Let w = 5.5 + 3.5. Is w smaller than -2?
False
Let v(w) = 7*w - 1. Let g be v(5). Let r be 3/g*(-12)/(-9). Is r != 0?
True
Let g be 322/196 - (1 + 1). Does g = -1?
False
Let x = -0.23 - -0.53. Which is greater: -4 or x?
x
Let r = 2 - 2. Suppose 0 = -0*t - t - 3*c + 18, -3*t = -c - 14. Suppose -y + 5*y - t = -5*w, 0 = 4*y + 4. Which is bigger: r or w?
w
Let r(d) = 2*d**2 - 2*d - 1. Let m be r(2). Let z be 5/(-10)*2/m. Which is smaller: 1 or z?
z
Let g be 4/(-15) - (-3)/(-9). Let i be ((-3)/(-1) - 3) + 5. Suppose -4*b - 29 = -i*c, -3*b + 6*c - 28 = c. Which is smaller: g or b?
b
Let o = -80 + 75. Which is greater: o or -10?
o
Suppose 0 = -a - 5 + 10. Let i be 3 - a*(-8)/(-20). Which is greater: i or 8/11?
i
Suppose -2*y + 1 = -2*l - 11, y = 5*l + 10. Let k be (74/75 + -1)/l. Let i = -227/150 + k. Is i >= -3?
True
Let s be 0 + 3*2/2. Suppose -14 + 4 = -s*x - 2*p, -5*x + 20 = 4*p. Are 0 and x unequal?
False
Let y = 8 - 9.4. Let a = y - -1. Which is greater: a or 2?
2
Suppose 0 = 4*j - j - 3*k + 30, 5*j - 2*k + 41 = 0. Which is smaller: j or -6?
j
Suppose -4*o + 3*d = -1 + 2, d = o + 1. Let v(p) = p + 3. Let w be v(-4). Let s be w*(-2 - (-1)/(-1)). Is o less than s?
True
Let h = -0.15 - 6.85. Let n = -5.96 + -0.04. Let z = n - h. Which is smaller: 0.1 or z?
0.1
Let a(i) = i**2 + 3*i - 3. Let r be a(-4). Let d = -2 + r. Let f be 20/119 + 4/(-14). Is f not equal to d?
True
Suppose 3*n - 10 - 8 = 0. Suppose 0 = a + 2*a + n. Let c be (-6)/40 - a/5. Is c at most -0.3?
False
Let z = 3.5 - 3.3. Which is smaller: 5 or z?
z
Let a be -1 + (-2)/((-7)/((-14)/4)). Let v(p) = -p**2 + 6*p - 2. Let z be v(6). Let g be (z/(a + 3))/(-2). Is g at least 0.1?
True
Suppose -2*c - 6 = -2. Let p be 998/8 + 1 + -1. Let g = -124 + p. Which is bigger: c or g?
g
Let v = -1.6 + -6.4. Let w = 9 + v. Is w != -1?
True
Let f = -24 + 20. Let w be (-6)/126*(3 + f). Is w greater than 0?
True
Let b(l) = -l + 2. Let t be b(-9). Suppose -4*c + 2 + 3 = -s, -3*s - c = -t. Let n be (-1)/((-3)/s) + 1. Which is greater: -2 or n?
n
Let g = 5 - 3. Let l be 14/6 + (-2)/(-3). Is g bigger than l?
False
Suppose 2*b = -b. Let o = b + -6. Is -6 less than o?
False
Suppose -4 = -5*t + 1. Suppose -t = y + s, -2*s + 4 = -4*s. Let f(k) = k - 2. Let h be f(0). Is y less than h?
False
Let x(t) = t**3. Let k be x(1). Let n(m) = m + 2. Let a be n(-2). Which is smaller: a or k?
a
Let w = -0.05 + 0.15. Which is greater: -5 or w?
w
Let i be ((-18)/15)/((-6)/(-20)). Suppose 5*w + 3*n = -0*w + 38, -w + 4 = -3*n. Let u = i + w. Which is bigger: u or 4?
4
Let g be (2 - -2) + (-2 - 1). Suppose 0 = -5*r + 10, -5*j + 11 = r - 6. Let n = j - 3. Is g <= n?
False
Suppose -4*k + 6 = 2*j,