be (w - (-174)/46)*-1. Which is smaller: c or 1?
c
Suppose 3*u = 3*m + 12, -5*u + 3*m + 18 = -0*u. Let q(n) = n**3 - 4*n**2 + 2*n + 2. Let t be q(2). Let h = u - t. Which is smaller: h or 6?
h
Let g be (-1)/3*-3 - -1. Suppose -x + 285 = -192. Let z = x + -3811/8. Are g and z non-equal?
True
Let p = 68 + -60.75. Let r = 0.35 - p. Let c = -7 - r. Which is smaller: 0.2 or c?
c
Suppose -f + 5*f = -4. Let z be ((-1)/f)/(2/30). Suppose -4*g - g - z = 0. Is g at most as big as -8/5?
True
Let p = 6 - 1. Suppose -4*w - 56 = -p*k, 4*k + 10*w = 5*w + 53. Suppose 5*o + k = 2*o. Does 1 = o?
False
Let u = -1297/7 + 185. Which is smaller: 442 or u?
u
Suppose 0 = 2*q - a - 141, 5*q + 2*a = 2*q + 222. Let l = q - 65. Which is greater: l or 70/11?
l
Let r = -9/34 - -185/442. Is r at most -0.22?
False
Let g = -126 + 123. Do 9 and g have the same value?
False
Let z = -46 + 28. Let g = 3 - z. Let l = g - 32. Which is greater: -1 or l?
-1
Suppose 4*r = r. Let q = -28 + -7. Let y = -141/4 - q. Is r at least y?
True
Let o = 166 - 89. Let x be 22/o - (-80)/14. Let t(j) = j**3 - 6*j**2 + 4. Let i be t(x). Which is bigger: 5 or i?
5
Let p be 2/44*(-4)/6. Let a = 184 + -918/5. Which is bigger: a or p?
a
Suppose 5*f + t - 45 = f, 0 = 5*f - 3*t - 69. Let v(q) = q**2 - 14*q + 26. Let r be v(f). Is r >= 12/11?
True
Let y(z) = -134*z - 3 + z**2 + 134*z. Let k be y(0). Is k greater than -4?
True
Let f = 0.241 + -0.341. Which is bigger: f or 330?
330
Let i(d) = d**2 + 7*d + 2. Let p be i(-5). Let l(g) = -g - 19. Let v be l(p). Which is bigger: v or -13?
v
Let f = -428/464024053 + -1196086492656979/3571129111888. Let n = -12456/37 - f. Let u = n + 25/16. Which is bigger: u or 1?
1
Let k = -64/359 + 52194/6821. Is k not equal to 6?
True
Let j(p) = p**3 - 9*p**2 - 12*p + 3. Suppose 5*z = -0*z + 50. Let c be j(z). Are c and -16 nonequal?
True
Suppose 5*t = 183 + 117. Is 60 at least t?
True
Let y = -15 + 17. Suppose -k = y*k - 15. Suppose f + 31 = k*d - 26, -3*f = -9. Which is greater: 11 or d?
d
Let m = 2 - 0. Suppose -f = -m*f + 1. Let p = 2036/9 + -226. Which is smaller: p or f?
p
Let s = -430 - -430.4. Which is smaller: 11 or s?
s
Let o = -720 + 2182/3. Let j = -8 + o. Is j less than or equal to 2?
True
Let d = 13/6 - 29/30. Let j = 3 - 1. Suppose -3*w = -j*w. Which is smaller: d or w?
w
Suppose -8*v - 11 - 29 = 0. Let k = 35/12 + -9/4. Are k and v non-equal?
True
Suppose -2*d = j - 4*d + 203, -2*j = -d + 397. Are -199 and j equal?
False
Let g = -1.9 - 31.1. Let u = 33 + g. Which is smaller: -1.4 or u?
-1.4
Let q = 3 + -3. Let t = -54 + 52.16. Let g = 0.16 - t. Which is smaller: q or g?
q
Let j be (-1)/(2 - 5)*3. Let h be j*(5/5 - 2). Which is bigger: 9 or h?
9
Let o(z) = z**3 - 6*z**2. Let v be o(6). Let r = -144/23 + 134/161. Let a = 142/21 + r. Which is greater: v or a?
a
Let b = 687.17 + -692. Let p = -1.9 - b. Let r = p + 0.07. Which is bigger: 0.4 or r?
r
Let a = 185.3 - 265.3. Which is smaller: -3/4 or a?
a
Let v(i) = i**3 - 3*i**2 + i - 4. Let s be v(3). Suppose z - 19 = 95. Let y be ((-1)/2)/(z/12). Which is bigger: y or s?
y
Let s = 120 + -188. Suppose -3*a + 4*w = 185, -4*w - 23 - 127 = 2*a. Which is smaller: a or s?
s
Let s = 330 - 313. Is 18 bigger than s?
True
Let g be (-27)/(-1449) - 0/3. Is 1 <= g?
False
Let j(z) = -z**2 + 7*z. Suppose 15 = -4*q + 5*c, -21 = -4*c - 9. Let x be j(q). Is -2/23 not equal to x?
True
Let t = 0.025 - 34.025. Let q = -34.1 - t. Which is greater: -0.03 or q?
-0.03
Let c = 497 - 319. Is 178 smaller than c?
False
Let r(v) be the second derivative of -5/2*v**2 - 4*v - 1/3*v**3 + 0. Let h be r(-5). Which is greater: h or 3?
h
Let j = 0.8 - 1.2. Let x = j - -3.4. Let w = x + -2.9. Is w at least -0.5?
True
Let a be 3072/9968 + 24/14 + -2. Which is smaller: 0 or a?
0
Let s(r) be the first derivative of -13*r**3/3 + r**2 - r + 2. Let w be s(1). Let k be (-18)/w*(-8)/(-6). Is 5 greater than or equal to k?
True
Let p(l) = 2*l**2 + 3*l + 3. Let f be p(-2). Suppose 4*s + 25 = f. Let q be 6*(-1)/45*-3. Which is bigger: q or s?
q
Let i(w) = -w**2 - 6*w - 6. Let o be i(-4). Suppose 99 = -0*f + 3*f - 2*m, -3*f - 2*m = -111. Let y be ((-14)/(-15))/(21/f). Is o less than y?
False
Suppose -2*u + u + 2*x + 13 = 0, -33 = -3*u + 3*x. Suppose -j = 3*z + 4, -2*j - 5 = 4*z + z. Suppose j*b = q + u, -5 = -b - 3. Is -2/37 <= q?
True
Let g = 11 + -8. Suppose -5*b - 424 = g*b. Is b at least as big as -53?
True
Let m = 4 + -3.897. Let j = -0.103 + m. Which is bigger: j or 14/9?
14/9
Let y(j) = j**3 - 9*j**2 + 5*j - 32. Let a be y(9). Suppose 5*b + 61 = 4*k, -7*b + 10 = k - 3*b. Are k and a non-equal?
True
Let v = -48 + 48. Suppose 5*n - 7*n - 78 = v. Is -39 equal to n?
True
Let m = -0.3 + 0.1. Let i = -59.624 + 0.124. Let n = -60 - i. Which is smaller: n or m?
n
Let f be 4/14 + (-3 - 246/(-21)). Let h be 0 + 2 + 0 + (-24)/f. Is h greater than 2/7?
False
Let n = -59 - -41. Let u = n + 23. Is -3 greater than u?
False
Let c be 2900/(-365) + 4 + (2 - -2). Which is smaller: c or -1?
-1
Let y = -22/41 + 3/82. Which is bigger: 0 or y?
0
Suppose 0 = 42*s + 7217 - 38255. Are 738 and s nonequal?
True
Suppose -3*h + 5*b = 17, 6 = -38*h + 40*h + b. Which is smaller: h or -1/1581?
-1/1581
Suppose -46 - 1 = c - 4*l, -173 = 3*c + 4*l. Let p(g) = -53*g - 191. Let n be p(-3). Let t = n - c. Is 24 > t?
True
Suppose 16*y - 12*y + 4 = 0. Let m be -3 - -1*y/(-9). Which is smaller: m or -2?
m
Let v be (2/6)/((-8)/(-1576)). Suppose 17 = -x - 50. Let w = v + x. Is 0 at most w?
False
Let l = -37 - -40. Suppose -s - 4*s = 5. Let x be (s + 0)*1*0. Which is smaller: l or x?
x
Let g(t) = 11*t + 46. Let d be g(-16). Which is smaller: -131 or d?
-131
Let g(f) = 2*f**3 - 25*f**2 + 10*f + 31. Let y be g(12). Is 3 > y?
False
Let x(f) = -2*f + 11. Let g be x(4). Let o(q) = -3*q + 12. Let i be o(g). Are 3/2 and i equal?
False
Let v(r) = -1 + 3*r**2 - 7*r + 2*r**2 + r**3 + 2*r**2. Let u be v(-8). Let f(q) = q + 10. Let y be f(u). Is -1/5 < y?
True
Let u = -3 + 3. Let k = 393/85 - 24/5. Are k and u unequal?
True
Suppose y - 21 + 3 = 0. Is y bigger than 23?
False
Let t be ((-2)/(-4))/((-2)/48). Let q = 14 + t. Suppose -7*u + 5 = -q*u. Is 1 at least as big as u?
True
Let h be ((-77)/(-616))/(358/24). Do 1 and h have different values?
True
Let o be ((-3)/18)/(-2 + 3 + 5). Is 1/9 at most as big as o?
False
Let x = -1 + 7. Suppose 0 = 4*l + u - 0*u + x, -l + 1 = -u. Let y = 66 + -329/5. Are l and y non-equal?
True
Let p be -2 - 13*1/(-5). Let x be (24/28)/(2/14). Let h be (0/(x/(-3)))/(-4). Is h smaller than p?
True
Let g = -97921/195 + 502. Let j = g - -6/65. Which is bigger: 0 or j?
0
Let q be ((-16)/44)/(1 + -3). Let o(m) = m**3 - 8*m**2 + 7*m + 2. Let k be o(7). Let h = k + -1. Which is smaller: h or q?
q
Let i(o) = -3*o - 10 + 13 + 12. Let z be i(10). Let p = z + 20. Which is bigger: p or 6?
6
Let u be (-1)/1 + (-27)/(-33). Let z be (4/7)/((-4)/(-14)). Suppose -3*x - d = -x - z, -8 = x - 4*d. Is u at most as big as x?
True
Suppose 19*w + 5*w - 5472 = 0. Which is bigger: w or 229?
229
Suppose 0*y = 3*y - 15. Suppose -4*s = -0*v + v + 4, 0 = -y*v - s - 1. Let n be (1/(-2))/((-1)/(-2)). Is v < n?
False
Let u = 2074 - 2073.9. Is u smaller than 584?
True
Let x(l) = -l + 6. Let v be x(6). Suppose -1 = -p + 2. Let f be (-385)/133 - p*-1. Which is greater: v or f?
f
Suppose -2*l = -b - 31, 5*b + 0 - 5 = 0. Is l at most as big as 15?
False
Let c(u) = 7*u**3 + 8*u**2 + u - 1. Let n be c(-1). Let f be 69/87 - (-2)/(-2). Let z = 77/232 + f. Is n greater than z?
False
Suppose 2*v + 0 + 6 = 0. Let b = 160 - 165. Does v = b?
False
Suppose 9*c - c = 32. Let j be (-22)/(-6)*(2 - 1). Which is smaller: c or j?
j
Let n = 4732 - 4732. Let t be 12/(-14)*(-2)/(-28). Do t and n have the same value?
False
Let w be ((-4)/(-5))/(2/5). Let x = 41.15 - -0.85. Let n = x + -48. Which is smaller: n or w?
n
Suppose -3*j + 5*w = w - 242, -4*j = 3*w - 331. Let d be 1/42*j + -2. Which is bigger: d or 1?
1
Let k = -103 + 103. Is -1/75 at most as big as k?
True
Let g = 565 + -564. Do -5/42 and g have the same value?
False
Let j(c) be the first derivative of 5 + 2 - 2*c**2 + 13*c + 3. Let a be j(3). Which is bigger: a or 18/11?
18/11
Let r(p) = 43*p + 34. Let j be r(-7). Let w = 2395/9 + j. Which is bigger: w or -1?
w
Let m = -5 + 4. Sup