10. Is -263/5 at most j?
False
Suppose 6 = -g - y, -2*y = -g + y + 6. Let c be (1 - 41/21)*g. Is c > 0?
True
Let x be (2*4/(-6))/(4/(-6)). Let b(j) = j - 1. Let h be b(x). Which is bigger: h or 2?
2
Suppose 5*m + 11*t - 14*t - 389 = 0, 2*t + 391 = 5*m. Is m smaller than 81?
True
Let n = 25 + 1. Let q = -25 + n. Let k be (-6)/(-52)*(-32)/72. Is q less than k?
False
Let t be (2 - 6)/(-4 + 2). Let a be 9/(0 + 3) + (3 - 4). Suppose -a - 12 = t*i. Which is bigger: -10 or i?
i
Let j(a) = -a**2 - 22*a - 13. Let f be j(0). Is 28 at least f?
True
Let m = 6/5 + -44/45. Let q = -219 + 220. Is q at least as big as m?
True
Suppose -5*y = -4*x + 20, 5*x + 0 = y + 4. Suppose x = -m - 50 + 13. Which is smaller: -38 or m?
-38
Suppose 5*d - 3*y - 33 = 0, -7 = -4*d + 2*d - 5*y. Suppose 0 = -4*k + 3*c + c, 3*c = -3*k + d. Which is smaller: k or 2?
k
Let f be -3 - -13 - (-1435)/(-140). Is f < 0.13?
True
Let h(u) = -4*u + 203. Let d be h(45). Let p(n) = 12*n - 2. Let k be p(2). Is k at least d?
False
Suppose -y - 3*a + 3 = -2, -36 = -4*y + 4*a. Suppose y*j - 6 = 9*j. Let o be 2 + j/4*2. Which is smaller: o or 0?
o
Let r be (-21)/14*44/(-6). Let b be (1/1)/((-15)/(-5)). Is r at most as big as b?
False
Suppose k - 19 = 2. Let f = -20 + k. Let l(x) = x**2 - 4*x - 9. Let n be l(6). Which is smaller: n or f?
f
Suppose 2*z = 3*x + 97, 9*z - 8*z = -4*x + 76. Is z less than 52?
False
Suppose 4*c - 3*w - 17 = -4, -2*w = -2. Let o be -2 - ((-10)/6 + -3). Is o <= c?
True
Let i(k) = -8*k**3 - 3*k - 2. Let u be i(-1). Let l be u/((-18)/8) + 15/1. Is l bigger than -0.1?
True
Let c = 10.3 + -17.5. Let q = -5.2 - c. Is 3.4 at most q?
False
Let c(b) = b**3 + 5*b**2 - 7. Let i be c(-5). Let o(j) = -2*j - 10. Let q be o(i). Suppose 4*l - 4 = -4*g - 12, -q*g - 3*l - 13 = 0. Is -7 < g?
False
Let v = 356.6 - 357. Let g = 1.3 + 3.7. Which is bigger: g or v?
g
Let z = 1637 - 1637.094. Which is bigger: -4 or z?
z
Let v be (-22)/(-8) + 5 + (-19)/4. Suppose v*m = 12*m. Which is smaller: 2/101 or m?
m
Let q = -618 + 620.97. Let v = 3 - q. Let o = v - -0.97. Which is bigger: o or 18?
18
Let n = -198 - -207. Which is smaller: n or 7?
7
Let h be (-8)/28 - (-97810)/21. Let f = h + -4459. Let c = -202 + f. Is c smaller than -4?
False
Let u = -148 - -2077/14. Let s = 10/3 + -8/3. Is u less than or equal to s?
True
Let t be (-1)/(-5) - (-162)/15. Suppose -10 + t = k. Let g be 6 + (2 - k) + 3. Which is smaller: g or 8?
8
Let z be (-11)/(-4 + 6 + -3). Suppose 3*i = z + 1. Let t be 0/(i/8*4). Which is smaller: t or -2/7?
-2/7
Let o be (-2)/3 + (3859/(-354))/(-17). Which is smaller: 1 or o?
o
Let u(a) = -a. Let p(t) = 3*t + 15. Let o be p(-6). Let i be u(o). Is -10 at most i?
True
Suppose 2*n - n = 2, -3*i = 3*n - 531. Let w be 1/(-5) - (65/i - -8). Which is smaller: w or -10?
-10
Let m = 1022 - 1021. Which is smaller: m or 3/67?
3/67
Suppose 0*u - 4*u + d = -58, -5*u - d = -77. Suppose 24 = q - u. Let i be q/7 + (-3)/(-7). Is 4 less than i?
True
Let r(p) = 3*p**3 - 7*p**2 + 7*p. Let j(x) = 16*x**3 - 36*x**2 + 36*x. Let k(y) = -2*j(y) + 11*r(y). Let v be k(2). Which is bigger: v or -4?
v
Let z(w) = w**3 - 5*w**2 + 4*w - 6. Let j be z(4). Let p be (-6)/4 + j/(-12). Let g be 2/11 - 84/99. Which is greater: g or p?
g
Let q be 24/(-228) + 933/19. Which is smaller: q or 45?
45
Let q = 7.9 + -12.9. Suppose -8 = 5*k - x, -5*x = k + 3 - 17. Which is greater: q or k?
k
Let i = -34 + 36. Let n(x) = 3*x - 6. Let j be n(i). Is -26 smaller than j?
True
Let b(s) = s - 2. Let p be b(6). Suppose p*c + 10 = 54. Let w = 3 + c. Which is smaller: w or 13?
13
Let n = 6 + 4. Suppose 0 = 3*a - 5*a - 5*c + 12, 5*c = n. Let o(l) = -l**2 - 4*l - 4. Let x be o(-2). Are x and a unequal?
True
Suppose 0 = -4*c - 2*c + 30. Let k be c/2*40/(-20). Is k != -0.2?
True
Let o be ((-18)/3)/(2/4). Let k be (48/9)/((-4)/o). Does k = 16?
True
Let u = -74 + 82. Suppose 0 = 2*z - 3*d - 11, -5*z + 3 = -d + u. Let l = 4 - 6. Is z bigger than l?
False
Let c be -7*(-3)/((-84)/(-8)). Suppose 0*x - c = -t + x, 2*t = -2*x + 4. Suppose z = t*a - 7, z - 6*a + 22 = -a. Is 5/3 <= z?
True
Let t = -234 + 160. Let k = t - -151/2. Let d be 20/(-15) + (-39)/(-9). Is d not equal to k?
True
Let t be (0 - -3)*-1 + (-6985)/(-2332). Which is bigger: 0 or t?
0
Let o be ((-12)/(-16))/((-3)/118). Let a = 29 + o. Which is bigger: 10 or a?
10
Suppose -4*g - 2*r - 454 = 0, -5*g + r - 415 = 170. Which is greater: -118 or g?
g
Suppose 6*o + c + 155 = o, -c - 93 = 3*o. Which is greater: -30 or o?
-30
Let t = 2 + -2. Let x = -0.00166 + -0.09034. Which is greater: x or t?
t
Let q = 145/6 + -1897/78. Are 1/5 and q equal?
False
Let m = 8 + -5. Let f be (1 - (7 - m)) + 21. Let l be ((-6)/f)/((-1)/(-33)). Which is bigger: -1 or l?
-1
Let y = 1.055 + -0.055. Which is smaller: y or 2/139?
2/139
Let d = 27776335/23505691 + -10640/6871. Let f = 1/311 + d. Let t be -2 + (-224)/(-72) + (-1)/9. Is f at least t?
False
Let g(n) = -18*n**2 + 4*n + 3. Let o be g(-2). Let k be (o/21)/((-6)/(-142)). Let t = -87 - k. Is 1 greater than t?
True
Let i(g) = 2*g**3 - 3*g**2 + g + 2. Let z be i(2). Let b be z - 7 - (-7)/1. Let p(k) = 2*k. Let r be p(5). Is b > r?
False
Suppose -43*d + 101*d = -1218. Is -35 at most as big as d?
True
Suppose 6 = -3*i, m = -0*m - 2*i. Suppose m*p - 3 + 5 = 2*u, -4*u + 3*p = 1. Are u and 0.79 equal?
False
Let j = -50846/45 - -1130. Is 0 smaller than j?
True
Let r(s) = -s**3 - 7*s**2 + 9*s + 8. Let z be r(-8). Suppose 3*b - 15 + 6 = z. Suppose -2*a + a - 5*u + 1 = 0, -b*u = -a + 1. Which is smaller: a or 2/3?
2/3
Let g = 363.3 - 363. Is -1/4 != g?
True
Let g = -746 - -837. Is g at least as big as -2?
True
Let w be 0 - (1 + (-1 - 0/7)). Do w and -7/195 have the same value?
False
Let k = -108.923 - -1.923. Which is smaller: k or -8?
k
Let b = -3843 + 80725/21. Let h = b + -376/399. Do 1 and h have the same value?
False
Let y be (4 - (-71)/(-18))/4. Is y greater than 1?
False
Let g = -1.822 + 1.722. Do -2/685 and g have different values?
True
Let x be 13 + -17 + (4 + 0 - 1). Suppose -3*s = -0*u - 3*u + 48, -32 = 2*s - 5*u. Let q be 12/s + -2 - x. Which is smaller: 1 or q?
q
Let b = 32/31 + -1831/62. Let r = -29 - b. Is r >= 0?
False
Suppose 10*h = 6*h - 72. Suppose -3*v + 11 = -5*l, 4*l + 7*v = 2*v + 6. Let c be l*(-3)/h*3. Which is bigger: c or 0.2?
0.2
Let m be (-6)/15 - (-24)/10. Let n = 650 - 2650/3. Let g = -231 - n. Which is bigger: m or g?
g
Let a = 603 - 605. Let p be (49/12)/(3/164). Let x = p + -223. Which is greater: x or a?
x
Let y be -2*(0 - (-1)/(-8)). Is 102 at least as big as y?
True
Let h = 8.5 - 8.649. Let d = h + -68.851. Which is smaller: d or -1?
d
Let k be (-3)/12*-8*-1. Which is bigger: -3/2 or k?
-3/2
Let j be -1 + -4 + 6 + -13. Let l be j/5 - (3 - 5). Which is smaller: l or 0?
l
Suppose 5*m + 25 = 0, 5*g + 7*m - 2*m + 20 = 0. Let b be (6/(-35))/(35/((-15050)/(-387))). Is g smaller than b?
False
Suppose 10*s - 539 = 271. Is s != -1/6?
True
Suppose 2*j - x = -6, -4*x + 8*x = j + 10. Which is smaller: 2 or j?
j
Let u = 218 + -225.02. Let i = -0.02 - u. Let t = -6.9 + i. Is t less than 0?
False
Let p = -0.054 + -5.146. Let w = 5.2 + p. Which is smaller: w or -0.39?
-0.39
Let c be (-6)/(-4)*8/54. Suppose 0 = -4*p + p + 15. Suppose -2*b + p*b - 3 = 0. Is b bigger than c?
True
Suppose 2*g - 294 = k, g + 0*g + 303 = -k. Let s = -4498/15 - k. Which is smaller: s or 0?
0
Suppose -5*s - 20 = 0, s + 33 = -4*p + 5. Suppose 5*g = g + 16, 2*g = a + 6. Let k(b) = -b**3 + 4*b - 4. Let q be k(a). Is q bigger than p?
True
Let x(m) = m**3 + 15*m**2 - 14*m + 20. Let c be x(-16). Let r be -1*(-4)/c - 0. Is -0.06 at least r?
True
Let z = 19 + -4. Let u = -11 + z. Which is greater: u or -1/5?
u
Let s = -32 - -29.4. Let w = 6.6 + s. Let g = -59/3 - -19. Which is greater: g or w?
w
Let p = 42 - 56. Are -13 and p nonequal?
True
Let u be (-2 - (-3 - 21 - 3)) + 0. Which is smaller: 31 or u?
u
Let y be -3*(-326)/636 + -1. Let i = 2/53 - y. Suppose 3*n + 6 = -5*h, -18*n + 21*n + h = -6. Which is smaller: n or i?
n
Let b = 5 + -3. Let s = 39/8 + -289/56. Which is smaller: s or b?
s
Let k = 0.1 - -0.4. Let i = -103.5 - -105.5. Is i > k?
True
Let h(c) = c**2 + 6*c + 4. Let r be h(-4). Let p be 0*(-4)/(-8)*-1. Suppose p = -5*a - 0*a - 20. Is a equal to r?
True
Suppose -2*b + 89 =