?
True
Let v(h) = -h**3 - 8*h**2 + 4. Let k be v(-8). Let m be k/(-8) - (-37)/66. Let c = 28.199 - 28.099. Which is smaller: m or c?
m
Let f(g) = -2*g + 20. Let n be f(8). Suppose -4*m = -0*m - n. Let w = 10061/36 - 1119/4. Which is smaller: w or m?
w
Suppose -26*v + 106*v = 33*v + 36*v. Which is smaller: v or -14/75?
-14/75
Let y = -393680639384705142 - -15258667903792135803297/38759. Let h = 48513873 - y. Let g = h + 2/343. Is g < 1?
True
Let f(y) = -5*y**3 + 25*y**2 - 6. Let l be f(5). Let w be 2 + (-5 - l) + -13. Which is smaller: 2 or w?
w
Let r be ((-695)/(-1112))/(2/176). Which is smaller: r or 28?
28
Let s = 0 - 0. Let u(o) be the first derivative of o**4/4 - 15*o**3 + 45*o**2/2 - 33*o + 129. Let q be u(44). Which is greater: s or q?
q
Let b be (-16 - (-2 - 13)) + 5003/5010. Are 0 and b unequal?
True
Let p = 42107 - 42245. Which is smaller: p or -9.5?
p
Let w = -11.99 - -24.79. Is w greater than -4?
True
Let a be (-8071)/2023 + -4 + -16*(-2)/4. Which is smaller: a or -1?
-1
Let o(y) = 39*y + 37*y - 111*y + 46*y - 17. Let u be o(1). Which is smaller: -50/7 or u?
-50/7
Let o = -1902 + 1901. Which is smaller: o or -1/2234?
o
Let l be (-2)/25 - (-12552)/26150. Is l less than -2279?
False
Let a be (-1)/2*(-45)/(585/(-2782)). Which is bigger: -855/8 or a?
-855/8
Suppose -t - 424 = -4*m + 492, 2*m + 5*t = 458. Which is bigger: 220 or m?
m
Suppose -25*x + 31*x - 4811 = -5*f, 2416 = 3*x + 4*f. Which is greater: x or 7/4?
x
Suppose 28*p + 68 = -16. Let o be ((-33 - -28) + 11/p)*3. Which is greater: -1 or o?
-1
Let c = -42 - -69/2. Let l = 4/441 + -6917/882. Let a = c - l. Do a and 1 have different values?
True
Let r be 80/(-140) + 115/238. Let p(o) = -23*o + 2. Let l be p(1). Let h = -22 - l. Which is bigger: r or h?
r
Let h be (-12)/32 - (-2)/5. Let v = h + -11/40. Is v != 2/11?
True
Suppose -287 = -4*a + 3*y, -3*y + 7*y - 209 = -3*a. Suppose 4*c - 221 = a. Let g(t) = 4*t**2 - 6*t + 2. Let i be g(5). Which is smaller: c or i?
i
Let j = -21.8 - -71.8. Let i = 0.82 - 48.82. Let d = i + j. Which is smaller: 1 or d?
1
Let c = 0.184 + 578.816. Let w = c + -538.9. Let i = -40 + w. Which is smaller: i or 2/31?
2/31
Let w = -18028 - -18022.5. Are w and 1/92 nonequal?
True
Suppose -157*w + t = -159*w + 1987, -12873 = -13*w + 2*t. Are w and 2/5 non-equal?
True
Let m = 13697/33 + -415. Suppose 5*j - 1830 = o - 398, o + 2 = 0. Suppose 0 = 281*z - j*z. Which is greater: m or z?
m
Let r = -481 + 499. Suppose 1652*j - 1658*j = r. Is -3/2 greater than j?
True
Suppose -f = 2*v - v + 1, -4*v = 2*f + 8. Suppose -f*p - 14 = -5*t, -7*p = -2*p - 15. Let r = -330 + 335. Are t and r nonequal?
True
Let c = -48.8 - -44.8. Let i = -39.058 + 0.058. Which is smaller: c or i?
i
Suppose -17*p + 8 = 2*k - 15*p, p = -2*k + 13. Suppose -12 = k*r - 7*r. Is 14/9 > r?
True
Let j = -2144.71 - -2139. Is 2/11 <= j?
False
Let l = -14797 + 473283/32. Which is smaller: l or 2/7?
l
Let c = 1250 - 1183. Suppose 3*p + p - 268 = 0. Are p and c equal?
True
Let x = 2.3 - -187.7. Let d = 188 - x. Which is bigger: d or 61/4?
61/4
Let x(w) = -22*w + 189. Let i(g) = -15*g + 126. Let m(y) = 8*i(y) - 5*x(y). Let s be m(14). Are -76 and s unequal?
True
Let b(j) = -2*j**2 - 4*j - 3. Let q(a) = -5*a**2 - 9*a - 5. Let w(l) = -7*b(l) + 3*q(l). Let v be w(3). Is -1 greater than or equal to v?
False
Suppose -13*t = -17*t - 688. Let o be 9*57/t - -3. Is o smaller than 1?
True
Suppose 1 = -3*w + 19. Let x be -3 + 5 + (w - 3). Suppose 9*v + 4 = x*v. Which is smaller: v or -2/87?
v
Suppose -b + k + 0 + 18 = 0, 0 = 3*k - 6. Suppose -8*x + b = -20. Let o(v) = v + 7. Let h be o(-3). Is x at most h?
False
Suppose 2431 = 5*m + 4*w, -4*w - 2479 = 2*m - 7*m. Does 485 = m?
False
Let f(w) = -2*w**3 + 9*w**2 - w - 4. Let j be f(6). Let z be (-63191)/6537 + (-662)/6. Which is smaller: z or j?
z
Let y(q) = -17*q**2 + 117*q + 1697. Let w be y(-16). Which is smaller: w or 1?
w
Suppose -2*z - 8 = -4*b, -7*z + 2*b + 4 = -2*z. Suppose z*i = 6*i + k - 25, -2*i = 4*k - 16. Is i < 4?
False
Let p(g) = 26*g**3 + g**2 + 2*g - 1. Let c be p(1). Suppose 26*m - c*m - 4 = 0. Which is greater: m or -21/37?
-21/37
Let o = -15 - -19. Let t(h) = 3*h**2 - 2*h - 2*h**2 - 2*h. Let i be t(o). Which is smaller: i or 2/65?
i
Let b be (5/(-50))/(12/(-30)) - 0. Is 4/379 bigger than b?
False
Suppose t - 7331 = -121*d + 124*d, -2*t = -5*d - 14667. Is 0 greater than t?
False
Let d = -383 - -176. Let i = d + 460. Which is bigger: 0.1 or i?
i
Suppose j - 711 = 1894. Which is bigger: j or 2604?
j
Let s = 287/69 + -13/3. Suppose 2*c = l - 0*c + 1, -l - 4*c = 1. Is s < l?
False
Let x(h) = h + 13. Suppose -18*g + 9 = -19*g. Let v be x(g). Let w(u) = -2*u**2 + 6*u. Let m be w(v). Is -7 at least m?
True
Let q = -6205 + 6208. Are q and 32/9 non-equal?
True
Let g be 38/(-380)*(-4)/(-7). Let o(s) = -s**3 - 2*s**2 - 2*s - 2. Let v(u) = -u**3 + u**2 + u + 1. Let b(z) = -o(z) + 2*v(z). Let m be b(5). Does g = m?
False
Let x = 3.5 - 3.2283. Let y = x + 110.6983. Let v = 111 - y. Are v and -1/2 equal?
False
Suppose -156*o = -140*o - 1335 + 9799. Is -529 greater than or equal to o?
True
Let y = 169.36 + -191.854. Let l = -0.506 + y. Let m = -2 - -1. Is l bigger than m?
False
Let n(f) = f**3 - f**2 + 35. Let p be n(0). Suppose -5*r + 16 = 6. Suppose -3 = r*d + p. Are d and 2/7 non-equal?
True
Suppose 9*w = -132 + 213. Does 21 = w?
False
Suppose -2*d = 4*z - 0*d + 18, 2*d = 5*z. Let l = 0.105 + 40.295. Let n = l - 47.4. Which is greater: z or n?
z
Suppose 0 = 3*j - 2*u + 74, 124 = 2*j - 7*j + 3*u. Suppose -4*s + 39 = 5*c, s + 28 - 2 = 2*c. Suppose -308 = c*f - 0*f. Are j and f nonequal?
True
Suppose 6867*k + 58 = 6809*k. Are -26/1033 and k nonequal?
True
Let y = -18 - -18. Let l be ((-16)/(-1154))/2*(-10)/(-60). Let k = -10364/19041 - l. Is y != k?
True
Let z = -1.53099 - -1.41899. Let c be (-3)/2 - (-2)/4. Is z <= c?
False
Let v be 1*9/(8 - -1). Which is smaller: 2/2223 or v?
2/2223
Let c = -7.91 - -3.71. Let m = -0.159 - -0.359. Is m equal to c?
False
Let i = 8/19 + -197/513. Let o(y) = y**3 + 6*y**2 + 10*y + 8. Suppose 0 = -3*d, -5*d - 20 = -0*u + 5*u. Let v be o(u). Which is smaller: v or i?
v
Let u = -2.67 - 120.33. Let l = 118.923 - -0.077. Let g = l + u. Is g less than 0.1?
True
Let i be 2 - ((-3150)/4 - 2). Let s = 827 - i. Is 37 not equal to s?
True
Let d(c) = -2*c**3 + 20*c**2 - 16*c - 3. Let l be d(9). Let t be 1/((-6)/l - 581/(-1715)). Which is smaller: t or -17?
-17
Let a be ((-2)/(-10))/(-7 - (-11691)/(-45)). Is -1 greater than a?
False
Suppose -3*l + 65*v - 69*v = -18, -16 = 2*l - 2*v. Which is smaller: l or -75/32?
-75/32
Let y = 241 - 242. Suppose -5*c - 3*k + k = 38, 2*k - 22 = 5*c. Let x be 0*(-3)/c + 10/(-315). Does x = y?
False
Suppose 5*n = 4*z - 28, 3*n + z = 4*z - 18. Let u = -43 + 38. Let g(l) = -2*l**2 - 7*l + 13. Let r be g(u). Which is smaller: r or n?
n
Let l(j) = j**3 - 12*j**2 - 48*j - 25. Let c be l(15). Let h be 2846/(-14) - ((-330)/c - 5). Is -204 greater than h?
False
Let i be (-14604)/9 + (-2)/(-3) - 3. Is -1626 less than i?
True
Let v(m) = -m**2 + 18*m + 24. Let o be v(18). Let a = 1140 + -1113. Which is smaller: a or o?
o
Let r = 6447 + -6300. Which is bigger: 11 or r?
r
Let o be (-3)/(-9) + 6010/(-30). Let z = o + 1398/7. Which is greater: z or 0.04?
0.04
Suppose -3*o - 2*n + 55 = 0, -143 + 26 = -6*o + 3*n. Is o > 33?
False
Suppose 18 = 5*u - 3*u. Suppose -2*k - 1 = u. Suppose -104*f + 54*f + 276 = -96*f. Which is smaller: f or k?
f
Let y(a) = 5*a + 29. Let v be y(-5). Let o be -173*(3 + -4) + v. Let b be (-15)/5 + o/58. Which is greater: 1 or b?
1
Suppose 2*r - 548 = r. Let a = -554 + r. Let w = 8 + -9. Which is greater: a or w?
w
Suppose -5*f = -f. Let l be -4 + (74/(-8))/((-581)/252). Which is greater: f or l?
l
Let v = 2021 + -2021. Which is smaller: v or 3/2372?
v
Let r = 13915 + -13915.1. Are -8704 and r equal?
False
Let w(m) = -36*m + 1222. Let g be w(34). Which is bigger: g or -19/11?
-19/11
Let o be (-28)/(-210) + (-4)/(-15). Let z = 66 + -75. Let v = z - 27. Which is bigger: v or o?
o
Let h be ((-4)/(-76))/(2/4). Let j = -9 - -12. Suppose 4*u + 11 = 5*i, 2*u = -j*i - 0*u - 11. Is i greater than or equal to h?
False
Let f(d) = 323*d - 3479. Let l be f(11). Which is smaller: l or -12?
-12
Let g be 18/14 + 2/(-1 - 0 - 