s f > -13/2?
True
Let w = 39 + -69. Which is bigger: w or -1?
-1
Let s be (1/3)/((-2)/66). Let y = s - -7. Is y less than or equal to -2/3?
True
Let i be 138/(-9) + 3 + 1/3. Is -65/6 greater than or equal to i?
True
Let h = -15.5 + 8.6. Let c = -7 - h. Let p = -0.8 - 3.2. Which is bigger: c or p?
c
Let r be (-100)/(-264) + 1 + -1. Let t = -67/2442 + -2/111. Let q = r + t. Which is bigger: q or -1?
q
Let v be (-6 + 3)*10/(-15). Suppose 0 = -2*m - 5*b - 16, v*b = -2*m + 3*m + 8. Is m greater than -7?
False
Let x = -0.008 + -3.092. Let n = 1.3 + -4.3. Let t = n - x. Which is smaller: t or -4?
-4
Let c = -2 + 6. Suppose 2*x + m = -3*x - 44, x = -m - 12. Let i = -3 - x. Is i less than c?
False
Let x(l) = l**3 + l**2 - l - 16. Let h be x(0). Which is greater: h or -15?
-15
Let r = 1 - -3. Let v = 221/540 + -1/108. Is r < v?
False
Let r be (-2)/(-3)*(-57)/38. Which is bigger: r or -2/33?
-2/33
Suppose 7 = -2*j + 1. Suppose 0 = c + 4*b + 2, -c - 2*b = -0*b + 4. Let r be (-4)/c*j/4. Is r >= 1/2?
False
Let v be -2 + 24/10 - (-121)/(-385). Which is smaller: v or 1?
v
Suppose 3*a = 2 - 8. Let d = -3 - a. Let t be -2 + 5 - (2 - -1). Which is greater: t or d?
t
Let s = 443/342 + -7/38. Suppose 2*u - 4 = -2*u. Which is greater: s or u?
s
Let k be 1/3 + 26/(-6). Let j = k + 3. Let u(v) = 2*v**2 - 4*v - 2. Let l be u(0). Is l smaller than j?
True
Let x = 9.7 - 9.5. Is 2/49 at least as big as x?
False
Let b be ((-8)/(-4))/2*(3 + -1). Is -0.07 != b?
True
Let m(l) = -l**3 - 4*l**2 + 6*l + 7. Let k be m(-6). Let v be (192/27)/(1/6). Let i = v - k. Is i <= -1?
False
Suppose j + n + 5 = 0, 3*n + n + 20 = 4*j. Is -4/9 > j?
False
Let l = -1 - 7. Let m = -11 - l. Which is smaller: -4 or m?
-4
Let g be (-54)/(-12) + (-1)/(-2). Suppose -5*l = 5*c + 5, -5*c + 3*l + 14 = -21. Which is greater: c or g?
g
Let u(q) = q**2 + 6*q + 1. Let x be u(-6). Let r(p) = -2 + p - 3 - x. Let k be r(5). Is -1 at least as big as k?
True
Let b be -7*((-24)/(-14) - 2). Let y be b/4 - 6/(-4). Let p = 1 - -2. Do y and p have different values?
True
Suppose 0*m + 5*m + 15 = 0. Is m < -3?
False
Let o(p) = p**2 + p - 1. Let r be o(2). Suppose 0 = r*x - 19 + 4. Suppose -2*z - 5 = x*z. Which is smaller: z or -2/11?
z
Let p = 1 + 1. Suppose 7*m - 12 = 3*m. Suppose 0 = -m*n + 6*n + 9. Which is smaller: n or p?
n
Suppose 7*i - 46 = -39*i. Let h(q) = q + 1. Let d be h(-4). Is d greater than i?
False
Suppose -5*m + g - 3 = 0, 9 = 3*m + 5*g + 22. Which is bigger: 2/437 or m?
2/437
Let c(t) = -t + 4. Let y be c(6). Let x be 9/21 - 0/y. Is 1 >= x?
True
Let n = -135/2 + 71. Suppose -4*j - 4*r = -24, -4*j + 8 = -3*j + 2*r. Which is smaller: j or n?
n
Let z(b) = b**3 - 5*b**2 - 7*b + 2. Let v be z(6). Suppose 3*x + 6 = x. Which is greater: x or v?
x
Suppose 0 = -6*i + 4*i + 4. Which is smaller: i or -1?
-1
Let d be (9/6)/(-1) - -1. Which is greater: 1 or d?
1
Suppose 0*v + 2*v - 8 = 0. Suppose 3*n + 7 = v. Let u be (-6)/28 - n/2. Is u at least 0?
True
Let b(z) = 3*z - 7. Let v be b(4). Let c be (2/8)/(v/(-10)). Let m = 64 - 190/3. Which is smaller: m or c?
c
Let i be ((-1)/2)/((-1)/4). Let z = -1/5501 + 407139/357565. Let s = z - -2/455. Is i at least as big as s?
True
Suppose 0 = -6*t + 3*t. Let l(f) = -5*f + 7. Let k(d) = -4*d + 6. Let a(m) = -6*k(m) + 5*l(m). Let q be a(-2). Which is smaller: q or t?
t
Let n = -9 - -6. Suppose 6*x - 15 = 11*x. Are x and n unequal?
False
Suppose -v = -2*o, 0 = v - 4. Let r be o/(-7) - (-4)/14. Suppose 5*l - 6 - 9 = r. Which is greater: -1/3 or l?
l
Let l = -24 - -24. Let c = 7/39 + 2/13. Is l greater than or equal to c?
False
Suppose 2*v - 8 = -2*v. Let j = v - 9/5. Let p = 312.9 + -313. Which is smaller: j or p?
p
Suppose 7*m - 4*m = 0. Is -1/11 smaller than m?
True
Let x = 73/3 + -217/9. Let s = 0 - 1. Is x at least as big as s?
True
Let w = 3.3 + -3. Which is smaller: w or -2/9?
-2/9
Suppose 7*c + 7 = -7. Which is bigger: -11 or c?
c
Let r = 82 + -97. Is -19 at most as big as r?
True
Let u(k) = 0 - 4 + 4 + 4 - k. Let n be u(7). Let l be 1/n + 4/(-6). Which is smaller: l or -3?
-3
Let w = 3 - 2. Let s = -7.13 - -0.13. Let l = s + 6. Which is smaller: l or w?
l
Suppose -2*c + 5*c = -2*j + 13, 3*c - 17 = 2*j. Which is smaller: -2/109 or j?
j
Let t = -14.3 + 15. Which is greater: -1/2 or t?
t
Let b(l) = -l**2 + 3*l + 4. Let m be b(4). Which is smaller: m or 6/23?
m
Let c(x) = 2*x - 3. Let a be c(5). Suppose b + 4 = -4*l - 4, l + a = b. Suppose -g + 0 = 3. Is l greater than g?
False
Let s = -41 - -247/6. Let n be (-9)/12 + -4*(-12)/64. Are s and n unequal?
True
Let x(f) = 2*f**3 - 2*f**2 - 3*f + 2. Let h be x(2). Is 4 not equal to h?
False
Let k(i) = i**2 + 9*i + 3. Let t(q) = 2*q**2 + 10*q + 3. Let d(z) = 3*k(z) - 2*t(z). Let x be d(7). Is x > 3?
False
Suppose -3 = -2*h + 29. Suppose 5*s - s = h. Let m = s + -6. Which is smaller: m or -3?
-3
Let f be 3*50/78 + -2. Suppose -20 = 4*z + 5*y, 5*z - 3*y - 8 = -y. Do f and z have the same value?
False
Let q = -1 - -1.6. Suppose 5*b - 3*b = -6. Let r = b - -2. Which is smaller: r or q?
r
Let g be 2/8 + (-5)/20. Which is smaller: 1/18 or g?
g
Let r be ((-8)/6)/(3/18). Which is smaller: -1 or r?
r
Let a be ((-1)/4)/((-35)/40). Which is smaller: a or -2/5?
-2/5
Let q = -2 - -1. Let d(s) = -3*s + 16. Let y be d(5). Is q at most as big as y?
True
Suppose 5*c - 23 = -4*h, 3*c = h + 2*h + 30. Let p(z) = -2 + 2 + 4 - z + 5. Let j be p(c). Are j and 2 nonequal?
False
Let i(s) = -s**3 + 2*s**2 + 5*s - 2. Let v be i(3). Suppose -v*u - 1 = 2*k + 3, 2*k - 8 = 0. Is -5 greater than u?
False
Let l = 16 - 16. Is l greater than 0.6?
False
Let f = 0.519 + -0.519. Let v = -1.4 - -1. Which is smaller: f or v?
v
Let k(c) = -c + 2. Let z be k(5). Let u be (-78)/9 - (-1)/z. Let n be (-2)/u + 8/(-36). Which is greater: 1 or n?
1
Let k = -340 - -19037/56. Which is smaller: k or -1?
-1
Let h = -86 + 143. Which is smaller: 1 or h?
1
Suppose -21 = 5*o - 4*k + 6, -k = -3*o - 19. Let c(h) = h**3 + 6*h**2 - 7*h + 9. Let m be c(o). Let r be (-4)/m*18/(-6). Which is smaller: 0 or r?
0
Let j be ((-2)/(-16))/((-1)/2). Let p = 0.2 + -0.25. Let a = 1.05 + p. Which is greater: a or j?
a
Let y(n) = n**3 - 3*n**2 + 1. Let r be (4/6)/((-2)/(-3)). Let g be y(r). Suppose -u = -3*x + 4, 4*u = x - 2*x + 10. Which is smaller: g or u?
g
Let g(i) = 4*i**2 + 6*i - 6. Let z be g(4). Suppose q + z = 3*q. Let f = 125/3 - q. Which is smaller: f or 0?
0
Let g be 2/(-4) - (-2)/(-4). Let h be 3/g + (-7)/(-2). Is h >= 1?
False
Suppose -25 = 9*s + 2. Is -2 at least s?
True
Let p = 23 + -14. Let h(y) = -y**2 + 8*y + 8. Let w be h(p). Let c be 2/(-9)*(-3)/2. Is w at least as big as c?
False
Let o(v) = -v**2 - 4*v + 6. Let r be o(-6). Let x = 7 + r. Which is bigger: x or 2/11?
x
Let t(l) = -2*l + 1. Let h be t(-2). Let s = h + -2. Is s greater than 3?
False
Let n be 0 - 0 - 2/(-2). Suppose 3*x = 2*z + 11, -3*z = -5*z - x + n. Which is bigger: -2 or z?
z
Let m = -3 + 4. Is 4/7 equal to m?
False
Let t(y) = y. Let w be t(4). Suppose k + w*k + 10 = 0. Let c be (k/2)/(1 + -2). Is 3/8 >= c?
False
Let z be 22/33 - 12/(-9). Which is greater: -1 or z?
z
Suppose 150 = 3*m - 3*f, 3 = -2*f - 7. Let g be ((-36)/m)/((-4)/10). Suppose -2 = 2*k + 4*q, 3*q - g = -2*k - 3. Which is smaller: k or -3/8?
-3/8
Let z = -2 + 0.1. Let v = z - -1.89. Is v not equal to 1?
True
Let t = -1069/38 - -88/19. Let h = t - -24. Let s be (-1)/((-3)/(-3))*-1. Is h < s?
True
Suppose 0 = 3*d + j - 126, -19 - 13 = -d + 3*j. Let w = -204/5 + d. Suppose 0*o - 3*o = 0. Is o > w?
False
Let w(k) = 2*k - 6. Let d be w(6). Suppose -c - b - 12 = 0, 3*b = d*b + 9. Are -9 and c unequal?
False
Suppose -3*b - 90 = -0*b. Let t be 1*3/b*2. Are t and 0 unequal?
True
Let t = -739/18 - -83/2. Suppose 0*i = -3*i - 3. Which is smaller: t or i?
i
Suppose 3*w - 2*z - 14 = 0, 4*w - 4 - 11 = -z. Suppose -w*i - 42 = 3*j, 4*j + 48 = 3*i - 33. Let c = -13 - j. Is 5 >= c?
True
Let m be (-21)/(-105) - (-274)/(-70). Does -1/4 = m?
False
Let c = -149/3 + 50. Which is smaller: c or -0.2?
-0.2
Let y = -148 - -2517/17. Is y > -1?
True
Let n = 8 + -1. Let g(b) = -b**2 - 3*b. Let v be g(-3). Which is greater: v or n?
n
Let v = 0.114 + 47.886. Which is bigger: v or 0.1?
v
Let c = 0.09 - 6.09. Let u = -6 - c. Let p = -0.3 - -0.1. Which is smaller: u or p?
p
Let i(