41, 2*r = -2*w + 50. Let y be 24/w*4/(-16). Which is greater: y or 1?
1
Let g be (1 + 0 + 0)*5. Let z = -137 - -142. Suppose g*j + v - 5 = z, j = v + 2. Is j less than or equal to -2?
False
Let q(v) = 14*v + 3. Let g be q(-3). Let n = g - -35. Which is smaller: n or -14/3?
-14/3
Let s = 151 + -115. Let n = s - 35. Which is greater: -1/29 or n?
n
Let d = -157 + 152. Let b be 4/d - (12/(-30))/(-2). Which is greater: 6 or b?
6
Let a = 10 + -16. Let v = -3 - a. Suppose v*p + p + 12 = 0. Which is greater: -0.3 or p?
-0.3
Let b = 16 + -13. Let a be (-2)/((-8)/(-3))*4. Does a = b?
False
Suppose -5*n - 4400 = 3*m, -2*n + n - 872 = -m. Let i = -106993/122 - n. Do 0 and i have different values?
True
Let x be (-1)/(14/(-10)) - 1. Let n = 4973 - 4972.91. Which is smaller: n or x?
x
Let l = 3099 + -3093. Let t = 0.14 + 5.86. Is t at most as big as l?
True
Let v(d) = -d + 10. Let c be v(0). Suppose 2*u + 2*a - 2 = 0, 0 = 3*u + a - c + 1. Suppose 3*s - 9 = u*s. Do s and -10 have different values?
True
Let h be 6/(-9) - 7/(105/80). Is h smaller than -8?
False
Let g = -86 + 88. Let n be -1 - g/(8/(-4)). Is n at most as big as -1/106?
False
Let c = 94 - 92. Suppose 30 = d + 4*d. Let p = d + -5. Which is smaller: c or p?
p
Let m be 0/((1 + -2)/((-11)/(-11))). Suppose 4*a = -o - 0 - 5, -5*o - 3*a - 8 = m. Let f be ((-1)/20)/((-6)/(-15)). Which is greater: f or o?
f
Let h(w) = w**3 + 6*w**2 - w - 2. Let z be 4/(-2) - (10 - 6). Let d be h(z). Let l be (2/d)/(5/(-10)). Is 2/31 at most as big as l?
False
Suppose 3*n + 20 = 4*x, 3*x - 15 = -n - n. Let i(f) = f**2 - 5*f - 6. Let m be i(x). Which is greater: m or -16/3?
-16/3
Let c(m) = m - 5. Suppose -2*r + 3*s + 1 + 2 = 0, 0 = 2*r - 2*s - 6. Let g be c(r). Let k be (570/80 + -7)*8/1. Is k less than or equal to g?
True
Let f be (-1)/(6/30*5). Is f at most 16/43?
True
Let n(h) = 15*h + 437. Let x be n(-29). Is x <= -11?
False
Suppose 3*b - 14 = -4*h, 5*b + 2*h = -h + 38. Suppose b*u - 6*u = -3*w - 11, -w = 3*u + 7. Let r be ((-2)/24)/((-1)/(-10)). Which is smaller: r or w?
w
Let v = 31 + 19. Let c = v + -28. Let q = c + -22. Which is smaller: 2/3 or q?
q
Suppose -6*r - 2 - 64 = 0. Let a = r + 11. Is a greater than or equal to -12/17?
True
Let c be ((-7)/(-3))/(3/72). Are 56 and c non-equal?
False
Let u be (17/(-132 + 13))/(1/(-7)). Do 413 and u have the same value?
False
Let s be (6/9 - 1/3)*-1. Let i(g) = 0 + 0 + 4*g**2. Let l be i(1). Do s and l have the same value?
False
Let a = -9314 - -26312048/2825. Which is smaller: a or 1?
a
Let z = 34 - 33. Let p be (4 - (6 - 3))/(-36). Let b = p + -11/36. Which is smaller: z or b?
b
Let a = -9 - -9.23. Let r = -10.77 - a. Is r at most -1?
True
Suppose -6*s + 2*s + 12 = 0. Let i(m) = -m**2 + 4*m - 1. Let g be i(s). Suppose 7*z - 8 - 69 = 0. Which is smaller: z or g?
g
Let q be (84/(-49))/((-4)/14). Let w = -9 + q. Let o = w + 6. Is 1 greater than or equal to o?
False
Let c be (-1 - -2*1)/((-3)/(-27)). Suppose -120 = c*i - i. Which is smaller: i or -17?
-17
Suppose -m - 711 - 615 = 0. Is m <= -1327?
False
Suppose 32 = 5*i - 113. Suppose -4 = 2*k, -4*k - i = -5*d + 4. Suppose -g - 5*a = -4*g + 4, d*a = -5*g + 20. Are g and 3 unequal?
False
Let d be (-2)/(-8)*(-260 + 24). Does d = -408/7?
False
Let j be (-1)/4 + (-5620)/(-16). Let y be (1/(-3))/((-9)/j). Let m be (-2)/(-6)*(2 + y). Is 4 not equal to m?
True
Let d be -36 + (5 - (0 - -2)). Suppose -2*t - 36 = 2*t - 4*a, 5*a = -2*t + 17. Let b be 9/d*t/6. Which is smaller: 1 or b?
b
Let o(s) = -2*s**3 - 35*s**2 + 18*s - 90. Let a be o(-17). Which is bigger: -684 or a?
-684
Suppose -3*x + 3 - 5 = -h, x = 3*h - 14. Which is greater: -1/840 or x?
x
Let y(k) = k - 4. Let o(b) = 3*b**2 - 5*b + 10. Let i(s) = 2*s**2 - 2*s + 5. Let l(c) = -5*i(c) + 3*o(c). Let j be l(-5). Let p be y(j). Is p != -2?
True
Let f = -65 + 93. Let n be (-12)/21 - (-51)/f. Suppose -u - 5*s = -4*u + 15, 0 = -3*u + s + 3. Is u less than or equal to n?
True
Let j(i) = 17*i - 46. Let g be j(3). Is 0 greater than or equal to g?
False
Let c = -8 + 12. Suppose 0 = -4*b - c. Let k = b - 0. Which is smaller: k or -1/5?
k
Let c = 67 - 75. Let d be c/34*(385/(-28))/(-11). Is -1 at most d?
True
Suppose 0 = -3*c - 3, -p = 4*c - 4 + 7. Suppose -3*w = -4*k - 5*w - 2, -4*w = -5*k - 22. Let d be 7/k - p*-3. Is d not equal to 12?
True
Let k = 14096 - 155182/11. Which is greater: -1/2 or k?
-1/2
Let p = -2/7347 - -477671/426126. Which is smaller: p or 1?
1
Let d = 55/312 - 1/104. Let l be (0/2 + -1)/1. Is d less than l?
False
Let o be -4 - ((-303)/(-189) - (-2)/18). Suppose 0*q + 3*q + 4*s + 6 = 0, 3*q + s = -15. Is q at most as big as o?
True
Suppose -2*q + 11 = b, -b = -8*q + 5*q + 4. Let y(g) = -q + 2*g - 2*g + 2*g - 4*g + g**2. Let t be y(3). Do -1/2 and t have the same value?
False
Let c = -120.591 - -2.691. Let n = c - -109. Let j = 9 + n. Which is bigger: -0.2 or j?
j
Let n = -15 + 14. Let b be n*((-12)/4 - -4). Let k = -198 + 1382/7. Is k smaller than b?
False
Let v = 682 - 681. Which is greater: v or 286?
286
Let g(p) = -p + 4. Let h be g(3). Let x be (2 - 5 - -3) + h. Which is smaller: x or 1/6?
1/6
Let j = -99 - -61. Suppose 20*k + 32 = -768. Is k at least as big as j?
False
Suppose -2*b = -7*b - 255470. Let c = -409721/8 - b. Let n = c + 121. Is 1 less than n?
False
Suppose -3728*a = -3730*a - 28. Is a at most 49?
True
Let t = -158556505/1512277 - -6/116329. Let o = 105 + t. Is 0 greater than or equal to o?
False
Let u be -5 + 10 - (-812)/(-154). Which is greater: -9 or u?
u
Let a be (-6*(-36)/(-48))/((-57)/(-4)). Let u be ((-15)/(-60))/((-1)/(-4)). Which is smaller: u or a?
a
Suppose f + 4 = 5*n + 29, -n = 2*f + 5. Let w be ((-264)/15)/(2/10). Let z be 6/(-33) + 28/w. Is z at least f?
False
Let v be 4 + 0 + 1 + 0. Let c be (v/(-10))/((-2)/8). Suppose 53*a + 16 = 57*a. Which is greater: a or c?
a
Let m be (7 - 14/2)/2. Which is smaller: 2/335 or m?
m
Let z(l) = -l**3 - 11*l**2 - 3*l - 13. Let k be z(-11). Suppose 4*j = -2*p + 16, p - 3*p = -5*j + k. Let u = 53/24 - 15/8. Are u and p equal?
False
Suppose -q = -3*h - 21, h + h - 14 = -4*q. Let t(g) = 4*g. Let x(m) = -m**2 - 10*m - 8. Let j be x(-9). Let r be t(j). Which is smaller: q or r?
r
Let r be -6 + (-5)/5*-5. Let q be (-104)/18 - 30/135. Is r at most as big as q?
False
Let h be 1 + 2 + 30/(-10). Let c = -17/16 + 1. Is h greater than c?
True
Let x = -0.01 - 0.05. Suppose 0 = -2*m, 0 = -4*k + m - 271 - 149. Let i be (20/k)/((-6)/7). Which is smaller: x or i?
x
Let t = -112 - -137. Suppose 3*v + t = -2*v, -q - 3*v = -56. Do 71 and q have the same value?
True
Let m be 1 + -3 + 2 + (-21)/9. Let v = m - -25/21. Which is bigger: v or -2?
v
Suppose 0 = 4*k - 1 + 9, 3*k = -5*i + 19. Let h(y) = y**2 - 7*y + 11. Let q be h(i). Let c be 164/(-564) - q/(-3). Which is smaller: c or -1?
-1
Let y = -232/7 - -4422/133. Suppose -l + 29 = 2*l + 4*i, 4*i - 26 = -2*l. Suppose -j + l*n - 1 + 7 = 0, -6 = j + 3*n. Are y and j unequal?
True
Let p be 7 - (-24)/(-7 - -3). Which is smaller: p or 2/323?
2/323
Let h be (-7)/(-2) - (-4 + 7). Suppose -2*c = -3*c + 5. Suppose 2*r - 3*r + 19 = -c*n, 0 = 5*n - 3*r + 27. Is n > h?
False
Suppose -2*z - 2*l = -3 + 1, 5*z + 2*l - 8 = 0. Let h = 68 + -64. Suppose 2*a = h*a, 3*i = 5*a. Which is smaller: z or i?
i
Let g = 4055 + -3653556/901. Is g bigger than -1?
True
Let n = -21 - -18. Let b be -6*((-13)/3 + 4). Which is smaller: n or b?
n
Suppose 0 = k - 5*b - 21, k - b + 0*b = 21. Let o be 303/12 - 5 - (-2)/(-8). Which is greater: o or k?
k
Let v = -23 + 16.2. Let p = v - -0.8. Let r = -5.9 - p. Do -2 and r have different values?
True
Let w = -291 - -293. Which is smaller: w or 11/14?
11/14
Let u = 30 - 30.1. Let g be (-193)/90 + (-6)/(-12). Let y = 28/15 + g. Which is greater: y or u?
y
Let u be ((-6)/(-2))/(-3)*-3. Suppose 0 = -4*p - 4*l - 12 - 12, 0 = -p - 2*l - u. Let b be ((-9)/p)/(2/(-2)). Is b < 2/49?
True
Let z(c) = c**2 + 5*c + 1. Let w be z(-5). Let i be 0/(w/(2/4)). Suppose 0 = u - i*u. Is u >= 1/7?
False
Let k be (-13)/(-5) + 2/5. Let a be 4/264*185 + (-112)/96. Is k less than a?
False
Let h = -290 + 862/3. Let l be 2/8 + (-26)/8. Let m = l - h. Which is smaller: -1 or m?
-1
Let q(c) = 18 + 3*c + 3*c - 5*c. Let f(i) = -9*i**3 + i. Let x be f(1). Let g be q(x). Is 11 > g?
True
Let k(m) = 