 = -3727/17 - -219. Is i greater than x?
True
Suppose 3*u - 6*u = 17*u. Which is smaller: -5/46 or u?
-5/46
Let g = -793.06 - -793. Which is greater: 0.2 or g?
0.2
Suppose -4*p - 5*l + 23 = 0, -2*p + 0*p + l + 1 = 0. Is 78 greater than p?
True
Let j = -7 - -5. Let t = j - -4. Let x = 49 + -45. Which is smaller: t or x?
t
Suppose 223*z - 221*z = 4*x + 6, 0 = 3*x + 3*z - 9. Is x at most as big as -1/194?
False
Let x be 0*3/12 + 3. Suppose -4*g + x*k - 36 = 0, -3*g = -4*g - 5*k - 9. Is g greater than 0?
False
Suppose -210 = -17*o + 20*o. Do -70 and o have the same value?
True
Let p be (-2)/(-9) - (-80)/45. Suppose 3 = -o - p*a + 2, 4*o = -2*a + 8. Let c(g) = g**3 + 12*g**2 + 21*g + 9. Let i be c(-10). Which is greater: o or i?
o
Let h(a) = a**3 + 14*a**2 + 12*a - 15. Let y be h(-13). Let w be 1 + y + -1 + 4. Is w equal to 1?
False
Suppose -26*m = -2*y - 29*m - 87, 4*m = 20. Is -51 > y?
False
Let v = 167 + -181. Let r be (-4)/(-18) + (-130)/18. Let c = r - 7. Is v smaller than c?
False
Suppose 9*k + 14 = -p + 4*k, 2*p = 3*k + 11. Which is smaller: -3/130 or p?
-3/130
Let p be (-132)/72*(-12)/2. Let x = 1 + 10. Is x != p?
False
Let u = -1.812 + 1.67. Let i = u - -0.042. Is i equal to 2/19?
False
Let m be 1 + 3 - (-1 + 2). Let w = -2 + m. Suppose 0 = 5*p + 17*p - 18*p. Which is greater: p or w?
w
Let n = 21 - -41. Let v(b) = -2*b**2 + 185*b + 2686. Let r be v(105). Which is smaller: r or n?
r
Let g(c) = c**2 - 6*c - 8. Let z be g(7). Which is greater: z or -1/7?
-1/7
Let n = 2.2518 - 2.4518. Let k = -9 - 6. Which is bigger: k or n?
n
Let u(j) = -j**3 + 4*j**2 + 8*j - 31. Let p be u(3). Are -12 and p non-equal?
True
Let w be (-776)/84*(-2 + 224). Let q = 51481/28 + w. Let h = 214 + q. Which is smaller: h or 1?
1
Let m(r) = r**2 + 9*r + 12. Let z be m(-10). Let h = z + -37. Is -14 less than or equal to h?
False
Let t be ((-5)/4)/(250/(-80)). Let q = -2 - -3. Is t bigger than q?
False
Let c = 145 - 144.95. Which is greater: c or -0.1?
c
Let f = -1819 + 1821. Is 26/7 smaller than f?
False
Let t(s) = s + 3. Let p be t(-4). Let z be (2/(6*-1))/p. Let j = 347 - 348. Which is bigger: j or z?
z
Suppose s - 18 = 3*y, -5 = s + 4*y + 12. Suppose 2*h + 18 = 5*k, -7*k + s*k = -16. Are h and -0.42 nonequal?
True
Let w(z) = z**3 + z**2 + 9*z + 18. Let j be w(-2). Which is smaller: j or -13?
-13
Let b = -7736/91 - -1175/7. Let z = b - 83. Suppose -2*i = 14 - 16. Which is smaller: z or i?
z
Let o be ((-8)/2 + -1)*-1. Suppose -2*d = 3*w + o, w + d = -3*d - 15. Suppose 4*t - 3 - w = 0. Is 0.3 equal to t?
False
Let p(f) = -7*f**2 - 2*f + 1. Let o be p(1). Suppose -4*g + 15 - 47 = 0. Does g = o?
True
Let j be (-41 - -36)/((-2)/(-26)). Is j > -64?
False
Suppose -5*y = -0*z + 5*z + 135, 0 = 2*z + 3*y + 53. Let p be ((-3)/(-8))/((-1)/z). Let h = -65/6 + p. Is h at most -0.05?
True
Let s be 19*-1*(-4 - -3). Let b = -55/3 + s. Is 0 at most b?
True
Suppose -2*b = 4*o - 5*b - 42, b = 5*o - 47. Suppose -2*x + 3*x - o = q, -2*q = 2*x - 22. Let s = -317 - -328. Which is bigger: s or x?
s
Let o be 1 + -2 + (-2 - -2). Let h = 190/13 - 18987/1300. Does h = o?
False
Suppose 0 = -b + 1, 4*j + 2*b + 39 = b. Suppose 0 = -a - y - 11, -y + 7 = -a - 0. Is a greater than j?
True
Let x = -150 + 143. Let f(n) = -9*n - 1. Let p be f(-1). Let h = 6 - p. Is h less than x?
False
Suppose 3*f + 58 = -4*a, 0*a - 5*a - 2*f - 76 = 0. Which is smaller: a or -17?
-17
Suppose -3*h = 5*h + 8. Let m be (h + 2)/((-9)/72). Let z = 7 + m. Is z at most 2/9?
True
Let q be (4 - (-72)/(-15))*116/24. Is -3 < q?
False
Let t be (0 - -2)/(2/3). Suppose -5*y - 2 = t, -4*y - 104 = -4*s. Do s and 25 have the same value?
True
Let x = 0.9 - -1.1. Let s = 20.2 + -2.2. Is s != x?
True
Let f(d) = d**2 + 2*d - 10. Let c be f(-4). Let s(u) = -2*u**2 + u. Let o be s(c). Is -10 > o?
False
Let i = -57.9 + 64.8. Which is bigger: i or -0.1?
i
Suppose -2*x - 220 = -5*j, 46*j - 43*j - 5*x = 132. Is 42 bigger than j?
False
Let s(j) = -j**2 - 8*j - 3. Let u be s(-8). Let t be 58/(-18) + u/(-54)*4. Which is smaller: t or -1?
t
Let a(o) = 4*o - 2. Let h be a(1). Suppose 0 = h*t - 378 + 112. Suppose t = -5*z + 33. Is z > -20?
False
Suppose 3*x = 4*x - 5. Let d = x + -18. Let q = -12 - d. Which is bigger: q or -2/5?
q
Suppose 0 = 3*c - 3*z - 519, 0*c - 518 = -3*c + 4*z. Are c and -2/7 non-equal?
True
Let a = -463.63 + 461. Let n = 0.37 - a. Which is smaller: 2/19 or n?
2/19
Let a = -201/176 - 1/1232. Which is smaller: a or -2?
-2
Let d = -69 + 36. Let h be (153/(-36))/((-2)/(-16)). Which is bigger: d or h?
d
Suppose -4*z = 4*s + z - 19, -5*s = 2*z - 11. Is -2/1077 greater than or equal to s?
False
Let x(v) = -30*v - 2. Let m be x(-2). Let f = m + -175/3. Let n be (-6)/(-10) - 2/(-5). Is f at least n?
False
Let t = 17.2 + -27.2. Is 3 >= t?
True
Let d = 0.313 + 0.087. Does -28 = d?
False
Let l = 4 + -12. Let k be (-4)/6 + l/(-3). Let v be ((-5)/((-55)/k))/8. Which is bigger: v or -1?
v
Let m be 104/12 - 2/(-6). Suppose 5*b - 3*n = -12 - m, 4*n = b - 6. Let v be (-22)/b - (-4)/12. Which is bigger: 5 or v?
5
Let a = -2 - -2. Let c = -2/69281 - 6650794/6304571. Let z = c + 9/7. Which is smaller: a or z?
a
Let r be 8*11/(-44) - 5*-1. Which is bigger: r or 48/23?
r
Let i be (10/45)/((-4)/(-2714)). Let c = -113 + 264. Let x = i - c. Is -3 smaller than x?
True
Let w = -46 + 18. Let q = w - -20. Is -8 > q?
False
Let k(g) = -g**2 + 7*g - 6. Let o = -39 + 45. Let w be k(o). Which is bigger: -5/9 or w?
w
Let z(h) be the second derivative of h**5/20 - 5*h**4/4 + 5*h**3/2 + h**2 - h. Suppose -6*u + 8*u = 28. Let a be z(u). Which is smaller: a or 15?
15
Suppose 0 = 5*u + 110 + 5. Let f = u - -15. Is f < -9?
False
Let t be (1/(-1))/(14/4). Let n be ((-4)/50)/((-10)/(-50)). Do n and t have the same value?
False
Let b be (-1 - -2)*(-1)/(-1). Let s be (-1 + 2)*(0 + b). Let w = -1/132 + 269/660. Which is smaller: w or s?
w
Suppose 3*b = 3*s + 2*b + 8, -3*b - 6 = s. Let w be ((-12)/18)/((-2)/s). Let v(y) = -y**2 - 6*y - 6. Let j be v(-5). Is w bigger than j?
False
Suppose 0 = j + 10 - 8. Let t = -10 + 13. Let g be (t*1)/((-15)/10). Is g at most j?
True
Let j be ((-2)/3)/((-6)/63). Let d = j + -9. Let q be -4 - (d - 1 - -1). Which is smaller: q or -3/2?
q
Let w(h) = 53*h + 41. Let a be w(0). Which is bigger: 247/6 or a?
247/6
Let j = -47 - -49. Suppose 4*s + j*i + 25 = s, 2*s + 16 = -i. Which is greater: -5 or s?
-5
Let r be 6/(-2292)*4*(-6)/9. Which is smaller: r or 0?
0
Let f be 0 + (-2)/(-1)*19/(-209). Which is greater: -270 or f?
f
Let k be (-9)/(-9)*(-8)/(-2). Let a(w) = -w**3 + 2*w**2 + 10*w - 5. Let t be a(k). Which is bigger: 4 or t?
4
Let i = -372 + 366. Which is smaller: i or -11/2?
i
Let r = -8 + 13. Let z = 3 - r. Let h = -4039/3456 - -7/3456. Is z bigger than h?
False
Let g = 0 - 3. Let r be (-12)/63*g*-1. Suppose 9*f + 13*f = -28*f. Do f and r have different values?
True
Let m = 0.08 + -0.03. Let o = m + -0.05. Let v = o - 3. Is v at least 0.1?
False
Let j(l) = 6*l**2 + 4*l + 1. Let r(b) = b**2 + b. Let t(h) = -2*j(h) + 11*r(h). Let w be t(3). Let g = 349/40 - 369/40. Is w greater than g?
False
Let f = 899 - 898. Is f greater than 10/197?
True
Let s = -8 - -12. Let x be 46*(-3 + 14/s). Let c be x/(-5) + 3 + 2. Which is smaller: c or -1?
-1
Let n be (-2)/(-3) - (-4)/(-6). Let c be 2*(-3)/(-12) + 5/2. Suppose n = -l - c*l - 4. Which is smaller: -1/13 or l?
l
Let m = -116.5 - -117. Which is bigger: 1.2 or m?
1.2
Suppose y - 75 + 17 = 0. Suppose -59 - y = -13*k. Is k equal to 8?
False
Let o = 0.03 - 13.83. Let y = 14 + o. Which is smaller: 2 or y?
y
Suppose 0 = 6*l + 6*l + 1608. Is l less than or equal to -133?
True
Let k be -4 - -20*(-21)/(-112). Which is bigger: k or -6?
k
Suppose 0 = 2*n - 3*u + 12, -2*n - 28 = -5*u - 8. Which is bigger: 4/33 or n?
4/33
Let t(q) = -q**2 - 12*q - 161. Let b be t(-12). Which is smaller: b or -162?
-162
Suppose 4*t - 5 = 27. Suppose 0 = -6*o + 68 - t. Let f = -2 + 13. Which is smaller: f or o?
o
Let a(w) = 3*w**2 + 7*w + 6. Let f be a(-2). Let z be f/20 + 1/((-135)/177). Is -1 smaller than z?
False
Let x = -56 - -116. Suppose -7*a + x = -3*a. Which is smaller: 1/3 or a?
1/3
Suppose w - 1 = 1, -5*w = -2*l + 10. Suppose -l = 3*r - 5*h - 0*h, -4*h + 8 = -r. Is -6/37 <= r?
True
Let p = -1.9 + 2. Let u(z) = 3*z + 20. Le