 = 5 + -4.9. Let x(j) = -7*j**3 - 5*j**2 + 8. Let l(o) = o**3 + o**2 - 1. Let p(f) = 6*l(f) + x(f). Let v be p(2). Is q at most as big as v?
False
Let k be 4 + 2/((-60)/(-258)). Which is smaller: k or 14?
k
Let v be 3/(153/15) + -1. Are -1 and v equal?
False
Let j = -27.66 + 28. Let d = j - -0.06. Is d bigger than -1?
True
Let r be (3 - 0)*16/(-12). Let b be (r/(-12))/((-2)/(-6)). Let h = 6.1 - 6. Which is greater: h or b?
b
Let k = 2/83 + 152/581. Does k = 0?
False
Let u be 2/12 - (-21)/14. Are 3 and u unequal?
True
Let i be ((-3)/15)/((-4)/5). Suppose y + 2*y = -18. Let z be ((-2)/y)/((-9)/27). Is i at least as big as z?
True
Let m be ((-2)/1)/(4 + 9). Let y = 2 + -2. Is m not equal to y?
True
Let m(n) = n**3 + 13*n**2 - 15*n + 17. Let a be m(-14). Does 32 = a?
False
Suppose 0 = h + 2*z - 4, -2*h - h - 5*z + 12 = 0. Suppose -h*r + 65 = -15. Which is smaller: r or 19?
19
Let i = -12.013 - -0.013. Is i at most as big as 2?
True
Let g = -8471991 + 22137312032/2613. Let l = -15/67 - g. Which is bigger: 0 or l?
0
Let i be 3/3 + (-2)/8. Suppose -4*p - 19 = -j, p + p + 4*j = -14. Let o = p + 5. Is i > o?
True
Let y = -4552 - -86467/19. Which is smaller: y or 0?
y
Suppose -3*k - 3*c - 6 = 0, -3*c + 21 = -2*k - 3. Let l be ((-45)/k)/(1/2). Let z be -1*3/(27/l). Which is bigger: -1 or z?
-1
Let r = -28 + 18. Let u be (-36)/(-10) + (-4)/r. Do 1 and u have different values?
True
Let q = -3.5 - -3. Let m = -1.3 + 1.38. Let a = 0.92 + m. Which is bigger: a or q?
a
Let g = 9 + -15. Let c(z) = -z**2 + 14*z - 8. Let h be c(9). Suppose 5*o = -3*u - h, -3*o - 2*u - 23 + 0 = 0. Is o > g?
True
Let w(n) = n**2 - 3*n - 2. Let v be w(4). Let y be 16/4*2/v. Is 5 > y?
True
Let q be ((-12)/10)/((-1)/180). Suppose -i = i - q. Let s = i - 970/9. Is s >= 0?
True
Let s be 2/4 - (-14)/4. Suppose 0 = y + 2, -5*v + 2*v + y = -14. Suppose 0*i = 3*f - v*i - 23, 3*i + 16 = 2*f. Which is smaller: f or s?
s
Let g = -95/138 - -1/46. Is g greater than or equal to 11?
False
Suppose -4*p = -p - 3. Let b be p + (-1)/(1/16). Let z be -2 + (-3)/b*7. Is -1 smaller than z?
True
Let j = 8 - 12. Suppose 0 = -5*f - 2*u - 1 - 20, 5*f + 15 = -5*u. Which is smaller: f or j?
f
Let z = -238 + 5949/25. Do z and 0 have the same value?
False
Let u be (-3 - 27/(-3))/(-2). Is -14 at most u?
True
Let s be 3/2*2/3. Let m(y) = -y**2 + 6*y - 7. Let d be m(5). Let u be (-1 - d)*1/s. Which is smaller: u or 0?
0
Suppose 8 = -v - 3*v. Let j be (0 + 1)*(v + 3). Are j and -4/13 non-equal?
True
Suppose -5 + 0 = n. Let g = n - -3. Is -6/11 equal to g?
False
Let g = -23/55 + 1/55. Let z = -3 - -5. Which is bigger: g or z?
z
Let j = -1.4 - -7.4. Let v = 1.31 + -7.21. Let d = v + j. Is 1/3 not equal to d?
True
Let t = 0.06 + -0.66. Let s = t - -0.6. Is s != 2?
True
Suppose -5*y - 6 = -21. Suppose 8 = -y*u + 2. Which is smaller: -0.4 or u?
u
Let w be (-16)/(-10)*(-5)/(-2). Is w > 7?
False
Let j = 3 - 2.98. Let t = j + 0.18. Let x = 0.8 + t. Which is smaller: -1/6 or x?
-1/6
Let q = -5 - 2. Which is greater: -8 or q?
q
Let i be (-13 - -15)*(-2)/(-8)*-2. Let u be 1/(-20)*1*-1. Is u at least as big as i?
True
Let s = -10 - -14. Let c(v) = 0 - 2*v**2 + s + 3*v - 9*v + 3*v**2. Let h be c(6). Which is bigger: h or 3?
h
Suppose 0*f + 2*f = 0. Do f and 2 have the same value?
False
Let g = -24 + 61. Let o = g - 67. Let d be (-14)/o + 6/(-9). Is 0 equal to d?
False
Suppose v + v - 5 = b, 4*b = -3*v + 24. Suppose 7*j - v*j = 3. Which is smaller: -2/7 or j?
-2/7
Suppose 3*j - j = 0. Suppose z - 6*z - 15 = j. Let h be (0 - 1) + (-12)/z. Which is bigger: 2 or h?
h
Let i = 10 + -26. Let b = 23 + i. Let v = -7.2 + b. Which is greater: 1/4 or v?
1/4
Let y be 9/9 + -2*1. Let g = -6 - -9. Suppose -2*j = -g*t, -j + 1 - 2 = -t. Is y equal to j?
False
Let o = -2 - -7. Let j = -4.9 + o. Let n = -0.12 - -0.1. Is n < j?
True
Let x = 2 - 0. Let n be x/6 - 2/1. Suppose o - 2 + 3 = 0. Which is smaller: o or n?
n
Let z = 0 + -2. Let c = -33 - -18.6. Let t = -14 - c. Is z at least t?
False
Let h = 2 + -1. Let t(a) = 4*a**3 + a**2 - 1. Let p be t(h). Which is greater: 2 or p?
p
Let b be (-4)/(-16) + (-117)/372. Is b less than or equal to 1?
True
Suppose 1 = -3*g + 4*g. Let w = g + -2. Which is greater: w or -2/13?
-2/13
Let t = 4965/4 - 1235. Is t equal to 6?
False
Let s = 0.107 + -0.307. Is s greater than 2/23?
False
Let c = -0.01 + 1.91. Let p = c - 2. Is p greater than -2/9?
True
Let j = 17.8 + -18. Are -0.19 and j unequal?
True
Suppose 0 = -6*n + 4*n. Let k = -3 - -6. Let q = 3.1 - k. Which is greater: q or n?
q
Suppose -6*o + 2*o = -4*r - 52, 4*r + 3*o = -73. Is -46/3 greater than or equal to r?
True
Suppose 0 = -a + 2 - 0. Let j be (1 - 0) + 5 + -2. Suppose j*c - 6 = -2. Which is smaller: a or c?
c
Let m = 494/1169 + 1/167. Which is smaller: 0 or m?
0
Let u be (3/(-44))/(9/72). Let t = 10479 - 345767/33. Let s = t + u. Is 1 greater than s?
True
Let t be 5/(-7)*4/10. Suppose 4*i + 2 = 2*i. Which is smaller: t or i?
i
Let a be 4/(-3) + (32/6 - 5). Which is smaller: 2/21 or a?
a
Suppose 0 = 3*m + 2*m - 25. Suppose x - m*x = 0. Let f(d) = d**3 - d + 1. Let y be f(x). Is y bigger than 1?
False
Let c = -49 + 76. Suppose -2*t = t - c. Let u(o) = 3*o**2 - 3*o + 3. Let h be u(2). Does t = h?
True
Let h = 4 - 1. Let s be (-18)/(-27)*h*-1. Let p = -0.1 - 0.9. Which is bigger: p or s?
p
Let b = 124 + -122. Which is smaller: b or 30/19?
30/19
Let v be (20/(-72))/(-1)*3. Which is smaller: 0 or v?
0
Let f(s) = s**2 - s - 1. Let c be f(2). Let w = 5 - 3. Suppose -3*j - 4*r - 11 = 0, -2*r - 13 = 5*j + w*r. Which is greater: c or j?
c
Let z = -13 + 21. Suppose 4*g + 29 = 5*k, z + 4 = 2*k - 2*g. Suppose 4*v = -v + k. Which is greater: -1 or v?
v
Let s be 4/6 - 68/40. Let r = 160 - 794/5. Let v = s + r. Which is smaller: v or 1?
v
Let g be (10/6)/((-1)/(-3)). Suppose -4*w + 2 = -2*o, 5*o - 3 + 8 = -g*w. Let f = -137.9 + 138. Are f and o equal?
False
Let w = -74 + 667/9. Which is bigger: w or 1?
1
Let w(a) = -a - 10. Let p be w(-10). Suppose -3*m + 6 = -p*m. Suppose 0 = 3*c - 4*s - 21, 3*s + 0*s = -3*c. Which is greater: m or c?
c
Let t be (-317)/(-6) - 0 - 0. Let x = -53 + t. Let m = 391 + -392. Do m and x have the same value?
False
Let n = 56 + -893/16. Is -1 less than or equal to n?
True
Let r be (-2)/(-12)*(-75)/70. Is r less than or equal to 0?
True
Let n = -8 + 11. Which is bigger: 1 or n?
n
Let p be 109/(-5) + (-4)/20. Let z = p + 64/3. Is -1 smaller than z?
True
Suppose 0*v - 3*v - k - 14 = 0, v = 5*k + 6. Let s = -6 - v. Let d = 373 + -2615/7. Which is bigger: s or d?
d
Let x = 0.01 - -4.99. Which is smaller: x or -3?
-3
Let r = -13 + 15. Suppose -s + 0 = r. Let k(i) = i**3 + 4*i**2 - 4*i + 2. Let o be k(-5). Which is bigger: s or o?
s
Let z = -0.05 + 3.05. Let f = 6 + -3. Is f less than z?
False
Let k(r) = r + 6. Let u be k(-3). Suppose -5*i = 3*b - b - 5, 2*i - u = -b. Let g = -4.87 + -0.13. Which is smaller: i or g?
g
Suppose 5*l - g - 17 = 3*g, 4*g = -12. Is l less than or equal to -2/17?
False
Let n(s) = s**3 - s**2 - s + 2. Let d be n(2). Suppose -4*u + 18 = -3*b, -d*b + 5*u = -2*b + 19. Is 2 at most b?
False
Let h be 1*3*2/60. Let n be ((0/4)/3)/(1 + 1). Is n > h?
False
Let x(d) = d**2 - 7*d + 7. Let i be x(5). Let v = -1 - i. Which is greater: 5/6 or v?
v
Let t = -9 - -19/2. Suppose -o - 3*p = 4*o - 10, -2*p = -4*o + 30. Suppose -5*y = 5*m - 10, 5*y - 2*m = -o*m + 10. Which is smaller: t or y?
t
Suppose -3*x + 5*x = 12. Let u = 7 - x. Which is smaller: 2/11 or u?
2/11
Let v(n) = 2*n - 3. Let y = 4 + -2. Let u be v(y). Let c = 1.2 - 0.2. Is u > c?
False
Let y = -4 - -6. Suppose -y*h = 4*a + 14, 3*h - 22 = -h + 2*a. Let k be h + -4 + (1 - 4). Which is bigger: k or -1?
-1
Suppose -u = 3*z - 4, -3*z = 4*u - 15 - 1. Suppose 6*n = u*n - 2. Is n less than or equal to -2/35?
True
Let d(a) = a**2 + 28*a + 5. Let q be d(-28). Is q < 38/9?
False
Let o(j) = j**2 + 5*j - 11. Let u be o(-7). Let w = 10 - 18. Let l be w/u + -2 + 4. Which is smaller: -1 or l?
-1
Suppose 5*m + 35 - 5 = 0. Let s = m + 1. Which is smaller: s or -6?
-6
Let q = -2 - -3. Let s = -5.87 - -6. Let p = 1.87 + s. Is q less than or equal to p?
True
Let y be ((-9)/4)/(15/40). Let t(p) = p**3 + 7*p**2 + 5*p - 14. Let o be t(y). Is -9 smaller than o?
True
Suppose 0 = -j - 2*j - 6. Let f 