-13 - -6. Is a smaller than z?
False
Let x be ((-42)/12)/(4/8). Which is greater: -43/6 or x?
x
Let b = 2090/7 - 302. Which is smaller: b or -3?
b
Let k = -8.35 - -0.35. Which is smaller: 4 or k?
k
Suppose 2*w + 5*f + 33 = 6*w, 3*f + 11 = -2*w. Suppose w*s + 2*s = 12. Is 2 greater than s?
False
Suppose -4*g + 2*g - 2*h = 24, -3*g + 2*h = 36. Are -13 and g equal?
False
Let n = 1.3 - 1. Suppose -5*k + 37 + 103 = 0. Let t = k - 27. Are t and n non-equal?
True
Let k = 0.1 + -0.13. Let f = 1.87 - k. Let v = f + -2. Is -1 > v?
False
Let q = 18 + -5. Which is smaller: q or 0?
0
Let l = 1.9 - 1.7. Which is bigger: 0 or l?
l
Let k(z) = z**3 + z**2 - 3*z - 2. Let p be k(-2). Suppose p = 3*g + 7 - 4. Let b be 34/(-72) + (-4)/(-18). Which is bigger: g or b?
b
Suppose 5*g - 9 = -29. Let q be (-28)/(-10) + g/(-20). Let p = -0.2 + 0.1. Are q and p non-equal?
True
Let w = 0 - 1. Let h = -91 - -80.7. Let i = -10 - h. Is i not equal to w?
True
Let g be ((-2)/35)/(5/(-50)). Is 2 > g?
True
Let i(l) = l**2 - 13*l - 7. Let v be i(13). Which is smaller: -6 or v?
v
Let h be (-8)/(-12) + 7/3. Let l be (-3)/(-5)*15/h. Let v = l + -1. Are 2 and v nonequal?
False
Let x be 4/18 + (-107)/522. Let c = -8213933/116 - -70809. Let p = c + x. Which is smaller: 0.1 or p?
p
Let q be (-18)/(-4)*4/6. Let u be (-3 + 18)/(8/1). Is q equal to u?
False
Let v = -832 + 27454/33. Let w be (-1)/(2*2/4). Which is bigger: v or w?
v
Let i = 4 + -7. Let k(y) = -2*y + 7. Let a be k(5). Is i greater than or equal to a?
True
Suppose 3 = -2*m + 1, -4*r = 3*m - 9. Suppose r*p = h + 2*p - 32, -116 = -4*h + p. Suppose 0 = 3*t - 2*f - 2, 2*t - 5*f = 6*t + h. Is -2 at least t?
True
Let o(r) = 10*r - 13. Let f be o(2). Let g(c) = c**2 - 4*c - 1. Let w be g(5). Which is smaller: f or w?
w
Let l be 1*(-3)/6*-2. Suppose -z - 3*k - 8 = 0, 4*k + 19 = 5*z + 2. Are l and z nonequal?
False
Let g be 0 - (-9)/((-45)/2). Which is greater: g or 16?
16
Let h = 12 + -12. Let b = 4 - 16. Which is smaller: h or b?
b
Let n be 15/27*(-2)/5*-2. Which is bigger: -0.2 or n?
n
Suppose 4*w - 5*w - j - 8 = 0, -5*w + 5*j = 0. Suppose 0 = -0*r - 4*r - 20. Which is smaller: r or w?
r
Let z = -2 + 6. Let s = z + -4.1. Is s bigger than -2?
True
Suppose 0*j - 20 = -4*j + 3*s, 0 = -2*s - 8. Suppose j*t - 5*t = 0. Let m be (-2)/(-8) + 5/(-4) - 1. Is m greater than t?
False
Suppose -288 = 66*r - 58*r. Which is bigger: r or -32?
-32
Let t be (-1 - 1) + 5 + -6. Let g be t*(-2)/3*1. Is g >= 2?
True
Let q(d) = -d**3 + 7*d**2 - 6*d - 1. Let o be q(6). Let w be 2 - ((-5)/o - 2). Which is smaller: -2/15 or w?
w
Let l be ((-20)/15)/(2/6). Which is greater: -1 or l?
-1
Let x be -1*(6/26)/(-3). Are x and -1 equal?
False
Let n(o) = o**3 + 7*o**2 + 5*o - 5. Suppose -24 = 2*k + 2*k. Let y be n(k). Which is greater: 3 or y?
3
Let y = 4 + -4. Suppose -54 = 3*u - u. Let g = -55/2 - u. Is g < y?
True
Let b be 4/(128/(-36))*-1. Are 1 and b equal?
False
Let p = -0.9 - 2.1. Which is smaller: p or -0.3?
p
Let h = 1 - -2. Suppose -2*f + 5*y - h = 0, 3*y = -f + 3*f + 1. Let p be (f/(-2))/((-1)/2). Is p >= -1/3?
True
Let d be 141/(-27) + 4/18. Let l be (2/(-5))/((-4)/d). Are -2 and l nonequal?
True
Suppose 3*o - 16 - 20 = 0. Let c = -11 + o. Which is greater: -1/10 or c?
c
Let c = 1/2 + -1/4. Suppose 2*t + 3 = -t. Which is smaller: t or c?
t
Let r(o) = -11*o + 2. Let x be r(2). Is x != -19?
True
Let c be (2/(-6))/((-102)/9). Let d = c + 63/170. Is 12 != d?
True
Let r = 38 + -23. Suppose 4*w + w = 15. Suppose 8*l - r = w*l. Which is bigger: 4 or l?
4
Let j be 3 - -1 - 4*-1. Is j greater than or equal to 9?
False
Let v be (-6)/21 - 51/140. Let t = -1/60 + v. Let n = -12 - -11. Which is greater: t or n?
t
Let t = 0.02 + 0.18. Let k = 53/4 + -13. Is t >= k?
False
Let p be 22/(6/(-3 + 6)). Let u = p - 7. Suppose 0 = -4*d - u - 24. Which is bigger: d or -8?
d
Let g(m) = -7*m**3 + 4*m**2 + m + 1. Let v(d) = -3*d**3 + 2*d**2 + d. Let k(h) = -2*g(h) + 5*v(h). Suppose -3 = -0*c - c. Let r be k(c). Is r greater than -2?
False
Let w(z) be the second derivative of z**4/12 - 5*z**3/6 + z**2/2 + 2*z. Let a be w(5). Which is smaller: -1 or a?
-1
Let y = -99 - -101. Do 0.09 and y have the same value?
False
Suppose 4*y - 49 = -3*y. Which is smaller: 5 or y?
5
Let g(m) = -m - 2. Let c be g(-6). Suppose -5*x - c = -x. Let u = -4 + 6. Is u at most x?
False
Suppose 5*l - 4*l = 5. Are l and 9/2 non-equal?
True
Let u be (-247)/1014 + 1/6. Is u greater than 1?
False
Let x = -6 - -3. Let r(i) = i**2 + 4*i + 1. Let s(c) = -2*c + 1. Let k be s(2). Let n be r(k). Which is greater: n or x?
n
Let w = 4/5951 - -5010714/41657. Let x = -144 - -264. Let b = x - w. Is b less than or equal to 3?
True
Let m = -1 + 5. Suppose 0 = 5*b + 5*y + 5, 5*b + 3*y = 2 - 1. Are m and b nonequal?
True
Let a be (9/2)/(6/40). Let u be a/12 - (-2)/(-4). Let y(x) = x + 2. Let c be y(-2). Is u at least as big as c?
True
Let g = 4/3 + -1. Let r be (8/(-16))/((-2)/28). Let s = 7 - r. Which is smaller: g or s?
s
Let k(u) be the first derivative of u**2/2 + 2*u - 4. Let p be k(5). Suppose -2*j + 11 = -5. Is p >= j?
False
Let h(g) = g**3 - 5*g**2 + g - 7. Let m be h(5). Is -1 equal to m?
False
Let k = -67 - -70. Let g be 0 + (-1 - -1 - -2). Is g < k?
True
Suppose -110 = -20*x + 30*x. Is x greater than or equal to -9?
False
Let n(g) = g - 1. Let f be n(0). Let i = -41 - -41.3. Which is smaller: f or i?
f
Suppose 5*d + 3*m + 15 = -0*d, -4*m = -3*d + 20. Let s = -39/1646 - 3273465/18106. Let q = -181 - s. Is d less than q?
False
Let b = -63 + 62. Is b less than 25?
True
Let w be 6 - 0/(1 - 2). Let o = w - 12. Let l be 3/(1/(o/27)). Which is smaller: l or 1/3?
l
Suppose -z - 2*z = 0. Let y(u) = -2*u + 4*u - 2*u + 1 + u. Let t be y(z). Which is greater: 1/7 or t?
t
Let f = -1 + -2. Let k be 740/(-400) + (-1)/(-4). Are k and f equal?
False
Let i(y) = y**2 + 5*y + 4. Let t be i(-6). Are 10 and t equal?
True
Let d = 8 + 2. Suppose f + d = 6*f. Suppose -y = -5*h - 14, 0 = -3*y + 4*h - 0 - f. Is -7 at most y?
True
Let s = 17.99 + -0.99. Which is bigger: s or -1?
s
Suppose 0 = 2*a - 3 - 1. Which is smaller: a or 1/3?
1/3
Let w be -21*(-1)/3*2. Let t be ((-10)/(-3))/(w/6). Which is greater: t or 1?
t
Let x = 50 - 74. Is -21 < x?
False
Suppose u - w + 2 = -0, 3*u = -2*w - 6. Is u not equal to 6?
True
Let n = -8 + 12. Let g be 0 + (1 + -4 - -7). Suppose 0 = -n*b - g. Which is greater: -1/4 or b?
-1/4
Suppose 0 = -3*y + 5*d + 40, -6*d + 20 = -d. Which is greater: y or 19?
y
Let y be (-2)/9 - 87/(-27). Suppose y*d = d + 2*p + 18, -25 = -5*d + p. Let h(k) = -k**3 - 6*k**2 + 7*k + 3. Let n be h(-7). Is n equal to d?
False
Let k be 4/14*14/18. Suppose -2*a - 3*o = -4*o, -2*a - 8 = -5*o. Is k greater than a?
False
Let y = -72 - -71.4. Is -1/4 >= y?
True
Let r = 0.5 - -1.5. Which is greater: 0.1 or r?
r
Let v(l) = 2*l**2 - l. Let k be v(-1). Let m be -3 + 1 + k + -1. Is m less than -1/9?
False
Let g(d) = -d**2 - d + 3. Suppose -2*j = -5*j. Let c be g(j). Is c less than 4?
True
Let g = 2 + -10. Is g > 0?
False
Let i = 5.19 + 0.41. Let a = 6 - i. Suppose 6*j = j. Is j smaller than a?
True
Suppose 2*h + w = -7, -22 = -4*h + h + 5*w. Which is smaller: h or -3/10?
h
Let l = -9348/45995 + 72347917/2722904. Let h = 1106/37 - l. Let z = h - 25/8. Is z <= 1?
True
Let i be (-2)/(-4)*1*8. Suppose -i = 2*f - 6*f. Let t be (4/10)/(f/(-5)). Is -1/2 greater than t?
True
Suppose -6*a = -a + 10. Is a <= -5?
False
Suppose 5*b + 16 = 4*g, 4*b - 3*g = b - 12. Suppose 2*t - 2*h = -b*h + 6, -4*h = 2*t. Is 0 at least as big as t?
False
Let t = 32.02 - 34. Let z = 0.02 - t. Is 2/7 != z?
True
Suppose -5*l + 2*l - 3 = 0. Let r be -1 + 2*(-1)/(-2). Suppose 2*q + 2 = -r*q. Do q and l have different values?
False
Let z be 2/(-40)*(-36)/21. Is 1 less than z?
False
Suppose 4*z - 1 = 3*b, -5*b + 3*b - z = -14. Suppose 0*d - 5 = -b*d. Suppose 6 - d = -5*t. Which is greater: 1 or t?
1
Let v(c) be the first derivative of -c**4/4 + 4*c**3/3 - c**2/2 + 3*c - 1. Let j be v(4). Is -3 less than j?
True
Let x = -328 + 168. Let h be (-2)/(-3) - x/(-204). Suppose -4*r - 10 + 6 = 0. Is h at most as big as r?
False
Suppose 12*b = 27*b + 60. Let s(d) = d**3 - 4*d**2 - d. Let o be s(4). Is b smaller than o?
False
Let n(a) = 5*a - 3. Let c be n(2). Which is bigger: c or 8?
8
Let l 