 2*h - 8. Let r be 8*2/h + 2. Let q = r - 4. Which is greater: 4 or q?
4
Let p be -2 + 2 - (-5 + 8). Is p < -1/4?
True
Let r = 5 - 1. Let o = r + -4.2. Let n = -0.03 + -0.07. Which is bigger: o or n?
n
Let z = -2 + 6. Suppose -28 = -z*v - 4. Let j be (1/11)/((-3)/v). Is j smaller than 1?
True
Let a be (-2)/(-5) + 44/(-10). Suppose -2*h = -5*f + f - 24, f - 5*h = -24. Let n = f - a. Do n and 0 have the same value?
True
Let j = -4.1 - -0.1. Let q = -61 - -59. Is j < q?
True
Let d be ((-6)/(-5) + -2)*(-10)/2. Which is smaller: d or 13/3?
d
Suppose z = -4*x - 15, -4*x + 0*x = -z + 25. Suppose 0 = 4*p + 4*m - 0*m + 24, 4*p - 21 = z*m. Is -1 less than p?
False
Let w(c) = c**3 - c**2 - 2*c + 1. Let x be w(1). Let m = 2351 - 35206/15. Let v = m - 18/5. Which is greater: v or x?
v
Suppose -3*j = j. Does j = 2?
False
Let t = -1 - -1. Suppose t*r - r = -142. Let q = 707/5 - r. Is q at least as big as -2?
True
Let w(s) = -66*s + 4. Let k be w(1). Which is greater: -61 or k?
-61
Let s = 57 - 55. Which is bigger: 24/11 or s?
24/11
Suppose -4*b - 78 = -26. Which is smaller: -15 or b?
-15
Let d(t) = -t + 12. Let g be d(10). Suppose 2 = -3*n - j, j = -g*n + n. Which is smaller: -1/5 or n?
n
Let i(y) = 2*y**2 - y - 1. Let a be i(-5). Suppose 5*j = -j + a. Is j < 10?
True
Suppose 0*o - 12 = -2*s + 2*o, 0 = 5*s + 2*o + 5. Which is greater: s or 1/4?
s
Suppose 0 = 3*j + j + 2*t - 2, 2*j = -3*t - 1. Suppose 3*d = -d + 68. Suppose -m + 5*f - 14 = 0, 4*f = -3*m + d - 2. Is m greater than or equal to j?
True
Let l(q) be the third derivative of 31*q**5/30 + q**3/6 - 2*q**2. Let f be l(1). Let n be 12/f + (-1)/3. Is 0 not equal to n?
True
Let c be 78 - (1 + (-1 - -1)). Let f = 1003/13 - c. Let m = 1 - 0. Which is smaller: f or m?
f
Let n = -15 + 16. Which is smaller: n or 0.5?
0.5
Let p = 1 - 3. Let g = 1 + p. Which is bigger: g or 0.4?
0.4
Let l be (-8)/(-44) - (-48)/(-22). Let v be (-1)/2*l*2. Suppose -i = -v*i. Which is greater: i or 6/11?
6/11
Let z = -149 - -149. Which is bigger: -76 or z?
z
Suppose -7 + 2 = m. Suppose 0 = 2*v - n + 8, -v - 4*n = 2 + 2. Is v != m?
True
Let p = 8 - 20. Let o = -6 - p. Suppose w - o = -2*w. Is w bigger than 1?
True
Let m = 37 - 12. Suppose -m = -4*l - 5. Let s = 17/3 - l. Which is greater: s or 0?
s
Let i = 1388/7 + -198. Suppose 0 = 4*k + 5 + 3. Let w be (-1 - -1)/(k + 4). Is w != i?
True
Suppose -114 = 30*v - 27*v. Which is smaller: -37 or v?
v
Let w = 19 + -26. Is w at most as big as -17/3?
True
Let l be -2 + -3 + (-1 - -5). Which is bigger: l or 1/5?
1/5
Let n = 36 - 30. Which is greater: 1 or n?
n
Let b = 4 - 4. Suppose g + 1 = 2*g. Are b and g nonequal?
True
Let g be 4/3*12/(-28). Which is greater: 0 or g?
0
Let w = 178 - 1250/7. Let q(p) = 3*p - 2. Let v(j) = j - 1. Let f(z) = -q(z) + 2*v(z). Let d be f(1). Do w and d have the same value?
False
Let h = -16 + 12. Let l = -5 - h. Which is bigger: 0.04 or l?
0.04
Let q be 21/18 - (-2)/4. Let c(p) = -p**2 - 22*p - 20. Let o be c(-21). Is o <= q?
True
Let h = 6 + -10. Let s(u) = u**2 + 6*u - 2. Let g be s(-6). Are h and g nonequal?
True
Suppose -2*s - 110 = 160. Let m be (6/s)/((-1)/(-5)). Which is smaller: m or -2?
-2
Suppose -4 = -2*c - 118. Let i = -286/5 - c. Which is smaller: 0 or i?
i
Let t be (-2 - 45/(-4))/(4/16). Which is greater: t or 35?
t
Let z be 2/(-8) - 67475/420. Let c = 161 + z. Let g = c + -25/42. Is -1 > g?
False
Suppose 5*x + 4 = -1. Is x smaller than -2/25?
True
Let j = -22 - 1. Is j greater than or equal to -24?
True
Let v = -184 - 60. Let u = v - -6102/25. Is u at most 0?
False
Suppose -3*x + 5 = 5*t, -5*x + 2 = -2*t - 27. Let i(b) = -b - 5. Let y be 1*(-21)/3 + 2. Let r be i(y). Is t greater than or equal to r?
False
Let t be ((-32)/(-20) + -2)/(77/(-5)). Which is greater: 1 or t?
1
Suppose -2*j = -7*j + 10. Let h be -1 - ((-20 - -3) + j). Is 13 > h?
False
Let s be (-29 - -1) + 9*2/6. Is -27 smaller than s?
True
Let t be -2*(-1)/(-2) - -2. Let k(m) = 3*m**3 - m**2. Let p be k(t). Suppose -2*x = u - 9, -6*u = -3*u - p*x + 5. Is u equal to 1?
True
Let h = -0.01 - -18.01. Let i = -25 + h. Which is smaller: i or 1?
i
Suppose 10 - 8 = -2*x. Do 10 and x have the same value?
False
Suppose 4*b = 3*k - 142 - 22, 3*b = -2*k + 98. Which is bigger: -1 or k?
k
Let i = -47 - -47. Which is smaller: i or 2/213?
i
Let z = -67/6 - -38/3. Which is smaller: 1 or z?
1
Let k(y) = 23*y - 1. Let x be k(1). Are x and 22 non-equal?
False
Let r be (3 - (-1 + (-4)/(-1)))/2. Is r smaller than 1/3?
True
Suppose 2*z + 6 = 4*z. Let p(w) = w**3 - 9*w**2 + 6*w + 4. Let k be p(8). Let m be ((-1)/2)/(2/k). Is z at most m?
True
Suppose 0 = -2*f - 230 - 12. Let h = f + 845/7. Is -1 less than or equal to h?
True
Let b(y) = -2*y**3 + y. Let r be b(-1). Which is smaller: 0 or r?
0
Let k(h) be the second derivative of h**5/20 + 5*h**4/6 - 7*h**2/2 + 3*h. Let w be k(-10). Which is greater: w or -8?
w
Let v(a) = a**2 + 5*a + 1. Let s be v(-3). Let h = -22/9 - 37/18. Which is greater: h or s?
h
Let y(g) = -g**2 + 6*g + 3. Let a be y(6). Suppose -a*q - 13 = 2. Let z = -4 - q. Which is smaller: 3 or z?
z
Let z = 1649377500498797750911/5712940 + -288709053569406. Let s = -4/34835 + z. Let r = s - -2/41. Are 0 and r equal?
False
Let t(h) = 4*h - 1. Let m be t(6). Let z = m + 1. Is z at most 24?
True
Suppose 0 = a - 51 + 52. Is a < 1.3?
True
Let n = 1.04 + -0.04. Let b = 2 - n. Let t = -0.02 + -0.38. Is b at most t?
False
Let p = -3/23 - -81/92. Is 2 not equal to p?
True
Let b = 578/2331 + -8/37. Are b and 1 non-equal?
True
Suppose -d - 4*d - 5 = 0. Does d = 15?
False
Let n = -104/5 + 21. Is 0 bigger than n?
False
Suppose -9*r = 3*r. Is 10/7 smaller than r?
False
Let b = -0.3 + 6.3. Let r = 1 - b. Let g = r - -5.1. Which is smaller: g or 0.04?
0.04
Let c be 1 + -1 + 40/32. Suppose -5*t = -3*x + 23 - 5, 0 = -3*x - 4*t - 9. Which is smaller: x or c?
x
Let l be (-4)/(-10) + (-2680)/(-50). Suppose -5*d + l = 144. Is d smaller than -18?
False
Let d = 0 + 1.3. Is -1/4 greater than or equal to d?
False
Let r = 61 - 54.2. Let d = r - 11. Let s = 4 + d. Which is greater: s or 0.2?
0.2
Suppose 170 + 88 = -2*v. Let k = -907/7 - v. Which is greater: k or 0?
0
Let w = -5 - -7. Suppose -w*q - 9 + 3 = 0. Let l = -44 + 42. Which is smaller: l or q?
q
Suppose 2*q = -2*q. Suppose q = 5*o - 3*o. Which is greater: -1 or o?
o
Let g(f) = -f**2 - 2*f + 3. Let u be g(-4). Let z = u + 5. Which is bigger: -2/17 or z?
z
Suppose -i + 23 - 27 = 0. Which is bigger: -10 or i?
i
Let l be (1/102)/((-22)/4 + 4). Which is bigger: l or -1?
l
Let h = 0 - 0.1. Let r = -2 + 2. Is r greater than h?
True
Let r(y) = -y**2 + 6*y - 10. Let l be r(4). Which is smaller: l or -0.3?
l
Let s be (0 - 0/(-3))/(-1). Let h = 6 - 4. Suppose -h*v + 0 - 4 = 0. Is v bigger than s?
False
Let v = 1.1 + -1. Let x = 0.1 - 0.1. Let p = -1 - x. Which is smaller: p or v?
p
Suppose 0*b + 18 = 3*b. Let h = b + -5. Which is bigger: 16/7 or h?
16/7
Let h = -47/7 + 50/7. Let w be ((-1)/2)/((-2)/4). Is w < h?
False
Let o = 1/14 - 17/42. Does 0.05 = o?
False
Let r = -3.3 - -3.2. Which is bigger: r or -2/43?
-2/43
Let i be (-1 + (-130)/134 + 2)/1. Which is smaller: i or 0?
0
Let g(i) = -i + 8. Let q be g(5). Let b be ((-96)/(-45) - q) + 1. Is 1 >= b?
True
Let b = -6.38 + 7. Let v = -0.12 + b. Which is smaller: v or -0.1?
-0.1
Let t = -28 - -31. Is t at most 3?
True
Let m(b) = -7*b**2 + 19*b + 16. Let v(t) = -4*t**2 + 9*t + 8. Let s(z) = -3*m(z) + 5*v(z). Let y be s(12). Which is smaller: y or -7?
y
Let r(h) = h. Let y be (1/(-1))/(-6 + 5). Let z be r(y). Let o be 3/(-30)*(-1 - z). Which is greater: o or 0?
o
Let v = -0.05 - -0.45. Let u = 1 + -1.2. Which is smaller: v or u?
u
Let r be (-1 - -4)*(-50)/(-6). Let b be (-4)/12 + r/21. Are b and 2 non-equal?
True
Let r = 2355 + -2342.07. Let h = r - -0.07. Is -0.1 greater than h?
False
Let b = -0.1 + 1.1. Let z = -2.08 + 0.08. Let c = b + z. Which is smaller: 1/3 or c?
c
Let h = 0 - 2. Let i be (7 - 11)/(3 - 1). Are i and h equal?
True
Let a(u) = u**2 - 5*u + 3. Let l be a(5). Let w = -41 - -43. Which is smaller: l or w?
w
Let y = -11 + 19. Let r be y/(-52) - 108/(-195). Is r less than 8?
True
Let g = -11 + 14. Let f be (g/9)/(1/(-11)). Is f greater than or equal to -5?
True
Let h = -67 - -77. Which is bigger: 0.2 or h?
h
Let v