greater: -1/6 or i?
i
Let d = 4 - -4. Let z = 7 - d. Is 5 less than z?
False
Suppose 2 = 3*v - 1. Suppose h - 5 = -v. Let n = h + -3. Which is greater: -1/3 or n?
n
Let p = 17 + -32. Is -16 less than or equal to p?
True
Suppose 0 = -2*g + 8, 0*z + g = -5*z + 9. Is z <= 6/7?
False
Let g = -111178/5 - -22317. Let s = g - 81. Which is bigger: 1 or s?
1
Let n = 5 - -4. Let q(v) = -8*v - 5 + 0*v - 5 + v**2. Let h be q(n). Is -3 bigger than h?
False
Let w = 0 + -0.2. Let z = -0.03 - -3.03. Let c = z - 4. Is c at most w?
True
Let z = 0.177 + 0.823. Is z less than or equal to -0.03?
False
Suppose t + 3*t + 9 = f, 4*f = 2*t + 22. Let y(j) = -j**3 - j**2 - 6. Let u be y(0). Let z be u/(-9) + t/(-3). Is z > 1?
False
Let h be 9/(6 + -3)*6/603. Is 0 at most as big as h?
True
Suppose u = 5*u + 8. Is 1 greater than u?
True
Let k be (1 - 3)*9/(-18). Is k greater than 1?
False
Let f be 22/(-3)*(-5 + 20/(-8)). Is 54 smaller than f?
True
Let w = 7 - 5. Let t = -2.1 + w. Which is smaller: t or 0.2?
t
Suppose 2*w + 74 = -4*d, 5*w - 24 = 2*d - d. Is -35/2 not equal to d?
True
Let u be 10*((-32)/(-20))/(-4). Which is smaller: -10 or u?
-10
Let r = 6 - 14. Let g = -6 - r. Let m be g - (-3)/(-12)*6. Which is bigger: m or 2?
2
Let k be (-41)/(20/(-90) + 10/(-36)). Which is bigger: 81 or k?
k
Suppose 1 = -3*r + 10. Is r bigger than 14/5?
True
Let r = -13.07 - -2.17. Let j = r - -11. Do 7/6 and j have the same value?
False
Suppose y + 6 + 1 = 0. Which is smaller: y or 3?
y
Let t = 2/551 - 1204/28101. Let n = -13335 - -680053/51. Let o = n + t. Is o greater than or equal to -2?
True
Let t = 1353/7 + -193. Suppose -5*x - 3 = -2*x. Which is smaller: x or t?
x
Let i be 33/(-15) + (9/(-15))/(-3). Are i and -24/7 equal?
False
Suppose -3*n - 3*y + 8*y + 17 = 0, 0 = 2*y + 8. Let q = 197 + -2759/14. Is q at most as big as n?
False
Let m = 5 + -3. Let p be 3 - ((1 - m) + 2). Suppose p*x + 0*x = -2. Which is greater: x or 0?
0
Let j be (3 - 10/6)*3. Suppose -j = -2*w - 2*w. Which is greater: w or -2/7?
w
Let o be -4*(3/4)/(-3). Let c = -92 - -827/9. Is o equal to c?
False
Let l = -37.2 + 38. Let n = 4.9 - 4. Let a = n - l. Which is greater: a or 0?
a
Let u be (6/2)/(6/4). Which is smaller: u or 1?
1
Let u = -2 + 2.1. Let z = 10.5 + -13. Let r = z + 0.5. Which is smaller: r or u?
r
Let d = -30 + 29.87. Let j = d + 0.03. Is -0.4 greater than j?
False
Let n be 10/4 + -2*2/8. Is 0.8 at least n?
False
Let b be (-2)/(1 - (-10)/(-9)). Let q be ((-170)/(-15))/((-4)/(-6)). Do b and q have the same value?
False
Let r be (2/(-10))/((-8)/10). Let f be (4 + (-42)/10)*2. Which is smaller: r or f?
f
Let r = -9 + 11. Suppose -2*t = -5*u - 13, -3*t + 3*u = r*t - 23. Are -1 and t non-equal?
True
Suppose 3*t - 5*t - 22 = 0. Are t and -11 unequal?
False
Suppose -50 - 20 = -5*k. Suppose 4*a + k = -l + a, 3*a = 5*l - 20. Which is greater: l or -1/3?
l
Let j = 0.56 + -101.56. Are -0.1 and j nonequal?
True
Let x(b) = 4*b**2 - b - 3. Let p(y) = -3*y**2 + y + 3. Let t(v) = -3*p(v) - 2*x(v). Let n be t(3). Suppose -4*g - 20 = 0, -w + 2*g = -n*w - 8. Does w = 1?
True
Suppose 2*p = -4*s + 4, -p + 3*s - 4 = -1. Which is bigger: p or 12?
12
Let p = -89.2 - -89. Which is smaller: 13 or p?
p
Suppose -n + 4 = -3*n. Suppose 0*u + 5*u - 10 = 0. Suppose u*j = -j - 9. Is n less than j?
False
Let v = 13 + -19. Let c = 13 - 11. Suppose -12 = -c*p + 4*p. Is p equal to v?
True
Let h = -274 + 3568/13. Is h less than or equal to 1?
True
Let v = 0.34 - 0.38. Which is smaller: -0.1 or v?
-0.1
Let d = 20 + -1. Suppose -3*g - d = 4*r, 6*g - 2*g + 24 = -4*r. Which is bigger: -2 or r?
r
Suppose 3*x + 4 = x. Suppose 7*b - 4*b = 0. Let n = x - b. Is -2 less than n?
False
Let c be ((-1)/(-458))/((-15)/1006). Let w = c + 3/229. Is 1 less than w?
False
Let g = -64 + 65. Which is greater: -1/99 or g?
g
Let z = -6 - -6. Let k = 0.24 - 0.47. Let u = 0.07 - k. Do u and z have the same value?
False
Let c(x) = x**3 - 2*x**2 - 2*x + 1. Let k(v) = v**2. Let o(t) = c(t) + 2*k(t). Let l be o(1). Let w be 2 + (-5)/((-15)/(-6)). Is w at most l?
True
Let k(r) = -r**2 + r - 4. Let p be k(0). Is -1 > p?
True
Let y be ((-24)/(-64))/((-18)/40). Let a be (3/2)/((-2)/4). Let v = a - -2. Is v smaller than y?
True
Let u(l) = -4*l - 6. Let j be u(-2). Which is bigger: j or 0?
j
Let g = 2.65 + -3. Let x = g + 0.05. Which is smaller: x or -2?
-2
Suppose n - 1 - 8 = 0. Is n at most 8?
False
Suppose -3*a = -2*f + 7, 2*f - a - 4*a = 17. Is -2 equal to f?
False
Let f be 2 - 4 - (-734)/434. Let n = f - 17/31. Is -2 equal to n?
False
Let u = -0.09 + -4.91. Let b = -6 - u. Which is greater: 2 or b?
2
Let u be (-5)/30*(1 - 4). Which is bigger: 2 or u?
2
Let u be (2/8)/((-3)/4). Suppose -25*r = -20*r + 5. Which is bigger: u or r?
u
Let c be 20/(-2) - 0/(-4). Let j = c - -18. Is 8 at least j?
True
Let a = 1.7 + -1. Let k = a - 0.3. Which is greater: k or -0.2?
k
Let v be (1 - -2)*(-2)/3. Suppose -9*p + 4*p = 5. Are p and v equal?
False
Suppose 4*i + 6 = -34. Is i != -10?
False
Let j(h) = -h**2 + 9*h + 10. Let m be j(10). Let p = 2 + m. Suppose -5*l + 2 + 3 = 0. Is p > l?
True
Let w be (-6)/(-4)*(-20)/(-30). Let v = 8 + w. Suppose 3*o = -s + v, -2*o + 15 = -4*s + 3*o. Is s at most as big as 0?
True
Suppose -4*c + 8*c - 216 = -5*p, -p + 216 = 4*c. Is c at most as big as 53?
False
Suppose -3*q - 3 - 9 = 0. Let r = -42 - -29. Let b = r - -10. Which is bigger: b or q?
b
Let n(d) be the third derivative of d**6/120 + d**5/10 - d**4/24 - 7*d**3/6 - 4*d**2. Let r be n(-6). Let c be (r/(-2))/((-3)/(-30)). Which is bigger: 6 or c?
6
Suppose 3*a + 23 = 5*p, 1 = -5*a - 4*p + 12. Which is smaller: a or -5?
-5
Let u be (-1 + (-6)/3)/(-1). Suppose -1 - u = -4*p. Is p smaller than -1?
False
Suppose 4*v = -2*p - 19 - 15, 5*p + v = -58. Is 0 < p?
False
Let v be (-1)/(-1) + -2 + 2. Let s be 0 + -83*(-2)/8. Let y = -21 + s. Is y at least v?
False
Suppose -3*p - 5 = 2*p. Let h = -4 + 18. Suppose -n + h = -4*m, 6*n - 3*n - 10 = 4*m. Is n greater than or equal to p?
False
Let y(v) = v**3 - 4*v**2 + 4*v - 3. Let s be y(3). Let j be s/((-2 + 0)/1). Which is greater: 3/16 or j?
3/16
Let d(w) = -w**2 - 10*w - 6. Let o be d(-9). Suppose 0 = 3*v - 5*n + 19, o*v - 4*n + 10 = -2*v. Are v and 0 unequal?
True
Let f = 547 + -22973/42. Which is smaller: f or 1?
f
Let b(i) = -i**3 + 3*i**2 - 3*i + 1. Let t be b(2). Let q be 7/(21/684) + 3. Let p be 946/q + (-1 - 3). Is p bigger than t?
True
Let h be (5/15)/((-2)/(-18)). Let d(a) = a**3 - 3*a**2 + 4. Let c be d(h). Is c less than 3?
False
Let w = 2.4 + -1.6. Let k = -1.1 + w. Which is smaller: 0.1 or k?
k
Let g = -18 + 22. Is 2 < g?
True
Suppose 5*n + 10 = 5*s, n + 1 - 4 = -4*s. Let c = 1 - s. Suppose -3*k + r = -11, -2*r - r - 17 = -k. Is c <= k?
True
Let s = -0.11 - 2.89. Is -1 bigger than s?
True
Let q be 0/(2/2) - 0. Let l(v) = -2*v. Let x be l(2). Let j be -3 - x/((-16)/(-13)). Is j <= q?
False
Let j be (-64)/6 - 50/(-30). Let p(x) = 5 + 4 - x + 2*x. Let f be p(j). Is f smaller than -1/5?
False
Let y be (8/(-10))/((-2)/10). Suppose 0 = p - y*p. Which is bigger: -1/17 or p?
p
Suppose 3*j + 2*a - 8 = 4*j, 3*a = 2*j + 11. Suppose 3*h = -5*u + 63, -3*u + 3*h - j*h + 35 = 0. Let o be 2/(-12) + (-4)/u. Do o and 0 have the same value?
False
Let g = -0.1 - 0. Which is smaller: g or -9/4?
-9/4
Suppose -226 = -4*i - 2*h, -61 = 6*i - 7*i + h. Which is smaller: i or 60?
i
Suppose -7*r - 6 = 1. Is r != -8/9?
True
Suppose 0 = -5*t + h + 73, -4*t - h = -0*t - 53. Let n be (-18)/t + 1 + 0. Which is greater: -16 or n?
n
Suppose 0*w = -3*w + 4*y + 17, -4*y - 5 = w. Suppose 0 = 3*n - 12, -3*r - 14 = w*n + 10. Let c be (-3)/6 + (-3)/r. Which is smaller: c or -1?
-1
Let a = 0.05 - -0.05. Let x = -5.1 + 6. Let n = a + x. Is 1 greater than or equal to n?
True
Let i = -0.55 - -0.61. Do -0.2 and i have the same value?
False
Let z = 24 - 17. Let g = z + -5. Is 2 not equal to g?
False
Suppose -12 = -4*v - 4*s, 0 = -3*v + 3*s - 2*s - 7. Is v greater than 2?
False
Let h(m) = -2*m**3 - 2*m**2 + 4*m - 2. Let o be h(3). Let p = o + 253/4. Suppose 3*q - 2 = 2*q. Is p < q?
True
Suppose 0 = -2*z - 8. Suppose -5*j - 3*n = 29, j - n = 2*n + 5. Let q be (j/6)/((-14)/(-105)). Which is greater: z or q?
z
Let b = 24 - 30. Is b less than or equal to -11/2?
True
Let h = -16.8 - -14.8. Is