e (-1)/(-1) - (-2 + 1). Let c be l/(-5) - 66/(-15). Are c and 4 equal?
True
Let q be 4/(-18) + 2/9. Let h be (-12)/(-80)*(q + 4). Let l = 3 + -2. Which is smaller: h or l?
h
Suppose -11 = -2*h - 2*y + 11, 4*y = -h + 17. Let l be 2 + (-21)/h - 1. Let q = 23/15 + l. Which is smaller: q or 0?
0
Let f(v) = -v**2 + 11*v - 13. Let t be f(10). Let o be (t - 0) + 17 + -4. Is 9 greater than o?
False
Let j be 4/16 + (-14)/(-8). Let k be 28/j*(-6)/(-6). Suppose -4*s + 6 + k = 0. Does 5 = s?
True
Let w = 20 + -13. Suppose w*f - 3*f = 0. Let r be 0 + f + 4/(-14). Is r != 0?
True
Suppose -5*x + 3*c = 25, -c + 1 = 2*x - 0*c. Is x at most 9?
True
Suppose -5*x + 2 = -198. Is x less than 42?
True
Let q = 36/187 + -3532/2805. Is 0 less than or equal to q?
False
Let t be 0 - 9/(-3) - 3. Let j be 10 + -9 + -1*11/9. Which is smaller: t or j?
j
Let w = -33 + 44. Which is smaller: w or 9?
9
Let u = -1 + -6. Is u < -6?
True
Let h be ((-3)/21)/(2/(-14)). Let z(c) = -c**3 - 5*c**2 - 6*c - 6. Let m be z(-4). Suppose d + 5 = 4*o + 3, -2*o - m*d = -6. Is o not equal to h?
False
Suppose 0 = 3*i - 6 - 6. Let w = 4 - i. Is w smaller than 1?
True
Let g = -0.05 + -0.45. Are 1/2 and g equal?
False
Let v = -4453/230 - 57/46. Let d = -726/35 - v. Is -0.1 at least d?
True
Let r = -264/5 - -53. Let x be ((-1 - 0) + 2)*-1. Let p be (x - -1 - -2) + -2. Is r >= p?
True
Let n = 7 - 4. Suppose 4*p - 7 = 3*c, 2*c - 1 = -0*c - n*p. Suppose 6 + 4 = 5*i. Is c equal to i?
False
Suppose 3*y = -0*y + 9. Let x be 3 - (-2)/(-2) - -1. Is y at most as big as x?
True
Suppose 0 = 2*i - 5*u + 40 + 210, 3*i - 2*u + 375 = 0. Let x = -1127/9 - i. Which is greater: x or 2/3?
2/3
Let z(f) = -f + 3. Suppose -3*y + 9 + 6 = 0. Let o be z(y). Let h be -3 - (3 - 1) - o. Is -2 smaller than h?
False
Let c = 0 + -2. Let o be c - -1 - 35/(-33). Let r = -3/11 - o. Which is bigger: 1 or r?
1
Let d be -1*(1 - (-24)/(-4)). Suppose 3*l - 13 = 2*f, -5*f + 7 = d*l - f. Which is smaller: 4 or l?
l
Suppose -2*c = 2*j, -4*c = 2*j - c. Let k be 4/14 + 83/(-1785). Let t = -2/51 + k. Is t less than or equal to j?
False
Let v = -17 - -18. Are -1/13 and v non-equal?
True
Let b = -14 + 13.9. Is 2/9 smaller than b?
False
Let m = -27/1394 + 2/41. Which is bigger: m or -1?
m
Let s = -12 - -12.7. Let i = -0.2 + s. Which is smaller: i or 0?
0
Let u = -0.18 + 0.08. Is 22 greater than or equal to u?
True
Let m = -1.6 + -0.4. Let q = m - -0.8. Let d = q - -1. Is 0 at most as big as d?
False
Suppose 4*z + 12 = -2*v - 0*z, -12 = 3*v + 4*z. Which is smaller: v or 11?
v
Suppose 0 = -0*m + m. Suppose m*c + 4 = -2*c. Let j be 1/(0 + (c - 8)). Is -1 >= j?
False
Let l be 2/(1 + -4 + 2). Suppose -2*s = -5*s. Suppose -3 = g - s*g. Is g at most l?
True
Let m = 7.1 + -7. Let s = m + 0. Which is greater: 0.3 or s?
0.3
Suppose 3*f = -2*f - 30. Let w be f/20*(-10)/(-12). Let g be -3*(-1 - 8/(-6)). Is w >= g?
True
Suppose -p - 2*p = 9. Suppose 10 = -n + 8. Which is greater: p or n?
n
Let l(z) be the first derivative of z**4/4 + 2*z**3/3 - z**2 + z - 2. Let m be l(1). Which is bigger: m or 0?
m
Let s be 4/(-2) + 24/15. Is 1 equal to s?
False
Suppose -27 + 10 = 3*q + x, 3*q + 22 = 4*x. Which is greater: q or -7?
q
Suppose -3297 = -5*q + 2*q. Let l = -2145/2 + q. Let m = l - 26. Which is bigger: m or 0?
m
Let x(h) = h**2 + 5*h + 4. Let q be x(-4). Suppose -f = 4*f - 5*j + 15, q = -3*f - 3*j - 9. Let i = -3 - f. Are -1 and i unequal?
True
Let m(u) = 0*u**2 + 9*u**2 - u + u**3 - 4 - u**2. Let s(d) = d**3 + 9*d**2 - d - 3. Let p(y) = 4*m(y) - 3*s(y). Let z be p(-5). Is z at least as big as -2?
True
Suppose 12 - 40 = -2*d. Which is bigger: d or 15?
15
Suppose 2*v = -5*k + 33, -3*v + 64 + 17 = -3*k. Suppose -4*g + v = q - 3*q, -2*g = 5*q. Which is greater: q or 1?
1
Let s(a) = -a**2 + a + 6*a + 2 + 0*a. Let d be s(8). Do -5 and d have the same value?
False
Let b(t) = 11*t**2 + 2*t. Let n be b(-2). Let z = -29 + n. Which is greater: 12 or z?
12
Suppose 4*m + 12 = 4*a, 0 = -3*m + 5*a - 20 + 3. Let j be 1/1 - (5 + m). Let w be (j/(-50))/(2/12). Is 2 < w?
False
Let r(x) = x**3 + 7*x**2 - 6*x**2 + 7*x**2 + 1. Let v be r(-8). Which is greater: -1 or v?
v
Suppose -i + 14 = w, -2*w + 4*i = 2*i - 40. Is w less than 17?
False
Let k = -14/31 - -73/93. Let f = -0.2 + -0.3. Let s = f + 0.3. Which is bigger: k or s?
k
Let j = -1159/84 + 213/14. Which is smaller: 0 or j?
0
Suppose 5*l + 6 = -3*r + 13, 3*r + 9 = 3*l. Suppose -v + 4*c + 15 = 0, 5*c + 22 = -6*v + 4*v. Let s be (v - -1)/(-1 + -1). Are s and r non-equal?
True
Let x(u) = -4*u + 1. Let c be x(0). Which is smaller: 5/9 or c?
5/9
Suppose -v - 3*q + 19 = 0, -4*q + 7*q = -3*v + 27. Suppose 4*a + 2*i + 17 = 5, -v*i = 8. Are -4 and a unequal?
True
Let q = -7 + 0. Let l(x) = 2*x - 7. Let z be l(5). Let n be z/9*-1*3. Is n at least as big as q?
True
Let v be ((-4)/10)/((-4)/40). Let w(f) = 0*f**2 + 3*f - 3 + f**2 + v. Let g be w(-1). Is g >= 1/6?
False
Suppose -5*w + 190 = -2*g, -w + 13 - 2 = 5*g. Which is smaller: 37 or w?
w
Suppose -2 = -4*o - 30. Which is smaller: o or -5?
o
Let h(f) = f**3 + 2*f**2 - f - 2. Let p be h(-2). Suppose c + c = p. Let d = -151 + 1053/7. Which is greater: d or c?
c
Let r = 1.5 + 5.8. Let i = 7 - r. Let y = 0.2 + i. Which is greater: -1 or y?
y
Let v be (12/24)/((-1)/(-14)). Let c = v - 6. Is c >= -2/7?
True
Let y(a) = a + 2. Let p be y(-2). Let j = -3 - -5. Suppose 5*f + 15 = -5*z, j*f + 0 = -2. Which is bigger: z or p?
p
Suppose -15*b + 24 = -9*b. Which is greater: -1 or b?
b
Let a = -2 + 4. Suppose 2*o + 0*d = 3*d + 13, 0 = 3*o - 2*d - 12. Let r be o + 0/3 + 1. Is a greater than or equal to r?
False
Suppose 0 = 21*s - 25*s - 4. Which is bigger: -3/4 or s?
-3/4
Let q(b) = -b**3 - 3*b**2 - 2*b - 4. Let r be q(-3). Suppose -3*s = -11 + r. Suppose 4*h + 3 = -13, -3*h - 16 = -2*m. Is m at least s?
False
Let z = 142/209 - 4/11. Let w(j) = j + 1. Let u be w(-2). Which is greater: u or z?
z
Suppose -2*o - 2 = -c, 16 = -2*c - 2*c. Is o equal to -13/7?
False
Let d = -10991/5 - -2266. Let g = -68 + d. Which is smaller: 1/3 or g?
g
Suppose 0 = 4*n - 2*s + 140, 2*n + 46 = 5*s - 32. Is -34 > n?
False
Suppose -3*j + 20 = 2*y, y = -j + 3*y + 4. Suppose 0 = -3*w + 3*i + 6, i - j = -4*w + 4*i. Is w greater than -1/3?
True
Let t be ((-9)/6)/3*-6. Let q = t - -2. Suppose -q*b - 7 = 3. Is b < -2?
False
Suppose 0 = 3*u - 5*u. Let j be (-9)/7 - (-1 - u). Let q be (-1)/5 - (-12)/10. Which is smaller: j or q?
j
Let u be (2 + -3)/((-2)/4). Suppose -4*v + v - z + 2 = 0, -z = -v + u. Let m = -760/11 + 69. Which is smaller: v or m?
m
Let c = 75 + -86. Is -10 greater than c?
True
Let g = -22 + 22. Is g at most as big as -27/4?
False
Let v = 20.77 + -19.7. Let l = 0.07 - v. Is l greater than or equal to -6/11?
False
Suppose 0*d = -2*d. Suppose d = -3*s + 2*s + 2. Suppose -3*n + 0*u + 2*u - 8 = 0, -4*u + 8 = -s*n. Does -2 = n?
True
Suppose 2*x = -2*o - 26, 5 = -4*x + 2*o - 35. Suppose u + 24 = -u. Which is bigger: x or u?
x
Let l = 5674/33 + -172. Is l bigger than 1?
False
Let a(o) = -o**3 - 6*o**2 - 4*o + 1. Let k be a(-5). Is k > -6?
True
Let s(v) = 10*v. Let q be s(2). Suppose -d - d - q = 0. Let n be d/16*2/(-5). Is 3/7 < n?
False
Let a(b) = -7*b**2 - 3*b - 3. Let n be a(-2). Let h = n - -30. Which is smaller: -3 or h?
-3
Let z = -4 - -1. Let r be ((-8)/3)/(-2) + z. Is r smaller than -2?
False
Suppose -2*s + 208 = -5*s + 2*z, -276 = 4*s - 3*z. Are -71 and s nonequal?
True
Let r = -2 + 4. Let k = 0 - r. Is -0.2 at least as big as k?
True
Let w = 71 + -81. Which is greater: w or 0?
0
Suppose -2*z + a = -4*z + 11, 0 = 5*z - 3*a. Suppose -4*h + 5*h + 1 = 0. Are h and z non-equal?
True
Let z = -15/17 + 173/119. Is z not equal to -1?
True
Let o be (-7)/((-56)/(-12)) - -2. Is o at least 0.3?
True
Let z = -0.23 - 13.77. Let v = 9 + z. Which is smaller: 1/4 or v?
v
Suppose -86 - 29 = -5*i. Is i smaller than 21?
False
Suppose -o = -5*o - 0*o. Which is smaller: 1 or o?
o
Let p = 17 + -18. Suppose -12 + 2 = 5*r. Does r = p?
False
Suppose -2 = 4*d - 3*h, -3*d - 5*h + 3 = -10. Which is bigger: d or 2/11?
d
Suppose 318 + 30 = -4*u. Do -86 and u have the same value?
False
Suppose 0 = -0*a - 5*a + 10, -5*y + 2*a = -76. Let b = -5 - -8. Suppose -2*o + 18 = -5*t, b*t + t = -y. Is 2/5 less than o?
False
Let d be (-24)/(-1)*(-6)/4. Let