t g = m + -129. Let c be 3/(-12) + g/8. Which is bigger: c or -4?
-4
Let b = 4 - 3. Which is bigger: 2/13 or b?
b
Let w be (-4)/10 - (-41)/65. Let v = -7 - -6. Is w smaller than v?
False
Suppose 2*k = -5*x - 42 + 11, -k - 33 = 5*x. Suppose 2*o - 7*o - 3*h = 6, -5*o - 8 = 4*h. Let u be o/x - (-8)/(-14). Which is smaller: -2 or u?
-2
Let n(f) = 2*f + 10. Suppose -5*j = -6*j - 9. Let z be n(j). Let c = 7 + z. Are 1/9 and c nonequal?
True
Let d = 31 + -19. Is 14 less than or equal to d?
False
Let w(b) = -b**3 - 6 - 1 - b + 2. Let z be w(0). Let k = z + 0. Which is greater: -4 or k?
-4
Suppose -4*m = d - 0*d + 5, 0 = -3*m + 4*d - 18. Suppose 3*u = -5*z + 16, 4*z + u = -2*u + 11. Let t = m + z. Do 4 and t have different values?
True
Let h(b) = -b**3 + 7*b**2 + 6*b + 6. Let c be h(8). Let y be (6/8)/((-1)/12). Is y bigger than c?
True
Let t be (-99)/(-27)*((-24)/15 + 1). Are -3 and t equal?
False
Let o = 21 + -19. Is o > 5/3?
True
Let m = 0.1 - -0.9. Let r = 2.95 - 3. Let j = r + 0.15. Is m <= j?
False
Let b = -165 - -66. Let f be b/36 + 8/2. Is 2 at most as big as f?
False
Let f = -5/8 + 9/8. Let g = 4 + -5. Which is bigger: f or g?
f
Let s = -10 + 10. Does -3 = s?
False
Suppose 68 - 64 = 2*m. Let w(x) = -x + 5. Let l be w(0). Is l at most m?
False
Let c = -0.88 - 0.12. Is c < 0.24?
True
Suppose 3*a + 5 = 6*a - 4*j, -j = 5*a + 7. Let i(g) = 2*g. Let l be i(a). Let w be (-10)/15 + l/(-3). Which is smaller: w or 5/6?
w
Suppose -1 = -87*u + 86*u. Is 1/35 bigger than u?
False
Let q be ((-5)/10)/(-7 - -2). Which is smaller: q or -1?
-1
Let b = -4 - -9. Suppose b*q + 0 = 5. Let l = -14/11 - -45/44. Is q equal to l?
False
Let m = 127/671 - 6/61. Suppose -2*c - 4*b = -6, -3*b + b = 2*c - 2. Do c and m have different values?
True
Let i = -110 + 148. Is 39 at least as big as i?
True
Let j be (-96)/(-90) - 2/5. Which is greater: j or 2/7?
j
Let d = -270/77 - -26/11. Which is smaller: d or 0?
d
Let r be (1/(-1))/2*0. Let j = r - 0. Suppose j = 4*u - 3 - 13. Is 4 at least u?
True
Let s be 4/3*6/(-4). Let h be (-1)/s*-2 + 25. Suppose 4*q - 4*c = -h, -q = -0*q - 2*c + 11. Are -2/7 and q unequal?
True
Let y(b) be the third derivative of -4*b**4/3 + 2*b**2. Let m be y(-3). Let a = m + -668/7. Is 2 at most as big as a?
False
Let d = 4 + -6. Let r = 2 + 2. Let n be 0/(-1)*2/r. Is n greater than or equal to d?
True
Let y = 0.2 + -3.2. Are -0.2 and y non-equal?
True
Let q = 17/4 + -4. Suppose -2*z + 4*z - 3*o = 15, -2*z = -o - 5. Is z at least q?
False
Let r be (-3)/5*2/(-3). Let o = 0.04 + 0.16. Is r smaller than o?
False
Suppose 10*h = 5*h + 190. Are h and 37 equal?
False
Let r = -4 + 4. Let n = -15 - -21. Let k = n + -5.8. Which is smaller: k or r?
r
Suppose 0*c - 5*c - 35 = 0. Suppose d - 3*z = -1 + 5, 20 = -3*d + z. Which is smaller: d or c?
d
Let h(p) = -p**3 - 8*p**2 + 22*p + 18. Let y be h(-10). Let t(g) = g**3 - 3*g**2 - 1. Let f be t(3). Let k = f - y. Are -2/5 and k equal?
False
Let h(k) = -k**3 + 5*k**2 + 6*k - 1. Let g be h(6). Let a = -3 + 2. Is a at least as big as g?
True
Let j be ((-4)/(-30))/((-1)/(-3)). Let c = 35 - 31. Which is smaller: j or c?
j
Suppose -4*g + 16 = v, 4*v = -4*g - g + 20. Let d = -2/5 + 9/10. Which is smaller: v or d?
v
Let l be 3 + -1 + -1 + 4. Let q = -2 + l. Suppose 3*k + 15 = 8*k, q*d + 3*k = 12. Is d at least -2/11?
True
Let s(v) = 3*v + 9. Let c be s(-3). Is c equal to -4/5?
False
Let w(r) = r**2 - 6*r + 12. Let v be w(8). Let x = -41 + v. Is -13 greater than or equal to x?
True
Let p = -18 + 20. Is 1 > p?
False
Let u = -1 - -2. Is u less than -0.6?
False
Let p(o) = 2*o**3 - 11*o**2 - 9*o + 18. Let l be p(6). Which is greater: -5/21 or l?
l
Let l be (-27)/50 - 2/(-4). Let w = -23/50 + l. Let r = -0.9 - 0.1. Is w at most as big as r?
False
Let y(z) be the first derivative of -z**2/2 - z - 3. Let w be y(3). Let c(x) = x**2 + 4*x. Let h be c(w). Is h at least as big as 4/3?
False
Suppose -2*v - 3*v = 0. Suppose 0 = u - 0*j - 5*j - 2, v = 5*u + 5*j - 10. Suppose 3 = u*m + 1. Is 0 less than m?
True
Let m = -15 - -19. Suppose -5*p = -4*q - 73, 24 - m = 2*p + 3*q. Is p > 13?
False
Suppose -25 = -5*k - 20. Are k and -2/43 non-equal?
True
Suppose -3*x = 5*a - 27, 5*a + 15 = -5*x + 50. Suppose 2*l + 3*t = 7*t, -2*t + 6 = -x*l. Let w be (-36)/(-21) - l/7. Is w <= 2?
True
Let o be (-1)/4 + (-56)/32. Let a be 1 + (-1 - -5)*-2. Let j(h) = h + 7. Let c be j(a). Which is smaller: o or c?
o
Let b be (-1 + 12/20)*10. Suppose -4*r = c - 9 - 14, -3*r = c - 19. Let q = 4 - c. Are b and q equal?
False
Let v = -107542 - -40005725/372. Let h = v - 2/93. Which is smaller: h or 3?
h
Let a = 108 + -240. Let o = a - -1984/15. Let w = o - 3/5. Is 0 < w?
False
Let a(y) = y + 10. Suppose 3*j = -j - 40. Let v be a(j). Let t be (-2 + v/3)/9. Which is smaller: t or 1?
t
Let n = 1/117 + -241/819. Let v be (2/12)/((-1)/4). Which is bigger: n or v?
n
Let r = 11 - 11.1. Which is greater: r or 9?
9
Let z = 7 + -10. Let b be (-16)/(-84)*z/(-2). Which is smaller: b or 1?
b
Let g = -21 - -20. Are g and -4 nonequal?
True
Suppose 5*c - 13 = -p, 5*c - 4*p = 2 - 4. Let b be 2/3*(8 - c). Let k be ((-9)/(-12))/((-12)/(-48)). Is b not equal to k?
True
Let a be (-2083)/(-7) - 7/(-7). Let d = a + -300. Is d <= -2?
False
Suppose 4*h - 21 = -5. Suppose -h*r + 22 = 2*y, y - 19 = -y - 3*r. Let k = -14 + 15. Which is greater: y or k?
y
Suppose -15*i - 154 = -i. Is i <= -10?
True
Let j = -28 - -16. Is 2 greater than or equal to j?
True
Let z(c) = -c**3 + 5*c**2 - c + 7. Let f be z(5). Suppose 4*o + 6 = -18. Let b be (-7)/(-6) - 2/o. Which is greater: b or f?
f
Let j = -150 + 455/3. Suppose -13 = -5*a - 3. Which is smaller: j or a?
j
Let m = -120 - -119.96. Which is greater: m or 0.1?
0.1
Let d = 207 + -204. Are d and -0.1 unequal?
True
Let s(j) = -3*j**2 - 9*j - 4. Let h(c) = -7*c**2 - 18*c - 7. Let q(t) = -2*h(t) + 5*s(t). Let x be q(-6). Let m be 3/x + (-1)/(-4). Which is smaller: 0 or m?
0
Let i = 18.8 + -19. Are 6 and i equal?
False
Suppose 13 = 4*s + 1. Suppose 0 = -3*f + 3*x + 6, 2*f + 2*x = -s*x - 3. Which is greater: -0.1 or f?
f
Suppose v - d + 3816 = -5479, -5*d + 9275 = -v. Let s = -46092/5 - v. Let t = s + -82. Are t and 0 unequal?
True
Let s be 1/(((-28)/(-766))/(-2)). Let r = s + 55. Suppose -g + 0*g = 0. Is g smaller than r?
True
Let l be (110/28 - 4)*-6. Let b be 6/(-4) - (-2)/4. Is l greater than b?
True
Let x(h) be the third derivative of -h**5/60 - h**4/24 + h**2. Let w be x(-4). Are -12 and w unequal?
False
Suppose -3*r + 2*r = 1, 0 = -4*y - 2*r - 18. Let m = 6 + y. Let t = 87 + -259/3. Is t less than m?
True
Let x be (-6)/33 + 30/286. Suppose 0*m = -m + 5*h, -4*m - 5*h = 0. Is m greater than x?
True
Let i be ((-2)/(-1))/(1 + -76 + 4). Is i != 1/3?
True
Let v be ((-3)/6)/((-1)/56). Let a be v/15 - (1 + 1). Let m be (-1)/4*(-2 + -2). Are a and m unequal?
True
Let b be 6/(-18) - 138187/15. Let n = -9291 - b. Let a = 79 + n. Is a < 2?
True
Let k = -0.04 + 0.06. Let g = 0.08 + k. Is g bigger than 0.2?
False
Let p(n) = -n + 1. Let x be p(-2). Suppose -x*i + 7 = -4*i + 2*v, -5*v + 1 = 3*i. Let t = 2 + i. Is t less than or equal to 1/2?
True
Let h = -17 + 5. Let l = 12 + h. Let d = -85 - -763/9. Which is smaller: d or l?
d
Let z(m) = -m**2 - 8*m + 17. Let u be z(3). Do u and -78/5 have different values?
True
Suppose 5*w = -j - 21, -j + 3*w = 7 - 2. Is j bigger than -11?
False
Let y(w) = 0 - 12 + 0*w + w - 5. Let i be y(10). Is i at most 0?
True
Let f = 43 - 27. Let m be (-3 + 1)*f/(-16). Is m smaller than 2?
False
Let g = 77 + -153. Let o be (-4)/(-6) + g/(-12). Let r be 26/14 - (o + -5). Is -1 bigger than r?
False
Let y = 6.01 + -6. Is y at least 0.1?
False
Suppose 3*n = -5 - 1, -4*m - 4*n - 100 = 0. Which is smaller: 0 or m?
m
Let w = -0.32 - -2.32. Let l = -0.35 - 0.05. Let c = l + 0.4. Is c less than or equal to w?
True
Suppose 2*r = -3*r + 20. Suppose -r*g - 10 = k - 0, 0 = k + g + 4. Let z be 0/k - (-2)/(-9). Which is smaller: z or 1?
z
Let b = -137 - -136. Suppose 0 = 5*r - 0*r + 15. Which is smaller: r or b?
r
Suppose 2*c = 5*c + 2*h + 5, -3*h - 2 = -c. Which is smaller: -20 or c?
-20
Let u = 4 - 4. Suppose 3*r - 16 - 2 = u. Let h be (-1)/r*(-4 + 3). Which is smaller: 1 or h?
h
Let s(n) = -n**2 - 5*n + 2. Let p be s(-4). Let l be (-4)/((-16)/p)*-1. Suppose 