 greater: 2 or k?
2
Let d = -3 + 0. Is d < -3?
False
Suppose 2*a - 1 = 2*t + 3, -5*a - 5*t + 20 = 0. Suppose -2*p + j - 1 = 0, 4*p + p + a*j = 3. Suppose -n = -6*n. Is p >= n?
True
Let x = -10 + 5. Let v = -49.2 + 54. Let k = v + x. Is 1/4 at most as big as k?
False
Let s = -360/13 - -5309/195. Are s and -1 equal?
False
Suppose -x + 3*x = -2. Which is bigger: x or -4/7?
-4/7
Suppose 0 = -7*n + 2*n + 5. Let j be (0/1 - 5) + 3. Let t = 2 + j. Does n = t?
False
Let c = -111.9 - -107. Let g = 5 + c. Which is smaller: 5 or g?
g
Let u = -0.04 + -0.16. Which is smaller: -2 or u?
-2
Let p(r) = r**2 + 8*r - 7. Let k be p(-9). Let x be (-1)/((55/k)/5). Do 1 and x have the same value?
False
Let m = -2 - -10. Let y(p) = p + 23. Let t be y(-16). Is m bigger than t?
True
Let m = 4 - 2. Let i = 0.21 - 1.11. Let v = i - -0.9. Which is smaller: m or v?
v
Suppose -c = -3*x + 2*x - 2, 5*c + 2*x = 3. Let z be ((-1)/(-1))/(9/12). Does c = z?
False
Suppose 98 + 7 = -3*s. Is s <= -36?
False
Let m = 0.01 - -4.99. Let n = m - 8. Let k = 4 + n. Which is greater: k or 0.1?
k
Let s = -0.03 - -0.13. Let l = 2 - 3. Which is greater: l or s?
s
Let t = 83/390 - 1/78. Let p(d) be the third derivative of -d**6/120 + 7*d**5/60 + 7*d**4/24 + 3*d**3/2 - 2*d**2. Let n be p(8). Is n greater than t?
True
Let x = 23 - 17. Is x equal to 6?
True
Let c(r) = -r**3 - 3*r**2 + 2. Let b be c(-3). Suppose 3*d + 5*p = -2, b*p - 3*p + 2 = d. Are d and 6 unequal?
False
Let t be 2/8 + (-30)/(-8). Suppose 0*h + 5*s - 12 = -h, 2*h + 4 = 4*s. Is h > t?
False
Suppose t + 8 = 5*t. Suppose t*g + 6 = -3*o - g, -3*g = 5*o + 10. Is o < 1?
True
Let m = -0.5 + 6.5. Let v = -6.1 + m. Is v greater than or equal to -0.1?
True
Let o = 153 + -609/4. Is 0 greater than or equal to o?
False
Let k = 6 - 6.4. Let g = k + 0.4. Let n be -1 + (0/(-1))/(-2). Are n and g non-equal?
True
Let g = -26 + 27. Which is smaller: 3/2 or g?
g
Let q be 10 + -6 - (-1 - -5). Is -1/18 > q?
False
Let g(c) = c**2 - 4*c + 2. Let z be g(2). Suppose -m = t - 6, 0 = 3*m + 4*t - 16 - 5. Let f be m*((-8)/(-21))/(-2). Is f smaller than z?
False
Let s = -23.94 - 0.06. Let t = s + 24.1. Is -0.2 greater than or equal to t?
False
Suppose 2*j = -0*j - 2. Suppose -2*p + 14 = p + 4*c, -2*c + 4 = 0. Suppose -p*h = x + 5, 2*h - 7*h - x = 5. Which is greater: j or h?
h
Let w(k) = k**3 - 5*k**2. Let v = 5 - 0. Let f be w(v). Which is bigger: -1 or f?
f
Let o = -24/103 - -1557/15965. Let u = -2/31 + o. Which is smaller: 0 or u?
u
Suppose 3*z = 7*z - 20. Suppose z*s - 30 = -0*s. Let i be (s/2)/(2 + -6). Is i equal to 0?
False
Let q = 8 + -11. Is q at least as big as 2?
False
Suppose 0 = -2*f + 6*f - 24. Let y be ((-1)/(-2))/((-3)/(-6)). Suppose -2*s + 4*w = -f*s, y = 2*s + 3*w. Is -3 at most s?
True
Let t(n) = n**3 + 1. Let p be t(0). Let b be (-1389)/30*5/4. Let d = b + 58. Which is smaller: p or d?
d
Let h be (-16)/10 + (-6)/15. Let x be h + ((-21)/4)/(-3). Which is bigger: -0.1 or x?
-0.1
Let o be 4/14 - 81/63. Is 1/9 bigger than o?
True
Suppose 5 = 3*b - 4. Let g be (1/b)/((-1)/(-2)). Which is bigger: g or -3/2?
g
Suppose -4*v + 2 = -3*v. Let n(c) = -2*c - 4. Let t be n(-3). Suppose v*p + t*p - 8 = 0. Which is bigger: 1 or p?
p
Suppose 2*g - 5 = -3. Let j be g/2*14/(-35). Which is smaller: j or 0?
j
Let t = 13 + -8. Let q(c) = c**3 + 6*c**2 - 9*c - 10. Let y be q(-7). Which is smaller: t or y?
y
Let a(c) = -c**2 + 2*c + 2. Let s be a(-3). Suppose 3*y - 30 = 6*y. Let o be s/5 + y/(-5). Which is smaller: o or -2?
-2
Let h be 101/(-69) - (-88)/66. Which is greater: h or -1?
h
Let m(j) = -j**2 - 6*j - 5. Let n be m(-4). Suppose n*h + 1 = -2. Let k be (-1)/(-2)*2*h. Which is smaller: k or -1/2?
k
Let v = -9 - -2. Let x = -7.8 - v. Let q = -1 - x. Which is smaller: q or -0.1?
q
Let i = -3 + 5. Let y(x) = x**3 + 17*x**2 + x + 19. Let a be y(-17). Is i equal to a?
True
Let l = -6 + 6. Suppose 3*d - 2*d - 5 = l. Do d and 5 have different values?
False
Let i = 18383632/77 - 238752. Let f = -42/11 - i. Which is greater: 1 or f?
1
Let i = 17 + -17. Which is bigger: i or -1/16?
i
Let c = 4 - 3. Let z be c - (0 - (3 - -2)). Suppose -z = j - 4*j. Is 2 greater than or equal to j?
True
Suppose 3*v = 4*v + 2. Let c be (-28)/(-3) + v/(-3). Suppose 7*g - 2*g = -c. Do -4 and g have different values?
True
Let p = -21.5 - -23. Is 0.1 >= p?
False
Let o be (-26)/(-8) - (-2)/(-8). Let k be (o/5)/((-1)/(-5)). Suppose 0 = 2*a + 1 + k. Which is bigger: a or -1?
-1
Let n = -1 + 2. Let s be (-1 + n)/1 - -1. Let u = 31 - 28. Which is bigger: u or s?
u
Suppose 0 = 2*u + d - 16, -3*u = -0*u + 4*d - 34. Is u less than 6?
False
Let m = 1 - -2. Let t = -239 - -239. Is t at least as big as m?
False
Let p = 85 - 85. Which is smaller: p or -3?
-3
Let c = -402/5 + 79. Is 0 bigger than c?
True
Let o = 34.1 - 37. Let c = o - -1.9. Are c and -1/11 nonequal?
True
Suppose 6*p + 284 = 10*p. Does p = 71?
True
Suppose 3*h = 2*h - 5, o - 3*h = 17. Suppose -2*p = -0*p - 8, p + 6 = 2*d. Let v be (-2 + 9/d)*-4. Is v less than o?
True
Let u = 0.09 - -0.01. Let n = -0.04 + -2.96. Which is greater: n or u?
u
Suppose 6 - 18 = -3*x. Suppose 4*g - 3*w - 12 = -x*w, 3*w = 12. Let v = -1 + 2. Is v smaller than g?
True
Let m = 0.1 + -1.1. Let h be (2/6)/(1/(-22)). Let d = 7 + h. Which is smaller: m or d?
m
Let x = 5 - 0. Let f = x - -2. Is 0 != f?
True
Let z = -4.4 - -3.4. Is -2/189 less than z?
False
Suppose 0 = -c - 2, -u - 3*c - 3 = 3. Let g = 69 + -24. Let r = g - 133/3. Which is bigger: u or r?
r
Let o = 97 - 98. Let g be ((-2)/(-2))/(3/(-3)). Do g and o have the same value?
True
Let g = -1.1 - -2.1. Let b = -1.2 + g. Which is greater: 2/9 or b?
2/9
Let w = -235/63 - -23/7. Which is smaller: -4 or w?
-4
Suppose 43 - 4 = -3*h. Which is smaller: -14 or h?
-14
Let w be (-3 + -1 - -2) + -1. Is w bigger than -12/7?
False
Suppose 4*a + 4*z = -44, 3*a + 2*z + 23 = 4*z. Let x(i) = -i**2 - 7*i - 4. Let p be x(a). Let f be (-20)/p + (-3 - -2). Which is smaller: 0 or f?
f
Let l be 2 + (-38)/5 + 5. Which is greater: l or 0?
0
Let x = -0.08 + -1.92. Let s = 2 - x. Which is smaller: 2/3 or s?
2/3
Suppose 16 = -j + c - 6*c, 5*c + 20 = -5*j. Let o = j + 1. Let y = 0.9 - 1. Is y at most as big as o?
True
Suppose -58*n - 4 = -57*n. Suppose -5*s + 3*d = -d - 7, -4*d = 12. Let f = s - 2. Which is smaller: f or n?
n
Let f be (-1)/2 - 3/(-2). Let s = 1 + f. Suppose 2 - 1 = -n + m, n + 3 = 2*m. Which is smaller: n or s?
n
Let a(u) = -u**2 - 10*u - 9. Let c be a(-9). Let b = c + 0. Let d be 1 + (0 - b/1). Which is greater: -1/3 or d?
d
Suppose -3*m + 7 = -2*p + 7*p, 4*p = -2*m + 2. Let a be 2/((-21)/m + 3). Do 2 and a have different values?
True
Let t(x) = 7*x**3 + 2*x**2 + x - 2. Let i be t(1). Let l be (9/12)/(34/i). Which is smaller: 0 or l?
0
Let n = -13 - 5. Let k be -3 + n/(-3) + -4. Suppose b + 8 = 2*l + 5*b, 2*l - 6 = -3*b. Is l >= k?
True
Let h be 24/56 - (-4)/7. Does 1/264 = h?
False
Let g = 284/5 - 57. Suppose 0 = -l - 5, 2*l = 2*h - 3*l - 35. Suppose -8 = 2*q + h*c, -2*c - 9 = q + 3*c. Which is smaller: g or q?
g
Let r(j) = j**2 + 3*j. Let a be r(-3). Are a and 3/7 non-equal?
True
Let y(b) = -9*b**2 + b**3 + 9*b + 5 - 2*b + 0*b**3. Let w be y(8). Let c be ((-3)/w + -1)/(-1). Which is smaller: c or 2/3?
c
Let c(y) = y**3 + y + 1. Let i be c(-1). Let m be 1/(4*3*(-5)/(-60)). Is i < m?
True
Let q(i) = i + 9. Let p be q(-5). Let j be ((-10)/(-8))/(1/(-4)). Let g be j/6*(2 + -5). Which is greater: g or p?
p
Suppose 4*q = -x + 2*x + 12, -q = 4*x - 20. Suppose -4*j + j = -p - 1, 26 = 3*j + q*p. Suppose 2 = j*u - 3*u. Which is bigger: -0.1 or u?
-0.1
Suppose -o = 2*o - 30. Suppose -2*t + 2*r = o, 4*r - 15 = -t - 0*t. Is t < -2?
False
Let y = -1.5 - 0.5. Let r = 77 - 74. Is y at most r?
True
Let l be 2/(-3) + (-32)/(-12). Which is smaller: l or 1/2?
1/2
Suppose -9*w = -11*w. Are w and -2/103 equal?
False
Let x = -2/11 - 16/33. Which is greater: 27 or x?
27
Let r = -2081 + 22871/11. Let o = r + 2. Is o <= -0.1?
False
Let g be 3/18 + -1*2. Is g greater than -2?
True
Let p(u) = -49*u + 4. Let r be p(-4). Let m = -1603/8 + r. Which is smaller: 0 or m?
m
Let v = -0.091 - -0.191. Is v less than -0.13?
False
Let c(x) = x**3 - 5*x**2 + 2*x + 3. Let h be c(4). Is h > -5?
False
Suppose 11*d - 13*d + 40 = 0. Which is smaller: d or 18?