3. Let l be w(7). Is c less than or equal to l?
True
Suppose 0*o + 6 = 3*o. Is -1/3 less than or equal to o?
True
Let k(d) = -1 - 3*d + 2 + d - 2. Let t be k(-1). Which is bigger: t or 2?
2
Let p(m) = -m + 2. Let f be p(-5). Let i = -11 + f. Let v = -6 - i. Is -1 at most v?
False
Let f(u) = -6*u + 7*u**2 - 3 - u**3 + 2*u - 2*u. Let o be f(6). Let d be (-1 - -7) + o/3. Does d = 5?
True
Let t = 37 + -48. Which is smaller: t or -10?
t
Let u = 12 - 14. Is -4/7 < u?
False
Let v = 26.7 + -26.6. Let n = -0.2 - 0.1. Is n >= v?
False
Let a = 19 + -13. Let k = a - 2. Is k != 3?
True
Let f(w) = -w**3 + 11*w**2 - 21*w - 5. Let k be f(9). Is k > -32?
False
Let g be -10 + (-1 - -1 - 0). Let o = g + 4. Which is bigger: o or -5?
-5
Let p = -2 - -24. Let r = -21 + p. Are -3/8 and r unequal?
True
Let i(w) = -w**2 + 3*w + 5. Let q be i(5). Let t = -4 - q. Which is smaller: t or -2/27?
-2/27
Suppose r + 2*r - 3 = 0. Let w be (r/1 + -1)/1. Let j be 1/3 - 6/(-9). Which is bigger: w or j?
j
Let u = 1/45 + -52/315. Let t be (2/18)/(3/9). Which is bigger: u or t?
t
Let m = -25/8 + 11/24. Let r = 480 - 484. Which is smaller: r or m?
r
Let q(m) = m - 1. Let f be q(5). Suppose 11 = k - 4*r, -k = r - f*r - 12. Let h be (k/(-6))/(2/4). Are -5 and h equal?
True
Suppose b = -2*b - 4*z + 3, 0 = 4*z + 12. Suppose 0*g + u = -3*g + 11, 0 = -4*g - b*u + 22. Are 6 and g equal?
False
Let b = -2.6 + 1.84. Let k = b + 0.7. Is 1 <= k?
False
Suppose 0 = -0*h + 8*h. Which is smaller: -1/35 or h?
-1/35
Suppose 3*r = -r. Suppose r = a - 3 + 5. Suppose -3*z = -2*l - 7, 0*l - 4*l + 4*z - 12 = 0. Is l > a?
False
Let j be -49*(-4)/12*-3. Is j less than -49?
False
Let o(t) = 3*t**3 + t. Let u be o(1). Suppose -5*b + 13 + 17 = 0. Suppose 2*j - b = -5*w, -3*w + u = -j + 7. Is 2 >= j?
False
Let l(r) = r**3 + 5 + 0*r - 4*r + 0*r + r**3. Let m(s) = 3*s**3 - 3*s + 4. Let g(t) = -5*l(t) + 6*m(t). Let d be g(1). Is 8 smaller than d?
True
Let i be 2/(1/(-4)*-2). Suppose 1 = i*y + 4*t + 9, 0 = 3*y - 3*t - 12. Let r be ((-3)/(-10)*2)/((-15)/(-10)). Which is greater: y or r?
y
Let w(s) = s**2 + 4*s + 1. Let t = -10 - -7. Let v be w(t). Suppose 4*f - 3*q + 5 = 0, -3*f + 0*q - 10 = 4*q. Are f and v equal?
True
Suppose 0 = -2*s - s. Suppose 0 = -4*r - s*r - 28. Is r less than -6?
True
Let n be 4/8 + (-3)/36*2. Suppose -l = 6 + 8. Let h be (3/(-9))/(l/12). Which is greater: h or n?
n
Let u = 0 - 5. Let s be 6 + u + 1/5. Does 0 = s?
False
Let q(k) = -6*k - 116. Let x be q(-29). Is 57 at least as big as x?
False
Suppose a - 3*m = m + 12, -4*a + 4*m = -60. Suppose 2*w = -3*q - 2, -3*w + 0*w - a = -2*q. Let o be (q + (3 - 0))/(-3). Which is bigger: 1 or o?
1
Let v(j) = j**3 + 5*j**2 + 2*j - 1. Let d be v(-2). Suppose -2*z - 18 = 2*i, 1 - d = 2*z. Which is bigger: -5 or i?
-5
Let s(k) = k**2 + k + 8. Let a be s(0). Suppose 3*v - a = v. Suppose 3*c = -c + v. Is c >= 0?
True
Let y(p) = -p**2 + 10*p - 10. Let a be y(8). Let k be ((-2)/a)/((-1)/1). Do -1/4 and k have the same value?
False
Suppose 3*r = -8 + 2. Let h be ((-2)/5)/((-26)/(-143)). Does r = h?
False
Suppose -2*g + 7 = 3. Suppose -g*w + 7*w = 20. Let i be 0 + w/6*3. Do 3 and i have different values?
True
Suppose 0 = b - 3*j + 18, 3*j - 30 = 7*b - 2*b. Is b bigger than -34/9?
True
Let d = 214 + -227.9. Let f = 14 + d. Let s = 0.2 - 0.2. Is s not equal to f?
True
Let p = -4 + 2. Let k = 43 - 43.5. Is p less than k?
True
Let l(x) = -3*x + 13. Let p be l(11). Let y be (-2)/8 - 5/p. Let m be -1 + 0 + 0 + 2. Which is smaller: m or y?
y
Let z be ((-4)/(-2) - 1) + (-22)/(-38). Is z greater than 1?
True
Suppose 3*t + 6 - 1 = -5*u, -3*u = -5*t + 37. Let i be (1/u)/(42/48). Which is smaller: -1 or i?
-1
Let c = 17 + -15. Which is smaller: c or 3?
c
Let d be 8/10*30/(-12). Let g be d + 3 - 1 - 1. Which is bigger: g or 0.2?
0.2
Let v(a) = -a**2 - 3*a - 2. Let o be v(-2). Suppose 4*j + 1 = 3*s - 0, -2*j = -4*s - 2. Let p = s + 1. Is o >= p?
True
Let c = 0.12 + -0.32. Let w = 0.1 + c. Is 2/15 smaller than w?
False
Let w be (-115)/(-90) + (-3)/2. Which is greater: w or 1/3?
1/3
Let p(m) = m**2. Let z be p(-1). Let j = -1/91 + 187/455. Are j and z unequal?
True
Suppose 2 - 6 = 4*n. Let t = 33/4 + -17/2. Which is greater: n or t?
t
Suppose 12*q = 7*q + 20. Let s(r) = -r**2 + 6*r - 1. Let m be s(5). Let d = m - 2. Is q at least d?
True
Let r be 3 - (1 + (-54)/(-22)). Is r smaller than -1?
False
Let d(k) = -4*k**3 - k. Let g be d(-1). Suppose 26 = g*q - 9. Are 6 and q equal?
False
Suppose -2*y - 4 = -4*y. Suppose -5*c = -10 - 5. Suppose 0 = -c*w + w. Is w greater than y?
False
Let c be -2*1/6*-6. Let p = c - 11/6. Is 0 at most as big as p?
True
Suppose s - 6 = 4*s. Let a(o) = o**3 + 3*o**2 + o - 1. Let h be a(s). Let q be (-50)/20*8/(-10). Is h > q?
False
Let n = 0 + 1. Let a(r) = 9*r - 9*r**3 + 7 - 7*r**2 + 5*r**3 + 3*r**3 + 0*r**3. Let q be a(-8). Is q greater than or equal to n?
False
Suppose -2*k - 19 + 17 = 0. Is -3 < k?
True
Let r = 1.96 - -0.04. Let v = 2.2 - r. Let o = 0.3 - v. Which is greater: o or -5?
o
Let y = -1811/678 + 1/226. Does -3 = y?
False
Let n(o) = -o - 10. Let p be n(0). Suppose -4 = 4*g - 8*g, -4*a = -4*g + 40. Which is smaller: p or a?
p
Let k(z) = z + 5. Let p be k(-5). Let b be (-1 - p/3) + 3. Let i = 53 + -154/3. Is b less than i?
False
Let i be (-4 - -12)*-1 + -2. Let d be 12/i*(-12)/36. Which is bigger: d or 0.02?
d
Suppose -3*x = -7 + 25. Which is greater: -4 or x?
-4
Let v = -140.6 - -26.6. Which is greater: v or 2/5?
2/5
Let k be 50/24*20/(-50). Which is smaller: k or -2?
-2
Let u(o) = -o**2 + 11*o + 8. Let z be u(11). Is z less than 9?
True
Let v be (-21)/(-30) - (-2)/(-5). Let f be 5/(-4) + (-1)/(-4). Which is smaller: v or f?
f
Let v = -45 - -39. Which is smaller: -11 or v?
-11
Let v(a) = -7*a**2 + a - 3. Let d be v(-2). Which is smaller: -32 or d?
d
Suppose 2*q - 5*b = 8, -4 = -4*q + 3*q - 5*b. Let g be (q/4)/((-2)/(-28)). Which is smaller: 13 or g?
13
Let a be (-3)/(-5)*2/4. Let y(r) = -r**3 - 5*r**2 - r + 2. Let v be y(-4). Let g = -9 - v. Which is bigger: a or g?
g
Let x(p) = -p - 2. Let v be x(2). Suppose 2*m = -5*w - 24, -3*w + 9 = 5*m + 31. Is v <= w?
True
Let t be (20/(-25))/(8/(-660)). Is t greater than or equal to 65?
True
Let o = 5 - 0. Suppose 2*l - 3*x - x = -2, 5*x = o*l. Which is bigger: l or -2/3?
l
Suppose -10 = -4*m + 3*m. Let s = -13 + m. Suppose q = 3*q + 4. Which is smaller: q or s?
s
Let x be 2/((-12)/7 + 2). Let h be x + (-2)/(6/(-9)). Which is smaller: 9 or h?
9
Suppose -59 + 19 = 4*g. Let f = 8 + g. Which is smaller: -5/2 or f?
-5/2
Let p = -34 + 20. Is -14 less than p?
False
Suppose -3*j + 4*a = 2 + 63, 3*a - 75 = 4*j. Is j less than or equal to -15?
True
Let h = -43/12 + 1271/348. Let k = 1818136/145 + -12539. Let d = h - k. Which is bigger: d or -2/7?
d
Let o be (-2 - 1) + -1 + 2. Let q be (-10)/12 - o/4. Which is greater: -1 or q?
q
Let j(u) = -2*u + 17. Let r be j(5). Let l be 9/7 + r + -8. Which is bigger: 1 or l?
1
Let g(d) = 6*d**2 + 2*d + 1. Let p be g(-1). Suppose 0 = -w + p*u - 6, 3*w + u = 4*w - 6. Let c be -1*(1 + (-6)/w). Which is smaller: c or -1?
-1
Suppose 4*b - 2*l = -6, 2*b + 4*l - 12 = -0*b. Suppose 3*u + z - 34 = -z, -2*u + 2*z + 6 = b. Which is greater: 7 or u?
u
Let j be (-15)/6*2/(-1). Does j = -1?
False
Suppose 0 = 3*p - p - 2. Suppose p = 3*s - 2. Which is greater: 2 or s?
2
Let l = -15/2 - -8. Which is smaller: -26 or l?
-26
Suppose 23 = -u + 5. Let z be 4/u + 195/27. Is 7 > z?
False
Let u be (-1)/(-2)*2/(-4)*4. Let i = -79 - -235/3. Is u >= i?
False
Let v be 3*(2 - 5)/3. Let l be 1*-3*3/(-9). Which is smaller: v or l?
v
Suppose 3*l + 0*l = 0. Is -5/14 < l?
True
Let u = 7 - 8. Let i be 2/4*0 + u. Let a be 2/6*i/(-3). Which is bigger: a or 0?
a
Suppose -12*f - 48 = -9*f. Let l be f/24 - 52/(-69). Which is smaller: 1 or l?
l
Let n = -928/216699 - -6/607. Let s = -2605146 - -930037957/357. Let r = s - n. Is r equal to 1?
False
Let z be (8/42)/((-2)/3). Let g = -4 + 7. Let i = g + -3. Is z at most i?
True
Suppose -4*g = -3*f - g - 33, -4*f - 2*g = 68. Which is bigger: f or -16?
f
Let o be (-4)/6*(-111)/8. Let d = 10 - o. Let z = -0.2 + 0.3. Is z less than or equal to d?
True
Let z(m) = -2*m - 9. Let d be (-3)/(-6) - (-15)/(-2). Let y be z(d). Let l = 2 - y. Is l < -3?
False
Suppose 1 = 3*l