Let z be k(12). Let w be -8 - z - (-4)/(-2). Which is smaller: w or y?
y
Let a = -9.65 + -2.05. Let o = 5.6 + a. Let s = -6 - o. Is s > -1?
True
Let j = 3 - -1. Suppose o + 36 = 3*m - j*o, o + 38 = 5*m. Which is bigger: m or 5?
m
Let m = -2 + 2. Suppose -2*i = 5*r + 6, -4*i - 9 = -3*r - i. Let u = r - m. Do -1/4 and u have different values?
True
Let t(d) = d**3 - 4*d**2 + 5*d - 4. Let j be t(3). Let m be 2/(-4) + 9/j. Suppose -l - 6 = m*l + 4*v, -5*l - 3*v = 7. Which is smaller: -1 or l?
l
Let p be 120/5*2/6. Suppose -3*c + 0*a - 1 = 2*a, -4*c = -2*a - p. Let b be (-16)/14 - (0 + -1). Is c bigger than b?
True
Suppose 3*w = -w + 3*d + 17, -13 = w + 5*d. Suppose w*r + 0 = -2. Are -1 and r equal?
True
Let s = -7 + 4. Let l = s - -1. Is l less than or equal to -2?
True
Let v(u) = -u**2 + 4*u - 2. Let n be v(1). Is n != 3/40?
True
Suppose 5*s - 218 = -58. Suppose s + 100 = -3*y + 3*g, 5*y - 3*g + 216 = 0. Let t = y + 125/3. Is -0.2 > t?
True
Let s = -16 + 15. Suppose -5*k + 2 - 7 = 0. Let b be -1 - (k + 2 + -1). Do s and b have different values?
False
Let m be (-60)/(-52) - 1 - 2/13. Let n = 2 - 1.9. Let z = n - 0.1. Are z and m equal?
True
Let o = 10 + -8.2. Which is smaller: o or -1?
-1
Let z be (-2)/((-12)/3) - (-45)/(-6). Is z > -45/7?
False
Let y = -11093/35 - -317. Let a be -2 - (-202)/140 - 0. Let j = y + a. Which is greater: 0 or j?
0
Let k be 6/(672/4)*4. Which is greater: 1 or k?
1
Let i = 2 - 1. Suppose -l = -5*r - 14, 4*l - 3 = 2*r - i. Let c = -1135/6 - -189. Which is greater: c or l?
c
Suppose 5*h = -24 - 51. Let q be (-14)/h - 6/(-9). Which is bigger: 2 or q?
2
Suppose 3*r + 7 = -v, 0 = -4*v + 4*r - 1 + 53. Is 8 >= v?
True
Let j(x) = 16*x**2 - 3*x + 1. Let f be j(3). Let m be 30/255 + 18/f. Which is greater: m or 0?
m
Let u = -23/4 - -367/68. Let s = u + -39/34. Which is smaller: 1 or s?
s
Let s = -1 - 0. Let k = 17 + -16. Is s < k?
True
Let r = 18.97 + -19.5. Which is smaller: r or 1?
r
Let y = 8039/3399 - 22/103. Let s = -7/3 + y. Let a be 6/(-15) + (-6)/(-15). Is a greater than s?
True
Let n be (2 - 3) + -6 + 2. Is n >= -6?
True
Let x be ((-3)/(-20))/((-117)/104). Which is smaller: -1 or x?
-1
Let r = -25 - -21. Is -4 bigger than r?
False
Suppose 5*q - 8 = -3. Let n = -0.5 - -0.7. Is n at least as big as q?
False
Let q be 28/(-12)*4/14. Let d be 10/(-65) - (-129)/78. Do q and d have the same value?
False
Let c(x) = -x + 33. Let v be c(22). Which is greater: -0.1 or v?
v
Let x = 0.2 - 0.3. Let n = 6.1 + x. Let s = n + -3. Is 0.1 at most s?
True
Let i = -104 + 91. Is i less than or equal to -9?
True
Let r be -3*(-2 - 16/(-3)). Let l be r/(-12) - (-12)/18. Is 3 <= l?
False
Let a = 54 + -592/11. Let g be ((-6)/5)/((-3)/(-10)). Let j be g/(-22) + (-48)/(-220). Do a and j have the same value?
False
Let q be (-2 - (-51)/30)*104/390. Let s be (-3 - -3)/(-2 - 0). Is s at least as big as q?
True
Let c(s) = -38*s. Let i be c(1). Let x be i/16 - 6/(-3). Are 0 and x unequal?
True
Let r = 1/110 + -89/110. Which is greater: -1 or r?
r
Let m(y) = 2*y - 19. Let f be m(13). Which is greater: 8 or f?
8
Suppose -55 = 5*t - 4*a, -4*t - 3*a = 20 + 24. Let y = 9 + t. Is 3/4 < y?
False
Let l be 33/(-99) - (27/2)/(-3). Does l = 4?
False
Let n = 0.02 + 5.98. Let v = n + -4. Is v at most -1/4?
False
Let f = 3018/7 - 429. Let u = -149/63 + f. Is 0 < u?
False
Let q be ((-4)/10)/(16/(-5)). Let j be (2/6)/((-2)/(-6)). Which is bigger: q or j?
j
Let l(k) = k**3 - 3*k**2 - 2*k + 1. Let t be l(3). Let n = t - -5. Is 1/3 at least as big as n?
True
Let i = 6 + -2. Suppose 3*y - y = 6. Suppose -2*d - d - 2*g - y = 0, 4 = -i*d + 4*g. Is 0 less than or equal to d?
False
Let y = 212/5 + -206/5. Let x(s) = -s**3 + 4*s**2 + 5*s - 2. Let g be x(5). Let f = 4 + g. Which is bigger: f or y?
f
Let i be 0 - 3 - (-8 - -1). Which is smaller: 5 or i?
i
Let u = -56.96 - -57. Which is bigger: -0.2 or u?
u
Suppose 3*p = -2*a + 6, 0*a - 4*p + 8 = 3*a. Let h be (20/16)/((-2)/(-24)). Let g be 0 + -1 + 10/h. Is a <= g?
False
Let b be (4/3 + -1)*6/36. Which is greater: -1 or b?
b
Let t = 1 + 15. Let h = -14.7 + t. Let m = h + -1. Which is smaller: 2/3 or m?
m
Let i = -17 + 36. Let z = i - 19. Is 0 >= z?
True
Suppose u - 1 = 2*u, 0 = 5*c + 3*u + 8. Is 4 > c?
True
Suppose 3*g = -15, -2*d + 5*d + 34 = 4*g. Let h be 229/(-15)*d/65. Let p = h - 56/13. Is p greater than or equal to -1?
True
Let u = -14 + 6. Is u at least -8?
True
Let a be (18/4)/((-3)/222). Let g be 4/18 - a/(-1863). Is 0 >= g?
False
Let m = 10 - 0. Let k be (-15)/42*(-18)/m. Let j = 6/7 + k. Does 1 = j?
False
Let v = -155 - -1704/11. Let c = -43/110 - v. Do -1 and c have different values?
True
Let k = 133 - 121.5. Which is smaller: k or 1/2?
1/2
Let p = 8.4 + -9. Let o = -1.3 - p. Do o and -1 have the same value?
False
Suppose 4*n + 5 = 2*n - i, 2*i + 2 = 4*n. Suppose -c = -3*c + 2, 3*s + 4*c = 1. Let p be (s/(-12))/((-8)/36). Is n <= p?
True
Let g be -45*(36/(-15))/(-6). Is -12 bigger than g?
True
Let k be (1 - 2) + 2 + 3. Suppose -k*n - n = 0. Let b be (4 + -7)*(-2)/(-14). Which is smaller: n or b?
b
Let q(b) = b**3 - 4*b**2 - b + 4. Suppose -d - 3 = 0, 0*d + 19 = 4*j - d. Let a be q(j). Is a at most as big as 1/8?
True
Let n be 1/(2/(2/(-1))). Let y be -1*(-4 + n)*-1. Let i be 7 + -2 + 3 + y. Which is greater: 2 or i?
i
Suppose 1 = -4*b + 5. Suppose 4*o = 20, -o + 2*o - b = -4*l. Which is smaller: l or -4/9?
l
Let v = 2814 - 22407/8. Let r = v + -629/40. Do r and -3 have the same value?
False
Let m be 72/10 + (-1)/5. Suppose 5*r - 23 = m. Suppose -5*v = d + 2*d - 4, -d = -2*v + r. Which is greater: 3 or v?
3
Let h(y) = y + 1. Let i(t) = 6*t + 18. Let n(p) = -5*h(p) + i(p). Let a be n(-7). Is 5 > a?
False
Suppose -w - 4 = f + 8, 5*w + 28 = 3*f. Let l = 6 + -11. Let g = l - w. Which is bigger: g or 2?
g
Let r be (-63)/6 + (-1)/4. Is r smaller than -10?
True
Let o = 0 - 0. Suppose 16*n = 20*n - 12. Are n and o non-equal?
True
Let a = -3 - -4.2. Which is bigger: 1 or a?
a
Suppose -2*d + 10 = -7*d. Suppose 0 = 3*m - 2*u + 1, -5*m - u - 7 = -1. Are m and d equal?
False
Let o = 10 - 16. Let w be (0 - 1)*(o - -5). Suppose -z + 0 = -w. Is 0 >= z?
False
Let n = -65/282 - -3/47. Is n at least as big as 0?
False
Let f = -21 - -57. Suppose -28 = 2*s + 5*q, -7*q - f = 5*s - 3*q. Does -4 = s?
True
Let k(r) be the first derivative of r**2 + 6*r + 9. Let b be k(-6). Is b < -7?
False
Suppose 10*k = 6*k - 4. Is k less than -2/9?
True
Suppose z = -4*z + 45. Suppose -5*i + 3*r - z = 0, -2*i + 2*r - 7*r = -15. Let s = i - 2. Is s at most as big as -0.2?
True
Let q(s) = -2*s**2 + 3. Let j be q(0). Suppose -4*g = -20, 3*w + 2*g = j*g + 16. Is 8 at most as big as w?
False
Let r = 1 - 2. Suppose 0*g - 3*g - 141 = 0. Let n = g + 143/3. Are n and r nonequal?
True
Let s be (-990)/27 + 2/3. Let l be 4/(-3)*3/s. Which is bigger: l or 1?
1
Let i = 62/5 + -8. Let p = i - 24/5. Let b = 6 - 0. Which is smaller: p or b?
p
Let t = -49 - -56. Is 6 < t?
True
Let f = 107 - 105.04. Let l = -1 + 0.96. Let p = f - l. Is p <= -1?
False
Let y = 29/18 + -13/9. Is y at least as big as 8?
False
Let t = 58 - 58. Is 1 at most as big as t?
False
Let r = 2 + -1. Let k = -5 - -13. Let i be (r/(-2))/(2/k). Which is greater: i or -3?
i
Let p = -9 + 10. Let r be 24/(-21)*2/(-8). Which is smaller: p or r?
r
Let i = 6 - 3. Let d = -5.3 + -0.7. Let n = d - -6.1. Is i at most as big as n?
False
Suppose -4*w = 2*r, 0*r - 3*r = -6. Let v be (1 - (-39)/(-33)) + (-24)/231. Is w at most v?
True
Let m = 8 + -26. Which is greater: m or 1/4?
1/4
Let p(i) be the first derivative of -i**4/4 - i**3/3 + 3*i**2 + 5*i + 2. Let o be p(-3). Does o = 19/4?
False
Let y = -3 - -8. Suppose 4*w - 8 = 2*b, -2*w + 2 = y*b + 22. Which is smaller: 13 or w?
w
Let w be 1/(-1) - (-20)/5. Which is greater: 5/2 or w?
w
Suppose -2*p - 26 = -3*p. Suppose -24 = -2*h - p. Which is smaller: 3/5 or h?
h
Let j be (-1 - 1)*(-1)/9. Let o be (1 - (-2 + 4))*-6. Let a = o + -5. Is a less than or equal to j?
False
Suppose -y + 8 = -4*y + 5*k, -3*y + 2 = 5*k. Which is smaller: y or 2/17?
y
Suppose 3*r = -5*m + 3, -5*m = 4*r - 2*r - 2. Are m and -4/57 non-equal?
True
Suppose -4*x + q = 1, -3*x - 2*q - 1 = -3*q. Suppose x*d + 4*d = 0. Is 3/10 greater than d?
True
Let z be (-74)/(-24) - (-1)/4. Suppose -j = j - 6. Is j smal