e y(-1). Let a be b + (3 - 5)/1. Let m(f) = -f**2 + 5*f - 2. Let q be m(4). Is q less than or equal to a?
False
Let q be -7 + -2 + (-4 - -2). Let p be q/(-9) + (2 - 3). Which is bigger: 0 or p?
p
Let f = 5 - -4. Let h = 33 - f. Let b = 49/2 - h. Which is smaller: b or -1?
-1
Let h be (69/4)/(-3)*-2*2. Which is smaller: h or 21?
21
Suppose -4*a = 53 + 267. Let d be (4/a)/(3/18). Let f = d + 1/5. Which is greater: -1 or f?
f
Suppose 2*l - 2 = 3*c, 4*c - l = 3*l - 8. Let p = 8 - 6. Is c greater than or equal to p?
True
Let m be 1/(2*(-7)/2). Let x be 76/(-10) - 28/70. Let r be (-2)/(-4) - (-4)/x. Which is smaller: m or r?
m
Suppose g + 4*h - 2 - 2 = 0, 4*h = 0. Suppose -5*z + 8 = -v, v + 0*v + g*z = 1. Which is bigger: v or -1?
-1
Suppose 3*g - 257 = 196. Suppose 511 = 3*c + g. Let m be ((-12)/10)/(18/c). Are -8 and m nonequal?
False
Suppose -4*u - k = -7, 6*u - u - 5 = -5*k. Let x = 9 - 5. Which is greater: u or x?
x
Let y be (-12)/4 - -7 - 0. Is 10 at most as big as y?
False
Suppose 2*l - 3*l + 3 = 0. Let w(f) = f**2 + 5*f - 1. Let g be w(-6). Suppose 0 = -l*z - 4*v - g, -3*v + 11 = -3*z - v. Do -3 and z have the same value?
True
Suppose w - 3 = -0. Suppose 0 = -0*a + w*a - 3. Is 2 at most a?
False
Suppose 0 = 5*t - 2*v - 7, 5*t + 0*v + 1 = 4*v. Suppose -1 = g, 7 = t*o - 5*g - 1. Which is smaller: -2/5 or o?
-2/5
Let m be (-33)/143*((-5)/3 - -1). Which is bigger: 1 or m?
1
Let b = 19.895 + 0.105. Which is bigger: 0 or b?
b
Let k = 143/6 - 24. Let h(u) = u**3 + 9*u**2 - u - 12. Let j be h(-9). Let p be (2 - 3)*(2 + j). Is p bigger than k?
True
Let d = 0.3456 + 168.5544. Let q = 162 - d. Let h = q - -7. Which is greater: h or -1?
h
Let j be ((-28)/35)/(7/(-5)). Is -8 at least j?
False
Suppose 0*z - 4*f = z - 17, 0 = 4*z - 2*f + 4. Is z > 4?
False
Let m = 64 - 74. Which is greater: m or -9?
-9
Let c be 23/(-12) + (-8)/(-12). Let b = -19/12 - c. Is -1 <= b?
True
Let v = 0.023 - -3.677. Let a = v + -0.7. Are 2 and a non-equal?
True
Let x = -0.09 - 0.11. Let u = 163/5 - 33. Which is bigger: u or x?
x
Suppose -2*p = 2*c - 5*p - 3, 4*p = 5*c - 11. Suppose 4 = -5*s + 3*o, 2*s = s - c*o - 8. Which is bigger: s or -5/6?
-5/6
Let z be ((-8)/6)/(10/(-15)). Suppose -4*c - 6 = z*s, 5*s - 16 = 2*c + 17. Suppose 5*k = -2*h + 3, 2*k - s*h = -20 - 2. Does -1 = k?
True
Suppose 2*n + 2 = -0. Let g be -5 - -8 - (1 + n). Suppose k = g*k + 4. Which is greater: k or -3/2?
-3/2
Suppose 4*m = 2*h + 30, m + 5*h + 9 = -0*h. Let z = m - 5. Is 2/23 bigger than z?
False
Suppose 3*h - 80 = -h. Suppose b + 0*b + 5*j + h = 0, -4*b + 8 = -2*j. Which is smaller: b or 1?
b
Let i be (-2 + 5)*(-2 - 2). Let b = i - -18. Which is smaller: 7 or b?
b
Let d be -1 - (-1 - 1)/2. Suppose -8 - 2 = 10*y. Which is greater: d or y?
d
Let r = -19 - -19. Is r equal to 0?
True
Let j = -17 + 12. Let p = 0.2 + 32.8. Let o = p + -32. Which is bigger: j or o?
o
Let p be 5/((-45)/21) + 2. Which is smaller: -0.1 or p?
p
Let m be (-4)/(-18) - (-222)/(-270). Do -1.4 and m have the same value?
False
Let u be (2 + -1 + 2)/1. Let o = -2 + u. Suppose 0 = s + 3*r - 5, r - 2 = -s + 1. Is o equal to s?
False
Let s = -1 + -4. Let w = s + 5. Is 0 greater than w?
False
Let m = 34.8 + -39. Let h = -1.1 - m. Let b = -3 + h. Are b and 0.4 nonequal?
True
Let g(p) = -p**2 - 9*p + 3. Let c be g(-9). Suppose -2*j - 3 = -3*z, 4*z = c*z - 3. Which is bigger: -5 or j?
-5
Let d(x) = -x**2 - 4*x. Let p be d(-5). Is p greater than -2?
False
Let v = 131 + -1443/11. Which is smaller: -0.1 or v?
v
Let f = -0.04 - 0.02. Let n = f - -3.06. Is n > 2?
True
Let l = -8.27 + 3.74. Let p = 0.13 + l. Let w = p - 0.6. Which is smaller: 0 or w?
w
Let r = 0.14 + -0.01. Which is smaller: r or -1/2?
-1/2
Suppose 5*n = -2*a + 3*a - 23, 2*a + 4*n = -10. Let w = 0 - a. Let q be 12/(-8)*4/w. Is 3 less than q?
False
Let b = 0.06 + 0.05. Which is smaller: -1 or b?
-1
Let r(b) = b**2 + 18*b + 34. Let i be r(-16). Which is greater: 0.04 or i?
i
Let v = 63 - 63. Let k(n) = n. Let b be k(2). Suppose z - b = -z. Which is smaller: z or v?
v
Let q(u) = -5*u. Let c be q(2). Let a = -10 - c. Which is smaller: a or 2/19?
a
Suppose -6*v = -3*v + 27. Let r = 7 + v. Let a = -2 - -2.1. Which is greater: r or a?
a
Let b(i) = 3*i**3 + 2*i**2 - 2*i - 3. Let x be b(-2). Let q = 12 + x. Which is bigger: -5 or q?
q
Let x be -8*1*(-3)/(-4). Let n be 4/x + 4/6. Let q = 2/5 + -9/10. Which is bigger: n or q?
n
Let j be (-10 - -2)/(5 + -7). Let c = 0.1 + 0. Let f = 0.1 - c. Which is bigger: j or f?
j
Let z(q) = q**3 + 3*q**2 - 6*q - 4. Let u be z(-4). Suppose -u = i - 2. Let p = 21/2 + -11. Is p greater than or equal to i?
True
Let v be (10 + -8)/(-1 + 0). Which is smaller: -3 or v?
-3
Let u be 2/6*408/(-8). Let x = -24 - u. Let t(l) = -l**2 - 8*l - 7. Let m be t(x). Which is smaller: m or 2/11?
m
Let b(n) = -n**3 - 5*n**2 - n - 6. Let f be b(-5). Is f > 3?
False
Suppose -5*a + 2*a + 27 = -3*b, a + 3*b = 5. Is 5 less than or equal to a?
True
Let h(n) = -n**2 + 12*n - 14. Let z be h(10). Suppose z = -2*x - x. Is -2 less than or equal to x?
True
Suppose -h + 5 = -2*h. Let o be 2/(-5) + (-168)/30. Which is smaller: o or h?
o
Let f(b) = -2*b. Let m be f(-2). Let v = -3 + m. Is 2/41 not equal to v?
True
Let x(p) = -p**2 - 6*p - 4. Let r(j) = -3*j + 16. Let g be r(7). Let i be x(g). Is i bigger than -2/43?
True
Suppose 0 = -44*z + 53*z - 333. Is z less than 37?
False
Let p(i) be the second derivative of -7*i**5/20 + i. Let n be p(-1). Is n less than 7?
False
Suppose 24 + 30 = 6*l. Is 8 bigger than l?
False
Suppose -s + 14 = 3. Let i = s + -6. Let q be i/(-3) - 12/(-18). Is -1/4 smaller than q?
False
Let w = -0.37 - -0.17. Which is greater: -0.03 or w?
-0.03
Let q = -6 - -2. Let d(a) = -a**2 + 7*a - 2. Let i be d(6). Suppose -c + 5*o = -5 - 4, 2*c + 24 = -i*o. Is c at least as big as q?
False
Let b(a) = a + 8. Let s be b(-4). Suppose -10 = s*c - 2*f, 3*f = -4 + 7. Suppose 0*y - 2*y = 2*i + 10, 3*y = 5*i + 9. Do y and c have the same value?
True
Let u = 8 + -4. Let a be u/90*5*1. Let h = 0 + -1. Is h bigger than a?
False
Suppose -y - 3 = 0, 2*q + 0 - 1 = -3*y. Let o be (-13)/5 + (-10)/25. Let m be -3 + o + 24/3. Which is smaller: m or q?
m
Let h = 3415/146 - -549743/2482. Let w = 245 - h. Is 0 at most as big as w?
True
Suppose 0*w = 2*w. Suppose -3*o - 2*o = 25, 4*d + 3*o - 37 = w. Is d < 13?
False
Let b be ((-8)/((-2560)/12))/((-6)/4). Which is smaller: b or 1?
b
Suppose -4*p + 5 = -p - 5*y, 4*y = 4*p + 4. Let j(n) = -n - 6. Let l be j(p). Which is smaller: l or -2?
-2
Let n(r) = r**2 - 18*r + 47. Let o be n(7). Which is greater: o or -31?
o
Suppose 0 = -2*w + 4*w. Let a(j) = j + 7. Let r be a(-3). Let l be (2/r)/(2/4). Is l less than or equal to w?
False
Let g = 12 + -7. Let k be (-14)/5 + g/(-25). Is k greater than or equal to -5?
True
Let v = 12 - 13. Is -4 at most as big as v?
True
Let o = 3 + -2.9. Let v = -0.3 + o. Let u be (-3 - -1 - 0) + 1. Which is smaller: v or u?
u
Let s be (5/(-45))/(3/15). Which is greater: s or -2?
s
Suppose 4*f + l = 9, -2*f - 2*f + 4*l = 16. Suppose 2*d = -3*c - 0*d + 15, -4*c + 25 = d. Let w = f - c. Which is smaller: w or -4?
w
Let z(l) = l**2 + 6*l - 5. Let d be z(-7). Let c be -1*d*3/51. Which is bigger: 0 or c?
0
Let i = -0.17 - -0.1. Let y = i - 1.93. Which is bigger: y or 2?
2
Let g = 26 - 23. Is 0 bigger than g?
False
Let w be 2/8 - (-75)/20. Let z be (-1 + 1)/(w - 3). Is z at least 0?
True
Let a(y) = y + 6. Let b be a(-5). Suppose r = -2*r + 9. Let v = b + r. Are v and 4 nonequal?
False
Let t(q) = -q + 2*q - 2 - 2*q. Let f be t(-5). Suppose -n - m = 4*n - f, 2*n - 2*m + 6 = 0. Is -1 < n?
True
Let v be -5 + 0 - (-1780)/355. Which is greater: v or -1?
v
Let w = -419/4 + 103. Is -1 not equal to w?
True
Let k(z) be the second derivative of z**3/6 - 2*z**2 + z. Let m be k(3). Let n = -15/2 + 137/18. Which is bigger: n or m?
n
Let p = 7 - 6.4. Let z = p - 0.6. Which is smaller: 2/5 or z?
z
Let q(f) = 6*f - 10. Let i be q(1). Suppose 2*t + 2 - 24 = 4*p, 7 = p + 2*t. Which is smaller: p or i?
i
Let j = -1.81 - 5.23. Let a = j - -7. Let o = a + 1.04. Is o at most as big as 2/5?
False
Let r be (1 - 3) + (-1904)/(-931). Let b = 9/19 - r. Which is smaller: 0 or b?
0
Let r(n) = -n**3 - 7*n**2 - n - 9. Let t be r(-7). Let z = -1 - t. Suppose f - 2*f 