 = -1 - -6. Let a be (-2)/15*12*n. Is a > -8?
False
Let z = -2/21 - -24/7. Is 0.3 at most z?
True
Suppose 0*h = 2*h + 16. Let p = 11 + h. Suppose -3*y + 2 = -4*f - 6*y, 0 = -p*y + 6. Which is greater: -1 or f?
-1
Let q = 6 + -4. Let u = -2 - -3. Let h = q + u. Does h = -2/7?
False
Let w = -0.2 + 0. Let k = 0.1 + -0.34. Let i = 0.04 + k. Are i and w equal?
True
Suppose -2*a - 8 = -2*j, 2*a + 4 = 5*j - 10. Suppose 5*h - 5*q - 25 = 0, 4*h + 9 - 24 = 3*q. Is j bigger than h?
True
Let q be 86/(-84) - (-3)/3. Let b be 2/(3/(-6)*-4). Which is smaller: b or q?
q
Let z be 728/32 - (-2)/8. Suppose 3*t - z = -4*x, 2*x + 4 = 3*t - 7. Let g be -2 + 6/8 + 2. Which is bigger: x or g?
x
Let b = 7 + -15. Let g be (-9)/42*b/(-6). Is 1 bigger than g?
True
Let q(u) = -u**3 - u**2 - u - 1. Let m(w) = 5*w**3 + 19*w**2 - 5*w - 3. Let h(c) = -m(c) - 6*q(c). Let p be h(12). Is -4 at least as big as p?
False
Let z = -41 + 42. Which is smaller: z or 4?
z
Let u = -478/7 + 29151/427. Is -1 not equal to u?
True
Let c = -15 + 29. Let r be 2*(-1)/(-8)*c. Which is bigger: 3 or r?
r
Let r be 30/(-1548)*(-4)/10. Are 1 and r nonequal?
True
Let i be 11/(1/((-1)/9)). Which is bigger: i or 0?
0
Suppose -3*r - 12 = -r. Let h be 6/(-10) - r/(-15). Let g be 1 - (-6)/8*-1. Is g <= h?
False
Let x be ((-53)/(-385))/(1/(-3)). Let r = x - -1/77. Is -1 bigger than r?
False
Let y = 16 + -11. Suppose -y*f + 5 - 15 = 0. Is f smaller than -1?
True
Let i = 6 + -2. Suppose 14*l - 3 = 13*l. Which is smaller: i or l?
l
Let r be (3 + -2 + -7)*(-8)/(-12). Let j = 8 - 12. Do r and j have the same value?
True
Suppose 2*m + 16 = p, -4*p - 33 = 4*m - 97. Suppose 0 = -5*r - p - 29. Are r and -9 equal?
True
Let s(h) = -3*h**2 + 22*h - 12. Let z be s(11). Which is smaller: -132 or z?
z
Let v = -11 + 8. Suppose -3*h + 22 = -3*c - 4*h, -5*h = -2*c + 8. Let k be (-4)/6 - (-2)/c. Does k = v?
False
Let w be (-1 - -5) + (-154)/33. Which is bigger: w or -2/19?
-2/19
Let r be 5*3*4/(-390). Which is smaller: r or 0?
r
Suppose -2*l + 30 = 5*m, 3 = -2*l - 3*m + 25. Suppose -22 = -5*g - 4*y + 2*y, 3*y + 17 = l*g. Let b be ((-8)/(-4))/(g/6). Is -0.1 at most b?
True
Let y = 0.9 + -0.9. Let f = 13 + -8. Which is smaller: f or y?
y
Suppose 3*m + 2 = 5. Suppose -g - 55 = -0*g. Let c be g/88 - 1/(-2). Which is greater: m or c?
m
Let w = -59 - -61. Suppose 2*d - 1 = 5. Which is greater: w or d?
d
Let s(u) = -u**3 + 4*u**2 + 5*u + 3. Let w be s(5). Suppose -11 = -4*y + w*p, -4*y - 14 = -0*y + 2*p. Let x = -13 - -13. Is x <= y?
False
Let s = 10 - 6. Let g = s - 2. Which is bigger: -0.1 or g?
g
Suppose -z + 5 = -6*z + 3*l, 5*l = 0. Let n be (-3)/7 + 6757/70. Let q = 96 - n. Which is bigger: q or z?
q
Let y be (1 - 2)/(2/10). Let q = y + 7. Let m be q - (1/(-1) - -1). Is m at least 1?
True
Let v(o) = o**3 - 7*o**2 + 6*o - 7. Let l be v(6). Let s = l - -7. Suppose 0 = 2*h + 3*b - 6, b - 2 + 0 = 3*h. Do h and s have the same value?
True
Suppose 5*l + 52 = -18. Which is smaller: l or -15?
-15
Let i = 2096 + -14636/7. Which is greater: i or 4?
i
Let p be (-2)/4*(-1 + -1). Suppose -5*x + 5*s = -20, p + 7 = -2*x - 2*s. Let j be (-3 - (-38)/12)*-4. Which is greater: j or x?
x
Let f be ((-1)/23)/((-9)/6). Let s = f + 124/483. Which is bigger: s or -1?
s
Let h = -14 - -15. Which is greater: h or -2/149?
h
Let q be 2/(-4 - -4 - 4). Are q and -1/2 unequal?
False
Suppose -48 = -2*k + 32. Let h = 28 - k. Is h < -13?
False
Let y(z) = -z**3 + 3*z**2 - 4*z - 11. Let l be y(5). Is l not equal to -81?
False
Let g be (2 - -7)/(6/4). Suppose 0 = -a + 5*w + 10 + g, -5*a - w + 2 = 0. Which is greater: a or -2/7?
a
Suppose -y + 0*y + 7 = 0. Let o = y - 6. Suppose 0 = -4*n - z + 5, -z - 2*z + o = 5*n. Do n and 2 have different values?
False
Let u = -0.94 + -0.06. Let d = 0.07 - -0.03. Which is smaller: u or d?
u
Suppose -2*u + 20 = 3*u. Let p be (-3)/12*-6*u. Let o be 581/(-189) + p/2. Is -1 > o?
False
Suppose -3*d + d = 0. Do d and -3 have the same value?
False
Suppose q + 2*g - g = 0, 9 = -4*q + 5*g. Let d be ((-6)/((-2)/q))/1. Is -4 smaller than d?
True
Let p = -0.2 - 0. Let v be (244/4)/(3 - 1). Let n = v - 30. Is p < n?
True
Let r = -18 + 26. Suppose -4*t = -9*t + 3*m - r, -4*m - 4 = -3*t. Let k = -10 - -7. Is k bigger than t?
True
Let k(r) = 2*r - 4*r + 3*r. Let o be k(-2). Let n be 20/(-6) - (-5 + 7)/(-2). Which is smaller: n or o?
n
Let t = -56 - -113/2. Suppose z = 4*z - 3*a + 18, 0 = 5*z - 3*a + 26. Does z = t?
False
Let s = 13.6 - 4. Let q = -10 + s. Let z be 0 - ((-6)/(-8) + -1). Are z and q non-equal?
True
Let f = 6.93 + -7. Let a = f - 0.93. Let d = 0.3 + -0.5. Does a = d?
False
Let l = -25 + 15. Let z be 2/l*10/(-32). Is z > -1?
True
Let v = -366/445 - -2/89. Which is smaller: -1 or v?
-1
Let n be -2 - (159/75 - 4). Let c = 16/75 - n. Let q = 2 + -1.9. Is q at least as big as c?
False
Suppose -2*i + 28 = 3*t, i + 50 = 5*t + 6*i. Suppose 5*h = -17 - t. Is -4 < h?
False
Let a be (-1)/(-5)*5/(-2). Let v(s) be the third derivative of -s**4/24 + 5*s**3/6 - s**2. Let f be v(7). Which is smaller: f or a?
f
Let g be 1 + (2 - 3) + -4. Let w be (-5)/2 - g/8. Let r be 1/6 + 2/(-3). Which is smaller: r or w?
w
Let o = 130 + -129.9. Let z = 1.95 - 2. Which is smaller: z or o?
z
Let p = -47/40 + 3/10. Let s = p + 5/8. Are s and -1/3 unequal?
True
Let r = -8 - 5. Is r at least as big as -12?
False
Let w = -375/13 + 29. Let s = -3.05 - -0.05. Do s and w have the same value?
False
Let z(h) be the first derivative of -h**5/20 + h**4/2 - h**2/2 + 2*h + 2. Let k(o) be the first derivative of z(o). Let m be k(6). Is -1/3 < m?
False
Suppose 6*a + 3*a = 90. Are a and 7 non-equal?
True
Suppose 0 = 4*d - 0*d. Let p be (-5 - -7) + (-24)/11. Which is smaller: p or d?
p
Let y = 0.4 - 1.3. Let k = -1.1 - -0.1. Let g = k - y. Is -2/7 bigger than g?
False
Let d = 130.1 + -138. Is d < 0.1?
True
Suppose 2*y + 7 = y. Let n = 13 + y. Let c = 8 - n. Is 0 <= c?
True
Let c = 1 + 1. Let s = c - 4. Let u be ((-18)/(-48))/(s/4). Which is smaller: -2 or u?
-2
Suppose -4*c - c - 20 = 0. Let f be 1*(-1 - -3) + c. Which is smaller: -1 or f?
f
Suppose -3*f - 23 = 10. Which is bigger: f or -10?
-10
Let l = -27100/2139 + 2/713. Let h = -13 - l. Let i = -43 - -125/3. Is h >= i?
True
Let o be (-4 - -2) + 100/45. Is 0.015 < o?
True
Let a = 1.9 + -2. Let p = 0.09 + a. Let z = p + 2.01. Which is smaller: z or -2?
-2
Let y = 54.026 - 54. Which is smaller: 0 or y?
0
Let o be 1/1 + 12/4. Let g be (0 - 2)*(-2)/o. Let c = -215/7 - -31. Do g and c have different values?
True
Let k = -67 + 62. Is -14/3 at least as big as k?
True
Let g = 92 + -93. Is g smaller than 3/140?
True
Let u = -4 + 4.1. Is u at most as big as -3/8?
False
Let s be 0 - ((-1)/4 + 0). Suppose 2*o + 11 = 23. Let c = -6 + o. Which is smaller: c or s?
c
Let j = -62 + 62.3. Do -0.16 and j have different values?
True
Suppose 6*u = 2*u - 32. Let s be (1/20)/(u/20). Is 0 > s?
True
Let d be (-2 - -4 - 3)/1. Is -17/13 at least d?
False
Let w be 0 + 4/4 + -3 - -1. Which is smaller: 1/41 or w?
w
Let v be (-2 - -3)/(1 - 2). Is v greater than 3/10?
False
Let b = -0.02 + 3.02. Which is bigger: b or 1?
b
Let m(i) = -i - 4. Let d be m(-3). Let l = d - -1. Which is greater: 2/25 or l?
2/25
Let n(v) = 33*v + 5. Let y be n(7). Let l = y - 463/2. Which is greater: l or 5?
5
Let s be 1/2*(-2)/4. Let y = -1 - -4. Suppose -y = 2*h - 0*h - 5*z, -3*h + 5*z = 2. Which is bigger: h or s?
h
Let p(m) = m**3 - 4*m**2 + m - 2. Let z be p(3). Is -9 < z?
True
Let p = 2 - 0. Let c = -1.66 + -0.24. Let t = c + p. Which is smaller: 2 or t?
t
Let d(a) = -a**2 + 4*a. Let c be d(2). Let n = c - 6. Let p be -2*(-7)/((-21)/6). Which is smaller: n or p?
p
Suppose 0 = 3*n - l + 2*l - 139, -3*n + 5*l + 115 = 0. Are n and 45 nonequal?
False
Let a be (12/(-15))/(2/(-25)). Let i = a + -7. Suppose -4 = i*o - 13. Is o != 3?
False
Let t = -15 + 15. Is t > 3/2?
False
Let l = 10 - 10.2. Which is smaller: l or 1.1?
l
Let b = 37 + -41. Which is smaller: 2/29 or b?
b
Let u = 21 - 3. Suppose 0*t = -2*t + u. Does t = 8?
False
Let f = 11 + -10. Is f != 16?
True
Let i be (6*(-4)/(-6))/2. Let d = -3 + i. Let p = 2 - d. Is 2 bigger than p?
False
Let v be 1*-2 + (-27)/(-12). Suppose -60 = 2*s + 2*s. Let l be ((-4)/(-6))/(10/s). Which is smaller: v or l?
l
Suppose -3*a - 6 = -9*a. Whi