 - 5*x + 2. Let v be l(-4). Suppose 9*a = 6*a - 2*r + 188, -4*a - 5*r + 253 = 0. Suppose 0 = -4*u - a + v. Is 0.1 < u?
False
Let r = -7.38 - -6.38. Is r greater than or equal to 0.24?
False
Let s(n) = -n**3 - 6*n**2 + 9*n - 1. Let x be s(-7). Let u be x/20 - 26/(-56). Let a(p) = -p**3 + 24*p**2 - 21*p - 46. Let g be a(23). Is u <= g?
True
Let f(d) = -2*d**2 - 25*d + 16. Let i be f(-13). Suppose 48 - 51 = -i*w. Let l = w - 20. Is -18 bigger than l?
True
Let o be (35/(-5))/(-1) + -11. Let c be (78/208)/((-3)/o). Is -26/9 bigger than c?
False
Let y be 22/(-4)*6/(-225)*-15. Is -0.163 at most y?
False
Let m = 3.764 - 19.764. Which is smaller: m or 1.4?
m
Suppose 458216 = 54*m - 741232. Is 1 > m?
False
Let y = -5 + 7. Suppose -2*i - 4*f = -18, 25*f - 6 = -5*i + 28*f. Suppose -i*w - y*k = -k - 27, -3*w = -k - 33. Is 10 greater than w?
False
Let v(r) = -11 + r - 18 - 4 - 40*r - 55. Let c be v(-5). Which is bigger: -1/3 or c?
c
Let l be (-68)/646 + (-4133)/(-95). Let c be 3/(2 + 4) + 783/18. Which is greater: l or c?
c
Suppose -4*v - 6 = 5*f - 2, -3*f = 0. Let x be 5/20*v/(-1). Which is greater: 0 or x?
x
Let f be (154/4 - -8)*-12. Let j = f + 559. Is j bigger than -2/81?
True
Let l = -262.6 - 7.4. Let d = 214 + l. Which is smaller: d or 2/7?
d
Let b = 2078 - 2090. Is b >= 16/5?
False
Let a be (6/(-9))/(((-80)/3)/8). Is -23 greater than a?
False
Suppose -26*l + 324918 + 90753 = 90411. Are l and 12510 nonequal?
False
Suppose -4*t - 5 = s, -t = -6*t + 5*s. Let m be (-52)/65 + t/5. Let n be m/8*-2 - 343/28. Which is smaller: n or -13?
-13
Suppose -2*a = 25*j - 24*j + 2, -j - 3*a = 0. Let l be 15/(-5)*(j + 25). Do l and -57 have the same value?
True
Let z = 234 - 155. Suppose -z = 6*s - 49. Are 2 and s equal?
False
Suppose 5*h + m = -14085, 2627 = -h + 3*m - 190. Is h equal to -2817?
True
Let a = 7/49535 - 328763851/396280. Let i = a - -827. Suppose -481*s = -475*s + 18. Which is greater: s or i?
i
Let h = 9 + -7. Suppose -3*b - 24 = 3*f, -h*b = b. Let c = 483 + -492. Does f = c?
False
Suppose -2*n - 5*x - 18 - 58 = 0, -3*n - 7*x - 116 = 0. Is -479/10 at least as big as n?
True
Let l = -2564 + 2870. Which is smaller: l or -0.11?
-0.11
Let f = -24/203 - -2/87. Suppose -33*g - 40 = -13*g. Is f > g?
True
Let l = -200 + 684. Let b be (-2002)/l + (-5)/(-2). Which is greater: -3 or b?
b
Suppose 10*u - 2640 = 5*u. Let p be ((-8)/(-48))/(3/u). Let g = p - 29. Are 0.009 and g unequal?
True
Let b = 24744 + -24747. Which is smaller: b or -40?
-40
Suppose -4*y + 8 = -12. Let g(q) = 17*q**2 + 102*q. Let h be g(-6). Suppose h*d - 3*d + 21 = -y*z, 0 = 2*d - 4*z - 14. Is 5 at most as big as d?
True
Suppose 5*b + 2 = -3. Let d = 23920/11 - 2176. Is b > d?
True
Let m(o) = -23*o**2 - 68*o + 7. Let b be m(-3). Let n = 3 + -2. Which is smaller: b or n?
n
Let q be ((-15)/30)/((-3)/906). Let f = q - 753/5. Are 0.97 and f non-equal?
True
Let q = 42157/6894 + -3/766. Are q and 6 unequal?
True
Let k(x) = -x**3 - 4*x**2 + 2*x + 1. Let p be k(-5). Let m = p - -7. Suppose r = 5*c - m, 0*r = 5*r - c + 67. Are -12 and r equal?
False
Let x be (3/2666)/((-9)/(-12)). Let f = -5130297797 - -47870808699804/9331. Let h = f + x. Which is smaller: -5 or h?
-5
Suppose 13*i + 157 = -k, k - 6*k + 19 = -2*i. Let r be 6/5355*(9 + 0). Is k <= r?
True
Let b = -18/37 - -5714/185. Suppose -3*f - 16*z = -21*z - 118, -5*f - z = -150. Which is greater: f or b?
f
Suppose 7309*m + 980 = 7304*m. Is -181 greater than m?
True
Suppose 3*b + 5*n + 321 = 0, b + 2*n = 44 - 152. Let m = b + 1331/13. Let w = -7 - -8. Is m greater than w?
False
Let b be (-2 - 957/(-12))/((-15)/120). Let i = b + 661. Is i less than 44?
True
Let a(i) = 5*i - 2 + 1 + 0. Let p be (18 - 17)/(1 + 0). Let s be a(p). Which is smaller: 0 or s?
0
Let l = 404 - 406. Let t be (l/(-18))/((-1)/40*5). Suppose -3 = c + 2*c. Which is greater: c or t?
t
Let s = -0.925 + -0.075. Let r = -29.69 - -2.89. Let l = 3.2 - r. Is l >= s?
True
Let z(j) = -j**3 + 35*j + 25*j + 130*j**2 - 158*j**2 + 35. Let g be z(-30). Is g >= 35?
True
Let g = 7 - 11. Let v = 440 - 477. Which is bigger: g or v?
g
Suppose 2*b - 3*r - 74 = 0, 65*r - 128 = -3*b + 61*r. Let m be ((-8)/140)/(1/(-5)). Which is greater: m or b?
b
Let c be (-1)/(8/(2832/(-90)))*(47 + 1). Is 189 bigger than c?
True
Let a be (-105)/2*250/75. Let m = 90 + a. Which is bigger: -86 or m?
m
Let o(t) = t**2 - 210*t + 5333. Let k be o(157). Do -2986 and k have the same value?
False
Let k = 0.059 + 214.941. Let i = k + -215. Are -0.09 and i unequal?
True
Let w = 18376958935 - 12661713644322/689. Let g = -16055 + w. Which is smaller: g or 1?
g
Let c be 187/4 - (375/100)/(-3). Do c and 48 have the same value?
True
Let v = 62 - 29. Let y be 2*(-2)/8 - ((-990)/308)/15. Do v and y have the same value?
False
Let m = -20680 + 20675. Which is greater: 2.88 or m?
2.88
Let w be (-1)/(1 + 4 + (-18)/36). Which is smaller: -2/89 or w?
w
Let f(r) = r**3 - 21*r**2 - 84*r + 288. Let o be f(24). Is o greater than -6/16763?
True
Let m be 9 + -3 + -4 + 2/1. Suppose m*p - 11 + 3 = 4*n, -2*n = -4. Suppose 5*z = -p*d - 61, -5*z - d - 2*d = 62. Is z < -12?
True
Let d = 2520 + -2599. Let b = 152 - 232. Is d greater than or equal to b?
True
Suppose -47*a + 342*a = -1368794 - 1017166. Which is greater: -8087 or a?
-8087
Let k = 286 + -765. Let j = k + 479.02. Which is greater: j or -23?
j
Suppose -3*x + 2*g + 5 - 9 = 0, -2*g = 3*x - 16. Suppose 3*u + 3 = 3*l, 3*u - 1 = 2*l - x. Is u greater than or equal to -3/169?
True
Suppose 4 = -u - 0*z - 5*z, -2*u = 3*z + 36. Let l = -31 - -3. Let c = u - l. Which is smaller: 3 or c?
3
Suppose -n - i - 2 = 0, 2*i + 14 = 4*n + 4. Let u = 179356/7613 - 542/23. Is u >= n?
False
Let w = -0.73 + -64.27. Let z = w + 65.033. Let i = z - 0.833. Which is greater: 0.3 or i?
0.3
Suppose 8*h - 3*h - 100 = 0. Let g be (h/(-39))/(12/18). Suppose -5*t - 2*a - 13 = 0, 3*a + 2*a = -2*t - 22. Which is bigger: t or g?
g
Let b = 38168/5 - 7634. Which is bigger: 49 or b?
49
Let a = -39/10 + 524/135. Suppose 4 = 5*t - 1. Let j be 5 + -3 - (t + 1). Which is bigger: a or j?
j
Suppose 11*w + 909 = 3120. Let h = w + -203. Which is smaller: h or 8/3?
h
Let d(b) = b**3 - b**2 + 13. Let z be d(0). Let m(c) = c + 41. Let x be m(-24). Which is smaller: x or z?
z
Suppose 3*a - 4*a = 15. Let g = -1623 + 11258/7. Let n = a - g. Are n and -13 unequal?
True
Let i be (2 + (-526)/284)/(45/12). Which is bigger: 0 or i?
i
Let j = -85/312825898 - 450794475458221/672575680700. Let a = j - -2681/4. Which is bigger: a or -1?
a
Let a(g) = g**3 + 4*g**2 + 5*g + 7. Let n be a(-3). Let u be (n/11)/((-2)/(-4)). Let w be 0 + ((-6)/(-15))/(6/10). Is w bigger than u?
True
Let o = 14735/3 + -63851/12. Is o <= -410?
False
Suppose -358*y + 125*y - 1165 = 0. Which is bigger: y or 376?
376
Let b = -10.13 + 27.49. Let i = b - 17.3. Which is greater: 11 or i?
11
Suppose 0 = 3*v - 0*v + 3. Let i be ((-62)/v)/(2/(-1)). Let n(h) = 5*h**2 - 65*h + 29. Let x be n(12). Is x not equal to i?
False
Let g = -18688 - -803587/43. Suppose -5*j = 1 + 4. Is j bigger than g?
False
Suppose -2*r - 401 = -6*r + 3*s, -r - 2*s = -92. Suppose 7*n + r = -126. Which is smaller: -34 or n?
-34
Suppose 5*d - 4*o + 95 = 0, -d - 16*o = -12*o - 5. Let c be (6/d)/(((-8)/20)/1). Let u be -1 - (1 + 138/(-68)). Which is smaller: u or c?
u
Let c = 4908187/3443 + 253/313. Which is bigger: 1425 or c?
c
Let r = -27.6 - -53. Let x = 25.4 - r. Which is smaller: 124 or x?
x
Let u be ((-8)/(-6))/((-2)/66). Let t = -201 - -162. Let h = t - u. Which is greater: h or 1/3?
h
Let v be -11 + (-13225)/350 + 19. Which is smaller: v or -29?
v
Suppose -18 + 3 = -3*g, -5*b + 20 = -3*g. Suppose 9*f = b + 20. Suppose 4*t = -u - 28, -f = -4*u - 3*t - 154. Is -41 greater than u?
False
Suppose 0 = -95*p + 100*p + 695. Let u = -151 - p. Which is greater: -71/6 or u?
-71/6
Let j = -0.389 + -0.046. Let s = 2.055 - j. Which is bigger: 1 or s?
s
Let h be 32/2 + 961/(-71). Is 3 >= h?
True
Let d = 63 - 64. Let p be (204/(-34))/((-1 - -4) + d). Let j be 30/(-8)*1*p/15. Is j >= -9?
True
Let j = -0.1 - -0.1. Let u = j + 0. Let g = -20.9187 + 50.9187. Is g bigger than u?
True
Let p(d) = 16*d**3 - 5*d**2 - d - 4. Let m be p(-3). Let n = m - -8135/17. Which is greater: 0 or n?
n
Let x be (-154)/(-44)*(3 + (1 - 12)). Suppose