k
Suppose 0 = 2*u - 3*u + 1. Let g = -30/143 + 4/11. Is u smaller than g?
False
Let o = 85 - 80. Is 19/3 at most as big as o?
False
Suppose -8*u = -45 - 203. Is 31 not equal to u?
False
Let p be -2*(-3)/(-2)*(-176)/(-12). Let q = p + 131/3. Is q at most as big as 2.3?
True
Suppose -18*y + 298 = -23*y - s, -189 = 3*y + 4*s. Which is bigger: y or 3?
3
Let w = 24371 + -365819/15. Let a = -20036/1185 - w. Which is smaller: a or 1?
a
Let l = -2 + -16. Let f(g) = g**2 + 18*g + 8. Let s be f(l). Do s and -2 have the same value?
False
Suppose 4*t - 10 = -t. Let b be t/4 + (-5)/10. Suppose 0 = 2*s - 2*y + 10, 0 = 3*s - 2*y + 4*y. Which is greater: b or s?
b
Suppose 21 = 4*r - 59. Let w = r - 15. Suppose 8 = 7*f - 3*f - 4*i, 4*f = -w*i - 28. Which is greater: f or -3/2?
-3/2
Suppose -60*h + 58*h + 3*v = 252, 5*h - v + 617 = 0. Is h greater than -122?
False
Suppose 618*g = 609*g - 108. Is -53/5 at most g?
False
Let q = 1 + 1. Suppose 4*n - 4*a - 8 = 24, q*a = -4. Suppose -8*b = -5*b - 18. Is n at most as big as b?
True
Suppose -3*s = -15, -s = 5*x + 4 - 24. Suppose 3 = x*r - 4*b, -r = 4*r + b - 5. Which is greater: 2/15 or r?
r
Let r(j) = j**3 - 4*j**2 + j + 2. Let d be r(3). Let m be (6/d)/(261/(-54) + 6). Which is bigger: -1 or m?
-1
Let f be -7 + 10 + -5 + -2 + 12. Which is smaller: f or -0.4?
-0.4
Let j(x) = x**3 - 2*x**2 - x + 2. Let t be j(1). Suppose t = -4*o - c - 63, c - 3 = -2*c. Is -16 at least o?
True
Let q(z) = 83*z**2 + 5*z + 1. Let a be q(3). Which is smaller: a or 764?
a
Suppose -5*b = 6*d - 2064, -4*b + 1032 = 3*d - 0*b. Which is greater: 342 or d?
d
Let g = -0.06 - -1.06. Let o = -14.4 - -14.25. Which is greater: g or o?
g
Let n = 28416/7 - 4051. Which is smaller: 9 or n?
n
Let z = 7 - 18. Let r = z - -15. Suppose -m + 3*a = -2*a - r, 3 = -4*m + a. Is 2/13 less than m?
False
Let d(j) = -j**3 - 7*j**2 - 6*j - 5. Let y be d(-6). Let p be (-28)/(-70) + 1/y. Which is smaller: p or -1?
-1
Let x(p) = 4*p**2 + 9*p - 4. Let u(m) = 7*m**2 + 17*m - 7. Let c(r) = -3*u(r) + 5*x(r). Let f be c(-5). Let j be (-1)/(-4) - (-15)/4. Is f >= j?
True
Let s = 151 - 103. Let y = s + -68. Let i(n) = 67*n + 113. Let o be i(-2). Which is smaller: o or y?
o
Suppose 5*r = -2*q + 7, 0 = r + 3*q - q + 5. Suppose 3*x - 2*z + 62 = -4*z, 2*x + 3*z + 43 = 0. Let f = x + 24. Which is smaller: r or f?
r
Let b = -964 + 100257/104. Let l = 427/1144 - b. Let d = -0.7 - 0.3. Which is smaller: d or l?
d
Let k(d) = 2*d**2 - 14*d + 58. Let q be k(-12). Is q less than 514?
False
Let c be (-1 + 2 - (3 - 1))*-8. Let d be c - (3 + (1 - 1)). Which is bigger: d or 0?
d
Let s = -3 - -3.11. Let x = -0.14 + s. Let k(b) = b + 8. Let i be k(-7). Is x bigger than i?
False
Let t = -59 - -26. Let r = 45 + t. Which is smaller: r or 0?
0
Let m = 17 - -4. Let x = 43/2 - m. Let c = 4 + -5. Are x and c unequal?
True
Suppose 0 = -0*x + 5*x. Let v = -49402/498555 + 2/6155. Let h = -110/567 - v. Which is greater: x or h?
x
Let r(k) = 3*k**3 - 3*k**2 + 3*k + 6. Let w be r(3). Let s = -56 + w. Which is smaller: 10 or s?
10
Let c(s) = 2*s. Let a be c(-3). Let k be 16/(-56)*(-1 + a). Suppose 2 = -4*x - k. Do x and -3 have the same value?
False
Let y = 1.53 + 0.47. Which is bigger: -20 or y?
y
Let a = 270 + -1879/5. Which is greater: a or -107?
a
Let b = -29 - -34. Suppose 0 = -4*y - 20, -80 = 3*h + 2*h - b*y. Is h < 0.1?
True
Let k = 1046 + -1086. Which is smaller: k or 0.4?
k
Let f = 0.03 + -0.34. Let d = -0.69 + f. Let y = 0.8 + d. Which is greater: y or 0.2?
0.2
Let g be (-42873)/233926 + 4/22. Which is smaller: g or -1?
-1
Let q = -793 - -538. Which is greater: -253 or q?
-253
Let d = -34/83 - -526/2905. Which is smaller: -1 or d?
-1
Suppose -7 - 5 = 3*d. Let o be (9 + -11)*30/d. Let b be 6/o + (-3)/(-5). Is 2/17 <= b?
True
Let v = -10.22 - -8.22. Do 1/5 and v have the same value?
False
Let m = 236 + -4483/19. Suppose -7*v = -12*v. Which is smaller: v or m?
v
Let d(r) = r**3 + 7*r**2 + 7*r + 7. Let m be d(-6). Let p be m + (-14)/10 - 1. Let q = -24168 - -24168. Is q > p?
True
Let j be (-4)/(-36)*-3 - 0. Suppose 0*f = -5*f. Suppose 0*n - n = f. Is j > n?
False
Suppose -2*z + 3*a = 5, z = -3*a - 2 + 4. Let y be (28/(-6))/(1/(-12)). Let p be 6/y - (-4)/(-16). Which is greater: p or z?
p
Let m = 984 - 773. Is 212 at most as big as m?
False
Let b = -2/453 + -808/22197. Which is smaller: -10 or b?
-10
Suppose -j + 6*j + 1 = -2*o, 2*j - 5 = o. Which is bigger: j or 3/11?
j
Let z be (1 + -1)/(-2)*1. Suppose z = c - 21 + 9. Suppose -3*q + c - 9 = 0. Which is bigger: q or 5/4?
5/4
Let a = -241 - -240.9. Let r be -6*(-18)/8*2. Which is smaller: r or a?
a
Let i(f) = -8*f + 2. Let r(w) = 23*w - 7. Let s(x) = -17*i(x) - 6*r(x). Let j be s(7). Do j and -6 have the same value?
True
Suppose 101*r - 103*r = 0. Is r > -2/2827?
True
Let d = -53 + 76. Let r = d - 22. Which is smaller: 0.16 or r?
0.16
Suppose -l + 16 = -2*l. Let g be -3 + (180/l)/(-5). Is 0 less than g?
False
Let b = -491 + 491. Is 0.084 > b?
True
Suppose 56 - 8 = -2*x. Let k = x + 218/9. Is k at least as big as -9?
True
Let n(o) = -o + 2. Let a be n(5). Let c be a + (7 - 1) - -72. Is 74 equal to c?
False
Let x = 445 - 449. Let d(z) = z**3 + 4*z**2 - 5*z - 5. Let y be d(-5). Which is smaller: x or y?
y
Let s(z) = 13*z + 7. Let h be s(5). Suppose 4*p = 7*r - 2*r - 69, -4*r + h = -4*p. Is 0 equal to p?
False
Let m = -3210 + 3243. Is 6 < m?
True
Let w(z) = -z**2 + 12*z + 3. Let u be w(11). Let i be u/(-35) + 254/10. Which is bigger: i or 26?
26
Suppose -x = -3*x. Suppose x = 2*i + 6 + 20. Suppose -k + 2*k = -4*c - 13, 2*k + 2*c = -26. Is k greater than or equal to i?
True
Suppose x - 3*x = 0, 0 = -2*r + 4*x + 12. Suppose -11 + 11 = r*z. Which is smaller: 1/2 or z?
z
Let g = 78 + -76. Suppose -j + g = v - 2, 0 = -3*v + 9. Is -2/87 less than j?
True
Let q(b) = -b**2 + 4*b + 2. Let c be q(4). Let y be (-60)/(-72) - c/(-12). Let p = -7 + 7. Which is smaller: y or p?
p
Let s = -473 + 8055/17. Which is greater: s or 0?
s
Let i = 8/301 + -20833/2408. Which is greater: -10 or i?
i
Let a be (-1)/(-10)*55*26. Is 143 at most as big as a?
True
Let i = -6.44 + 5.02. Which is bigger: -2 or i?
i
Suppose -3*u + 57 = 5*i, i = -2*i - u + 31. Let p be (i - 8)/((-1)/(-32)). Suppose 4*z + p = -2*f, 0*z + 3*f = -5*z - 40. Do z and -9 have different values?
True
Let a = -0.046 - -0.072. Let p = -16.026 + a. Does 2/3 = p?
False
Let u = 0.122 - -52.878. Let d = u + -54. Which is bigger: 4/13 or d?
4/13
Let v be (4/(-16))/((21/(-12))/7). Which is bigger: v or 1/34?
v
Let w(z) = -z - 11. Let u be w(-10). Suppose 5*v - 12 = 13. Suppose -v*h + 4*x - 18 = 0, -3*h - 2*h + 3*x = 16. Which is bigger: u or h?
u
Let c = -38 - -41. Let f = c - 0. Is 3 at least f?
True
Let y(u) = 9*u**2 - 5*u - 5. Let l be y(5). Let w be 26/l*(-3)/(-2). Let i = 3 + -2. Which is bigger: w or i?
i
Let c = 28 + -28. Let z(w) = 2*w + 6. Let h be z(c). Let p(t) = -5*t - 3. Let l be p(-2). Which is smaller: l or h?
h
Let w = 0.046 - 7.046. Let a = 0.3 - 0.35. Let f = a + -0.05. Which is smaller: w or f?
w
Let a be (-6 - -3) + (5 - 2). Is 1/25 less than a?
False
Let k(z) = -2*z**3 - 37*z**2 - 23*z - 9. Let x(a) = a**3 + 19*a**2 + 11*a + 5. Let l(j) = 3*k(j) + 5*x(j). Let y be l(-15). Which is smaller: y or -16?
y
Let m be 8 + -4 - ((-5980)/(-747))/2. Is -1 greater than or equal to m?
False
Let z = -16 - -28. Let y be (z/10)/((-6)/(-40)). Let b be y/48*-2*2. Is b <= 0?
True
Let a = 12/1385 - 83232/15235. Which is bigger: a or -4?
-4
Suppose 3*x = 5*x, -4*g + 5*x = 404. Let t = -502/5 - g. Let n = 10 - 9. Which is bigger: n or t?
n
Let t(s) = 2*s + 16. Let d be t(-7). Suppose -2*g = d - 0. Which is smaller: -4/3 or g?
-4/3
Let r = -41/13 + 2570/819. Let j(i) = i**3 - 5*i**2 + 5*i - 4. Let f be j(4). Which is greater: r or f?
f
Suppose 6*w - 728 = -2*w. Let f be ((-13)/w)/(1/18). Which is greater: f or -3?
f
Let w(j) = -7*j - 5. Let a be w(-2). Let f be 2/4*(a - 4 - -13). Let r(d) = d**2 - 4*d - 4. Let b be r(6). Which is greater: f or b?
f
Let x = 0.16 - -4.84. Let v = -5.2 + x. Let h be 0 - -3 - (0 + 2). Which is smaller: h or v?
v
Let z = -139 - -141. Let a be (0 - -1)*1*(10 + z). Are a and 59/5 nonequal?
True
Let g = -28 - -30. Let i(n) = n**2 - 2*n + 2. Let y be i(g). Let w = y + -3. Which is greater: 1/6 or w