
Let m = 0 - -1. Let b be 2 + ((-153)/30 - -3). Which is smaller: b or m?
b
Suppose -2*l - 8 = 0, 2*l = 4*h - 3*l - 148. Is -3 greater than h?
False
Let d = 327/124 - -19/31. Let v = d + -15/4. Which is smaller: -4 or v?
-4
Let m = 6 + -6. Suppose 5*q + 0 + 20 = m. Is -4 bigger than q?
False
Let w = -9 - -9.1. Let f = 0.9 + w. Is f >= 2/3?
True
Suppose 0*u = -2*u - 10. Let x(a) = a**2 + 4*a - 1. Let d be x(u). Let l be 12/d*(-2)/(-10). Is l less than or equal to 0?
False
Let v = -0.22 + 0.32. Let q = 6 + 0. Let z = q + -5.6. Which is smaller: v or z?
v
Let b be (-70)/(-15) - -4*(-1 - 0). Suppose 0*c = 4*c - 12. Which is greater: c or b?
c
Suppose 4*j = -87 + 287. Let b = -199/4 + j. Is b less than 0?
False
Let z(y) = -y**2 - 22*y - 30. Let p be z(-21). Which is smaller: -11 or p?
-11
Let k be (((-4)/31)/(-1))/(-3 - 3). Are 1 and k equal?
False
Let j = -7936205/32067 + 156/3563. Let y = j + 247. Which is bigger: y or -1?
y
Suppose 4*t + 2*s = -4, -5*t + s - 2 = 3. Let l = 0.006 - -4.794. Let j = -1.2 - l. Does j = t?
False
Suppose 2*w = -0 + 8. Suppose -l + w = l. Let v be (1 + 0)*(0 + l). Is v greater than or equal to 2?
True
Suppose 3 = -3*j - 0. Let d(m) = m**3 + 5*m**2 + 4*m - 2. Let z be d(-4). Which is bigger: z or j?
j
Let p = 0.044 - -1.956. Which is greater: p or 1/17?
p
Let d(k) = k**3 + 5*k**2 + k + 7. Let t be d(-5). Suppose t*o - 5*s - 18 = 0, -o + 2*s = -0*o - 7. Is -2/5 <= o?
False
Suppose 4*p + v + 2*v = -18, 0 = -4*v + 8. Suppose 2*i + 0*k - 3*k - 19 = 0, -13 = -4*i + k. Let d be (1/i)/(p/(-15)). Which is smaller: 0 or d?
0
Let u(b) = -b + 5. Let k(d) = 2*d - 9. Let z(p) = -3*k(p) - 5*u(p). Let s be z(-5). Is s greater than or equal to 7?
True
Let h = 99/5 + -20. Suppose -j - 2*c + 3 = 0, 5*c - 9 = -0*j - 4*j. Do j and h have different values?
True
Suppose -f + 12 = 3*m - 7*m, m + 20 = -4*f. Which is greater: f or -5?
f
Let n = -2 - -4. Suppose -2*w - 10 = -n. Which is smaller: -1 or w?
w
Let l(n) = n**3 + n**2 - n - 3. Let y be l(3). Let q be y/26 - 2/13. Is q less than or equal to 1?
True
Let o be (-2)/(-4) + 1/(-2). Let s(b) = 4*b**3 + b**2 - 2*b + 1. Let k be s(1). Suppose 2*z = k*z + 6. Is o <= z?
False
Let s(a) = -3*a**2 + 1. Let x be s(-1). Let q be x - (1 - 4/(-2)). Is -4 less than or equal to q?
False
Let d = 2 - -4. Let r = -8 + d. Which is smaller: -2/3 or r?
r
Suppose 0 = -3*q + 4*q - 3. Do -1/2 and q have different values?
True
Let a be 4/6 + (-69)/117. Which is smaller: a or -1?
-1
Let f(c) = 4*c**2 + 6*c - 5. Let r(m) = 5*m**2 + 6*m - 5. Let i(y) = 6*f(y) - 5*r(y). Let g be i(5). Let a be (-25)/(-20) + 0 + 0. Is g at most as big as a?
True
Let i(g) = -g - 6. Let r be -6 + (-1 + 1 - 1). Let y be i(r). Which is bigger: y or 2/13?
y
Suppose n - 5*d + 27 = 3*n, 5*d = -5*n + 30. Let s = 1 - 0.8. Is s <= n?
True
Let w be (-94)/(-30) + 0 - 3. Let h(x) = x**3 - 4*x**2 - 5*x + 3. Let j be h(5). Suppose -j = -2*s - 1. Is w greater than or equal to s?
False
Let c = -282 - -1970/7. Is c at most as big as 0.4?
True
Let x(j) = -2*j**2 - 9*j + 5. Let k be x(-5). Is k <= -1/7?
False
Let c = 1861 - 150739/81. Let b = 140/891 + c. Is -1 > b?
False
Suppose 4*t - 6*t + 50 = 0. Suppose 3*r - y = -5, -2*r + t = 3*r + 5*y. Suppose -4*u + 3*a + 4 = r, 2 - 5 = -3*u - 4*a. Which is bigger: u or 0?
u
Let p = -1 + -5. Let h = p - -4. Is -2 smaller than h?
False
Let x = 1.5 + 6.5. Let k = -8 + x. Is k not equal to -1?
True
Let x = 10 + -1. Suppose -10*y = -7*y + x. Which is bigger: y or -2?
-2
Suppose 4 = 2*z, 2*z = -5*y + 9 + 115. Let g be (-15)/y*2 - -1. Let i = 4/9 + -7/9. Is i less than g?
True
Let c = -86 - -149. Let j be 5/20 - -9*7. Let d = j - c. Is 0 at most as big as d?
True
Let y = 0.13 + -1.33. Let h = -0.2 - y. Do h and 3 have different values?
True
Suppose -9*f + 2030 = -4*f. Let c = 5687/14 - f. Which is bigger: 1 or c?
1
Let p = -3 - 1. Let q = p - -6. Do q and 0 have different values?
True
Suppose 2*t - 4*w = 6, 6*w = w. Are t and -0.06 nonequal?
True
Let o(u) = -u**2 - 13*u + 72. Let r be o(-17). Suppose -5*p - d = -11, 5*d - d + 31 = 5*p. Does r = p?
False
Let p(t) be the second derivative of -t**3/6 - 3*t**2/2 + 3*t. Let c be p(-5). Let s be (-4)/(-10) - 26/(-10). Which is bigger: s or c?
s
Let a = -7/11 + 137/198. Is -1 equal to a?
False
Let m = 5 + -3. Let y(j) = j**3 - j**2 - 2. Suppose 3*d - 5*l - 10 = 6*d, 4*l + 8 = 3*d. Let k be y(d). Is k < m?
True
Suppose 4*s - 15 = -m, m + 4 = 5*s - 8. Suppose 0*f - m*f + 3 = 0. Let o = 1 - f. Is 0 at most o?
True
Let q = -0.3 - 2.7. Let y = -2.7 - q. Let v = y + -0.2. Which is smaller: 4 or v?
v
Suppose -8*v + 4*v = 4. Which is greater: 1 or v?
1
Let q(w) = w**2 - 6*w - 1. Let p be q(-4). Suppose 3*b + p = 4*k - 7*k, -4*b = k + 49. Is -13 smaller than b?
True
Let p(i) = -2*i + 20. Let j be p(11). Suppose -5*k + k - 8 = 0. Is k < j?
False
Let g be (-6)/(-2)*1 - 9. Let y be ((-13)/(-2) - 2)/g. Which is bigger: y or -2?
y
Let k = -8 - -25. Suppose -k*i - 10 = -12*i. Which is greater: i or -1/2?
-1/2
Let d be 1/4*-119 + -2. Let c = d + 32. Are c and 0 nonequal?
True
Let a(n) = n**2 - 5. Let k be a(-4). Let d(p) be the first derivative of p**4/4 - 4*p**3 + 11*p**2/2 - 3*p + 1. Let q be d(k). Is 1 greater than or equal to q?
True
Let w = -18 + 14. Let n be 44/(-12) + w/(-6). Which is greater: n or 0?
0
Let n be 1 - (2 - (1 + 0)). Let p be (-6)/(-5)*40/12. Let a = 5 - p. Which is smaller: n or a?
n
Let x = 196 + -205. Is x less than or equal to -0.09?
True
Suppose -5*z - 39 = -2*n, -3*n = 4*z + 33 - 11. Let h be 274/(-90) + (-4 - z). Which is smaller: 0 or h?
h
Suppose 3*k = -4*x - 741, -5*x + 8*k = 4*k + 903. Let f = 9371/4 - 95021/44. Let i = f + x. Is i less than or equal to 1?
True
Let w = -75865/114 - -1996/3. Let r = -297 - -16930/57. Let m = r - w. Is m at least as big as 1?
False
Let m(o) = -4*o**2 + o - 2. Let i be m(2). Which is smaller: -15 or i?
i
Let p be (-45)/14 - (-4)/(-14). Let r = 254 - 1272/5. Which is greater: p or r?
r
Let n(f) = 24*f. Let k be n(-4). Let l be 249/(-22)*k/5778. Let g = l - 2/321. Which is smaller: 0 or g?
0
Suppose -b - 7 = 8. Is b at least 2?
False
Let n(j) = -j + 9. Suppose -4*c + 15 + 21 = 0. Let k be n(c). Suppose -3*z + k = 6. Which is smaller: z or -1?
z
Let v = 353/77 + -34/7. Suppose 4*w = -3*h + 15 - 8, -5*h + 10 = 5*w. Is w at least as big as v?
True
Let i = 312 + -5922/19. Which is greater: 1 or i?
1
Let j = -0.032 + 0.082. Is 3/2 at most j?
False
Let y = 16 + -16. Let g = y + -11. Is -11 greater than g?
False
Let b = 133 - 132.96. Is 8 bigger than b?
True
Let l = -2 + 7. Are l and 0 nonequal?
True
Let w = 190 + -2659/14. Let z = 22 + -23. Is w < z?
False
Let d be (-3 - 252/(-10))*3. Let n = 67 - d. Suppose -3*l + 4*f = 18, 8 = -l + f + f. Which is smaller: n or l?
l
Let f = 2/21 + -10/7. Which is bigger: f or -2/15?
-2/15
Let u = 41490/41 - 1012. Is 1 less than u?
False
Let t = -6/109 + 447/2180. Which is smaller: 0 or t?
0
Suppose 1 + 7 = -k - 2*a, -16 = 2*k + 3*a. Let z = 8 + k. Let m be 0*(-2 + 5 - 2). Is m > z?
False
Let c = 6 + -1. Suppose q = 5*u + 2*q - 26, -2*u = -c*q - 5. Let m = 1 - u. Are m and -4 non-equal?
False
Let o = -9.2 + 2.2. Are 2 and o nonequal?
True
Let c = -3.2 + 3. Let l = c - -1.2. Which is bigger: -1 or l?
l
Let a be ((-27)/(-12))/(-3) + 3/(-12). Is -9/7 < a?
True
Suppose 0 = 2*n + 1 - 3. Which is smaller: 3 or n?
n
Suppose 5*p + 9 = -21. Let i = p + 5. Is i < 3/7?
True
Suppose 4*p - 6*p = -5*p. Are p and -14/31 non-equal?
True
Let l be ((-76)/(-6))/(-2)*5. Let r = -32 - l. Let c(h) = -9*h + 9. Let n be c(1). Which is smaller: n or r?
r
Let i = -5 + 9/2. Which is smaller: 2 or i?
i
Suppose 5*d = d. Which is smaller: d or -3/11?
-3/11
Suppose -3*f = -6 - 0. Let j be 4/(-20)*(-1 + f). Do j and 0 have different values?
True
Let a = -4.5 + 1.1. Which is smaller: a or 0.1?
a
Let i = 14 - 14. Does i = -3/25?
False
Let r be 1/2 - (-9)/6. Let v be ((-76)/36 + r)*-2. Let p = 1.2 + -0.2. Is v > p?
False
Let j = -4.2 - -2.2. Which is smaller: j or 14?
j
Let r(t) = -6*t - 20. Let n be r(-6). Is n < 16?
False
Let g be -7*(12/4)/120. Let t = 3/40 - g. Is t smaller than 1?
True
Let c(l) = -l**2 + 4*l + 1. Let z be c(4). Which is bigger: 0.4 or z?
z
Suppose 10*s = 6*s + 8. Which is smaller: 4 or s?
s
Let u = 83/2 + -167/4