h is smaller: a or 1/2?
1/2
Suppose 0 = -4*v, 0*v - 4*v = 2*m. Suppose m = -5*i - 5*k + 45, -2*i - 3*k = -4*i + 8. Which is bigger: i or 8?
8
Let k(n) = -n**2 + 2. Let a be k(-2). Suppose -3*c + 4 = b, 0 + 9 = 4*c + 5*b. Let s be 9/(-2) + 2 + c. Which is smaller: a or s?
a
Let n = -1 + -1. Let s be (-4)/110*-5 - 13/11. Which is smaller: s or n?
n
Let k = -0.1 + -0.9. Let g = 3 + -1. Let u = k + g. Which is smaller: u or 0.1?
0.1
Let k be 2/(-6)*(-20)/(-6). Is k >= -2?
True
Let w = 0.64 - 0.54. Which is bigger: w or -1/5?
w
Let l be 0 + 0 - (-6)/(-6). Is l != -4/3?
True
Let o = -6 - -6.3. Which is greater: o or 0.1?
o
Suppose 2*w + 16 = 5*w + 5*p, -5*w + 10 = 5*p. Which is greater: -10/3 or w?
w
Suppose -2*t + 2*i = i - 15, 24 = 4*t - 4*i. Let y be 0 + (-3)/t*-3. Which is smaller: y or 3?
y
Let i = 43 - 42. Which is smaller: i or -18?
-18
Suppose h = -4*g + 9, g - 18 = h - 4*g. Which is greater: -2 or h?
-2
Let v = -4.64 - 3.32. Let f = v - -8. Which is smaller: f or 0.1?
f
Suppose 0 = -5*n - 9 + 4. Which is bigger: n or -1/3?
-1/3
Let k = -5/156 - -73/12012. Is k at least as big as 0?
False
Let d(l) = l**3 + 11*l**2 + 16*l + 12. Let t be d(-10). Let h be 4/6 + t/(-9). Let k be h/4 - (3 - 1). Is 3 at least as big as k?
True
Let c = 18 - 17. Let h be (0 - c) + 18/30. Which is greater: h or 1/5?
1/5
Let u(h) = h**2 - 2. Let m be u(0). Let x = 2.1 + -0.1. Let t = x - 1.9. Which is smaller: t or m?
m
Let h be ((-201)/(-4))/(27/42). Let r = 78 - h. Which is greater: r or -1?
r
Let g = -67.72 - 1.28. Let k = 66.1 + g. Let p = k + 3. Is p less than 0.1?
False
Let n be 3 + 0*(-3)/6. Is 20/9 at most n?
True
Suppose 0 = -5*i + 4 + 1. Which is smaller: i or 3/8?
3/8
Let l be ((-2)/4)/(2/(-4)). Suppose -27 = -3*k - 117. Let v be 5/k + 4/6. Which is greater: v or l?
l
Let r = 7.71 - 0.71. Is -0.1 less than or equal to r?
True
Suppose -5*y + 13 = 8. Which is greater: 0 or y?
y
Suppose -l + 4*l = 0. Suppose 0 = 5*v - 2*v. Suppose v = -s + 3*s. Are s and l equal?
True
Suppose -2*l = 3*l + 5. Let z be 0/3*l*-1. Suppose z = -10*p + 5*p - 10. Which is smaller: -3 or p?
-3
Let c = 2.8 - 2.55. Let u = -0.05 - c. Which is greater: u or 2?
2
Let w = -10 - -25. Let y = w + -15.3. Are y and -2 equal?
False
Let s = -0.4 + -3.2. Let u = 0.4 - s. Is u less than -1/4?
False
Let h = -15 - -27. Let m = -12 + h. Let l = 6 + -5. Which is smaller: m or l?
m
Let k(w) = w**2 + 4*w. Let t be k(-5). Let o(g) = -1 + 1 + g + 2*g**2. Let y be o(1). Is t less than y?
False
Let s be (2 - 1) + 1 - -2. Suppose -2*g - s*b - b = -5, 5 = -4*g + 5*b. Let z = -11 + 11. Is g > z?
False
Let j = 16 - 17. Are -6/5 and j unequal?
True
Let n(r) = -r**3 - r**2 - 3*r - 2. Let b be n(-2). Is b < 9?
True
Let o be -1 - -1 - -2 - -1. Let k be (-94)/6 + 12/18. Let r be 5/2*(-18)/k. Is o bigger than r?
False
Let c = 18 - 17.7. Let d be -2 - (-4)/14 - -2. Which is smaller: c or d?
d
Let g be 66/(-21) - (-2 - -1). Which is smaller: g or -1?
g
Let o = -40.2 - -40. Are -2/5 and o non-equal?
True
Let h be 35/(-21) + (-1)/3. Let y = -1 - -3. Suppose -3*g - 5 + y = 0. Is h greater than g?
False
Let g(m) = -2*m**2 - 22*m - 10. Let s be g(-10). Suppose t = d - s, -3*t = -2*d - 2*d + 39. Is 7 less than or equal to d?
True
Let h = 5521/2 - 2832. Let a = 70 + h. Is a != -1?
True
Let x(v) = -v**2 + 9*v + 11. Let p = 19 + -9. Let q be x(p). Let l be 1*(3 - 0)/3. Is l at least as big as q?
True
Let m = -2936/5 + 589. Do 2 and m have different values?
True
Suppose 2*o = o. Let d(j) = -j**2 - 2*j - 2. Let y = 0 + -2. Let x be d(y). Which is greater: o or x?
o
Let l = 0.29 - 0.18. Is 0 >= l?
False
Suppose -2*j = -5*o - 12, 3*o = -o - 16. Which is bigger: -1 or j?
-1
Let s = -1/410 + 169/2050. Let c = -7/225 - s. Is c smaller than 2?
True
Suppose 52 = 5*v - 13. Is 14 less than or equal to v?
False
Let m = 4 - 6. Let a be 2/(-9) + (-99)/(-81). Suppose -9 = 4*w - 2*u - a, -5*u = 5*w - 5. Which is smaller: w or m?
m
Suppose m - 6*m = -25. Which is smaller: m or 7/2?
7/2
Suppose 3*o = 2*h - 5, h + 3*o + 11 = -0*h. Let i be (-4)/(h - (3 + -3)). Let x be 20/(-15) + i + -1. Which is greater: x or 1?
1
Let p = -4 - -4. Suppose -t + 10 + 0 = p. Suppose z - 4 = f, 0 = -3*z + t + 5. Which is smaller: f or 2?
f
Suppose 0*j + 5*j - 15 = 0. Let k = -1.4 + 1.4. Which is greater: j or k?
j
Let d = -138.8 + 139. Which is smaller: -15 or d?
-15
Let p = -8 + 6. Let q = 9 + -2. Let i = q - 8. Which is greater: p or i?
i
Let v be 8/(-12)*6/(-4). Let m be 2*(v + -1 + 1). Let l = -0.7 + 0.8. Do m and l have the same value?
False
Let p = 0.25 + -0.45. Let j = p + 0.3. Which is greater: j or 4/5?
4/5
Let a = 0.04 - 0.05. Let b = a - -0.11. Which is greater: 3 or b?
3
Let n(a) = a**3 - a + 5. Let o be n(4). Let i be (-4)/(-18) + o/315. Which is smaller: i or 1?
i
Let g be (-7*1 + 1)*-1. Let t(w) = -3*w**2 + 17*w - 3. Let l be t(5). Which is smaller: l or g?
g
Let y = 8 + 3. Suppose 16*f - 13*f + 2*b = 30, 0 = -3*f - 4*b + 30. Is y at most f?
False
Suppose 17*i - 9*i - 160 = 0. Is 23 > i?
True
Let j(d) = -d + 5. Let r be j(4). Which is smaller: -1 or r?
-1
Let g(c) = c**2 - 4*c - 8. Let m be g(6). Let u(b) = 3*b**2 - 6*b. Let x be u(m). Let s be (1/(-4))/((-15)/x). Is s > 0?
True
Let a be (-7)/6*6/(-21). Is 1/6 greater than a?
False
Let n = 43078/5 + -8733. Let p = n - -117. Is p greater than 10?
False
Suppose 3 = 4*u - 21. Are 5 and u nonequal?
True
Let a = 68 + -57. Is 11 bigger than a?
False
Let z(f) = 1 + 0 - 3*f - f**2 - 7 - 4*f. Let c be z(-6). Is c equal to -1?
False
Let k(w) = -4 + 10*w + 4*w**2 - 3*w**2 + 0 + 0*w**2. Let j be k(-10). Are -8 and j non-equal?
True
Let q(r) = r**3 - 7*r**2 + 6*r - 2. Let j be q(6). Let h be (-1 - -3)*(j + 3). Do 2 and h have the same value?
True
Let n(l) = -l**3 - 19*l**2 + 21*l + 22. Let g be n(-20). Let s be (-18)/(-8) + 2/(-8). Does s = g?
True
Let s(z) = -z**2 - 2*z + 11. Let t be s(-5). Let v = -5 - -3. Which is smaller: t or v?
t
Let b = -35.4 - -2.4. Let o = b - -35.3. Let p = o - -0.7. Which is smaller: p or 0.1?
0.1
Let j(l) = -l - 1. Let x be j(-4). Let a = 5 - x. Let c(i) = -3*i**2 - 47*i + 18. Let h be c(-16). Is a not equal to h?
False
Suppose -5*s - 15 = 5*u - 3*u, u = -5*s - 10. Let z(o) = -o**2 + 3*o - 1. Let t be z(2). Is t smaller than s?
False
Let m = -9 - -7. Which is greater: m or -1/2?
-1/2
Let n = -11 + 8. Let a be n/(6/(-4)) + 2. Let c be (-35)/28 - (-1)/a. Which is smaller: c or 1?
c
Let t = -14 - -13.8. Let z = 0.1 + -0.1. Which is bigger: z or t?
z
Suppose -4*p - 14 = -5*p - 4*v, -5*v + 15 = 0. Let s = -10 - -18. Let l be (-2)/s + (-6)/(-8). Are l and p unequal?
True
Suppose 1 = -f - t, -7*f = -3*f + 3*t. Which is smaller: f or 24/11?
24/11
Let p be (-22)/(-6) + (-8)/(-24). Suppose -4*s - 3*x - p = -37, -11 = -s + 2*x. Is s at most as big as 8?
False
Let l = 3.3 - 0.3. Let y = l + -2.9. Let r = 167/78 - 30/13. Is y greater than r?
True
Let u(p) = p**2 - 5*p + 2. Let x be u(5). Let y be 16/(-6) + x/3. Is y at most as big as -2?
True
Let j = -10.2 + 7.2. Which is smaller: j or -11?
-11
Suppose -17*c - 3 = -14*c. Is 50 <= c?
False
Let i(l) be the second derivative of -l**4/6 - l**3/2 - l**2 - 2*l. Let c be i(-2). Let m be (c/(-6))/(10/(-6)). Which is greater: m or 1?
1
Let c(b) = b**2 + 9*b - 16. Let j be c(-5). Which is greater: j or -35?
-35
Suppose 15 = 3*m - 4*n, 0*n + 6 = 2*m - 4*n. Suppose 7*z = m*z + 10. Which is bigger: -6 or z?
z
Suppose -4*o - c - 1 = 0, 5*o - 2*c = -0*c + 15. Which is greater: -2/39 or o?
o
Let a = -6.07 + 6. Which is greater: 3 or a?
3
Let p = 10.5 + -10.7. Does p = -42?
False
Suppose -3*x + 1 + 2 = -5*s, -3*x = -4*s - 3. Let n be -4 + x - (-2 + 1). Let j = 1 - 1. Which is greater: j or n?
j
Let o = -0.9 - -0.5. Is -2 not equal to o?
True
Let d(o) = o**2 - 21*o + 23. Let c be d(20). Is c > 0.2?
True
Suppose 4 = -j + 18. Which is bigger: 13 or j?
j
Suppose -5 = -5*u - 0. Suppose 0 = 3*x - 2*x - u. Is x smaller than 2/5?
False
Let v be (-1 + 3)/(-1*2). Let n be (8/10)/(v/(-5)). Is 3 < n?
True
Let x be (-8)/40*4/2. Is 1 smaller than x?
False
Let j be (-545)/362 - 9/(-6). Is j greater than 1?
False
Let z be (0 + 1 - 1) + 4. Suppose 0 = -2*n + 2*p, -n = 2*n + p - z. Which is bigger: 0 or n?
n
Let h = 11/5 - 39/20. Is h less than or equal to 0?
False
Suppose 0 =