(3). Is 0.2 greater than or equal to l?
True
Let x(z) = -z**3 + 3*z**2 - 2. Let m be x(2). Suppose 0 = m*y - y - 5. Is y equal to 5?
True
Let z = 22936/3 + -7531. Let l = -116 + z. Which is smaller: l or -3?
-3
Let l = 18 + -20. Are 0.1 and l equal?
False
Let k(w) = -w**3 - 8*w**2 - w - 10. Let b be k(-8). Let g be 9/(-18)*b/9. Is 1 at most as big as g?
False
Let t be 3/(-45) + 2/5. Let a = 1.7 + -1. Let f = a - 0.7. Is f < t?
True
Suppose -l + 24 = -3*l. Is l greater than -11?
False
Let r = 1/555 - -6881/555. Let c = r - 59/5. Which is smaller: c or 1?
c
Let g(v) = v**3 + 6*v**2 - 9*v - 8. Let q be g(-7). Is q less than 5?
False
Suppose 0 = -4*u - 0*u + 24. Let a(v) = u*v + 1 - 9*v - 2. Let b be a(-1). Is 2 at least as big as b?
True
Suppose -4*s = s + 5*d + 60, -2*s + d = 24. Let b = s - -15. Is b at most -1?
False
Let l be (-1 - -4) + (1008/(-3))/6. Let r = -18734/7 - -171931/63. Let m = l + r. Which is smaller: m or 1?
m
Let w = -472 + 472. Let t = 121 - 487/4. Which is greater: t or w?
w
Suppose 2*l - 3*w - 3 = 0, 0 = 3*l + w + 3*w - 13. Suppose n - 1 = -l. Let d = 51.1 + -51. Is n not equal to d?
True
Let s = 8.12 + -0.12. Let k = -8 + s. Which is bigger: -0.04 or k?
k
Let o(m) = -m**2 + 4*m + 4. Let h be o(5). Which is bigger: h or -3/22?
-3/22
Suppose 6*m = 3*m + 6. Let t be (3/m)/((-9)/(-399)). Let q = t - 68. Are q and -3 non-equal?
True
Let w be (7 + 5)/(226/38) + -2. Is w equal to -1?
False
Let a be 4/(-8) + (-39)/(-70). Which is smaller: -1 or a?
-1
Suppose 0*z = -6*z + 2*z. Is z < -59?
False
Let x(q) = -q + 4. Let c be x(0). Suppose -c*m + 6 = -m. Which is smaller: 3 or m?
m
Let c(j) = -j**3 + 6*j**2 - 4*j - 2. Let p be c(5). Suppose 3*f - 3*t + p = 0, 4*t = f + f. Does -2 = f?
True
Let v = 0.7 - 0.86. Is v not equal to -0.1?
True
Let b = 974/9 - 108. Which is smaller: 16 or b?
b
Suppose 0 = 3*m - 2*m. Let b(t) = t + 3. Let o be b(-6). Let x = o + 3. Is x greater than m?
False
Let h be 2/(-10) - 38/10. Let q be (-1 - -6 - 2) + h. Is q equal to 0?
False
Let q = -4 - -4. Suppose q = z + 2*z. Is -3/8 bigger than z?
False
Suppose -2*r + r = 17. Let k = -1 - r. Suppose -l + k = l. Is 8 greater than l?
False
Let z(i) = -i**3 - 6*i**2 - i - 4. Let k(n) = n**2 - 7*n + 4. Let b be k(5). Let h be z(b). Let j be 0*h*2/4. Are j and 0 equal?
True
Let x(g) = -g**2 - 6*g. Let u be x(-6). Let n = -2813/7 + 403. Is n at least as big as u?
True
Let m be 3/5 - (-4)/10. Let n be 1/(-20) - m/5. Suppose -4 = -2*r - 6. Which is bigger: r or n?
n
Let f = -12 - -16. Suppose -5*h + 4*w = -16, w + 11 = f*h - h. Suppose -5*l + 25 = 5*d, -5*l + 4 = -4*d + 2*d. Is h at least l?
True
Suppose -c + 0*c + 6 = 0. Let u = -2 + c. Suppose j - 2 = -u. Are j and -4 nonequal?
True
Suppose -5*v + 20 = 5*a, 0 = 2*a - 6*v + 3*v - 28. Let c be 6/21*14/a. Is 8 greater than c?
True
Let d be 16/(-6)*(-105)/28. Is 11 greater than d?
True
Let v be (-8 - -4) + (1 - 1). Suppose 5*s = -44 + 14. Which is smaller: s or v?
s
Let t = -32 + 20. Let a be 6/2 + t/8. Let y = -1 - -2. Which is smaller: y or a?
y
Let o = -751/36567 - -2/2151. Which is bigger: 0 or o?
0
Let f = -10 + 2. Which is smaller: 1 or f?
f
Let f be 2/((9 - 4) + -28). Suppose 0 = 4*m - 4 - 0. Which is smaller: f or m?
f
Let p be (-130 - -109)*(-1)/(-3). Suppose 2*k = -k - 18. Which is bigger: k or p?
k
Let f = -117 - -116. Suppose 5*n + 15 = -4*p + 209, 0 = 3*p - 3. Let j be (2/(-3))/(n/6). Is f < j?
True
Suppose -2*v - 4 = -v. Let d = 5 + v. Suppose 0*o + 21 = -3*o. Is d < o?
False
Let s(y) = y + 2. Let k be s(8). Let j = 14 - k. Is 5 at most as big as j?
False
Let i(f) = f - 11. Let v be i(11). Do v and -1 have different values?
True
Suppose 3*i - 12 = -i. Let u(v) = -v**3 + 3*v**2 + 3. Let g be u(3). Is g at least i?
True
Let k(s) = s**3 - 11*s**2 + 1. Let y be k(11). Let p = 909/8 - 114. Are y and p equal?
False
Suppose 0 = -4*v + 20, 5*i - 181 = 2*i - 5*v. Let h be -4*(2 + (-111)/i). Let z = h + -37/117. Does z = 0?
False
Let u(g) = g**3 + 5*g**2 - 7*g - 8. Let r = -2 - 4. Let x be u(r). Are x and -3 non-equal?
True
Let d be 3/1 - (-1 - -1). Suppose 0*r = d*r. Are -3/7 and r non-equal?
True
Let a be 0 + 0 + (-2)/1. Let f be (1/a)/((-4)/(-32)). Which is smaller: f or -5/2?
f
Let s(j) = 5 - 1 - 5 - 5*j. Let n be s(-1). Is 3 > n?
False
Let y be 2/((-5)/(10/(-4))). Let n = 14.2 + -14.25. Is y smaller than n?
False
Let z(k) = -2 + k**2 - 6*k + 5 + 2*k + k + k**3. Let r be z(-3). Which is greater: -2 or r?
-2
Let h be (-1)/(0 - (-3)/(-9)). Suppose h + 6 = f. Let g(y) = -y**3 + 10*y**2 - 8*y - 8. Let q be g(f). Which is smaller: q or 2/9?
2/9
Suppose -2*n - 10 - 6 = 0. Let p = n + 7. Which is greater: -3/5 or p?
-3/5
Suppose 3*d - 55 = -2*d. Is d <= 11?
True
Suppose -3*b + 3 = 3*i, 0 = -4*b - 8. Let v be i/(-18)*-3*2. Let r = -2 + 2. Which is greater: r or v?
v
Let t = 1.3 + -1.3. Is 0.06 less than or equal to t?
False
Let b(t) = 3*t + 1. Let a be b(1). Suppose a*p - 7 = 5. Is 3 less than p?
False
Let b(p) = -2 - 3*p + p**2 + 4*p + 2*p**2 + 3 + p**3. Let j be b(-3). Which is smaller: -8/5 or j?
j
Let n be (4/(-6))/((-32)/468). Let a = n + -19/2. Are a and 1 unequal?
True
Let l = -11 + 6.5. Let c = l + 4. Which is bigger: c or -0.1?
-0.1
Suppose -2*i + 2*p + 6 - 2 = 0, -3*p = 5*i + 14. Which is greater: i or -3/20?
-3/20
Suppose 0 = z - 0*z. Let j = 0 - z. Let t be ((-14)/(-10))/1 - 1. Which is smaller: t or j?
j
Let c(i) = -i**2 - 6*i + 9. Suppose 0 = -f - 3*o - 12, -3*o + 4*o = 3*f - 4. Suppose -5*w - 35 = -f. Let k be c(w). Which is smaller: 0 or k?
0
Suppose 5*n + 12 + 13 = 0, -3*n - 21 = -3*g. Let o be (-84)/10 - 8/(-20). Let x be (-44)/(-48) + 2/o. Is g >= x?
True
Let r be (2/(-3))/(1/(-3)). Suppose 4*h - 4 = 3*h. Suppose 1 = -h*q + 5. Which is smaller: q or r?
q
Suppose -4*c + 16 = 0, d - 2*c + 12 = -3*d. Let f(o) = 7*o - 8 + 0*o + 0*o**2 - 3*o**2 + 2*o**2. Let w be f(6). Is w at least as big as d?
False
Suppose -2*f + 6*f = 52. Let u be -1 + -1 + (1 - f). Is u equal to 1?
False
Let b = 5 + -3. Let c be (b/(-8))/(33/88). Which is greater: 0.8 or c?
0.8
Let n be (-16)/88 - (-2 + 2). Let l = 2 - 2. Let a = 0 + l. Is a greater than or equal to n?
True
Suppose -r + 0 - 1 = 0. Let v be 0/4 + 4 + r. Let a be (4 + (5 - v))*1. Is 5 less than a?
True
Let g(l) = 8*l + 33. Let j be g(-4). Is 2 greater than j?
True
Let i(c) = -7*c**3 - c**3 - 1 + 9*c**3 - 4*c**2. Let d be i(4). Are d and -2/9 unequal?
True
Let u = -27 - -27. Which is bigger: u or -3/41?
u
Let g = 0.63 + 0.07. Let b = 1.3 + g. Which is smaller: 3 or b?
b
Let k = -12 - -16. Suppose 20 = s + k*o, 2*s - 5*o = -0*o - 12. Is 1 greater than s?
False
Suppose f = -0*f + 9. Suppose -f = 5*o - 59. Is 10 at most o?
True
Let q be (1/3 + (8 - 8))/1. Let n = -0.11 - -0.18. Which is smaller: n or q?
n
Let h = -2 - -1.99. Let o = -0.21 - h. Let u = -3.3 - -0.3. Is u greater than or equal to o?
False
Let l(q) = 6*q. Let i be l(-1). Let n be i - (-3)/3 - 1. Is -6 at most n?
True
Let g(b) = -b**3 + 10*b**2 + 2. Let l be g(10). Let t(r) = 3*r**2 - 3*r. Let a be t(l). Is 5 <= a?
True
Suppose 0 = -4*z - 6 + 2. Which is smaller: 3/8 or z?
z
Suppose 0*b - 665 = 5*b. Let t = 271/2 + b. Is t greater than or equal to 2?
True
Let o = 0.8 + -0.86. Is o smaller than 2/11?
True
Let s be (1 + 0)*5/1. Suppose 4 = -5*m + 29. Are m and s nonequal?
False
Let j = 0.6 + -1.1. Let g = j - -0.5. Let y(c) = -c**2 - 4*c + 12. Let h be y(-6). Is h != g?
False
Let g be 5/(-10) - 11/4. Which is bigger: -2 or g?
-2
Let u = -5 - -8. Let k(r) = r**2 - 6*r. Let n be k(5). Let t = 7 + n. Is u equal to t?
False
Let b be (-15)/60 - (-51)/188. Which is smaller: 1 or b?
b
Let d(y) = y + 15. Let a be d(-12). Suppose -a = -2*b - b. Is b at most 18/11?
True
Let t = -1 + -3. Let k be (15/18 + -1)*t. Is 0 at most k?
True
Suppose 2*n + 0*n + 3*p + 11 = 0, -4*n + 3*p = 13. Let a = 62 + -67. Does a = n?
False
Suppose 0 = 3*f - 2*o - 3, -3*f + 4*f = 5*o + 14. Let t be (-1)/11*(-4)/(-14). Which is smaller: f or t?
f
Let l = -274/105 + 22/15. Do l and -1 have the same value?
False
Let g = 3 - 5. Let y be (-1)/g*1*-4. Let h be 2*1 - 15/6. Is h at most y?
False
Let j(n) = -n + 1. Let p be j(-3). Suppose -2*x = 4*a + 8, p*a - a = -3*x - 9. Let l(u) = u. Let m be l(-3). Which is bigger: a or m?
a
Let p = 24 + -25. Is 17 gr