Let a = -4 + 5. Let m be (-4)/10 - 14/(-35). Which is smaller: m or a?
m
Let s = 0.3 - 0.6. Let m = -0.4 - s. Let w = m + -1.9. Is -2 greater than or equal to w?
True
Let f = 437/3 + -15301/105. Is f smaller than 0?
True
Let m(o) = 2*o**2 - 57*o + 27. Let f be m(28). Is -2/137 at most f?
False
Let z = 0.07 - 0.17. Let m = 0.4 - 0.5. Let x = 0.1 - m. Which is greater: z or x?
x
Suppose 33 = -10*w + 7*w. Is -11 at most as big as w?
True
Let d be 29 - 1 - (-30 - -35). Is 21 smaller than d?
True
Let w be (2/(-8))/((-5)/(-8)). Let i be (3 + -2)/(35/(-10)). Which is bigger: w or i?
i
Let i be ((-5)/(-15))/((-4)/(-108)). Which is smaller: i or 72/7?
i
Let g = 18.06 - 0.06. Let u = 12 - g. Which is smaller: -0.1 or u?
u
Let c(l) = -2*l**2 - 20*l - 21. Let y be c(-10). Are -21 and y unequal?
False
Let k(h) = h**3 - 8*h**2 - 5*h + 1. Let l(u) = -6*u**3 + 40*u**2 + 24*u - 4. Let g(d) = -11*k(d) - 2*l(d). Let t be g(-7). Do -2 and t have the same value?
False
Let u(n) = 2*n**2 + 2*n - 1. Let j be u(1). Suppose j*h - 5 = 2*h. Suppose h*l - 5 = -0*l. Is 2 at least l?
True
Let g = 144 + -283/2. Which is smaller: g or 4?
g
Let s = -23 + 17. Let h(m) = -m. Let v be h(s). Do v and 5 have different values?
True
Let t = 0.24 + -1.24. Which is bigger: 1.4 or t?
1.4
Let b = 0.05 - -0.02. Let k = b + -0.07. Is k at most as big as 1?
True
Let g(o) = o**2 + 5*o + 1. Let n be g(-4). Let w be 4/(-8) + (-1)/2. Let z be 2*(w + 3 - 3). Which is smaller: n or z?
n
Let p(r) = 4 - 4*r**3 + r**3 + 2*r**3 - 8 - 5*r**2 - r. Let g be p(-5). Is 2/25 at least g?
False
Let q(c) = c**3 - 4*c**2 + 3*c + 3. Let f = -2 - -5. Suppose m = f*m - 6. Let t be q(m). Which is bigger: t or 1?
t
Let m(u) = -u**2 - 6*u + 10. Let q be m(-9). Let c be 4*3/(-12)*17. Is c less than or equal to q?
True
Let g be 4/(28/(-8) - -4). Is g not equal to 7?
True
Suppose 53 = 2*t - 37. Let p be (6/(-9))/(12/t). Is p greater than or equal to -2/3?
False
Let q be (-14 - 1)*4/(-12). Suppose 5*m + 25 = 0, 2 = -3*x - q*m + m. Suppose -2*b = -u + 3*b - 3, -4*u + x = -2*b. Is u < 5?
True
Let o be 3/(-15) - (-121)/(-570). Let i = 3/38 + o. Which is greater: -1 or i?
i
Suppose s - z + 34 = 2*s, 2*s - 93 = 3*z. Are s and 39 equal?
True
Let d(t) = 5*t + 4. Let r be d(-1). Is 2/7 greater than r?
True
Let p = -23 + 14. Let x = p + 17. Is x >= 1?
True
Let s be 7/(385/(-53)) - (1 + -2). Which is bigger: -1 or s?
s
Let l be 0/((-2)/(-1 + -1)). Suppose l = 3*p - 16 + 19. Is 0 at least as big as p?
True
Let y(f) = -5*f + 4. Let d(w) = w - 1. Let s(t) = -9*d(t) - 2*y(t). Let b be s(-8). Is -7 at most as big as b?
True
Let m = -252671/420 - -4212/7. Let l be (4 - (-130)/12)/(-70). Let x = m + l. Which is bigger: 0 or x?
0
Let c(u) = -48*u - 4. Let i be c(3). Let g = -2 - i. Let o = -1165/8 + g. Is -1 >= o?
False
Suppose -4*t - b = -6*b - 29, 3*b + 20 = 5*t. Let k = -178/399 - -1/57. Is t less than or equal to k?
False
Let h(m) be the first derivative of -m**4/4 - 2*m**3 - 3*m**2 - 3*m - 3. Let c be h(-5). Let n be (c/5)/(12/(-75)). Which is smaller: 1 or n?
n
Let u be 1*4/(-10)*(12 - 10). Let h(s) = -s**3 + 1. Let n be h(1). Does n = u?
False
Let m = -2 + 1.73. Let u = -0.2 - m. Let t = u - 4.07. Is t <= -1?
True
Let d be 2/6 + 104/12. Let t = d + -6. Let q = -4 + t. Which is smaller: -2/5 or q?
q
Suppose -2*u = -3*y + 4, -2*u - 3 + 7 = -5*y. Which is smaller: u or -10?
-10
Let k be 4/(-3)*6/4. Let f be ((-15)/72)/((-3)/(-12)). Which is bigger: k or f?
f
Let z(x) = -x**3 - 2*x**2 - 3*x - 3. Let h be z(-2). Suppose 0*o - 2*o + 6 = 0. Is o bigger than h?
False
Let v = 8.7 - 6.7. Suppose 5*c = 2*y + c + 20, 0 = -5*y - 3*c + 15. Which is bigger: v or y?
v
Let k = -5 + 10. Suppose 2*x + 48 = 5*d, 4*x + 90 = -x + k*d. Let t be 2 + -1 + 20/x. Is t < 1?
True
Let p(k) = -k + 4. Let g be p(5). Let v be (-3)/(-2) + (-3 - g). Is v at least 0?
False
Suppose 3*k + 9 = 6*k. Suppose 5*r + 9 = -0*m - 3*m, -k*r + 1 = 5*m. Does 2 = m?
True
Let q be (-1 - (-4 - -1)) + 4. Which is bigger: 4 or q?
q
Let h be 2/9 - (-642)/27. Let j = h + -36. Let y be (-1)/2*j/(-15). Which is greater: -1 or y?
y
Let o(c) = -c**3 - 11*c**2 - 11*c - 8. Let n be o(-10). Let y = n + -2. Which is greater: y or -3/10?
y
Let l = -0.08 - -0.28. Let m = 7.2 - l. Which is bigger: m or -2/3?
m
Let u = -15 - -17. Does u = 0?
False
Let v(l) = l**3 - 5*l**2 - l - 6. Let c be v(5). Which is bigger: -9 or c?
-9
Let p be (-26)/6 - 5/15. Do p and -6 have different values?
True
Let c = -15 + 14.86. Is 2/7 > c?
True
Let n = -21 - -27. Is n smaller than -2?
False
Let b = -0.3 + 0.2. Let d = -3 - 27. Let h be (-3)/(-2) - (-57)/d. Which is greater: h or b?
b
Let p be (-7)/(-7) + 1722/16. Let z = p + -109. Is z >= 1?
False
Let h = -12 + 17. Let q = -6 + h. Let c = -1 + 1. Is c at most q?
False
Let v be -3*(-10)/(-135) - (-79)/(-9). Which is smaller: v or 1/2?
v
Let l = -73/10 + 44/5. Let q(h) = -h**2 + 5*h - 5. Let o be q(4). Let z = o - -2. Is z > l?
False
Let l be 9/(-6)*16/(-12). Suppose 5*y - o + 4 = 0, 0 = l*o - o + 1. Suppose 1 = -5*u - 4. Is y < u?
False
Suppose m + 0 = 2. Suppose 5*w = -y - 3*y - 9, m*y = 4*w + 28. Is w less than or equal to -4?
True
Suppose 2*i + b = 6, -3*i - 6*b + 2*b = -14. Let p = i - -7. Which is bigger: 10 or p?
10
Let t = -48 + 1681/35. Which is smaller: -1 or t?
-1
Suppose -5*d + 1 = -9. Suppose 7 = 4*u - 1. Let z be 1*((-1 - 0) + u). Which is bigger: z or d?
d
Suppose 0*b - 2*b = -46. Is 22 < b?
True
Let b be -1*4*(-4)/8. Let q be 0 + b - (-22)/(-8). Which is bigger: -2 or q?
q
Let d = 110 + -105. Let p be 5*-2*-1 - 1. Suppose 0 = -4*a + p + 7. Is a <= d?
True
Suppose d + d - 12 = 0. Let y be d/4*6/(-9). Do -2 and y have the same value?
False
Let a be ((-148)/(-5))/((-28)/(-110)). Let o = 116 - a. Let g be 17/33 + 6/(-33). Is g less than o?
False
Let x = 1/35 - 39/140. Suppose 2*m = 5*u + 4, -7*u + 6 = 3*m - 2*u. Let o be m/(-4) + 7/6. Is o >= x?
True
Let h be 94/6 - 2/(-6). Let w = h + -4. Which is smaller: 11 or w?
11
Let x be (34/14 - 0) + -1. Let o = 136/105 - x. Let y = o - 8/15. Is -1 at least y?
False
Let d = 4 - 6. Let q(m) = -m - 4. Let x be q(-4). Let c = -1 + x. Is c smaller than d?
False
Let c = 0.11 + -0.01. Is c >= 1?
False
Let o be (-50)/(-12) + 1/(-6). Suppose 3*g = -4*c + 8*g + 17, -2*c = -2*g - 8. Does c = o?
False
Suppose 0 = -2*a - 2*a - 12. Let f be 2/(-4) - (-9)/(-2). Which is smaller: a or f?
f
Let i be (-33)/(-4) + 1/4. Let j = 9 - i. Let n = 0.1 + 0.9. Which is bigger: j or n?
n
Suppose -2 = -s, 3*h + 3*s - 14 = -2. Suppose -p + 6 = h*p. Let i be 6*-2*p/(-12). Is i at least as big as 3?
False
Let m be 74/(-164) + (-1)/(-2). Is m >= 1?
False
Let h(r) = r**3 - 4*r**2 - 6*r + 7. Let f be h(5). Suppose 7*v = 4*v - f*i + 5, 2*v + 5*i = -4. Which is smaller: 5 or v?
v
Let r = -4/23 - -58/69. Suppose -2 = 2*n - 3*n + 4*w, -5*n + w + 10 = 0. Let i be (2 - 3)*-1*n. Is r less than i?
True
Suppose 20*q = 19*q + 1. Is q >= 2/7?
True
Suppose b + 0*s - 2*s + 6 = 0, b = -3*s - 26. Do -15 and b have the same value?
False
Let d = 0.51 - 0.41. Suppose v - 12 = -v. Let f be (1/(-2))/(15/v). Is d >= f?
True
Let s(d) = 65*d + 3. Let r be s(3). Suppose -3*l = -15 + r. Let k be l/7 - 2/7. Is -0.1 at most as big as k?
False
Let x = -8.6 - -11.6. Which is smaller: 2/9 or x?
2/9
Let f be (8/20)/(2/(-20)). Let u(h) = h**2 + 5*h + 3. Let p be u(f). Is 0 bigger than p?
True
Let f be (1/1*0)/2. Let d be -2 + 1 + (8 - 3). Suppose d = 2*t - 0. Is f less than or equal to t?
True
Let h(r) = -21*r. Let x be h(-2). Which is smaller: 41 or x?
41
Suppose 4*x + 32 + 4 = 5*d, -5*d = 3*x - 8. Which is greater: 7 or d?
7
Let r = 22.951 + 0.049. Let t = r + -17. Which is bigger: 2 or t?
t
Suppose 4*p = 27 + 13. Which is smaller: 0 or p?
0
Suppose -3*x = 5*m + 3, 2*x + m = -3*m - 2. Is x smaller than 1/94?
True
Let j(o) = -235*o. Let i be j(2). Let u = i - -1907/4. Let m = -7 + u. Is m smaller than -1?
False
Let f be 6/4*4/(-6). Let c(g) = g**2 + 12*g + 8. Let s be c(-11). Is f smaller than s?
False
Let x = -1 - 3. Let u = 2 - x. Let b = -3 - -3. Is b at most as big as u?
True
Let g(y) = y**3 - 6*y**2 + 3. Let p be g(3). Is p <= -23?
True
Let m = 6 + -4. Let n be -5*((-2)/m + -1). Let b be (1/3)/((-5)/n). Are -0.1 and b nonequal?
True
Let v = 29 - 11. Suppose -v = 3*n - 6