1*s**2. Let q(f) = f**3 + 4*f**2 + 5*f + 17. Let d be q(-3). Let l be c(d). Is -3 < l?
True
Suppose 28*o = 51*o - 368. Suppose -4*f = -o*f + 240. Which is smaller: 19 or f?
19
Let p = 30830 + -30841. Is -308/25 >= p?
False
Let l(j) = -180*j + 92*j - 2*j**2 + 110*j - 87. Let k be l(9). Which is smaller: k or -53?
-53
Suppose -2*a = 6 - 0. Let s be ((-1604)/1203)/(44/78). Is a smaller than s?
True
Let q = 92.973 - 93. Let g = q + 14.827. Which is greater: 0 or g?
g
Let h = -691584302/387 + 1787153. Let w = h + -1018/9. Is 1 equal to w?
False
Let l = 12/259 - 1343/1036. Is l > 0.5?
False
Let s be (-385)/15 - (-2)/3. Let h be (-6)/10*s/15 + -361. Does h = -360?
True
Suppose 11 + 5 = -2*o - 3*s, -4*o + s = 4. Let u be (120/(-225))/(o/(-21)). Let x = -127/20 - u. Which is smaller: x or -2/9?
x
Suppose d - 35*p = -39*p - 14, 5*p + 35 = -3*d. Does -410/37 = d?
False
Let o = 3.9 + 180.1. Let u = o - 183.9. Which is smaller: -51 or u?
-51
Let l = 5586 - 5585. Which is smaller: 13527 or l?
l
Suppose h + 2*h - 9 = 0. Let g(t) = -t**2 - 5*t + 25. Let s be g(-10). Let u be s/(-23) + (2 - h). Which is greater: u or -1?
u
Let l be ((-6)/(-8))/((-75)/(-200)). Suppose 3*k + 25 = 4*b, 5*b + 3 = -l*k + 17. Is b smaller than -2?
False
Let q = 0.8053 - -1.1947. Let j = 68 + -71.9. Are q and j nonequal?
True
Let p be (-1 + -1)/((-6)/21). Let v = -161749/51 + 9539/3. Which is greater: p or v?
v
Let v = -82339/210 - -3879/10. Is -5 > v?
False
Suppose 6*v + 7 + 11 = 0. Let g be -18*((v - (-21)/9) + 0). Is -2/3 less than g?
True
Suppose 2*a = 4*t - 5 + 13, 3 = 4*a + 5*t. Let l be (a + -5)*(-750)/(-765) + 3. Let c = 2 - 1. Which is bigger: c or l?
c
Let q(m) = -47*m + 331. Let b be q(7). Which is smaller: 82/51 or b?
82/51
Let y(m) = m**3 - m**2 + 7*m + 3854. Let d be y(0). Let r = d - 158022/41. Which is greater: r or 1?
1
Let b = 159/5 - 733/23. Is 1 less than b?
False
Let f = 55 + -189. Let s = -147 + 280. Let y = f + s. Which is smaller: y or 44?
y
Let t = 99 + -99.69. Let a be (-6 - 474/(-54)) + 3 + -6. Is a < t?
False
Suppose -3*t = k - 61 - 50, -k = -4*t + 155. Suppose 0 = -2*a - 58 - t. Let r be ((a/45)/(-4))/(16/(-24)). Do -12 and r have different values?
True
Let x be (10000/2499)/2 - (42/(-7) - -8). Which is greater: 0 or x?
x
Let l(k) be the first derivative of 2*k**3/3 - 8*k**2 - 20*k - 141. Let m be l(9). Which is smaller: -23/8 or m?
-23/8
Let v(j) = 9*j - 3*j**3 + 8 + 5*j - 2*j - 2*j**2 - 3*j. Let b be v(-4). Which is greater: b or 133?
133
Let i be 936/(-1053) - (-20260)/22914. Which is smaller: i or 1?
i
Let u(d) = -d**3 + 32*d**2 + 105*d - 4. Let q be u(35). Let x(a) = a - 16. Let w be x(12). Let b be w - q/((-4)/(-5)). Are 4/23 and b non-equal?
True
Let o = -1230 + 458. Is o less than -768?
True
Let g(a) = -43*a**2 + 51*a - 170. Let f be g(7). Is -1915 >= f?
True
Let k = -22468 - -22470. Is -783 greater than k?
False
Suppose 4*k = 4*v + 22 - 6, 2*k - 22 = -5*v. Let h(m) = m**2 - 4*m. Let s be h(5). Suppose -k*z = s*z + 66. Which is greater: -4 or z?
-4
Let l = -17392 + 19110. Is l at least as big as 1713?
True
Let y = 33 + -35. Let h(a) = -6*a. Let f be h(y). Let v be 125/41 - (-9 + f). Is v smaller than 0?
False
Let n = 3675 + -3675.1. Are -3515 and n unequal?
True
Let a be (-3)/(-2 - 101145/(-50550)). Is a at most -3370?
True
Let r be 9/(-81)*0*(-12)/24. Which is smaller: 38/511 or r?
r
Suppose l = -3*r - 186 - 177, 2*r = 2*l + 734. Which is smaller: -397 or l?
-397
Let t be 4/35*(-42160)/(-32) - -2. Let j = -39551/259 + t. Are j and -1 unequal?
True
Let m(y) = -102*y + 4154. Let l be m(41). Which is greater: 256 or l?
256
Let a(c) = -c**3 - 6*c**2 - 32*c + 29. Let n be a(-10). Are 752 and n nonequal?
True
Let a = 108 + -107. Let p be 1 - 5 - (a + -6). Is p greater than 1/145?
True
Let w(d) = -2*d**3 + 63*d**2 - 192*d - 167. Let o be w(28). Does o = -60?
False
Let y = -113.48 - -158.6. Let l = -61 + y. Let i = -16 - l. Which is smaller: -2/7 or i?
-2/7
Suppose -3*m - 5*d = -33, -3*d = 111*m - 108*m - 21. Which is greater: -10/1181 or m?
m
Let y(a) = -4*a**2 + a + 12. Let v(r) = 5*r**2 - 2*r - 13. Let m(p) = 3*v(p) + 4*y(p). Let g be m(-4). Let q be -4 - (1 - 2)/(g/2). Is -1 greater than q?
True
Let f = 2.2 - 11.2. Let c = f + 18. Let v = -10.4 + c. Is 1 equal to v?
False
Let t = -0.2241 - -0.1741. Let c = 1.7 + -1.85. Is c at most as big as t?
True
Let m(u) = -17*u**2 + 93*u - 13. Suppose h + 4*h = 30. Let d be m(h). Which is greater: d or -70?
d
Let h = 627 + -580. Does -136 = h?
False
Suppose 3*l + 4*x = 119, 17*l - 5*x - 175 = 12*l. Suppose -l*s = -24*s + 78. Is 0 greater than or equal to s?
True
Let d be (4/(-2))/(-1*2). Let n be 1/15 - 221824/(-13440) - 8. Is d equal to n?
False
Let d = -91.116 + -0.184. Let b = d - -87. Let r = 4.4 + b. Is 0.11 at most r?
False
Suppose 0*a = 2*v + 3*a - 399, 3*v = 5*a + 570. Suppose -6 = -v*f + 196*f. Which is smaller: 5 or f?
f
Let u = 599 + -597. Suppose 3*x - 20 = -u*i, -5*x + 10*x - 44 = 2*i. Is 27 at most x?
False
Let q = 59 - 42. Let x = -0.3527 - -2.3527. Is q > x?
True
Suppose 11 = 4*h - 1. Suppose 0 = o - p - 3, -64*o + 68*o = -4*p + 4. Suppose -o*u + h = -3*w, 3*u = -2*u - 2*w + 36. Which is bigger: 7 or u?
7
Let v = -405.4 + 405.089. Are -2/5 and v unequal?
True
Suppose 2*l + 6 = 0, -4*s + 4*l - 125 = 335. Suppose -118*c - 43*c - 18515 = 0. Which is bigger: s or c?
c
Let t = 1265300 - 21499642/17. Let z = t - 615. Suppose -2 = -9*l + 7. Is z smaller than l?
True
Let x = -58704 + 58757.9. Let u = 0.1 + 0. Is u < x?
True
Let t = -62/57 + 37019/34086. Let l = -2979/6578 + t. Which is smaller: l or -1?
-1
Let j = -34828 + 696781/20. Do 11 and j have different values?
True
Suppose 34*g = 37*g + 9. Let w be (g/(-63))/(5/(-30)). Let o = -5.2 + 41.2. Is w at least o?
False
Suppose -c - 21 = -9*c + 43. Suppose -5*x + 10 = -p, 10 = x + 4*x - 5*p. Which is greater: x or c?
c
Let z(j) = 4*j**2 + 73*j - 12. Let t be z(-19). Let x(s) = 11*s - 498. Let v be x(t). Let a(k) = -2*k**2 + 7*k. Let m be a(5). Which is smaller: v or m?
m
Let m = 2356 + -2356.1424. Which is smaller: -0.1 or m?
m
Let i(r) = 46*r**2 - 32*r - 70. Let v be i(-4). Is v smaller than 795?
True
Let t = -0.048 + 2.248. Let f = t + -2.236. Let w = 0.136 + f. Which is bigger: w or 24?
24
Suppose 17386 = -70*k + 102436. Let c = k + -1270. Let d = -13 + -41. Is d at most as big as c?
False
Let a = -109295/133709134 - -45/19666. Are 1 and a non-equal?
True
Let m(x) = 152*x**2 + 17*x + 99. Let u be m(-3). Is 1418 at least u?
True
Let k = 1.03 + -8.56. Which is smaller: k or 0?
k
Suppose -55 - 110 = 190*t - 25*t. Is 2/93 at least as big as t?
True
Let w = -10511 - -10510.44. Which is bigger: 28/13 or w?
28/13
Let f = 133 + -143. Let g be -1*(-2 + -19) + f/(-5). Which is smaller: g or 27?
g
Let r(z) = -z**3 + 4*z - 1. Let b be r(-3). Suppose -3*v - 480 = 3*v. Let w be (2 - (-5)/(-4))/((-4)/v). Are b and w unequal?
True
Let s(c) = 2*c**3 - c**2 + 2*c + 1. Suppose -6*k - 4 = -16. Let b be s(k). Suppose -9*r - 8 = -b. Is r less than 7/5?
True
Let z be 3643/(-11) + 37 + -42. Let q = -336 - z. Which is greater: -0.1 or q?
q
Let d = -0.03045 + -0.06955. Which is greater: d or -952?
d
Let p = 38660 - 33847. Is 4815 at least as big as p?
True
Let o = 0.26017 + 43.73983. Which is smaller: o or 0.062?
0.062
Let p be (-1)/4*-18 + 1/2. Suppose 6*b - 6 = p*b. Let z be 328/16 - 15/b. Which is smaller: z or 15?
15
Let f = -46 + 39. Suppose -2*m = s - 2, -s + 5*m + 5 = 6*m. Suppose 8 = -4*j - 3*o - o, o + s = -3*j. Are j and f nonequal?
True
Let n be (129/6)/(3/(-6)). Suppose -w - 113 = -5*u - 330, -5*w - 103 = 2*u. Is u less than or equal to n?
True
Suppose -2*i = -4*a - 3 + 19, 2*a - 8 = -5*i. Let l be (i/(-2) - -3) + 1680/288. Which is greater: 10 or l?
10
Suppose 5*q = m - 13, 0 = 4*q + 385 - 369. Which is smaller: m or 7?
m
Let f = -10 + 50. Suppose u - 44 + f = 0. Suppose 5*b = -0*b + g + 59, 4*g - u = 0. Is b greater than or equal to 2/3?
True
Let t = 91 + -90. Let u be 68/390*-3*-20. Let i = u - 138/13. Which is greater: i or t?
t
Let c = 2073 + -2072. Do -3/3407 and c have different values?
True
Suppose 0 = -4*z + 11 - 3. Let j be (-110)/22*(-298)/(-8). Let h = j - -188. Which is smaller: z or h?
h
Suppose 2*v - r = 4 - 0, 6 = 3*v + 2*r. Let n = 4 + v. Let 