*m + 13. Is -1 at least i?
True
Suppose p = 4*v + 5*p + 12, p = -4*v - 21. Is -4 bigger than v?
True
Let s(o) = -o - 2. Let d be s(3). Let c = -2 - -6. Suppose g = -c*t + 4*g - 5, -3*t - 5*g = 40. Is d != t?
False
Let p(r) = -r**2 - 2*r + 10. Let f be p(-5). Is -3 < f?
False
Let y = 0.34 + 0.06. Let o = y + -0.3. Which is smaller: -1 or o?
-1
Let j be (-330)/(-7) - 156/(-182). Which is smaller: 47 or j?
47
Suppose 3*b - 3*v - 6 = 0, 0 = 3*b - b + 4*v + 26. Let s be 10/(-2)*24/(-15). Let t = s + -10. Which is greater: b or t?
t
Let p(l) = -l**3 + 4*l + 3. Let y be p(-2). Let k be (-66)/(-18) + 1/y. Is k smaller than 4?
False
Let v(j) be the third derivative of 1/24*j**4 + 0*j + 0 + j**2 - 4/3*j**3. Let t be v(9). Is 0 less than t?
True
Let b = -10 - -12. Suppose b*n = 3*l - 0 - 1, -l = -5*n + 4. Let d be (2 - -2)/2 - 4. Is d less than l?
True
Let w = 1/5 + 7/15. Suppose 0 = -5*d + 1 - 6. Let l be (-8)/(-12) + 1 + d. Is w greater than l?
False
Suppose -u + 2*n = 4 - 1, 2*u = -n - 1. Which is greater: u or 23?
23
Let z be (-14)/20*2 - 10/(-25). Is -16/9 != z?
True
Suppose 2*f + 2*f = -20. Let p = -4 + 6. Suppose -p*d + 20 = -7*d. Which is greater: d or f?
d
Let b = -82.3 - -82. Which is bigger: -1.9 or b?
b
Suppose -4*g = 2 + 6. Suppose -5*q = -4*c - 2, q - 2*c = -q. Let s = q + -3. Are s and g nonequal?
True
Let w = -1791 - -359993/201. Are w and -1 non-equal?
True
Let h be (-2)/(1/((-9)/6)). Let p = h + -4. Let k(y) = y**3 + 16*y**2 - y - 14. Let z be k(-16). Which is bigger: p or z?
z
Let p = 46574/35 - 6422/5. Let z = p + -46. Which is smaller: 1 or z?
z
Let g = -13 - -13. Let t = g - 3. Which is smaller: t or -0.2?
t
Let w = 0.3 - 0.8. Let v = 21.5 + -22. Let s = v + w. Is 2/23 less than s?
False
Let l = 8 + 12. Is -2 at least l?
False
Suppose 0 = -0*i - i + 7. Let f = -6 + i. Which is greater: f or -5?
f
Let f be 250/(-70) - 8/(-14). Let c be (f/6)/((-6)/(-24)). Which is smaller: c or -3?
-3
Let b(k) = k**2 + 14*k + 44. Let g be b(-8). Are -5 and g unequal?
True
Suppose -3*g = 3*q + 192, 3*g + 135 + 57 = -4*q. Let w = g - -322/5. Is w greater than or equal to 1/5?
True
Let g(q) be the second derivative of -q**5/20 - q**4/6 + q**3/3 + 3*q**2/2 + 3*q. Let y be g(-2). Which is bigger: y or -1/3?
-1/3
Suppose -177 + 12 = 5*q. Let s be 13/11 + 6/q. Let c(w) = -w**2 - 2*w - 1. Let m be c(-2). Are m and s unequal?
True
Let q(h) = 7 + h - 1 - 6. Let a be q(0). Do -1/2 and a have different values?
True
Let k(i) = -i**3 + 4*i**2 + 5*i - 6. Let c be k(5). Let o be 4/c + (-48)/(-99). Is o at most as big as 0?
True
Let c = -8 - -8. Which is greater: -13 or c?
c
Let k be 3 + -1*1/(-1). Is k > 4?
False
Suppose 4*h + 2*t - 28 = -t, 5*t + 21 = 3*h. Is 6 greater than h?
False
Suppose -r - 19 - 7 = 3*p, 2*r + 52 = p. Is -25 at least r?
True
Let h(y) = y - 7. Let b be h(0). Let m be 0 - (12/b + 2). Suppose 9*f = 4*f - 5. Which is smaller: m or f?
f
Let j be (4/(-18))/((-60)/90). Let g be (-1)/(-4) - 13/20. Is j at most g?
False
Suppose 0 = s - 2*s. Suppose 32 = -o - o. Let p = o + 97/6. Is s at most p?
True
Let p(h) = h**3 - 8*h**2 + 6*h + 5. Let c be p(7). Suppose n + 3 = -d + 2, 5*d = -20. Let o be n/(2 - 9/3). Is o less than or equal to c?
True
Let q = 148 - 184. Are q and -35 equal?
False
Let n(g) = -g - 1. Let t be n(-1). Which is bigger: -1 or t?
t
Let q = 10 - 10. Suppose -2*f - 2 - 2 = q. Are f and -1 non-equal?
True
Let n(l) = 2*l - 15. Let o be n(8). Are 3 and o unequal?
True
Let r = -0.14 - -1.24. Let i = r - 0.1. Let c = 0.05 + -0.05. Which is greater: i or c?
i
Let t = 1.1 - 18.1. Let x = t + 21. Which is greater: -2 or x?
x
Let f be -1 + 3 + (0 - 0 - 1). Let r be 31/(-16) + (2 - 0). Does r = f?
False
Suppose 3 = -3*z + 12, -3*j - 3*z + 6 = 0. Suppose 3*y - 2 = q, q + y + 8 = -3*q. Is j >= q?
True
Let k(x) = -x**3 - 8*x**2 - 7*x + 1. Let l be k(-7). Let u = -86 + 523/6. Which is bigger: l or u?
u
Suppose 2*g + 2*r = 94, -g + 17 = -6*r + r. Let s be 2 - (0 + g/15). Is 0 at least as big as s?
True
Suppose 0*w + 2*w = 4. Suppose y + 3*y = 0. Suppose y = -5*q + 5*t + 30, 3*t = -q + w*t - 4. Is q smaller than -4/9?
False
Let p(b) = -b**3 - 7*b**2 + 7*b - 5. Let c be p(-8). Suppose -3*x = c*n + 18, -5*n + 3*x - x = 2. Let f be n/10 + 104/(-80). Which is greater: -3 or f?
f
Let k = 0.2 - 0.2. Let r be -2 + (111/21 - 3). Is k at most r?
True
Let c(w) = -10*w - 6. Let r be c(-2). Which is smaller: r or 15?
r
Let x be (-66)/99*(-9)/(-8). Do x and -1 have different values?
True
Let c be (5 - 558/120) + 2/8. Let i be (0/2 - 0)/1. Are c and i equal?
False
Let i = 0.1 - 0. Let v = 22 + -22. Let r = i + v. Is -1 greater than r?
False
Suppose r = 5*g + 26, -3*g = 4*r - 8*g - 44. Let d(z) = -z + 8. Let o be d(r). Is 4 greater than or equal to o?
True
Suppose 2*y = -3*n + 6*n + 73, 2*y = n + 23. Let j be (-2)/(-5) + 85/n. Which is bigger: -2 or j?
-2
Let x(m) = m**2 + 6*m - 1. Let c be x(-5). Let y = 23 + -28. Is c less than or equal to y?
True
Let x = -0.28 - 0.12. Let j = -0.5 - x. Which is greater: 4/7 or j?
4/7
Let m = -4.7 - -4. Let j = 25.3 - 28. Let a = m - j. Which is smaller: -0.2 or a?
-0.2
Let k(b) = b + 5. Let i be k(5). Suppose 4*n = 16, -3*c + 2*n - 30 + i = 0. Which is smaller: -3 or c?
c
Let c = -1246/2211 - -54/67. Let x = c + -10/11. Let f(u) = u**3 - 5*u**2 - 6*u - 1. Let i be f(6). Is x >= i?
True
Let n be 12/6*11/(-2). Let c(v) = v**2 + 11*v + 8. Let q be c(n). Suppose -q*t + 3*t = 0. Is -2/15 < t?
True
Let m(w) = 4*w. Let t be 8/10*(-40)/(-16). Let y be m(t). Suppose -3*x = 4 + y. Is x > -4?
False
Let y = 762052 + -528102220/693. Let n = y + -2/99. Which is bigger: -6 or n?
n
Let h be (-36)/(-90) - (-26)/10. Is h > 30/7?
False
Suppose 2*f + 2 - 4 = 0. Suppose 0 = -0*n - n + 8. Suppose -g - n = 3*g, -2*g - 6 = -2*d. Is f greater than d?
False
Suppose n - 4*t + 18 = 0, 2*n + 2*t = -3*t - 10. Let y = -161.9 + 162. Which is greater: n or y?
y
Suppose -2*p + 4 - 12 = 0. Let m be (16/10)/(p/(-10)). Let a = 2 - m. Which is smaller: a or -1?
a
Let s(d) = -d. Let w be 12/(-4) - -2 - -1. Let i be s(w). Which is bigger: -1 or i?
i
Let k be 60/6 - (1 - -2). Let y = 8 - k. Is y smaller than 3?
True
Let s be 11/(-18)*-4 - 2. Suppose -3*m - 4*w - 2 = w, 0 = 4*m + w - 3. Which is bigger: s or m?
m
Suppose -1 = 4*f - 9. Suppose -2*b = f*b - 44. Which is bigger: 12 or b?
12
Let f be (8/(-4))/(-6)*12/4. Is f greater than 8/19?
True
Let k = -11 + 11.17. Let p = k + -0.37. Is 2/5 at most p?
False
Let v = 5 + -3. Let c be 2 + 6*v/(-5). Let u = 2 + -1. Which is greater: u or c?
u
Let g be (30/(-2))/(24/(-16)). Suppose -g = -5*x - 2*m, -5*m = -4*x - m - 20. Is 0 bigger than x?
False
Let q = -4.1 - -4.1. Which is bigger: q or 17?
17
Let g be 5/(25/(-2))*5. Suppose q + 6 = -q. Is g equal to q?
False
Let j(i) = -i - 7. Let n be j(-15). Which is smaller: 7 or n?
7
Suppose -5*m + 4*r = 112, 0 = -4*m + 7*r - 3*r - 92. Let c be (176/m)/2 - -3. Is c equal to -1?
False
Let u(h) = -h + 17. Let i be u(8). Is 9 not equal to i?
False
Let h = 0.1 - 0. Let f = 0 - h. Let v be 2/(-8) - (-33)/36. Which is greater: f or v?
v
Suppose -5*t + 2 = 17. Let a be 1/6 - 1/t. Let m = 50 - 49. Which is smaller: a or m?
a
Let k be (34/(-102))/(-2*(-1)/(-6)). Let c = 139533/77 - 23645/11. Let r = c + 338. Which is smaller: k or r?
r
Let q be (0/(-9))/(1 - -1). Suppose -u + 0*u = q. Is -1/9 at least u?
False
Let k = -14 + 19. Which is smaller: 7 or k?
k
Suppose 4*w + 5*r - 13 = 0, 5*w - 3*r - 1 - 6 = 0. Suppose -14 = -3*p + w*b, 2*p + 10 = p - 3*b. Let u be (3 - -3)*p/(-20). Is u at most 0?
True
Suppose -p = -i - 24, 4*p + 4*i - 6*i = 92. Which is greater: 21 or p?
p
Let f be 5 - (0 - 0) - 2. Suppose c = 1 - f. Let s be (0 - -1)/(2/c). Which is smaller: s or -1/4?
s
Let n be (-1)/(-2) - 11/18. Which is smaller: n or -1?
-1
Let c = 23/860 + 1/43. Which is smaller: -1 or c?
-1
Let z = 24 - 52. Let l = -83/3 - z. Suppose -1 = 5*i + 2*n, -5*i + 6*n - 9 = 4*n. Which is smaller: i or l?
i
Suppose -5*r + 59 = -4*w, -2*w + 2*r + 8 = 38. Let b = -16 - w. Which is bigger: b or 2/7?
2/7
Let j be 1/(-3) - 13/(-3). Suppose -2*b + 532 = 522. Which is smaller: j or b?
j
Let x be (-1 + -43)/(-2 + 3). Let b = -91/2 - x. Which is bigger: b or -1?
-1
Let r = 9 + -4. Suppose -5*h + 4*h - 3*k = -20, -2*h = k - 30