n = 0.14 + m. Let q = -3.3 - -3. Is n <= q?
False
Let c = 5/13 - 61/91. Which is smaller: 0 or c?
c
Let p(d) = -d**3 - d + 1. Let t be p(1). Let y = -592/5 + 118. Which is smaller: y or t?
t
Let m(i) = -i**3 + 4*i**2 + 9*i - 22. Let k be m(5). Suppose 0 = -4*c + 2*n + 24, 0 = 2*c + 2*n + 2*n + 8. Let j be 12/(-8)*c/6. Is k at most as big as j?
True
Let j be 1/5 - 131/5. Is j < -26?
False
Suppose -3 = -3*a + f, 0 = 7*f - 2*f - 15. Let r be a*6/4 + 2. Suppose -4*y = 8, 1 = r*i - y - 2*y. Is i greater than -1?
False
Suppose 0*i - 77 = -7*i. Is 15 greater than i?
True
Let w(h) = -h + 9. Let y be w(5). Suppose -y*t = -19 - 13. Let q be t/(-12)*(-1)/(-2). Is q greater than or equal to -1/4?
False
Let g(d) = 2*d**2 + 2*d + 1. Let v be g(0). Are v and -2/37 non-equal?
True
Suppose -m = 11 - 12. Do m and 2/17 have the same value?
False
Let f = 68 + -69.52. Let k = 0.12 + f. Let h = k - -0.4. Which is greater: h or 0?
0
Let i be (3/(-1))/(45/(-15)). Is 0 smaller than i?
True
Let m(o) = -2*o**3 + 7*o**2 + 4*o + 1. Let w(u) = u**3 - u**2 - u. Let j(f) = -m(f) - 3*w(f). Let x be j(-4). Suppose x*r = r + 6. Which is smaller: 1 or r?
1
Let f = -32 - -32.8. Which is greater: f or -2?
f
Let y be (16/(-10))/((-6)/(-45)). Is 0.1 less than y?
False
Suppose -c - 2 = 4*c + t, 0 = -3*c - 2*t - 4. Is c bigger than -6?
True
Let p be (-9)/(-84)*48/(-6). Suppose -30 = 5*s - 5*b, -3*b + 7 = -2*s - 2*b. Are s and p non-equal?
True
Let j = -19 - -13. Let p = j + 3. Let k = -19.1 + 19. Which is greater: p or k?
k
Let o(y) = y**3 - 2*y**2 - 8. Let q be o(0). Let c(d) = -d - 16. Let r be c(q). Are 0 and r non-equal?
True
Suppose 9*w - 5*w + 60 = 0. Which is bigger: -17 or w?
w
Let a = -3 - -6. Suppose -2*z + 10 = -2*r, -2*z = -0*r - 4*r - 16. Let q = r + a. Is 1/5 greater than q?
True
Let n = 25 + -20. Are n and 7 equal?
False
Let i be ((-4)/(-3))/(2/(-6)). Let l be 1/i - (-45)/84. Suppose 5*z - 2 = -7. Which is greater: z or l?
l
Let v = 6.6 + -6. Let p = v + -0.7. Which is bigger: p or 1/4?
1/4
Let b(y) = 8*y**3 + 2*y**2 + 2*y + 1. Let h be b(-1). Is h at most as big as -9?
False
Suppose i + 8 = -i. Let n = i + 3. Is 1/16 smaller than n?
False
Let o = -1 + 6. Let n = 4.3 - o. Is n > 1?
False
Let k(u) = -u**3 - u**2 + 3*u. Let h be k(-3). Is 23/3 < h?
True
Let p = 4.72 + -1.32. Which is smaller: p or -0.2?
-0.2
Let l be (4/(-26) - 40/416)*-58. Is 16 not equal to l?
True
Let v = 5 - 9. Let o be (-2)/v + 5/(-10). Let b = -12/11 - -38/55. Is o at most b?
False
Suppose 4*l + 11 = 3. Which is smaller: l or -7?
-7
Suppose 3*x - 69 = -9. Let v be (8/10)/((-4)/x). Are -5 and v non-equal?
True
Let s = 28 + -28.02. Is s greater than or equal to -0.2?
True
Let g(b) = -b**2 - b + 1. Let r(t) = t**2 - 7*t + 9. Let s be r(7). Suppose -4*d + s*d = -25, -c = d + 5. Let o be g(c). Is 0 >= o?
False
Suppose 3*j - 4*u = 32, 6*u = -5*j + 2*u. Let n be j/7*(-49)/(-14). Suppose 3*m - 2 = n*m. Is m at most as big as 1?
False
Let f = 441 - 2218/5. Is -4 at most as big as f?
True
Suppose -3*a + 0*a = -51. Suppose -l + 2*q + 6 = 0, -4*l + 0*q = -q - a. Suppose 1 + l = 5*t. Is 1/4 < t?
True
Let i(n) = -n**2 - 12*n + 17. Let a be i(-13). Do 3 and a have different values?
True
Let o = -21 + 27. Which is smaller: 7 or o?
o
Let n(q) = q + 11. Let x(y) be the third derivative of -5*y**4/12 + y**3/6 - y**2. Let f be x(1). Let v be n(f). Is 0 at least v?
False
Suppose -3*y + 3*z + 5 + 1 = 0, 5*y - 3*z = 8. Is 2/111 bigger than y?
False
Let t = 7 + -7. Suppose -2*o + t*o = -12. Let l = o - 6. Which is greater: -2/3 or l?
l
Suppose 4 = 10*j + 4. Is j not equal to -18?
True
Let o be 12/7 + (-6)/(-21). Suppose -2*w - 1 = 3*k, -4*k + 1 = -3*w - 9. Which is bigger: k or o?
o
Suppose 3*s + 5 = -4*h, -4*h - 11 = -9*h + 2*s. Which is bigger: h or 4?
4
Let h = 11 - 10.6. Let w = -4.6 - -3.6. Which is smaller: w or h?
w
Suppose -2*o + o = -4*v - 4, 0 = -o - 4*v + 36. Suppose 4*y - o = 2*p, -p + 4*y - 19 = -y. Which is smaller: p or -3?
p
Let w = 0.03 - 3.03. Let k = 8 - 3. Let u = k - 5.1. Does w = u?
False
Let k = 48 + -58. Which is bigger: k or -7?
-7
Let o = 8 - 19. Let v(s) = s + 11. Let b be v(o). Which is smaller: b or 2/3?
b
Suppose -5*p - 4*y + y + 94 = 0, 0 = 3*p - y - 48. Suppose -4*s - 10 = -5*f, 0*f + f + p = -3*s. Let k be 9/6*2/s. Which is bigger: -1 or k?
k
Let r = 529/110 - 54/11. Let z = r - 3/20. Is z equal to 1?
False
Let f(h) = h**3 + 10*h**2 + 9*h + 4. Let i be f(-9). Suppose i*p + 15 = -p. Which is greater: p or 0.2?
0.2
Suppose -4*y = -2 + 18. Which is smaller: y or -0.5?
y
Let i be (-4)/6*(-42)/4. Let u be (-8)/(-22) + (i - 7). Let b = 23/33 - u. Are -3 and b non-equal?
True
Let g(u) = -2*u + 3. Let x be g(2). Which is greater: 2/13 or x?
2/13
Suppose -16*t + 15*t - 1 = 0. Let z = 3/29 - -81/58. Let p = z + t. Is -3 greater than p?
False
Suppose -3*y = -5*y. Let r be -2*1 - (-7 + -1). Let g be -2 - (y - 16/r). Is g at most as big as 2/5?
False
Let h(k) = k**2 - 4*k - 5. Let j(z) = -z**3 - 6*z**2 - 2*z - 7. Let x be j(-6). Let a be h(x). Is a <= 0?
True
Let m = -23 - -11. Which is bigger: -13 or m?
m
Let n(o) be the third derivative of -o**6/60 + o**5/30 - o**4/12 - o**3/6 - 8*o**2. Let d be n(2). Is -14 at least d?
False
Suppose -18 = 2*d + r, -23 = 3*d - 5*r + 17. Is d equal to -10?
True
Let j be (-4 + 4)*(-2)/(-4). Let x(k) = -2*k + j + 4 + k. Let q be x(5). Is 0 at least as big as q?
True
Let j = 89/238 - 3/34. Let a = 1.08 - 0.08. Let i = 1.3 - a. Which is greater: j or i?
i
Let p = 3374 - 13947/4. Let b = 112 + p. Let d(o) = -o**3 + o**2 + o. Let y be d(2). Which is smaller: b or y?
y
Let o = -2 - -9. Suppose 3*a - o*a - 4*q + 8 = 0, -3*q + 13 = -4*a. Is 1/4 less than or equal to a?
False
Let y(r) = r + 5. Let m be y(-4). Let u = 6263/11 - 568. Let c = 337/231 - u. Are c and m unequal?
True
Let j(t) = 4*t - 7. Let m be j(6). Let r = -11 - -16. Suppose i + 13 = -5*l, -5*i + 4*l + r = -m. Which is smaller: 3 or i?
i
Let c be (10437/162)/(-2 + 3). Let q = c + -129/2. Let a = -7/27 + q. Which is smaller: -1 or a?
-1
Let j be (5/(-2))/((-13)/26). Which is greater: 2 or j?
j
Let x = -17 + 21. Suppose 7*j - x*j + 6 = 0. Is -3/8 smaller than j?
False
Let r be ((-4)/2)/(6/3). Which is greater: -3/13 or r?
-3/13
Let d(p) be the first derivative of 0*p + 0*p**2 + 0*p**3 - 3 - 3/4*p**4. Let i be d(-1). Which is smaller: i or 7/4?
7/4
Let y(s) = s**2 - 8*s + 2. Let g be y(7). Let c be (g/2)/((-20)/16). Let v = -85/3 - -29. Which is smaller: c or v?
v
Let a be (-27)/12*(-4)/36. Is a at most as big as -6?
False
Let p = 210/17 + -208/17. Let q = 35/153 - p. Let z(b) = -b - 2. Let d be z(-3). Which is bigger: q or d?
d
Suppose 24*s - 125 = 29*s. Are s and -26 nonequal?
True
Let k(z) = -z + 6. Let j be k(16). Which is smaller: j or -7?
j
Let n be 5/(20/(-32)) + 2. Suppose -12 = -4*x - 5*p - 3, 4*x + 3*p = -1. Let k = x - n. Is -2/7 bigger than k?
False
Let q = 0.6 - 6.6. Let d = -5.8 - q. Which is greater: d or -4?
d
Let i = -841/1148 - -3/164. Which is smaller: i or 0?
i
Let d be ((-3)/(-9))/((-3)/18). Which is bigger: 7 or d?
7
Let r be -3 - ((-25)/10)/(-5)*-8. Are r and -4 unequal?
True
Let w(f) = -f**3 - 8*f**2 - 5*f + 6. Let m be w(-7). Let y be m/42 - 6/(-18). Is 1 <= y?
False
Let m(h) = -6*h. Let t be m(-1). Let o be (2 - -2)*t/2. Which is bigger: 11 or o?
o
Suppose 0 = 2*m - m - 52. Let u be ((-13)/m)/(1/(-4)). Which is bigger: 2/9 or u?
u
Let r = -913/155 - -9/31. Which is greater: r or -6?
r
Let h = -592 - -1568. Suppose h = -i + 5*i. Let l = -3174/13 + i. Do 1 and l have different values?
True
Let j = 12.21 - 0.21. Let f = -9 + j. Which is smaller: f or 0.3?
0.3
Let z = 94 + -110. Which is bigger: -2 or z?
-2
Let o = -0.22 - -0.22. Which is greater: o or 4?
4
Suppose -52 = -3*a - v + 127, -3*a - 3*v + 189 = 0. Is 58 less than or equal to a?
True
Let i be (-1)/(-5) + 414/30. Let u be 158/112 - 4/i. Which is smaller: 0 or u?
0
Let s(j) = j**3 + 7*j**2 - 4*j + 11. Let r be s(-8). Let x = r - -24. Is x != 1?
True
Let g(b) = b**3 - 7*b**2 + 7*b - 6. Let n = 6 + 0. Let t be g(n). Suppose -3*i = -12, -3*k + 5*i - 11 - 6 = t. Is k at least -1/4?
True
Let d be 4/(-4) - 3/(-4). Let h = 0 + 3. Which is smaller: h or d?
d
Let q = 266 - 12504/47. Is q at least 0?
False
Suppose -3*x - 2*c = -219, -5*x + 187