ose 3976 + 5047 = -500*g + 1023. Let r(y) = -y**2 - 9*y - 7. Let t be r(-10). Is g smaller than t?
False
Let c(s) = 3*s**2 + 2*s + 72. Let r(u) = u**3 - 31*u**2 - 32*u + 11. Let o be r(32). Let f be c(o). Which is bigger: f or 458?
458
Let q = 5392 - 5391.5. Is 0.0014 smaller than q?
True
Let k = 2.759 + -2.359. Which is smaller: k or -121?
-121
Let z be (13/(-849))/((-518)/(-444) - 5/6). Which is smaller: 0 or z?
z
Let k = -2467/782 - -54/17. Suppose 4 = 58*d - 62*d. Which is bigger: d or k?
k
Let d = -58528/2165 + -5339014/240315. Let q = d - -742/15. Which is bigger: q or 1?
1
Let i = 195 - 190. Suppose -p + 5*a + 25 = 0, -p - 5 = i*a + 10. Is 7 greater than or equal to p?
True
Let i = 188744/31 + -6088. Which is bigger: i or 0?
i
Let h(z) = 8*z**3 + 3*z**2 - 32*z - 15. Let p be h(11). Which is bigger: 10646 or p?
10646
Let k(d) = 4*d**2 - 211*d - 175. Let f be k(31). Is 2 < f?
False
Suppose -115 = -2*w - 3*l, -14*w = -15*w + 6*l + 65. Which is bigger: w or 38?
w
Let t = -1.256 + 1.37. Let u = -29.114 + t. Let r = -30 - u. Which is smaller: 70 or r?
r
Suppose -434*x + 32*x - 603504 = 106*x. Do -1193 and x have the same value?
False
Let m = -839 - -475. Let s = 329 + m. Which is smaller: -1/2 or s?
s
Let f(j) = j**3 - 5*j**2 + 4*j + 1. Suppose -4*g + 5*u = -g + 8, 3*u - 12 = 0. Let l be f(g). Let d be (27/(-33))/(-3) + 1743/84 + -21. Is d <= l?
True
Let v be 3 - (2535/285 + -6). Which is smaller: -20/13 or v?
-20/13
Let p(v) = 3*v**3 + 13*v - 14. Let k be p(1). Suppose t = -2*q - 3, 0 = 3*t - k*q - q. Which is smaller: t or -10/161?
t
Suppose -211 = 3*o + 161. Let p be 6/(-14) - o/28. Is 33/8 less than or equal to p?
False
Let w = -16/963 - 4271/32742. Let o = 1 - 2. Which is smaller: o or w?
o
Let p = 5724 - 578122/101. Do 1 and p have the same value?
False
Let y be (1917/18)/((-1)/(-6)). Let g be (-840)/y*2896/10. Let a = -1142/3 - g. Do 0 and a have the same value?
False
Let n(g) = 63*g**2 + 3 - 64*g**2 + 3*g - 1. Let j be n(5). Let h(i) = i**2 + 18*i + 32. Let u be h(-16). Which is greater: u or j?
u
Let b be -2 + (-3 + 3 - (-9 + 0)). Let v be (1 - b/14)*(-2)/4. Suppose 2*p - 4*s = 26, -4*p + s + 2 = 3*s. Which is greater: p or v?
p
Suppose 178 = 34*f + 8. Suppose -22 = 2*k + 2*g, -2*g - f = -k + g. Let x be (2 + -6)*3/4. Is k at most as big as x?
True
Let r = 0.14 - -0.1. Let v = 3347 + -3346.8589. Let d = v + -0.0411. Which is smaller: d or r?
d
Let w be (-9880)/(-80) - (-10)/4. Suppose -w - 446 = -13*p. Is 42 < p?
True
Let g = -866611/11 + 78727. Is g less than -57?
False
Let k = -5070 - -5171. Which is bigger: 896/9 or k?
k
Let a(j) = 14*j**2 + 4*j + 38. Let n be a(-11). Let g be (n/(-9))/(2/1). Let b = -94 - g. Is b equal to -73?
False
Suppose 0 = -18*t + 13*t. Let l = -9/71 + 438/1775. Is l greater than or equal to t?
True
Let s(z) be the third derivative of -z**5/60 - 5*z**4/12 - z**3 - 11*z**2. Let n be s(-8). Let k be (4/n)/((-8)/(-10)). Is k greater than or equal to -1.2?
True
Let a = 122.1 + -122. Let o = -4.92 - -7.62. Is a less than or equal to o?
True
Let k = -1634 + 908. Let n be k/(-30) - (-3 + 8). Is 20 >= n?
True
Let n = -3026 + 3123. Is n bigger than 6?
True
Let q(k) = -k**3 + 3*k**2 + 154*k - 743. Let h be q(5). Which is bigger: h or -2?
-2
Let w(a) = -2*a**3 + 62*a**2 - 64*a + 121. Let i be w(30). Do i and -3276 have the same value?
False
Let n = -0.9 - -21.9. Let k = 21.004 - n. Let z = k + -0.174. Is z < 0?
True
Let k = 1860 + -1928. Is k at least -0.05?
False
Let t be (9/6)/((-2)/(-4)). Which is smaller: t or -18/11?
-18/11
Let u = 0.25 - 0.29. Let p = 1.34 + -1.2. Let y = p + u. Is y != -10?
True
Let s be 92/598 + (146614/(-1690) - (-2)/(-5)). Which is bigger: s or 111?
111
Let p be ((-5)/(-10)*-8)/(-3*60/18). Is p less than 513?
True
Let n = -3/13691 + -13643/219056. Let y = 7 + -10. Which is bigger: n or y?
n
Suppose -4*v - 4892 - 5700 = 0. Is -2647 equal to v?
False
Let z = 12 + -6. Let t be (-148)/(-18) + (-3)/27*2. Let y be (2*6/48)/(2/t). Do z and y have the same value?
False
Suppose j = 5*h + 20, 6*j - 9*j + 3*h + 96 = 0. Suppose 4*s - 3*q - 258 + j = 0, 0 = -5*s - 2*q + 296. Which is greater: s or 59?
59
Let k(m) = 10*m - 53. Let s be k(6). Suppose -102 = s*f - 1313. Is f <= 173?
True
Let g be (-1)/22 - (0 + 0). Suppose -6*a - 70 + 232 = 0. Let t be (-9)/(a/12) - -3. Which is smaller: t or g?
t
Let k be (-6)/(-20)*(-1250)/(-12). Suppose -2201 = 933*x - 1004*x. Which is bigger: k or x?
k
Let a = 5 + 20. Let c = 27 - a. Let g = c - 2. Which is smaller: 1 or g?
g
Let t(q) = 30*q - 19. Let v be t(-9). Let b = 506 + v. Is b > 435/2?
False
Let p = -339263101/196120 + 13839/8. Are 0 and p unequal?
True
Let o = -28.65 - -28.458. Is -3 equal to o?
False
Suppose 31*x - 50 = 74. Let t be (-176)/(-80) + (24/x)/(-2). Which is greater: t or 6?
6
Let a = 21495 + -21494.9. Is a at most 8366?
True
Suppose -23*o + 4*o + 412452 = 0. Let h = o + -2670100/123. Is 1 != h?
True
Let v(j) = -j**3 - 21*j**2 - 12*j + 38. Let i be v(-21). Let k = i - 214. Are 77 and k unequal?
True
Let i = 30121 - 29253. Is i greater than 866?
True
Suppose 3*n - 3*x - 15 = 0, -n + 5*n = 5*x + 16. Let s be 1920/(-126) - 3 - -2. Let a = -46/7 - s. Which is smaller: n or a?
n
Let z = -168 - -2519/15. Let b = -8/75 - z. Which is smaller: b or 2/9?
b
Let s(h) = -20*h**3 - h**2 + 1. Let z be s(-2). Suppose -z*d = -147*d - 10. Is d bigger than 2/541?
True
Let w = -4.2 - -5. Let t = -130.9 + 11.7. Let u = t - -119. Which is bigger: w or u?
w
Let v = 2139 + -2636. Is v > -497?
False
Let v = -6.5271 - -1.5271. Which is smaller: v or -7/31?
v
Let d = 9 + -17.3. Let p = -4029 + 4037.3. Let q = p + d. Which is smaller: q or 6/7?
q
Let a(t) = 139*t + 1528. Let v be a(-11). Is v less than 5/137?
True
Let g(r) = -r**3 - 24*r**2 - 4*r - 84. Let q be g(-24). Let u be (-644)/42 - q/(-9). Which is smaller: u or -74/5?
-74/5
Let b(i) = -i**3 + 4*i**2 + 30*i - 7. Let f be b(-4). Which is smaller: 57/16 or f?
f
Let a be ((-7576)/(-947))/(-4 + -1 + 1). Which is smaller: -252/311 or a?
a
Let n be (2/(-4) - 0)/((-6)/(-5256)). Let u = -8329/19 - n. Let j = 167/114 - u. Are j and 1 non-equal?
True
Let y be (0 + 0)/(-1 - -2). Suppose y = -12*z + 3 + 21. Let s = 371/4 - 92. Which is smaller: z or s?
s
Let a = -0.142 - 74.858. Let z = 74.43 + a. Let r = -12.57 - z. Which is smaller: 3 or r?
r
Suppose h + 2*a - 52 = 3*a, 3*h = -5*a + 124. Let n be -150 + (-80)/h + (-4)/(-6). Do n and -152 have the same value?
False
Let p = -1089 + 1030. Which is smaller: p or -12?
p
Let b = 5378 - 5379. Is -5/156 != b?
True
Let a = 4/36241 + -63061/242995905. Which is smaller: a or -1?
-1
Let x(m) = m**3 - 11*m**2 + 16*m + 11. Let c be x(9). Let p(k) = 0*k**2 + 3 + 3*k**2 + 20*k + 0*k**2. Let u be p(c). Which is greater: u or 11?
11
Let r = 40.04 - 0.22. Let x = r - 6.72. Let l = -34 + x. Are 3 and l equal?
False
Let i(o) = 0*o**2 + 8 - o**2 - 5*o**2 + 15*o + 5*o**2. Let r be i(14). Let m(j) = 30*j - 37. Let y be m(2). Is r less than or equal to y?
True
Let c be (126 - 9) + -13 + 13. Is c > 1064/9?
False
Let a be 23771/(5 - (-3 - -33)). Let k = 951 + a. Are 1 and k nonequal?
True
Let l = 0.34 - 7.34. Let j = 14.11 + -0.11. Let x = 14.2 - j. Which is smaller: l or x?
l
Let k = 150.97 + -2.97. Let g = k - 58. Which is greater: g or 0?
g
Suppose -7*l = -10*l + 6. Suppose 0 = 4*c - 12, l*z = -2*c + 3*c - 1. Do -1/9 and z have the same value?
False
Let c = -2338 - -2996. Which is bigger: 659 or c?
659
Let k = -62 - -88. Let q = k + -99. Which is smaller: q or -74?
-74
Let m = 1784 + -9147/5. Suppose 90 = -2*u - 11*d + 6*d, 0 = -5*u - d - 225. Which is bigger: u or m?
u
Let w be (-4)/(-22) - (-3)/((-132)/(-520)). Suppose -21 + w = -9*v. Which is smaller: 1/42 or v?
1/42
Let r = -3708 - -3707.76. Let x = -2.1 - -1.4. Let m = 0.6 + x. Which is smaller: m or r?
r
Let b = -847 - -686. Is -2/17 <= b?
False
Let k be -6 + (5 - 4/2). Let m = k + 34. Let o(f) = -34*f**3 - 3*f**2 - 8*f - 9. Let s be o(-1). Is m less than s?
False
Let n(b) = -58*b - 56. Let c(j) = j + 2. Let p be c(4). Let r be n(p). Let u be -5*(r/(-190) - (-6)/(-3)). Which is smaller: u or -2?
-2
Let f = -145770969 + 252037985035/1729. Let b = 16/247 + f. Is b less than -12?
False
Let y be (-2624)/(-1353)*(9/(-4) + -1). Which is smaller: y 