e (-28)/(-6) - 2/3. Suppose z*q = 2*h + 14, -5*q = 2*h - 6*h - 16. Let g be (-1)/3*(-12)/40. Which is bigger: h or g?
h
Let w = 0.2 + 0.8. Let i = -182 + 191. Is w at most as big as i?
True
Let k = 0.45 + -0.5. Which is bigger: k or 2?
2
Let t be -1 - 1 - (0 - 1). Are t and 1/4 non-equal?
True
Let r = 100.206 - 0.206. Which is smaller: -1 or r?
-1
Let u be 12/5 - 6/15. Suppose u = -o + 1. Let y = -1.5 - -1.5. Does o = y?
False
Let l = -0.2 - -0.3. Let y = -0.3 + l. Let o = -2 - -2. Which is smaller: o or y?
y
Let y be (-4)/(-202)*-2*(-18)/72. Does y = -1?
False
Let c(t) = t**3 + 9*t**2 + 3. Let w be c(-9). Let p(n) = 2*n - 6. Suppose 3*h - y = 16, -2 - 10 = 2*h + 5*y. Let r be p(h). Which is greater: w or r?
w
Let b = -0.6 - -0.5. Let x = -24 + 17. Is x greater than or equal to b?
False
Suppose 1 = -5*l + 21. Suppose 2*s = 3*i - 12, -5*s + 5 = -l*s + 4*i. Which is bigger: -2 or s?
-2
Suppose -q - 3*m + 4 = 0, q + 5*m - 8 = -2*q. Let x = -25 + 74/3. Which is greater: x or q?
q
Let b = -342/125549 - 36160969/1059005815. Let u = -2/241 - b. Which is greater: 0 or u?
u
Let p(m) = 3*m - 4*m**2 + 2*m**2 + 3*m**2 - 1. Suppose -2*n + 4*f = 12, -14 = 3*n - 0*f - 2*f. Let q be p(n). Are q and 2 equal?
False
Let i(f) be the first derivative of f**4/4 + 5*f**3/3 - 3*f**2 + 2*f - 5. Let m be i(-6). Which is bigger: m or -2?
m
Suppose 4*m = 3*l - 5, l = -4*m + 4 + 3. Suppose -2*q - 2*q = -96. Let f be ((-5)/8)/((-6)/q). Is l >= f?
True
Let y(q) = -q**3 + 4*q**2 + q - 2. Let a be y(4). Are 2 and a nonequal?
False
Let o be 12/(-8)*156/(-9). Let x = 28 - o. Suppose -3*h = -m + 2, 5*h + 2*m = 4*m - 5. Are x and h equal?
False
Let p(j) = j**3 - j**2. Let h = -1 + 1. Let x be p(h). Which is smaller: -1 or x?
-1
Let s = 4 + -6. Let x = -28.2 - -28. Is x at most as big as s?
False
Let z = 752/22575 + -2/301. Is z greater than or equal to 1?
False
Let p = 77 + -384/5. Let x = -0.209 + -0.791. Is x at least as big as p?
False
Let d = 24595/44 - 559. Which is greater: d or -1?
d
Let r(z) = -z**2 - z + 7. Let s be r(-3). Suppose -3*f = 5*q - 0*q + 14, -f + 5*q + 22 = 0. Which is greater: f or s?
f
Suppose g + 3*g - 18 = -b, -3*b + 4*g - 26 = 0. Suppose 3*v - v + 4 = 0. Do b and v have the same value?
True
Let s be -1 + ((-12)/(-1))/(-3). Let u = s - -5. Let b = -3 + u. Is b <= -3?
True
Let r be (-2 - (-41)/28) + (-1)/(-4). Let s be 2/6 + -1 - 0. Which is greater: s or r?
r
Let k = 4971/2 + -34285/14. Let n = -36 + k. Let m be 6/(-9)*(-6)/4. Are n and m nonequal?
True
Let u be -29 + (-3)/((-9)/6). Let c be u/(-66) - (-3)/(-6). Which is bigger: c or 0?
0
Let s = 0.16 + -0.21. Is s less than 0?
True
Suppose 0*n - n + 27 = 0. Let p be 6/n - (-1)/(-3). Which is smaller: 1 or p?
p
Let g = 370 + -10727/29. Which is smaller: 0 or g?
0
Suppose -3*u = -5*s + 16, -5*u + 0*u - 12 = -s. Suppose 4*f + 4 = 12. Are s and f unequal?
False
Let i(d) = 14*d - 3. Let a be i(6). Let x be (-3)/21 + a/(-21). Let z be x/(-10)*(-5)/10. Is 1 less than or equal to z?
False
Let p = -254.06 - -258. Let u = 0.02 + 0.04. Let o = u + p. Which is smaller: o or 0.1?
0.1
Suppose 27*z = 17*z - 590. Which is smaller: -58 or z?
z
Let l = -0.5 - 0.1. Let f = -0.3 - l. Let m = 0.4 - f. Which is greater: m or -0.1?
m
Suppose 3*k + 4 = 5*k. Suppose 5*t - 3*l = -1 + 16, -l = 4*t + 5. Let w(i) = -i**3 - i**2 - i + 1. Let v be w(t). Which is smaller: v or k?
v
Let l = -29 + 16. Let c be 2/(-6)*(l + -8). Let k be (1 + (-1)/(-5))*5. Which is bigger: c or k?
c
Let k = -14.81 + -0.19. Let r = 14.9 + k. Is r > -2?
True
Let f = 0.61 + 0.09. Let g = f + 0.3. Let q = 0.1 + -0.2. Is q not equal to g?
True
Let q = 2.01 - 1.61. Is -5 at most q?
True
Let q be ((-3)/(-18))/(2/(-6)). Which is smaller: 3/5 or q?
q
Let s = -1.09 + 1. Let x = 0.01 - s. Let o be (0 + -4)/(0 - 1). Is o <= x?
False
Suppose -15 = -7*j + 2*j. Suppose m - 3*p + 9 = 0, 4*p - 16 = 5*m - j*m. Let u be 2 + 16/m - -1. Is u at most 0?
False
Suppose -3*t - 2 = -2*t. Let i be 1/t + (-138)/(-324). Is i at least 0?
False
Let q = -2 + -6. Let f = -7.93 - q. Is 2/7 at most as big as f?
False
Suppose -r + 4*r = 0. Which is smaller: 3 or r?
r
Let m(h) = 19*h - 1 + 0 - 2. Let l be m(-3). Let y be (l/(-27) - 2) + 0. Is 0 > y?
False
Let d = -5 - -7. Let z = d - 3. Is -3 not equal to z?
True
Suppose 2*w + 2 - 5 = -5*s, 5*s - 11 = -4*w. Is -2/23 >= s?
True
Let z = 9 + -10. Is z at most 2/11?
True
Let k(d) = d + 16. Let q be k(-11). Suppose q = -8*m + 3*m. Which is greater: -2/33 or m?
-2/33
Let k(f) = -f**3 + 7*f**2 - f + 2. Let d be 8 - (0 - (0 + -1)). Let w be k(d). Is -4 less than or equal to w?
False
Let k be (-21 + 3)*16/12. Let f be (k/160)/((-2)/4). Which is smaller: f or -2/7?
-2/7
Suppose 4*p + 5 = 5*s, 0*s + 3*p = 5*s - 10. Suppose -5*f + 0*f + s = 0. Is f greater than 6/11?
True
Suppose -3*a - 2 = -4*a. Let l(t) = 6*t**2 + 2*t + 3. Let u(b) = -3*b**2 - b - 2. Let i(r) = 3*l(r) + 5*u(r). Let f be i(1). Which is greater: a or f?
f
Let g = 0.11 - 2.01. Let j = -2 - g. Is -2 at least as big as j?
False
Suppose -n + 3*n - 38 = 0. Let r = n - 8. Let h = 17 - r. Which is bigger: h or 5?
h
Let m = 18 - 30. Let b be m/150*(1 + -6). Suppose 5*l = -2*d - 0*l - 7, 4*d + 3*l + 7 = 0. Which is smaller: b or d?
d
Suppose -2*i + 4*d = 18, 0 = 3*i - 2*d + 19. Suppose 0 = -2*n - n + 36. Let g(q) = -q**2 + 11*q + 7. Let v be g(n). Is i bigger than v?
False
Suppose -4 = 2*r - 4*r. Suppose 3*p = -r*p. Do p and 1 have the same value?
False
Let j be -10*((-36)/15 - -2). Let u = j - 5. Let r = -1.9 + 1.9. Which is smaller: u or r?
u
Let l be (6/(-3))/((-6)/83). Suppose 0*a = -5*v - a + 136, -4*v + 108 = a. Let w = l - v. Is w > 0?
False
Let i be (1/(-2))/((-5)/10). Let w be 2*(2/(-4) + i). Let o = -5 + 8. Does w = o?
False
Suppose i = -4*i. Let r be 1 + 0*(-3)/6. Is i at most as big as r?
True
Suppose 18 = 3*r + 2*y, -2*r = y - 0*y - 13. Is 0 <= r?
True
Let r = 1/23 - 25/46. Let w = 1.7 - 12.7. Let i = -12 - w. Is r less than or equal to i?
False
Let c = -22 + 20. Let b = -216/5 + 2386/55. Which is smaller: c or b?
c
Let f = -30.2 + 37. Let a = -7 + f. Do 0.2 and a have the same value?
False
Let w = -10 + 20. Suppose 6*n = n + 55. Which is smaller: n or w?
w
Suppose 4*s = -3*m - 9, m + 4 - 1 = 0. Let a = -6 + 10. Suppose 0 = h + a - 5. Are s and h unequal?
True
Let u = 1 + -1. Suppose -8*p = -7*p + 1. Let l be -3 - (15/(-3) + p). Is l less than or equal to u?
False
Let c = -0.3 - 0.2. Let m = -0.3 - c. Let w = 21 + -21. Is m less than or equal to w?
False
Let c = -0.8 - -1.8. Which is smaller: c or -13?
-13
Let c be 3*2/12*-2. Which is greater: c or 0?
0
Suppose -13 - 5 = -3*i. Let w = i + -6. Let f = 11 + -5. Is f at least w?
True
Let j(t) = t**3 + 10*t**2 + 8*t - 9. Let i be j(-9). Does i = 6/5?
False
Let p = 35 + -63. Is p greater than -28?
False
Suppose 2*o = 10, 0 = -2*d - o + 10 + 23. Suppose -2*g = 2 - d. Are g and 6 equal?
True
Suppose -2*h + 3*m = -2, 3*m + 18 = -4*h + 4. Let v = 0 + -1. Which is smaller: h or v?
h
Let a = -0.02 + 0.08. Let w = a + -0.16. Is w at least as big as -0.4?
True
Let i be (46/(-161))/((-2)/(-4)). Let m(g) = g**2 + 5*g - 7. Let v be m(-6). Which is bigger: i or v?
i
Let r = 0.303 - 15.403. Let g = -15 - r. Do -2 and g have the same value?
False
Let x be 2/(-5)*(-50)/2. Let o = x + -15. Let p be ((-4)/5)/(2/o). Which is greater: p or 3?
3
Suppose 2*c - 5 - 13 = -2*u, 0 = -2*u - 5*c + 27. Let q(v) = -v**2 + 7*v - 6. Let a be q(4). Do u and a have the same value?
True
Let g be 20/35*((-30)/9 + 1). Let c be (-24)/14 + 2/(-7). Is g >= c?
True
Let o be (2 - 0 - 2)/(8 - 11). Let v = 9996/19 - 526. Which is smaller: o or v?
o
Let i(w) = -w**3 + 5*w**2 + 3*w + 6. Let s be i(6). Which is smaller: -15 or s?
-15
Suppose -3*b = -b - 6. Suppose -b - 2 = -5*f. Let s = f - -1. Are s and 1 equal?
False
Suppose 2*h = -0*h - 4. Suppose -a - 2*l = -6, 0 = l - 1 - 4. Let q be 0 + 1 + (a - -2). Which is greater: q or h?
q
Let i = -0.5 + 0.4. Let s = 767/232 - 27/8. Which is smaller: s or i?
i
Let r be (6*(-14)/(-4))/(-10). Let t = r - -143/30. Is t != 4?
True
Suppose 4 + 2 = -3*f. Suppose -w - 32 = 3*w. Let u be ((-2)/w)/(2/(-12)). Which is smaller: u or f?
f
Let x be 5*(15/3 - 2). Suppose -y - 2*y - x = -k, 0 = -k - 5*y - 25. Suppose -4*m + k*b - 2*b = 10, 5*b + 5 =