. Let f be k(3). Let a(q) = -q**2 + 6*q + 6. Let v be a(f). Are 3 and v non-equal?
True
Let k = -729/35 + 104/5. Which is smaller: k or -1/5?
-1/5
Let d = 0.04 - 0.14. Are d and 2/9 non-equal?
True
Let p = -10 - -6. Let s be (-12)/21 + p/(-14). Let f = -0.33 - -0.13. Which is smaller: s or f?
s
Suppose 0 = -2*b + 2, 38 = 2*w + 2*w + 2*b. Is 2/7 greater than or equal to w?
False
Let h = -19.5 + 20. Let w = h - 0.5. Which is smaller: w or -5?
-5
Let b be 36/(-690)*(-20)/(-6). Which is greater: -1 or b?
b
Let c be (5/10)/(3 + 1). Which is greater: c or -1?
c
Suppose -4*h - 28 = -5*z - 80, -4*z = -2*h + 38. Let s = 91 + -99. Is s less than z?
False
Let j(m) = -m - 13. Let x be j(-5). Which is greater: x or 0.2?
0.2
Let w = 8 - 16. Let z = 7.9 + w. Which is greater: z or -15?
z
Let i(l) = -l**3 - 9*l**2 + 12*l + 10. Let r be i(-10). Let k be ((-12)/(-45))/((-4)/r). Which is smaller: k or 1/2?
1/2
Let j = -18394/5 + 3720. Let k = 42 - j. Which is greater: 1 or k?
1
Let i = 2.3 - 0.3. Let d = -28 + 28. Is i > d?
True
Let w = 11 + -12. Let j be (1/7)/(12/14). Is w < j?
True
Let y = 115 - 115.2. Suppose 3*i = 2*r - 8, 1 + 7 = 2*r - 2*i. Which is smaller: r or y?
y
Let w = -3084/13 + 237. Which is bigger: w or -1?
w
Let r = 8 - 6. Suppose -3*w - 13 + 1 = -3*i, -r*i = -5*w - 11. Let f = -4 - -2. Is w greater than f?
True
Let p = 1208728 + -221197904/183. Let t = -3/61 - p. Is t > 4?
False
Suppose 358*g - 360*g - 218 = 0. Is -109 <= g?
True
Let c = -2 - 6. Let d = -14 - c. Is d smaller than -7?
False
Let f be (0 + (-76)/(-10))/((-8)/(-40)). Is 37 smaller than f?
True
Let m be 134/(-28) - 93/62. Which is bigger: -7 or m?
m
Let v(a) = a**2 + 4*a + 3. Let o be v(-2). Let m = o + 0. Let t be (10/50)/(16/(-10)). Is m less than t?
True
Let r be ((-6)/10)/3 - 1539/(-45). Is 32 smaller than r?
True
Suppose -n - 5*n = -3*n. Is n bigger than -2/557?
True
Let j(p) = -p**3 + 4*p**2 + 8*p - 4. Let l be j(7). Let a = -63 - l. Let q = -94/3 + a. Is 1 greater than or equal to q?
True
Let x = 245872/251 + -2398926561/2449258. Let v = x - 1/574. Are -1 and v equal?
False
Suppose -3*w = 3*y, 3 + 4 = -2*w + 5*y. Which is smaller: 1/14 or w?
w
Let g = 473/1917 - 7/71. Which is greater: -1 or g?
g
Let s = -4 - -9. Let x = -5 + 7. Suppose -3*n + 2*h = 14, -s*n = -h + x*h + 32. Is -6 at most as big as n?
True
Let m = -23 - -15. Let a = -7.7 - m. Which is smaller: a or 2/5?
a
Let k(w) = 2*w + 2. Let j be k(2). Let i = j - 4. Let g = 2 - i. Is g < -2/9?
False
Let g = -135 - -194. Suppose -4*b = -g - 1. Let h be 4*(b/12)/5. Is h bigger than 2/9?
True
Let h = 23 - 19. Is -1 not equal to h?
True
Let i = 38 - 37.8. Let t = -15 + 22. Is i > t?
False
Let p = 0.4 - 0.384. Which is bigger: -1 or p?
p
Let c(l) = l**3 + 6*l**2 - l - 6. Let n(i) = -5*i**3 - 23*i**2 + 3*i + 25. Let r(v) = 9*c(v) + 2*n(v). Let a be r(7). Let t be a/15 - 2/1. Is t greater than 0?
False
Let v be (-4)/16*2*-2. Which is smaller: -1 or v?
-1
Let g = 2916/13 + -224. Do g and 0 have the same value?
False
Let m = 4/21 + 55/42. Which is greater: 3 or m?
3
Let w = 11 + -7.6. Let a = -3 + w. Let r = -3.7 - -3.8. Which is greater: r or a?
a
Suppose 0 = 6*y + y - 28. Let g be (2/4)/((-1)/10). Let t(a) = a**3 + 5*a**2 + 4. Let q be t(g). Is y bigger than q?
False
Suppose 2*y = -5*u, 4*y + 4*u = y + 7. Let d(i) = 5*i**3 - i**2 - i + 1. Suppose 5*p = 4*c - 15, 6 = -4*p + 3*c - 5. Let t be d(p). Is t < y?
True
Let b(s) = s**2 + 18*s + 18. Let c be b(-17). Are 1 and c nonequal?
False
Let m = -5 + 7. Let a be ((-8)/(-12))/m + 0. Which is bigger: a or -1?
a
Let z = 98 + -399/4. Which is smaller: z or -1?
z
Let f(d) = d**2 + 2*d - 3. Let p be f(-3). Suppose -5*r + r + 4 = p. Let m = 53 - 317/6. Which is greater: m or r?
r
Let y = -86 + 69. Is y > -17?
False
Let i be -3*(33/(-9) - -2). Let d = 7 - i. Let k be ((-12)/15)/(4/(-10)). Are k and d equal?
True
Let z(v) = -v**3 - v**2 - v. Let m be (2 - 3) + 0/3. Let r be (-12)/9 + m/(-3). Let h be z(r). Is h >= 0?
True
Let r = -1.6 - -3. Let h = r - 10.4. Which is smaller: h or 0.1?
h
Suppose -33 + 8 = -5*n. Let c(a) = 4*a + 1. Let s be c(1). Let i = s - n. Is 1/6 not equal to i?
True
Suppose r + 5*q + 10 = -4*r, r + 4*q = -8. Let z be 3 - ((-14)/(-4) - r). Is 3 < z?
False
Suppose -3*r - 1 = -4*r. Let a = 105 + -1885/18. Let q = 2/9 + a. Which is greater: q or r?
r
Let g = -2 + 3. Let q = 7/36 - 163/468. Which is smaller: q or g?
q
Let n = 94 - 83. Which is bigger: 9 or n?
n
Let p(l) = l**2 - 2*l - 16. Let q be p(0). Let x = -21 - q. Is x less than or equal to -1?
True
Let v(h) = -h**3 + 4*h**2 + 20*h + 6. Let i be v(7). Which is greater: i or -1/74?
-1/74
Let g = 0.5 + 1.5. Let a = g + -1. Let y = -0.228 + 0.028. Which is smaller: a or y?
y
Let y = 44 - 44. Let r = -4 + 4. Let o be r - ((-6)/(-15))/(-2). Is o <= y?
False
Let d(l) = -l**3 - 8*l**2 + 2*l + 10. Let k be d(-8). Let f be (0 - (-1)/1)*6. Let c be (-23)/6 - 4/f. Is k bigger than c?
False
Let c(w) = -4*w + 5. Let d be c(2). Does 4 = d?
False
Let v be 4/(-5)*35/2086. Which is bigger: v or 1?
1
Let h be 16/(-4)*6/(-8). Let a be h/9 - (-16)/(-21). Is a at most as big as -1?
False
Let h be 1 + (-6)/18 - 88/6. Which is greater: -44/3 or h?
h
Let i be (-2)/3 - (-426)/333. Let c = -2/37 - i. Is c less than 0?
True
Let v = 4 + -4. Let g be v + 3 - 18/5. Is g at most -2?
False
Let x(w) be the second derivative of -2*w**3/3 - w**2/2 - 2*w. Let v = -28 + 29. Let d be x(v). Are d and -5 nonequal?
False
Let n be 5/3*2 + -4. Suppose -6 = b - 4*q + 10, b + 20 = 5*q. Is b equal to n?
False
Let w(x) = x + 2. Let s be w(2). Let m be (s/20)/((-4)/5). Which is bigger: m or 0?
0
Let w be 3141/(-27) - ((-1)/3)/1. Is -115 at least w?
True
Suppose -5*f + 11 = c - 4*c, 5*f = -3*c + 29. Suppose 0*w + 3*w + 12 = -d, 0 = -4*d + f*w + 32. Let z = d + -7. Which is smaller: -3 or z?
z
Let y = -5 - -5. Let d = 1 + y. Which is smaller: 1/3 or d?
1/3
Suppose 49 = -5*g - j, -g - 3*g = 2*j + 38. Let a = -16 - g. Let u be (-8)/66*a/4. Is 1 greater than or equal to u?
True
Let r = -47 - -44.6. Which is smaller: r or 0?
r
Suppose -c + 4 = -3*c. Let m be 2/3 - c/6. Let f be ((-2)/2)/m*-7. Is f at most 7?
True
Let c = 0.19 - 1.19. Let h be 1 + 2 - (-15)/(-4). Which is smaller: h or c?
c
Suppose -2*h = -5*n - 0 + 7, -3*h - 4*n - 22 = 0. Which is smaller: -2 or h?
h
Let r(m) = -9*m - 3. Let b be r(2). Which is smaller: b or -2/7?
b
Suppose 5*h = p + 16, 0 = 4*h + 5*p - 5 - 2. Suppose -4*s = 4*m + 6 - 34, -2*m + h*s = -14. Which is bigger: -2/3 or m?
m
Suppose -3*i + 4*v + 4 = 0, 4*i - 3*v - 3 = 5*i. Let c(f) = -f**3 + 3*f + 2. Let a be c(2). Is i < a?
False
Suppose -2*h - 8 = 2*s + s, -8 = 2*h - 4*s. Which is bigger: -2 or h?
-2
Let p = 18 - 18.07. Let u be (-4)/10 - (-4)/10. Which is smaller: p or u?
p
Let c(t) be the second derivative of -t**5/20 - 7*t**4/12 + 4*t**3/3 - 3*t**2/2 - t. Let d be c(-8). Let o be 2/(-1 - 0) - d. Are 0 and o equal?
False
Let y = -2 + 0. Which is smaller: 0 or y?
y
Suppose -3*h + 2*h = -4. Let r be (-75)/40*h/(-10). Is 2 greater than r?
True
Let v = -1.7 - -2. Let f = -1 + 25. Let z = f + -25. Is z >= v?
False
Let x = -10 + 4. Let m be -1 - -1 - x/21. Is m <= -3?
False
Suppose 0*o = -2*o + 6. Suppose b + 2 - o = 0. Let j be (2 - 26/10) + b. Is j < -0.5?
False
Suppose 2 = 3*p - 2*k, -p + 2 = 3*k - 6. Suppose 3 = z + 3*x, -p*z + 3*x = -4*z + 3. Is z smaller than -1/4?
False
Suppose -19*u + 4 = -21*u. Do -28 and u have different values?
True
Let b = -1.69 + -1.31. Which is smaller: 0.8 or b?
b
Suppose 2*s + 3*p = -12, -2*p + 0 = -2*s - 32. Let j = 1 + 3. Let a be (j/s)/(3/(-36)). Which is smaller: a or 3?
3
Let u be (-41740)/308 + 6/14. Let k = u + 135. Which is smaller: 0 or k?
k
Let n = -1.46 - -1.56. Is n equal to -71?
False
Let b be (-1 - -5)/(12/(-18)*3). Let w be 2*(-1)/2*1. Is w <= b?
False
Let v = -27 - -18. Let c(p) = 10. Let z(h) = h - 9. Let s(x) = -2*c(x) - 3*z(x). Let y be s(5). Is v >= y?
False
Suppose -21*t + 26*t = -425. Which is smaller: 0.1 or t?
t
Suppose 0 = 4*m - 5*m - 2. Let h be (6 - -1) + -2 + m. Let i = 4 - h. Which is smaller: 1/3 or i?
1/3
Let k = -0.68 + 0.08. Let p = 0.4 + k. Does p = 0.1?
False
Let i be 0 + 3 + -15 + 12. Suppose h = 3*x - 14, 2*x - 6 = -i*h - h. Which is smaller: -3/5 or h?
h
Let i be 0 - -5 