et j be (2 - -1) + (157 - -2). Let f be (-3)/j*-164 - 3. Are f and m nonequal?
True
Suppose 0 = -6*v + 5*v + 5*z - 11, 5*z = 4*v + 14. Let d = -14293/17 + 841. Which is bigger: v or d?
d
Let g = 42 + -98. Let f = 62 + g. Which is smaller: f or 7?
f
Let g be (1 + 1)/2 - (-5620)/38. Let v = -149 + g. Which is smaller: v or 0?
v
Let s = -74.53 + -6.47. Is 14 <= s?
False
Suppose 0 = 13*v - 9*v - 10811036. Let z = v + -567581863/210. Let c = -71/6 - z. Is c at least 1?
False
Suppose -3*v - 10 = 2*v. Let z be ((-1)/4)/((-1)/v). Suppose -69 = 32*f - 5. Is z at least as big as f?
True
Let w be (-3386)/(-1) - (-5 + 8). Let j = -578491/171 + w. Is 0 bigger than j?
False
Suppose -25 = -5*h, -5*t - 121 + 316 = -2*h. Is 165/4 equal to t?
False
Suppose -1897 = -8*l + 5*l - 4*f, 5*l - 3152 = 3*f. Are l and 631 equal?
True
Suppose 35*y - 26*y - 207 = 0. Which is bigger: y or 19?
y
Let w be (-280)/72 + 4 + 766/234. Which is smaller: 3 or w?
3
Suppose -8*c + 45 = -3*c + 5*i, 3*c + 5*i = 27. Let y = -6 + c. Suppose 2*b - 2*v = 0, 2*v + v + 4 = 5*b. Which is smaller: b or y?
b
Let i be -2*(12 - -5) + -8 + 14. Is i greater than or equal to -50?
True
Let q = 7 + -6.9. Let c = 110 - 1759/16. Which is smaller: q or c?
c
Let x be ((-348)/90 - -4)*-54. Is x greater than or equal to -8?
True
Let t be (-2)/((-8)/3 - (4 + -6)). Suppose 0 = t*j - 2*j - 1. Is j <= 1/3?
False
Let q = -507 - -24841/49. Suppose 14 = v + 4*t, -2 = -4*v + 6*t - 4*t. Suppose 4*p + 6 = -v*s, 3*s - 5*s + 2*p = 0. Which is greater: q or s?
q
Let o = 22.6 - 11.5. Let w = o + -11. Which is greater: w or 5?
5
Let l be (39/9)/(1/(-3)). Suppose 3*p - 161 + 203 = 0. Which is greater: l or p?
l
Let n be 38/(-14) - (0 + -2). Let l(d) = d**3 + 5*d**2 - 3*d - 5. Let f be l(-5). Suppose -3*h + 2*u = -0*u - 2, -3*h - f = u. Which is bigger: h or n?
n
Let s be 2/(-38)*9/((-1026)/(-12)). Is 1 equal to s?
False
Let y(i) = -i**3 - 6*i**2. Let f be y(-6). Let b(g) = -g + 8. Let u be b(f). Let v be 1*4/u*3. Which is bigger: 0 or v?
v
Suppose -254 + 230 = 4*b. Suppose -2*g + 19 - 3 = -4*z, -z + 2*g = 10. Is z bigger than b?
True
Suppose -4*d + q + 6 = 0, -4*d + 3*q = 4*q - 2. Is d bigger than 46/7?
False
Let b = -30 - -16. Let d = -13.92 - b. Let a = 0.38 - d. Which is bigger: -2 or a?
a
Let n(o) = -o**3 - o + 5. Let l be n(0). Suppose 0 = -m + 2*y + 1, -5*y = 9*m - 11*m + 1. Which is smaller: l or m?
m
Let g(w) = -166 + 495 + w - 157 - 167 - 3*w. Let j(r) = -r**2 + r + 2. Let u be j(-2). Let p be g(u). Is p equal to 0.1?
False
Let q be (-6)/(-2)*(-8 + 4 + -2). Let j be ((-20)/9 + 2)*q. Is j at least as big as -0.5?
True
Let g = 249 - 150. Let z = g - 98. Is z less than -2/11?
False
Suppose -8*c = c - 27. Suppose -82 = -c*a + 5. Are a and 28 non-equal?
True
Let w be (2/(-50))/(-2 - 117/(-57)). Which is greater: w or -1?
w
Suppose 5*x = 2*d - 28, 2*d + 4 = -3*x - 0*x. Suppose t + d*t + 20 = 5*a, 4*t + 3*a = 5. Suppose 3*w - 33*w = -64 - 26. Is t at least as big as w?
False
Let r(b) = -b**3 + 2*b**2 + b - 2. Let w be r(2). Let l(u) = -u**2 + 5*u + 5. Let y be l(7). Let s be 16/(-12)*y/(-15). Which is greater: w or s?
w
Let b be 1/((-82)/657 + 12/108). Is -74 bigger than b?
False
Let v = -69 + 68.7. Let r = v - -12.3. Are r and -1 non-equal?
True
Let x = 4.1 - 4.42. Let j = -0.32 - x. Is -2/3 greater than j?
False
Let h = 0.072 - -33.928. Let i = 20 - h. Let z = -12 - i. Which is greater: -7 or z?
z
Let k = 132 - 133.6. Which is bigger: k or 24?
24
Let o be ((-28)/8 + 2)/(3/(-716)). Is 359 at least o?
True
Let u(a) = -3*a. Let g be u(-4). Suppose -4*p + 52 = -0*p. Is g greater than p?
False
Let m = -0.097 + 24.097. Let b = -24.4 + m. Is b less than or equal to 2/5?
True
Let l(n) be the first derivative of n**4/4 + 2*n**3/3 + 2*n**2 + 9*n + 9. Let x be l(-2). Which is bigger: 4.2 or x?
4.2
Let a = 1 + -5. Let d(c) = 1 + 3 - 1 + 2*c - 1342*c**3 + 1343*c**3 + 5*c**2. Let s be d(a). Which is smaller: s or 12?
s
Suppose g = -7 + 18. Suppose -5*o + 16 = q, -21 = -4*o + 4*q + g. Suppose -18 - 6 = -o*m. Which is greater: m or 7?
7
Let d be 4 + (-4)/54*57. Let p be (-4 - -1) + (-39)/(-12). Which is smaller: d or p?
d
Let d = 5.7 - 8.59. Let r = -0.11 + d. Let g = 3.3 + r. Which is greater: g or -2/7?
g
Suppose 0 = -2*p - 2 + 12. Let c(i) = 2*i + 4. Let s be c(-7). Let n = s + p. Is n != -4?
True
Let r = -5/7898 - 693949/1698070. Let k = r - -2/215. Let o be (-1 + 3)/(16/6). Which is greater: k or o?
o
Suppose 4*b + 0*b = f + 19, 4*b - 39 = -3*f. Let p be -12*(15/b + -3). Let l = -4 - -13. Which is smaller: p or l?
p
Suppose 3 = -s + 2*w, -5*s - 3 = -s - 5*w. Let i be (-29)/12 - s/12. Let d(k) = 88*k + 2461. Let q be d(-28). Are i and q equal?
False
Let m = 1/61 + 659/732. Let j = m - 1/4. Are j and -0.1 non-equal?
True
Let q = -697/3 + 233. Is -0.023 less than q?
True
Suppose 0*r + 36 = 5*r - 4*o, 0 = 3*r + 2*o - 26. Suppose 78 - 310 = -4*a. Let x = a - 51. Is x > r?
False
Suppose 2*c - 5*c + 84 = -3*l, 4*c = -4*l + 88. Let w = 24 - c. Is w bigger than -1?
False
Let b(l) = 6*l - 5*l + 0*l - 3*l. Let g be b(-1). Let d be ((g - 0) + -3)/(-6). Which is greater: d or -1?
d
Suppose 0 = -q - 5*g - 4, -2*q - 5*g + 0 - 3 = 0. Let s = -467 + 10746/23. Which is smaller: q or s?
s
Let a(v) = v**3 + 3*v**2 - 3*v - 1. Let m be a(-3). Let n = -9 - -15. Suppose -13 = -3*f + 4*x + 2, x + n = f. Does f = m?
False
Let s be 5/(-10)*4 + 125. Which is smaller: 122 or s?
122
Let d(v) = v**2 + 56*v + 297. Let c be d(-6). Does -47/12 = c?
False
Let j = -35 - -95. Suppose 0*q = 5*q - j. Let l be q/(-18) - (-10)/12. Which is greater: l or -1?
l
Suppose 4*m = -0*m + 60. Let i be (-6)/m - 21/(-15). Let q = -961/6 - -160. Is q at least i?
False
Let b(a) = -a**3 + 6*a**2 + a + 77. Let o be b(8). Does -291/7 = o?
False
Let x(m) = -m**2 - 11*m + 17. Let d be x(-12). Suppose -n - 29 = 3*n - 5*k, -k = d*n. Which is smaller: 0 or n?
n
Suppose -4*j = 4*v + 64, -40*j + 41*j = -4*v - 52. Suppose -4*a - 55 = -0*m - m, -5*a = -5*m + 65. Do v and a have the same value?
False
Suppose 0 = 5*i - 4*h + 12, 4*h = -i - 364 + 376. Do -2/5409 and i have different values?
True
Let o(m) = -7*m - 607. Let u be o(-29). Which is smaller: -402 or u?
u
Let m = -3.176 + 0.076. Let u = 1.1 + m. Which is greater: u or 3?
3
Let r(d) = -d**2 - 7*d + 8. Suppose -2*y = 2*b + 19 + 7, -y + 5*b = -17. Let f be r(y). Is 1 <= f?
False
Suppose 0 - 23 = -4*u + i, -6 = 2*i. Let h(r) be the second derivative of -r**4/12 + r**3 - 2*r**2 + r. Let y be h(4). Which is bigger: u or y?
u
Let k be 3*16/18*(-9)/(-12). Suppose -20 = -2*j - 3*l, 0 = 4*j + k*l + 10 - 34. Suppose -f - h + 3 = 0, 4*h = -f - 4*f + 12. Which is smaller: f or j?
f
Let g = 4 + -4.12. Let w = 14 + -16. Let s be (1 + w + 1)/(-14 - -15). Is s < g?
False
Let c = 28 - -116. Let i be ((-10)/c)/((-1)/4). Which is bigger: 1 or i?
1
Suppose y = -8 - 2. Suppose -2*v - 27 = -5*v. Let o = v + y. Which is smaller: o or -6/7?
o
Let i = -26 + -4. Let n = i - -30.2. Are n and 0.1 nonequal?
True
Suppose 0 = 22*f - 25*f + 6. Let b(d) = -4*d**2 + 0*d**3 + 6*d**2 + d - d**3 - 1. Let z be b(f). Is -1/11 less than or equal to z?
True
Let u be (-2 - 0)/(3 + 14). Let p be 6 - (-5 + 9 + -2) - 4. Which is greater: u or p?
p
Let h be 45/75 + 8/(-5). Let s be (h + (-23)/5)/((-1)/5). Which is greater: 26 or s?
s
Let p = -27 - -23.5. Let m = p - 3.5. Is 1 <= m?
False
Let g = -4/1171 - -556237/3513. Is 159 equal to g?
False
Suppose -4*h + 4*u = 7*u + 1029, -5*h - 1295 = 2*u. Which is greater: -263 or h?
h
Let w = -314/1089 + 8/121. Which is smaller: 15 or w?
w
Let c = 564 - 537. Do c and 29 have the same value?
False
Let i = -29/52 - -30/13. Let n = 5/2 - i. Is n smaller than 0?
False
Suppose -3*h + h = -3*d, 5*h = 3*d. Let b = 1/34 + -65/1054. Is b not equal to d?
True
Let m = -0.57 - -0.5. Let r = -0.05 - m. Let z = r - 4.02. Which is smaller: z or 1?
z
Let t = 328 - 368. Which is bigger: t or -1?
-1
Let p = -15 + 14. Let f = -9 + p. Let q(u) = -u**2 - 10*u + 1. Let x be q(f). Which is greater: x or -2/21?
x
Let o = -41.23 - -19.23. Is -1.2 at most o?
False
Let t be (-3)/(-9) - (168/18 - 6). Are t and -17/8 non-equal?
True
Let m = 0.181 - 2.181. Let n = 1 + 3. Let z = m + n. Which is smaller: z or -0.06?
-0.06
Let s(i) = -i**2 + 13*i - 8. Let w be s(12). Le