Is 0 less than h?
False
Suppose v + 4 = 2*m, v - m = 2 - 4. Suppose 0 = 4*o - o - 18. Let b = -2 + o. Which is smaller: v or b?
v
Let f = 27 + -29. Let c(j) = -j**3 - 5*j**2 - 2*j**2 + 5*j**2. Let v be c(f). Is v equal to -1/2?
False
Let s = -45 + 52. Do s and 41/5 have different values?
True
Let s(g) = -8*g**3 + 0 + 1 - g**2 + 16*g**3. Let t be s(-1). Which is bigger: t or -7?
-7
Let v = -2/12233 - -391526/428155. Let y = -4/35 + v. Let l = y - 27/40. Which is smaller: 1 or l?
l
Let s = -0.29 + 0.47. Which is greater: s or -0.2?
s
Suppose 2 + 1 = 3*v. Let c = -10.8 + 1.8. Let x = c - -9. Which is smaller: x or v?
x
Let q = 2 + -1. Is -1 equal to q?
False
Let y be ((2 - 1)*-1)/(3/6). Is y greater than or equal to -1/4?
False
Let w(y) = -y**3 + 7*y**2 - 4*y - 2. Let u be w(6). Suppose -4 = h - u. Suppose 3*j - h = -f, -4*f = -f + 5*j - 14. Which is smaller: f or 1?
1
Let v = -55/3 - -18. Let l = 0.063 - 0.453. Let y = -0.29 - l. Which is smaller: y or v?
v
Let a = -0.63 + -0.41. Let m = -0.04 - a. Which is smaller: 7 or m?
m
Suppose 3*j + 4*b = 7, 0 + 1 = 2*j - b. Let i = -6/11155 - -6927303/89240. Let p = 78 - i. Which is bigger: j or p?
j
Let w = -20.15 - -20. Let i = w - -0.25. Are i and -5 nonequal?
True
Let n = 3 - 1. Let z = -1 - n. Let w be 2/(-6)*(-3 - 60/(-8)). Is w at least z?
True
Suppose -3*l - 6 = -0. Is -3 at most as big as l?
True
Let u = 3.23 - 3.1. Let d = 27.03 - 27. Let k = d - u. Is 0.6 at most k?
False
Let b be (-16)/(-6)*6/4. Suppose -4 = -2*o + 4. Do b and o have different values?
False
Suppose -4*w - 2*f + 6*f = 20, -4*w - 5*f = -25. Suppose w = 4*t, -2*m + 3 + 3 = 4*t. Suppose -2 = -2*p, -m*p = 4*l + 2*p - 25. Which is smaller: 6 or l?
l
Let m = -1.3 - -2. Let b = m + -0.73. Let d be (-1)/2*-2 + -2. Is d <= b?
True
Let f(q) = 3*q**2 - q + 1. Let c be f(1). Let w be ((-3)/2)/((-4)/8). Suppose 2*j + 8 = -w*l, 2*j = c*l - 2*l. Is j <= 0?
True
Suppose -8*r - 369 = -105. Is -31 <= r?
False
Let v = 271.1 - 258. Let m = v + -13. Are 0.2 and m unequal?
True
Suppose 6*f = f + 255. Which is bigger: f or 50?
f
Let r be (10/66)/((-2)/6). Let g(d) = 4*d**2 - 34*d + 15. Let k be g(8). Which is smaller: r or k?
k
Let u = -1 + 1. Let l be (u + -1)/((-14)/(-4)). Let y(g) = -g**3 - 14*g**2 + 14*g - 16. Let k be y(-15). Which is smaller: l or k?
k
Let x = 0.71 + -0.11. Is x != -1?
True
Let a be 0/(2*-1*1). Let o = 16/105 + -478/4515. Which is bigger: o or a?
o
Suppose 0 = -3*j + 32 + 7. Are 14 and j equal?
False
Let s(m) = 8677*m. Let h be s(6). Let t = 5466568/105 - h. Let z = t - -1/21. Is 0 less than or equal to z?
True
Let s = -0.3 - -0.1. Let n = -0.13 - -0.09. Let u = n - -0.04. Is s less than u?
True
Let l be (2/(-6))/(3/((-150)/(-2))). Is -9 >= l?
False
Let z = 2 - 3. Let q = z - -3. Let u = -1.9 + q. Which is bigger: -1/6 or u?
u
Let a = 14 - 2. Is -1 less than or equal to a?
True
Suppose -3*g + 2*g + 22 = 0. Is g at most 21?
False
Let f be 4/10 - (-24)/(-85). Let l be 16/((-12)/(-3)) - (0 + 5). Is l less than or equal to f?
True
Let l = 84499959/52 + -1625062. Let h = l + 253/4. Which is bigger: h or 1?
1
Suppose -20 + 6 = -3*d + q, 0 = 2*d + 3*q - 2. Let z = d + -4. Suppose 3*m - 4*m - 3 = z. Is -3 at least m?
True
Let z = 28 - 142/5. Is -11 < z?
True
Let v = 1 + 0. Suppose -2*x - 6 = 5*q, -q = -3*q - 4. Suppose 2*n + x*n = 8. Which is greater: v or n?
n
Let x = 176 + -180. Is x >= 18?
False
Let x = -0.86 - -0.06. Let k = x + 0.88. Which is greater: 0 or k?
k
Let a(z) = 3*z + 40. Let y be a(-10). Is 1 <= y?
True
Let v(z) = -z**3 - z**2 + 1. Let c be v(1). Let u be -6 - (c - 0/3). Let t = -2 - -1. Is t at most as big as u?
False
Suppose 0 = -3*j + 2*j. Let b be 1714/(-11) + 4/(-22). Let d = 464/3 + b. Is d != j?
True
Let c = -2286 - -16084/7. Which is smaller: 12 or c?
c
Let b = -0.1 - 0.9. Suppose -4*j - 85 = -21. Let n = -19 - j. Which is greater: b or n?
b
Let y = 156/595 + 2/85. Let x = -2.5 - -0.5. Is x != y?
True
Suppose -5*j - 25 = 0, -5*j + 7 = -5*z + 3*z. Which is greater: -19 or z?
z
Suppose c + 2*q = -7, -3*q + 21 = 4*c - 6*c. Is c bigger than -12?
True
Let w = -27 + 26. Which is smaller: w or 1/11?
w
Let r = 0 + 9. Suppose m + 4*c = -12, -4*c + 15 = 2*m - r*c. Let l = 2 + m. Is 4/7 at most as big as l?
True
Let b = 1/23 + 221/207. Which is greater: b or 0?
b
Let u be 3/(-126)*(0 + 1234). Let r = 89/3 + u. Is 0 bigger than r?
False
Let c = -53 - -53. Which is bigger: c or 19?
19
Let z be (3/(-2))/((-3)/4). Let s be 1 + -4 - (-2)/1. Let g be ((-2)/4)/(s/2). Which is bigger: z or g?
z
Let y(p) be the third derivative of p**5/60 - p**4/12 + p**2. Let m be y(3). Let o = -2 + m. Is 0.1 at most o?
True
Let p(u) = -u**2 + 4*u - 4. Let l be p(4). Let i = l + 3. Let b = 2/333 + -680/2331. Which is smaller: b or i?
i
Let v(n) = 2*n**3 + 5*n**2 - 6*n + 9. Let w(c) = c**3 - c**2 + 1. Let y(f) = -v(f) + w(f). Let p be y(-7). Which is smaller: p or -3?
-3
Suppose -4*w = -9*w + 10. Suppose w = 5*y - 8. Suppose 0 = 4*o + 5*u + 12, o + 0*o + 4*u + 14 = 0. Is o at least y?
True
Let b = 40783/4 - 10470. Let c = 272 + b. Which is greater: -3 or c?
c
Suppose -3*h = -4*l + 23, -h = -2*h + 5*l - 15. Let g be 3/h*(-1)/(-3). Is 1 <= g?
False
Let u = 29 - 28.64. Is u less than -0.1?
False
Let o = -3 - -2.9. Let p = -1 - -4. Suppose i = p*i - 10. Which is smaller: i or o?
o
Let n be ((-2)/(-7))/((-2)/(-14)). Suppose 0*g + n*g - 6 = 0. Is g smaller than 3?
False
Let r = 2737/33 + -83. Suppose 4*n = -1 + 5. Is r less than n?
True
Let u be -2*(-51)/(-24) - -4. Let l be ((-2)/(-4))/(6/12). Which is greater: u or l?
l
Let v = 2 - -4. Is v != 4?
True
Let t = 0.1 - 5.1. Let y = -112 + 117.1. Let j = y + t. Is -1 at least as big as j?
False
Let i be 8/(-12) - 6/(-9). Suppose -2*q + 0*q = 4. Let l be (22/(-18) - q) + -1. Which is greater: i or l?
i
Let n be (-3)/(27/43710) + 2. Let u = n - -4807. Let b = u + 48. Which is bigger: 1 or b?
1
Let j = 17/30 - -161/60. Is 2 <= j?
True
Suppose -5*c + 33 = 4*p - 6*p, -20 = 5*p. Let l(h) = -2*h - 26. Let s be l(-15). Is s <= c?
True
Let o(g) = g**2 - 2*g. Suppose -5*k + 6*k = 3. Let a be o(k). Is 3 bigger than a?
False
Suppose m + 3*m = -40. Let g be (-27)/(-15) - 2/m. Which is smaller: g or 3?
g
Let d = 35 - 15. Is 18 at most d?
True
Let i(u) = u**2 + 4*u + 2. Let g(d) = d**3 - d - 1. Let z be g(-1). Let p be i(z). Is p < -7/4?
False
Suppose 0 = -4*l + 8, -x - 4*l + 4 + 4 = 0. Let g(y) = 2*y - 4. Let v be g(-3). Let r be (2/v)/(8/(-10)). Is r smaller than x?
False
Let x = 938 - 14054/15. Are 2 and x equal?
False
Let t = 29.01 - 29. Which is smaller: -3 or t?
-3
Suppose -n = 3*f - 20, -2*f = 5*n - 0*f - 100. Let u be ((-3)/(-8))/(105/n). Which is smaller: u or 0?
0
Let j(o) = 9*o + 1. Let g be j(-1). Let s = g - -13. Suppose -s = t - 3*w + w, 0 = t - 3*w + 8. Are 1 and t equal?
True
Let s = -15 + 15. Which is smaller: -1/2 or s?
-1/2
Let t = 0 - 0. Suppose t*p = 3*p - 15. Suppose -4*l + 9 = p. Are l and 1 equal?
True
Let i be 2757/(-4428) + 2/9. Let j = -2/123 + i. Let k = -1/6 - j. Is -2 less than or equal to k?
True
Let z = -8.23 - -0.33. Let b = -8 - z. Let x = 3 + -2. Which is bigger: x or b?
x
Let a = 8 + -5. Suppose a*h - 128 = h. Let s be (-4)/(-10) + h/(-60). Is s != 0?
True
Let m = -419717/135 + 3109. Which is smaller: m or 0?
m
Let q = 0.04 + -2.04. Let o = q - -4. Let z = 3 - o. Which is greater: -0.1 or z?
z
Let b = 2 + -3. Let n = 3 + -1. Let p = 0 - n. Is b bigger than p?
True
Suppose 0 = d + d - 2. Let i be 1 + (-8)/(-12)*-1. Which is bigger: d or i?
d
Let d be ((-4)/9)/((-4)/6). Suppose 3*y = -4*v + 23, 5*v + 11 = 4*y + 1. Which is greater: v or d?
v
Let a be (5/1)/((-2)/(-4)). Let l be (4/a)/((-1)/(-10)). Is 1 smaller than l?
True
Let b be (-10)/(-8)*(-10)/15. Is b at most as big as 2/5?
True
Let o = -11 - -6. Let r = o + 5.1. Let b(p) = p**3 - 7*p**2 + 5*p + 4. Let z be b(6). Which is greater: z or r?
r
Suppose 0 = 5*f - i + 38, 3*f - 2*f = -2*i - 1. Let l(p) = -3*p - 47. Let b be l(-13). Which is smaller: f or b?
b
Let q(g) = g + 2. Let s(p) = -p + 4. Let x be s(2). Let u be q(x). Suppose -u*a = a. Which is bigger: 1 or a?
1
Let j = -0.3 - -0.3. Let h be 3 - -3*(-3)/9. Is h less than j?
False
Let h(z) = z - 4. Let v be h(3). Let q be (-4)/14 + 72/105. Which is smaller: v or q?
v
Let b = 9