 be (-2)/(-3) - (-32)/(-12). Let s be -1 - (2 - 5)/1. Suppose 3 + 3 = s*k, -2*n + k - 9 = 0. Which is bigger: n or y?
y
Let l = -606 + 650. Which is bigger: 0 or l?
l
Let c = 504 + -465. Let j = -23 - -63. Is j less than or equal to c?
False
Let a(p) = p**3 + 8*p**2 - p - 7. Let y be a(-8). Let l = 279646802/463027719 + -2/537779. Let n = l + -4/123. Which is greater: y or n?
y
Suppose -6*u + 8*h - 20 = 4*h, u + 25 = 5*h. Is 63/61 at most u?
False
Let d = 46774949/1106 - 42292. Let r = d + -30923/16590. Let q = r - -11/5. Is -9 not equal to q?
True
Suppose -71 = 6*u + 259. Let q be u/(-6) + -7 + (-3)/1. Is q bigger than -2?
True
Let y = -564 - -558. Is y smaller than 3?
True
Let h = 223 - 247.6. Let z = -24 - h. Which is smaller: z or 0.3?
0.3
Let j = -62 - -62. Let h = -30381/476 + 640/17. Let n = -107/4 - h. Which is smaller: j or n?
n
Let y = 8.96105 + 0.03895. Let b = 0 - 0.4. Is b at most y?
True
Suppose 0 = p + 4*p + 80. Let d = p + 1. Let b = -56 - -41. Are b and d equal?
True
Suppose 0 = -4*p + 21*p - 2244. Is p != -5?
True
Suppose 3*l + 7 = 5*p - 5, -p + 8 = 5*l. Suppose -5*s = -p*i - 31, -4*s - 5*i = s - 15. Suppose 4*b = s*g + 14 - 3, -2*g + b = 2. Which is bigger: 8/13 or g?
g
Let l(z) = -9*z**3 + 2*z**2 + 2*z. Let k be l(-1). Suppose r = -2*f + k, 0 = 5*f - 0*f - 20. Which is bigger: r or -9?
r
Let j = 0.7878 - -98.2822. Let v = 99 - j. Let q = 1/121 - 247/605. Which is smaller: q or v?
q
Let n = 12.0587 - 0.0587. Which is greater: 1/4 or n?
n
Suppose 274*p - 8922 = 280*p. Is p greater than or equal to -1487?
True
Let a be ((-6)/(-1))/(2/(-60)). Let i be (-2)/(-5) + a/(-50). Let t be ((-2)/i)/((-1)/10). Are t and 4 equal?
False
Let t = 31.83 + -13.17. Let d = t - 19. Let g = -0.66 + d. Is -3 > g?
False
Let g = -1350 + 1350.1. Let f be (-6)/(-4)*(-4)/(-147). Is g equal to f?
False
Let w = 15.2 + -15.1. Which is bigger: w or 39?
39
Let r be (6/(-12))/((-1)/40). Let x be 2 + (4/r - 3). Which is greater: -2 or x?
x
Let a be (6/(-6))/(2/(-478)). Which is greater: 238 or a?
a
Let o be 5/2 + 9/(-18). Suppose -h = -o*h + 9. Are 8 and h unequal?
True
Let i(y) = -y**3 + y**2 + 8*y + 4. Let x be i(-3). Which is smaller: x or 20?
x
Let p be (-12)/21 - 148/(-14). Let x be ((-24)/15)/(4/p). Let v be ((-2)/x*-2)/1. Which is bigger: -4/3 or v?
v
Let b = 0.35 + 0.15. Let q = b + 0. Let o = 0.5 - q. Is o at most 1?
True
Suppose -22 = 4*j - 174. Let w(y) = 40*y - 161. Let c be w(5). Let i = c - j. Which is smaller: i or 0?
0
Suppose 9*o - 5*o = 20. Suppose 28 = 4*d - 4*a, 4*d - o*a = -0*d + 32. Which is bigger: 13/6 or d?
d
Let a(r) = 3*r - 29. Let u be a(9). Let p be (u - (-64)/24)*(-3)/71. Which is bigger: p or 0?
0
Let l = 547 + -547.08. Which is smaller: l or 90?
l
Let b(o) = 2*o**2 - o - 8. Let i be b(3). Suppose -i*t + 5 = -16. Do t and 1 have the same value?
False
Let i = -87 - -82. Which is bigger: 2/5 or i?
2/5
Let y = 20.9 - 21. Let n = y + 0.1. Let m = -5/9 - -1/18. Which is smaller: m or n?
m
Let w(v) = -5*v + 2. Let l be w(2). Let q = -12401/1623 + -14/541. Which is greater: q or l?
q
Suppose -4*o + o = -3*n - 108, 2*n = 4*o - 74. Let c = -21 - n. Let l be (13 + -9)*(-14)/(-4). Is c < l?
False
Let q = 0.8 + -0.6. Are q and 92 nonequal?
True
Suppose 0 = -3*h + 7*h - 28. Let w = 1 - h. Let y be (-10)/w*24/(-32). Which is smaller: -2 or y?
-2
Let f(b) = b - 1. Let k be f(1). Suppose c = -k*c - 3. Let j = -1837 + 1836. Is c smaller than j?
True
Let g = -316 + 315.869. Let d = 0.121 + g. Is d <= 0?
True
Let o = 4 - 3.89. Let n = o - 0.11. Let v = n - -0.03. Which is bigger: v or 2/3?
2/3
Suppose -5*j = -3*s - 4, -2*s - 6 = -s - 4*j. Suppose -c - s = 2*t, -2*t - c = c + 6. Let p = -603 - -23515/39. Do t and p have the same value?
False
Let v(q) = 25*q + 4. Let j be v(4). Let o be j/(-306) + 4/18. Let d = 7 + -6. Which is smaller: o or d?
o
Suppose -4*z + 14 = -0*z - 2*n, 3*z = 3*n + 15. Let g = 1982/9 - 220. Which is smaller: z or g?
g
Let d be (-13 - -1)/(-3) - 1. Suppose -5*s = m - 12, s = d*m + m + 15. Let u be ((-1)/(-2)*0)/s. Is -2/15 less than or equal to u?
True
Let f = -2482/63 + 275/7. Suppose -z + v - 1 = 0, -4*z - 4*v = -3 + 31. Let i = z + 3. Do f and i have different values?
True
Let s be 2379/2730 + (-6)/20. Let y be 2/(-3)*(-1)/2. Which is bigger: y or s?
s
Suppose 4 - 9 = -5*v. Let l = -61 + 86. Let t be (-2 - l/(-12))*3. Which is greater: v or t?
v
Let j(d) = -d**3 + 5*d**2 + 5*d + 15. Let x be j(7). Let z = -29 - x. Which is smaller: 18 or z?
18
Let y = -17 + 17. Let k = y + -0.7. Is 2 greater than or equal to k?
True
Suppose -8*f - 64 = 8. Let z be f/(-2)*-1 + 4. Is z equal to 0.3?
False
Suppose 2*u - 20 = -4*w, -3*u + 3*w + 9 = 2*w. Let v be ((-2)/(-12))/(2/u). Are v and 0.4 unequal?
True
Let v be 3/27 + 140/(-126). Is -2/65 greater than v?
True
Let a = -7 + -5. Let l be (a/(-13))/6 - 349/(-13). Which is smaller: l or 25?
25
Suppose -4*q - 17 + 45 = 0. Let x(d) = -d**3 + d + 8. Let r be x(0). Let j = r - q. Which is greater: j or -6?
j
Suppose -3*f + 53 = 4*z + 2*f, 4*f = 5*z - 15. Let w be (z/6)/7*6. Let b(m) = m - 1. Let y be b(w). Is y greater than -1/3?
True
Let y be (-5*(-3)/45)/(6/126). Which is bigger: 16 or y?
16
Let h be ((-51)/85*5)/(1/(-150)). Is 449 greater than or equal to h?
False
Let n be (-1 - -3) + 1 + -3. Let t be (6/(-4))/((-3)/18). Let x = t - n. Which is smaller: 10 or x?
x
Suppose -27*d = -158 + 23. Which is greater: d or 119/22?
119/22
Suppose 3*v + 22 = -i + 2*i, -i - 5*v + 14 = 0. Is i >= 18?
True
Suppose -5*b + 74 = -3*l, 61 = 2*b - 5*l + 20. Suppose 5*f = 28 - 8, -b = 5*m + 3*f. Let c be (-9)/54 - m/18. Is c >= 1?
False
Let t = 1586/7 + -226. Suppose 16 = 6*m - 2. Suppose -m*j = 4*j. Is t < j?
False
Let i = -32.4 - -33.4. Let g = 17.09 - 17. Which is smaller: i or g?
g
Suppose k + 3*k = 8. Let n be (592/(-126))/k + (-28)/126. Is n != -4?
True
Let k = -0.1173 + -61.7827. Let p = 62 + k. Suppose 5*a - 2*l + 0*l - 12 = 0, 2*a - 3*l + 4 = 0. Which is smaller: p or a?
p
Let k be (-12)/(-18)*(-9)/(-2). Suppose 6*s = 8*s + 58. Let c = -33 - s. Is k smaller than c?
False
Let u = -86.7 + 86.674. Which is bigger: 0 or u?
0
Let g be ((-3)/(-31))/(((-297)/(-88))/9). Let w = -10 + 9. Which is bigger: g or w?
g
Let g(r) be the first derivative of r**4/4 + 5*r**3/3 - 7*r**2/2 - 3*r - 2. Let x be g(-6). Suppose -3*j = 5*y - 10*y + 25, -x*j - 13 = y. Does 3 = y?
False
Let c = -1938 - -1937. Is c at most 1.221?
True
Suppose 2*h - 2*t + 6*t - 104 = 0, 233 = 4*h + 3*t. Let d = h - 36. Which is smaller: 27 or d?
d
Let i = 0.7 - -15.5. Let l = i - 17. Is 2 < l?
False
Let j = 515 - 518. Which is bigger: j or 0.028?
0.028
Let s be ((-4)/(-4)*0)/(-1 + 5). Suppose s = -3*t - 1 + 4. Which is greater: -2 or t?
t
Let z = -39.4 + 24. Let a = 16 + z. Let l be 9/(-27) + 11/15. Which is smaller: l or a?
l
Let a(c) = 6*c - 263. Let k be a(44). Which is smaller: 10/163 or k?
10/163
Suppose 11*h - 227 = -29. Suppose h = -30*v + 21*v. Which is greater: -3.6 or v?
v
Let i = 18 + -24.8. Let r = -0.8 - -1. Let b = i - r. Which is greater: -1 or b?
-1
Let g be 2/3 - 4/(-3). Let i be (-4)/g - -5 - 0. Suppose -v + i*o + 4 = 8*o, 5*v + 5*o = 0. Is -2 greater than v?
False
Suppose -s - 52 = 3*s. Suppose 0 = -7*z - z - 88. Which is smaller: z or s?
s
Suppose 2 = 5*y + 7. Suppose 2*h - 86 = -g, -5*g + 155 = -2*h - 239. Let z = g - 83. Which is greater: z or y?
y
Suppose -4*t - 67 = 3*y, -58 = 3*t + 3*y - 4. Let h = 18 + t. Suppose h*z + 8 = 2*r - 15, 5*z + 27 = 3*r. Is -2 bigger than z?
True
Let c = -11 - -7. Let n be 4 - (-3 - (-2 + -1)). Suppose 5*r - 22 = -4*l, r + 9 = n*l - 1. Is c at most as big as r?
True
Suppose -19*g + 3372 + 1796 = 0. Which is bigger: 270 or g?
g
Let h be (6 - 7)*4810/(-10). Is h smaller than 482?
True
Let x be 82/4*(-4 + 6). Let a = 37 - x. Is -6 < a?
True
Let r = -165/628 + 2/157. Which is smaller: -2/13 or r?
r
Let z = 207 + -281. Does z = 2?
False
Let g(k) = -8*k + 109. Let b be g(15). Are b and 8 nonequal?
True
Let m = -0.034 + 0.134. Let p = 20.71 + -21. Which is smaller: m or p?
p
Let f(y) = -y - 1. Let n be f(3). Let d = -12668 - -12666. Which is smaller: d or n?
n
Let h(n) = 2*n**3 - 7*n**2 - 3*n - 3. Let j be h(4). Which is smaller: 7/66 or j?
7/66
Let d be 87/116*(-151 + -1). Which is smaller: 0.1 or 