Let l(c) = -3*c**3 + 9*c + 1778. Let d be l(0). Is d greater than or equal to 1?
True
Let i be (52/20 - 1)/((-8)/(-140)). Let o(m) = -7*m**2 - 2 - 19 + 5 + 29*m**3 - i*m**3 - 6*m. Let n be o(8). Which is smaller: n or -2/245?
-2/245
Let l = 383 - 385. Let n be (-1)/l*4/((-8)/(-158)). Which is smaller: 39 or n?
39
Let i be -497*1/(-275) + -2 + 0. Let h = 3/11 + i. Is 3/5 at most as big as h?
False
Let h = -59606 + 59635. Let w be 4/(-6)*(-2)/(-4). Which is smaller: w or h?
w
Suppose a - k - 3 = -0, -3*k = 9. Let z = a - 1. Let n be (-591)/117 + -5 + -2 + 12. Which is smaller: n or z?
z
Let n(i) = -i**3 - 7*i**2 + 9*i + 8. Let o be n(-8). Suppose o*s = -3*s. Let z = 39 + -37. Which is smaller: z or s?
s
Let o(h) = -2*h - 15. Let t be o(-8). Let v be t/(-5)*3 - 134/335. Is v not equal to -2/153?
True
Let i = -20 - -39/2. Let j = 21922 + -43795/2. Is i > j?
False
Let k = 146 - 152. Let x be (-172)/k - 5/(-15). Is 33 equal to x?
False
Let y(u) = 6*u - 15. Suppose 58*v - 55*v + 21 = 0. Let b be y(v). Let q = 103 + b. Which is greater: 1 or q?
q
Suppose 4*a - 2*q + 30 = 6*a, 0 = 3*a - 3*q - 27. Suppose -a*i - 370 = -2*i. Let k = -38 - i. Is k at most as big as -1?
True
Let i(c) = -c**3 + 7*c**2 + 10*c - 14. Let b be i(6). Let u = -58 + b. Let o be (-4)/(-26) - u/(-13). Is 4 equal to o?
False
Let h(v) = -6*v**3 - 4*v**2 + 1. Let c be h(-1). Suppose -a + 3*a + 22 = 0. Let q = a + c. Is -4 not equal to q?
True
Suppose -412*n - 80444 - 234906 = 183*n. Is -5826/11 < n?
False
Let q = 1/14220 + 27953/6925140. Let b = q + -984/2435. Let p be (600/(-750))/(8/10). Which is smaller: b or p?
p
Let s = 2831/4 - 5669/8. Let d = 13 - 9. Suppose d*c + 6 = -2. Which is smaller: s or c?
c
Suppose 2*o = 4*p - 2*o + 44, p + 3*o = 5. Let c(l) = l**3 - 13*l**2 + 37*l - 8. Let v be c(4). Do v and p have the same value?
False
Let y(f) = f**2 + 13*f - 1 - 17*f + 3*f. Let u be y(0). Let w be (27/(-12))/((-15)/40) + u. Which is greater: 3/4 or w?
w
Let q(f) = f + 23. Let j be q(-21). Suppose 724 = -j*m + 6*m. Is m < 182?
True
Let x = -6905.8 + 6906. Is x <= 8?
True
Let y = 4637 - 4779. Which is smaller: y or 2?
y
Let u = -1 - -2. Let q = 158.3 + -184. Let i = q + 27.4. Is u less than i?
True
Suppose y + 96*k - 11 = 98*k, -y = -3*k - 17. Which is greater: -151/112 or y?
y
Let h be (0 + 8/(-45))*-1. Suppose 0 = -4*u - 8, -5*u - 13 = 19*s - 16*s. Which is smaller: s or h?
s
Let d = 1.9759 - -0.0241. Let p be (-2)/(-4)*2*0. Let g be p + 6/(-4)*-2. Which is bigger: d or g?
g
Let u(q) = q**2 + 8*q + 13. Let j be (3/(-4))/(45/(-12) - -4). Let k be u(j). Which is smaller: 6.3 or k?
k
Suppose -4*g + 5*g = 43. Suppose 4*k + 63 = 3*l, 5*l - 62 - g = -5*k. Let i be (l/12 + 9/(-6))*4. Which is bigger: 3/34 or i?
i
Let a(z) = z**3 - 4*z**2 + 10. Let v be a(3). Let x be (65/(-20)*-2 - v) + -4. Let l = 0.4 - 0.2. Which is greater: x or l?
x
Suppose -4*q - 27 = -y, -5 = -y + 5*q + 28. Is y < -21?
False
Let g(o) = o**3 + 8*o**2 + 7*o + 58. Let h be g(-8). Suppose 5*z - 5 = -2*r, 0 = -2*r - z + 15 - 6. Suppose h*c + r - 37 = 0. Which is smaller: 15 or c?
15
Let g = -1/3 - -1/21. Let m = 215.122 + -215. Let o = m - 51.122. Is o < g?
True
Let y = 11345/4 - 105724047/37276. Let k = y + 55688/1053047. Which is smaller: 0 or k?
0
Suppose 101409 = 7*f + 371154. Let n be 15/6*7/(f/12). Which is smaller: -1 or n?
-1
Let o = -203 + 142. Let f = -6183 - -6182.8. Are f and o equal?
False
Suppose -19*k - 7000 = -39*k. Let n be (-3353)/k*2*-5. Which is bigger: n or 97?
97
Let c = 56 + -55.899. Let h = c + 0.499. Are 2 and h nonequal?
True
Let r = -0.24 - 0.08. Let g = 0.23 + r. Is g less than -0.8?
False
Suppose -74 = 16*m - 17*m. Suppose -4*y - 5*l = -7*y + 197, -5*l - 123 = -2*y. Is m at most y?
True
Let a = 70.99 - -1.01. Let o = -44 + a. Let p = 30 - o. Is p smaller than -7/5?
False
Let c(l) be the first derivative of -l**2/2 + 23*l + 3. Let f be c(14). Suppose y - 2*b = -3 + 6, -3*y = 4*b - 9. Which is greater: y or f?
f
Let p = 664 + -965. Let m = p + 293. Which is bigger: m or 0.05?
0.05
Suppose 0 = 190*h - 171*h. Is h at least -1/76?
True
Let c(b) = 8*b**2 - b + 1. Let g be c(1). Let u(i) = -21*i**3 - 2*i**2 + 2. Let l be u(-2). Suppose l*x + 54 = 168*x. Which is greater: g or x?
x
Let f be (64/(-412))/(0 + 2). Let o = f + 1830/20909. Which is smaller: 0 or o?
0
Let p be (-4 - 6*-1)*(-210)/(-60). Let b = 0 + 2. Suppose p*m - b*m = 3*d + 46, 9 = -2*d - m. Is d greater than 0.6?
False
Let q = -101 - -106. Suppose 2*n = q*l - 3, -4*l + 0*l + 4 = 0. Are -3/34 and n non-equal?
True
Let p = -7.326 + 11.95. Let g = -0.424 + p. Let j = 0.5 - -0.5. Which is bigger: g or j?
g
Suppose 0 = -62*s + 220 + 180 + 468. Which is greater: -160 or s?
s
Suppose -k + 70 = -6*k - l, 70 = -4*k + 2*l. Let d be 12/k*10/(-4) - 5. Let u be (-1 - d - 1)*(-54)/33. Do u and -1/3 have the same value?
False
Let p(z) = 2*z**3 + 3*z**2 + 5*z - 10. Let r(d) = d**3 + 4*d**2 + 6*d - 9. Let s(y) = 2*p(y) - 3*r(y). Let l be s(7). Which is bigger: l or -17/12?
l
Let k = 103344/19 - 5435. Which is bigger: k or 4?
k
Let p be (-2 - (-267)/156)/(30 - (-1116753)/(-37224)). Which is smaller: p or 0?
0
Let p = 10213 - 11766. Is -1552 > p?
True
Let n = 28.4 + -21. Let r = n - 0.4. Let i = r + -6.7. Which is greater: 10 or i?
10
Let n be (5/(-4)*6/15)/(18/(-3420)). Which is smaller: n or 1216/13?
1216/13
Suppose -10 + 19 = -3*v. Suppose 198 = 81*s - 92*s. Which is greater: s or v?
v
Let m(y) = -y - 8. Let q be m(-10). Suppose -37*g + q*o = -32*g + 25, 5*g + o + 40 = 0. Is g bigger than -9?
True
Let w = -46.9 + 44. Let m = w - -1.1. Let l = m + -1.2. Are l and -1/4 non-equal?
True
Let i be 5 - (9 + -5) - 208. Let x = i - -147. Is -62 greater than x?
False
Let v(d) = -16*d**2 + 497*d - 32. Let t be v(31). Is 5/2307 at most t?
False
Suppose 0 = 32*t - 0*t - 2445 - 8275. Which is bigger: t or 332?
t
Let b(d) = -95*d**2 - 2*d - 1. Let m be b(-1). Suppose 0 = -2*k - 178 - 6. Do m and k have the same value?
False
Suppose -2*x + a - 1 = 0, -1 = -x - 0*x + 2*a. Is -1182 >= x?
False
Let w = -2355 - -2365. Let k be (-2 - -22)*2/4. Is k greater than w?
False
Suppose -d + 361 = o, -5*o + 3*o + 4*d = -692. Let b be (o/(-630) - 12/(-54))*20. Let n = -130/21 - b. Is n <= -2/53?
False
Suppose -399*w + 395*w + 200 = 0. Let x = w + -201/4. Which is bigger: 46 or x?
46
Let l = 13 + -4. Let j be (1 - (-13 + -1))/(5/(-35)). Let b = 112 + j. Which is bigger: b or l?
l
Let n be ((-228)/18)/(18/27). Which is greater: n or -8?
-8
Let h be (-164)/(-18) - 4/1. Let o be ((-2)/(-4))/(-15 - 1448/(-96)). Which is smaller: o or h?
h
Suppose l + 3*l + 16 = 0. Let v = -32480/11 - -2950. Are l and v unequal?
True
Let x(f) = f**3 - 3*f**2 - f - 64. Let u be x(0). Let j = 74 + u. Which is bigger: 12 or j?
12
Let o = 491/1125 + 1/125. Let t be 4/32*-58 + 2/8. Let j be (2/8)/(t/8). Which is bigger: o or j?
o
Let r = -127 + 122. Let g be ((-6)/r)/((-18)/45). Let m be (-12)/((g - -2)*31). Which is greater: 1 or m?
1
Let x(b) = -41*b + 241. Let f be x(6). Is -29/7 < f?
False
Let b = 66181/6 - 10438. Let r = -590 + b. Suppose -2 = 4*v - 6. Which is bigger: v or r?
r
Let i = 28426/3 + -66327/7. Suppose 0*r = 3*r. Are i and r unequal?
True
Let v = -1934 + 1933.812. Do v and 1/5 have different values?
True
Suppose -4*n = 3*p - 6446, -8592 = -42*p + 38*p - 4*n. Which is bigger: 2145 or p?
p
Let o = -976909/14 - -69743. Which is greater: o or -35?
-35
Let i = -13.157 - 538.843. Which is greater: i or -7?
-7
Let h be (-2)/5 + 190/(-25). Let o be (h/6)/((-4)/3 + 2). Let s be o + (2/(-2) - 17/(-3)). Is 4 greater than s?
True
Let h be 222/(-740) - 4/(-1160)*302. Which is smaller: 1 or h?
h
Let c = 3508 + -3508.28. Is 117 smaller than c?
False
Suppose 40*n - 28 = 36*n. Let k(r) = -r**3 + 8*r**2 - 7*r + 4. Let w be k(n). Suppose 2*a + 3*x = -a + 12, -w*a + x = 4. Which is smaller: a or -10/9?
-10/9
Let i be (158/(-52) - -1) + 2. Suppose 3*l - 36*z = -35*z + 2, -5*l - 3*z = 6. Which is smaller: i or l?
i
Let m = -6664 - -6678. Which is smaller: m or 27?
m
Let f = 3.84 + -4. Let x = 806 - 805.16. Let r = f - x. Is r less than 3?
True
Suppose 12 = -6*v + 24. Suppose 2*w - v*z = -488, -3*z = 3*w + 441 + 321. Is -249 >= w?
True
Let f = 0 - -0.06. Let q be ((-54)/30 - -2)*30/39. Which is greater: f or q?