= -m + 4*d, 65 = 5*m + 2*d. Suppose k + o = 14, -2*k + 7*o + 23 = 4*o. Is m <= k?
True
Let y = 35 - 57. Let r = y + 23. Is -3 at least r?
False
Suppose h - y + 8 = 3*y, 4*y - 8 = 2*h. Suppose 0*i - i - 5 = h. Let z(s) = -s**2 - 4*s + 7. Let c be z(-6). Is c bigger than i?
False
Let r be 8/(-32)*4*(-2 + 1). Is -2/95 less than r?
True
Let s(p) = p**2 - 4*p - 54. Let i be s(0). Is -52 smaller than i?
False
Suppose 5*n - 12 = 4*f, -12 = -4*n - 2*f + 4*f. Suppose -x + 2*q + 6 = 0, 5*x - n = -4*q - 16. Is x greater than -1?
True
Let u be 3/2 - 3/(-6). Suppose u*p = p. Do p and -1/4 have the same value?
False
Suppose 0 = 2*u + f - 9, -3*u = -8*u + 3*f + 6. Which is bigger: 2 or u?
u
Let g be (-39)/63 + 4/14. Let k = 2 + -2. Suppose k*t = -3*t. Which is smaller: t or g?
g
Let b be (-2)/(-8) - (-1)/(-4). Let a(t) = -2*t - 8. Let l be a(-4). Is l <= b?
True
Suppose -k - 3 = o + 3*o, k - 7 = o. Let l be (69/42)/((-1)/o). Let n = l - 193/63. Which is smaller: n or -1?
-1
Let a(k) = -4*k - 16. Let m be a(-4). Let x be (-48)/(-26) - (-3 - -5). Is m greater than x?
True
Suppose 0 = -3*l - 9. Let d = 145 + -149. Which is smaller: l or d?
d
Let i be 2*(-4)/12*3. Is i at least -5?
True
Let q = 10 + -17. Let g = q + 5. Is -7 at least as big as g?
False
Let q = 0.22 - 15.22. Let a = -14.9 - q. Do a and -0.1 have the same value?
False
Let i = 0 + -10. Let o be ((-4)/170)/((-2)/i). Which is smaller: o or -1?
-1
Let v(i) = i**2 + 3*i - 6. Let z be v(-6). Suppose 0 = 4*q + z, -5*w + q = 1 - 4. Suppose -3*b = -8*b. Is w at least b?
True
Suppose 5*d - 4*q - 105 = 0, q + 105 = 3*d + 2*d. Let k be d/14 - (-19)/6. Which is greater: k or 4?
k
Let p = 0 + -1. Let g = 39 - 37.1. Let h = 0.1 + g. Which is bigger: p or h?
h
Let z = 1211/10 + -121. Does z = 0?
False
Let c = 25 - 15. Which is smaller: -2 or c?
-2
Let w be (5 + -3)/(4/6). Suppose 11 = -3*j - t + 52, -w*j + 61 = 5*t. Let s be (4/j)/((-1)/1). Is s equal to -1?
False
Let b(f) = -f + 13. Let q(z) = -z + 14. Let p(u) = -3*b(u) + 2*q(u). Let k be p(10). Is k greater than -2?
True
Suppose 3*s - m = -2*m + 7, -7 = -2*s - 3*m. Let r be 3 - (-7)/((-35)/15). Is r at most as big as s?
True
Suppose 11*w = 9*w + 12. Let b(v) = 6*v - 3. Let d be b(2). Let y = w - d. Which is smaller: 1/2 or y?
y
Suppose -19*n - 3*j - 1 = -14*n, -4*n - j - 5 = 0. Is n >= -9?
True
Let a = 2 + 16. Which is bigger: a or 21?
21
Let l(v) = v**2 + v + 5. Let h be l(0). Let p = -5 + h. Let x be 1/(-2 - (-27)/6). Is p > x?
False
Let r be 2/((-2)/(-3)) - 0. Suppose -4*s - 9 = -0*s - i, -4*s + 11 = r*i. Let t be (s - 2)/(6/(-4)). Which is smaller: t or 0?
0
Let u = 185/8 + -75/8. Is 14 at most as big as u?
False
Let g = -0.258 - -0.058. Which is bigger: g or -0.5?
g
Let p = 0.01 + -0.01. Let u = -0.7 - -0.7. Is u less than or equal to p?
True
Suppose -p + 24 = 3*s - 20, 3*p + 78 = 5*s. Let a(x) = 2*x**2 + 5*x + 2. Let o be a(-4). Which is bigger: o or s?
s
Let s be (3 - -2) + -4 - 1. Let y = -2 + 12/5. Does s = y?
False
Let n = -27 + 28. Which is smaller: 18 or n?
n
Let f be 3 + 1412/12 + 1/3. Is f greater than or equal to 122?
False
Let b = -16.2 - -17. Is b bigger than 4?
False
Suppose -2*t + 5*t = -9. Let f be t/((-9)/3)*-1. Let m = -137/5 + 139/5. Which is bigger: f or m?
m
Let u = 118 - 141. Which is greater: -22 or u?
-22
Let i = -39 - -36. Is -3/2 less than or equal to i?
False
Let t(u) = u**3 + 17*u**2 + 17*u + 14. Let g = 0 - 16. Let z be t(g). Which is bigger: -3 or z?
z
Let z = -3 + 2. Is z < 5/11?
True
Let i = 1 + -1.2. Let o = i - -0.1. Is o smaller than 5?
True
Let h(f) = 5*f - 35. Let d be h(9). Do 35/4 and d have the same value?
False
Let v = 650/7 + -93. Let u = 0.4 - 0.4. Is v at most as big as u?
True
Let w = -0.2 - 0.2. Which is smaller: 0 or w?
w
Let b = -892/3 - -298. Suppose -5*v - 1 = -11. Which is bigger: b or v?
v
Let b be -15 - -19 - (-13)/(-3). Which is smaller: 0 or b?
b
Let s = -57 + 33. Do s and -23 have the same value?
False
Let n = 0.05 - -1.95. Let h = -3 + -2. Let r be 6/(-10) - 8/h. Which is bigger: n or r?
n
Let v be (-12)/3*5/(-4). Suppose w = v*c + 10, 4*c = 4*w + c - 6. Suppose -4*b + 0 - 4 = 0. Which is smaller: w or b?
b
Let r be (1 + 8)/(24/(-16)). Let c be (-4)/r*24/(-4). Which is smaller: -9/2 or c?
-9/2
Let n = 0 - 1. Let o = 1 - n. Suppose -3*v - 3 = -3*f, 5*f - 5*v - 5 = -3*v. Is o less than or equal to f?
False
Suppose 33 = -5*n - 42. Let g be 2/(-2) - n/(-3). Let p(k) = k + 5. Let l be p(g). Which is greater: l or 3?
3
Let r be (12/(-30))/((-128)/20). Is -1 <= r?
True
Suppose p + 2*l - 4 = 3*p, 0 = -5*p - 5*l + 40. Which is smaller: p or 1?
1
Let x be (-2)/3 - (-40)/42. Suppose 0 = -8*d + 13 - 21. Which is smaller: x or d?
d
Let f be 12/(-36) - (-2)/(-3). Which is bigger: f or 0?
0
Let p be 6062/70*1/(-1). Let l = -87 - p. Which is bigger: l or -0.1?
-0.1
Suppose 0 = -2*g + 2*o - 6, -3*o - 33 = 5*g + o. Let h be (-84)/15 - 3/g. Is -5 less than h?
False
Let m(v) = -v**3 - 4*v**2 - 3*v + 4. Let d be m(-4). Suppose -d = -5*b - 6. Suppose 4 = -2*l - b*l. Which is greater: l or -2/7?
-2/7
Suppose 0 = -3*z - 5*r + 8, -z = 3*z - 5*r + 1. Let j be 2/(-30)*z*2. Let w be (-4 + 3)/((-5)/(-10)) - -2. Which is smaller: w or j?
j
Suppose 0 = -r + 3, -3 = 2*o + 3*r + 2. Which is greater: o or -8?
o
Let j = 0 + 0.1. Let i = -6.12 - -0.12. Let g = i - -6.2. Which is smaller: j or g?
j
Let l = 27 + -19. Let b = l - 17. Which is greater: b or -8?
-8
Let d be 4/8*(-20)/(-2). Let k = 4 - d. Let l = -2 - 0. Are l and k equal?
False
Let h(q) = -8*q**3 - 1. Let s be h(-1). Suppose 5*p + o - 4 = 0, -p = -s*o + 2*o - 6. Which is greater: -5/3 or p?
p
Let h be (6 - 4)*3/(-24). Which is smaller: h or 0.2?
h
Let x = -9 - -6. Suppose -1 = 4*p + 11. Is x at least p?
True
Let p = -8.3 - -8. Let u(t) = -t**2 - t + 5. Let n be u(0). Let s be (-1 - -1)/(n - 7). Are s and p non-equal?
True
Let z(m) = m**2 - 22*m + 14. Let o be z(22). Which is smaller: 13 or o?
13
Let v be 9/26*(-8)/6. Which is bigger: 0 or v?
0
Suppose 4*i = -0*i + 12. Suppose 8*p - 30 = i*p. Are p and 6 unequal?
False
Let u = -35 - -38. Are 3 and u non-equal?
False
Let o = -898/3 - -3336/11. Let t = 36/11 - o. Let u = 5 + -7. Which is greater: t or u?
t
Let r = -304 + 195. Does -1/2 = r?
False
Let j be 3 - -4*(-4)/16. Suppose -3*r + 5 = -4*n, -7 - 3 = j*r + 4*n. Is -3 smaller than r?
True
Suppose p + w = 2*p + 3, w = -2*p. Which is smaller: -1/96 or p?
p
Suppose -3*x + r + 14 = -5, -15 = -2*x + 3*r. Let i(y) = y**3 - 7*y**2 - 6*y - 11. Let a be i(8). Is x smaller than a?
False
Let g be ((-54)/45)/(4/(-10)). Suppose 5*h = -5*f, 0*f = -g*f - 4*h. Suppose s = 1 - f. Which is smaller: s or 2?
s
Let c be (-2)/(-2) - 4/(-4). Is c smaller than 2?
False
Suppose k - 15 = -4*k + 3*y, -2*k - 2*y = 10. Suppose -3*a + 30 = 5*n, 5*a + k = 3*n + 16. Which is greater: a or 6?
6
Let z = 14 + -11. Let u = -2 - z. Let k = 4 + u. Is -0.2 <= k?
False
Suppose -3*g + 58 = -g. Let w be (-4)/(-6) + g/(-12). Is -1 bigger than w?
True
Let y = 17.96 - 18. Is y greater than or equal to 3?
False
Let z = 13 - 8. Let f = -2.2 - -0.2. Is f smaller than z?
True
Suppose 5*r - 3*p = 11, 4*r - 3*p = -5*p. Suppose 17 = -f + r. Let t = 10 + f. Which is bigger: -5 or t?
-5
Suppose 0 = 3*w + 11 + 16. Let c(f) = -f + 3. Let r be c(w). Which is bigger: 11 or r?
r
Let q be 2/(-3) + (-78)/(-9) + -3. Which is smaller: q or 6?
q
Let g = -0.17 - -0.07. Let u = g - 0. Which is smaller: 6 or u?
u
Let g = 276/11 + -7463/297. Which is bigger: 0 or g?
0
Let v be 1 + 69/63 + -2. Is 0 at least as big as v?
False
Let y = 81 + -70. Is y < 8?
False
Let b(j) = -j**3 - 4*j**2 - j + 4. Let c be b(-3). Suppose 2*w - 4 = -0*w. Suppose -w*x = -l - 5, 0*l - 4*l - 8 = 4*x. Is l < c?
True
Suppose -68 = -3*x - 4*i - 1, 0 = 5*x + i - 140. Are 30 and x equal?
False
Let a(z) = -z**2 + 7*z + 10. Let k be a(-3). Which is bigger: k or -19?
-19
Let h = -102 - -103. Which is bigger: 1/5 or h?
h
Let s = 0.1 + -0.4. Let n = 0.3 + s. Let p = -141/13 - -11. Which is smaller: n or p?
n
Suppose -2*o = o - 3. Let t(s) be the third derivative of -s**6/120 + 2*s**5/15 - 7*s**4/24 + s**3/6 - 5*s**2. Let c be t(7). Does c = o?
True
Let x be ((-2)/16)/(4 + -3). Let z(h) = h**2 + 2*h - 2. Let w be z(-3). Does w = x?
False
Let p be -1 - ((-2 - 2) + 1). Supp