. Is -21 bigger than v?
False
Let h = 86 + -8. Let c = h - 43. Which is bigger: -0.1 or c?
c
Let f(l) = -173*l**2 + l - 1. Let v be f(-2). Do v and -696 have the same value?
False
Let k = -2841 + 2840. Which is greater: 1/5390 or k?
1/5390
Suppose 0 = l + 3*p - 5*p - 8, 2*l = p + 4. Suppose 12*f - 8*f + 92 = 4*u, 4*f + 4 = l. Is u < 21?
False
Let r = 48 + -50.5. Suppose 0 = -4*g - 9*g + 91. Let x be (-2)/g*63/(-54). Which is greater: r or x?
x
Let w = 25 - -783. Is 808 equal to w?
True
Suppose -5*g - 80 = -3*d, -4*d - 2*g + 68 = g. Let j be ((-4038)/d)/(18/15). Let v = -169 - j. Is v less than 10?
True
Let y = 0.219 - 95.219. Let j = y + 90. Which is greater: j or 0?
0
Let o(w) = -w**3 - 5*w**2 - 2*w + 9. Suppose -3*i + 406 - 418 = 0. Let n be o(i). Do 4/165 and n have the same value?
False
Let s(j) = 2*j**3 + j**2 + 3*j - 3. Let y be s(2). Let g be (-2570)/(-14) + 42/98. Suppose g = 2*r + 6*r. Is y greater than r?
False
Let k(l) = 6*l**2 - l. Let b be k(-7). Let y = -301 + b. Which is smaller: -15/43 or y?
-15/43
Let t = 239 + -292. Let k = 9 + t. Are -43 and k nonequal?
True
Let a = -1146 + 1908. Is a < 763?
True
Suppose 524 = 11*y - 312. Suppose -y = -3*u + 26. Suppose 9 = -2*f - 1, 2*f + u = 4*s. Which is smaller: s or 7?
s
Let z = -5354.9 - -5597. Let o = z - 242. Is -71/4 at most as big as o?
True
Let q = 22/1041 - 3556/69747. Do 5 and q have different values?
True
Suppose o - 6*o = 8290. Let v = -4913/3 - o. Suppose -5*h = 1079 - 1179. Is h greater than v?
False
Let n = 7803 + -7802. Which is smaller: -22/243 or n?
-22/243
Let j = 70 - 26. Let q = -0.385 - 43.815. Let s = q + j. Is s > -1/9?
False
Let r = -178 - -177.5. Let p = r + 0.6. Is p bigger than 285?
False
Suppose -5*x + 1304 = -3*d - 0*d, -3*d - 4*x - 1268 = 0. Let v = 276 + d. Which is smaller: -151 or v?
v
Let c = 450 + -501.25. Let o = c - -0.25. Let h = 52 + o. Which is bigger: h or 11/2?
11/2
Let f = 202 - 201.9. Let a = -0.0367 + -34.2633. Is a not equal to f?
True
Let y be 16/88 + 4 + 4748/5764 - 5. Which is greater: y or 1?
1
Suppose 2*r - 74 = -358. Let s be 1*((-14)/28*142)/((-4)/(-8)). Let l = r - s. Is l < 1/248?
True
Suppose 0 = -5*n - 5*i - 660, -2*n + 4*i - 961 = -673. Which is greater: n or -134?
-134
Let y be 4 - (-18 + (-2 - 1)). Let p = y + 37. Let w = 69 - p. Is w smaller than 17/3?
False
Suppose -10*d = -14*d - 5*o + 13633, 0 = 5*d + 2*o - 17054. Which is smaller: 3413 or d?
d
Let r = -19 + 39. Let a = -3057.35 + 3077. Let m = r - a. Which is smaller: 1/2 or m?
m
Suppose -14 = 825*s - 839*s. Which is smaller: 0.0129 or s?
0.0129
Let d(c) = 302*c + 5509. Let t be d(31). Is t equal to 14870?
False
Suppose -2*j - 420 = 3*j. Let a(l) = -l**3 - 20*l**2 + 3*l - 24. Let b(d) = -11*d + 46. Let m be b(6). Let r be a(m). Are j and r equal?
True
Let n(a) = -36*a - 40. Let r be n(-3). Let p = 65 - r. Which is smaller: -7 or p?
-7
Let w(i) = 31*i - 102. Let l be w(8). Is 155 smaller than l?
False
Suppose 4*a - 7485 = -11*a. Suppose -23*n - 168 = a. Is n not equal to -31?
True
Let o(f) = 4*f**2 + 8*f - 7. Let a be o(-3). Suppose 33*z - 28*z - 255 = a*x, -3*z + 145 = 5*x. Which is smaller: z or 48?
48
Suppose -4*k = -4*m + 12, 4*m = -0*m - k - 8. Let r be (-1112)/(-276) - (m + 5). Is 1 greater than r?
True
Let s = -2957.7762 + 2958. Which is smaller: s or -0.2?
-0.2
Let r be 38/((-7)/21 + (-7)/(-3)). Which is smaller: r or 785/39?
r
Let z(b) = 3*b**3 - 29*b**2 + 92*b - 6. Let g be z(3). Which is smaller: 80 or g?
80
Let w = 11203 - 11276. Suppose -z - 2*z = 216. Which is smaller: z or w?
w
Let x = 1170/149 + -247699/596. Is -407 at least as big as x?
True
Let u = 1.54 + -0.921. Let o = 0.019 - u. Let l = -184/5 - -37. Which is greater: l or o?
l
Let s = -244 - -238. Let m be (-310)/(-24)*((-48)/s)/(-40). Is m > -3?
True
Suppose -u - 3*x = -1, 4*x + 197 = 5*u + 116. Is 4 >= u?
False
Let r be ((-4)/10)/(24/90)*2. Let o be (r*(-2 - -3))/(-5). Which is bigger: 2 or o?
2
Let x = -208.4 - -214.518. Let o = x - 6.3. Let v = -0.082 - o. Are -3 and v non-equal?
True
Let h = 665794/989 + 4/4945. Are 673 and h equal?
False
Let h be 0 - (-8 + 428/76) - 6. Which is smaller: h or -4?
-4
Let w = -66 + 50. Let k = -36 - w. Let m = k + 15. Is 0.3 less than m?
False
Let s be 4*(-277 - 12)*(-7)/(-70). Is -117 less than or equal to s?
True
Suppose -5*y + 35 = -5*s, -4*s - 3*y - 15 = 13. Let o be (0 + (-3 - s))/2. Suppose 5*k + 0*m - o*m - 8 = 0, 8 = 3*k - 2*m. Which is smaller: -6/25 or k?
-6/25
Let b = -2341 - -6656. Is 4315 >= b?
True
Suppose -5*b = -j - 26, -2*b - 350*j + 347*j = 10. Let f be (-2)/(0 + 1/2). Let y be 1/b + f*141/(-48). Is y less than or equal to 11?
False
Suppose 4*k = -k. Let p = 647974 + -647935. Which is smaller: k or p?
k
Let r = -1 - -4. Let q be (2/6)/((3/(-12))/((-204)/272)). Is r at most as big as q?
False
Let q = 77585/13 - 5961. Let h = 828 - 820. Does h = q?
False
Let o = 27 + 19. Let m = -18 + o. Let k = -15718 - -15744. Is m at least as big as k?
True
Let d be 86/(-8) - (-1)/(-4). Suppose -25*f + 26*f = -2*j - 29, -5*j - 69 = 2*f. Which is smaller: f or d?
d
Let i = -0.6 + 0.7. Let q(d) = -4*d**3 + 14*d**2 + 4*d + 2. Let h be q(-2). Which is smaller: i or h?
i
Let s = -14 + 23. Let r be 102/216 - 2/s. Let x = -14.81 - -16.81. Is x greater than or equal to r?
True
Let s be 1*-5 + (-240)/(-24). Suppose -2*r - n = 10, -3*r - 5*n = -s*r - 10. Which is greater: -4 or r?
-4
Suppose k = 5*k + 4. Let b = -58/949 - -2768/14235. Are b and k non-equal?
True
Suppose 4*h + 3 = -m, h + 4 = -27*m + 30*m. Let g be 42/(-6) - -10 - m. Let a be 21/10 + (-2)/(-4). Which is greater: g or a?
a
Let k(m) = -16*m - 842. Let h be k(-70). Is 282 >= h?
True
Let p(o) = -40*o**3 + 8*o**2 - 9*o + 2. Let w be p(1). Let h be 162/w + 4 + 9894/(-78). Which is greater: -251/2 or h?
-251/2
Let p be ((-48)/(-30))/((-6)/15). Let f be (-2 - 6/p)/((-2)/(-4)). Is f less than 742?
True
Suppose -2 - 64 = -22*w. Let x be (-1512)/(-2)*(-11)/15. Let r = 557 + x. Is r >= w?
False
Let q be 3/71*(4 + 152/(-57)). Let f be -6*2/(-16) - (-78)/(-72). Is q at least as big as f?
True
Suppose 21 + 27 = 3*w - 5*z, -4*z = 0. Let y be (-4614)/w*30/1385. Let p = 1/277 - y. Which is smaller: p or 5?
5
Let y = 10289 - 3788. Are y and 19501/3 nonequal?
True
Let v be (-16)/(-15) - (-11)/(-165). Is v at most as big as -1/680?
False
Let z(q) = 2*q - 34. Let d be z(17). Suppose d = 5*a + 2*y + 19, -2*a + 3*y - y - 16 = 0. Is a at most as big as -33/7?
True
Suppose -7*f = -4*f - 84. Let y be (-1*(-7)/f)/(2/8). Let v be (-1)/(1 + 28/(-2)). Is y > v?
True
Let d = -2107422/1553 - -1357. Are d and 0 nonequal?
True
Let w be (2/56)/((-2)/4). Let c(u) = -u**3 - 6*u**2 - 17*u - 102. Let v be c(-6). Which is greater: v or w?
v
Let g = -12603 - -13120.1. Let p = 554 - g. Let h = 37 - p. Which is smaller: h or 0.7?
h
Let y = -0.7 - -0.674. Let u = -799.63 + 799.73. Which is smaller: u or y?
y
Let g = 3/2074 - -4073/51850. Is 95 at most g?
False
Let w(a) = a**3 - 3*a**2 + 2*a + 5. Let j(x) = x. Let q(f) = -4*j(f) + w(f). Let p = -1813 + 1815. Let y be q(p). Is 0 equal to y?
False
Let l = -320 + 494. Let h = l - 173. Which is smaller: h or -0.73?
-0.73
Let y be 2*(275/(-10))/(-11). Suppose -644 = -z + y*z. Is -162 >= z?
False
Let y = 2958 + -2985.7. Which is greater: y or -1/5?
-1/5
Suppose -59 = 9*z + 58. Let d = z - -27. Suppose d*c - 33 = 17*c. Is -11 < c?
False
Suppose -z = -5*u - 4*z - 4, 4*u = z - 10. Let p be 1/5 - (-351)/(-5). Let a = p - -347/5. Is u at least a?
False
Suppose 1863*u = 1841*u - 1 + 23. Let s be ((-8)/(-309))/((-2)/3). Is u <= s?
False
Let y(x) = -19*x**2 + 254*x + 1474. Let d be y(-6). Is d not equal to -736?
True
Suppose -12*m + 12 + 5 = 5. Which is smaller: -2/21761 or m?
-2/21761
Suppose 27*v + 55*v + 16*v = -34790. Which is smaller: -351 or v?
v
Suppose n + 5*t - 179 = 0, -105 + 798 = 4*n - 3*t. Suppose -5*s - n = -7*s. Let g = 63 - s. Do g and -26 have the same value?
False
Let n = -337 + 12807/38. Suppose 6*g = 3*p - 82 + 97, 0 = g - 3*p - 10. Which is smaller: g or n?
n
Suppose 2*n + 7 = 3*x, 6*x = 2*x - 3*n + 15. Suppose 4*q - 19 = 51*u - 56*u, -3*u + x = q. Which is bigger: q or 65/9?
65/9
Let d(u) = -u**3 + 9*u**2 - 47*u + 231. Let n be d(7). Do -12/269 and n have the same value?
False
Let g = 99.5 +