24 - -52.876. Let n = 48.8 - a. Let b = -4 - n. Is b equal to 2?
False
Let f be (9/(-2))/((-26)/4 + 7). Suppose -n = -2*n - 10. Which is smaller: n or f?
n
Let f = -0.41 + -0.09. Let d = f - -0.4. Which is smaller: 0 or d?
d
Let v = -1537/7 - -219. Which is bigger: v or -0.1?
-0.1
Let c = 3 + -42. Let l be 2/(-6) - c/36. Is 2 equal to l?
False
Let r = -18 - -30. Suppose l - r = -f, -4*f - 6 - 2 = 0. Let j be 11/l + 3/(-6). Which is smaller: j or 0?
0
Let t(w) = -w**2 - 9*w - 2. Let i be t(-8). Let r be ((-3)/2)/(6/(-8)). Suppose r*g + i = -s - g, -g - 22 = -3*s. Which is bigger: s or 5?
s
Let n = -13 - -18. Which is smaller: n or 4?
4
Let g be 1/((-1)/(-8)*4). Is 3 > g?
True
Suppose -14*k + 76 = -18*k. Is -81/4 < k?
True
Let a be -2 + 0 - 5618/(-2725). Let y = 2/109 + a. Is y at least -1?
True
Let m(j) = 3*j + 5. Let r be m(-4). Suppose 0 = -0*k + k + 6. Which is smaller: k or r?
r
Let g be ((0 - 1)*0)/2. Let c be (2 + -2)*(1 - g). Let f be (-39)/260 - (-1)/4. Which is greater: c or f?
f
Suppose 0 = -4*d + l, -5*d + 2*d - 19 = 4*l. Suppose -g = -4*g + 2*p - 1, 5 = 5*g - 2*p. Suppose g*t = -t. Is d at least as big as t?
False
Suppose 0 = 3*s - 2*j + 2, 4*s - 10 = -4*j + 14. Let p be s*(0 - 1)*2. Is -4 equal to p?
True
Let d = 0 + 0. Let p = -13/84 + 5/21. Let z = 1/4 + p. Is d != z?
True
Let z(y) be the first derivative of y**4/4 + 2*y**3/3 + 2*y + 3. Let w be z(-2). Suppose -7 + 5 = w*j. Which is greater: 3/7 or j?
3/7
Let h be (1 + -3 + 2)*1. Suppose h = 2*b + b. Which is smaller: b or 3?
b
Let k be -1 + -1 - (-228)/30. Let w = -262/45 + k. Let f be 0*1*1/(-2). Which is bigger: w or f?
f
Let s = -8 + -7. Is -17 at least as big as s?
False
Let w = 31 + -59. Let j be 1/2 + 6/w. Are -1 and j nonequal?
True
Suppose 2*t + 4*x = -14, 2*t + 0 - 4 = 2*x. Let r be (-35)/(-98)*(-12)/(-10). Which is greater: t or r?
r
Let c(p) = 4*p**2. Let g be c(-1). Suppose -g*v - 3 + 21 = 2*m, 2*m - 4*v = -22. Which is smaller: m or -1/2?
m
Suppose 10 = 5*s, d + 2*s - 24 = -d. Which is smaller: 12 or d?
d
Let b be 32/(-70) - (-32)/(-80). Which is greater: b or -1?
b
Let k(v) = -2*v + 3. Let b(o) = -o**3 - 3*o**2 - o - 1. Let s be b(-3). Let d = 2 + s. Let p be k(d). Is -6 not equal to p?
True
Let x(d) = -d**3 + 9*d**2 + 11*d. Let u be x(10). Let v be 8/u*(-20)/(-24). Is -0.08 > v?
False
Suppose -4*b = -9*b + 60. Suppose -2*z - 4 = -b. Is 4 equal to z?
True
Suppose -6*n + 4*j + 8 = -2*n, 4*n - 36 = -3*j. Let s be n*-1*(-1)/2. Which is bigger: 0 or s?
s
Suppose 6*v = -2*v - 120. Which is bigger: v or -14?
-14
Let y = 20 - 14. Suppose 0 = 5*s - 2*s + y. Let m be (2/(-5))/(6/40). Does s = m?
False
Suppose 2 = -0*y + y. Suppose 7*f - 2*f + 60 = 0. Let j be (-2)/f + 1/3. Is j bigger than y?
False
Let m(x) = 4*x - 5. Let l(t) = 5*t - 5. Let q(n) = 5*l(n) - 6*m(n). Let b be q(-6). Is -2/17 < b?
False
Suppose 2*c + 25 + 15 = 0. Which is greater: -21 or c?
c
Let q = 1150/9 + -128. Let h = 3 - 2.9. Let a = -0.1 + h. Is a greater than q?
True
Let r(y) = 44*y - 12. Let q be r(4). Which is greater: 163 or q?
q
Let s be 171/(-54) - (-1)/6. Is -4 at least as big as s?
False
Suppose 3*z + 3*p = 6, 4*z + p - 8 = 2*z. Let v be (2/z)/(7/(-105)). Is v at most as big as -3?
True
Let w = -1782 + 65929/37. Are w and 1 non-equal?
True
Let t be 380/(-80) + (6 - 1). Which is greater: t or 0.9?
0.9
Let n be (-1)/(-5) + 28/(-165). Which is smaller: n or 1?
n
Suppose 0 = -2*k - 6, -3*t = 2*t + k - 2. Which is smaller: 4/63 or t?
4/63
Let n be 2*(0 - 3/(-2)). Suppose n*l + l = 0. Which is bigger: -2/5 or l?
l
Let u = -8 - -9. Let r = u + -12. Is 0.1 equal to r?
False
Let u(n) = 8*n + 3 + n**2 + 2*n**3 - 8*n**2 - 3*n**3. Let x be u(-8). Let i = x + 1. Is 4 less than i?
False
Let v be 8/9*(-9)/30. Which is smaller: v or -0.1?
v
Let r(c) = -2*c - 13. Let m be r(-6). Is m < -1?
False
Let m(q) = -q**2 - 5*q - 2. Let o be m(-4). Suppose o*j = -3*j + 10. Suppose 3*t + j = 2*g, 5*g + t - 2 = 3. Is g less than or equal to 1?
True
Suppose 0 = 12*q - 10*q + 12. Let j be q + (2 - (-1 + 4)). Is -7 at least as big as j?
True
Suppose 5*v = -12 - 8. Let l(o) = o - 5. Let z be l(2). Do z and v have the same value?
False
Let p = -31 + 34. Which is greater: p or 7/3?
p
Suppose 6*r = 4*r. Suppose v = -r*v - 4. Which is smaller: v or -5?
-5
Let d be (3 + -3)/((-2)/1). Which is smaller: d or -4?
-4
Let c = -123 + 124. Is c at most as big as 20?
True
Suppose 0 = -6*u + 13 + 11. Are 8 and u equal?
False
Suppose 0 = -15*a + 13*a. Let n be 12/(-26)*2/6. Is n less than a?
True
Suppose 3*i - 43 = 5*p, -2*p = 4 + 6. Which is bigger: 19/4 or i?
i
Let z = 19 - 14. Let p be (-3 - -3) + 1/(-2). Which is smaller: p or z?
p
Let f = -1/1235760 + -37769768603/45723120. Let p = f + 826. Which is bigger: 1 or p?
1
Suppose 4*t + 1 = 21, -2*t = -j - 8. Suppose 6 = 3*r - 0*q - q, -j*r - 4*q + 18 = 0. Suppose -r*y - 2*y = 5. Which is greater: y or -2?
y
Let p = -23 - -13. Let h(c) = c**3 + 9*c**2 - 11*c - 13. Let g be h(p). Is 3 smaller than g?
False
Let u(x) = -x**3 - 3*x**2 + 5*x + 6. Let n be u(-4). Does 1 = n?
False
Suppose -5*x + 2*x + 3*d = 15, -x - 20 = -4*d. Which is greater: x or 2/3?
2/3
Let s = -836/35581 - -2/299. Let g = 335/1309 - s. Which is greater: -1 or g?
g
Suppose 0 = 5*x - 1 + 11. Let c be (-6)/((-6)/8*x). Is -4 < c?
False
Suppose 3 = -7*v + 8*v. Is -1 greater than v?
False
Suppose 0 = 3*b + b - 5*k + 19, b + 8 = -2*k. Let i(p) = p + 4. Let z be i(b). Let g be (3/(-12)*z)/1. Which is smaller: g or 0?
0
Let z = -7 - -1. Is -7 greater than z?
False
Let g be ((-2)/(-4))/(2/20). Suppose 8*n - 3*n = -g. Is n at least 0?
False
Suppose 0 = 2*h + 5*q + 18, 0 = -h - h - 3*q - 10. Is h < 3/4?
False
Suppose 2*n + 3 = -3. Let d be 3*((-4)/n)/(-2). Let j(w) = w - 4. Let c be j(4). Is c smaller than d?
False
Let g be (21/9 + 4/(-6))*-3. Let k be 22/(-4)*24/36. Which is bigger: k or g?
k
Let h be ((-4)/14)/((-1)/7). Suppose h = 2*d + y + 6, -4*y = 8. Is 2/5 > d?
True
Let b = 5 + -6. Let w = b + 0. Which is greater: w or 2?
2
Let q = 0.9 + -2.9. Is q smaller than 2?
True
Let o be (5/(-105))/((-16)/566). Let m = -1/56 + o. Is m less than 3?
True
Let a = 0.7 - 0.4. Let l = 1 - a. Let k = l + 0.3. Is k smaller than -0.1?
False
Let r = -2 + 2.1. Let z = 0.2 - r. Let o = -76 - -75. Which is bigger: o or z?
z
Let z = 3.2 - 2.16. Let k = z - 0.04. Which is smaller: 5 or k?
k
Let h(v) = v + 7. Let w be h(-7). Suppose 2*l + 5*n + 4 = 0, 2*l + n + 2*n = w. Let o be (-1)/9 + 1/l. Which is bigger: 1 or o?
1
Suppose j + 2*j + 2*v - 18 = 0, -4*v = -3*j. Suppose -3*m = -a + j, 2*m + 4 = -0*a + a. Suppose -2*h = -m*h + 2. Which is greater: h or 2/11?
2/11
Let w(s) = -127*s + 127*s - 2*s**2. Let j be w(2). Is j less than or equal to -8?
True
Let v(j) = j + 4. Let d be v(-3). Let u be (3 - 3)/(-2) + d. Is -2/7 smaller than u?
True
Let z = 0.5 - 0.6. Let j = 2.2 - 2. Does j = z?
False
Let x(w) = -5*w - 35. Let t be x(-7). Let s be 0 - ((-3)/(-8))/(-1). Is s less than t?
False
Let h(p) = -p**3 - 6*p - 2*p**3 + 4*p**3 + 0 - 3*p**2 + 3. Let f be h(4). Suppose -28 = 5*k - 3. Is k greater than or equal to f?
True
Suppose s + 2*n - 1 = 4, 0 = -s + 2*n - 3. Which is smaller: s or -1?
-1
Suppose 3*d = d - 2. Is d > -6/17?
False
Let b = 42 - 55. Which is smaller: b or -12?
b
Let j(m) = -m**3 - 7*m**2 - 7*m - 8. Let b be j(-6). Is b <= -7?
False
Let y be 28/26*(-5789)/(-14). Let a = -445 + y. Which is bigger: a or -1?
a
Let m = 3042/19 - 160. Let l = 1 + 1. Let v be 2 + (l - (-90)/(-21)). Which is smaller: v or m?
v
Suppose -3*x - 3*u = -30, x = -x + 2*u + 4. Suppose x*b + 6 = 9*b. Is 2 bigger than b?
False
Suppose -f + 1 = 1. Which is bigger: f or -1/19?
f
Suppose -16 = -5*f + 14. Suppose -f + 8 = o. Which is smaller: o or 1?
1
Let x(r) = -r + 9. Suppose 6*h = h - 50. Let n = -1 - h. Let w be x(n). Is w at least as big as 0?
True
Let v = 0.6 + 4.4. Let f = -2 + v. Is f at least as big as 0.4?
True
Suppose 6*j - 9*j + 6 = 0. Are j and 3 non-equal?
True
Let z = 0.183 - 0.083. Which is bigger: z or 3?
3
Let s = -1556 - -26464/17. Is s at most as big as 0?
False
Suppose 0 = -0*k + 2*k - 464. Let h be (-132)/k + (-1)/(-2). Which is greater: -1 or h?
h
Let z = 0.3 - 0.29. Does z = 1?
False
Let t be (-18)/(-120) - 9/(-15). Is 4 at least as big as t?
True
Let d(t)