 = -2*n - 0 - 12. Suppose 0 + 5 = -b. Do b and n have different values?
True
Suppose 3*g + 3 = 63*y - 64*y, -2*g = -3*y + 35. Let z be (-76)/(-10) + 2/5. Which is smaller: y or z?
z
Let m = 221.79 + -219. Let f = m + -20.69. Let g = f - -17. Is g <= -0.1?
True
Let k = -341.15 - -349. Let b = k + 1.15. Is -3 < b?
True
Let z(p) = -p**2 + 3*p + 3. Let v be z(-2). Let k = -4 - v. Suppose -4*g = s - 7, k*g + 0*s = s + 14. Is g at least as big as 3?
True
Let u(z) = -z**2 + 6*z + 1. Let h(o) = o**3 - 4*o**2 + 3*o - 6. Let r be h(4). Let k be u(r). Let a = -32/9 - -119/36. Which is smaller: a or k?
a
Let o = -247.25 + -6.75. Is -0.1 bigger than o?
True
Let m(a) = -3*a - 40. Let i be m(0). Let x be (i/6 + 0)*(-21)/(-14). Are -11 and x nonequal?
True
Let b = 5 - 4. Let x = 17 - 7. Which is smaller: b or x?
b
Let h be (-71)/(6 + (-10 - -5)). Are -61 and h nonequal?
True
Let r = -1.13 + 2.13. Which is smaller: r or -8?
-8
Let i be 906/(-8)*(-520)/(-390). Which is greater: -149 or i?
-149
Let b(u) = -u**2 + 14*u - 21. Let w be b(14). Let l be (-8)/w + 2/(-3). Is 1 less than or equal to l?
False
Let g be (-24)/14 - (-8)/(-28). Let w be -3 + (-10)/(-5) - g. Is w less than 10/9?
True
Let y be (62/4 - 5)*-2. Let c = y - -59. Is 37 smaller than c?
True
Let g(o) = -5*o**2 - o + 5. Let f(m) = -m**3 - 8*m**2 + m + 11. Let b be f(-8). Let q be g(b). Is q at least -44?
True
Suppose 0 = -21*f - f + 220. Let o = 14 + -3. Are o and f unequal?
True
Let v(q) = 2*q + 6. Let m = 22 + -13. Let n be v(m). Let a be ((-12)/(-36))/(26/n). Is 1 < a?
False
Let z = 0.064 - 0.124. Let i = -0.74 + z. Do i and -1 have different values?
True
Let t be (-6)/(-4) - (-26)/4. Does t = 6?
False
Suppose 0*n - 4*n = 4. Let u be 4 - 1*(0/2 - n). Is u less than or equal to 0.2?
False
Let v = 4.8 + -4.56. Is v < 2/7?
True
Let p be 8/(-2*(-1)/(-5)). Let h be 1 - (-12)/(-8)*p/(-14). Is 1/3 < h?
False
Let t(p) = -3*p - 1. Let z be t(-1). Suppose 9*d - 14 = 5*d + 2*o, 0 = -2*d + 2*o + 10. Suppose -v = -z*v + d. Is v at most 3/2?
False
Suppose -3*h = 4*p - 0*h - 1598, p + 5*h - 408 = 0. Which is smaller: -1 or p?
-1
Suppose -6*b + 10 = -b. Suppose -b*j - 72 = -8*j. Is j less than 11?
False
Let c be -19 + 8 - 10/(-4). Let i be (-4)/((-1)/2 - -1). Which is smaller: c or i?
c
Let x be (-806)/(-39)*(-3 - 255/(-65)). Is 20 at most as big as x?
False
Let k = 38 - 40. Let a be k + -3 + (-35)/(-15). Which is greater: -4 or a?
a
Let l = -3445/6 - -574. Which is greater: -6 or l?
l
Let p = -174.919 + 175. Let c = -9.081 + p. Which is smaller: 2 or c?
c
Let z = -0.172 - -13.072. Let t = -29 + 16. Let x = t + z. Which is bigger: 10 or x?
10
Let v(m) be the first derivative of m**2 + 19*m + 14. Let k be v(-14). Which is smaller: k or -10?
-10
Let g be 0/1 + (1 + 0)*13. Suppose 3*s - g = -16. Let a = 10 + -29/3. Which is smaller: a or s?
s
Suppose 4*z = 4*j + 64, 2*z + 5*j = 4*z - 29. Let x = z + -18. Which is greater: x or 3/64?
3/64
Let k(a) = -a**3 + 7*a**2 + 2*a - 10. Let l be k(7). Let t(s) = -s**2 + 4*s - 1. Let z be t(l). Do z and 0.08 have the same value?
False
Let k = 274 + -283. Is k greater than -0.07?
False
Let h = 0.23 - -29.77. Let g = h - 28.1. Let q = g - -0.1. Is q at least as big as -0.1?
True
Let x be (-178)/12 + 4/12. Let y = -209/18 - x. Let w be 27/15 + (-2)/(-10). Which is bigger: y or w?
y
Let g = 2/69 - -12/115. Suppose -2*y + 2*h + 27 = 7, -5*h = -25. Let x be ((-2)/6)/(5/y). Which is greater: x or g?
g
Suppose -3*x = -3, -5*l - 4*x - x + 155 = 0. Let k be (-7 - 2)*2/l. Suppose -3*a = p - 7, 4*a = -2*p + 6 + 2. Which is smaller: k or p?
p
Let v be ((-598)/78)/((-13)/(-9)). Let d = v - -63/13. Do d and 1 have different values?
True
Let c(t) = 5*t**2 + 3*t + 15. Let k be c(-5). Suppose 0 = -2*p - 3*p - k. Which is smaller: -22 or p?
p
Let n(d) = d**2 - 5*d + 6. Let g be n(2). Is g greater than -21/29?
True
Let q be (-2)/((1539/18)/(-19)). Let f = -1 + 2. Which is smaller: f or q?
q
Let u = 156 - 1095/7. Is u smaller than -89?
False
Let p(x) = 2*x**2 - 5*x - 15. Let t be p(4). Let i be ((-9)/(-2))/((-6)/8). Is t != i?
True
Let d be (-1 - (-2)/6) + (-580)/(-6). Let s = 36 - d. Which is smaller: s or -59?
s
Let g be (40/(-16))/(26/(-96)). Let x = 632/91 - g. Let i be (-12)/(-2)*(136/24 - 6). Is x smaller than i?
True
Suppose -6 = -4*d - 2. Let i be d + 0 + 20 + -20. Is -12 < i?
True
Suppose 2 = 4*j - 4*m + 18, 0 = 3*m - 12. Let o be (1 + 9)*(-6)/(-15). Let l be 2/8*o/11. Which is bigger: l or j?
l
Let b be (-20)/22*14/35. Suppose w - 2 = i, 3*i = -5*w + i + 3. Which is greater: w or b?
w
Let q = -255 - -242. Is q < -17?
False
Let o be (-6)/4*(-2)/(-6). Let c = -15.72 + -0.28. Let r = -15.95 - c. Which is smaller: o or r?
o
Let t be ((-9)/(-18))/((-2)/4). Let s = t - -4. Which is smaller: s or -1?
-1
Let b = 233 - 207. Let p = -611.9 + 587. Let t = b + p. Which is greater: t or -2/7?
t
Suppose -l + 2 = -3*x, 17 = 3*l + 2*x - 0*x. Let j = l + -5. Suppose j = -4*z - o - 3*o, -4*z - 5*o + 3 = 0. Is -6 smaller than z?
True
Let f = 2930 - 2938. Let s = 143/6 + -31. Which is smaller: f or s?
f
Suppose 4*s + 196 = -4*l, -8*l + 5*l - 115 = -5*s. Does l = -47?
False
Let s be (25/(-30))/((-10)/16*2). Which is smaller: s or -13?
-13
Let d = -76 - -54. Let k = d - -13. Which is smaller: k or 1?
k
Let o = 0.05 + -0.15. Is o less than 1?
True
Let r = 332 + -333. Is r < 6/337?
True
Suppose -2*r = 3*r - 5. Let l be (-10)/(-182) + (-19)/91 + 20/(-260). Which is smaller: r or l?
l
Let k be 31/(-186) + (-1)/(-6) - 3. Is k at least as big as 3?
False
Let w(a) = -a**2 - 6*a. Let k be w(-6). Let t be (-7 - 74/(-10))/(28/10). Which is greater: t or k?
t
Let p = 4398332891/279 - 15764605. Let c = 260/9 - p. Is c greater than or equal to -1?
True
Let s(g) = -5*g**2 + 1. Let v be s(1). Let f be ((-42)/2)/(33/(-22)). Suppose -o + 2*q = f, 3*o = 4*q - 20 - 12. Is o equal to v?
True
Let j = 0.2 + -0.3. Suppose 5*z - 31 = 2*d, 3*z + 2*z - 37 = -d. Suppose -r = -z + 6. Which is smaller: r or j?
j
Suppose 1 = 737*y - 738*y. Which is smaller: 2/77 or y?
y
Let c be 10/(-45) + (-467)/(-2223). Which is smaller: c or 1?
c
Let w(l) = l**3 + 4*l**2 - l - 2. Let r be w(-4). Suppose r*j - 19 = -3*q, -2 - 1 = 4*q - 3*j. Let f be -4*(-1)/(1 + q). Is f not equal to 2/7?
True
Let y = -53 - -76. Is y less than 1/3?
False
Let h be ((-9)/6*-722)/(18/12). Is 722 equal to h?
True
Let m = -0.1386 + -0.0554. Which is greater: m or 1?
1
Let i(x) = -x**2 + 1. Let s be i(-2). Let p be (-96)/(-30) - (-9)/s. Which is greater: 0.11 or p?
p
Let h = 18/29 - 24/29. Which is smaller: 0 or h?
h
Let x(n) = 17*n + 193. Let h be x(-10). Is 39 at most h?
False
Let o = 62 + -71. Let w be 30/o - (-6)/(-9) - 2. Is w at most as big as -4?
True
Let c be 15/2*20/(-25). Let p be (-4)/c*108/(-42). Which is smaller: -1 or p?
p
Let k = -3898 + 268957/69. Which is smaller: k or 0?
k
Let v be 7/14*((1 - 2) + -1). Is v at least -2/433?
False
Let s = -2551/3 - -849. Is s less than 35?
True
Let q = 2 + -3.8. Let p = q - 0.2. Is 0.05 > p?
True
Let o be ((-2)/(-4))/((-4)/8). Let a(h) = -12*h - 232. Let r be a(-19). Which is greater: r or o?
o
Let i = 529 + -8978/17. Is 2 equal to i?
False
Let z = 20 + 2. Let n = 22.06 - z. Are -3 and n nonequal?
True
Let b = -91/800 + 3/32. Let s be (-1)/(((-800)/(-17))/2). Let n = s + b. Which is smaller: n or 1/5?
n
Let y be (-12*(-3)/12)/1. Which is bigger: -20 or y?
y
Let r = 113.3 - 115.3. Which is smaller: r or 497?
r
Let y = -15 + 14.84. Let g = y + 0.1. Let o = g + 3.06. Are o and -1 unequal?
True
Suppose -3*n - 2*v - 110 = 0, 5*n + 5*v + 114 = -76. Is -169/5 >= n?
True
Let b = 50 + -45. Suppose 7*l - b*l = 5*m + 10, 0 = -4*l. Let w be (-27)/(-8)*5/(-15). Are m and w equal?
False
Suppose -5 = q - 2*g, 0 = -4*q - 2*g - 3*g + 19. Let x be ((-62)/70 - -1)/2. Which is smaller: x or q?
x
Let j = -0.0462 - 27.9538. Let x = -28 + 28. Which is smaller: x or j?
j
Let o = 815 - 657. Which is smaller: o or 156?
156
Suppose -3*q - 199 - 216 = -d, q = 3*d - 1221. Let p = 711735 + -9257830/13. Let h = p + d. Which is smaller: h or -1?
-1
Let o be (-196)/16 + 12 + 9/12. Which is bigger: 2/29 or o?
o
Let u = 0.04 + 1.66. Let g = u + -2. Let m = 428 + -427. Which is greater: g or m?
m
Suppose -b = 4*b + 4755. Let c be 228/7*468/(-16). Let p = b - 