 0.15. Which is greater: z or m?
z
Let f = -8.3 - -8. Let r = 0.4 + f. Let n = -1/48 - -7/80. Which is smaller: n or r?
n
Let o(g) = g**2 - g + 1. Let k be o(2). Let p = k - 4. Which is smaller: p or -1/2?
p
Let f = 1.85 - 1.7. Let i = -0.05 - f. Which is smaller: i or -4?
-4
Let s = 4 - 1. Suppose 2*c - 31 = 3*c - s*r, 2*c + 5*r = -73. Let l be c/(-72) + 6/(-27). Which is smaller: -1 or l?
-1
Let i = 9421/420 + -2643/35. Let m = 53 + i. Which is greater: 1 or m?
1
Let x = -9.3 - -7.3. Let i = 0.04 - -1.46. Let q = x + i. Which is bigger: 0 or q?
0
Let k = -26 + 27. Which is smaller: -1/7 or k?
-1/7
Let q = -4861/20 + 243. Are 1 and q non-equal?
True
Let s(i) = i - 26. Let c be s(-10). Is -36 <= c?
True
Suppose 6*n = 2*n + 36. Let i = 37 - 12. Suppose n*m - 4*m - i = 0. Is m > 6?
False
Let u(x) = -x**3 - 13*x**2 - 14*x - 17. Let p be u(-12). Let a(f) = -f**2 + 7*f + 4. Let v be a(p). Which is smaller: 3 or v?
3
Let r = -786.01 - -794. Let k = 8 - r. Is k <= 0.1?
True
Let u(y) = -3*y + 2. Let j be u(0). Which is greater: 3 or j?
3
Suppose 0 = -v - 2 + 4. Let r be v/7 - 13/(-28). Is 0 <= r?
True
Suppose 0 = 17*n - 12*n - c + 8, -2*n - c - 6 = 0. Let v = 5/47 - 166/235. Which is bigger: n or v?
v
Let n be ((-1)/(-6))/((-2)/9). Let f = -0.19 - 0.31. Let j = 0.6 + f. Is n bigger than j?
False
Suppose -d - 2*p = p - 5, 4*d + 5*p = 6. Let x = 0.35 + -0.05. Which is smaller: x or d?
d
Let n = -17 - 15. Is n less than or equal to -33?
False
Let q(r) = r**3 - 2*r**2 + 5*r - 5. Let l be q(2). Suppose l*h + 40 = -k + 6*k, 0 = k - 5. Are h and -3 non-equal?
False
Let i = -2 + 1. Let y = 0 + -4. Let q be 2/24 - y/16. Which is smaller: i or q?
i
Let y(s) = -s**2 - 2*s. Let d be y(-2). Suppose -o + d*j - 2*j = -9, -2*j + 11 = -o. Let b = -3.1 - -3. Does b = o?
False
Let w(c) be the second derivative of 0 - 1/20*c**5 - 4*c**2 + 7/12*c**4 + 1/6*c**3 + 2*c. Let n be w(7). Which is smaller: n or 0?
n
Let k(g) = 50*g**2 + 3*g - 2. Let l be k(1). Is 52 greater than l?
True
Let u = 111/5 - 22. Which is greater: -1/2 or u?
u
Let o be 542/8 - (-11)/(-44). Let s = -69 + o. Which is bigger: -2 or s?
s
Suppose -39 = 2*m + m. Is m smaller than -12?
True
Let y be ((-2)/15)/(3/5). Let x = -0.097 + -2.903. Is x at most y?
True
Suppose 0 = -5*d - 5*y + 28 + 72, 5*y = 10. Which is greater: d or 17?
d
Let k = -12 + 10. Is k < 0.5?
True
Let d be 2/(-3) - (-1060)/60. Is 15 at most as big as d?
True
Let z = 7 - 3. Suppose z*c + 3 = 7*c. Let b = -23 - -70/3. Which is greater: b or c?
c
Let p = -17/9 - -7/3. Let y(d) = d - 4. Let f be y(3). Is f at least as big as p?
False
Let g = 7 - 3. Suppose 0 = -3*a - 0*f - 3*f - 18, -3*f - 21 = g*a. Which is smaller: a or -4?
-4
Let w = 22 + -22. Let h = -7 + 4. Let y = w - h. Is y > -0.1?
True
Suppose 4*b = z + 2 - 5, -2*z + 2*b + 6 = 0. Suppose 8 = i + 4. Suppose 2*a + 5*r - 7 = 0, r - 1 = -4*a + i*r. Are a and z nonequal?
True
Let g be -4 - ((-26)/(-10) + -1). Which is smaller: -7 or g?
-7
Let m(r) be the first derivative of -r**2/2 - r + 1. Let x be m(-3). Is x greater than 2?
False
Suppose 4*w - 4 = 8, -2*u + 3*w - 11 = 0. Let v be (-2)/6 - (-2)/33. Which is smaller: u or v?
u
Let s = 23 - 18. Suppose -2*t + 6 = -s*t. Let o(n) = n + 2. Let z be o(-4). Are t and z non-equal?
False
Suppose 3*l + 21 = -0*l. Let x = 9 + l. Which is bigger: x or 3?
3
Suppose 0 = 3*v - b - 18, 5 = v + 4*b - 1. Suppose -v = -4*w + 2. Let n = -2 + 0. Do n and w have different values?
True
Let g(d) = -d**2 + 7*d - 6. Let j be g(4). Let k(q) = q**2 - 6*q + 1. Let i be k(j). Is 0 < i?
True
Let m be 10/4*(6 + -8). Let v be 6/15*1*m. Let q be v/12 - (-11)/12. Is q at most 2/5?
False
Let t be (-10)/(-6) + (-1)/(-3). Suppose 10 = 5*z - 0*z. Suppose -5 = -3*i - z*i. Is i at least t?
False
Let a(h) = -h + 4. Let z(c) = c**2 - 14*c + 3. Let i be z(14). Let j be a(i). Are j and 0 unequal?
True
Let v = -5 - -5.1. Is v > 0.07?
True
Let z be (1 - -3 - -2)*2. Is z less than or equal to -0.1?
False
Let f(n) = n**3 - 3*n**2 + 4. Let r be f(3). Is r != 21/5?
True
Let w(i) = 2*i + 3. Let j be w(-2). Let t = 0 - j. Suppose 2*s + 4 = 5*s + g, 10 = 5*s + 5*g. Is s greater than or equal to t?
True
Let q = -69281/26 - -2665. Let p = -2/13 - q. Let m(t) = 2*t**3 - 3*t**2 - t + 2. Let w be m(2). Which is smaller: w or p?
p
Suppose 4*m - 10 = 4*y - 2*y, -m = -2*y - 1. Let h be (-2)/(4/6) + 1. Let l be h/8 + 3/44. Which is bigger: l or y?
y
Suppose 2 = 4*l - 6*l. Let m be 2/(-4) - 6/20. Which is bigger: m or l?
m
Let g = -5.7 + 0.5. Let t = g + 4. Let v = 0.2 + t. Which is greater: v or -2/3?
-2/3
Let c = 3 + -2.9. Suppose 5*a + 0*r - 4*r + 105 = 0, 2*a - 4*r = -30. Let w = -27 - a. Are w and c nonequal?
True
Suppose z + 3*o + 3 = 15, 0 = -5*z + o - 4. Are -10/17 and z unequal?
True
Let d = 0.45 - -1.55. Are d and -1/4 non-equal?
True
Let l = 102 - 102. Do l and 13 have the same value?
False
Suppose 8 = t + 9. Which is smaller: -2 or t?
-2
Let s = 19 - 43. Let u = s + 24. Let r = 7 - 3. Which is greater: u or r?
r
Let u = 0.16 + -0.06. Let a = u - 0. Which is bigger: a or -8?
a
Let x = 26 + -38. Which is smaller: -13 or x?
-13
Let s = -3 + 8. Suppose s*j = 3 + 2. Is 2/3 at least as big as j?
False
Let p(w) = -w**2 + 2*w. Let i be p(2). Is i less than or equal to -1/43?
False
Let d be 3 + 32/(-20) - (-6)/10. Let w be (0 + 2)*(-22)/(-4). Let a = -7 + w. Which is greater: a or d?
a
Let k(h) = 5 - 2*h + 3*h - 2 + 0. Let n be k(-4). Which is smaller: 1/5 or n?
n
Let f = 62 - 62. Which is smaller: -1/54 or f?
-1/54
Let p = -1 + -1. Let a = 4115/3 + -1505. Let d = a - -132. Is p bigger than d?
False
Let a = 1 - -1. Is -3/4 less than a?
True
Let q = -8 + 9. Suppose 2*b = b - 2. Let i = 0 + b. Is i > q?
False
Suppose 1 + 3 = -4*g. Suppose 19*p + 17*p = -108. Is g at least p?
True
Suppose 5*w - 3*w = 10. Suppose -3*g = -6*g - 12, 4*n + w*g = -4. Which is bigger: 7/2 or n?
n
Let m(d) be the second derivative of -d**5/20 + d**4/2 - d**3/3 - 7*d**2/2 + 3*d. Let p be m(5). Let w(r) = -r + 11. Let n be w(p). Which is smaller: 2 or n?
2
Let v = 159 - 1429/9. Let k = -3.65 - -3.35. Is v < k?
False
Let h = 4 + -4. Suppose h = -4*j + 3*j. Is j <= -3?
False
Suppose 21*v - 16*v - 65 = 0. Is v <= -1/4?
False
Let v be ((-3)/3)/((-4)/(-4 - -96)). Which is greater: 24 or v?
24
Let z = 0.8 - 1.8. Are z and -1 non-equal?
False
Let i(m) = -5*m + 29. Let h(j) = 3*j - 15. Let b(f) = -7*h(f) - 4*i(f). Let t be b(-12). Let x = -1 - -3. Is t smaller than x?
True
Let t(c) = c**3 - 15*c**2 + c - 28. Let u be t(15). Which is greater: u or -10?
-10
Let s(g) = -36*g**2. Let v be s(1). Let j be ((-1)/(-3))/(22/v). Suppose 0*x - d = -3*x - 9, 0 = 5*x + d + 7. Are x and j equal?
False
Let p = -82 + 81. Is p less than 11?
True
Let a = 9/7 + -1. Let b be ((-2)/5)/((-3)/285). Let m = 151/4 - b. Which is greater: m or a?
a
Let t = -71/134 - -2/67. Does t = 0?
False
Let s = 3 + -5. Let l = s + 1.6. Let j = l + 0.2. Which is smaller: 2 or j?
j
Let y(x) = -x + 3. Let z be y(-5). Let d be (-3)/12 - 14/z. Is -4 greater than d?
False
Let x be (4/10)/(1*(-11)/25). Is x > -1?
True
Suppose 5*j = -8 - 17. Let c = -5 - j. Let b = 119/65 + -16/13. Which is smaller: b or c?
c
Let k = 29 + -29.1. Suppose z + 1 = 2*z. Let q be (-3)/12*(z + 0). Does k = q?
False
Suppose -5*u + 3 = 2*z - 12, 0 = -u - 2*z + 11. Which is smaller: 1/4 or u?
1/4
Let d = 2.93 - -0.07. Let y = d + -2. Is 2/13 greater than y?
False
Let c = 57929050669/24180 + -11978714/5. Let n = 65/93 + c. Let i = n + -1/39. Is i at most -1?
False
Let z be (-5852)/11480 - (-2)/4. Which is greater: z or 0?
0
Let b = 0.17 + -0.07. Let y = -0.5 + 0.3. Let o = b + y. Which is bigger: 2/3 or o?
2/3
Let y = 7 - 5. Suppose -d - y*f = -2, 0 = -f + 6 - 5. Suppose d = 5*v - 0*v. Is 1 <= v?
False
Suppose -3*b = 11 - 38. Let r be (-1 - -1)*(-3)/b. Which is smaller: -3 or r?
-3
Let l = 115/6 - 39/2. Let b be 2/8 - (-39)/(-12). Which is bigger: l or b?
l
Let y = -0.03 - 0.14. Which is greater: y or 0?
0
Let r be 1 + 2/((-44)/10). Let n(f) = -f**3 + 6*f**2 + 21*f - 40. Let v be n(8). Is v equal to r?
False
Suppose 0 = 3*u - 5*x - 27, -3*u = -2*x - 0*x - 18. Let l = u - 2. Suppose -z = 5*o - 3 - 7, -l*o = z - 1. Is z at least -6?
True
Let r = 3 + -39. Let q = r - -61. Let c be 10/q + (-46)/90. Which i