s + 0*s = 0, -4*s = h. Let a = 55 + -54. Which is smaller: a or h?
h
Let c = 787/4 - 221. Let s = -24 - c. Which is bigger: s or 16?
16
Let f be (-3 + 1)*(-12)/8. Suppose 0 = -z - f*y + 2, z + 0*y - y = 18. Are z and 17 nonequal?
True
Let a(h) = -5*h**2 - 2*h + 17. Let y be a(-6). Is -152 greater than or equal to y?
False
Let u = 109 + -109.075. Let d = 3.925 - u. Which is smaller: d or -6?
-6
Let l = 0.904 + 0.096. Which is smaller: -1/208 or l?
-1/208
Let p be (-3 - (-2)/(-2)) + 1. Let b be (-19)/p + (-64)/48. Suppose -j - b = 4*a + 4, -a - 6 = 4*j. Do a and -2 have the same value?
True
Let m = -1229 + 3689/3. Is m != -42?
True
Let p be 3*6/(-270)*-78. Which is bigger: -1 or p?
p
Let w = -9.52 - 0.48. Let l = -59.06 - -59. Is l < w?
False
Let k = -595 + 511. Is -69 at most as big as k?
False
Let j = -3631/5 + 18173/25. Is j less than 1?
True
Let v = 157 + -295. Is -138 at least v?
True
Let x = 32 - 48. Let p = -12 - x. Let z be -1 - 1*0/p. Which is bigger: z or 2/9?
2/9
Let i = 0.2 - 0. Suppose -165*l + 168*l + 6 = 0. Let a be (5/210*6)/(1/l). Which is smaller: i or a?
a
Let m be -42*((-1)/(-2) - 5/6). Suppose -3 = 3*d, 0 = 3*y - y - 4*d - m. Which is smaller: 8 or y?
y
Let s = -2025 + 1103. Let l be (-1 - -3) + 1840/s. Is 0 equal to l?
False
Suppose 294 = 27*n - 138. Which is smaller: n or 74/5?
74/5
Suppose 3*f - 4*t = -3*t + 86, -t = 3*f - 94. Suppose 5 = n, 0*r - f = -r - 5*n. Let k be (r/(-2))/((-4)/8). Which is greater: 3 or k?
k
Let l = -1.176 - -0.956. Is l < -4/19?
True
Let y be ((-16)/10)/(2/(-5)). Suppose 3*s - 2 - 1 = 0. Let i = s + y. Is i > 5?
False
Let k be (-10)/15 + (1 - (-96)/9). Is -3 != k?
True
Let v(p) = 17*p**3 - 4*p**2 + 8*p - 7. Let x be v(2). Which is bigger: 127 or x?
x
Let w = 40 - 20. Let p be 36/w + 3/15. Let h be -1 + -1 - -3 - p. Which is greater: h or -1/4?
-1/4
Suppose 33*q = 3*f + 29*q + 20, -4*q + 20 = 0. Let x(g) be the first derivative of -g**3/3 - g**2/2 + g - 1. Let o be x(f). Is o greater than 3/13?
True
Suppose 3*i = -p - 2*i - 17, -p - 2*i = 5. Suppose 0 = -p*b - 67 + 22. Let k(v) = v**2 + 28*v - 75. Let l be k(-30). Is l at least b?
True
Let m be (((-24)/(-20))/(-6))/((-2)/(-4)). Which is smaller: m or 163?
m
Let s = 27 + -33. Let w = 10.07 - 10. Let o = w + 0.03. Are o and s unequal?
True
Let t(d) = 4*d - 1. Let l be t(-1). Let z be (-32)/(-80) - (-7)/l. Is 2/71 < z?
False
Let c = 3.9 - -3.1. Let w = c - 6.7. Is -0.5 less than or equal to w?
True
Suppose 0 = -2*p - 46 - 70. Which is bigger: p or -60?
p
Let z be (-1 - -1)/2 - -3. Suppose -3*s = z*s. Suppose y + 4*o + 2 = 0, 3*o = -3*y - s*o - 24. Is -10 at most y?
True
Let z(x) = 0*x**2 - 11*x + 0*x + x**3 + 15*x - x**2. Let k be z(3). Let b be 16/k - 4/30. Which is smaller: b or -2?
-2
Let f(g) = 5*g**2 - 2*g + 1. Let o be f(1). Let y be -2 - 1 - -5 - o. Which is greater: y or -1?
-1
Let a = 11.053 + -0.053. Let q = 11 - a. Which is bigger: q or 18?
18
Let d be (-47)/((-4)/(-12) + (-4)/(-24)). Do d and -95 have different values?
True
Let p = 1.53 + -1.43. Let m = -50 - -42. Are p and m equal?
False
Let o be (2 + (-5)/2)*-2. Let m be 3/(-4 - 68/(-16)). Let v be -4 - (-4)/(m/27). Are o and v equal?
False
Suppose -4*s + a = 59, -2*s + 5*a = -3*s + 1. Suppose -5*g = 5*m + 85, g = 6*m - 10*m - 29. Let l = g - s. Which is smaller: -2 or l?
-2
Let z(u) = -u**3 + 16*u**2 + 17*u - 2. Suppose 3*h - 54 = 2*o - 5*o, o - 22 = -5*h. Let s be z(o). Which is bigger: s or -1?
-1
Let b = 40 - 70. Let l be (-26)/30 + (-6)/b. Suppose -33 = 3*v + 3*j, -v - 4*v + j - 85 = 0. Do l and v have the same value?
False
Let j be 110/90 + 4/(-18). Let u = 3 - j. Let s be ((-2)/u - 0) + 0. Which is smaller: s or 2/9?
s
Let h = 4 - 0. Let u(r) = h*r - r + 3*r - r - 4 - r**2. Let s be u(6). Is s greater than or equal to -11?
True
Let a(x) = 16*x**2 - x - 8. Let q be a(3). Let t = q - 132. Is t equal to 9/5?
False
Suppose -515*b = -505*b - 190. Is b at least 1?
True
Suppose -5*d + 6 = -4*d + 2*s, -12 = -2*d - s. Which is greater: 56/9 or d?
56/9
Let x be (-2 - -2)/((-6)/3). Is -2 smaller than x?
True
Let n = 5 - 5. Suppose 0 = -c - n*c. Suppose c = -4*v + 5*v + 1. Is v at least 6?
False
Let m(f) = -f**2 - 4*f + 8. Let r be m(-5). Let h be 4/r - 275/195. Is -1 greater than or equal to h?
False
Suppose 11*d + 104 = 19*d. Are 0 and d non-equal?
True
Let u(v) = -v**2 + 7*v - 2. Let b be u(6). Suppose -2*s - h + 38 = 3*h, 3*h = -2*s + 36. Suppose 6*f + s = 9*f. Which is smaller: b or f?
b
Let r(c) = 3*c + 7. Let a be (7 - 9) + 1/1. Let k be 0 - a - (6 - 2). Let q be r(k). Which is smaller: -1 or q?
q
Let l be (-48)/80 + 4/(-10). Which is bigger: 5/47 or l?
5/47
Let o be 18/(-22) + (16/(-44))/2. Are -10/29 and o unequal?
True
Let y = -160 + 161.03. Let k = -0.03 + y. Let j = -0.3 + -5.7. Which is smaller: k or j?
j
Let l(u) = -4*u + 3. Let a be l(2). Let g = 8 + a. Let j be g - ((-10)/(-3) - 1). Which is bigger: 2 or j?
2
Let c be 1*32*3/6. Let i be (217/93)/(3/((-18)/c)). Is i <= -1?
False
Let l be ((-2)/5 + 0)/((-6)/810). Let s = 39 - l. Is -15 <= s?
True
Let y = -2.701 - -0.001. Let w = y + -0.3. Which is smaller: w or -1/6?
w
Let v be (-2)/1 + -3 - -3. Suppose -2*p + 6 = -3*p. Let h be (-98)/70 - p/(-10). Do v and h have different values?
False
Let d = -184 - -176. Which is smaller: d or 8?
d
Suppose 21*h = 19*h - 20. Let l = h - -14. Suppose n = l, 2*a = -0*n - 5*n + 62. Is a at least 20?
True
Let i = -0.22 + 9.22. Let d = -7 + i. Let k = d + -2. Is k equal to -2/9?
False
Let k = 0.06 - 0.06. Let c be 138/(-624) - (-4)/(-26). Is c > k?
False
Let o = 126.09 + -126. Let q = -0.1 + 0.2. Let d = q - 0.2. Which is smaller: o or d?
d
Let t = 18 + -16.5. Let r = t + -2.5. Are r and 1/10 equal?
False
Let w(z) = -5*z**2 - 4*z - 2. Let i be w(-2). Let n = 57 + -71. Let m be 2/n - 100/i. Is m at most 5?
False
Let p be (-8)/2 - 42/(-8). Suppose v = -f - 4, -5*v + v - 2*f = 8. Suppose k = -v*k. Which is greater: p or k?
p
Let a(s) = -s**2 - 6*s + 7. Let q be a(-7). Suppose 0*i - 4*i + 4 = q. Let t(d) = 2*d + 32. Let k be t(-17). Are i and k unequal?
True
Let z = -12 + 1. Let d = 6 + z. Let s be 16*-2*(-5)/(-30). Which is greater: d or s?
d
Suppose 48 = 68*u - 20. Which is bigger: u or -2/3455?
u
Let n = 304656695/1296125298 + 105/235702. Let o be 6/(-8)*(-160)/(-25380). Let a = n + o. Which is smaller: a or 0?
0
Let c(o) = -o**3 + 5*o**2 + 8*o - 8. Let i be c(6). Suppose 0 = 4*a + 2*d - 554, 2*a + 5*d = a + 152. Let z = -132 + a. Is i less than z?
True
Let b(o) = 2*o - 3. Let h be b(2). Suppose -3*u - 4*v = -5*u + 74, 5*v = -5*u + 170. Let s = u - 37. Which is smaller: s or h?
s
Let q be ((-162)/42 + 4)/((-3)/21). Suppose -4*t - s + 83 = -120, 147 = 3*t - s. Let o be (-3 + 2)*(-2)/t. Is q at least as big as o?
False
Let u(f) = -105*f + 477. Let l be u(0). Which is greater: l or 476?
l
Let j = 15 + -10. Suppose 3*k - 300 = -s, k + k - 200 = j*s. Let r = 901/9 - k. Is r equal to 1?
False
Let p = -251/615 - -1/123. Let x = -2/1333 - -2720/35991. Which is bigger: p or x?
x
Let n be 0 - (-1)/1 - -13. Let z(x) = -3*x + 35. Let m be z(n). Which is smaller: -20/3 or m?
m
Suppose 0 = y + 2*b - 4, 5*y - 2*b + 18 = -22. Let c be 136/56 - y/(-14). Suppose -c*r - 3*w = -r - 10, 2*r + 2*w - 12 = 0. Are r and 4 equal?
True
Let d be (3 + -2)/(17 - 16). Which is smaller: d or -3/112?
-3/112
Let z = -0.026 + 0.014. Let j = z + -0.788. Which is smaller: -1/5 or j?
j
Suppose -6 = 3*y, 2*y + 738 = -2*w + 38. Is w at least -1/3?
False
Suppose 25 = 3*t - 17. Let r(z) = z + 43. Let b be r(t). Are b and 56 nonequal?
True
Let v = -2087/20 - -439/4. Let y be 0 - (-10)/(-24) - 135/540. Is v at least as big as y?
True
Let m(z) = -z**3 + 8*z**2 + 9*z + 3. Let w be m(9). Suppose 6*c + 3 = w*c. Which is greater: c or 1/14?
1/14
Let p = 1.7 - -15.3. Let q = p + 1. Let z = -19 + q. Which is smaller: 3/2 or z?
z
Let c(s) be the second derivative of s**5/20 - 5*s**4/6 + 4*s**3/3 + 9*s**2/2 + s. Let j be (-8)/12 - 145/(-15). Let v be c(j). Is 2/11 less than v?
False
Suppose n - 4 = -j, 5*j = -2*n - 2*n + 17. Suppose m + 11 = 2*g - n*g, -m - 2*g - 12 = 0. Let a be (15/m)/(-2 + 6). Is a less than or equal to -1?
False
Let m = -0.237 - 0.793. Let u = 1.06 + m. Which is smaller: -2 or u?
-2
Let b = 153 - 82. Suppose 2*i + 3*m + b =