uppose -2*z + t = -0. Let m be (-1)/(-10) - (z + -2). Is m less than -1?
False
Let f = 486545/7 + -69314. Let z = -191 + f. Which is smaller: 1 or z?
1
Suppose -4*b - 2*i - i = 13, 2*i = b - 5. Let f be (6/(-14))/((-27)/(-6)). Is f less than or equal to b?
False
Let w(y) = y + 13. Let c be w(-13). Let p be (-104)/18 + 4/(-18). Which is greater: p or c?
c
Let v = -18 - -18.7. Let d = -0.7 + v. Which is greater: 7 or d?
7
Let f be 14*((-41)/12 + 2). Let j = 43/2 + f. Let a be (-14)/(-10) - (-6)/(-15). Is a bigger than j?
False
Let b = -0.27 - -0.3. Let t = -0.17 - b. Which is smaller: t or 2?
t
Let r = 719/5 - 143. Is r smaller than 1?
True
Let h = -3 - 21. Let w be -1 - h/(2 - 4). Is w smaller than -14?
False
Suppose -3 = 3*x + 12. Suppose 2 = -3*l + 11. Let b = x + l. Is -2 smaller than b?
False
Suppose -c + 4*r = -4, -5*c + 7 = r - 55. Let u be 1/3 - (-8)/c. Let p = -24 + 118/5. Do p and u have different values?
True
Let u(g) = g - 5. Let q be u(13). Suppose q = -l + 3*l. Is l < 4?
False
Suppose 6*n + 92 - 524 = 0. Which is greater: n or 73?
73
Let q be ((-3)/(-15))/((-4)/(-30)). Let p = q - 1. Which is smaller: 0 or p?
0
Let s(m) = 59*m + 2. Let w be s(-4). Let z be (-2)/7 - w/(-63). Which is smaller: z or -3?
z
Let a be 3*6*10/(-15). Let n be ((-1)/2)/(3/a). Let h be ((-5)/2 - -2)*n. Which is bigger: h or -1/10?
-1/10
Let y = -0.113 + -10.787. Let n = 11 + y. Which is bigger: n or 3/4?
3/4
Let v(z) = 10*z - 9. Let b be v(-5). Which is bigger: -60 or b?
b
Let o be ((-9)/(-6))/(3/4). Let y be (1/o)/(1/(-6)). Let t be (-1 + 3 + y)/9. Which is smaller: 2/3 or t?
t
Let q = 6/11 + -59/88. Suppose 0 = 9*h + 140 - 149. Is h bigger than q?
True
Let i = -2/31 + -25/93. Is i < -3?
False
Let z(i) = -2*i + 10. Let o be z(7). Which is smaller: o or -2?
o
Let a = 0.168 - 17.168. Is 2 at least a?
True
Let p = -11.2 + 1.2. Let o = -6 - p. Which is smaller: o or -0.1?
-0.1
Let s = -4.7 + 3.7. Is -27 at most as big as s?
True
Let b be 165/(-88) + 30/16 + -2. Which is greater: 0 or b?
0
Let t(w) = -w**3 + 8*w**2 - 6*w - 3. Let v be t(7). Let b be (v/(-5 + 3))/1. Suppose 2*x - 15 = 7*x. Which is smaller: b or x?
x
Let d be -1 - (143/(-48) - -2). Is 1 less than d?
False
Let r = -13 - -12. Suppose 2 = -2*q + q. Is r less than or equal to q?
False
Let a = -3/28 - 5/28. Is -0.28 equal to a?
False
Let i = -126 + 126. Let j = 6 - 6.7. Is j at least as big as i?
False
Let n = -6 + 6. Let t be 1 - 1 - (n - 1). Which is smaller: -0.3 or t?
-0.3
Let u = 27 + -26.9. Let k = -0.3 + 0.2. Let s = u - k. Which is bigger: 0 or s?
s
Let f = 11.9 + -12. Which is smaller: 18 or f?
f
Let h = -5 + 9. Suppose t + h = -0*t. Let v be ((-9)/6)/((-3)/t). Is v at most as big as -3?
False
Let c = 2/38547 - 7799371/539658. Let x = 85/6 + c. Let q be 2*(-4 - 42/(-12)). Which is smaller: x or q?
q
Let m(g) = g**2 - 4*g + 2. Let b be m(1). Is b at least 1/2?
False
Let g = 1274/5 - 256. Let z be (-2)/2 - (6 - 5). Is z < g?
True
Let g = 17034/383 + -32577882/721955. Let v = -54/145 - g. Let k = -1/13 + v. Which is smaller: k or 0?
0
Suppose 0 = -2*r + 2. Suppose c = 1 + r. Is 2 <= c?
True
Suppose -2*q = f, f + 0 = -q + 1. Let n be (-3 - q)*6/4. Do n and -3/2 have the same value?
False
Let j = -66/47 + 2084/1551. Let n = j - -49/264. Which is greater: n or -1?
n
Let z = 11.1 + -12. Let u = -1.8 - z. Is -2 smaller than u?
True
Let z be -7*((-152)/36 - -4). Which is smaller: 3 or z?
z
Let u(i) = i**2 - 4*i - 4. Let o be u(6). Let c = 11 - o. Is c <= 3?
True
Suppose 5*f = -3*h - 9, -4*h + 17 = 3*f - 6*f. Suppose -4*w - h*a - 14 = 0, 2*a + 1 = -3*w - 10. Let d = -2.5 - -0.5. Which is smaller: w or d?
w
Let n be 2 + -2 - 2 - -3. Let r be n - 3 - (2 + -10). Let s be (-12)/9*r/4. Is -3/5 at most s?
False
Let s be (1/(-6))/(3/(-12)). Is 1/17 at least as big as s?
False
Suppose -2*j - 4 = 4, 0 = 5*p - j - 64. Let c be (-13)/p + (-7)/(-28). Suppose 5*i = -0*i - 10. Which is smaller: c or i?
i
Let p = 547 + -3289/6. Is p at least as big as -1?
False
Let z(l) = l**3 - 2*l**2. Let y be z(3). Suppose 0 = -4*v + y*v + 5. Are v and -1 equal?
True
Let h be (-4 + -2)*(-4)/(-6). Let p = 8 + h. Suppose 0 = -3*c + p*o + 10, -5*c - 2*o - 2*o = -6. Do c and 4 have the same value?
False
Suppose 3*g - 3*k - 7 = -2*k, 16 = -4*k. Which is smaller: g or -2/61?
-2/61
Suppose -3*i = -4*g + 17 + 18, 0 = 3*i + g + 10. Is i at most 0?
True
Suppose 0 = 3*r - 17 - 37. Is 19 smaller than r?
False
Suppose 2*i + 11 = -3. Which is smaller: i or -4?
i
Let k = 74/21 + -1124/315. Is 0 bigger than k?
True
Let n(w) = w**3 - 5*w**2 + 2*w - 6. Let u be n(5). Suppose -u*k - 1 = 3. Let d(l) = -l**3 - 7*l**2 - 7*l - 8. Let s be d(-6). Which is bigger: s or k?
k
Let z = -85 + 86. Which is smaller: z or 1/29?
1/29
Let w be (-1)/4 + (-6)/(-16). Let b = -3/8 - w. Which is greater: -1 or b?
b
Let d(v) = v**3 - 6*v**2 - v + 6. Let k be d(6). Is k at least 1/4?
False
Suppose 0 = -8*x + 12*x - 68. Is x equal to 18?
False
Let c = 59 + -47. Are 14 and c equal?
False
Let w(s) = -15*s**3 - s - 1. Let t be w(-1). Suppose 3*q - t = 4*g, -5*q = -3*g - 14 - 0. Is g less than -3?
False
Let z be (-1 + 0)*(-2 + -1). Suppose -c - 4 = 0, -2*m + 0*c = -2*c - 16. Is m equal to z?
False
Let s = -49 + 44.6. Let g = s - -5. Let w = g - 2.6. Are 1 and w non-equal?
True
Let n = -22.6 - -22.6. Suppose -3 - 9 = -4*p. Suppose 0 = p*k - 4*k + 4. Which is smaller: k or n?
n
Let u = 2.3 - 3. Let r = -36 - -34.3. Let n = r - u. Is 0.2 at most n?
False
Let j = -76 + 94. Which is greater: j or -0.1?
j
Let r = -26 - -30. Let n(l) = 2 + l - 5 - 2. Let u be n(r). Which is greater: u or 0?
0
Let f be (-1)/(-12) - (-1)/(-3). Which is greater: f or 0?
0
Let y(l) = -l**2 + 1. Let g be y(-2). Let q = g - -6. Which is smaller: 4 or q?
q
Let r be ((-3)/6)/(1/(-2)). Let y = -2 + r. Let u(n) = n**2 - 7*n - 10. Let x be u(8). Is x at most y?
True
Suppose 6*l - 14 = -2. Is l greater than 4?
False
Let l(i) = i**3 - 5*i**2 + 4. Let a be l(5). Suppose 7 + 5 = 4*x. Is x >= a?
False
Let p = -404/13 - -31. Is p less than or equal to 1?
True
Let r(h) = h**3 + h**2 - h - 2. Suppose 0 = -2*p + 6*p. Let o be r(p). Let q be (o/(-3))/(6/18). Which is greater: q or -2/5?
q
Let n = 208/7 + -30. Which is greater: n or -10?
n
Let m = -0.2 - 0.3. Let f = m - -0.7. Let q = -0.1 + f. Which is bigger: 1/4 or q?
1/4
Let m = 5 + -4.4. Let i = -13.6 + m. Which is greater: i or 0?
0
Let o be (-4 - -1)*5/(-3). Suppose o = z - 0. Which is bigger: z or 2?
z
Let k(i) = -i**3 + 2*i**2 + 3*i - 2. Let b be k(3). Which is greater: -4/5 or b?
-4/5
Let o be (20/(-30))/((-2)/45). Is o equal to 14?
False
Let i = 22 + -8. Let y = 18 - i. Is y >= -0.3?
True
Let b be (3/(-3) - 1) + 13. Suppose -4*j - b - 1 = 0. Which is greater: j or -4?
j
Let l(d) = 3*d**2 + 2*d. Let a be l(-1). Which is smaller: a or -2/23?
-2/23
Let q = -20 - -21. Suppose -q + 17 = 4*m. Which is bigger: 3 or m?
m
Let t = 1 + -2. Let v be 8/6*3/14. Is v bigger than t?
True
Suppose -5*r = -0*r - 20. Is r less than or equal to -0.2?
False
Suppose -2*d = 2*d - 20. Suppose -11*l = -6*l - d. Which is smaller: -1 or l?
-1
Let b(y) = -64*y + 17. Let j be b(-2). Which is greater: j or 144?
j
Suppose 7 = -5*y + 2. Suppose 29 = -5*b - 61. Let t be 3/b + (-3)/(-6). Which is greater: y or t?
t
Let t be 0*(-2)/(2/(-2) - -5). Is t < 1?
True
Let f(g) = -g**2 + 3*g - 2. Let w be f(2). Let p = 0 - w. Let i = -577/7 - -82. Which is smaller: p or i?
i
Let n(r) = r + 2. Let x be n(-2). Let z be x - 1 - (5 + -4). Let s be 50/(-28) + 18/63. Do z and s have the same value?
False
Let g = -38 + 20. Let f be 17/(-60) - 6/g. Which is bigger: f or 1?
1
Let o = -2.8 + 3. Let j = -1.4 + 0.4. Let d = 0 + j. Is d at most o?
True
Let d(f) be the first derivative of -f**4/4 - 8*f**3/3 + f**2/2 + 8*f + 3. Let b be d(-8). Is 0 > b?
False
Let l = 12 + -12.2. Is 27 greater than or equal to l?
True
Suppose k - 3*y - 14 = 0, 6 = k - 0*k - y. Suppose 2 = s - 0*s. Let f be (-30)/(-12) - (-1)/s. Is f at least k?
True
Suppose 2 = 2*k - 0, 0 = -4*x + 3*k - 3. Suppose x = 3*s - 45 + 12. Suppose -1 - s = -4*d. Which is greater: 4 or d?
4
Let w = -1147 - -3896/3. Let a = -153 + w. Suppose 0 = 7*f - 2*f + 10. Which is bigger: f or a?
a
Suppose 0 = 5*b + q + 6, q = -2*b + 5*b + 10. Let u = b + 0. Let n be (