se 0 = -y - 2 + 3. Let a = -23 - 24. Let l = a + 46. Is y at most as big as l?
False
Let p be 8/(-24) + 212/6. Let v = -16 + p. Which is greater: v or -1?
v
Let i be ((-25)/30 - -1) + (-6)/(-4). Suppose -14*s + 20 + 8 = 0. Which is smaller: i or s?
i
Let z = 5.121 - 0.121. Which is bigger: -2/85 or z?
z
Suppose 2*m - 3 - 1 = 0. Let f be m/(-7) - 620/35. Suppose -u - 15 = 3. Is f greater than or equal to u?
True
Let p(h) = 15*h**2 - 25*h - 15. Let w(m) = 7*m**2 - 12*m - 7. Let j(r) = 6*p(r) - 13*w(r). Let n be j(5). Let z be ((-3)/24)/(3/n). Which is smaller: 1 or z?
z
Let j = 0.04 + -0.03. Let k be 1/(24/186) - 8. Is k at most j?
True
Suppose -3*a - 3*p - 1865 = -761, -3*a = 5*p + 1112. Let c be (-2)/8 - 35/a. Is c less than or equal to 0?
True
Let h = -15 - -57. Let p be (-1)/((-4)/234)*28/h. Is p less than 38?
False
Let z be 4*(-5 + 4) + 144. Let k be ((-183)/(-48) + -4)*z. Let j = k - -53/2. Is -1/20 at least as big as j?
False
Let v = -205/134 - -2/67. Let x = -100 - -123. Suppose -3*i + 4*u - 7 = 0, 2*u = -5*i - 0*u + x. Which is greater: i or v?
i
Let t = 25 + -8. Let n = 9 + t. Which is smaller: n or 27?
n
Let y = -26726117/674 + 39653. Which is bigger: 0 or y?
y
Let q be (-6)/(-2) - 6 - (-14)/4. Let v(m) = -2*m - 3. Let d be (2 - -1)*(-6)/9. Let r be v(d). Is r at least as big as q?
True
Let y(z) = z**3 - 6*z**2 - 7*z + 7. Let f = 3 + 4. Let h be y(f). Suppose g = 2*q - 20, -6*g + 2*g = -5*q + 56. Which is greater: h or q?
q
Let z = -205 + 170. Which is smaller: z or 2?
z
Let y = -131 - -126. Which is bigger: y or 0.09?
0.09
Let i be 134*(-5)/126 - (-9)/21. Which is smaller: -5 or i?
-5
Let x be (1 + (-6)/4)*2. Let p = -793/4 - -5423/28. Let o = 111/35 + p. Are x and o equal?
False
Let b = -6.6 - -33.6. Let m = -26.8 + b. Which is smaller: m or 4?
m
Let g = -16 + 23. Let s(o) = -o**3 - 8 - 13*o**2 + 4 - 13*o - g. Let r be s(-12). Is 1/9 equal to r?
False
Let g = 0.03 - 0.03. Let x = -3.9 - -5.9. Which is smaller: x or g?
g
Let h = 0.491 - 0.691. Let m(l) = -3*l**3 + l**2. Let s be m(-1). Is h > s?
False
Let j be (2/64)/((-1)/18). Which is bigger: j or -1?
j
Suppose 2*r - 53 = -w - 2*w, w - 4*r - 27 = 0. Suppose 162 = -17*l + w*l. Let q = l - 319/4. Is q > 1?
True
Suppose 0 = q + 18. Let a be 2/4 + q/(-4). Let b be (-6)/(-18)*0 + 6. Are a and b unequal?
True
Let x = 121/12 - 31/3. Let b = 83 + -31. Let o = -209/4 + b. Is o at most x?
True
Let q = -592 - -640. Let m = -38 - -86. Do m and q have different values?
False
Let l = 146 + -169. Let n = l + 26. Let a = 0.1 + -0.1. Which is smaller: a or n?
a
Let x(w) = -w**2 + 15*w + 16. Let i be x(17). Let m(r) = 2*r + 1. Let z be m(-4). Let q = z - 10. Is q equal to i?
False
Let k = 3345 - 3353. Is k greater than or equal to -50?
True
Let m = 14.7 + 4.3. Let p = 19 - m. Let v be (-22)/4 + (-6)/(-4). Which is smaller: v or p?
v
Let i = -218 + 203. Is -15 not equal to i?
False
Let u = 917 + -953. Let h be ((-2)/4)/((-1)/(-74)). Which is greater: u or h?
u
Let p = 28 - 15. Let u = -13.1 + p. Which is smaller: 1/9 or u?
u
Let p(o) = -6*o**2 + 2*o - 1. Let d be p(1). Let g be (-13 + 7 - -7)*-5. Is g less than d?
False
Suppose 0 = -2*v + 10*v - v. Do v and -14/39 have the same value?
False
Let m(x) be the first derivative of -3*x**4/2 + x**2 + x + 5. Let g be m(-1). Suppose 5*n + 2 - 12 = 0, b = g*n - 24. Are b and -12 equal?
False
Let o(b) = -4*b + 10*b - 8 - 6*b**2 + 4 + b**3. Let g be o(5). Suppose h - 2*k = -7, 3*k = 4*h - 9*h + 17. Is g at most as big as h?
True
Let r be -6 - (7 - 6 - 4). Is -0.019 at most r?
False
Let n(t) be the second derivative of -t**3/6 + 3*t**2/2 - 7*t. Let w be n(4). Is w > -1/3?
False
Let f(d) = 46*d**2 - 10*d + 8. Let i be f(1). Is 43 less than or equal to i?
True
Let p = 17 - 10. Suppose p*y = 4*y + 15. Suppose 3*u - b + 2*b = y, 3*u - 4*b + 20 = 0. Is u smaller than 1?
True
Let p = 0.5 - -12.5. Let k = 5 - p. Which is bigger: k or 1/2?
1/2
Let j = 13 - 13. Let w be (3/(-4))/(1/604). Let c = w + 7704/17. Is j less than c?
True
Suppose 4 = z - 5*z. Let s be 9/30*(-8)/288*10. Which is greater: z or s?
s
Let x = 13221 - 13085.61. Let y = x + -136. Is -2/5 less than or equal to y?
False
Let s = 34.7 + 6.3. Let g = s - 41.23. Let j = -0.13 - g. Which is bigger: 1.1 or j?
1.1
Let b = -1795 + 5435/3. Let p(y) = 4*y**2. Let w be p(-2). Let s = b - w. Is s bigger than 0?
True
Let r be 4/(-18) + 60/27. Let d = 32.88 - 49.88. Does d = r?
False
Suppose 2*r + 44 = -5*b - 27, 4*b + 5*r = -67. Let v = 14096.1 - 14096. Do v and b have the same value?
False
Suppose -41*c + 131 = -40*c. Suppose -3 - 1 = -4*n, 3*d + 4*n + c = 0. Which is smaller: d or -44?
d
Let b be 6/((-9)/3) + 3. Let r = b + 5. Let c be r/(-10) + (-16)/(-10). Which is smaller: c or -0.2?
-0.2
Let h = -2117/20022 - -13/142. Is h bigger than -1?
True
Let t(s) = 306*s + 87. Let l be t(-2). Is -524 smaller than l?
False
Suppose -5*c + 2 + 3 = 0. Let z be (-757)/6 - c/(-6). Let o = -2269/18 - z. Do o and 0 have different values?
True
Let n be (-1 - -25)/(1 - 8). Suppose 4*z + 5*o + 36 = 0, 3*z - 4*o - 25 + 21 = 0. Which is bigger: n or z?
n
Let z = -39 + 47. Let q be (-12)/z + (-68)/(-8). Is 9 > q?
True
Let m = -10.1 + 10.532. Is m greater than or equal to -1/4?
True
Let w = 33 + -38. Let s = -5.012 - w. Do -1 and s have the same value?
False
Let d = -30.6 - -32.6. Which is bigger: -2/489 or d?
d
Let l be (-85)/600 + 4/(-10). Let j = -1/8 + l. Does -0.12 = j?
False
Let r = -0.12 - -0.02. Let m = -55.6 - 10.4. Are r and m equal?
False
Suppose 0 = -2*d + 31 - 5. Let g = 12 - 0. Is d >= g?
True
Let b(j) = -j**2 + 18*j - 19. Let a be b(14). Let l = 33 - a. Which is bigger: -8/3 or l?
-8/3
Let a = -10 + -7. Suppose 0 = 6*f - 7*f - 8. Let i be 34*(-1)/f*-4. Is i less than or equal to a?
True
Suppose -4*d - t = 52, 5*d + 36 + 8 = 4*t. Let a = d - -49/4. Let u = 0.8 - 0.7. Which is smaller: u or a?
u
Let b(j) = -j**3 - 3*j**2 + j - 8. Let h be b(-6). Which is bigger: h or 96?
96
Let u = 54 - 6. Suppose 2*b + u = 6. Let c = b - -18. Is c at least as big as -1?
False
Suppose -5*o - 15 = -a - 4*a, -2 = 3*o + 4*a. Is -32/27 greater than or equal to o?
True
Let d be (-46200)/9295 + 1 + 4. Which is greater: d or -1?
d
Let y = -2.9176 - 0.0824. Let f be 1/(-3)*(3 - 2). Is f <= y?
False
Suppose 3*x - 17 - 10 = 0. Let v be ((-1)/(-3))/(3/x). Let r = -2829/11332 + -1/2833. Which is bigger: r or v?
v
Suppose 24 = -0*l + 4*l, 5*k + 5*l = 25. Let s = 10 + -18. Is s less than or equal to k?
True
Let i = 68 - 610/9. Which is smaller: i or -6?
-6
Suppose -v - 5*w = v + 38, -5*v + 4*w = 161. Let g(b) = -2*b**2 + 41*b + 429. Let f be g(-8). Which is smaller: v or f?
v
Let g(l) = 7*l**3 - 7*l**2 - 7*l + 13. Let v(n) = -13*n**3 + 14*n**2 + 13*n - 25. Let q(f) = 11*g(f) + 6*v(f). Let u be q(7). Is 3/10 > u?
True
Suppose -16*s + 12*s = 336. Let k be s/(-140) + (-147)/(-55). Do k and 3 have the same value?
False
Suppose -13014 = -4*c + 31*c. Is c >= -482?
True
Let v be (-17)/(-3) + 2 + (-8)/3. Let q(n) = 2*n**2 + 4*n + 2. Let p(g) = -g**2 - 3*g + 2. Let h be p(-4). Let x be q(h). Which is bigger: x or v?
v
Let h = -211 + 29961/142. Which is greater: 0 or h?
0
Let h = -36.29 + 36. Let x = h + 0.19. Is x smaller than 9?
True
Let q(y) = 5*y - 2. Suppose 10 = -g + 6*g. Let u be q(g). Is u equal to 7?
False
Let h = 3 - 2.8. Let m = 13/2 - 241/38. Which is greater: m or h?
h
Suppose -3 - 9 = 4*t. Let b be (-1 - 1) + -1 - 1. Let d = t - b. Which is greater: d or -1?
d
Suppose 4*w = w + 3. Let d(k) = 19*k**2 - 2*k + 1. Let q be d(w). Let c = -16 + q. Which is smaller: c or -2?
-2
Suppose 0 = -2*a - 3*b + 31, -9 = -2*a + 3*b + 40. Suppose -19*c + 23*c = a. Suppose -d + 4 - 2 = 0. Which is bigger: d or c?
c
Let l be 1938 + (-7 - -11)/4. Which is greater: 1938 or l?
l
Let t be (-6)/(4 - 3) - (-51 - -18). Is t < -9?
False
Suppose o + 102 - 35 = 0. Is -66 at least o?
True
Suppose -2*t - 3*t = 0. Suppose t = -2*x - w + 11, 11 = -x + w + 4*w. Let b = x + 0. Is 4 at least b?
True
Let j be ((-4)/(-20))/((-4)/5). Which is smaller: 22 or j?
j
Let a be (-1 + -2)*(-2 + 6288/3141). Which is smaller: -1 or a?
-1
Let x = 15 + 2. Let q = -1.6 + -9.4. Let z = x + q. Which is bigger: -1 or z?
z
Let d = 82 - 78. Let f(l) = -10*l. Let u be f(-1). Which is smaller: u or d?
d
