8 or o?
o
Let b = -29 - -20. Let n be 0 + b/(-42)*-2. Let a be -1*8/44 + (-13)/(-11). Which is smaller: a or n?
n
Let r be 10 - (215061/(-1022))/(-21). Which is greater: 0 or r?
0
Let l = 0.077 - 7.877. Let u = 5.7 + l. Is 2/3 at most as big as u?
False
Let w(k) = k**2 - 5*k - 4. Let r be w(7). Suppose 50 = 5*s - r*s. Let i be -3 + s/(-12) + 1. Is i at most -1?
True
Let f = 228 + -267. Which is smaller: -0.06 or f?
f
Let m(n) = n - 7. Let k(j) = -j**3 + 4*j**2 + 2*j + 1. Let x be k(4). Let h be m(x). Is 3 > h?
True
Let b be (-14)/63 + 70/(-9). Let y be 54/4 + (-4)/b. Suppose 17 = -4*k + 69. Is k at most as big as y?
True
Let c = 171/2450 + 2/1225. Let i be (-2)/(-7) + 5/7. Is i > c?
True
Suppose 7*c + 55 = 27. Is c at most -13/5?
True
Let r be -2 + -9*1*(-374)/33. Let u be 9/r - (-3)/(-12). Is 0 at most as big as u?
False
Let d(w) = -21*w + 22. Let t be d(1). Which is greater: t or 35?
35
Let a be (-14)/(-21) - 5694/(-45). Which is smaller: 126 or a?
126
Let p = 176 + -141. Let x = p + -35.006. Is x < 0?
True
Let x = 39.68 + -41. Let b = 1.5 + x. Let o = -9.82 - b. Are 0.2 and o nonequal?
True
Let u be 1*2/(-44)*-3. Let i(z) = z**2 + 40*z + 39. Let r be i(-1). Which is greater: r or u?
u
Let z be (-730)/144 + -10 + 15. Which is bigger: -1 or z?
z
Suppose a - 5 = 4*v, -5*a - 3*v + 11 + 14 = 0. Suppose -x = -5, a*b - x = 55 + 25. Let j be (1*-1)/(12 - b). Is -1 equal to j?
False
Let t = 1.7 - 1.36. Let y = t - 0.31. Which is greater: 0 or y?
y
Let f(s) = s**2 - 4*s + 4. Let o be f(2). Suppose -5*x + 2*h + 5 = o, -x - h - 4*h - 26 = 0. Let p be 1/2*(-8)/38. Which is greater: p or x?
p
Let m be (0 + (-117)/6)/(0 - 3). Let z = 7 - m. Which is bigger: -4/5 or z?
z
Suppose -14*k + 16*k = -68. Suppose -9*n = -6*n + 105. Is k less than n?
False
Let w(l) = -11*l - 14. Let y be w(-4). Suppose 5*i = 5*p + y, -2*p = -i + p + 14. Which is bigger: i or 5/7?
i
Let r be ((-366)/(-855))/(4/3). Let x = 3/38 + r. Does x = -0.4?
False
Let o = -365/4 - -91. Which is greater: 675 or o?
675
Suppose 0 = 4*n + 4*i - 20, 5*i = -3*n + i + 11. Is 23 greater than or equal to n?
True
Suppose 0 = -4*u + 4*i + 12, -33 = -3*u - i - 4*i. Do u and 5 have different values?
True
Let v = 1/1242 + -1255/16146. Which is smaller: 0 or v?
v
Let b = 1699.03 + -1709. Let r = b + 10. Let f = r - -0.27. Is f at most 0?
False
Let j be (1/(-3))/(2/(-4)). Let x(b) be the third derivative of -b**6/120 - b**5/15 - b**4/24 - 2*b**3/3 - 9*b**2. Let y be x(-4). Is j at least y?
True
Let p(h) = h**2 + 2*h + 1. Let j be p(-1). Suppose j = 41*a - 43*a + 22. Is a not equal to 12?
True
Let b be (-18)/5*(-490)/(-2058). Which is smaller: -0.113 or b?
b
Let t = -5.3 - -33.3. Let s = 37 - t. Let q = s + -8. Is q != 1/2?
True
Let t = 32 - 33. Let j be -1*(t - -2 - 1). Is j smaller than 3?
True
Let r(b) = 2*b - 12. Let s(n) = -5*n + 24. Let t(x) = -7*r(x) - 3*s(x). Let k be t(-10). Let p(c) = -c**3 + 5*c**2 - 5*c + 6. Let q be p(4). Are k and q equal?
True
Let k(i) = i + 15. Let j be k(-10). Suppose 0 = -a - 0 + j. Let c be (3 - 3)/(3 - a). Which is smaller: c or 1/10?
c
Suppose o - 4 = -3*o. Are 2/27 and o non-equal?
True
Let b be 2/(-7) + 6 + (-480)/84. Which is smaller: -100 or b?
-100
Let o = -17 - -10. Let s be 27/36*(-4)/o. Is s greater than -2/3?
True
Let k = -105 + 111. Which is greater: -13 or k?
k
Let r = -3/13 - -58/195. Let c(w) = -w**2 - 10*w - 6. Let o be c(-9). Suppose -o*j + 7 = 10. Is j <= r?
True
Let p be (3 - 9)*20/(-15). Is 4 at least as big as p?
False
Let y = -132 + 127. Which is greater: -36 or y?
y
Let q be (1 - 3)*1173/51. Is 4 less than q?
False
Let h(j) = -5*j + 2 - 4 + 1 + 4*j. Let a be h(-3). Let s = -3.47 - -3.5. Which is smaller: a or s?
s
Suppose -2*y - 2 = b, 3*y + 4*b - 12 = -25. Is 8/99 smaller than y?
True
Let s = -81 + 85. Let a be -1 + s + 4 + -2. Are 21/4 and a unequal?
True
Let z be 2/5 + (-939)/1305. Let i be ((-10)/(-725))/2*(4 + -2). Let m = z - i. Which is bigger: m or -1.5?
m
Let w = 234/215 - 21/43. Is w at most as big as -12?
False
Suppose 5*i - 6 = 39. Let q be 10/(-1 - (-15)/i). Let m be (2/2)/((-3)/q). Which is smaller: m or -4?
m
Suppose -7*b = -9*b - 11*b. Is b != -3/26?
True
Let p = -9 - -56. Let b = -34 + p. Which is smaller: b or -5?
-5
Let i = -947 - -540. Is i > -407?
False
Suppose -3*h = t - 43, 4*t - 3*h - 186 = 31. Let p(f) = 2*f**2 + 7*f + 2. Let b be p(-7). Is t >= b?
True
Let c be (-25)/(-5) - (0 - 2). Is 0 less than or equal to c?
True
Suppose 0 = z + 3*l + l - 20, 5*l = -4*z + 25. Suppose -3*t + 4*f = -6*t - 15, z = -4*f - 12. Is -1 less than t?
False
Let z = -13 + 41/3. Suppose 7*b - 5*b = 72. Let n = 69/2 - b. Which is bigger: z or n?
z
Suppose -54*t = -2099 - 1357. Which is greater: 67 or t?
67
Suppose 0 = -4*q + 8, -3*b + 4*q = 80. Let x = b - -26. Suppose -2*o + h + 12 = 0, 0*o = 5*o - x*h - 28. Is 3 bigger than o?
False
Let l = 27/13 + -2159/1027. Suppose -2*z = z. Is l at most z?
True
Let l(x) = x**2 + 21*x + 78. Let o be l(-6). Let c be 1/(-2) + (-51)/(-2). Suppose -c = 2*a - 3*s, 16 + 7 = -2*a + s. Does o = a?
False
Let n be 5 - -4*5/(-5). Is n bigger than -5/17?
True
Let t be 948/10 - 1/(-5). Suppose 0 = -5*v + 4*d + t, -5*d = -4*v + 8*v - 35. Suppose k = 3*k - 32. Is v at least as big as k?
False
Suppose 7*n + u = 5*n + 10, 3*n - 3*u = 33. Is 10 at least as big as n?
True
Let q(g) = -5*g**2 - 48*g - 142. Let b be q(-3). Is b <= -39?
True
Let i(h) = h**2 + 4*h - 4. Let x(o) = o. Let m be x(-5). Let v = m - 0. Let g be i(v). Is g > 3/2?
False
Suppose -5 = -8*t + 13*t. Which is greater: -38/99 or t?
-38/99
Let g = 0.117 + -0.207. Let c = 0.8 + 1.2. Is g greater than c?
False
Let i(u) = -6*u**2 - 2*u + 8. Let p be i(6). Let a be -1 + 4 - (-680)/p. Let l = -0.9 - -0.9. Which is bigger: l or a?
l
Let f = 155 + -151. Is 0.33 at most f?
True
Let k = -51/5 - -12. Is k less than or equal to 0.1?
False
Let t = 13 - 11. Let d be ((-1)/(-3))/(3/9). Suppose t*j + 17 = d. Is -8 <= j?
True
Suppose 2*r + 0*r + 5*o = -16, -5*r + 3*o + 22 = 0. Suppose 0 = -r*i + i. Suppose 4*h + 12 = 3*s, i = -3*s - 3*h + h - 6. Which is greater: -1 or s?
s
Suppose 0 = 5*y - 2*c - 25, 0 = 2*y + 4*c - 7 - 3. Let h = -6 + 6.04. Let i = h + 0.06. Which is smaller: y or i?
i
Let f(l) = l**2 + 19*l - 16. Let x be f(-20). Let j be (4 - 14/x) + 57/(-106). Which is smaller: 0 or j?
j
Suppose 0 = -4*m + 16, 3*u + 8*m - 3*m = 50. Suppose 3*z = 0, 3*z = 5*b + 2*z - u. Is 5/3 at least b?
False
Let u = -4/33 + -7/33. Let k be (-4 - 0)*((-225)/(-10))/9. Let a be k/(-15)*(3/6 - 2). Is a smaller than u?
True
Let j = 31993/17 + -1883. Which is greater: -1 or j?
-1
Let k = -509.696 + -0.304. Which is smaller: 1/2 or k?
k
Let k = -140 + 70. Let v = -42 - k. Are v and 27 nonequal?
True
Let l(h) = -195*h**2 + 67*h - 186. Let w be l(3). Is w at least as big as -1741?
True
Suppose 0 = 5*w - w. Suppose w*h + h = -12. Let u be (3 + 20/h)/2. Which is bigger: 1 or u?
1
Let q = 12 - 13. Let r be 0/(-6) + (q - -10). Are 3 and r equal?
False
Let d be (-7 - -12)/((-35)/(-2982)). Which is smaller: 424 or d?
424
Let f = -124 + 116. Let i be (f/3)/(3916/(-66)). Is 1 greater than or equal to i?
True
Let m be (-1)/28 + 2/7. Let l(h) = h**3 - 15*h**2 - 36*h + 36. Let j be l(17). Let o be -1 - (-3 + 4 - j). Is o > m?
False
Let p = 46169.954 + -46207. Let b = p + 0.046. Are b and 0.1 nonequal?
True
Let m be (3 - 1) + 278032/10870. Let s = -24/1087 - m. Let o = s + 1523/55. Is -1 at most as big as o?
True
Let j be ((-4)/10)/(-7 + (-210)/(-25)). Are 49 and j nonequal?
True
Let v be (-390)/(1 - 3) + 5 + -9. Suppose o - v - 40 = -5*z, -5*z - 3*o + 223 = 0. Is z not equal to 48?
True
Let p(l) = -l - 13. Let a be p(-12). Let g(z) = -9*z. Let c be g(a). Let n = 18 - 7. Which is greater: n or c?
n
Let m(g) = g**2 + g. Let d be m(2). Suppose 31 = 3*z - 5*c, 2*z - 22 = -0*z + 4*c. Which is bigger: z or d?
z
Let z = -0.077 - 3.723. Let t = -18 - -19. Which is bigger: z or t?
t
Let y be -40 - 5175/(-138) - (-10)/4. Let s = 0.54 + 0.95. Let r = s - -0.01. Which is bigger: r or y?
r
Let b = -11545.8 - -11546. Let m = -8 + 6. Let o = -1.96 - m. Is o less than or equal to b?
True
Let s be 3/((0 - -1)*77/49). Is s at least 1?
True
Let s = -0.35 - -2.05. Let v = s - 2.1. Is 0.2 less than v?
False
Let m = 9289/7605 + 2/2