.4 - -2. Let t = p + -0.64. Is -2/5 < t?
True
Let f(q) = -q**2 + 4*q - 3. Let i be f(3). Is i at least -0.5?
True
Let j = -321 - -2251/7. Let n(w) = w + 4. Let z be n(-3). Which is smaller: z or j?
j
Let h be 7 + -3 + (-6 - 0). Let t = -56 - -387/7. Is h smaller than t?
True
Let m be (146/(-174))/(2/(-1068)). Let o = -448 + m. Which is smaller: o or 1?
o
Let c = 28 - 3. Let w = c + -15. Are -1 and w unequal?
True
Let r(h) = -h**3 + 4*h**2 - 4. Let y be r(4). Let l be ((-10)/y)/(3/6). Let o = -4 + l. Is o greater than -2/5?
True
Suppose -3*o = 3*z - 5*o + 37, z - 4*o = -19. Is -53/5 not equal to z?
True
Let n = -0.3 - -0.3. Let o = n - 0. Let z = 2 - o. Which is smaller: z or -1/3?
-1/3
Suppose -1348 = 3*t - 3664. Let s be t/(-10) + 2/2. Let x = 76 + s. Which is greater: x or 1?
1
Let m = 0.3 - 0.3. Which is smaller: 1/8 or m?
m
Let y be (12 + -13)/(2/14). Is -7 not equal to y?
False
Let b(f) = f**2 + f - 3. Let v(d) = -d + 2. Let n(p) = -4*p + 5. Let q(h) = -3*n(h) + 8*v(h). Let y be q(-1). Let k be b(y). Which is smaller: k or 2?
2
Let n be (2/(-6))/((-1)/9). Suppose 1 = -5*c + n*r - 7*r, 3*c = -3*r. Let d = c + 0. Which is bigger: -1/5 or d?
-1/5
Let l be (-1 - 9/(-12)) + (-110)/(-184). Which is bigger: l or 0?
l
Suppose 26 = 5*z - 2*y, -4*z = y - 18 - 8. Let w be (-4)/(-14) - z/(-28). Which is smaller: w or 2?
w
Let j be 17/5 - (3 + 1). Let w be 10/6 - 5/(-15). Let t = 1 - w. Is t bigger than j?
False
Let p = -27/5 + 169/35. Is -2 < p?
True
Suppose -2*q = -5*y + 10, -6*y + 2*y + 8 = 4*q. Let o be 0/(3/3 + q). Which is smaller: o or 2/7?
o
Let q = 0.07 + 0.03. Let z = 3 - 0. Which is greater: z or q?
z
Let y = -3/37 + 162/629. Which is smaller: 2/3 or y?
y
Let v = 3.76 - 4. Let j = -1.16 + v. Which is smaller: j or 1?
j
Suppose -12*u + 1 = -11*u. Let a = 461/44 + -43/4. Which is smaller: u or a?
a
Let q be (-6)/(-10) + 12/30. Let f be q/(2 - 15/8). Is f greater than 9?
False
Let h = 5 - 6. Let a = 43/5 - -266/15. Let y = a + -27. Which is bigger: h or y?
y
Let c = -6 - -7. Let i = c + -0.9. Is i bigger than 1?
False
Let a be (-2)/(-5) + (-2803118)/(-280). Let o = 10013 - a. Let l = -12/7 + o. Which is bigger: l or 1?
1
Suppose -i = -5*i + 8. Suppose l - 6 = -i. Suppose -l = 5*f - 3*f. Which is greater: -3 or f?
f
Let f = -11 - -18. Let v = 1 - f. Let z = 5.9 + v. Is 1 at most z?
False
Let k = 242/3 + -80. Which is smaller: k or 0?
0
Let h be 1*(0 - (2 - -10)). Let o = h + 79/6. Let q = 25/18 - o. Which is greater: -1 or q?
q
Suppose 3*c + 3*d + 15 = -2*c, 5*c = -4*d - 20. Is -1/7 at most as big as c?
True
Let o = -0.78 + -0.12. Let g = 0.6 + o. Let m = g + 0.4. Is m > -5?
True
Let u be (-3 + (-7)/(-2))*-2. Which is smaller: 3/10 or u?
u
Let f be 2/(68/(-3))*(-8)/(-24). Which is smaller: f or 1?
f
Suppose 0 = -b + 5*n - 10 - 3, 5*n = 5*b + 5. Suppose q = 4*q - 2*s, -4*q = 4*s. Suppose -o + 0*o + b = q. Which is smaller: 2/3 or o?
2/3
Let h be (-8)/12 - 177/(-9). Is h < 20?
True
Let c(p) = -p**3 + 5*p**2 - 5*p + 2. Let f be c(3). Which is smaller: f or 6?
f
Suppose 0 = 3*k - 2*k + 2. Let p be (3/(-6))/(k/108). Let i be (2/9)/((-18)/p). Which is greater: 1 or i?
1
Let c = -902 - -905.93. Let x = c - -0.07. Which is greater: x or -0.1?
x
Let d be 2 + -2 - (2 + -1). Let p be ((-2)/(-8))/(33/(-36)). Which is smaller: d or p?
d
Suppose -12*i + 5 = -13*i. Suppose -7*a - 16 = -3*a. Which is greater: i or a?
a
Suppose 18 = -p + 4*p. Let y be 0 - 7/((-63)/p). Which is bigger: y or -1/4?
y
Suppose 2 = 5*b - 23. Suppose 5*h = -5*y - 10, -h = 3*h - b*y + 8. Is h >= -2?
True
Let m = 12 + -38. Let g be (10/(-30))/(m/12). Is 1 < g?
False
Let g(x) = -6*x**3 - 2*x**2 + x + 1. Let y be g(-1). Suppose -3*r - 2*r - 70 = 0. Let t be y/14 + 4/r. Which is bigger: t or -0.3?
t
Let v(s) = s**2 - 13*s + 14. Let r be v(11). Let f be (-18)/r - (1 + 1). Which is bigger: -1 or f?
f
Let v = 128/9 + -1426/99. Let p be (3/(-6))/(4/8). Let d = -1 - p. Which is smaller: v or d?
v
Suppose 0 = -7*d - 41 - 8. Which is greater: d or -6?
-6
Suppose -5*d + 20 = -5*n, 7*d = 2*n + 3*d + 16. Suppose 0 = 5*j + 3 + 2. Let a = n - j. Which is smaller: a or -1/3?
-1/3
Let p = -8 + 5. Let v = 121 + -124. Is v != p?
False
Let w be (-2866)/(-2652) - (3 - 1). Let p = -33/34 - w. Is 0 <= p?
False
Let q be (-7)/(-84)*-2*(1 + 1). Suppose -3*m - 2*o - 3 = 0, -3*m + 2*m + 16 = -5*o. Are m and q non-equal?
True
Let b be (-15)/13 - 20/(-130). Let z = 3 - 3. Which is bigger: z or b?
z
Let l = -6 - -1. Let f = l - -8. Which is bigger: f or 1?
f
Let u = 23 + -11. Let r = -13.8 + u. Let d = r - -2. Which is smaller: 2 or d?
d
Let f = -103/95 + -6/19. Let v = -59/35 - f. Which is greater: -2/3 or v?
v
Let c be (-20)/3*(-27)/15. Is c <= 15?
True
Let u be (1 - -1)/(10/382). Let t = 77 - u. Is t >= 0?
True
Suppose u - 7*n + 3*n - 59 = 0, 4*u - 257 = -5*n. Let y = u + -312/5. Do y and 1 have the same value?
False
Let f be ((2 + 0)*-23)/(-3). Let n = 15 - f. Suppose -u = -5*u. Which is smaller: n or u?
n
Let p = 0 + -0.1. Let a = 18.5 - 25. Let z = a + 0.5. Which is bigger: z or p?
p
Suppose 18 - 10 = d. Which is bigger: d or 9?
9
Let b = 32 - 22. Let n be (0 + 3)*b/(-6). Is -6 > n?
False
Let n = -14.8 - -15. Which is greater: n or 3/7?
3/7
Let u = -1.925 + -0.075. Which is smaller: -5/2 or u?
-5/2
Suppose -3*n + 3 = -4*b + 2*b, 2*b + 5*n = 5. Suppose b = -4*f + 3*d - 6, -2*d + 0 + 4 = 5*f. Which is bigger: f or 2/7?
2/7
Let o = -14 + 21. Suppose 0 = -5*p - 4*v - 68, -p - 2*v - o = 3. Is p greater than -17?
True
Let m(f) be the second derivative of f**4/12 - 4*f**3/3 - 2*f. Suppose 2*w + 2*w = 32. Let b be m(w). Is -1/4 smaller than b?
True
Let h = 12 - 13. Let y(r) = -r**2 - 5*r + 8. Let b be y(-6). Let v be 0/(2 + b + h). Does v = 0.5?
False
Let g(t) = t**3 + 5*t**2 - 7*t - 6. Let a be g(-6). Do 3/5 and a have different values?
True
Let c(s) = 2*s**3 - 5*s**2 + 3*s - 5. Let u be c(4). Let y = -221/4 + u. Are y and -1 nonequal?
True
Let x = 13/3 + -8/3. Let c = -17 + 17. Which is greater: c or x?
x
Suppose 5*n - 2*d - 10 - 3 = 0, 3*n = -3*d + 12. Let t = -17 - -25. Suppose t = -0*s + 2*s. Which is bigger: s or n?
s
Let i = -15986/9 + 1770. Which is greater: i or -6?
-6
Suppose o = 6*o - 15. Suppose -o*a = -3 + 6. Is a at most 2/7?
True
Let l be 2 - (0 - 0)/1. Suppose l*d - 9 = -a, -2*d = 5*a + 3*d - 35. Suppose 0 = -s + a*t + 18, -s = -2*t + 1 - 10. Is 3 > s?
False
Let c(p) = p**3 + 2*p**2 - 3*p + 1. Let w be c(-3). Are w and 1 unequal?
False
Let h = -97 - -101. Do 13 and h have the same value?
False
Suppose 5*d = 10, -i = -2*d + d + 2. Which is smaller: -0.06 or i?
-0.06
Suppose -s - 11 = -5. Let a be -2*(-5)/((-15)/s). Suppose -5*h - 5*i + 5 = -0*i, -a*i - 12 = -4*h. Is h != 1/2?
True
Suppose -3*v + 7 = -2. Suppose -f - 2 = -2*y, -y + v*y - 2 = -3*f. Let b be (y/1)/((-6)/18). Which is greater: b or 0?
0
Let z = 97 - 69. Let r be (-8)/z - 3/14. Is -1 not equal to r?
True
Let s = -34 + 54. Let h be 0 - (-3 - 2) - 1. Suppose h*g + g = -s. Is g bigger than -1?
False
Let v = 11 - 14. Which is greater: -2/13 or v?
-2/13
Suppose -2 - 2 = -j. Let g = -1 + 5. Are j and g unequal?
False
Let r = 4 - 3. Let a be (120 + -2)*(-2)/7. Let s = 3526/105 + a. Which is bigger: s or r?
r
Let h be ((-4)/(-25))/(4/10). Let p(a) be the third derivative of a**5/60 + a**4/24 + 2*a**2. Let b be p(-1). Is b less than h?
True
Suppose -2*f + 6*u = 3*u - 4, 4*u - 4 = -2*f. Is f <= 14/15?
False
Let c be (-1)/5 - 33/(-195). Is -1 at most c?
True
Let b(h) = -h + 3. Let d be b(0). Suppose 0 = -g + 3, -l + 2*g - d = g. Is 0 bigger than l?
False
Let h(u) = -u**3 - 6*u**2 - 4*u + 5. Let q be h(-5). Let n = -643/21 + 91/3. Which is bigger: q or n?
q
Let w be ((-2)/(-4))/((-2)/8). Let h be (w/(-4)*-2)/1. Which is smaller: 0 or h?
h
Let s = -16 + 12. Is -0.5 greater than s?
True
Let b be 6/4*2/6. Let m = 0.2 - 0.1. Which is greater: m or b?
b
Suppose 5 = 4*c - 2*r + 3*r, 4*c = 5*r - 25. Suppose c = -2*g - 2*g - 16. Is g at least -4?
True
Let h = 944/777 - 8/111. Is h < 0?
False
Let a be 16/(-120)*5*(-3)/(-2). Is a != -7/8?
True
Let d be (-2)/(-4)*2*-2. Suppose 3*t + 2*v - 7 = 0, -14 = -3*t - 0*v + 5*v. Let m be t/(9/(-1))*3. Is m bigger than d?
True
Suppose 9*o - 11*o - 10 = 0. Is o bigger than -5?
False
Suppose 2*q + 42 = -2*j, j - 69 = 5*j -