/(-4) + 9/v. Is 3 less than z?
True
Suppose 5*k = g + 3*g + 14, -k + 2 = 0. Is g less than 1/134?
True
Let g = 1336/1323 - 50/49. Let d = 65/189 + g. Which is greater: -2 or d?
d
Let n be ((-5)/(-10))/((-2)/(-48)). Let o = 8 - n. Is -2 bigger than o?
True
Suppose 3*q + 4*l = 164, 4*q - 40 = -5*l + 179. Suppose -4*n + 8 = q. Which is greater: -11 or n?
-11
Let a = -2 + 12. Let h = a - 6. Is 0 not equal to h?
True
Let x be (22/(-132))/((-2)/(-9)). Let t be (1*-1*-1)/1. Is x less than or equal to t?
True
Let f = -1.2 - -0.2. Let m = -0.5 + 0.8. Let i = m - 0.4. Is f at most i?
True
Let v be -2 + 12 + 6 + -9. Let k = -6 - -6.1. Is v < k?
False
Let z(f) = 2*f - 11. Let v be ((-4)/(-12))/(1/15). Let d be z(v). Is 1 < d?
False
Let i(l) = -3*l - 12. Let v be i(-13). Let z be (4 - v/12)*-2. Is -5 > z?
False
Suppose -i = 4*i + 15. Let x = -27 + 27. Which is greater: i or x?
x
Let y = 7 + 5. Let u be (-5)/(40/y)*4. Is u smaller than -4?
True
Let s(j) = -4*j + 3*j + 2*j - 5 + j**3 - 5*j**2. Let o be s(5). Let d be ((-2)/24)/((-1)/(-2)). Which is smaller: d or o?
d
Let f = -0.7 - 0.3. Let z = -0.53 - -0.03. Let w = -2.5 - z. Is w >= f?
False
Let o = -1/38 - -41/114. Let p be 0 - 3/9*1. Which is smaller: o or p?
p
Let t be ((-152)/(-6) - 0)*9/(-18). Which is greater: -12 or t?
-12
Let h = -1987/8 + 248. Is h <= -1?
False
Let q be 5/(-4)*2/(-5). Which is smaller: q or -2?
-2
Let m be (-2)/6 + (-2)/(-6). Let s(j) = 2*j - 2. Let h be s(2). Suppose -u = u - h. Which is smaller: m or u?
m
Suppose -7 + 4 = -2*f - 5*s, 2*f = 2*s + 24. Let d(c) = -c**2 + 10*c - 9. Let r be d(f). Is 2 < r?
False
Let l = -4 + -4. Let o be ((-2)/3)/(l/24). Is o > 0?
True
Let y be -8*(1 + 1/(-2)). Let a be (-14)/12 + (-2)/y. Let c = 4 + -6. Which is greater: a or c?
a
Let p = -75 - -77. Is p bigger than 10/3?
False
Let v be -5 - -3 - (-830)/416. Let l = 409/1456 - v. Which is bigger: 1 or l?
1
Let c = -3 + 5/2. Let v = -2440/3 - -855. Let d = -42 + v. Is c greater than d?
False
Let z(w) = 2*w + 3. Let l be z(-2). Let v be (28/16)/(l/(-4)). Let p(r) = -r**2 + 6*r + 6. Let t be p(v). Is t less than -1?
False
Let k be (-10)/(-115)*1/(-2). Which is smaller: 1 or k?
k
Suppose 0 = 3*u + 4*n + 10, -3*u + 7*u - n = 12. Suppose -5 = -4*p + 3*a, 0*p - u*a + 12 = 5*p. Is 2 at least as big as p?
True
Suppose -4*c + 4*i + 20 = 0, -5*c - 3 = 2*i - 7. Let t = c + 0. Suppose 0 = 3*g + 9, -5*o - t*g - 3*g = 5. Is o >= -0.1?
True
Let d be (9 + -4)/(3902/8). Let v = 209359/321915 + d. Let a = v + -2/33. Is 2 <= a?
False
Let p = -92 - -89. Suppose 2*h + 22 = 6*h - 3*z, 2*h - 14 = 3*z. Suppose -2*o - 2*o = -k + 6, -k = o + h. Which is smaller: o or p?
p
Let y(b) = -4*b - 9. Let c be y(-3). Suppose 5*s - r + 2 = -4*r, c*r = 2*s + 5. Is s > -1/5?
False
Let h(n) = 4*n - 1. Let r be h(1). Suppose -1 = -4*l - 4*d + 23, -r*l + 3*d - 12 = 0. Suppose 0 = p - 0 - l. Which is greater: -1/2 or p?
p
Let v(b) = -2*b**2 + 7*b**2 - b**3 + 2*b**3. Let u be v(-5). Is 8/9 not equal to u?
True
Suppose 0 = 4*z - 4 - 0. Let g be -4*z*(-10)/8. Suppose -g*h + 0*h = 2*j + 7, 0 = -4*h + 4*j. Which is smaller: 0.3 or h?
h
Let i = -15 - -48. Let u be 0 + (-60)/i + 2. Is 1 bigger than u?
True
Let x be 9/4*24/(-9). Let u = -18 + 13. Which is smaller: x or u?
x
Let i(p) = p + 5 - p + p. Let w be (-5)/(-1)*2/(-2). Let f be i(w). Is -1 at most f?
True
Let a = -97 - -1659/17. Which is smaller: 2 or a?
a
Suppose -2*g = 3*g - 2*p - 45, 9 = g - 5*p. Suppose -2*l - g = 11. Let m be 6/(-38)*l/15. Is 1 not equal to m?
True
Let l(d) = d - 5. Let s be l(5). Let n = -2 + 4. Do n and s have the same value?
False
Let z(d) = d**3 - 10*d**2 - 16*d + 25. Let x(a) = -a**3 + 9*a**2 + 16*a - 26. Let h(s) = 4*x(s) + 5*z(s). Let l be h(15). Is 7 smaller than l?
False
Suppose 2*n - 7*n = 95. Let j = -0.13 + 0.23. Is j <= n?
False
Suppose 0 = 3*i + 2*a - 37, 0 = -0*i + i - 5*a + 16. Is 8 at most i?
True
Let q = 1 - -1. Let r(h) = 3*h + q*h - 4*h - 8. Let x be r(7). Which is greater: x or -1/7?
-1/7
Let b = 13 - 1. Suppose 2*z - b = -2*z. Suppose -n - z*n + 20 = 0. Is n equal to 5?
True
Let y be (-80)/15 + 5 + (-173)/12. Which is smaller: y or -14?
y
Let y = -1001/36 + -130/9. Let v = -1139/997 + 2587759/59820. Let b = y + v. Is -1 != b?
True
Let i = 0 - -11. Let m be 14/6 - i/33. Let k = -2/11 + 28/33. Is m at most k?
False
Let f be (-3)/9 - (-269)/789. Let u = 504/2893 + f. Let y = 0 + 0. Is y less than u?
True
Let y be (-728)/1116 + (-2)/(-9). Let z = -636/155 - -21/5. Let i = z + y. Does i = 1?
False
Suppose 4 = 3*w + w - 5*c, -4*w + 4 = -c. Let u = 252 + -5543/22. Do u and w have different values?
True
Let a = 2 + -1. Suppose 3*s - a = 2*s. Let g be (-53)/(-11) + -8 + 3. Is s > g?
True
Let z(p) = p**2 - 6*p - 4. Let b be z(6). Let i = 3 + b. Let s = i - -4. Is 2 bigger than s?
False
Let t(l) = l**2 - 5*l - 6. Suppose -5*g = -36 + 6. Let u be t(g). Which is smaller: u or -2/15?
-2/15
Suppose 0 = 2*a - a + 12. Let z = a + 5. Let l = -56 - -394/7. Is z at least l?
False
Suppose -n + 0*n - 2 = 0. Let o = n + -1. Let h = 4 + o. Is h at least as big as 1?
True
Let k = -31 + 30. Which is smaller: k or 5/4?
k
Let m = 0 + 0. Suppose -6*i + 2*i = m. Suppose z - 2 + 0 = i. Which is smaller: 3 or z?
z
Let f = 0.08 - 0.98. Let a = f - -0.6. Which is bigger: a or -1/2?
a
Let d = 8 - 8. Let c = 5 - d. Let v = c + -3. Is -2 less than or equal to v?
True
Let j be 26/22 - ((-230)/(-55) + -4). Suppose 0 = 5*l - 0*l - 5. Are l and j non-equal?
False
Suppose -5*i - 4*l = 21 - 56, 3*i = 2*l + 43. Let c = -12 + i. Let k = 4 - 6. Is k < c?
True
Let n = 3.93 + 0.07. Let l = 4 + n. Which is smaller: -1/3 or l?
-1/3
Let g be 4/(-26) + 210/(-156). Is -2 <= g?
True
Let x be 2 - (2 - -1)*4/12. Is -9/23 greater than or equal to x?
False
Let t = -0.91 + -0.09. Let n = 2 + 0. Let v = -3 + n. Does v = t?
True
Let n be 1/(10/(-144)) - (-2)/5. Is -14 > n?
False
Suppose 1 = -w - 2. Let k = -12 + 12. Which is smaller: k or w?
w
Let x be (1/14)/(8/32). Which is bigger: 1 or x?
1
Let h = 34/21 - 9/7. Let q be 15/(-5) + (2 - -1). Which is greater: h or q?
h
Let l be 3*(-2)/(18*(-1)/16). Do l and 4 have the same value?
False
Let f be (0/(-1))/(4/(-2)). Let t be 0/((-9)/3) - f. Is 1 smaller than t?
False
Let n = -20 + 11. Let l be 2/n - 32/(-63). Let f(u) = -u**3 + 4*u**2 + 6*u - 5. Let c be f(5). Is l less than c?
False
Let r be 5*(-1 - (-1 + -1))/(-1). Which is greater: r or -4?
-4
Let g = -10 - -12. Let z be (-57)/(-15) - (1 + g). Which is greater: 0 or z?
z
Suppose 0 = 2*o + 3 - 1. Let v = 97.7 + -98. Which is bigger: v or o?
v
Let h = -26 - -11. Let i be ((-4)/(-3))/((-2)/h). Let a be ((-4)/i)/((-1)/15). Is 5 <= a?
True
Let k = 2.8 - 2.5. Which is greater: -1/4 or k?
k
Let r(g) = -g**2 - g + 4. Let f be r(0). Suppose 5*h + 2*u + 6 = 3*h, 8 = f*h - u. Suppose -20 = -3*k - 3*y - 2, 3*y - 16 = -k. Is h smaller than k?
False
Let q(y) = 3*y**2 - 9*y + 4. Let l be q(4). Which is bigger: 0 or l?
l
Let c = -11 - -4. Let j = c + 15. Which is smaller: j or 1?
1
Let f(x) = 4*x**2 + 2*x - 4. Let b be f(-3). Let z = -14 + b. Are z and 12 nonequal?
False
Suppose x = -4*x. Let s = -2233 - -6605/3. Let v = -30 - s. Which is bigger: v or x?
v
Suppose -w = 3*q - 8 - 1, 0 = 3*q - w - 9. Suppose -5*t = -q*t + 4. Are -3 and t nonequal?
True
Let i be ((-6)/(-14))/((-16)/28). Does -1 = i?
False
Let d(g) = g**3 + g**2 - g - 1. Let c be ((-2)/4)/(2/8). Let m be d(c). Let n(w) = w**3 + 4*w**2 + w - 4. Let s be n(m). Is s at most as big as 3?
True
Let s = -9 - -11. Suppose 0*v - s = v. Is v greater than -9/4?
True
Let m(h) = -h**3 - 6*h**2 - 6*h - 4. Suppose z = 4*g - 25, -3*g + 5 = -5*z - 7*g. Let f be m(z). Is 0 at least f?
False
Let u = 0 - 3. Let d be (1/(-1))/(2/6). Is u greater than d?
False
Let i = 5 + -9.5. Let n = i + 9.4. Let v = 5 - n. Which is smaller: -2 or v?
-2
Let s be (-1 - 0)*(3 + -2). Let y be 1/(s + 12/9). Suppose z + 8 = -y*z. Are z and -4/5 nonequal?
True
Let g = 5 + -8. Let y be g/(-2) + (-3)/(-6). Let w be 3/9 + y/3. Are w and -2/13 equal?
False
Let j = -19.94 - 0.06. Is j >= -2?
False
Suppose 0*f = 5*f + 5. Let n = 19.5 - 20. Which is bigger: f or n?
n
Let l(b) = b**3 + b**2 + b + 2. Let t be l(0). Suppose t*w - 15 = -w. Suppose -w*c = 4 + 11. Are c and -2 equal?
False
Let b be (-6)/9 + 32