 + -11. Is g equal to 2/627?
False
Suppose 3*u + 5 = 2*m - 7*m, -1 = m + 4*u. Let x be 0 - 1 - (1 + -1). Let p be -1 - (-1 - 0)/x. Which is greater: m or p?
m
Suppose -t = -2*t - 8. Which is smaller: t or -1?
t
Suppose -2*j + 5*m = 0, -m = -2*j + 2*m. Which is smaller: j or -10/17?
-10/17
Let l = 7 + -11.8. Is l greater than or equal to 0?
False
Let b = 0.3 - 0.5. Let w = 0.09 - 0.12. Let y = 0.23 + w. Is b at least as big as y?
False
Let o(l) = l**3 - 7*l**2 + 7*l + 3. Let y be o(6). Let p = -10 + y. Are p and -5/3 equal?
False
Let x = -176 - -175.9. Which is smaller: x or -0.19?
-0.19
Let p(h) = h**2 - 2*h - 8. Suppose 12 = 8*r - 5*r. Let v be p(r). Let z be (-4)/10 + 2 + -2. Is z smaller than v?
True
Suppose 0 = 2*x + 5*t, -6*x + 3*x - 21 = -3*t. Is x less than or equal to -3?
True
Let r = 36 - 31. Are r and 29/5 equal?
False
Suppose r + 3*r = 0. Suppose r = -3*q - 2*q. Which is smaller: 2/9 or q?
q
Suppose -180 = -90*j + 95*j. Is 0 < j?
False
Suppose -o + 2 = -1. Suppose b - o = 9. Is b at most as big as 1/2?
False
Let x = -1583 - -7947/5. Is -1 < x?
True
Let c(w) = -6*w - 24. Let o be c(-3). Which is smaller: -7 or o?
-7
Let d(l) = -l**2 + l + 1. Let j be d(2). Let p be (-1)/1 - (-60)/52. Is p <= j?
False
Let y = 43/57 + 11/19. Which is smaller: 0 or y?
0
Let s(p) = -p**3 - 5*p**2 - 6*p - 3. Let u be s(-4). Suppose -4*z - u - 3 = 0. Let n be (0/z)/(2 - 4). Which is greater: n or 1?
1
Let p = -43 - -35. Are p and 5/6 nonequal?
True
Suppose s + 8 = 10. Let t(p) = -3*p. Let b be t(-1). Is b less than s?
False
Let s = 33 + -67/2. Let h be 2/(-13) - (-15)/(-156). Which is smaller: h or s?
s
Let a be ((-2)/4)/(9/294). Suppose 4*w = -59 - 9. Let c = a - w. Which is bigger: c or 0.1?
c
Let f(p) = -2*p - 22. Let q be f(-10). Let h be -1 - (-2 - 1)/(-33). Which is greater: q or h?
h
Let m be (-65)/10*(-2 + 0). Let z = -11 + m. Do z and 2 have the same value?
True
Let b = 75 + -53. Let o = b - 16. Which is smaller: o or 4?
4
Let y(m) = 2*m - 5. Let j be y(5). Suppose s = j*s. Is -0.1 less than or equal to s?
True
Let q = 0.3 - 0.2. Let h = -351/5 + 70. Is q < h?
False
Let f(y) = 5 - 7*y**3 - 8*y**2 + 5*y**3 + y**3 + 9*y. Let p be f(-9). Is p greater than 7?
False
Let r = -4/105 + 146/1995. Do r and 0 have the same value?
False
Let o(u) = -u - 5. Let b be o(0). Let f be 3 - 0 - (b - -11). Let g be ((-4)/f)/(4/(-12)). Is -3 equal to g?
False
Suppose -5*j = -6*j. Is j greater than 2/89?
False
Let l = -149/36 + 17/4. Is l at most as big as 0?
False
Let o be (-18)/(-15)*(2 - 317). Let q be 207/o + 1/3. Is q equal to 0?
False
Suppose 2*g - 8 = 0, 0*q + 11 = 5*q + 4*g. Let r = 0 - 1. Let v be -2 - (-1)/(-3) - r. Which is bigger: v or q?
q
Let v be ((-1)/20)/((-2)/((-48)/15)). Suppose -3*n - 4*o + 13 - 5 = 0, 4*o - 8 = -4*n. Is v bigger than n?
False
Let h(t) = -t**3 + t**2 + 2*t. Let f = 11 + -8. Let c be h(f). Let s = 7 + c. Is -4 at least s?
True
Let d be 4/6*(-6)/(-16). Which is bigger: 0 or d?
d
Let u be 50/(-15)*12/5. Let j be (2/4)/(1/u). Which is bigger: j or -5?
j
Suppose 2*m - 6 = -m. Let t = 0 + m. Let n be (1 + -3)/(2 - 3). Is t < n?
False
Let x(r) = r**3 - 10*r**2 + 10*r - 9. Let q be x(9). Let y = q + -3. Let p be 4 + -2 - 1 - 6. Which is smaller: y or p?
p
Suppose 3*h = 4*s - 43, 27 = -0*s + s - 4*h. Let b be 90/14*s/(-21). Which is smaller: -2 or b?
b
Let c(k) be the second derivative of 13*k**3/3 - 3*k**2/2 + 2*k. Let r be c(8). Let m = -1022/5 + r. Is m <= -2/5?
False
Suppose 1 - 13 = -4*d. Suppose -3*v = d*l + 15, -3*l - 5*v - 7 - 16 = 0. Is -1/3 not equal to l?
True
Let p = 101 + -104. Suppose k + 0 + 4 = 0. Does k = p?
False
Let c(i) = i**2 - 12*i + 11. Let l be c(11). Is 3/11 bigger than l?
True
Let z(t) be the third derivative of -t**7/5040 + 7*t**6/720 + t**5/60 + 3*t**2. Let v(u) be the third derivative of z(u). Let j be v(5). Is 4 smaller than j?
False
Let f(h) = h - 1. Let k be f(1). Suppose -d + 0*d = k. Let c be (4/10)/((-11)/5). Is c not equal to d?
True
Let m be (39/(-27))/(6/9). Suppose -5*j = 2*w + 16, -2*j + w = 5*w + 16. Let a = m - j. Which is smaller: a or 0.1?
a
Let r = 114 + -72. Let x be (-22)/r + (-36)/(-84). Suppose 0*g = -3*g. Which is bigger: g or x?
g
Suppose -4*d = -3*c + 20, -5*d + c - 24 = -3*c. Let u = d - 0. Let y be (-4)/18 + u/45. Is -1/3 < y?
False
Let k(b) = b - 5. Let l be k(10). Let s = l + -2. Suppose 5*o - 2*j + 27 = 0, o - j = s*o + 18. Is o less than -8?
False
Let v = 15 + 21. Let y be 16/v*(-15)/(-8). Which is smaller: y or 1?
y
Let z be (-1 + 2)*1/(-1). Let o = -2 - z. Let u be 5/(125/15)*20/(-4). Which is smaller: o or u?
u
Let v(j) = 0*j**2 - j**2 - j + j - 1 + 4*j. Let w be v(4). Do w and -2/25 have different values?
True
Let n be -1 - 2*4/(-14). Let b be (-1)/2*0/4. Is n bigger than b?
False
Let o be 4/6*(-3)/5. Let s(x) = -x**3 - 5*x**2 - 5*x - 3. Let j be (3/2)/(6/(-16)). Let p be s(j). Which is smaller: o or p?
o
Let t(g) = g**2 + 11*g - 13. Let f be t(-12). Does -5/3 = f?
False
Let r = -0.24 - 11.76. Let a = r - -10.1. Let m = a + 2. Are m and 2 unequal?
True
Let x = 43 + -257/6. Suppose 4*s - 3 = 5. Is x smaller than s?
True
Let s(c) = -c**3 - 9*c**2 + 2*c + 19. Let z be s(-9). Which is bigger: 2/61 or z?
z
Let m = -12 + 6. Let q = 3 + m. Which is greater: q or -4?
q
Let u be 1 - -4 - 41/4. Is -4 at least as big as u?
True
Let l be (1 + -2*1)/(-1). Let x = 1/2388 + 1469/293724. Let t = 724/2583 + x. Is t equal to l?
False
Let v = -36 - -59. Let o = 14 - v. Which is bigger: -1 or o?
-1
Let v be ((-6)/(-4))/((-2)/(-4)). Suppose -6 = -v*l, -2*l + 8 = -2*a - 8. Let d = -7 - a. Do d and -1 have the same value?
True
Let g(q) = -3*q**2 - 8*q - 10. Let j(o) = 5*o**2 + 12*o + 15. Let b = -14 - -9. Let d(w) = b*j(w) - 8*g(w). Let s be d(5). Are s and 0 nonequal?
False
Let a be (6/7)/(1/49). Let o = a + -167/4. Does 0.1 = o?
False
Let l be 1/(-1) - (-3 - 4). Let w = -8 + l. Let n be w + -1*3/(-3). Which is bigger: 1/5 or n?
1/5
Let p be (6/(-9))/(8/12). Let m(u) = -20*u + 1. Let q be m(p). Let y be 8/12 - 11/q. Which is smaller: y or 1?
y
Let h(n) = -n**3 + 23*n**2 - n + 23. Let z be h(23). Which is smaller: -108 or z?
-108
Let z be 231/54 - 1/(-6). Is z less than 3?
False
Let s = 5.81 + 0.15. Let z = 6 - s. Are 1 and z equal?
False
Let n(i) = -i**2 - 3*i - 2. Let q = 12 - 7. Suppose -q = 5*f + 5. Let j be n(f). Do j and -1 have the same value?
False
Let y be 3 - (-1 - -11)*767/2548. Which is smaller: y or 1?
y
Let m = 0.1 + -0.2. Let r = -0.387 + -0.013. Which is smaller: m or r?
r
Let z be (-85)/(-171) - 8/18. Let k be -2*(0 - 1/2). Is z < k?
True
Let s(h) = h**2 + h - 482. Let t be s(0). Let c be (5/(-10))/(10/t). Let g = c + -47/2. Is 1 at least g?
True
Let b be 43/15 + (-8)/(-10). Which is smaller: 3 or b?
3
Let r = -5 - -5. Let m = -0.3 - -0.3. Let q = m - r. Is -0.3 greater than q?
False
Suppose 2*g - 4*c + 3*c + 13 = 0, 5*g + 3*c + 16 = 0. Let h be (3 - 0) + (g - -2). Which is bigger: h or -2/19?
h
Let i be 9/(-6)*(-8)/(-156). Is i < 0?
True
Let j(q) = -q**3 - 4*q**2 + 2*q + 4. Let b be j(-4). Does b = -3?
False
Suppose -2*g + 288 = 16*g. Is 16 bigger than g?
False
Let t = -159 + 43. Let m = 582/5 + t. Which is bigger: -1 or m?
m
Suppose 0*g + 2*g - 28 = 0. Let u be g/4 - 4/8. Let k be 1 + 1 - (-1 + 0). Is u != k?
False
Suppose 4*g + 5*u - 26 = 0, 3 = 3*u - 3. Let z = -6 + 12. Let d(r) = -r**2 + 8*r - 8. Let a be d(z). Is a at least g?
True
Let v(h) = 2*h**2 - 2*h**2 - h**2 + 10 + 0*h**2. Let t be v(0). Let z(k) = k**3 - 10*k**2 + k - 7. Let c be z(t). Which is smaller: 3/2 or c?
3/2
Let s = 50 - 51. Let m = 1 - 2/3. Which is greater: s or m?
m
Let t = 4 + -10. Let y = t - -4. Which is greater: 0 or y?
0
Suppose -8*o = -6*o. Which is smaller: 3/10 or o?
o
Suppose -3*x + 0 = -0. Is x > 8/19?
False
Suppose 0 = -5*w - 8*a + 4*a + 21, -26 = -5*w + a. Let i(f) = -f**3 + 6*f**2 - 4*f - 2. Let j be i(w). Let v(o) = o - 4. Let z be v(j). Is z less than 1?
True
Let z = 0.3 - 0.2. Let n = -0.3 + z. Let a be (-2)/(-4)*-1*-2. Which is smaller: n or a?
n
Let i = -5/8613 - 3384869/68904. Let t = -33 + 82. Let h = t + i. Is h >= -1?
True
Let w = 22 - 22.12. Is -1/4 > w?
False
Let d be (-1 + 0)/(1/(-5)). Let n = -4 + d. Let q = -55 - -221/4. Is n at most as big as q?
False
Let d(z) = z**3 + 19*z**2 + 