t l = -44 - d. Is l at most as big as 1?
True
Let q be 10/(-8)*27/15. Is -2 > q?
True
Let n(f) = 2*f**2 + 1. Let c be n(1). Suppose -c*w = -7*w + 52. Is w > -1/3?
True
Let p = 0.9 + -1.9. Do p and -65 have different values?
True
Let s be (-1)/1*3/(-7). Suppose c + 3*c - 20 = 0. Let g(r) = r**2 - 7*r + 10. Let j be g(c). Are j and s nonequal?
True
Let p be 3 + 20/(-5) + -21. Is -22 <= p?
True
Let c = 42 + -42.1. Is c at least -8?
True
Suppose -3*v - 2*v - 3*p = 0, p + 2 = -v. Let c = 11 - 5. Suppose 0 = c*a - 37 + 7. Which is bigger: a or v?
a
Let n(b) = -b**3 + 5*b**2 + 8*b - 5. Suppose 5*p - 4*r - 22 = 0, 4*p - 4 = 2*p + 4*r. Let x be n(p). Let l = x - 7. Is 1/2 at most l?
False
Let a be ((-3)/6)/(2/(-8)). Let w be -6*1*(-4)/(-20). Let b = 27/10 + w. Is b less than a?
True
Let v = -1.005 + 0.005. Let w be 5/(-6) - 2/(-3). Which is bigger: v or w?
w
Let c = -90/241 + 14170/167013. Let q = 1/63 + c. Is 0 > q?
True
Let w(f) be the third derivative of -f**6/120 - f**5/15 + f**4/24 + 2*f**3/3 - f**2. Let z be w(-3). Are z and -8 unequal?
False
Let c = -0.052 + 0.162. Which is smaller: 3 or c?
c
Let t = -1 + -1. Let p be 1/(-14) - (-3)/(-6). Is p smaller than t?
False
Let j be -1*4/((-12)/15). Suppose 0 = 2*t + 1 - j. Let b(m) = -m**2 - 6*m + 2. Let f be b(-6). Is t smaller than f?
False
Let f be -12*((-21)/(-12) + -1). Does f = -8?
False
Let v(l) = -2*l + 15. Let r be v(5). Is r < 5?
False
Suppose -3*d - 3*q = -d - 1, 0 = 2*d + 5*q + 1. Suppose -2 = 2*k - d*a + 4, -2*a = -k - 7. Let n be 0 + (-4)/(-2) + -1. Is n less than or equal to k?
True
Let y = 294 + -12056/41. Which is greater: 0 or y?
0
Let l = -0.63 + 17.93. Let t = l + -18. Let y = t - -0.9. Which is greater: -1 or y?
y
Let h(b) = b + 6*b - 2*b + 4*b**2 - 3 - 5*b**2. Let v be h(5). Which is smaller: v or -1?
v
Suppose 0 = 4*b - b. Suppose -3*r - r = b. Suppose r*t + 2*t - 3*g + 2 = 0, -5*g - 55 = 5*t. Is t < -7?
False
Suppose 0*g + 24 = 2*g. Suppose 0*k + 36 = 3*k. Are g and k non-equal?
False
Let q = -30 - -24. Is q greater than 0?
False
Let q = -1 + 2. Let b = 1 - q. Let m(w) = -w**3 + 3*w**2 - w + 1. Let g be m(3). Which is greater: b or g?
b
Suppose 0*x - 765 = 5*x. Let f be 6/(-4) - x/126. Let a(y) = y - 6. Let w be a(5). Which is bigger: w or f?
f
Let x be -1*57 - (0/(-2) + -2). Is -55 at most as big as x?
True
Let v(c) = -3*c - 47. Let k be v(-22). Which is bigger: 18 or k?
k
Let o = -2 - -6. Let q be (-7)/(-63)*(o + -1). Which is greater: -0.2 or q?
q
Let s = 4 + -3.96. Let d = 0.14 - s. Is -1 > d?
False
Suppose 3*w + 121 = -0*s - 4*s, w - 3*s + 62 = 0. Do w and 1 have the same value?
False
Let t be -2 - (0 + 3)/(-1). Let j be t/(-2) + (-2)/(-4). Which is smaller: -3/5 or j?
-3/5
Let z be 1/19*-1*-2. Let c = z + 31/247. Are 1 and c equal?
False
Let w(c) = -c**2 - 11*c - 11. Let o be w(-10). Let g be (7/7)/(o/(-7)). Let j = 7 - g. Which is smaller: j or -2/3?
-2/3
Suppose -2*n + 7 = 3. Suppose 5*b = 5*y + 12 - 2, -5*b + 1 = -n*y. Do y and -3 have different values?
False
Let p(g) = g**2 - 12*g - 1. Let x be p(8). Let v be 2/(-9) - x/27. Let q(i) = i - 5. Let w be q(6). Is v greater than w?
False
Let z(o) = -o - 4. Let c be z(-7). Let m be (-15)/((-2 + c)*-1). Suppose m = q + 4*a, 4*q + 0*a + 3*a = 21. Are q and 3 non-equal?
False
Suppose -40 + 16 = r. Let b be r/(-8)*(-2)/(-6). Which is smaller: -4/7 or b?
-4/7
Suppose -2*m + 4 = 2. Let c be ((-4)/(-22))/(6/36). Is c at least m?
True
Let d = 279.98 + -284. Let i = d - -0.02. Which is smaller: 1 or i?
i
Let j be (-5)/5*(1 - 2). Let v be (0 + j)/(20/(-32)). Which is smaller: v or -1?
v
Let o(h) = h**3 - h + 3. Let w be o(0). Suppose 4*f = w*c - 24, -3*f - 25 = -c - 3*c. Is f < -5?
False
Let a = -8 - -8.13. Let o = -0.06 - a. Let b = o + -0.01. Which is greater: -2/9 or b?
b
Suppose -4*i + 3*i = 4*f, 0 = -f - i. Which is greater: f or -3/37?
f
Suppose 0 = 4*u - 3*a - 21, u + 3*u + a = 25. Are u and 9 equal?
False
Let z be (4/76*-4)/(-2). Which is smaller: z or 0?
0
Let o = -2.2 - -1.83. Let d = 17.93 + -18. Let q = o - d. Which is bigger: -0.2 or q?
-0.2
Let m be (12/5)/((-3)/10). Let n = -5 - m. Let i be (n/12)/(3/8). Is 2 greater than i?
True
Let z be 8/8*54/(-10). Let v = -86/15 - z. Let s = 0.6 + 1.4. Which is greater: s or v?
s
Let o be ((-2)/8)/(-1)*-1. Let y = 5/12 - o. Which is smaller: y or 0?
0
Let f(v) = v + 20. Let i be f(-14). Let l be ((-6)/7)/((-4)/28). Is i bigger than l?
False
Let z = -70972/7 - -10156. Let o = z - 1786/105. Let q be (-4)/18 + 22/18. Is q at least as big as o?
True
Let z be 17/(-60) + (-4)/(-16). Is 0 < z?
False
Let d = 1.45 - 0.45. Which is smaller: d or 7?
d
Suppose 4*n + 2*r = -n - 5, -n + r = -6. Let f = n + 1. Let q be ((-3)/(-24))/(f/(-4)). Do q and -2 have the same value?
False
Let d = 2.9 + -3. Let o = 1.3 - 1. Let c = o + 0. Is d at least as big as c?
False
Let i = 2 - 54. Let t = 570/11 + i. Let c = -3 - -2. Is c > t?
False
Let z be (-6)/(-18) + (-82)/(-6). Is 14 at least z?
True
Suppose 3*q + 60 = -12. Let f = q + 25. Let o = 0.04 - -0.26. Which is smaller: o or f?
o
Let d = 0 + 2. Let b be (-2)/(-4)*(d - 4). Is -2 less than or equal to b?
True
Let m = 147/2 + -72. Let u(g) = g**3 - 3*g**2 + 1. Let i be u(3). Which is bigger: i or m?
m
Let k be 2 - ((-3)/3 - -1). Suppose -5*d = -5*w + 30, -d - 5 - 6 = -k*w. Suppose 3*n = -5*t - 0*t - 16, -t + 2*n + 2 = 0. Which is bigger: d or t?
d
Let o = -9.96 - 0.04. Let m = o + 3. Is m at most -1?
True
Let q = -35 + 24. Let n = -11.03 - q. Is 2/7 > n?
True
Let o = -46 + 44. Which is bigger: -6 or o?
o
Let x = -3 - -6. Let k(n) = -5*n - 5. Let y(j) = -4*j - 5. Let u(b) = 5*k(b) - 6*y(b). Let i be u(3). Are i and x equal?
False
Let b = 344 + -1393/4. Is -5 greater than or equal to b?
False
Suppose 3*m = -3 - 0. Is -2/7 not equal to m?
True
Let s be 4/(-14) + (-96)/56. Let j be -3*(2 + -3 - s). Which is smaller: -4 or j?
-4
Let o = 76 + -64. Is o > 1?
True
Let y(s) = 2*s + 5. Let b be y(-6). Let r = 72 + -79. Is b less than or equal to r?
True
Let r = 11 - 23. Let f = -17 - r. Which is smaller: f or 1?
f
Suppose 0 = 28*z - 27*z + 1. Let p = -6 + 10. Let b = p - 5. Is z at most b?
True
Let f = -11 - -11. Which is bigger: -1/3 or f?
f
Let j = -11 - -13. Let v be j*3*5/(-3). Is -10 less than v?
False
Let r = -0.9 + -18.1. Let t = -19.08 - r. Which is greater: 2 or t?
2
Let n = 2 + -12. Let d be (-5)/n*(-1 - -5). Suppose -d*k - 2 = -4*k. Are 0 and k non-equal?
True
Let w = -125/661 - -394973/15864. Let f = -171/8 + w. Which is smaller: 2 or f?
2
Let b = -0.1 - -0.3. Let v = 56 + -54. Which is smaller: b or v?
b
Let x be 6/(-7)*(-7)/5. Which is bigger: x or 0?
x
Let p be (2 - 3/1)/(-1). Suppose 3*c + p = -2*g + 5, -3*c + 10 = -4*g. Is g not equal to -1/9?
True
Let d = 0.3 - 0.28. Let a = -2.02 - -2.2. Let c = a + d. Do c and 0.2 have different values?
False
Let m = 114 - 1484/13. Let c = 0.1 - 0.3. Are c and m nonequal?
True
Let s = 311927333853 + -6669006399054607/21380. Let b = -3/5345 - s. Let d = b - 60. Are -1 and d equal?
False
Let j be (-119 + (-35)/7)*(0 - -1). Which is bigger: -125 or j?
j
Let c be (-212)/1440 + 4/18. Is -1 < c?
True
Let b = -6 + 20. Let c be b/168*(-4)/6. Which is smaller: c or 0?
c
Let w = -5265 + 31477/6. Let f = w + 64/3. Which is smaller: 3 or f?
f
Let u = 19 + -21. Let p(g) = g - 16. Let j be p(7). Let m be 1 + (j/1 - u). Which is greater: m or -7?
m
Let t = -106 + 103. Let o = -0.1 - -0.2. Which is greater: o or t?
o
Let j = 0.3 - 0.2. Let p = j + -1.1. Let w = -2 - -6. Is w greater than p?
True
Let i = -4083/154 - -53/2. Is 0 bigger than i?
True
Suppose 4*o = -o - 10. Let d be (o - -1)*-2 - 0. Is d greater than 4?
False
Let i = -2 - -1.5. Let h = i + 0.3. Let j = -0.2 - h. Which is smaller: j or 3?
j
Suppose 2*r - 12 = -5*k, 3*r + 4*k = 7 + 4. Let s = 20.02 + -20. Which is bigger: r or s?
r
Suppose -2*j + 2*v = -4*j - 22, -2 = -3*j + 4*v. Let l be (-4)/(-6)*j/(-4). Is l bigger than -2?
True
Suppose 3*i = 2*y + 77, y + 16 + 0 = -3*i. Let l = -216/7 - y. Let f = 7 - 6. Do f and l have the same value?
False
Let w = -0.07 + 0.08. Let i = w - 2.01. Which is smaller: -3 or i?
-3
Let j be (-19965)/(-76) + (-33)/44. Let a = j + -262. Which is greater: a or 1?
1
Let s = 0.958 - -0.042. Which is greater: s or -4.2?
s
Let b(i) = i**3 