*m + 2*o. Let q be 9 - m - (0 + 1). Does 1 = q?
False
Let v = 0 - -0.1. Let h = v + -0.1. Let c = -1 + 0.8. Which is smaller: c or h?
c
Let g(h) = 2*h - 16. Let p be g(14). Let c(b) = -b + 15. Let w be c(p). Is 1/2 less than or equal to w?
True
Let h = 3 - 0. Let j = h + -4. Let g = 3 + j. Which is smaller: g or 1?
1
Let v = -1.2 + 4.2. Is -23 smaller than v?
True
Suppose -2*c + 20 = -14. Let u = c + -18. Is u greater than or equal to 8?
False
Let m = -5 + 4.7. Let a = -0.3 - m. Let n = a - 0.2. Is -0.2 bigger than n?
False
Suppose -3*a + 0*a = -4*q - 41, -3*q = -4*a + 36. Which is smaller: q or -7?
q
Let s = 0.2 + -2.2. Let t be 3*22/3 - 1. Let q be t/(-15) + (-1)/(-1). Is q greater than or equal to s?
True
Suppose 7*j = 9*j - 98. Let u be (42/j)/((-16)/(-14)). Let v = 3 + -2. Which is smaller: u or v?
u
Suppose 12*m + 4 = 8*m. Which is greater: m or -5/8?
-5/8
Suppose 5*w - 23 = 3*x - 2*x, 5*x + 15 = 0. Suppose 8*v + 2 = -2*r + 4*v, 0 = 4*r - w*v - 8. Which is greater: -0.1 or r?
r
Let y be 0*(-2 - -1) + 4. Let i(h) = -4*h + 1. Let l be i(-1). Suppose -3*o = -2*o - l. Which is greater: o or y?
o
Let l = 32 - 31. Which is bigger: 3 or l?
3
Let g = -3.8 - -3.9. Which is greater: -2.3 or g?
g
Let s = -13193/450965 + -2/4465. Let g = s - 181/707. Let b = -2 + 4. Which is greater: g or b?
b
Suppose 17 + 6 = -4*h + 3*n, n + 4 = -h. Is -3 > h?
True
Let v = -153/2 - -75. Let w(u) be the third derivative of u**4/12 - u**3/6 - 2*u**2. Let r be w(-1). Is v less than or equal to r?
False
Let p(m) be the second derivative of -m**3/6 + 2*m. Let f be -3*2*-1 + 1. Let n be p(f). Is -6 > n?
True
Let p be (-77 + -1)*(-1)/1. Let b = -57 - p. Let w be (-51)/b - (-2)/9. Which is smaller: 2 or w?
w
Let s = 8 - 6. Let b = s + -2. Which is greater: b or -2/9?
b
Let q = 48 + -19. Is 27 at least as big as q?
False
Let u = 6602292/17 + -388165. Let k = u + -205. Which is bigger: k or 1?
1
Let f be (-101)/125 + 3*16/60. Which is smaller: f or 0?
f
Suppose -p = -5*y + 11, 5*y - 9 = -5*p + 86. Suppose -2*v = -10, 5*j - 2*v = j - p. Which is greater: j or 1/12?
1/12
Let b(d) = -3*d**3 - 13*d**2 + 5*d + 6. Let y be b(-5). Which is smaller: 32 or y?
y
Let i be (-6)/21 + 8/(-70). Let t = 0.19 + 0.01. Let g = -0.1 + t. Which is smaller: i or g?
i
Let d = -13 + 13. Does -3/31 = d?
False
Suppose 16 = -2*a - 0*a. Let j be 0 + -4 - 34/a. Is j at most as big as 2/15?
False
Let p = 536 - 14474/27. Let v = 20/27 + p. Let y(w) = w + 12. Let h be y(-11). Which is smaller: v or h?
v
Suppose 0 = 3*a - a + 3*u + 2, 4*a - 4*u = -44. Let h(d) = -d - 8. Let c be h(a). Does 1 = c?
False
Let s = 1212 + -78782/65. Let k = -144/455 - s. Which is smaller: k or 2/3?
k
Let b(v) = -2 + 2*v**2 + 4 - 2*v - 3*v**2 - 4. Let l be b(-2). Is -2 less than or equal to l?
True
Suppose -r + 2 = 4*f + 19, -5*r + 2*f + 25 = 0. Let s = -13 + 8. Let h = 7 + s. Is h at most r?
True
Let v(q) = -q + 1. Let i be v(0). Let k be (3 + 3)/((-60)/(-27)). Let c = -11/5 + k. Is c bigger than i?
False
Let v be 1*-1*(-2 - -2). Let p(z) = 10*z. Let d be p(-2). Let k be (-10)/8*8/d. Which is bigger: v or k?
k
Let w = -29 - -30. Which is greater: w or -1/3?
w
Let x = -5996629/13 + 461495. Let s = x + -216. Which is bigger: 0 or s?
0
Let a be (5 - 6)*1/1. Is a != -1?
False
Let r = -0.1 - -1.1. Let p = 0 - 2. Let x = -1.9 - p. Is r greater than or equal to x?
True
Let f be 3 + (-545)/105 + 2. Is f greater than or equal to 2/11?
False
Let m = 65 + -58. Do 45/7 and m have the same value?
False
Let a = 0.7 + -1.7. Do -0.7 and a have different values?
True
Let g(u) = u**2 + 2*u - 2. Let c be g(-2). Let a = c - -4. Suppose -a*f + 4 = -4*f. Is f < -5/6?
True
Suppose -5*j + k = -1 + 2, -1 = 4*j - k. Suppose j = -0*m - m + 2. Which is smaller: 6 or m?
m
Let k be -2*2/6*1. Let f be 4/(-2)*9/(-6). Which is bigger: f or k?
f
Suppose -2*p - 5*c + 30 = 0, -2*p = 3*p - c - 48. Suppose -3*n - p = 2*n. Is n at least as big as -2?
True
Suppose 2*r + 0*r = 10. Suppose -6 = -5*j + 2*j. Suppose -4*y - j*d - 1 = 1, -r = -2*y + d. Is y <= 1?
True
Let x be -1 - -5*(-6)/15. Which is smaller: 0 or x?
x
Let l = -0.057 + -2.643. Let o = -1.7 - l. Is o < -3/7?
False
Suppose -2*d = 2*d - 20, 4*t - 33 = -5*d. Do 2 and t have the same value?
True
Let d(y) = -y**2 + 16*y + 17. Let u be d(13). Is -1 not equal to u?
True
Let z = -3.1 - -3. Let g = -182.94 - -183. Which is bigger: g or z?
g
Let m be ((-3)/2)/((-6)/(-8)). Suppose -20 = 4*h - 4*d, h - 20 = 4*h - 4*d. Let g be h/3*4/(-8). Which is greater: g or m?
g
Let r be -2 - -3*(-4)/3. Let d(p) = -p**3 + 3*p**2 + 5*p - 9. Let a be d(4). Which is smaller: a or r?
r
Let g(b) = -b**2 + 5*b - 3. Let o be g(2). Let t be (o/27)/(2/30). Which is smaller: t or 1?
1
Let s be 9/(-4)*5/(525/(-40)). Do s and 0 have the same value?
False
Let n(d) = 20*d**2 - 17*d + 11. Let i(s) = -7*s**2 + 6*s - 4. Let w(b) = 17*i(b) + 6*n(b). Suppose 0 = 9*h - 13*h. Let v be w(h). Is v != -2?
False
Let n = 21 + -14. Suppose -18 = -m + 4*o, -3*m + 2*o = 3 - n. Which is smaller: -1 or m?
m
Let d(l) = 21*l - 11. Let v be d(3). Is 50 not equal to v?
True
Let x be (1/(-6))/((1 + -5)/(-12)). Let y(g) = -g**2 - g + 4. Let w be y(0). Suppose -2*q + w*q + 2 = 0. Which is smaller: x or q?
q
Let m = 0.25 - -4.75. Is m bigger than 1?
True
Let i = -6 + 13. Suppose -k - 3*s = 3*k + i, 2 = -4*k - 2*s. Is k != 4?
True
Let n = 7/3 + -29/15. Which is greater: -1 or n?
n
Let t be 1/(-4) - (-34)/8. Suppose m - t = -4*j, -j = 4*m + j - 30. Is m at least 8?
True
Suppose 0 = v + 2*g - 6 - 2, 80 = 4*v - 4*g. Is 17 greater than or equal to v?
True
Suppose h + 32 = -28. Which is greater: h or -58?
-58
Let f = 35 - 30. Is 5 < f?
False
Let w = 4265529 - 18256465709/4280. Let v = -2/535 + w. Let p = v - -1/8. Which is greater: p or 0.1?
0.1
Let l be (1 + -2)*(-2 + 1). Let s = 8 + -4. Suppose -18 = -5*d + s*m + 12, -2*m - 18 = -4*d. Is l equal to d?
False
Suppose -2*w = w - 2187. Let d = w + -485. Let v = d - 981/4. Which is smaller: v or -1?
v
Let z = 75 + -601/8. Are 0 and z non-equal?
True
Suppose -4*p + 23 = -5*s, -1 = 3*s + 8. Let c be (-6)/p - -1 - -4. Suppose 5*h + 4*q + 11 = -5, -8 = -h + c*q. Is h at most as big as -1?
False
Let x be 3/((-54)/8)*51/(-442). Is 1 bigger than x?
True
Let y = -0.26 + 0.3. Let q = -0.24 + y. Which is smaller: 0 or q?
q
Let q = 54 - 19. Is 33 at least as big as q?
False
Let b = -121/21 + 45/7. Which is smaller: b or 12?
b
Suppose 5*i - 2*k - 4 = -7, 5*i - 25 = -5*k. Is i > 2/399?
True
Let y be (-1 - (-3)/2)*-14. Let n be 2/7 + 2/y. Which is bigger: n or -6/5?
n
Let n = 13 + -13.2. Do 0 and n have the same value?
False
Let w = 4 - 6. Let b(t) = t**3 - 7*t**2 - t + 5. Let r be b(7). Is w >= r?
True
Let z(m) = 3*m**2 + m + 1. Let q be z(-3). Let i = q - 25. Is i > 0?
False
Let a = -3262499/9414 + 25/9414. Let d = 347 + a. Is d less than -1?
False
Let g = -54 + 16. Which is bigger: 1/2 or g?
1/2
Let u be 30/45*2/4. Let b = 1 - 0. Which is bigger: u or b?
b
Let u = 20 - 19.9. Let n = u - 0.2. Let j(y) = -y + 3. Let s be j(4). Do n and s have the same value?
False
Suppose 5*z = 3*s + 2 - 13, 0 = z + 5*s - 9. Suppose -m = -2*d - 7, -4*m - 18 = -2*m + 4*d. Let t be 132/(-60) + m + 3. Which is bigger: t or z?
t
Let m(k) = -k**2 - 6*k + 1. Let q be m(-5). Let n(t) = t**3 - 6*t**2 + t. Let y be n(q). Suppose 3*f = y*f. Which is smaller: -1 or f?
-1
Suppose -6*o + 90 = -o. Which is bigger: o or 19?
19
Let i(k) = -2*k**2 + 11*k + 23. Let w be i(7). Do w and 3 have the same value?
False
Let x(w) = -w**2 - 2*w - 4. Let b be x(-3). Let f = -6 - b. Let k be (-3)/20 + 4/10. Which is bigger: f or k?
f
Let b(m) = -m**3 - 4*m**2 + 6*m + 6. Let q be b(-5). Which is bigger: -1/47 or q?
q
Let s = -0.1 - -0.1. Suppose -3*k = -2*k - 1. Let d be k*7/((-252)/8). Which is smaller: d or s?
d
Let o be 8/4*657/(-6). Let b = o + 2407/11. Let z = -1 - 0. Does b = z?
False
Let n = 0.1 - 0.2. Let z(m) = m - 1. Suppose 4*r = 3 + 1. Let o be z(r). Which is smaller: n or o?
n
Let o = -4 - -4. Is o at least 1?
False
Let o = 33 - -10. Which is smaller: -0.1 or o?
-0.1
Let x = -0.8 + 4.8. Let m = x - 11. Let d = 8 + -23/3. Which is smaller: m or d?
m
Let d(m) = m**2 + 2*m + 1. Let a be d(-3). Suppose -4*y + k = -1, 4*y - 9 - 7 = -a*k. Is y <= 2?
True
Let q = -5 + 3. Supp