 -2*h - 7. Let z be o(-6). Which is bigger: w or z?
z
Let z = -1178 + 1182. Which is smaller: z or 27?
z
Let r = -4.99 - -4.8. Suppose l + 4 = 4*g, -101*g + 103*g - l - 2 = 0. Which is greater: r or g?
g
Let x = 2083 - 2082. Is x at most as big as -11/191?
False
Let x(s) = -s**2 + 10*s + 12. Let n be x(11). Let y = 20288/8837457 - -2/10951. Let a = y - -3194/13719. Is a less than n?
True
Let s(d) = d**3 + 8*d**2 + 6*d - 2. Let h be s(-7). Let p = 0.58 - 0.06. Let l = -0.12 + p. Is l greater than or equal to h?
False
Let g(h) = h + 3. Let l be g(7). Let j = 63 + -55. Which is smaller: l or j?
j
Let s(u) = -u**2 - 33*u - 155. Let a be s(-15). Does 115 = a?
True
Let j = -109 + 105. Let c = 1 - 0. Let r = c + j. Which is greater: -0.1 or r?
-0.1
Let b(y) = -y**3 - 7*y**2 - y - 4. Let w be b(-7). Suppose -24 - 26 = 2*r - 4*p, 4*r = -w*p - 100. Let o be ((-10)/r)/(4/(-5)). Is o not equal to -0.1?
True
Let o(a) = 3*a - 7. Let r be o(9). Suppose -b = -5, -5*b = 5*n - r - 20. Is n equal to -1/2?
False
Let x be 6/10 - (-38)/95. Which is bigger: -1/25 or x?
x
Suppose -5*b = 2*t, 3*t = 7*t + 3*b. Which is greater: t or -1/35?
t
Suppose -4*l + 6*l = 58. Suppose -28*j = -l*j. Is -4/7 smaller than j?
True
Let s = 927 + -912. Let g be 8*4 + 0 + 2. Suppose -4*l = -2*r + g, 3*l + 17 = r - 1. Is s <= r?
True
Let b = 9 + 20. Suppose 0 = -5*n + 2*n - 9. Let l = -7/2 - n. Which is smaller: l or b?
l
Let o = 87 + -152. Let z = 71 + o. Let v = -4 + 6. Which is greater: z or v?
z
Let g = 5 + 9. Let k = 8 - -5. Let t = g - k. Which is smaller: t or 3?
t
Suppose 0*a - 90 = -3*a. Let f be (-85)/a - (-6)/2. Let v(b) = b**2 - 4*b - 1. Let g be v(4). Is g > f?
False
Let a be (1 + (-35)/25)/(6/(-15)). Are 2/1091 and a equal?
False
Let s = 43281752/1096095 + -23570/803. Let m = 132/13 - s. Are 0 and m unequal?
True
Let d = -0.163 - -1.163. Let u be 54/(-1 + -1) - -2. Let w be (2/10)/((-15)/u). Which is smaller: d or w?
w
Let l = -718/13 + 8699/65. Is 80 greater than or equal to l?
True
Suppose 0 = m + m - 16. Let y = 25/3 - m. Let k be 2/7 + (-6)/21. Is k > y?
False
Suppose -2*p - 10*i = 80, -p + i = -i + 12. Is p at least as big as 9?
False
Let g be (138/10 + 6/30)/(-2). Let z(q) = -q**3 - 7*q**2 - 2*q + 1. Let s be z(g). Do s and 13 have the same value?
False
Let l = 247 + -237. Is l at least 2/11?
True
Let w be (-3)/6*(16 - 5)*-8. Is 46 less than or equal to w?
False
Let x = -156 + 348. Which is smaller: 193 or x?
x
Suppose -3*f + 139 = i, -3*i = 2*f - 0*i - 81. Which is bigger: f or 51?
51
Let q(y) = -y + 10. Let u be q(7). Let k be -2 + (7 - u)/(-1). Let f = 5 + -12. Which is bigger: f or k?
k
Let c be 38/9 - 18/81 - -165. Is c != 169?
False
Let y(v) = 78*v**2. Let s be y(1). Let x(h) = 5*h**2 - 74*h + 343. Let z be x(6). Is z smaller than s?
False
Let h be (-247)/330 + (-10)/(-550)*10. Which is greater: -1 or h?
h
Suppose -42*j + 2*a + 4 = -45*j, -j + 4*a + 22 = 0. Which is bigger: j or -25?
j
Let t(k) = -37*k + 252. Let d be t(6). Is d bigger than 31?
False
Let i = -71/333 - -12/37. Let o(a) = a + 5. Let v be o(-4). Which is greater: v or i?
v
Let c be (-1 - 0)*-2 + -2. Let x = 1074 + -10731/10. Which is bigger: c or x?
x
Let u = -79386/17 - -4672. Is 2 greater than or equal to u?
False
Let b(m) = m + 38. Let p be b(4). Suppose 0*a - 82 = -2*a. Do a and p have the same value?
False
Suppose -52*t + 50*t + 1392 = 0. Which is smaller: t or 697?
t
Let j be (-1)/((-1194)/608*-1 + -2). Is j not equal to 27?
True
Let o = -9.8 - 2.2. Let b = o + 23. Let w = b + -10.8. Which is smaller: 2 or w?
w
Let w(d) = -d**3 + 14*d**2 + 30*d - 17. Let j be w(16). Let l be 2*((-45)/60 + j/(-4)). Is l at least 0.1?
True
Let t be (3/(-2))/((-2)/32). Let m be (4/28 + 0)*(-14)/(-8). Is m not equal to t?
True
Let k be (-6)/(4/(5 + -3)). Let b(o) = -o + 11. Let x be b(11). Suppose -3*m + 4 - 16 = x. Is k at most as big as m?
False
Let b = -40 - -83/2. Let f(x) = 3*x - 4. Let v be f(3). Suppose -5*y + 0 = -v. Which is greater: b or y?
b
Let q = -36 - -43. Let w(u) = u**2 - 9*u + 14. Let z be w(q). Which is greater: -2/63 or z?
z
Let x = -14 + 15. Let q be x*(-12)/4 + 0. Suppose -3*r - r = 8. Is q at least as big as r?
False
Let t(u) = -u - u + 6*u + 5*u - 52. Let k be t(5). Are -1 and k unequal?
True
Suppose 0 = -0*a + 5*a - 40. Suppose -15 = -5*u + a*u. Let q = 4 - 4. Which is greater: u or q?
q
Let f be ((-24)/(-5))/(84/112). Is 7 at most f?
False
Let s = 5 - -13. Which is smaller: -1 or s?
-1
Let b be (6/9)/(1/15). Let t be -4 + (-205)/b - (-3)/(-2). Is -26 >= t?
True
Let q(p) = 6*p + 29. Let w be q(-6). Which is smaller: -5 or w?
w
Let i = -23.7 - -23. Let m be 1/3 + 2/(-3). Is i at most as big as m?
True
Let b = -99 + 73. Let m be (-91)/b - 2/1. Which is smaller: m or 4?
m
Suppose -5*t + 5 = 5*k, k + 4 = 9. Let u = t + 10. Let z = -11 - -17. Do u and z have different values?
False
Suppose -23*z = -18*z - 50. Let x be (-18)/40 - z/(-25). Let t be ((-3)/9)/((-2)/6). Is x at least t?
False
Suppose -2*r + 52 = -6*r. Let s be 3 + -54*68/r. Let d = s - 285. Which is bigger: d or 1?
1
Suppose 3*l + l = -4. Let k be 627/5797 + 2 + l. Let w = -38/31 + k. Which is smaller: w or 1?
w
Suppose -25 = 9*m - 4*m. Suppose -48 = 29*b - 21*b. Which is bigger: b or m?
m
Suppose -2*g = -3*o + 5 + 5, 17 = 5*g + 3*o. Suppose 3*m + 4 = 5*q, 0 = -2*m + 3*q - 0*q - g. Suppose -5*a + 54 = 19. Is a less than m?
False
Let k be (-2)/(-4) - 23/(-4). Let m be -66 + 67 + 5/1. Is k at least m?
True
Let t(o) = -o**2 + 8*o - 2. Let v be t(4). Let q = 1762 - 1761. Which is greater: v or q?
v
Let p be 44*(-1)/((-2)/(-1)). Let x = -22 - p. Is x != 5?
True
Suppose 0*p + p = 8. Suppose -p*y = -3*y. Let f = 44/3 + -581/39. Which is greater: f or y?
y
Let t(r) be the second derivative of -5*r**4/12 - r**3/6 + r**2 - 5*r. Let b be t(-2). Let v be (-5)/(-4) - (-4)/b. Does 3/4 = v?
False
Suppose 8*m = -2*o + 11*m + 15, 5*o - 34 = 4*m. Which is greater: o or 0?
o
Let j = 25.087 + 0.613. Let u = 28 - j. Let h = u + -2.2. Which is smaller: h or 0.2?
h
Let c be (-15)/(-25) + (-243)/(-45). Is -1 greater than c?
False
Suppose -5*p = 120 - 110. Let z = -1707/20 - -452/5. Let k = z - 21/4. Is p at most k?
True
Let j be (-406)/4 - 35/(-70). Is -102 at least as big as j?
False
Let f be (-33)/(-935)*-5*-1. Let r(v) = v**3 - v**2 - v + 1. Let x be r(1). Which is smaller: x or f?
x
Suppose -2*w + 2*n = -5*w + 35, 4*n - 15 = -w. Let j be (-1254)/(-242) - 2/w. Is 3 not equal to j?
True
Let l(b) be the third derivative of b**5/60 - 11*b**4/24 + 14*b**3/3 - 26*b**2. Let d be l(7). Is 14/27 less than d?
False
Let n(l) = 26*l + 35. Let w(z) = -5*z - 7. Let d(q) = -2*n(q) - 11*w(q). Let s be d(-3). Is -1 greater than or equal to s?
True
Suppose 0*f + 4*f = 20. Suppose -f*s + 4 = -k - 2*k, -2*k = 3*s + 9. Let x be -4 - s/(4/14). Which is smaller: x or -2/3?
-2/3
Let y = -0.97 - 0.01. Let i = 4.9 + -3.9. Let j = y + i. Which is greater: 2 or j?
2
Suppose 4*m = 5*t + 19, 2*m + 2*t + 14 = 10. Let w = -1 - -3. Let g = w - 2.2. Which is greater: m or g?
m
Suppose 26 = 2*w - 2*z + 22, -1 = z. Which is greater: w or -3/250?
w
Suppose -49*g = -44*g - 90. Suppose 4*n + 1 = -s + 60, 68 = 3*n - 4*s. Is n at least as big as g?
False
Let s be 18/42 + (-274)/(-14). Let l = s + -14. Suppose -12 = -l*y - 0*y. Is y less than 2?
False
Let m = -95 + 94.9. Which is greater: -106 or m?
m
Let z = 185 - 186. Is 2.8 at most z?
False
Suppose 528*n = 530*n + 2. Let d = -45/11 - -177/44. Which is smaller: d or n?
n
Let x(i) = 3*i**3 + 2*i**2 + 1. Let v be x(-2). Let w be (-71)/(-3) + v/(-45). Is 25 at least as big as w?
True
Let y be (-4)/6*3*-1. Suppose 2*j + 8 = -2*b, 0*j + 3*j - y = 4*b. Let v(n) = -n**2 - 17*n - 74. Let c be v(-8). Are j and c non-equal?
False
Suppose 3*f + 21 = 3*a - 0, -4*a = f - 13. Suppose 2*m - 17 = -5. Are m and a non-equal?
True
Let c(o) = -2*o - 1. Let r be c(-3). Let x be ((-1)/r)/((-6)/(-15)). Let v be 1*224/(-98) - (-2)/7. Which is smaller: v or x?
v
Let n be 0/4 + 2 + 0. Let x be 1/(n*1/22). Let v = 11 - x. Is v < 1/24?
True
Suppose 4*v - 3*p = -9, -3*v - 3*p - 6 - 6 = 0. Let h be 1/((-7)/v - 2). Suppose q = h*q + 2. Which is smaller: q or -1/7?
q
Let t be (-2)/4 + (-3)/6. Let p = t + 8. Let y = -20 + 20.1. Which is smaller: y or p?
y
Let h = 2.11