smaller: 71/37 or a?
71/37
Suppose -3*c = -5*p - 6092, -2*c - 3*p = -4131 + 95. Is c greater than or equal to 2024?
True
Suppose r = -4*c - 178 - 2183, -5*r - 4*c - 11709 = 0. Is r != -2338?
True
Let t = 17 - 155. Suppose 8*f + 968 + 144 = 0. Which is smaller: f or t?
f
Let p = -1793 - -1819. Is -1 less than p?
True
Let g(v) = 2*v**3 + 33*v**2 - 54*v + 8. Let n be g(-18). Suppose -a + 3*s = n*s, -a - 12 = -s. Is a != -13?
True
Let f = 2877 + -13472992/4683. Is 0 at most f?
False
Let u be (13 + 2)*(-16377)/51912. Is u at least 0.1?
False
Let b = -160729/111 + 1448. Let s = 547/888 - b. Let w be 0*2/6 + 1. Which is smaller: s or w?
s
Let f be 1/((-116331)/1977695) - -17. Is f smaller than 1?
True
Let s(x) = 2*x**3 - 30*x**2 - 69*x + 18. Let z be s(17). Which is smaller: z or 14/13?
z
Let f(b) = 156*b + 1091. Let i be f(-7). Do i and 3/3160 have the same value?
False
Let p = 0.19 + 27.81. Let v = p - 29.3. Let g be 7/3 + -3 - 0. Which is greater: g or v?
g
Suppose -5*m + 393 = 4*d, m + 3*d + 23 - 106 = 0. Let b be ((-72)/10)/(m/55). Suppose -7*l - 25 = -2*l - 3*h, l = 4*h - 5. Which is bigger: l or b?
l
Let q(p) = 2*p**3 - 2*p**2 - p - 2. Let h be q(2). Suppose -2*a = 2, -2*n + 26 - 21 = a. Suppose -n*d - h*d = -77. Is 12 greater than or equal to d?
True
Suppose -15120 = f + 15*f. Let o = -10403/11 - f. Is o at most as big as 0?
True
Let r(j) = 2*j - 12. Let k be r(0). Let p = 1/6266 + -36030/3133. Which is greater: p or k?
p
Suppose 5136 + 5963 = 29*v + 2341. Is 289 bigger than v?
False
Let p = -0.032 - -0.17. Let z = p + -0.232. Are z and 0 equal?
False
Let v be (6/14)/((-2109)/(-777)). Suppose -5*o = -5*c - 20, 2 = -o - 4*c - 9. Are v and o nonequal?
True
Let z be (-9 + (-594)/(-90))*(-10)/(-6). Let f(j) = j + 3. Let w be f(6). Suppose -2*c = -2*r, w = 5*r - 3*r - 5*c. Which is smaller: r or z?
z
Let t = 6238 - 6232. Which is greater: t or 81?
81
Let p = 4569 - 4568.853. Let d(c) = -c**2 + 1. Let v be d(0). Is v != p?
True
Suppose -5*l + 4*u = 270 + 700, -2*l + 4*u - 400 = 0. Let a be (-18)/(-12)*l/15. Let c be (-4)/(-18) - (-656)/(-36). Which is bigger: c or a?
c
Suppose 1737*d = 1734*d. Are 14/2153 and d unequal?
True
Let y be (-2 - -10)/(-32) - (-221)/932. Let d = -415/3961 + y. Which is smaller: d or 32?
d
Let z(p) = -5*p**3 - 2*p**3 - 10 - 8*p**2 - 11*p + 6*p**3. Let l be z(-4). Which is bigger: l or -28?
-28
Let y = -8627/2 + 4314. Which is greater: y or 0.1037?
y
Let i = 0.87 - 0.97. Which is smaller: i or 2.05?
i
Let v = 309 + -309. Let i = 3626 + -1236467/341. Which is smaller: i or v?
i
Let u be (-8 - -9)*5*-5. Let z = u - -11. Let g = 28379 + -28394. Does g = z?
False
Let a be -3*(-2)/9*18/20. Which is smaller: 15 or a?
a
Let t = 266/12263 + 68492078/6070185. Let x = t + -113/10. Which is smaller: x or 1?
x
Let f = 7 + -6.7. Let v be 11 - 14 - (-1908)/(-11). Let b = -177 - v. Is b not equal to f?
True
Let k = -73.69 - -74. Let c = 5.09 + k. Let y = c - 5.3. Which is smaller: 27 or y?
y
Let n be (-2 - (12 + -5)) + 8. Suppose -3*k + 172 + 332 = 0. Let z be (-45)/k + (-2)/(-8). Which is bigger: n or z?
z
Let f = 8803 + -8804. Let t be (-290)/(-342) + 4/(-6). Let q = -9/38 + t. Is f smaller than q?
True
Let s = 819.2 + -819.3. Which is smaller: s or 4324?
s
Let v(q) = q**3 - 3*q**2 + 2*q + 5. Let m = -217 + 220. Let n be v(m). Is 78/7 greater than or equal to n?
True
Let l be 453/(-43112) + (5 - (-174)/(-34)). Let h = 1/317 + l. Is 1 less than h?
False
Let n be (40634/(-54200) + 27/36)*(-3 - -5). Which is smaller: 0 or n?
0
Let s = 1.2 - 0.2. Let x = 14.8 - 14.76. Which is smaller: x or s?
x
Let a = -121 + 126. Suppose -3 = -4*p + 5, a*z = -4*p + 18. Suppose -2*f = -5*d + 12 - 20, 4 = z*f - 3*d. Is 1/74 <= f?
False
Suppose 3*y = -41 + 224. Suppose -5*h = 10, -a - 5*h = -4*h + 64. Let u = y + a. Is u <= -2/43?
True
Let r be 16/6*(-75)/(-50). Suppose 22 - 1 = -r*a - 3*j, 0 = -4*a + 4*j. Let p be 0*(-1)/a + (0 - 4). Is p at least -10?
True
Let s = 32112.5 + -32112. Let c = -22938/37 - -620. Are s and c equal?
False
Suppose a + 7 = v + 3*v, -2*a - 3*v + 41 = 0. Suppose -4 = -n - 5*p, -a*n + 8*n = 3*p + 46. Is n at least as big as -9?
False
Let c = -200 + 204. Suppose -7*g + 25 = 3*t - 2*g, -g - c = 0. Do t and 13 have the same value?
False
Let m be 3 - -5*(-14)/(-35). Let v be 10/1*(-14 - -24). Let r be m*15/v + 98/(-88). Is r greater than -3?
True
Suppose 22*q - 18*q = -3*l - 57, 5*l = 25. Let g be 24/(-1576)*12/q. Which is smaller: g or 0.03?
g
Suppose -2*h + 235 - 1 = 0. Let f = -147 + h. Let o(j) = -j**2 - 7*j - 12. Let p be o(-9). Is p bigger than f?
False
Let h be (-559)/(-559) + 1 + 988/34. Which is greater: 31 or h?
h
Let o = -227 - 137. Let y = o + 542. Is 177 equal to y?
False
Suppose -21*f = 26*f - 0*f - 49867. Which is greater: f or 2?
f
Let r = 33742 + -33749. Let j = 5 + -14/3. Are r and j unequal?
True
Let s = 43 - 87. Let g(c) = -c**3 - 8*c**2 - 4*c - 11. Let t be g(-8). Suppose p = -2*o - 110 + t, -5*p - 230 = 5*o. Which is greater: s or o?
o
Let u = -8203 - -8992. Is u >= 791?
False
Let r be 3036136/(-224) - (-12)/(-21). Let v = 13460 + r. Let b = -96 - v. Which is smaller: b or 0?
b
Suppose -q + 2*q = -5*x - 34, -x - 6 = q. Do -2/565 and q have the same value?
False
Let z = -930 + 930. Let r be (-590)/(-25) - 6/(-15). Let b be (2/(-14))/(r/28). Are b and z non-equal?
True
Let c be (-477)/(-1)*(-232)/(-1044). Is 108 smaller than c?
False
Let f = -220 + 301. Suppose 79*p - f*p - 22 = 0. Are p and -10 non-equal?
True
Let v = 0 + 3/7. Let b = 138 - 92. Let n = b + -46. Is n not equal to v?
True
Let i = -342 - -346. Suppose 760 = i*v + 2*z, -20*z + 24*z = -3*v + 580. Do v and 186 have the same value?
False
Let b = -3.5 + 3.6. Let u = 0.023 - -14.477. Let m = -71.5 - u. Is m equal to b?
False
Let u be ((2 - 1)/(-1))/(877/877). Let f = -0.071 + 0.541. Is f not equal to u?
True
Let t be ((-14)/35)/((8/(-5))/4). Do t and 1/22000 have different values?
True
Suppose -4*f + 242 = -c, -c + 185 = -2*f + 5*f. Suppose k = 2 - f. Let o = 77 + k. Is o smaller than 16?
False
Suppose 253*m + 362 = 109. Are -2/35341 and m unequal?
True
Let j = -650185/203 + 3203. Do 0 and j have the same value?
False
Let x(l) = l**2 + 10*l - 1. Let u(m) = 3*m**2 + 8*m - 1. Let i(p) = 6*u(p) - 5*x(p). Let b be i(2). Which is greater: 0 or b?
b
Suppose 5*q = d + 37, -7*d + 2*d + 11 = 3*q. Suppose -4*s + q = -9, -2*c - s = -32. Let y = c - 45. Which is bigger: -30 or y?
-30
Let y = -4674 + 4301. Which is greater: y or -372?
-372
Let n = 5.839 + -5.8. Let r = n + 72.961. Which is smaller: r or -1?
-1
Let t = -0.392 - 196.608. Let s = t + 190. Let u = 5.4 - 0.4. Which is smaller: s or u?
s
Let g = 312 - 218. Let f = -83 + g. Let c = -35 + f. Which is greater: c or 1?
1
Let g be (-5010)/3976 + 22/((-880)/(-50)). Which is smaller: 0 or g?
g
Let f be 4 + -2 + (-6)/4. Let i be (-35394)/(-4)*((-15148)/7567 - -2). Let t = i - -378/23. Which is smaller: f or t?
t
Suppose -336 = -104*a + 76*a. Suppose -c + 18 = 18. Is c not equal to a?
True
Let k be 23/((-207)/(-54)) + (3 - 0). Suppose -l - 10 = k*l. Which is bigger: -1/451 or l?
-1/451
Let x be (-6)/(-10) - 2/(-2). Let z = -28 + 108. Let c be (-2 - 0) + z/35. Is x at most c?
False
Let a(p) = 6 + 0 + 2 + 0 + 2*p. Let d be a(-4). Let h = 624 - 19342/31. Is h != d?
True
Let p be (3/(-9))/((-6)/(-774)). Which is greater: -542/13 or p?
-542/13
Let a(t) = -2*t - 48 - 3*t + 6*t + 79. Let g be a(0). Suppose 30*o - 3 = g*o. Which is bigger: o or -22/5?
o
Let l be (2 - 4/(48/30)) + (-3609)/18. Which is bigger: l or -183?
-183
Let f be (-10)/(1232/98 + -13 - 151/(-385)). Do f and 3 have different values?
True
Let d be 26/28 - (-173 + 174). Is d bigger than 5/7?
False
Let s(m) = -4*m**3 - 10*m**2 + 15*m + 72. Let d be s(-2). Suppose -5*r + 3*i + 141 = 0, 2*i + 22 = -3*r + 118. Which is greater: r or d?
d
Let k be 2/10*-2 + 846/90. Let g be (-6)/(-4) + 7/(-2). Let z = k + g. Is 6 > z?
False
Let q = -11 + 20. Let x(h) = h**3 - 9*h**2 + h - 4. Let j be x(q). Suppose -j*g - 100 = 240. Which is smaller: -67 or g?
g
Let s(u) = 3*u + 39. Let f be s(16). Let g = -261 + -42. Let x = -216 - g. Is f <= x?
True
Let f be -5*(-163 + (-6)/6) + 11. Which is smaller: f or 824?
824
Let t(v) = -10*v - 140. Let c be t(-14). Suppose 7*b - 14 = d + 