-2*t - 2. Which is smaller: s or -2?
-2
Suppose 0 = 10*k + 31 + 129. Which is smaller: -14 or k?
k
Let m = 801/11 + -73. Is 1 bigger than m?
True
Let y be 2/4 + 60/(-152). Let p be 6*(-6)/9 + 3. Which is bigger: p or y?
y
Let y(d) = d**2 - d. Let v be y(2). Suppose 1 - 21 = v*k. Let f = 7 + k. Which is smaller: f or -2?
f
Let o be ((-174)/9*1)/(2/(-6)). Is o at most 1?
False
Let s be 3/(-2) + 3 + -2. Suppose 11 = -3*t - 25. Let k be 4/10 - t/(-5). Which is greater: k or s?
s
Let p(j) = 5*j**3 - 1. Let c be p(-1). Let t = 11 - 16. Do c and t have different values?
True
Suppose -3*m + 4 = -m. Suppose -m*r + 2 = -r. Is 3/4 at most r?
True
Suppose 0 = k - 5*w - 25, -3*k + 5*w = -7 - 18. Let b = -58/45 - -16/15. Which is smaller: k or b?
b
Let t = 2.2 - 3.2. Is 5/4 >= t?
True
Suppose 4*b = a - 11, -3*b - b = -2*a + 14. Let c(x) = x - 18. Let j be c(15). Let g = a - j. Is 6 not equal to g?
False
Let w = -175 - -131. Is w <= -43?
True
Let h(w) = 2*w - 42. Let c be h(26). Which is bigger: 26/3 or c?
c
Let m = 41.5 + -53. Let b = m - -11. Let s = -33/4 + 17/2. Is b at most as big as s?
True
Let y be 2 + 0 - (0 - -2). Let h(s) = -s**3 - 2*s**2 + 2*s + 5. Let v be h(-3). Let c be (v/3 + y)/(-2). Which is smaller: -1 or c?
c
Suppose 4*d = 2*v + v - 1, 2*d = -4*v - 6. Let m be (v + 4)*6/(-9). Let b be (m/6)/1 - 0. Does -1 = b?
False
Let l = -38/11 + 310/77. Which is bigger: 2 or l?
2
Let k(q) = q**2 - 1. Let p be k(1). Let b = 27/5 - 253/45. Is p at most b?
False
Let w be ((-14)/(-6))/((-23)/(-69)). Let g = 6 + 1. Do g and w have different values?
False
Let i = -10 + 10.3. Let u = i - 0.2. Which is greater: u or -3?
u
Let j = 9 + -6. Let v(a) = -j + 3 - a**2 + 4 + 3*a. Let z be v(4). Is 0 >= z?
True
Let t = -129 - -154. Are t and 25 nonequal?
False
Let u = 0 + -2. Let g be ((-12)/(-8) - 2)*(-6)/(-15). Is u at most as big as g?
True
Let t(c) = c**3 - 3*c**2 + 2*c + 2. Let p be t(2). Suppose -p = -3*k + 4. Let q be k/9 - 0/4. Which is smaller: q or -2?
-2
Let z be ((-1)/(-6))/(5/(-20)). Let m = 5 - 0. Let c = 3 - m. Which is smaller: z or c?
c
Let n be ((-2)/(-4))/(4/8). Which is bigger: n or -1/27?
n
Suppose -g + 3*g = 10. Suppose 4*o = g*i + 21 + 3, 5*i + 20 = 0. Let v = -1 - -0.9. Is v at most o?
True
Let t be (-2)/((-14)/5)*(-24)/(-15). Is t less than 1?
False
Let k = 1077 - 194935/181. Which is smaller: k or -1?
-1
Let i = 22 - 43. Is -20 equal to i?
False
Let p(r) be the first derivative of r**2/2 + r + 8. Let d be p(11). Which is smaller: d or 11?
11
Let l = 9.8 - 56.8. Which is bigger: l or 0.2?
0.2
Let k = -42 + 42. Which is smaller: 1/10 or k?
k
Suppose -3*n - 12 = 3*l, l - 5*n - 14 = -0*n. Is l not equal to 0.2?
True
Let m be ((-7)/((-21)/6))/(-2). Does -1/21 = m?
False
Let b = 10 - -26. Is b >= 37?
False
Let y = -3 - -4. Let m = 10 - 2. Let g be (1/2)/(6/m). Is y < g?
False
Let s = 21/13 - 709/455. Is 1 smaller than s?
False
Let w = 27 - 25. Let v be 0 + (3 - 5) + w. Which is smaller: 13 or v?
v
Let r(c) = -3*c + 4. Let n be r(0). Suppose 2*o + 15 = -o - 3*b, o - 2*b - 10 = 0. Suppose 0 = -2*t - 5*s - 5, n*t + s + 0 + 1 = o. Which is greater: -2 or t?
t
Let o = -1.8 - -2. Which is smaller: o or -0.1?
-0.1
Let u = -27 - -25. Is -11/8 smaller than u?
False
Let r = 0.822 + 0.178. Is r less than 3?
True
Let n = -9 - -7. Let f be n/(-4) + (-5)/30. Which is bigger: 0 or f?
f
Suppose -4*x + 4*l = -l - 25, -4*x + 16 = 4*l. Let k(p) be the second derivative of -p**3/3 + p**2/2 + p. Let u be k(-2). Is u smaller than x?
False
Let a be 4/(-10) - 52/(-5). Suppose -d = -2*f - 8, 7*f - a = 4*f - 4*d. Which is smaller: f or -3?
-3
Let d = 81 + -80.953. Let o = 4.447 - d. Let z = o + -4. Which is greater: z or 1?
1
Suppose 0 = -c + 2. Let a be (2 + 0)/(c/(-4)). Is a less than or equal to -4?
True
Let m(d) = d**3 + 10*d**2 + 9*d + 1. Let y be m(-9). Let j be (10/120)/(y/(-2)). Which is greater: -1 or j?
j
Let r(z) = 3 - 1 + 1 - z - 2 - 7*z**2. Let p be r(1). Are -6 and p unequal?
True
Let m = 68 - 67.9. Is m at most as big as -1/12?
False
Suppose q + 2 = 0, 0 = 4*c + 5*q + 4 - 22. Let y = c - 2. Suppose -2*o - y*f = 20, -3*o - f = -2*f - 4. Which is smaller: o or -1?
-1
Let r(q) = -q**2 + 4*q - 3. Let d be r(3). Let l = 152/333 + -4/333. Does d = l?
False
Suppose 0 = 2*p - 3*p - 2*l - 22, -94 = 5*p + 2*l. Is p bigger than -18?
False
Let a be 2/4 - (-10)/(-40). Does -5 = a?
False
Let y = -0.22 + -0.08. Which is smaller: -1 or y?
-1
Let l be ((-25)/(-20))/(1/12). Which is bigger: 16 or l?
16
Suppose -2*y + 5*h = -y - 18, h + 4 = 0. Let l be (-6)/(-2)*-1*y. Let a = l - 6. Is -1/7 bigger than a?
False
Let k = 514/9 + -57. Which is greater: k or 0?
k
Let c = -1 + 45. Let r = c + -177/4. Let g = 2 - 1. Is r less than g?
True
Let a = -100 + 101. Is 0 at most as big as a?
True
Let a be 1*-3*40/6. Which is smaller: -11 or a?
a
Suppose -5*r = -r - 12. Let l be 9*4/r*-1. Let n be 6/(-4)*l/(-9). Which is smaller: n or -3?
-3
Let i be (7 - 0)*(-7)/(-49). Which is bigger: i or 0?
i
Let a = -1.1 + 0.1. Let d = -327 - -184. Let x = d - -1285/9. Which is bigger: x or a?
x
Suppose 0 = 3*j - 2*a - 1 - 1, 3*a - 7 = 2*j. Let z = 6 - j. Is z bigger than 2?
False
Suppose -l = -5*v - 11, -4*v - 3 = 3*l + 2. Suppose -4*f - 25 = 5*t - 8, -t + 14 = -5*f. Let o = l - t. Which is greater: -2 or o?
o
Suppose 0 = 5*z - 17 + 7. Let u be 6/(-3) + 1*z. Let w be (-2)/(4/6 + u). Is w greater than -4?
True
Let s(y) = -y**2 + 12*y + 2. Let z be s(12). Let f be z/(-4)*(-12)/(-18). Which is smaller: f or 0?
f
Suppose s + 73 = 4*q, 0*q - 4*s + 31 = q. Is 20 at least q?
True
Suppose 0 = 3*b + 15 - 0. Let k be (0 - (-3)/b) + 0. Suppose 1 + 5 = -3*p. Which is greater: p or k?
k
Let b = 2.2 - 0.2. Let v = -2 + b. Is v less than or equal to -1?
False
Let d(y) = 3*y**2 - 2*y - 2. Let o be d(2). Does o = -3?
False
Suppose 30*v = 31*v + 22. Is -18 < v?
False
Let o(w) = 3*w - 4. Let d be o(2). Is 4/7 at least as big as d?
False
Let p be (6/8)/(162/(-16)). Does p = -2/7?
False
Let r(l) = l**2 - 4*l - 3. Let a be r(5). Suppose -4 = -0*i - i + 4*v, -2*v = -3*i + 12. Suppose 4 = i*y - 0. Is a at least as big as y?
True
Let z be (-4 - -2)/((-2)/4). Suppose 0 = -4*u - 2*n - 6, -25 = -6*u + u + z*n. Which is greater: u or 1/3?
u
Suppose 0 = -3*x + 4*x - 2. Is x > 2?
False
Suppose 0*a = -2*a + 2, 5*a - 5 = 4*h. Is -3/5 greater than h?
False
Suppose 0 = 10*d - 6*d - 12. Which is smaller: d or 4/5?
4/5
Let x be (-2)/3*30/20. Is -4 at least as big as x?
False
Let r = -3 + 4. Let s(g) = 3*g**2 + 2*g - 1. Let n be s(r). Is n greater than or equal to 4?
True
Suppose 3*k - 38 = -4*m, 5*k = 5*m - 2*m - 43. Let r = -16 + m. Is -5 at least r?
True
Let l = 249 + -11203/45. Which is bigger: l or -1?
l
Let r(t) = t**3 + 4*t**2 + 3*t - 1. Let s be r(-3). Let x be ((-3)/(-2) + s)*-2. Let a(g) = 2*g - 10. Let o be a(5). Which is bigger: x or o?
o
Let k = -0.3 + 1. Let o = -0.22 + -0.08. Let b = o - k. Is b less than or equal to 1?
True
Let a = -78 - -77. Which is smaller: a or -9?
-9
Suppose 0 = m - 0 - 1. Let i be (-9)/54*(9 + -1). Is i at most as big as m?
True
Let k = -17 - -12. Let j(d) = 6*d + 2. Let c(v) = -7*v - 2. Let p(a) = k*c(a) - 6*j(a). Let r be p(-2). Is r bigger than -1/8?
True
Suppose -122*g = -124*g - 6. Is -0.3 >= g?
True
Let l be 35/10 + (-2)/4. Suppose 0 = -5*a + 3*s - 8, -7*a - 24 = -l*a + 2*s. Let k be (-1)/((1/(-3))/(-1)). Is k less than a?
False
Let d be 1/(-4) + (2 - 22/8). Let t = 617 - 6799/11. Which is greater: d or t?
d
Let f be 0/(-2) + 1*-1. Let i = 1443 - 5875/4. Let p = i + 26. Is f less than p?
True
Let c = -1601 + 132885/83. Let g = c - 176/415. Let i = -2 + 3. Is g bigger than i?
False
Let u = -1233/1270 + 9/127. Which is smaller: u or -1/6?
u
Let a be 29/(4011/27 + 2). Let c = 2/271 + a. Which is greater: c or -1?
c
Let x = -74 + 74. Which is bigger: -1/2 or x?
x
Let j = -1.2 + 0.4. Let i = j - -1. Which is greater: i or -5/4?
i
Let d be 246/20*3/(-42). Let r = d + -9/28. Let u = 63 + -64. Which is smaller: r or u?
r
Let k be ((-16)/12)/(6/(-9)). Which is greater: k or -2?
k
Suppose 3 = 3*h, 5*d + 4 = -4*h + 18. Let l(x) = x. Let i be l(d). Which is smaller: i or -8/5?
-8/5
Let u = 4 - 9. Let p = u - -6. Which is bigger: 0.3 or p?
p
Let d(m) = m**3 + 9*m**2 - 13*m + 3. Let y be d(-11). Is -95 bi