Is -3/5 > t?
True
Let r = 0.08 - 1.08. Is r less than -4?
False
Let w be (1/(-5))/((-5)/45). Are w and 3 nonequal?
True
Let t(o) = -3*o - 18. Let v be t(-7). Let x = 5 + 0. Suppose 3*n - x = 2*n. Which is bigger: v or n?
n
Suppose -2*r = 4*i - r - 7, -r - 5 = 0. Let x be 0/((-2 + i)*-1). Is 1/19 < x?
False
Let k(q) = 2*q**2 + 9*q - 5. Let w be k(6). Let u = w - 850/7. Let x(i) = i**3 + 7*i**2 + 7*i + 5. Let h be x(-6). Is u > h?
True
Let x = 52/21 - 22/7. Which is smaller: x or -19?
-19
Let a(y) = -y**3 + 6*y**2 + 2. Let g be a(6). Suppose s + 4*s + 17 = -g*d, -5 = -4*d + 3*s. Let w be d/3 - 57/(-117). Is w bigger than 0.1?
True
Let i = 2 + -1.5. Let y = -0.1 + i. Which is smaller: 3 or y?
y
Let k = -128 - -209. Let o = -565/7 + k. Which is greater: 1 or o?
1
Let o(q) = -3*q + 12. Let w be o(5). Which is smaller: -2 or w?
w
Let f = 23 - 26. Does 6 = f?
False
Suppose -r - 3*y = 1, r + 0 + 1 = y. Let d = 54 + -50. Which is bigger: r or d?
d
Let h be (11/33)/((-2)/(-16)). Is h at least as big as 4?
False
Let w = -3 + 5. Let t be (w + 1)*2/(-6). Let r(y) = y**3 - 3*y**2 - 11*y + 2. Let l be r(5). Which is smaller: t or l?
l
Let z = 4 + -4.2. Let t = 0 + z. Let o be (-4)/(-10) - 78/(-30). Is o greater than t?
True
Let k(z) = -z**3 - z**2 + 4*z - 5. Let g be k(-4). Is g != 26?
True
Let t(m) = -m**3 + 2*m**2 - 2*m - 1. Let c be t(2). Let v be c/15 + 10/12. Is v != 2?
True
Let j be 3/((-42)/1396) + 0. Let p = -100 - j. Is 2/13 at most p?
False
Let f be 12/(-6)*(-6)/4. Suppose 4*m + f*t - 2*t - 8 = 0, 0 = 5*m + 4*t + 1. Let x be 21/18*m - 1. Are 4 and x nonequal?
True
Let v = -6 - -5.96. Is 3 bigger than v?
True
Let b(m) = m**3 + 4*m**2 - m - 5. Let q be b(-4). Which is bigger: 0 or q?
0
Let g be (4/68*-4)/((-4)/2). Are -1 and g non-equal?
True
Let l be (-5 - -4)/((-1)/5). Suppose -4*f - l*z = -5*f + 4, 0 = 5*f + 2*z + 7. Let q = 2/285 + 544/3705. Which is bigger: f or q?
q
Let a be 28/(-20) + 0 + 2/5. Which is smaller: -1/11 or a?
a
Let j(s) = -13*s - 3. Let v be j(-4). Is 48 > v?
False
Let j be (-3 + 1)*(-3 + 2). Let m = j + -1. Do m and 2 have different values?
True
Suppose -4*i = 3*l - 2, 3*l - 5 = 4*i + 5. Let s be -2 + (-57)/(-21) + i. Which is smaller: s or -0.04?
s
Let m(b) = -b**3 - 7*b**2 - 7*b - 5. Let o be m(-6). Let p be -2 - (o + -1 - 3). Is 0 at most as big as p?
True
Let z(m) = -m**3 + 12*m**2 - 10*m - 16. Let p be z(11). Which is smaller: p or 0?
p
Let g = 1 + -1. Suppose 1 - 13 = -3*o. Suppose -2*p + o = 2*p. Is g bigger than p?
False
Let c(g) = g**3 - 11*g**2 - g + 11. Suppose 3*a - 5*a + 22 = 0. Let h be c(a). Is h less than -5/4?
False
Suppose 56 = 5*y - 54. Suppose y = 2*r - 24. Suppose 2*m + 5*d = -r, -4*m + 3*m - 13 = 3*d. Is m at most -5?
False
Let l(u) be the third derivative of -u**4/24 - 2*u**3/3 - 2*u**2. Let h be l(-4). Let t = -2 - -3. Which is smaller: h or t?
h
Let n = -297 - -2074/7. Which is greater: n or 0?
0
Let z = -9 - -13. Let o be 14/4 - 6/z. Which is bigger: 1/4 or o?
o
Let v(b) = -3*b**2 + 13*b + 9. Let t(a) = -2*a**2 + 6*a + 4. Let p(j) = 5*t(j) - 3*v(j). Let i be p(-7). Is i >= 5?
True
Let r be -1 - -2 - (-44)/(-4). Let q = 8 + r. Which is greater: q or -3/4?
-3/4
Let z(k) = k + 5. Let a be z(4). Let h be (a/(-6))/((-1)/2). Suppose -3*d + d = 4*n - 10, -3*n = -d. Are d and h equal?
True
Let n(t) = t**2 + 2*t - 5. Let o be n(5). Suppose -4*h - p + 69 = 0, -h + 2*h - o = 4*p. Let m be ((-4)/h)/((-12)/18). Which is greater: 1 or m?
1
Let t = 47.41 - 1.41. Which is smaller: t or 2/3?
2/3
Let m = 108 - 538/5. Is m smaller than -3/14?
False
Suppose u + 5 = 10. Let n be (-8)/(-2) - (u - 2). Let g be (-5)/(-20)*n/2. Does 1 = g?
False
Let m = -2 - -2. Suppose m = 4*s + s - 5. Let a be (-1 + 1 - 6)*(-52)/156. Does s = a?
False
Let m be (-25)/2*4/(-105). Do -1 and m have different values?
True
Let c = -0.037 + -7.963. Is 0.4 less than c?
False
Let m = -8 + 25/3. Suppose 1 = -5*s + 6. Suppose -5*i - 3*b = -17, -4 = i - b - s. Are m and i non-equal?
True
Let x = 0 + 2. Let c = 56 - 166/3. Which is smaller: c or x?
c
Suppose -14 = -5*k + 6. Suppose -4*j - 48 = -4*a, -j = -2*j - k*a + 13. Let r = j - -5. Which is greater: 1 or r?
1
Let d(r) = -r - 3. Let s be d(-7). Suppose -4*x + 4 = -4*z, s*x + z - 14 = 10. Are 0 and x non-equal?
True
Let b be 21/(-27) - (-12)/(-54). Let v be ((-4)/(-6))/((-10)/(-3)). Is v at most b?
False
Suppose -60 = -7*a + 10*a. Let k be 3*4/a*-3. Is 1 not equal to k?
True
Let q = -110/7 + 976/63. Is q >= -3/2?
True
Suppose -3*f + 2*c - 8 = 0, -2*c + 10 = f + 2. Which is smaller: -1 or f?
-1
Let q = -85 - -85. Is -9 >= q?
False
Suppose 0 = -3*p - 2*p + 75. Let t = p + -11. Is t < 5?
True
Let j(u) = 22*u - 3. Let g be j(6). Let l = 63 - g. Let o = l + 596/9. Which is greater: -1 or o?
o
Let l(v) = v**3 + 15*v**2 - 1. Let p be l(-15). Is -13/11 at most as big as p?
True
Let o be (-16)/628*(3/(-12))/1. Which is bigger: o or -1?
o
Let x(u) = -1. Let v(g) = 2*g + 3. Let p(f) = -v(f) - 2*x(f). Let m be p(-1). Is -3 at most as big as m?
True
Suppose 3*j = 5*x, -2*x + 1 = -2*j + 5. Suppose 0 = 9*f - j*f + 8. Is f < 0?
True
Let g = 23 - 9. Which is bigger: g or -1?
g
Let a be (-2)/(-6)*(34 - 1). Let v = a - 8. Are 3/2 and v non-equal?
True
Suppose 5*x = 8*j - 4*j - 22, -1 = -3*j - 4*x. Let g(v) = -3*v + 6. Let t be g(j). Let k(d) = -4*d + 3. Let s be k(2). Which is bigger: t or s?
t
Let y = 1 - 2. Let w = -3 - -4. Let h be (-1)/((w/y)/(-1)). Which is greater: h or 1?
1
Let w(u) = u**3 + 2*u**2 - u - 1. Let v be w(-1). Let g = 4 - v. Suppose o = g - 5. Which is smaller: -3 or o?
-3
Let j = 3/28 - -17/364. Let q be ((-87)/12)/((-2)/6). Let a = -22 + q. Is a <= j?
True
Let a = 8/33 + 1/11. Is a at least 1?
False
Let o be (-8 - -3)*4/50. Which is greater: o or -7/6?
o
Let r = 4.6 - -1.4. Let s = r + -6. Is s greater than 4?
False
Let b = -160 + 110. Let f be 55/b + (-1)/(-2). Do f and 1 have different values?
True
Let g be (16/6)/(2/15). Let w be ((-1)/g + 0)*2. Which is bigger: w or 1/2?
1/2
Let u = 6 - 1. Let n = 18 - 25. Let v = u + n. Which is bigger: -5/4 or v?
-5/4
Let q be -2 - (2 - 2 - 0). Is -3/4 greater than q?
True
Let q(h) = 2*h**2 + 4*h + 2. Let v be q(-2). Let f be 0/((-2)/(v + -3)). Which is smaller: -6/17 or f?
-6/17
Let f be 1 - ((2 - 7) + 2). Suppose -f*s = -5*j - 1, 16 = s + 3*s. Suppose -3*p - 3 = j*l, l - 5*p + p = 4. Which is greater: l or 2/11?
2/11
Let t be (3/(-5))/((-1)/(-5)) + -4. Let x be (2/(-4))/((-2)/(-32)). Is t not equal to x?
True
Suppose 0 = -d - 4*d - 75. Let x be (-1)/6 + (-10)/d. Let y = -3 - -5. Which is smaller: x or y?
x
Suppose 0*g = 3*g - p - 35, 3*p - 16 = -2*g. Is 12 <= g?
False
Let g be (-1)/(-1 - 0) - 2. Let c be g + 0/(-3 - 0). Let d(z) = 4*z**2. Let f be d(1). Is c at least f?
False
Let k = 44 + -44. Let h = -2/21 + 19/420. Is h bigger than k?
False
Suppose -2*w = -8, -2*g - g + 5*w = 32. Let n be (-2 - -5)/((-3)/(-2)). Suppose 2*z + 3*z = 4*r, 0 = -n*z + 5*r + 17. Is g >= z?
True
Let b = 5 + -6. Let q = 2 - 4. Which is bigger: q or b?
b
Suppose 3*h + 4 + 5 = 0, -5*c + 2*h = -21. Suppose -4*j = -c*o + 17, 0 = -2*o - 4*j - 22 - 0. Let q = -2 - o. Is -1 smaller than q?
False
Suppose -5 = t - 2*r, 4*t - 25 = t - 2*r. Let w = -6 + t. Which is smaller: -6/11 or w?
w
Suppose -3*u - 3*w + 471 = 0, 2*u - u - w = 165. Let x be u/(-49) + 6/2. Let z be (-5)/4 + 3/12. Is z greater than or equal to x?
False
Suppose 3*k - 4 = 2. Suppose -p = -4*f - 8, -4*f = 2 + k. Suppose -3*g - 10 = 4*l + l, p*g = -2*l - 18. Which is smaller: 1/2 or l?
1/2
Let y = 6/211 + -4298/2743. Let a = -22/3 + 569/78. Let w = a - y. Is 1 > w?
False
Let d(c) = -c**3 + 8*c**2 - 6*c - 10. Suppose -3*r - 4*k + 25 = 0, -3*r + 2*k + 26 = r. Let w be d(r). Do w and -3 have the same value?
True
Let z(p) = -p**2 - p + 2. Let d be z(-3). Let x(w) = -w**2 - 3*w + 5. Let y be x(d). Let h be (-4)/32*(y - -1). Is -2 smaller than h?
True
Let q = 108219117707/3 - 40149524300201/1113. Let u = 208114 + q. Let c = -4/53 + u. Is -1 at least c?
False
Suppose -4*d + 8 = 2*c - 0*c, -5*d + 5*c = 5. Which is smaller: d or -1/37?
-1/37
Suppose -2*w - 12 = -4*r, 0*r = w + r. Let z be (-29)/12 - (-2)/(-8). Is z at most w?
True
Let x(h) = -h**2 - 8*h - 10. Let m be x(-5). Is 8 at most m?
False
Let l(i) = -i**2 - 7*i + 8. Let v 