- 3 = -0. Let m be (-3 - -2)*t - 0. Which is smaller: -2 or m?
-2
Let r = -0.034 - -20.034. Let i = r + -20.05. Let q = 0.2 + -0.1. Is i at least as big as q?
False
Let k = 107/470 + -6/47. Is k smaller than 1?
True
Let x = 75 + -354/5. Let h = -22/5 + x. Is h < -1?
False
Let o be -3 + -6 + 10 + -1. Is o >= 20?
False
Suppose f - 2 = 0, 2*w + w = -5*f - 8. Do w and -5 have different values?
True
Let m = 544/7 + -78. Is m <= 3?
True
Suppose 20 = -0*x - 5*x. Let t be (1/x)/(15/(-72)). Which is smaller: t or 1?
1
Let u be (425/165 - 3)*-3. Which is greater: 0 or u?
u
Suppose 5 = 5*o - 0*o. Let u(n) = 2*n - 6. Let k be u(3). Let f be ((k - 1)*-3)/1. Is f greater than or equal to o?
True
Let m(u) = u + 4. Let x(g) = -g - 3. Let j(q) = 2*m(q) + 3*x(q). Let r be j(1). Which is bigger: -3 or r?
r
Let q be (-1 - (-22)/(-18)) + (-6)/(-3). Are -0.5 and q unequal?
True
Suppose 0 - 2 = -x. Let q be (0 + x)*(-25)/(-10). Let r be (q + -4)*(-1 - -2). Is 2/3 < r?
True
Let k = -16 - -30. Let u be -1*(-1)/(k/(-18)). Is -1 at most u?
False
Let p(l) = l**2 - 4. Let k be p(-2). Is 1/8 >= k?
True
Let z(x) = -x**2 + x + 35. Let v be z(-5). Are v and 0.02 non-equal?
True
Let i(g) = -g**2 + 6*g + 32. Let n be i(11). Is n greater than -24?
True
Let q = -0.7 - 5.3. Let c = q - -6.1. Are -1/2 and c unequal?
True
Let h = 4.2 + -0.2. Let a = -9 + h. Let q = -4 - a. Which is smaller: q or 1/3?
1/3
Let m = 0.31 - 1.71. Is -1 at most as big as m?
False
Suppose -2*p + 64 = 14. Which is smaller: 23 or p?
23
Let b = -0.2 - 0.8. Suppose -2*l + 2*c - 4 = 0, -l + 4 = -5*c + 22. Do l and b have the same value?
False
Let p = -34 - -27. Which is greater: -2/7 or p?
-2/7
Let o = 4 - 0. Let q be 3/(9/o) + 0. Is 1 less than or equal to q?
True
Suppose -4*o + 65 = o. Is 13 < o?
False
Let p = -0.4 + -0.6. Let k = 0 - p. Let w = -0.4 - 0.6. Is k < w?
False
Let u(a) = -a**2 + 10*a - 12. Let s be u(9). Let c be (8/5)/(8/(-20)). Which is greater: s or c?
s
Let j be -3 + 5 - (-1 + 1). Suppose 5*m - 11 = x - 0*m, -m - 5 = -j*x. Suppose 0 = 2*s + x - 0. Is s greater than 0?
False
Let o be ((-2)/5)/(3/((-120)/56)). Suppose -3*z = 2*f - 6, -z + f = z + 3. Is z less than o?
True
Let o be (-6)/(-12)*(112 - -2). Which is greater: 58 or o?
58
Let r = -0.271 - -0.171. Is 41 equal to r?
False
Let u be (0*5/(-25))/(-2). Is u >= 4/9?
False
Let x = 2.4 + 10.6. Do x and -1 have the same value?
False
Let t = 10.6 + -0.6. Let w = t - 10. Let l = 1 - 0.9. Which is greater: w or l?
l
Let s be (8 - -1 - 5)/2. Is 2 > s?
False
Let s(d) = d**3 - 6*d**2 + 5*d - 1. Let q be s(5). Let o be (-1)/(4/q + 3). Let b = 0 + 1. Is o less than or equal to b?
True
Let p be (4/(-6))/(2/12). Let b(l) = -2*l - 5. Let h be b(p). Let n be h + -3 - (-4)/14. Is n less than or equal to 0?
False
Let t = -0.1 + -0.1. Let f = t - -0.6. Let a = -346 - -347. Does f = a?
False
Let a be (-1 - -11)*(-12)/(-15). Suppose 78 = 7*u - 4*u. Let b = u - 25. Which is greater: a or b?
a
Let i = 0.1 - 0.1. Let g = -1811 + 38018/21. Let u = g + -5/7. Which is greater: i or u?
i
Let v(n) = -3*n + 19. Let m be v(18). Which is bigger: -34 or m?
-34
Suppose 3*p + 2*p = 20. Let a be 0 - p*2/1044. Let s = a - 508/1827. Which is smaller: -2 or s?
-2
Let r = 9 - 6. Suppose 0 = -5*j + 2*i + 20, -j = -3*j + 2*i + 14. Which is smaller: j or r?
j
Suppose 3*l - t = -l, 3*l - 4*t - 13 = 0. Is 2/51 <= l?
False
Suppose -3*n + 4*n = -5. Which is greater: n or 0.1?
0.1
Let y = -0.023 + 5.623. Let p = y - 0.7. Let f = 5 - p. Which is smaller: f or 4?
f
Let g = 10 + -11. Suppose 2*w = w + 2. Suppose l - 3 = -w*l. Which is smaller: l or g?
g
Let x(q) = q**2 - 8*q. Let g be x(8). Are 2/11 and g non-equal?
True
Let o(g) = 0*g - 5*g + 2*g + 4*g + 11. Let j be o(-12). Which is greater: -2 or j?
j
Let j be (-400)/15*9/6. Is j > 1/2?
False
Let z = -0.025 + -0.035. Which is bigger: 1/4 or z?
1/4
Let p be 6 - 4 - 24/3. Let u be -2 + p/(-3) + 0. Is u at least as big as 7?
False
Let k(o) be the second derivative of -o**5/20 - 7*o**4/12 + 4*o**3/3 + 3*o**2/2 - 2*o. Let x be k(-8). Let p be (-2)/12 - x/(-9). Is p at least as big as 0?
True
Let w be (-18218)/63840 - (-2)/10. Let o = 10097/1053968 + 1/3467. Let b = w - o. Which is smaller: 1 or b?
b
Let c = -16 + 26. Let g = -7 + c. Let s = 4 - g. Is 0 less than s?
True
Let y be (1/(-3))/((-2)/6). Let f(q) = q**3 - 2*q**2 - q. Let c be f(2). Let x be c/8 + 7/28. Is y > x?
True
Suppose -6 = r - 2*v, -5 = -5*r + 2*v - 3. Suppose -s = -3*s + r. Is s smaller than 0.2?
False
Let f(u) = -5*u**3 + 3*u**3 + 8*u - 3*u + u**3 + 4*u**2. Let k be f(5). Is k equal to -2/9?
False
Let q = -0.3 - -5.3. Which is smaller: q or 1/4?
1/4
Let d be (-1 - 10/(-4))*4. Let k be (-20)/(-25)*d/8. Let a = -4 + 4.2. Which is greater: k or a?
k
Let j(x) = 3*x**2 - x. Suppose z - 5 = 5. Let t = z - 9. Let n be j(t). Is 2 not equal to n?
False
Let x(n) = n**2 - 4*n - 4. Let u be x(5). Let z be -3*(-6)/54 - (0 - 0). Which is smaller: u or z?
z
Let l be (-7)/3 + (-4)/6. Let m be 2/(-8)*(1 + l). Let d(j) = j**3 + j**2 - 2*j + 1. Let x be d(-2). Which is bigger: x or m?
x
Let t = 1 + 0. Let d be 2 + -2 - (0 - t). Suppose -2*x + 5*x = 0. Which is bigger: x or d?
d
Suppose 3 = -2*z + 7. Suppose 4 + z = -3*s - v, s + 9 = 2*v. Let w be ((-4)/s)/2*-3. Which is smaller: w or -3?
-3
Let f(v) be the third derivative of -v**5/60 - v**4/24 + v**3/2 - 2*v**2. Let h be f(0). Suppose 0 = -h*d - 0*d. Are -1 and d nonequal?
True
Suppose g - 1 = 5. Are 4 and g non-equal?
True
Let h(n) = -n**2 - 9*n + 12. Let k be h(-10). Suppose -6*u = -k*u. Which is smaller: u or -0.1?
-0.1
Let q = -149 - -73. Is 0.1 at most as big as q?
False
Suppose -4*v + 15 = 11. Let r be 778/(-42) - (-6)/21. Let a = r - -56/3. Which is bigger: a or v?
v
Let t = 15 + -15. Which is smaller: t or -1/17?
-1/17
Let l be (-468)/330 + (-6)/33. Is l > -3?
True
Let z be (-3)/(-2 - 15/(-9)). Let j be 8/(-18)*3/2. Is j at least as big as z?
False
Suppose -2*l + 3 = -5*j, j - 4*l - 1 = 2. Let m be 70/4*(5 + 1). Let z be 1/3 + (-50)/m. Which is smaller: j or z?
j
Let m(c) = -c + 3. Let f be m(4). Let b = -1/1311 - -251717/6555. Let v = b + -39. Which is bigger: v or f?
v
Let b(n) = n**2 + 10*n - 21. Let h be b(-12). Let a be 0/2 - (-1 + 1). Which is greater: a or h?
h
Suppose -83 + 33 = -5*z. Let h = z - 14. Let n be 5/h - 1/(-1). Is n not equal to -1?
True
Suppose 5*g - 27 = 18. Is 9 greater than or equal to g?
True
Let o = -44 - -30. Let p be (-2)/8 + o/8. Is 2 equal to p?
False
Let r = 17 - 11. Suppose r*z + 8 = 26. Is z less than -1?
False
Let m = -4 - -3.95. Let g = 0.05 + m. Let y = g - 2. Are y and -2 unequal?
False
Let z be 2/4 - (-7)/(-18). Is z >= -2?
True
Suppose -3*q - 4*z = 18, -z + 6*z + 12 = -2*q. Which is smaller: 1/2 or q?
q
Let x = 3 - 4. Suppose 17 = -3*q + 3*m - m, -3*q - m = 14. Let n = q - -6. Is x greater than n?
False
Let p(i) = -i**2 - 16*i + 57. Let v be p(-19). Which is bigger: -2/21 or v?
v
Let k = -2 - -5. Suppose 0*l - k*l = 3. Are l and -2/11 non-equal?
True
Let u = -29883209/390 + 153249/2. Let q = -14/15 + u. Let d = q - 2/13. Is -0.1 <= d?
False
Let q = 2.98 - 0.98. Let k = -5 + 0. Which is greater: k or q?
q
Suppose 0 = -2*f - 4*c + 16, f + 8 = 5*c - 5. Let x(i) = 2*i**3 - 2*i**2 - 3*i + 2. Let b be x(f). Suppose -b - 6 = 5*d. Which is smaller: d or -1/2?
d
Let z be ((-6)/(-4))/((-12)/(-16)). Is z greater than 3?
False
Let u be (36/112)/(3/8). Which is greater: 1 or u?
1
Let a = -0.25 + -0.05. Let g = a - 0.7. Do 1/3 and g have the same value?
False
Let h be (81/12)/((-15)/(-10)). Which is smaller: h or 5?
h
Let b = -6 + 10. Let o be b/(-3)*(-1 + -2). Suppose -4*s - 3*a + 0 = -6, -4*a + 8 = o*s. Which is greater: s or 2/3?
2/3
Let z(v) = -v**3 + 10*v**2 - 8*v - 11. Let a be z(9). Let i = a + 1. Let u = -72 + 361/5. Do u and i have the same value?
False
Let j = 1042 - 98988/95. Is j <= 1?
True
Let j(s) = s - 1. Let b be j(3). Does 4/7 = b?
False
Let c(f) = -f**2 - 7*f + 10. Let z be c(-7). Suppose -3*a + 8*a = z. Do a and 1 have the same value?
False
Let b be (-1)/((-11)/2) + 30/(-286). Which is greater: b or 1?
1
Let x be ((-3)/(-15))/(8 + (-396)/45). Let g = 2 - 1. Which is smaller: x or g?
x
Let k be (-20)/12 + (-2)/(-2). Suppose a - 10 = 6*a. Are k and a non-equal?
True
Let i be -3 - (-124)