 2/(-4). Is g at least as big as l?
False
Suppose 31 + 101 = 3*w. Is 42 <= w?
True
Suppose -4*j + 38 = 4*u + 70, 0 = 4*u + 2*j + 36. Let x = -5 + -3. Is u at least as big as x?
False
Let p(y) = 5*y - 46. Let n be p(9). Which is greater: 0 or n?
0
Let z = 3.6654 - -0.0346. Is z at least -3?
True
Let p = -7 + 6.82. Let j = p + -1.82. Let f = -2.1 - j. Which is smaller: f or 9?
f
Suppose p = 4*s - 15, 21 = 4*s + 3*p + 2*p. Let z be (6/9)/((-1)/3). Let x = s + z. Which is smaller: 1 or x?
1
Suppose 13*m - 15*m = -84. Suppose -2 = 3*j - 5*j, 2*j = v - m. Let y be (v/84)/(1/(-3)). Is y at least as big as -2?
True
Let j(k) = k**3 - k**2 - 27*k + 49. Let n be j(2). Suppose 3*v + 1 = -5*a - 36, -4*a + 28 = -4*v. Let c be (-32)/30 - 6/v. Which is greater: c or n?
c
Let i(m) = m + 1. Let d be i(1). Let p(s) = -7*s - 2. Let x be p(d). Let c be x/10 - 2/(-2). Which is smaller: -2 or c?
-2
Suppose s - 3 = -0*s. Suppose -s*d + 75 = -3*x, 3*x + 2*x + 25 = 0. Suppose -5*o + 40 = 5*l - 4*o, 4*o - d = 0. Which is greater: 8 or l?
8
Let h(s) be the second derivative of s**3/6 - 2*s**2 + 26*s - 1. Let w be 7/1 + (-1 - -1). Let a be h(w). Is 1 smaller than a?
True
Let a be -9*1*(-4)/(-12). Let l(s) = 4*s**2 - 3*s + 3. Let u be l(a). Let b = -191/4 + u. Is -6 smaller than b?
True
Suppose -10 = -y - 2*d - 3*d, 5*y + 2*d - 119 = 0. Suppose 5*b = -0*b - y, 0 = -5*q - 2*b. Suppose -q*n = -4*n. Which is bigger: -2/7 or n?
n
Let n = -1001/1710 - 5/342. Are n and 0.72 non-equal?
True
Let f = 0.12 - -9.96. Let p = 0.08 - f. Let c = -8 - p. Which is bigger: c or -2/9?
c
Let r be (18 - 13) + 33/(-7). Do -22/7 and r have different values?
True
Suppose h = -2*x - 0*h + 14, -x + 4*h = -16. Let k(w) = -w**3 + 8*w**2 + 2*w - 5. Let s be k(x). Let u = s + -161/15. Are u and 1 equal?
False
Let l(v) = -v**3 - 5*v**2 + 7*v + 7. Let x be l(-6). Let w = 1 - x. Suppose 0 = 2*b + 5*o + 13, 4*b = -5*o - w*o - 11. Are -1/8 and b non-equal?
True
Let b = 0.24 - -0.94. Let i = 0.18 - b. Are -1 and i non-equal?
False
Let i = 19 + 86. Let a be 5*6/i + 44/(-56). Are a and -3/10 non-equal?
True
Let u be 1 + 1546/(-9) + (-6)/27. Let c be (-3)/((-5)/(30/u)). Is c at most as big as -1?
False
Suppose 16 = 10*j - 14*j. Let i(x) = x**2 + 7*x + 3. Let g be i(j). Which is greater: -11 or g?
g
Suppose -2*j - 3*j - 25 = 0. Let d = -17 + 21. Suppose -8 - d = 2*z. Is j < z?
False
Let t = 44.5 - 48.5. Which is smaller: 23 or t?
t
Suppose 25*u - 35 = 40. Suppose -4*m = 49 - 17. Let y = u + m. Which is bigger: -4 or y?
-4
Let k(d) = -d - 8. Let z be k(-10). Let u(m) = 0*m**2 + 0*m**3 - 6*m**2 - m**3 - 4*m**2 - z. Let w be u(-10). Is w bigger than -1/2?
False
Let y be (396/8481)/(0 - 2). Which is bigger: y or -1?
y
Let o(g) = 4*g + 24. Let a be o(-4). Suppose -2 = a*w + 6. Is -2/15 greater than w?
True
Suppose 3*l + 6*l + 1854 = 0. Which is smaller: -207 or l?
-207
Let o = 4 - 3.79. Let m = 0.26 - o. Which is smaller: m or -7?
-7
Let i = 2/139 - 292/973. Let s be ((-1)/(-58))/(3/2 + -2). Which is smaller: s or i?
i
Let l be ((-10)/(-48))/(4/(-16)). Suppose q = 4*q. Is q < l?
False
Suppose 48 = 3*k + k. Let f be (-220)/(-6) + -2 + (-35)/(-15). Suppose -9*c + 136 = f. Is c smaller than k?
True
Let a = 12 - 13. Which is bigger: -13/15 or a?
-13/15
Let h = 3.83 - 1.83. Is h smaller than 3/34?
False
Let m = -40 - -40. Let h be 0 + m - (15 - 26). Which is smaller: h or 9?
9
Let w = 0.93 + -0.23. Suppose -2*u + 5 + 20 = 5*i, -4*u = -5*i + 25. Which is bigger: u or w?
w
Suppose 0 = -5*y + 312 - 387. Which is smaller: -12 or y?
y
Let f(k) = -k**2 - 21*k + 22. Let l be f(-22). Suppose -j + l = -3*g - 11, -2*g + 38 = 2*j. Does j = 18?
False
Let z = 30 - 49. Let b = -21 - z. Let c = -49/4 - -43/4. Is b >= c?
False
Let h(w) = w**3 - 6*w**2 + w - 5. Let s be h(4). Let j = 34 + s. Which is bigger: -0.04 or j?
j
Suppose -7*j + 3*j + 5*p + 36 = 0, 3*j = -4*p - 4. Suppose -3*y = 3*k + 6, -k + 8 = -y - j*k. Is 2/35 > y?
False
Let m = -1059 + 1069. Which is greater: m or -21?
m
Let q(d) = -d**3 + 9*d**2 + 12*d - 15. Let x be q(10). Suppose -2 = -2*b - r - 0, 13 = -x*b + 2*r. Which is greater: 0 or b?
0
Let d(x) = -3*x + 4 - 6*x**3 - 2*x**2 + 7*x**3 + 1. Let g be d(2). Is -2/29 equal to g?
False
Let v(m) = -m**3 - 36*m**2 + 3*m + 103. Let b be v(-36). Which is bigger: 100 or b?
100
Let m be (81 - -4) + (-8)/2. Let v be m/(-12) + 1/2. Which is smaller: -5 or v?
v
Let f(o) = -o + 4. Let k be f(-8). Let l(i) = i**3 - 11*i**2 - 15*i - 8. Let a be l(k). Let x be 2 + 2 + a/14. Do 1 and x have the same value?
False
Let z be (-8 + 7)*(-1 - 0). Let m = z + 0. Are m and -1 nonequal?
True
Let h be (-14)/140*(-92212)/10. Let j = h + -922. Which is smaller: 1 or j?
j
Suppose 13*c + 1615 - 484 = 0. Which is greater: c or -89?
c
Suppose 3*m = -4*c - 70, 4*c - 5*m = -3*m - 60. Let x(d) = -d**3 + 4*d**2 + 3. Let h be x(4). Suppose 1 + 2 = h*u + 2*q, 11 = -2*u + 3*q. Is u < c?
False
Suppose -5*t - 20 = 0, 0 = 3*n + t - 5. Suppose w = 5*c + 177, -c + 4*w = n*c + 132. Which is smaller: c or -37?
-37
Let v(w) = -32*w**2 + 7*w + 8. Let l be v(-1). Is l less than 1?
True
Suppose 3*b - 2*l - 8 = 0, -3*l - 20 = -3*b + 2*l. Suppose -3*t + 8 = 2*c, -c + b*t + 11 = 5*t. Is 2/3 at least as big as c?
False
Suppose 211*v - 201*v - 40 = 0. Suppose 0 = 2*g - 4 - 4. Is g greater than v?
False
Let z be 33919/(-535) + (-2)/(-5). Are -65 and z equal?
False
Suppose 7*g + 81 = -108. Let t = g + 26. Let y = -1 + 2. Does y = t?
False
Let s = 3/47 + -397/329. Is 0.1 < s?
False
Let t = 114 + -113.94. Let b = -0.2 - -0.34. Let k = t + b. Is k > 8?
False
Let o be (-120)/72 + 142/42. Which is smaller: o or -0.4?
-0.4
Let k = -0.302 - -0.282. Which is greater: -1/8 or k?
k
Suppose 3*p - 943 = -3*v + 920, 3*p - 1855 = -v. Which is smaller: -1/2 or p?
-1/2
Let r be -2 + 0 - (1 + -3). Let f be r/(2/((-4)/6)). Let n = 3 - -1. Which is smaller: f or n?
f
Let a(i) = -23*i + 113. Let t be a(4). Which is smaller: 39/2 or t?
39/2
Let s be (1/4)/((-6)/8). Suppose -2*m - 2*d = -14, 6 - 5 = 3*m - d. Which is bigger: s or m?
m
Let m = 233.3 - 233. Let w = 3.4 + -9.8. Let f = 7 + w. Is m smaller than f?
True
Let i be (-856)/96 - (-18)/3. Are i and -3 non-equal?
True
Let r be 4345/(-44) - (-1)/(-4). Let c be (-11)/r - (-32)/(-126). Which is smaller: -2/3 or c?
-2/3
Suppose -2*m = 4*f - 8 - 16, -2*m = -5*f + 12. Suppose f*s = 4*d - 80, -4*s = 2*d - 2*s - 24. Let l = 2533 - 2516. Which is smaller: d or l?
d
Let j = 250 + -333.2. Let z = j - -83. Which is greater: z or 38?
38
Suppose -3*k + g + 87 = 0, -5*k - 4*g + 230 = 68. Suppose -5*x = 3*c - 22, -3*c + 4*x - k + 7 = 0. Which is smaller: c or 15?
c
Let u = 1 - 79. Let f = u - -75. Which is smaller: 1/3 or f?
f
Suppose -f = -5*j - 53, -f + 6*f + 25 = -4*j. Is j smaller than 0.2?
True
Let w be (336/(-99))/(-16)*(-2)/49. Is w at most -1?
False
Let i = -2.3 - 9.7. Let s = 0.3 + 6.7. Let c = s + i. Which is greater: c or -1?
-1
Let d be 32/24*45/6. Suppose 2*k = -4*a + 16 + d, 2*k - 5*a = -10. Let p be 602/770 - 3/k. Is 0 smaller than p?
True
Suppose 2*n = n - 282. Let i = n - -14944/53. Let m = 2 + -2. Is m greater than i?
True
Let v be 3/((-3)/(-2))*4. Let g be v/(-10)*5/(-2). Let f be 72/88 + 48/264. Which is smaller: f or g?
f
Suppose -10*d - 10224 = -26*d. Which is greater: d or 638?
d
Suppose -52 = -3*i + 7*i. Let a(m) = -45*m - 284. Let z be a(-6). Are i and z unequal?
True
Suppose -12*m - 3*k = -9*m - 1299, 3*m - 1291 = k. Which is smaller: 432 or m?
m
Let t be ((-19580)/84)/5 - (-18)/63. Is t not equal to -46?
True
Suppose -4*o - 4*z + z - 20 = 0, 0 = 3*o + z + 20. Is 6 not equal to o?
True
Let t = 137 + -385. Is t at least as big as 3?
False
Suppose -4*y = 8, 4*y - 29 - 43 = 5*s. Is -47/3 <= s?
False
Let v(a) = 13*a + 64. Let g be v(-5). Which is smaller: g or -18/49?
g
Let y(c) = -c + 9. Suppose -j - 4*j + 25 = 5*l, -20 = -4*j - 5*l. Let k be y(j). Suppose -10 = -2*a + k*p, 0 = 5*a - 5*p - 10. Which is greater: a or -1/5?
-1/5
Suppose -4*i = -2*i + 18. Suppose -22 = 2*w - 64. Let h be (4 + w/(-12))*-4. Are h and i unequal?
False
Suppose 0 = 5*s + 5*i, -5 = i - 4. Let m be (-6)/4*(1 + s). Is -11 at least m?
False
Let o = 12/31 + -22/217. Let g(x) = 20*x**2 + 16*x + 5. Let r(b) = 7*b**2 + 5*b + 2. Let w(d) = 6*g(d) - 17*r(d). Let k be 