2/2 - l. Let q be b(a). Is q less than 3?
False
Let v(p) = -p - 5. Let n be v(-8). Let k be n/15 - (-3)/(-15). Is -2/13 greater than or equal to k?
False
Let k = -1.06 - -0.56. Is -3/4 greater than k?
False
Suppose 0 = h - 2*j - 4, -6 = 4*h + 4*j + 2. Which is bigger: h or -0.2?
h
Suppose 0 = -g - 2*g - 6. Let x be 50/(-24) + g/(-1). Which is bigger: x or 1?
1
Suppose -21 + 18 = -3*l. Which is bigger: l or -1/2?
l
Let n = 2/463 - -2764/3241. Let q = 1 - 1. Which is smaller: n or q?
q
Suppose 65 = 11*b - 6*b. Let g be (12 - 8/(-4)) + -1. Is g at most as big as b?
True
Suppose 2*u - u + 1 = 0. Let n = 41/270 - 1/54. Which is smaller: n or u?
u
Let y be (-8)/(-6) - (-28)/(-42). Let m(b) = b**2. Let i(u) = -2*u**2 + 5*u + 4. Let h(d) = -i(d) - 3*m(d). Let k be h(-3). Is k greater than y?
True
Let k = 35 + -14. Suppose -10 = -4*p + 5*i, k = 3*p + i + 2*i. Suppose p*m - 24 = o, -3*m + 26 = o + 2*m. Is o at least as big as 3/7?
True
Let n = -2/73 + 77/146. Is -44 equal to n?
False
Let c = -15677/20 + 784. Which is greater: c or 0?
c
Let q be ((-2)/(-3))/(6/9). Suppose -p - s + 3 = -3*p, 5*s - q = 3*p. Is p equal to -1?
False
Let s be 3/(-9) - 1/(-3). Suppose -3*n = -x + 16, 5*n + 5*x + 69 = 29. Let q = -5 - n. Which is smaller: s or q?
s
Let v = -5 + 8. Suppose 4 = v*d + 1. Which is bigger: 3/11 or d?
d
Let l = -0.3 + 0.4. Let a = 23.1 - 23. Is l > a?
False
Let k = -2 - 0. Let t(x) = x**3 - 2*x - 4. Let z be t(k). Which is smaller: z or -7?
z
Let l(u) = 2*u**2 - 8*u + 9. Let m be l(6). Suppose m = -5*t - 2*x, -3*t + x = 4*x + 18. Let c be (2 + -11 - -12)/(3/(-8)). Is c <= t?
True
Suppose -5*l + 16 = -9. Let a = l - 3. Is a equal to 0?
False
Let u be 2 + (20/(-4) - -2). Which is smaller: 1 or u?
u
Let z(l) = l**2 - 6*l + 6. Let q be z(5). Let u be 1 + ((-10)/(-7) - 1). Which is bigger: q or u?
u
Let f(o) = -o**3 + 5*o**2 + 5*o + 5. Let z be f(6). Is -1 < z?
False
Suppose 3*g = 5*i + 25, -2*i + 9 + 2 = 3*g. Is 5 at most as big as g?
True
Let q(o) = o + 4. Let x be q(-2). Let d be ((-366)/(-42) - 7)/(10/14). Which is greater: d or x?
d
Suppose 2*m + 15 = -3*j, m = -3*j - 0*j - 12. Which is smaller: j or -2?
j
Let l = 331/6 + -494/9. Which is smaller: l or 1?
l
Let j = 32 - 47. Let w be ((-2)/j)/(9/45). Which is greater: -0.2 or w?
w
Let q = -0.39 - 0.01. Let z = -0.3 + 1.3. Is q smaller than z?
True
Let x be 1/6 - (5/(-18))/5. Is 0 >= x?
False
Let m be ((-3)/(-2))/((27/48)/(-3)). Which is smaller: -1 or m?
m
Suppose 4*w - o - 12 = 0, -3*w - 2*w + 2*o + 18 = 0. Let r be 3/((-6)/(0 - w)). Which is smaller: r or 4/3?
r
Let o(l) = 4*l**2 + 5 - l**2 - 7*l - 1. Let h be o(3). Which is smaller: 11 or h?
h
Let h = 5 - 7. Let p = 1.9 + h. Is p smaller than 6?
True
Let l be 3/7 + 21/(-49). Let h(y) = -y**3 - 2*y**2 + 5*y - 2. Let u be h(-4). Let t be 4/u*1/(-1). Is t < l?
True
Suppose -2*z - 42 = -4*q + 34, -q + 3*z = -24. Suppose 5*f + t = -q, -3*f + t - 3 = -f. Let b = f + 5. Do b and 3 have the same value?
False
Suppose -2*g - 1 = 5. Let r be (g/((-9)/184))/(-2). Let w = -31 - r. Is w less than or equal to -1?
False
Let p be 3/((-3)/2) + 4. Suppose y = -l, 3*l - 5 = p*y - 0*l. Let v(d) = -d - 2. Let h be v(0). Which is bigger: h or y?
y
Let b = -15/7 + 59/21. Is b >= -0.1?
True
Suppose -4*t - 23 = 5. Let i(r) be the first derivative of r**4/4 + 2*r**3 - 3*r**2 + 6*r + 1. Let o be i(t). Is -1 at least as big as o?
True
Let v = -103 + 100. Which is smaller: 1.9 or v?
v
Let f(r) = 4*r**2 + 1. Let g be f(-1). Suppose 0 = -5*x - 0 + g. Let o be 16/8 + (-1)/x. Is -2/17 at least o?
False
Suppose 2*n = 3 + 1. Let m be -4 + 3 + 4/(60/27). Is m less than n?
True
Suppose -5*s = -s. Suppose s = 2*k + 3*k. Which is greater: k or -2?
k
Let f = -3.2 - -3. Let p = -144 + 146. Which is bigger: p or f?
p
Suppose -b - 5*s - 2 - 12 = 0, 0 = -2*b - 2*s - 28. Let r be (-9)/(-7) + 4/b. Let t be -3*51/90 + 2. Is r > t?
True
Let u be (-33)/27 + 4/18. Let t = -15 + 11. Let k be ((-2)/12)/(6/t). Is k at least as big as u?
True
Let q = 59 + -60. Which is bigger: 2/17 or q?
2/17
Suppose -241 + 43 = -9*d. Let l be (-2)/((-4)/(-3) - 2). Suppose a + l*r + 5 - d = 0, 2*a - 6 = r. Which is smaller: a or 4?
4
Suppose -3*a + 30 = -6*a. Let k = -15 + a. Let j be (-90)/k - 3*1. Which is greater: j or 2?
2
Let z(j) = j**2 - 3*j. Let a be z(3). Suppose 0 = -3*h - 5*s - 18, -5*h + 10 = -5*s - a*s. Is h less than 3/7?
True
Let a be 2/6 - (-2)/12. Is 0 at least as big as a?
False
Let t = 2 + 2. Let y(i) = -6*i + 3*i**2 - 2*i - t*i**2 + 2*i - 2. Let r be y(-6). Are r and -2 nonequal?
False
Let g = 6 - 6. Suppose -2*o = 6 - g. Let q be (0/(-6))/(1 - 4). Which is smaller: q or o?
o
Let o = 1 + -4. Let p = 29 - 41. Let z be (1/(-2))/((-6)/p). Which is greater: z or o?
z
Let a = 1 - 1.1. Let k = -228 - -1594/7. Is k greater than a?
False
Let l be (-2)/3 - (-2)/3 - -3. Which is greater: l or 0.2?
l
Let b = -4 - -2. Let s(u) = -6*u**3 + 4*u**2 + 3*u + 3. Let l(c) = -c**3 + c**2. Let y(r) = 5*l(r) - s(r). Let j be y(b). Do j and -2 have the same value?
False
Suppose -3*w = -d + 14, 12 = -4*d - 2*w - 3*w. Suppose 3*z - 9 = 5*o + 19, 2*z - d*o = 12. Let x be 2 + -1 - 0 - (-93)/(-124). Which is bigger: z or x?
z
Let f = -19 + 21. Which is smaller: -1/2 or f?
-1/2
Suppose 0 = -2*o - 2*o + 4. Is 3/56 greater than o?
False
Let o be (-3 + 4)*24/10. Let y = o + -79/35. Which is smaller: y or -1?
-1
Let o = 0.9 - -0.1. Let j = -10 - -11. Let b = -0.6 + j. Do o and b have the same value?
False
Let j = -34 - -38. Is j at least as big as -0.2?
True
Let d(w) = -w**3 - 5*w**2 + 5*w. Let g be d(-6). Let b be (-46)/g + (-1)/3. Is -9 less than b?
True
Let x = -34 - -20. Which is smaller: -15 or x?
-15
Let b = 4 - -1. Let h = -6.98 - 0.02. Let l = b + h. Which is bigger: 0 or l?
0
Suppose 3*m + 19 = -b, 0 = 2*m + m + 5*b - 1. Let y = 7 + m. Let f be -2*y*(-1)/2. Which is smaller: f or 2/13?
f
Let w = 4 - 7. Let s = -19/6 - -29/6. Let t = s - 17/12. Which is greater: w or t?
t
Let f be 13/130 + 46/(-60). Is 19 greater than or equal to f?
True
Suppose 2*c - 2*p = 24, c - 6*c = 5*p - 10. Suppose -5*t + c = -13. Let u be (t/(-3))/(7/21). Is -4 less than or equal to u?
True
Let p = -133 - -138. Let o be (-14)/10 - (-2 - -1). Which is smaller: o or p?
o
Let h(o) = o + 4. Suppose 0 = 4*u + 12. Let w be h(u). Let j be 2/(-18)*18/(-21). Which is greater: w or j?
w
Let s = 13 + -12. Let i be 4/9 + (-8)/(-12). Which is bigger: s or i?
i
Suppose -4*u + 9*u - 5 = 0. Which is bigger: u or -1/25?
u
Let z be (-5)/(45/(-6)) - 2. Which is greater: 1/4 or z?
1/4
Suppose -d - 4*z + 5 = -z, -3*d = -5*z - 29. Let x be (0 - 1)/(9 - d). Which is smaller: x or 3/7?
x
Suppose -5 = -f - 3. Let s be (f/8)/((-21)/(-28)). Which is greater: -1 or s?
s
Let y = 11 - 9. Let l = 2.1 - y. Which is greater: -2/13 or l?
l
Suppose 0*x + 2*u = 3*x, 0 = -4*u - 12. Let n(f) = 3*f**2 + f - 4. Let q be n(x). Which is greater: 7 or q?
7
Let n = -31 - -42. Do -0.3 and n have the same value?
False
Suppose -5*l + 1 = 4*j - 4, -4*j = -20. Is -1/2 greater than or equal to l?
True
Let r be 3 + (-2 - 15 - 1). Let q = -16 - r. Which is bigger: q or 0.16?
0.16
Suppose -h + 5*h - 24 = 0. Let t = -5 + h. Suppose 0*p = p - t. Are -2/11 and p nonequal?
True
Suppose -m + 4*r - 9 = 0, 0 = 2*m - 0*m + 3*r + 7. Let v be 2/(-3) + -11 + 384/36. Is v greater than m?
True
Let u = -66 + 101. Let n = 59 - u. Suppose -4 + n = 5*g. Is g greater than 4?
False
Let w = 4 + -4.6. Let z = 15.5 + -16. Let f = z - w. Is f greater than 1/3?
False
Suppose 0*l + 4*l - 4 = 0. Is l <= 0?
False
Let z be 14/(-21) + 88/6. Suppose 4*f = 3*f + 4, -2*l = 4*f - z. Is l < -1?
False
Let t = 9 - -5. Suppose 3*j - 12 = -0*j - 3*i, -4*i = 2*j - t. Does j = -2/19?
False
Let d be (-2)/6*30/5. Let l be (-15)/d + 6/(-4). Let a = l + -7. Which is smaller: a or -2?
-2
Let l(p) = p**2 + 8*p + 3. Let x be l(-8). Suppose 0 = x*j - 5 + 11. Is 3/7 equal to j?
False
Let j = 48 + 41. Let i = j + -533/6. Suppose s = -2*s. Which is smaller: s or i?
s
Let p(c) = 2*c**2 - 2*c - 1. Let z be p(-1). Suppose 0 = -z*b - 9*y + 4*y + 26, 2 = 2*y. Suppose 5*j = -k + 3*k + b, 5*k = 3*j - 8. Which is greater: -2 or k?
k
Let j = -1451 + 4291/3. Are j and -21 nonequal?
True
Let r be 2/(-4)*0/(-10). Let f = -93 + 839/9. Is r greater than or equ