 - -1. Let j = p + -0.4. Let t = -1 + j. Which is bigger: 1 or t?
1
Let c be ((-20)/(-36) + -1)/((-2)/(-1)). Let v = -1 + 1. Let f = v - -0.1. Which is smaller: f or c?
c
Let b be 2 + (526/(-5))/(-2). Let n = b + -55. Let f = 2.2 - 2. Which is bigger: n or f?
f
Suppose 4 - 6 = -2*d, 3 = -5*m + 3*d. Suppose -3*v + n = 10, -5*v + 3*n - 22 = -m*v. Which is bigger: v or -3?
v
Let z = 81/4 + -627/28. Which is smaller: -1 or z?
z
Let q = -1.8 - -1.2. Let a = q + 1.6. Is 2 greater than a?
True
Suppose g + 3*w = -w + 12, 3*g - w = 10. Let o be (1 - 0) + g/(-3). Which is greater: -2/5 or o?
o
Let t = -35 + 21. Let v = -14 - t. Suppose -n - 2 = -5*w, 8*w - 4*w - n = 2. Are w and v unequal?
False
Let n be (2 - 1)*2 + -5 + 4. Which is greater: n or -1?
n
Let z = -5 + 2. Is z < -2?
True
Let o = 10 - 5. Let d = o + -5. Let c = 0 - d. Which is smaller: 1/9 or c?
c
Let w = -22 + 17. Is -3 > w?
True
Let h be (3/2)/(9/4). Is h >= 2?
False
Let r be 2/(-7) - 6/21. Is r < 0?
True
Let p be (-40)/(-78) + 4/(-6). Suppose 3 = -4*i + 3. Which is greater: p or i?
i
Let l = -3.3 + 3. Let r = 1.3 + l. Let j = -2 + r. Is -1/3 < j?
False
Let a be 8/(-6)*(-12)/(-8). Let h be 4 - 3 - (-2)/a. Which is smaller: -6 or h?
-6
Suppose 6*t - 3*t = 0. Let n = -11 - -1. Let p be (-5)/(n/6) + -2. Is p less than t?
False
Let d = -17383/7 - -2474. Let b = 571/63 + d. Is 0 not equal to b?
True
Suppose n - 2*g - 7 - 1 = 0, -16 = 3*n + 2*g. Which is smaller: n or 4?
n
Let p be (-3 - -7)*1/2. Suppose 0 = 2*a - p - 2. Do 11/5 and a have different values?
True
Let x = -8 + 13. Is 6 equal to x?
False
Let u be 6/(-10)*2/(-12). Let o be -1 - (0 + -1 - -2). Let z = o - -3. Is u at most z?
True
Let y = 18 + -20. Which is smaller: y or -12/17?
y
Let b = 9/5 + -32/15. Let s be (4/6)/(3/9). Suppose 13 = 3*d - 2*x, 0 = s*d + 2*x - 2 + 10. Which is smaller: d or b?
b
Let c = 173 + -174.17. Which is smaller: c or 1/3?
c
Let v(y) = y**3 + 8*y**2 + 1. Let j be v(-8). Which is smaller: j or 1/218?
1/218
Suppose 4*h = -5*q + 14, 2 = 4*h - q - 0*q. Is h greater than 2?
False
Suppose 3*u = 2*u - 15. Let g be (-6)/u + (-14)/10. Let p be (g/(-4))/(5/(-4)). Which is greater: p or -1?
p
Suppose 5*d - 4*n - 5 + 3 = 0, -6 = 2*d - 5*n. Is 2 <= d?
True
Let k be (-3)/(-2)*(-10)/(-3). Suppose -o + 4 = 3*g, 4 = -o + k*g - 0*g. Which is smaller: -2/23 or o?
-2/23
Let c be (-4)/6 + 192/261. Is c bigger than 1?
False
Suppose 5*y + 5*d - 10 = 0, 0 = 4*y + d - 18 + 1. Let z be (-20)/y - 3*1. Is -5 at least as big as z?
True
Let o = -5320/11 + 484. Is 0 at most as big as o?
True
Let x = 47 - 113. Let q be ((-6)/(-4))/(x/(-8)). Is q > -1?
True
Let f(i) = -i - 5. Let n be f(-6). Is n greater than or equal to 4/25?
True
Let o(a) = a + 10. Let c be o(-8). Suppose c*x + 9 = b - x, 5*b = 2*x - 7. Suppose 3*y + y + 8 = 0. Which is bigger: b or y?
y
Let l be (-130)/11 + 16/(-88). Is -11 less than l?
False
Let h = -21.9 - 4.1. Let b = -27 - h. Is 0.03 >= b?
True
Suppose 0 = -2*v - 3*v - 10. Let j = 0 - v. Suppose -j*c = -c. Is 2/5 at least as big as c?
True
Let c = 2 - 1.99. Which is bigger: 0 or c?
c
Let n be 39/15 - (2 + -3 + 4). Let p(r) = -r**3 - r**2 + 3. Let v be p(0). Let w be (4/6)/(2/v). Which is smaller: n or w?
n
Let f be (-34)/(-10) - 4/10. Let y(t) = t - 9. Let k = -12 + 24. Let w be y(k). Is w at most f?
True
Let u = 0.1 - 0.2. Suppose -4*d + 0 = -44. Let j = -11 + d. Is u less than or equal to j?
True
Let l = 1214/11 + -110. Which is smaller: 1 or l?
l
Let j(d) = d + 1. Suppose -4*a - 5*t = 16, -6 = 3*t - 18. Let o be j(a). Which is bigger: 0 or o?
0
Let s = -465 + 4189/9. Let y be (-6)/(4 + (-25)/10). Let l be 6/2 + y/2. Is s at most l?
True
Let z = -37 - -39. Let h = 21 + -14. Suppose -h*i = -z*i + 10. Is -2 > i?
False
Let a = -112 - -1231/11. Suppose 8*n - 2*n = 0. Are a and n nonequal?
True
Let s be (3 - 5) + 16/7. Suppose g + 3*u = -2*u - 20, -4*u = -g + 16. Is s at most g?
False
Suppose -13 - 14 = -p - 5*f, -3*f = p - 25. Is p less than or equal to 43/2?
False
Let u = -361/873 + -3/97. Is -1 >= u?
False
Suppose -7*y + 5*y = 0. Let q = y + 12. Do q and 13 have the same value?
False
Let y be (48/56)/((-1)/(-7)). Suppose -y = z + 5*u, -4*z - u - 8 = 3*u. Which is bigger: z or -2/11?
-2/11
Let w(c) be the first derivative of c**4/4 + 5*c**3/3 - 3*c**2 + 6*c + 4. Let b be w(-6). Is b >= 2?
True
Let q be (314/(-12))/(1/(-2)). Let u = q + -43. Let o = 10 - u. Which is greater: o or 2?
2
Let i = 44 - 36. Is i less than -1?
False
Let h be (32/7)/(-2) - -2. Let s(j) = j**3 - 5*j**2 - 2*j + 1. Let x be s(6). Suppose 2*k + 25 = 7*k, -4*p = -5*k + x. Is p >= h?
True
Suppose i = 5*i. Suppose 12 = -4*c - i. Let p be 4/c*6/20. Do p and -2/5 have the same value?
True
Let t(m) = -m**2 - 7*m - 5. Let f be t(-6). Suppose 2*u = -3*u - 255. Let b = 307/6 + u. Is f >= b?
True
Let u = 0.05 + -2.05. Suppose -3*o = -2*m - 2 - 2, -3*o = 2*m - 20. Let q be 10/m*6/5. Is q less than u?
False
Let u be (-18)/710 - 1/5. Let p = u - -386/2343. Is p not equal to -1?
True
Let a(p) = -p - 4. Let b be a(-3). Let c = -0.6 - -2.6. Let t = c + -1.9. Which is bigger: t or b?
t
Let i be ((1 + -1)*-1)/2. Let k be -7*2/(-66) + 1/3. Is i at most as big as k?
True
Let p = 2 - -1. Suppose n - q + 4*q = p, -2*q + 13 = -3*n. Let d(k) = 5*k + 1. Let j be d(-1). Which is bigger: j or n?
n
Let c be 12*-1*1/(-3). Suppose 0 = -c*l + 3*l - 2. Is -1 at least l?
True
Let u = 18 + -19.1. Let a = u + 1. Which is smaller: 1 or a?
a
Let k = 611/4 + -152. Let z = 0 + 0. Is k > z?
True
Suppose -8*a + 12*a - 60 = 0. Suppose g + 3*m - a = 4*g, 15 = -5*m. Which is bigger: g or -9?
g
Let d be (-770)/195 + 2 + 2. Which is smaller: d or -1?
-1
Let f = -0.13 - 2.37. Let h = 2.9 + f. Is h at most as big as 0?
False
Let p be -18*(-3)/6 + -4. Suppose p*v = -i - 5, 2*v - 7*v + 5*i + 25 = 0. Which is smaller: -7/6 or v?
-7/6
Let m(q) = -q + 1. Let t be m(-1). Suppose -t = -4*v - 26. Is v less than or equal to -6?
True
Let u = -5.6 - 3.4. Are 1/4 and u equal?
False
Let c be 3030/(-69) + 0/1. Suppose -5*u + 4*y = 220, -4*u - 4*y = -2*u + 88. Let p = u - c. Do 1 and p have different values?
True
Suppose 5*p = -u - 27, -u - 5*p - 29 = u. Is -2 greater than u?
False
Suppose 0 = 5*t + 5*w - 726 - 969, 0 = -5*t + 2*w + 1667. Suppose -q - t = -4*i + 196, 4*i = 5*q + 527. Let x = 929/7 - i. Which is smaller: -0.2 or x?
x
Let u(s) = s**3 + 5*s**2 - 2*s - 8. Let g(y) = -y**2 - 2*y + 3. Let v be g(2). Let a be u(v). Which is greater: 2/21 or a?
a
Let h(o) = o**3 + 7*o**2 - o - 5. Let i be h(-7). Let s = -5 + 3. Let a be s/(-6) + 3/(-9). Which is bigger: a or i?
i
Let t = -94 - -468/5. Are -4/9 and t unequal?
True
Let h(k) = 2*k + 9. Let u be h(-5). Let x = -12/27337 + 71705251/683425. Let p = x - 105. Which is smaller: p or u?
u
Let u = -73 + 74. Let f = -24/11 + 131/55. Is f at least u?
False
Let n = -3/14 + -1/28. Which is greater: n or -1?
n
Let r be -1*(-7)/((-7)/(-6)). Let j be -1 - 2*(-5 + 1). Is r at most j?
True
Let s be 366/(-4)*(-14)/21. Which is bigger: s or 60?
s
Let g(k) = -k**3 + 5*k**2 - 3*k - 3. Let c be g(4). Let x be (-1)/((-15)/(-9) + -2). Suppose -f + x*f = 0. Which is bigger: c or f?
c
Let l(s) = -s**2 - s + 2. Let k be l(0). Suppose 1 + k = -3*g. Let m be (-8)/3*(-3)/36. Is g at most m?
True
Let x = 9/10 - 53/70. Which is bigger: -4/7 or x?
x
Let w be (-4)/2 - 0/(-2). Let b(p) = p**2 + 20*p - 1. Let z be b(-20). Is w equal to z?
False
Let i = 21 - 26. Is i > 1/3?
False
Let i = -7 + 10. Suppose x + i = 4*x. Which is bigger: 4/7 or x?
x
Let d = -18 + 10. Are d and -11 nonequal?
True
Suppose -3*u + 2*u - 31 = 0. Which is bigger: -30 or u?
-30
Let s = -24 - -43. Is 21 < s?
False
Suppose 0 = -3*v + 58 - 1. Suppose b - 4*k - v = 0, -2*b + 0*k + 3 = -k. Do b and 1/3 have different values?
True
Let l be (-14)/10 - (-4)/10. Let y = -71/33 - -9/11. Are y and l equal?
False
Let y(o) = o**2 + 7*o - 8. Let n be y(-4). Which is greater: 1 or n?
1
Let m = -55.2 - -55. Which is bigger: m or -2?
m
Suppose 0*a = -a. Suppose a*b - 4 = -2*b. Let y be 3/(-18)*(-3 + 0). Which is greater: b or y?
b
Suppose 3*c + 3 = 159. Let g be 1/(-4) + (-3)/c. Which is greater: g or 0.1?
0.1
Let q = 12 - 13. Which is smaller: q or 6/37?
q
Let a be ((-6)/4)/((-1)/(-2)). Let l be (a/2)/(3/(-6)). Suppose -9 = -2*w