e 0*z + 6 = -h*z. Which is smaller: -2 or z?
z
Let j be (-4)/(-14) + (-10)/(-14). Let k = -3/16 - -73/48. Is j less than or equal to k?
True
Suppose -5*r - p - 1 = -r, r - 2*p = -7. Is 0.31 >= r?
True
Let u = -5 + 18. Let p = -2 - -15. Do p and u have the same value?
True
Suppose t - 23 = -3*d - 4*t, 5*t - 18 = 2*d. Let h = -1155 - -2261/2. Let m = 351/14 + h. Which is bigger: d or m?
d
Let c = 11 - 31. Let h = 19 + c. Which is smaller: h or -2/25?
h
Let m = -1.1 + 0.4. Let q = -0.3 + m. Let g = 345/7 - 49. Which is smaller: g or q?
q
Let g = -10 - -15. Let u(m) = -m**3 + 6*m**2 - m - 6. Let y be u(g). Let l be (-6)/21 - (-8)/y. Which is bigger: l or -1?
l
Suppose 2*s - 7 = -5*i, -s + i = -2*s + 2. Is 12 != s?
True
Let d(n) = 2*n - 12. Let o be d(10). Suppose -4*k = 3*f - o, 5*k - 5*f = k + 40. Which is bigger: 1 or k?
k
Let b = -11 + 10.3. Let i = b - 2.3. Which is bigger: i or 0.1?
0.1
Let n = 0.26 - 0.04. Let x = -6.78 - n. Which is greater: x or 1/5?
1/5
Let x(z) = -z**2 + 4*z - 3. Let v be x(3). Let k be ((-1 - -1)/(-3))/(-2). Let o be 1/(k - (5 + -3)). Is v greater than o?
True
Let a(f) = 2*f - 7. Let s be a(5). Suppose 0 = s*b + 4*y, -2*b = -3*b + 5*y. Let m be (1/(-8))/((-3)/4). Which is smaller: b or m?
b
Let i = 0.1 - 0.2. Let p = i - -0.4. Let c = -0.2 + p. Is 1 less than or equal to c?
False
Let y(c) = -2*c + 9. Let j be y(6). Let q be (-5)/30 - (-13)/6. Let d be q/2 - (0 - -3). Is d equal to j?
False
Let u = 0.2 - 0.21. Let n = -32.9 + 33. Do u and n have different values?
True
Suppose 0 = 4*y - 2*a - 2, -5*a + 13 = 3*y - 21. Suppose 13 + y = -4*m. Let q be (10/m)/(3/(-6)). Is q less than or equal to 4?
False
Let d = 4.93 - 0.13. Let c = d + -5. Do c and 2 have the same value?
False
Let b = 0.17 + 9.83. Let c = b - 9. Which is smaller: -3 or c?
-3
Let t be 4924/35 - 2/5. Let g = t - 74877/532. Let h = g + 4/19. Which is bigger: h or 0.3?
0.3
Let j = -7 - -10. Which is smaller: 5 or j?
j
Let q = -5.99 + -0.01. Let i = -8.5 - q. Let z = i + 0.5. Which is smaller: -0.1 or z?
z
Let r(n) = -n + 6. Let l be r(4). Suppose h = 2 - 0. Is l >= h?
True
Suppose 104 = 7*y - 9*y. Let z be 14/(-21) - y/6. Are z and 6 non-equal?
True
Let r be (4/30)/(7/(-70)). Suppose 3*v = 8*v. Suppose 3*q - 26 = 5*i + 7*q, v = -2*i - q - 8. Which is smaller: i or r?
i
Let u be (-2)/(10/6 + -1). Let x(a) = -a**2 - a - 1. Suppose 2*r - 20 = 3*k + 2*k, r - 15 = 5*k. Let f be x(k). Is f smaller than u?
False
Let a be 3/((-9)/6)*4/(-596). Which is smaller: a or 1?
a
Suppose -31 - 21 = -13*v. Which is greater: v or 6?
6
Let y = 4.8 - 4.7. Which is smaller: 1/2 or y?
y
Let n = -2 - -7. Let w be (2/(-5))/(1/5). Is w > n?
False
Suppose 2*t - 30 = -4*w, -5*t + 27 = -3*w - 74. Let m = 20 - t. Is m greater than 8/9?
True
Suppose -v + 2 = v. Let g be (-3)/63*(-6)/62. Let u = g - 449/3255. Is v < u?
False
Suppose -7*z + 6*z = 0. Which is smaller: -1 or z?
-1
Suppose -4*w = 4*l - 17 + 81, 2*w - l = -41. Which is greater: -20 or w?
w
Let o be 5 + -7 - 13/(-1). Which is greater: 13 or o?
13
Suppose -5*r + r = -2*a - 26, 2*r + 5 = -a. Is -10 != a?
True
Let p = -2 + 8. Let b = -5 - -12. Is p at least b?
False
Let y = 0 + -1. Is y < 2/17?
True
Let i = 35 + -60. Which is greater: i or -24?
-24
Let z = 4 - -4. Suppose -p - z = -2*p - 2*g, 0 = -3*p - 3*g + 18. Let t be (1/6)/(2/p). Is -1 <= t?
True
Let t = -38 + -3. Let i = 203/5 + t. Do -1 and i have the same value?
False
Suppose -1 = 2*h - 25. Let z be (-13)/(-4) + (-3)/h. Is 2 at most z?
True
Let v(s) = 3*s**3 + 8*s**2 + 8*s + 5. Let p(y) = -y**3 - 7*y**2 + 9*y + 3. Let w be p(-8). Let k be v(w). Let u = k + 1888/9. Which is smaller: u or 1?
u
Let o = -10 + 11. Let f = 116/15 - 22/3. Is f smaller than o?
True
Let u(k) = k**2 - 9*k + 3. Let y be u(9). Let q(d) = d - 2*d - 5*d**2 + 4 + d**y + 4*d. Let c be q(4). Is c greater than 4/3?
False
Let x = -66 - -40. Let m = 51/2 + x. Which is smaller: m or -2?
-2
Suppose 5*w = 5*h + 5, -2*w + 7*w = 3*h - 7. Let p(o) = -o**3 + 3*o**2 + 2. Let r be p(3). Which is bigger: r or h?
r
Let l = -13 + 3. Let n be (-15)/(-18)*(-3)/l. Let c(s) = s - 7. Let m be c(6). Is m equal to n?
False
Suppose 0 = 3*o - 7*o + 20. Suppose 0 = 3*n + o*x - 16 - 1, -12 = -3*x. Which is smaller: n or -2/39?
n
Suppose -2*m = -3 + 1. Which is smaller: m or -2?
-2
Let z(w) = -w - 1. Let y be z(1). Let s = -3 - y. Let j = -33 - -164/5. Is j != s?
True
Suppose 0 = 4*l - v + 78, 3*v = -5*l - 2*v - 110. Is l > -19?
False
Suppose -5*h + 13 = -2*z, -2*z = -2*h - 3*z - 2. Let n be (-3)/1*6/36. Is h greater than n?
True
Let g = 45 + -43. Are 0.1 and g equal?
False
Suppose -8 = -4*r - 12. Let g = 1/828 + 1627/24012. Which is smaller: g or r?
r
Let f(y) = -2*y - 1. Let b be f(2). Let w be b + 3 + 0 + 3. Are w and 2 unequal?
True
Let o = -77/2 + 37. Is o not equal to -1?
True
Let t = 131.07 + -130. Let g = t - 0.07. Which is greater: g or -3?
g
Let m = 1/14 + -29/210. Which is smaller: m or 1?
m
Let q be (-2)/8 - 39/4. Let j be 1/((-5)/2)*q. Suppose 5*i - k - 20 = 0, -3*i + 2*k - 7 + 26 = 0. Which is greater: i or j?
j
Let o = 0.04 + -0.14. Let c = -2.1 - o. Let f = c - -3. Which is smaller: f or -0.6?
-0.6
Suppose -5*v + 13 + 17 = 0. Suppose -v*z - 4 = 14. Is 1 > z?
True
Let h = 0 - 7. Let l be 8/28 + (-26)/h. Let j be (3/(-12))/((-1)/l). Is -1/3 at most as big as j?
True
Let h = -2.87 - 0.13. Suppose 1 = -5*q - 4. Which is bigger: q or h?
q
Suppose -v = -m - 0 - 5, 7 = m + 2*v. Let a = m - -2. Is 1/4 greater than a?
False
Let y be (9 - 9)/(1 - 0). Let j = 3/7 + -4/7. Do y and j have the same value?
False
Suppose -3*u - 4*w + 2 - 7 = 0, -7 = u + 4*w. Let a be (1/8)/(u/(-2)). Is a smaller than -1?
False
Let n = -6.4 + 6. Let q = n - -0.2. Let c = -26/55 - -4/55. Which is bigger: q or c?
q
Let f be (-4)/88*12/(-2). Let i be (-48)/(-15)*1/44. Let n = i - f. Is n at most as big as 0?
True
Suppose v = -5*o - 3*v + 31, -3*o = -3*v + 3. Is -2 not equal to o?
True
Let a(y) = -y**2 + 6*y + 3. Let t be a(6). Suppose -3*c - t = 3*g, -3*g - 8 - 3 = c. Suppose 0*p + c = 2*p. Is p >= 3?
False
Let p be (-6)/(-15) - 6/(-10). Is -2/123 greater than or equal to p?
False
Suppose -4*s - 8 = -6*s. Suppose s*n + 4 = -2*k, -2 = -2*n + k - 0. Let x = n + 1. Which is bigger: 2 or x?
2
Suppose 4*a = 9*a. Which is bigger: a or 2/65?
2/65
Let b be -4 - (1 + 6/(-1)). Which is smaller: -2/9 or b?
-2/9
Suppose -j + 2 = -3. Let s = -0.2 - -1.2. Are s and j nonequal?
True
Suppose a + 3*x = -1 - 1, -4*x = 4*a + 8. Which is smaller: -4/9 or a?
a
Suppose -8*a = -5*a - 54. Is a at most 19?
True
Let y = -1061/7 + 152. Is 3/5 less than y?
False
Let m = 1/26 + -59/182. Let t(o) = -o**3 - 5*o**2 + 7*o + 5. Let l = -1 + -5. Let d be t(l). Which is smaller: d or m?
d
Let o(v) = v**2 - 6*v - 4. Let q be o(9). Is 24 at least q?
True
Suppose 3*r - 9 = -0*r. Suppose 5*t + 4*a - 5 = 0, r*t - 3 = -5*a - 0. Suppose 4*x = 3 + t. Which is smaller: 2 or x?
x
Let b be ((-21)/(-9))/((-1)/3). Let t(v) be the third derivative of v**4/24 + 2*v**3/3 + v**2. Let g be t(b). Is -2 not equal to g?
True
Let u(y) = y**3 - 4*y**2 + y - 4. Let i be u(4). Is i bigger than 5?
False
Let z = 33 + -34. Let c(h) = h**2 - 9*h + 9. Let q be c(7). Is z greater than q?
True
Suppose 37 + 43 = -16*d. Is -5 < d?
False
Let q(h) = -h**2 - 5*h + 1. Let p be q(-5). Let v be 4/14 + (-13)/21. Which is smaller: v or p?
v
Let r be (11 - 3) + -1 + -2. Suppose 2*p - 1 = r. Suppose p*z + 8 + 4 = 0. Is z smaller than -1?
True
Let o be (1 + -1)*(-2)/4. Let l be (0 + -1)*o/(-2). Which is greater: -4/3 or l?
l
Let a be (-99)/135 - (-4)/(-6). Let s = -73/45 - a. Which is greater: s or -1?
s
Let c(p) = 4*p**2 + 2*p + 5. Let v(q) = 5*q**2 + 2*q + 6. Let l(o) = -7*c(o) + 6*v(o). Let d = -2 + 3. Let n be l(d). Is 0 bigger than n?
False
Let w be 1*6*(-1 - -2). Suppose -5*m + 40 = h + 2*h, 0 = -2*m + 5*h - 15. Which is smaller: w or m?
m
Suppose -24 = r - 4. Let k = 81/4 + r. Let u(n) = n - 1. Let p be u(2). Is p at most as big as k?
False
Suppose -2*a + u + 13 = -7*a, -8 = -4*u. Let n be (14/(-12) - -2)*36/(-16). Which is smaller: n or a?
a
Suppose -2*u + 13 = i - 0*i, 41 = 4*u + 5*i. Suppose -5*j + u = 19. Let o be (-4)/6*j/1. Which is greater: o or 5?
5
Let q = -5 - -5. Suppose q = -2*i + 5*i - 5*s + 14, 4*s - 4 = 0. Which