. Which is smaller: x or z?
z
Let c = 321023/273789 + -1/9441. Is 1 > c?
False
Let b(o) = o - 1. Let y be (-5)/10 + (-57)/6. Let k be (-38)/y - (-4)/20. Let m be b(k). Is m smaller than 3?
False
Let x(v) = 2*v**3 - 36*v**2 - 4*v - 36. Let h be x(18). Is -0.2 at least as big as h?
True
Suppose -4*k = -3*k - 6. Suppose 0 = k*s + 3 - 51. Let b be 4/1 + (3 - s). Does b = -1?
True
Suppose 5*c = -0*c + 5*d + 35, -3*d + 27 = 5*c. Which is greater: 11/2 or c?
c
Suppose 0 + 2 = o - 2*u, 4*o - 5*u - 11 = 0. Let y(d) = d + 3*d**3 - 5*d**2 + 4*d**3 - 8*d**3 - o*d. Let i be y(-4). Is i greater than or equal to 0?
False
Let c = -8 - -18. Let n be ((-14)/(-56))/((-2)/(-8) + (-928)/4096). Is c at most as big as n?
True
Suppose 38 = -2*j + 2*c, 0 = 3*c - 7*c + 4. Let m be (-111)/7 - (-2)/(-28)*2. Which is greater: m or j?
m
Let x be 3/(-14)*(-2)/12. Suppose 2*s + 3*s = n + 8, 0 = 3*s - 5*n - 18. Is x < s?
True
Let d = 0.5 + 4.5. Let w = d + -5.08. Let n = -8.83 + 8.93. Are n and w equal?
False
Let u be 3/9 - 25/75. Which is greater: u or 9/104?
9/104
Let y be 1/(-20)*(0 - 5565/(-14)). Which is smaller: -20 or y?
-20
Let w(p) = -p**2 + 9*p - 20. Suppose 7*g + 3 = 8*g. Suppose g*b + 0*b - 18 = 0. Let t be w(b). Is -2 at least t?
True
Let t = -0.11 + -0.57. Let m = t + 12.68. Which is smaller: -0.1 or m?
-0.1
Let q = -137 + 1213/9. Let o be (-2)/(-6) + 3/18. Is q bigger than o?
False
Let y(d) = d**3 + 26*d**2 + 27*d + 62. Let x be y(-25). Which is bigger: x or 7?
x
Let c(r) = 7*r**3 + r**3 + 4*r**2 - r**2 - 4*r - r**3 + 2. Let i be c(1). Let s be (i - -1)*(-4)/3. Which is smaller: s or -14?
-14
Let o be (-1)/((-62)/(-6) + 0). Suppose 38*z - 239*z - 201 = 0. Which is greater: o or z?
o
Let j(c) = -c**3 + 11*c**2 - 11*c - 8. Let k be j(10). Suppose 0 = -5*i - 6 - 89. Which is smaller: i or k?
i
Suppose -12*j + 23*j + 242 = 0. Are -25 and j nonequal?
True
Let j = -445 - -448. Which is smaller: 19/7 or j?
19/7
Suppose 0 = 2*a - 0*x - x + 6, -4*a - 3*x = 2. Is 4 equal to a?
False
Let u = 15977 - 64435/4. Let w = u + 133. Let m = 2 - 2. Do w and m have the same value?
False
Let r = -34401/13 - -2645. Are 0 and r nonequal?
True
Let t = 0.06 - -1.94. Let a = 5.3 + -8.09. Let n = -0.21 + a. Which is smaller: n or t?
n
Let u = -61 - -61.002. Let h = u + -0.102. Are -9/13 and h equal?
False
Suppose 6*z = 9*z - 15. Suppose 2*h + 0 + 6 = 4*t, z*h = -4*t + 13. Which is greater: 11 or h?
11
Let n = -8 - 0. Let c(o) = 5*o + 71. Let t be c(-14). Which is greater: t or n?
t
Let u be 2/(-3) + 149224/(-228). Let r = -655 - u. Is r greater than or equal to 0?
True
Let x(r) be the third derivative of r**4/6 - r**3 - 13*r**2. Let b be x(2). Which is smaller: b or -1?
-1
Suppose 0 - 6 = 3*a. Let h be -1*2*(22 - 23) - 6. Which is smaller: a or h?
h
Let j be (-6)/(12/(-38)) - -2*1. Suppose 30 = -3*s - j. Are s and -18 nonequal?
True
Let i = 1.638 - 2.394. Which is bigger: 0 or i?
0
Let k(n) = -6*n**3 + 16*n**2 + 8*n - 6. Let q(z) = 5*z**3 - 15*z**2 - 9*z + 6. Let j(f) = -4*k(f) - 5*q(f). Let y be j(12). Which is bigger: 8 or y?
8
Let b = -12898/19 + 679. Suppose d + 4*a + 10 = -4, -3*d - 5*a - 7 = 0. Let p be (-5)/(-6) - (-1)/d. Which is greater: b or p?
p
Suppose 5*b = 3*b. Suppose n - 4 = 0, -3*i + 2*n - 29 = -b*n. Suppose 4*m = -3*m - 35. Are i and m equal?
False
Let k = -0.48 - 2.52. Which is smaller: k or -84?
-84
Let z(y) = -19*y + 3. Let p be z(1). Let k be (-2)/4 + 392/p. Let b be ((-15)/(-30))/((-1)/50). Are b and k nonequal?
False
Let d(j) = 0*j - 10*j - 17 + 14*j. Let i be d(8). Which is smaller: 14 or i?
14
Suppose 15 = 4*u + u. Let f = u - 16. Let b = -18 - f. Which is bigger: -7/2 or b?
-7/2
Let u be (2 - 0)/((-1)/((-33)/6)). Which is smaller: u or 0?
0
Let j(p) = -11*p - 4. Let g(y) = 21*y + 9. Let q(h) = 2*g(h) + 5*j(h). Let w be q(-2). Which is smaller: 25 or w?
w
Let m be 1*(-1 - -1*14). Let l = m + -27. Which is smaller: l or 0.1?
l
Let w = 1127 - 9013/8. Let s(u) = -u**2 + 4*u - 3. Let x be s(4). Let t = x + 3. Which is smaller: t or w?
t
Suppose 2*l - 2*s = -56, -l - 11 = -3*s + 33. Let a = -61 - -42. Which is smaller: l or a?
l
Let l = -8 + 6. Let q = 1 + l. Let b = 0.46 - 0.6. Which is bigger: b or q?
b
Suppose 0 = 3*f + a + 2, -f - a - 24 = 4*a. Let x = 29 + -38. Let m be (12/x + f)*0. Is -3 not equal to m?
True
Let m = -4 - -39. Is 35 at least m?
True
Suppose 2*n - 7*n + 3*k - 11 = 0, n + 5 = 2*k. Let m = 0.21 + 18.79. Which is bigger: n or m?
m
Let c(t) = -t**3 + 5*t**2 - 2*t - 2. Let j be c(4). Suppose -2*a = 4*h - 6*h - j, 9 = 2*a - 3*h. Which is greater: 1/23 or a?
1/23
Suppose n + 7 = -9. Let v = 19 + n. Is v less than 5?
True
Suppose -h = 3*l - 15, l = -10*h + 14*h - 60. Is 9 at least as big as h?
False
Let r = -3 - 9. Let o = 14 + r. Which is smaller: 4 or o?
o
Suppose 2*u + 27 = 25. Which is smaller: -4/267 or u?
u
Let f = 373 - 372.95. Which is smaller: f or -93?
-93
Let r be 189/14 + (3/2 - 2). Let l = 12 - r. Are l and 1/4 equal?
False
Let l be (-1)/(-6) + (-244)/(-264). Which is greater: 0 or l?
l
Let t be 6*(3/6)/1. Suppose -3*y + 9 + 0 = 3*n, 7 = 2*n + y. Suppose t*p + n = p. Is -6 > p?
False
Let i = 2 + -10. Let c(o) = o**3 + 8*o**2 + 1. Let m be c(i). Which is bigger: 1/5 or m?
m
Let h be (-1 - -5 - 4718/(-1365)) + -1. Let u = -97/15 + h. Which is smaller: 0 or u?
u
Let z = 0 + 3. Suppose -1 = 2*c - 4*l - 25, -4*c + z*l + 63 = 0. Suppose n + d + 4 = 0, -4*n - c = 4*d - 2*d. Is n at most -6?
False
Suppose -32*x + 27*x = -20. Let s = 2.5 + 0.5. Which is smaller: x or s?
s
Let w be (4 - 0)*1 + 20. Suppose 6*r - 4*t = 2*r - w, 2*r + 18 = 5*t. Let z be 2/(-5)*(-50)/(-8). Which is smaller: r or z?
r
Let t = -122/3 - -3544/87. Suppose 0*o + o = 7. Let b = o - 7. Are b and t non-equal?
True
Suppose 5*v - 20 = -u, 4*v - 16 = 8*u - 7*u. Suppose u*w - 5*w = -245. Which is smaller: w or 50?
w
Let v = -388 + 349. Is v < -39?
False
Suppose -5*m + 17 = -3. Suppose -m*f = h - 9, -h = -4*h - 2*f + 17. Suppose 0*s = -11*s + s. Are h and s nonequal?
True
Suppose -g = -2 - 1. Let m = -561 - -586. Suppose 0 = g*k + m - 34. Which is greater: 4 or k?
4
Let r be 220 + -18 - (-2 + 2). Which is greater: 204 or r?
204
Let j = -148 + 79. Let o = j + 65. Is -16/5 at most o?
False
Suppose -1 - 440 = -9*c. Which is smaller: 51 or c?
c
Suppose z + 0*z + 4*b = 23, -5*z + 30 = 3*b. Let t be 1 + 1*(z - 70). Which is smaller: t or -65?
t
Suppose -20*h + 33*h = 715. Which is smaller: 57 or h?
h
Let s = -165 - -209. Is -1 greater than or equal to s?
False
Let x be 6/10 - (-33)/(-330). Is x greater than -188?
True
Let h = 623 - 622.9. Is -334 < h?
True
Let n = -1.1 + 0.1. Let g = 0.29 - 0.245. Let t = g + -0.215. Which is smaller: n or t?
n
Let d(i) = 6*i - 41. Let f be d(7). Which is smaller: 1/124 or f?
1/124
Let y(d) = -d + 1. Let r be y(5). Let v be 8/r + (1 - 0). Let l = 68 + -337/5. Is v < l?
True
Let v = -2/1207 - -19322/6035. Suppose -2*s - 3 = 3. Let o = s + v. Is 0 <= o?
True
Let g be (-50)/(-2*3/6). Let i = -103/2 + g. Let a be (-3)/(-2)*4/(-6). Is i >= a?
False
Let j = 35 - 55. Let n = j - -20.1. Let y be -8*(-3)/6 - -1. Is n at most y?
True
Let v be ((-7)/2)/(7/(-14)). Suppose -2*n = -v*n. Suppose 2*y = -3*y + 4*x - 20, -5*y - 3*x + 15 = n. Is -6/17 at most y?
True
Let c = -22.16 - -26.202. Let u = c + -0.042. Which is smaller: 2 or u?
2
Let r(f) = f**2 - 15*f + 57. Let o be r(20). Is o != 158?
True
Let f = 4615/33 - 1542/11. Which is bigger: f or -1249?
f
Let x be (58 + -7)/3*-1. Is x bigger than -17?
False
Let z(l) = -l**2 + 7*l + 7. Let m be z(6). Let j = -13 + m. Let v = -4 + 7. Is j greater than v?
False
Suppose 2*s = 4*n - 3*n + 1, 4*s - 14 = -2*n. Let f(c) = c**3 - 5 + s*c**2 + 4*c - 8*c**2 - 2*c - c. Let i be f(6). Which is bigger: i or 0?
i
Let f(d) = -d**2 + 2*d - 1. Let n be (0/2)/(2 - 0). Let t be f(n). Let b = -810 + 10536/13. Which is bigger: t or b?
b
Let l be (-11 + 18 - -60)*1. Is 53 greater than l?
False
Let w = -975 - -1002. Which is bigger: w or 16?
w
Let p(t) = 2*t + 16. Let f be p(-5). Let n(g) = g - 5. Let i be n(f). Which is smaller: 4/13 or i?
4/13
Let g = -81/4 + 20. Let s = 11/12 + g. Suppose 0 = -2*h - 10, 20 = 3*v - 0*v - 4*h. Is s greater than v?
True
Suppose -2*r + 5 = -3*r. Let c = r + -6. Let i = c - -14. Which is bigger: 2 or i?
i
Supp