 Let k be h/(-36)*4/(-10). Suppose -1 = c - 2*c. Is k at least c?
False
Suppose 3*o + 5 = 5*q, 0 = 2*q - 0*q - 4*o + 12. Suppose -q*w - 13 = 11. Are w and -6 nonequal?
False
Let y = -53 - -65. Which is smaller: 14 or y?
y
Let t = -19 - -15. Let v be (-186)/(-198) - t/(-6). Is v bigger than 1?
False
Let j = 0.1 + -0.3. Suppose n = 2*n + 14. Let y be 4/n - (-8)/(-21). Which is bigger: j or y?
j
Let w = -9 - -17. Suppose -7 - 3 = -2*m. Suppose 4*i = 2*l - 5*l + 41, -m*l - i = -40. Which is smaller: l or w?
l
Let y be ((-20)/(-70))/((-4)/(-14)). Do -2/129 and y have the same value?
False
Let f = 13 + 1. Let p = f + -2. Which is smaller: -1/3 or p?
-1/3
Suppose 0 = -z - d, 16 - 4 = 5*z + d. Let i(r) = 3*r**3 - r**2 + 2*r - 1. Let j be i(1). Do j and z have the same value?
True
Let s = 7 + -29. Let o = 12 + s. Let g be o/(-22)*2/5. Which is smaller: g or -1?
-1
Let z be -1*3/6*-38. Suppose 5*t - 6 - z = 0. Suppose x - p = 4*x + t, x + 25 = -5*p. Is x less than 0?
False
Let d(c) = c**3 + c**2 + c - 1. Let x(h) = -5*h**3 - 3*h**2 - 7*h + 2. Let u(p) = -6*d(p) - x(p). Let g be u(-3). Are g and -2/13 nonequal?
True
Let o = -19 - -17. Is o smaller than -2?
False
Suppose -21*s = -26*s - 60. Let d be 4/(8/(-21))*1. Are d and s unequal?
True
Let h(g) = g - 14. Let l be h(11). Let f be l - 44/(-2) - -3. Let q be -5 + 2 - (-70)/f. Which is smaller: q or -1?
-1
Let v(h) = h + 12. Let d be v(-5). Let a(o) = o**2 - 7*o - 6. Let w be a(d). Is w <= 2?
True
Let z = 7.5 - -26.5. Let t = z + -31.2. Let o = t - 3. Is 0 > o?
True
Suppose l - 1 = 2. Suppose 0 = -5*o + 5*v - 85, -8 = -o + 4*v - 37. Let c = o + 17. Which is bigger: c or l?
c
Let a(z) = 4*z**3 + 2*z + 1. Let r(k) = -20*k**3 + k**2 - 11*k - 6. Let y(p) = -11*a(p) - 2*r(p). Let v be y(-1). Is v >= 3?
True
Let u = -9 - -12. Suppose 0 = u*s + 6. Which is smaller: -1 or s?
s
Let r be 12/(-45)*(-6)/4. Which is bigger: r or -2?
r
Let r be (2/(-6))/(1/(-2)). Let j = -232/629 + 18/37. Does j = r?
False
Let t = 14 - 25. Let v = -5 - t. Which is greater: v or 5?
v
Suppose -g = 3*g + 16. Let k = 254 + -257. Which is smaller: g or k?
g
Suppose 0 = -z - 2*h + 14, -3*z = z - 4*h - 8. Suppose z*a = 3*a + 9. Let u be 16/6 - (-1 + a). Is u less than or equal to 0?
False
Let g = 1.5 + 0.5. Let q = g - 2.1. Let v = -4 - -3.9. Do v and q have the same value?
True
Let z = 4 + 4. Suppose -4*r + g + 33 = 0, 2*r - 4 - z = 2*g. Suppose -4 = -4*k, -3*k - r = -2*s - 2*k. Which is smaller: s or 4?
4
Suppose -5*k + 5 = -o, 4*o + 0*o = 4*k - 4. Suppose -3*l = -o - 12. Suppose -8 = -2*t, -2*f - 12 = -6*f - t. Is l <= f?
False
Let p(x) = x - 1. Let i(g) = g**2 - 5*g + 7. Let c(j) = i(j) + 6*p(j). Let b be c(-1). Let s be (-4)/(-5) - (b - 0). Which is greater: s or 1?
1
Let n be 237/(-45) + (-2)/6. Let w = -6 - n. Which is greater: 1 or w?
1
Let v = -10 - -16. Suppose i - 25 = v*i. Is i at most -7/2?
True
Suppose 2*b - 4 = n, 1 = -2*b - n + 5. Suppose 2*o - 15 = 7*o, -15 = 3*s + o. Let q be ((-2)/(-1))/(s/(-2)). Is b smaller than q?
False
Suppose 0 = -4*m - j + 1, 3*m - 3 = -2*m - 3*j. Suppose 4 = -2*z - m. Is -1 less than or equal to z?
False
Suppose 3*c - b + 15 = -40, -3*c + 3*b = 63. Which is smaller: c or -14?
c
Let p(u) = u**2 + 5*u - 5. Let x be p(-8). Let t be x/45 - (-18)/(-90). Are -0.3 and t unequal?
True
Suppose -1 = -3*d + 2*d. Which is smaller: -1/63 or d?
-1/63
Let f be 18/27*(-6)/86. Are f and 1 equal?
False
Let t(b) = -6*b**2 + 2*b - 1. Let a be t(1). Is -4 <= a?
False
Suppose 0*i + 4 = 4*i. Let v = -10 - -12. Which is bigger: v or i?
v
Let f(v) = -v**2. Let u be f(6). Let j be (-1)/(-2)*u/(-3). Let a be j/4*(-10)/(-105). Which is smaller: 0 or a?
0
Let s be (-5)/(-3) - (-8)/(-12). Is -1/6 at most s?
True
Let s = 102 + -106. Does s = 6?
False
Suppose -2*w - 4 = -4*w. Let m be (-2)/(6/15)*-1. Suppose -1 - m = -2*d. Which is greater: w or d?
d
Suppose 21*m = 22*m + 29. Is -28 >= m?
True
Let f = -259 + 812/3. Is 11 > f?
False
Suppose -5*n - 2*w + 17 - 3 = 0, -w = -n + 7. Let z be (-4)/(-1*3/(-9)). Let q = 16 + z. Is n smaller than q?
False
Let t = -1195/26 + 46. Which is bigger: t or -1?
t
Suppose 0*m - m + 6 = 5*b, -m + 5*b = 4. Let i(n) = -3*n**3 + n**2 - 1. Let x be i(m). Let s be 1/x - 4/4. Is s > -1?
False
Suppose -8*p + 3*p = 10. Is p less than -1?
True
Let s be 98/4*(-8)/220. Let k = -12/11 - s. Is 0 > k?
True
Let c(a) be the first derivative of -a**4/4 + 11*a**3/3 + 6*a**2 - 5*a - 1. Let b be c(12). Is b <= -4?
True
Let t = 9.3 + -9.3. Are t and -8 equal?
False
Let s be (2/20)/(-1 + 10/12). Is s less than or equal to 1/2?
True
Let f = -11 - -11. Which is smaller: f or 4?
f
Suppose -3*c - 9 = -2*r + 4*r, c = -r - 2. Suppose 8*b + 18 = 5*b - x, 3*b = r*x - 6. Are b and -5 equal?
True
Let f(d) = d**3 + 5*d**2 + 2*d - 2. Let m be f(-4). Let s be m/4*4/15. Is -1 < s?
True
Let r be 9/(-6)*(-4)/2. Let h be 21/10 + 15/(-25). Which is greater: h or r?
r
Suppose -2 = 2*r - 4, 4*r + 24 = f. Suppose 6*d + 82 = f. Which is smaller: -8 or d?
d
Let j be 88/4*2/4. Let k = -13 + j. Let s = -1028/745 + -3/149. Do k and s have the same value?
False
Let y(b) = -b**3 - 8*b**2 - 5*b - 6. Let m be y(-7). Let t be (6/m)/((-4)/(-5)). Let c = -3 + 2. Is c equal to t?
False
Let c = 5.14 + -5. Let w = 3/49 - 107/147. Is w at most c?
True
Let y = 21 + -23. Which is smaller: 1/5 or y?
y
Let z(l) = l. Let a be z(4). Let q be 126/(-28)*a/(-42). Suppose 0 = 3*p - 6, -4*p + 2 + 6 = -3*j. Are j and q unequal?
True
Let j be 0 + (0 + -1)/(-14). Let w = j + -11/7. Suppose 5*x + 6*o - 2*o - 11 = 0, 3*o - 10 = -2*x. Is x greater than or equal to w?
True
Suppose -80 = q + 3*q. Let i be 34/q*-2 - 3. Let g be 15/9 - 4/6. Which is greater: g or i?
g
Suppose -4*k = 5*f - 3 + 6, -5*k = 4*f + 6. Let u = 1147/14 + -82. Which is smaller: u or f?
u
Let t be (-4)/(-2 - 1 - 3). Which is bigger: t or -0.4?
t
Let v = 0.01 + -1.01. Let l be (8/(-5))/(-1)*-5. Let h = -15/2 - l. Which is smaller: h or v?
v
Suppose -5*a = 107 - 17. Let t be 1/(2 - a/(-8)). Which is greater: t or -5?
t
Let r = -0.4 + -2.68. Let o = -0.08 - r. Let b = 48 + -47.8. Are b and o non-equal?
True
Suppose 3*m + 102 = -3*y, y + 8*m = 3*m - 46. Which is bigger: y or -32?
y
Let n be (4/10)/((-6)/(-5)). Let o = 3 - 0. Which is smaller: n or o?
n
Suppose 4*d + 1 = 2*o + 17, 0 = 2*d - 4*o - 14. Let c = 4 - d. Which is smaller: c or 2/5?
2/5
Let c be 3/(-2)*4/(-168). Which is bigger: c or -1?
c
Let s be (15 + 6/2)*(-6)/9. Which is greater: -86/7 or s?
s
Let h = -60 + 88. Let t = h - 27. Is t equal to 1?
True
Let x = 1/1215 + 224762/15795. Let i = x + -2752/39. Let t = i - -57. Do t and 0.1 have different values?
True
Let f = -8.1 + 7. Let x = f - -0.1. Which is smaller: 0 or x?
x
Let p = -6 + 6.2. Is p greater than -6?
True
Let b(m) = m**2 + m - 3. Let x be b(-3). Let u = x - 1. Suppose -4 = -u*n - 2*n. Which is bigger: n or -2?
n
Let l be 16/(-12) - (2 + -3). Is l > 1?
False
Let l = 12 - 7. Suppose 55 = l*w + 10. Is 9 < w?
False
Let t = 2.07 + -0.07. Let l = 2 + -1. Let h = l - t. Which is smaller: h or -1/4?
h
Suppose -2*i + 3*i = 5. Suppose i*w + 3 = -a, -3*w - 4*a = -a + 9. Which is greater: w or 2?
2
Let x be (-3 + -17)*(-2)/4. Suppose 2*a + 4 = -0*a, -2*a = -n + x. Suppose o = 4*v + n*o - 8, 5*v - 10 = -o. Which is smaller: 3 or v?
v
Let v = 0 - -8. Let c = v + -8. Is c bigger than 1/5?
False
Suppose -22*o = -25*o - 468. Is o bigger than -157?
True
Let b be 0 - -2 - (-56)/(-7). Let f be ((-2)/6)/(26/b). Suppose -4*v = 4*h - 2*h + 2, -v + 3*h = -10. Is f > v?
False
Suppose -c - 1 = -2. Let x = -22/7 - -755/238. Which is greater: x or c?
c
Let s = -12.1 - -13.1. Does s = -2/9?
False
Let u(o) = -o - 3. Let n be u(-6). Suppose 2 = -2*f + 2*y - 2, -5*f + 4 = 2*y. Suppose 0*v - n*v - 6 = f, 5*v + 18 = -4*j. Which is bigger: j or -7/3?
j
Let h = -4 - -13. Suppose 2*f = h - 25. Which is bigger: -7 or f?
-7
Let p be -42*(-4 - (-51)/12). Which is smaller: p or -10?
p
Let u(o) = -o - 4. Let h = 8 - 14. Let d be 3/h*-2 - 1. Let z be u(d). Which is smaller: z or -3?
z
Suppose 0 = 4*i - 6*i - 8. Let f = 25 + -28. Are f and i nonequal?
True
Let v = -17 - -20. Are 8 and v equal?
False
Let k = 4 - 2. Suppose 10 + k = -3*r, -3*r - 17 = -5*g. Let o be (-46)/(-60) - 6/36. Which is smaller: o or g?
o
Suppose -5*h = 2