 d = 1259 + -1255.987. Let q = 0.013 - d. Let w = -94 + 94. Are w and q unequal?
True
Let x be 2*3 + (-6 - 1). Let g be 2 - x - ((-86)/(-28) - 0). Which is smaller: g or -3/2?
-3/2
Let l be (-132)/(-48) - 2 - 4/(-16). Is l <= 28/407?
False
Let u = 0 + -2. Let y(q) = -2*q**2 - 2*q + 42. Let m(b) = -b**2 - b + 21. Let i(n) = -5*m(n) + 2*y(n). Let g be i(4). Which is greater: g or u?
g
Let l = -31.5 - -31.7. Suppose -3*f = -4*o + 119 + 117, 5*o - 4*f - 294 = 0. Do o and l have the same value?
False
Let z = -2 - 1. Let q = -86 + 20. Let a = q + 61. Is z at least as big as a?
True
Let i = 11728 - 11599. Is i < -4?
False
Let p be (84/(-112))/(3/(-1))*(-2)/(-4). Is p smaller than -0.0168?
False
Let t(i) = 152*i + 46. Let m be t(20). Let k = -64784/21 + m. Which is bigger: k or 0?
k
Let m(z) = -z**3 - 38*z**2 + 48*z + 739. Let k be m(-39). Which is greater: k or 2718/7?
2718/7
Let x(s) = -25*s**2 + 2651*s - 85. Let g be x(106). Are g and -50/9 non-equal?
True
Let s be 1104/460*(-25)/(-3). Suppose -s*k = -242 - 78. Is 6 at least k?
False
Let c(f) = 6*f + 11. Let i(s) = -9*s - 17. Let q(r) = 8*c(r) + 5*i(r). Let p be q(1). Suppose -16 + 10 = -p*d. Which is greater: d or 2/215?
d
Let x be ((98/(-8))/(-7))/(1/4). Let u(q) = -2*q**2 + 8*q + 7. Let r be u(x). Are r and -35 unequal?
False
Suppose 8 = -4*n, -3*w + n - 706 = -5*w. Suppose 66 + w = -20*r. Let c be (-67)/3 - 1/(-3). Is r >= c?
True
Let h = -323702/33 - -9810. Let x(l) = l**3 + 61*l**2 + 24*l - 36. Let q be x(-1). Which is bigger: q or h?
h
Let c = -21 - -54. Let m = c - 30. Suppose m = -11*i - 8. Which is smaller: 1/12 or i?
i
Let w = 38.35 - 38. Let h = 1.85 + w. Let n = h + -2.5. Is 4/3 >= n?
True
Suppose -31056 = -154*y + 7290. Which is smaller: y or 246?
246
Let c = -446.2 + 10.2. Let g be ((-4)/3 - 2/3) + 1. Is c < g?
True
Suppose -y + 7 = 2*z - 4*y, -z = y - 1. Suppose -68 = z*r + 16. Let k be 2/(-4)*888/r. Is k at least as big as 10?
True
Let n be ((752/(-12))/4)/(2/(-3) - -2). Which is smaller: -16 or n?
-16
Let z = -5.997 - -6. Let h = -0.7247 + -0.2783. Let k = z + h. Which is smaller: k or -49?
-49
Suppose 6*z = -10 + 22. Let g be z/(-23)*(5/10 - 2). Does 0 = g?
False
Let l = -3744.55 - -8356.52. Let c = l - 4643. Let g = c + 31. Which is smaller: g or -0.2?
-0.2
Suppose 2*o = -2*o + 60. Let u = -113 + 21. Let g = u + 458/5. Which is smaller: g or o?
g
Let c = 1948 - 415. Let r be c/217 - 3 - 4. Which is smaller: -1 or r?
-1
Let a = 310 + -312. Let w be -208 - (-1 + 5 - (a - -3)). Is w at most -210?
True
Let b = -37 - -33. Let y be 4*(4 + b - -1). Suppose -y*f - 8*v = -4*v - 144, -4*f + 139 = 3*v. Which is smaller: f or 32?
f
Let n = 23189 - 106298377/4584. Which is greater: n or -1?
n
Let j = -104 - -375. Let x = 273 - j. Which is greater: x or 120?
120
Let y be ((-1145)/20)/((-1)/8). Let f = y + 334. Let h be (-2)/(-13) + f/(-1430). Which is greater: h or -24?
h
Suppose -2*u - 10 = -5*h, 0*h - 2*h + 18 = 2*u. Suppose 0 = 4*p + 4*a + 56, u*p - 2*a + 50 = 3*a. Let o = p - -11. Which is greater: 2/35 or o?
2/35
Suppose 101 - 81 = 2*v. Let h be ((-2)/v)/((-377)/290). Is 0 smaller than h?
True
Let f(b) = b**3 - 5*b**2 + 12*b + 35. Let n be f(9). Let w = n + -484. Is w less than or equal to -79/5?
True
Let o = -1006.57 + 1007. Let l = 4.7 - 5. Let g = o + l. Which is smaller: g or -1/8?
-1/8
Let w = -4355 - -9215. Let m = 1701001/350 - w. Is m greater than -1?
True
Suppose -3*u = 0, -3*u + 52 - 34 = -2*g. Let q be (3 - 3)*(45/10)/g. Let h = -5197/17 - -306. Which is smaller: q or h?
q
Suppose -s + 22*s = 336. Let d be 1*(-44)/s*-4. Suppose d*r - 20*r = -8*r. Which is bigger: r or -1/226?
r
Suppose -6 = -3*t - q, 2*q = 13*t - 12*t - 2. Let d be (t/12)/(1/4). Is d >= 20?
False
Let i = 2 - -11. Let o(q) = -227*q - 912. Let z be o(-4). Do z and i have the same value?
False
Let b = -442 - -443. Let p be b - (2 - -8) - -9. Which is bigger: p or 1/32?
1/32
Let o(d) = -d**3 + 4*d**2 + 36*d - 128. Let g be o(5). Suppose -4*x - 2*c - 2*c + 292 = 0, -4*c - 88 = -x. Let i = x + -49. Is i <= g?
True
Let v = -1135/7893558 - 1/6858. Which is bigger: 2 or v?
2
Let a be (4/58)/(2 + (-54)/24). Let x = 34225 + -5955073/174. Let t = x + a. Which is smaller: t or -0.3?
-0.3
Let p = 437 + -129. Let w be p/110*(7 + 3). Is 260/9 >= w?
True
Let q be (8/(-10))/((-2)/25). Suppose 11 = -2*l + g, -l - 73*g = -71*g + 3. Let h(a) = 25*a**2 + 126*a + 12. Let b be h(l). Do b and q have the same value?
False
Suppose -10*a + 3*a - 469 = 0. Let h = -55 - a. Suppose 0 = -3*r - 5*v - 6, v - h = r + 6*v. Which is smaller: 0 or r?
0
Let l = 200 - 119. Suppose 46 = -i - l. Which is smaller: i or -126?
i
Let q be ((-9)/21)/(2/(-7))*6. Let d be ((-27135)/(-10))/q + 3. Let l = d + -311. Which is bigger: -8 or l?
l
Let u be (210/(-8))/(-7)*-12. Let v be 342/u + 6/10. Let m = -280 + 1372/5. Is m < v?
False
Let q(p) = -p**2 + 12*p - 2. Let z be q(0). Suppose 0 = -3*d - 2*d - 4*a + 9, -7 = -5*d - 2*a. Let x be (d*z)/(1/(-5)*-1). Which is bigger: x or -6?
-6
Suppose -9*d + 10*d + 3*i = 308, 5*i = 3*d - 952. Let q = d - 403. Which is bigger: -88 or q?
-88
Let p(a) = 25*a + 14. Let t = 635 - 641. Let m be p(t). Is m at most as big as -2?
True
Let r = 5294 + -5294.3. Is r equal to -0.1521?
False
Let o(n) = -3*n**3 + n**2 - 1. Let m be o(-1). Let l be (-2)/8 + (-63)/(-28). Suppose m*c - 8 = -l. Which is greater: c or 1?
c
Let p = 4 + 0. Suppose 3*k = p*r + r - 107, -k = -2*r + 35. Let i be (-1465)/40 + -1 + 108/(-288). Do i and k have different values?
True
Let d(b) be the first derivative of b**3/3 - 17*b**2/2 - 3*b - 1. Suppose -y - 2*a + 581 = 562, -2*y + 37 = 3*a. Let m be d(y). Is m smaller than -10/3?
False
Let i = 4415128/18745 - 2386/815. Let j = i - -49109/69. Let b = 931 - j. Which is smaller: b or -13?
b
Let o = -113 - -135. Let a = o - 23. Is 2/717 <= a?
False
Suppose 3*i + 5*n = 5234, 56*i - 2*n = 57*i - 1743. Which is greater: 1746 or i?
i
Let f = 0.347 - 152.347. Let r = f - -178.8. Let z = 27 - r. Is 2/9 smaller than z?
False
Suppose -21 = 247*s - 254*s. Suppose -h = -s*w + 35, -9*h + 10*h + 57 = 5*w. Let d be (1 + 0)*(-38)/(-4). Is w greater than or equal to d?
True
Let o(h) = -h**3 - h**2 - 13*h - 464. Let v be o(0). Are -464 and v equal?
True
Let y = -2142 - 444. Is -2588 bigger than y?
False
Suppose 0 = -33*l - 26*l - 7552. Is l equal to -133?
False
Let c(h) = 3*h - 29. Let z be c(11). Suppose 9*d = -z*l + 12*d - 403, 3*l + 305 = 5*d. Which is bigger: -97 or l?
-97
Let h = 563 - 535. Suppose 6 = h*o + 790. Suppose -2 = 4*f + 110. Is o at least f?
True
Let y = -18810.6 - -18811. Which is greater: 1097 or y?
1097
Suppose -24 - 34 = -58*c. Is -3/1195 equal to c?
False
Let i = 7079 - 7235. Which is greater: i or -0.04?
-0.04
Let a = -60 - -71. Suppose 10*n - 5*n - 21 = -4*m, -3*n - 4*m = -a. Let c(h) = 3*h**2 - 2*h + 5. Let v be c(n). Which is bigger: v or 71?
71
Let i(a) = a**3 + a**2 - 131*a - 11. Let g be i(11). Which is bigger: 4/1909 or g?
4/1909
Let z be (-2)/4 + 105/6. Let f(a) = 3*a**3 - 3*a**2 - 19*a + 44. Let q be f(2). Which is smaller: z or q?
z
Let i = 18372 - 92367/5. Which is smaller: 2 or i?
i
Let k be ((-18)/(-5))/(1911/(-520))*(-221)/(-39). Which is greater: k or -6?
k
Let x be (-3)/(-14) - (-295)/(-1180). Is 0 bigger than x?
True
Let b = -9651 + 10288. Is b at most as big as -4?
False
Let l = -9541.95 + 9542. Do l and 6 have the same value?
False
Let g(o) = -o**2 + o + 3. Let b be g(8). Let f = -33 - b. Which is greater: 230/11 or f?
230/11
Let q be -4 - (-11 - 12/(-3)). Suppose h - 11 = -q. Suppose -h = 8*z + 8. Which is bigger: -6 or z?
z
Let g = -2/41 + -154/205. Let t = 173 + -175. Is t >= g?
False
Let b(q) = 4*q - 17. Let i be b(6). Let z(n) = -2*n - 8*n - i - 3*n + 5*n**2 + n**3 - 2*n**2. Let d be z(-5). Is 8 != d?
False
Let x be ((-15)/(-2))/(-5)*10. Let f = -5134 - -5107. Is x bigger than f?
True
Let j be ((-66)/(-16))/(33/(-12) - -8). Let f = 6 - 6.1. Which is greater: f or j?
j
Let d = 4 - -9. Let l = d - 11. Suppose l*q - 71 = -7. Which is smaller: 0 or q?
0
Let m = 0.007 - 318.507. Let q = m + 317. Which is bigger: -7 or q?
q
Let d(k) = -30*k**2 - 2*k + 226. Let s be d(0). Which is bigger: s or 227?
227
Let z be 3*(6 + 260/(-60) + (-2)/1). Which is greater: -13/1219 or z?
-13/1219
Let w(z)