2 - 2*m - 2. Let d be x(g). Is d greater than or equal to 1/2?
True
Let i be (-11)/44 + (-2)/(-104). Are i and 0 nonequal?
True
Suppose 4*w = -2 + 2. Let x = -1 + 1. Is x < w?
False
Suppose -2*q + 22 = k + 3*k, 5*q = 25. Suppose -k*p = -0*p + 18. Do p and -7 have different values?
True
Let n be 10/(-11) + (-10)/55. Let t = -14/33 - n. Which is smaller: 2 or t?
t
Let q(k) = -k + 3. Let d be q(2). Let a = 27 - 133/5. Which is bigger: a or d?
d
Let s be ((-8)/(-6))/(6/9). Suppose -s*k - 6 = -2. Let h be 0 + (-9)/6 - -2. Is k != h?
True
Let m = 6 + 2. Let b be m/28 - 30/56. Suppose -4*v + 3*p - 9 = 3, 0 = -v + 3*p - 12. Is b > v?
False
Suppose a - 2*l - 29 = 0, 2*a + a - 87 = -5*l. Let b = 26 - a. Which is smaller: b or -2?
b
Suppose -2*t + 7*t + 2*m = -18, -3*t - 3*m = 18. Let c(d) = -d**3 - 4*d**2 - 3*d - 1. Let k be c(t). Let l be k/(-12)*(-8)/3. Is l < 0.1?
True
Suppose 39 = -4*x + 5*b, -4*x - 89 = 3*b - 10. Is x != -16?
False
Suppose z + 3 - 4 = 0. Let y = -5/2 + z. Is y less than -3?
False
Let d(q) = -3*q**3 - q**2 + 1. Let f be d(-1). Suppose 3*x = -2*s + 29, -4*s - 2*x = f*x - 55. Let r be (2/s)/(3/6). Are r and -1 equal?
False
Let q(d) = -d - 15. Let s = -6 - 4. Let z be q(s). Is z bigger than -6?
True
Let n = 4 - 11. Let y be (-12)/n - 10/5. Which is smaller: 0.07 or y?
y
Suppose -s = -3*k - 1 + 5, s - 2 = k. Suppose -2*u + 8 + 2 = 0. Suppose t + u*c - 21 = 8, 5*c - 17 = 2*t. Which is smaller: k or t?
k
Let w(f) = -f**3 + 8*f**2 + 1. Let d be w(8). Is d less than or equal to 3/8?
False
Let d = -31.2 - -27. Let t = -5 - -1. Let i = d - t. Which is smaller: i or 1?
i
Let p be (-2 + 11/10)*6. Let g be 3/(-6) + (-187)/(-30). Let d = g + p. Which is greater: 0.6 or d?
0.6
Suppose 8 = -w - 3*l, -w + 3*w = 5*l + 17. Let h be (3/(-2))/(w/2). Let p be (-19)/7 - (-6)/(-21). Are p and h nonequal?
False
Let z = 0 + 0. Suppose 5*l = -0*l + 25. Suppose 0 = -5*d - l, -2*y = -2*d - 4 - 0. Which is greater: z or y?
y
Let g = 7 + -9. Let s be -4 - -1*(-3 - g). Is s at least as big as -6?
True
Let x = -5 + -14. Let i = x + 18. Are -0.03 and i non-equal?
True
Let x = 125 + -76. Is 49 bigger than x?
False
Let w be ((-4)/60)/((-2)/12). Is w less than or equal to -1?
False
Let o = -10.9 + 11. Let p = o + -5.1. Which is smaller: 3 or p?
p
Let s = 656/8073 - -2/351. Is 1 >= s?
True
Let h = -1 - -2. Let j = -0.19 - 0.01. Which is smaller: h or j?
j
Let g = 7585/7 + -1087. Are g and -4 equal?
False
Suppose 0 = -4*z + 5*z. Let g = 4 - 5. Which is smaller: g or z?
g
Let a = 4 - 7. Let w = a - -3. Is -1/4 less than or equal to w?
True
Let d be (-1*(-2)/(-10))/(-1). Which is greater: d or 0?
d
Let u be -2 + 2 + -2*1. Let z = u + 1. Suppose -6*o = -7*o. Is z at least o?
False
Let v(m) = m - 8. Let h be v(5). Let c = -4 - -7. Let b = c - 3. Which is smaller: b or h?
h
Let g(p) = p**3 - 8*p**2 + 9*p - 15. Let u be g(7). Which is smaller: u or 1/7?
u
Suppose -16 = -u - u. Which is greater: u or 10?
10
Let y be (5 - 0)/((-4)/(-8)). Let w be 8/y*(-45)/(-2). Let v be (3/w)/((-2)/(-8)). Which is smaller: v or 0?
0
Suppose 11*m = 7*m - 16. Which is bigger: -3 or m?
-3
Suppose 2*h + 46 = -4*l - l, 0 = 4*l + h + 35. Which is smaller: l or -7?
l
Let c(d) = 3*d**2 + 14*d + 16. Let p be c(-4). Which is bigger: 9 or p?
9
Let k(j) = -j + 3. Let c be k(1). Which is smaller: c or 4?
c
Let d = 0.16 + -1.19. Let r = -0.03 - d. Let k = -1.1 + r. Is k at most as big as -0.1?
True
Suppose -5*p = 4*c - 2*c + 8, -p + 8 = -2*c. Let w = -73 + 73. Is p at least w?
True
Let r = 6 + 9. Let l be ((-56)/(-10))/(6/r). Let u = 8 - l. Are -7 and u non-equal?
True
Let z = -16 + 10. Let s = 13 + z. Are s and 7 nonequal?
False
Let c = -1/137 + -113/3288. Which is smaller: c or -1?
-1
Let d = 34 - 31.7. Let o = 1.3 - d. Which is smaller: o or 29?
o
Suppose 3*z - 2*a = 2*z, 0 = -4*z - a - 9. Let l = -6 - z. Is -4 less than l?
False
Let k = -49/4 - -355/28. Is 0 > k?
False
Let u = -157577809/1561582 - 1/141962. Let p = 101 + u. Which is greater: p or 0?
p
Let m(f) = f + 4. Let j be m(-6). Let v be ((-2)/(-2))/((-1)/4). Let l = v + 3. Which is smaller: l or j?
j
Let m = -71 + 709/10. Let b = m - 2/5. Let o be (-4)/(-14) + 0/1. Is b > o?
False
Let x = -0.96 + 1. Let a = -7 - -10.04. Let u = a - x. Which is bigger: -1 or u?
u
Let t = 263 - 185. Let b = t - 309/4. Is b smaller than 2?
True
Suppose -5*j = -2*w + 5*w - 11, 0 = -4*j + 5*w - 6. Let t be (-2)/8 + (-252)/16. Let l be 2/(-8) + (-4)/t. Is j equal to l?
False
Let a be (1/(-3))/((-1)/(-3)). Is 4 equal to a?
False
Let z(h) = -h**2 - 4*h - 3. Let p be z(-2). Let w = -4 - p. Is w greater than 3?
False
Let x(y) = -2*y. Let d(s) = -s. Let v(a) = -3*d(a) + x(a). Let f = 10 - 13. Let n be v(f). Is n < -3?
False
Suppose x = 4*j + 5 - 1, -j = 2*x - 8. Which is bigger: 4/5 or j?
4/5
Let d be 1/(-2) - 4/40. Let z be (-3)/(-15) + (-2)/10. Is z at least d?
True
Suppose -2*y + 2*w = -12, -w - 8 = -3*y + 4. Which is bigger: 8/5 or y?
y
Let j = 2.2 - 2. Let u = -0.3 + j. Let n = -4 - -5. Which is greater: n or u?
n
Let h = -1 + 0.8. Let p = 3 + -3.3. Let a = h - p. Which is smaller: 1 or a?
a
Suppose n + 3*c - 18 - 3 = 0, 4*c = 12. Which is bigger: n or 8?
n
Suppose 9*d + 12 = 57. Which is bigger: 2 or d?
d
Let c = -3.1 - -3. Let f be 1*(-8)/10*-5. Let d = f - 6. Are d and c unequal?
True
Suppose -2*v - 6 = -3*d - 17, 4*v - 4*d = 12. Is v smaller than -62?
False
Let b = -129 + 1163/9. Let y be (0 + 3 + -2)*1. Which is smaller: y or b?
b
Let g be 2/(-2) + (-1)/(-1). Suppose g = 5*p - 3 + 8. Let k be (2/(-4))/(3/(-2)). Which is greater: k or p?
k
Let q be 103/5 + 0 + 6/15. Which is smaller: 22 or q?
q
Suppose 27*x - 29*x - 52 = 0. Which is smaller: -25 or x?
x
Let k be -3*(2 + (-21)/9). Let w = -2 - -2. Is w > k?
False
Let x be 4*2/(2 - 4). Let m = x - -7. Let u be (m/3*-1)/1. Which is bigger: -2/11 or u?
-2/11
Let k = 0.2 - 1.2. Let c = -0.14 + 4.14. Let j = 6 - c. Is k equal to j?
False
Let n(s) = -s**3 - s**2 + s + 2. Let l be (-1)/(-3)*3*0. Let z be n(l). Let k = z + -4. Is -1 at most as big as k?
False
Let y = -34 - -23. Let j = -18 - y. Which is greater: j or 0?
0
Let w = 1 + -1. Let r = 217645/9 - 24273. Let i = r + 90. Which is bigger: i or w?
w
Let o = 60 - 59.93. Which is bigger: -0.1 or o?
o
Let z = 0.03 - -0.07. Suppose -4*f = -6*f + 12. Is f bigger than z?
True
Let m = 2.4 - 0.4. Let s = m - 2. Which is greater: s or 1?
1
Let j be (1 + 0)*(1 - 0). Suppose 2*h - v + 2*v - 6 = 0, 0 = 2*h + 3*v + 2. Let l = h - 3. Is j greater than l?
False
Let l be 30/150 + (1 + 0)*-1. Which is smaller: l or -2?
-2
Suppose -3*s = 5*f - 32, 0 = -2*s - s + 12. Let v = -3 - 2. Let h be -2 - v/(-1)*-1. Does h = f?
False
Let l = 58 - 59. Are -37/4 and l nonequal?
True
Let x be ((-3 - -1) + 1)/(-1). Let m = 49/54 + -5/6. Which is bigger: x or m?
x
Let u be ((-4)/(-8))/(22/24). Let b(w) = -w**3 - 4*w**2 + 4*w - 4. Let m be b(-5). Is u less than or equal to m?
True
Let f = 13 - 0. Suppose 5*t - 3*d = f, 3*t - 3 = -5*d - 2. Let a = 5 - t. Which is bigger: 2 or a?
a
Let o = 29 + -17. Let r be -17 - -3 - 1 - 0. Let i be 40/r*(-1)/o. Are i and 0 equal?
False
Let u = 7 + -7. Let i(h) = h**3 + 6*h**2 + 9*h + 5. Let z be i(-4). Which is smaller: u or z?
u
Let j(h) = h**3 + 16*h**2 + 15*h - 4. Let a be j(-15). Let r be 2/a + 72/208. Which is smaller: 0 or r?
r
Suppose 62 = 5*k - 4*m, -2*k + 5*m = -0*k - 35. Suppose v - 5 = -k. Is v at most as big as -7?
False
Let d be (0/(-5 + 3))/((-6)/2). Which is greater: 10/19 or d?
10/19
Let p be (-1*7)/(-1 + 2). Let b = -10 - p. Is 2 at least as big as b?
True
Suppose -4*v = -62 + 2. Let b = v - 11. Which is smaller: -0.1 or b?
-0.1
Let r = 9 - 20. Let s = r + 13. Is -0.1 less than or equal to s?
True
Let s be 2/(-3) - (-19)/(-3). Let q be ((-3)/(-2))/(s + 10). Do 2 and q have the same value?
False
Let c(n) = n**2 + 7*n + 2. Let z be c(-7). Let f be (2 + 0)/(z/19). Which is greater: f or 18?
f
Let b = 33 + -33. Which is bigger: -5/9 or b?
b
Suppose j + 4*t - t = 15, 3*t = j + 9. Let h = 0 + 5. Let g = -2 + h. Is g != j?
False
Let d(n) = n**2 + 5*n - 4. Let p be d(4). Let v = p - 23. Is 8 != v?
True
Let u = -28 - -20. Are 0 and u nonequal?
True
Suppose 7*a - 4 = 3*a. Let x be (7 - 4)*(0 - a). Let k be 3/((-1)/2 + 2). Which is greater: x or k?
k
Let u 