Let w = -13 - -13. Which is greater: h or w?
w
Suppose 4*j - 2 = -f, -4*j - 17 = -2*f - 1. Are -1/7 and f equal?
False
Let l be 2/4 + 82/(-116). Let b = 75/58 - l. Which is greater: 1 or b?
b
Suppose 5*x + 7 = 2. Does x = 2/5?
False
Let o be (-2*27/3)/(-2). Let h = 14 - o. Suppose 4*z - 11 = -3*m, -12 = -3*z + 3*m - 4*m. Is z greater than or equal to h?
True
Let o be (5/14)/((-3)/6). Let n = 257/826 - 3/118. Is n less than o?
False
Suppose -l = -d - 9, 4*d + 6 = 2*l - 4*l. Suppose l*y - 4 = -j + 6, -j - 4 = -2*y. Which is bigger: j or -1/5?
j
Suppose 4*q = 4, -5*q = 2*s - q + 16. Let z be ((-8)/140)/((-1)/s). Is -2 < z?
True
Suppose -22*m + 24*m = 128. Which is greater: m or 65?
65
Let d(p) = -2*p**3 + p**2. Let n = -8 + 11. Let v be 2 + (-3 + n - 1). Let s be d(v). Which is smaller: 2/33 or s?
s
Let p be (0 + 24/4)*3. Let l be (-69)/p + 2/(-12). Is -3 greater than l?
True
Let i = 287 + -3160/11. Let x = -13/33 + i. Let j(r) = r**2 + 10*r + 21. Let w be j(-7). Is w < x?
False
Suppose 0 = x - 6*x - 10. Let r be (-4)/(-2) + (x - -2). Suppose r*k + 0*k = 5*h - 13, 2*k = -2*h + 8. Which is greater: k or -1/6?
k
Let y be 11/(-72) - (-4)/(-18). Suppose 0 = 3*k + k - 4. Is k bigger than y?
True
Let y = 0.56 + -0.5. Which is smaller: y or -1/3?
-1/3
Let z(d) = -d**2 - 10*d + 4. Let x be z(-10). Is x > 4?
False
Let h(v) = -v - 4. Let s be h(-8). Suppose 16 = -s*n + 60. Which is greater: n or 10?
n
Let o be 10/4*8/(-10). Let y = o - -5. Suppose y*r - 25 = 5*t, -2*r + 16 = -3*t - 0*t. Is t less than or equal to -2?
True
Suppose 5*g - 7 = -5*n + 3, -3*g - 6 = 0. Suppose 5*m + 3*u - 7 = 0, n*m - 5*u - 6 + 30 = 0. Which is smaller: 2/5 or m?
m
Suppose k = 2*k. Let x be (k + -2)*7/14. Let y be 29/(-35) - 2/(-5). Are x and y nonequal?
True
Let n be (1 - -2) + 4/2. Let y = n - 6. Let k be y/(-1) - (-5)/(-3). Do k and 0 have the same value?
False
Let t = -11 - -17. Let s = -57 - -50.9. Let y = s + t. Which is greater: 0 or y?
0
Let j = 837/5 - 168. Which is greater: j or 1/4?
1/4
Let p(y) = y**2 - 7*y - 6. Let n be p(8). Suppose -5*r + s = -3*s + 9, -4*s = n*r - 2. Are 2 and r equal?
False
Suppose -5*t - 15 = 3*k, 6*k - 3*k + 15 = t. Suppose -7*g + 2*g = t. Is g greater than or equal to 1?
False
Suppose 0 = -5*n + 45 + 15. Is n > 12?
False
Let j(m) = -m**2 + 5*m + 10. Let l be j(7). Let z = 6 + l. Let y = z - 3. Which is greater: y or -2?
y
Let j = -0.12 + 0.22. Are j and -0.04 equal?
False
Let w(h) be the third derivative of -h**6/120 - h**5/10 - 5*h**4/24 - h**3/6 + 2*h**2. Let d be w(-5). Let c be (-3)/4 + (-165)/(-180). Which is bigger: c or d?
c
Suppose -2244 = -2*z - 2*z. Let s = 15149/27 - z. Which is smaller: s or 0?
0
Let c be 1 + (-3 - -2)/(-1). Let s be 2*(c - (-15)/(-6)). Is s less than or equal to -2/17?
True
Let v be -2 - 1*-2*4. Let o(a) = a**2 - 5*a. Let g be o(v). Suppose -2*j - j = -g. Is j less than 2?
False
Let j = 20.1 - 20. Is 5 bigger than j?
True
Suppose -4*r = -3*v - 3*r - 38, -3*v - 43 = -2*r. Let j = -14 - v. Which is greater: -1 or j?
-1
Let f = -12 + 10. Let t = -1 + 3. Is f at least as big as t?
False
Suppose -2*o + 50 = -0*o. Let j be (2/(-8))/(o/20). Let m(z) = z**2 - 5*z. Let f be m(5). Which is smaller: j or f?
j
Let o = -5 + 8. Suppose 4*m + o - 19 = 0. Let y = -3 + 6. Is m > y?
True
Suppose -3*y = -5*v - 1 + 9, -v + 6 = -5*y. Let k be (v + -7)/(1 + -3). Let b be ((-3)/(-2))/((-1)/(-2)). Are b and k equal?
True
Let q = 0.2 - -1.8. Let t(i) = -5*i**3 + 2*i + 1. Let f be t(-1). Suppose 4*a = -f*x + 8, -8*x + 3 = -a - 4*x. Which is smaller: a or q?
a
Let a be ((-4)/(-6))/(2/27). Let z = a - 5. Let p be 7/(-4) - (-1)/z. Is p at most -2?
False
Let x = 0.2 + 1.8. Is 1.5 less than or equal to x?
True
Let d = 67 + -5961/89. Which is smaller: 1 or d?
d
Let q(b) = -2*b - 3. Let p be q(-5). Suppose 5*t + 7 = -4*g, -2*g + t - 28 = -p. Let x be (-4)/5 + g/(-20). Which is greater: x or -1?
x
Let b = -4 + -2. Let z(g) = -g - 6. Let y be z(-6). Let s be (-6)/b*(y + 0). Is 1/6 smaller than s?
False
Let o(w) = 4*w**2 - 3*w - 2. Let d(v) = -3*v**2 + 4*v + 1. Let t(p) = 3*d(p) + 2*o(p). Let r be t(6). Let u be (-48)/(-117) + (-1)/3. Which is smaller: r or u?
r
Let a = 1/5514 - 62495/16542. Is -5 at least a?
False
Let o = -10.17 - -0.17. Which is greater: 0.1 or o?
0.1
Let l = 178/595 - 64/35. Is l at most -2?
False
Let i be 2*(-2)/3*-3. Let n(o) = -o**3 - o**2 + o - 8. Let z be n(0). Let m = i + z. Is -4 at most as big as m?
True
Suppose -2*r + 7*r - 15 = 0. Suppose -4*i = -2*t + 30, 0*t - 30 = 3*i - r*t. Which is bigger: -4 or i?
-4
Let l = 0.16 - 14.16. Which is smaller: l or 0.1?
l
Let h(c) = -2*c**3 - c**2 - 3*c - 1. Let o be h(-2). Suppose -4*z - o - 5 = -2*l, -15 = -5*l. Suppose -3 = b, 4*s + 2*b - 4*b = -10. Are z and s non-equal?
False
Let m = -1 + -6. Let q = 8 + m. Which is greater: q or -1/4?
q
Let z(t) = -9*t + 1. Let b be z(1). Let j be ((6/b)/1)/3. Let w = -12 - -13. Which is smaller: w or j?
j
Let r = -6.038 + 0.038. Which is greater: 1/7 or r?
1/7
Let k(v) = 4*v**3 + v**2 - v + 1. Let x be k(1). Suppose -x*w + 2*w = -45. Are w and 16 equal?
False
Suppose -2*z + 2*v + 3*v - 16 = 0, -v = 4*z - 12. Let p be (3/6)/(z/4). Let k(a) = -a**2 - a. Let l be k(0). Is p smaller than l?
False
Let p = -29 + 30. Which is smaller: -2.6 or p?
-2.6
Let n = -147 + 442/3. Let k = -3 + 2. Is k < n?
True
Suppose -333 = -3*w - 99. Let z = -388/5 + w. Is 8 greater than z?
True
Let l be (-1 + 88/2)*(-20 + 19). Which is smaller: -2 or l?
l
Let z = -0.61 + 0.51. Is z less than 9/2?
True
Suppose -j + 6 = 3*a - 11, 5*a = 2*j + 10. Let c be (-1)/(0 - (-26)/a). Which is greater: c or -1?
c
Let j = -2126/15 + 792/5. Is j <= 16?
False
Suppose -b + 0*b = 5. Which is smaller: -4 or b?
b
Let o = 15.9 + -17. Let g = -0.8 - 0.2. Let q = o - g. Is 2 greater than q?
True
Let y = 31 + -31.1. Is 1 smaller than y?
False
Suppose 0 = 4*u - 9*u. Which is smaller: -4/5 or u?
-4/5
Suppose 3*f - 2*f + 5*g = -10, f - 3*g = 14. Let i = f - 2. Suppose 6 = -4*l - 2*o - 2, -i*l - 12 = 3*o. Does -1 = l?
False
Let f = 26 - 47. Let u = 19 + f. Let x be (2/4)/((-6)/(-4)). Which is greater: x or u?
x
Let h = 33 - 33. Is 1/28 smaller than h?
False
Let d = 244/3 + -82. Is d less than or equal to 0?
True
Let x(r) = 34*r. Let o be x(-1). Is 2/3 greater than o?
True
Let a = 10 - 7. Let c be 1/a*(-3 - -12). Suppose -3*l - 6 = c*f, 0*f - 2*l - 4 = -f. Which is greater: -2/21 or f?
f
Let h = 12 - 11.9. Let n = 3 - 2.8. Let l = n - h. Is 1 <= l?
False
Let p be 15/(15/(-3))*-1. Does 8 = p?
False
Suppose 0 = -4*c + 2*d - 36, 5*d + 46 = -4*c + 2*d. Which is smaller: c or -5?
c
Let t be (4/(-6))/((-10)/(-15)). Let c be 3/(51/(-19)) - t. Does 1 = c?
False
Let g = 10.2 - 10. Let v = -2/343 - 47/343. Does g = v?
False
Suppose 9 = 5*f - 11. Suppose 0 = -f*w + 2*k - 26, k = -2*w + 4*k - 23. Is w not equal to -4?
False
Let j be 4/(-10) - (-4)/10. Let f(t) = -t**3 + 11*t**2 - 18*t + 1. Let h be f(9). Is j bigger than h?
False
Suppose 2*p - 7*p - 8 = -4*g, g - 2 = 5*p. Suppose 3*l = -j + 2, 4 = g*j - 0*l + 3*l. Suppose -j = 2*n, -y + 2 + 1 = -4*n. Which is smaller: y or -2/5?
y
Let p = 3 + -3. Let v = -2 + p. Is -3 not equal to v?
True
Let o be 1 - -1 - 5 - 0. Suppose -4*u + 6 = 3*h, -2*h = -u - u + 10. Is h less than or equal to o?
False
Let d = 8 + 4. Suppose -d = -f + 5*q, -3*f - 5*q - 5 = -1. Suppose 0 = -5*j + 3*b - 18, -f*j + 2*b - 8 + 0 = 0. Is j at least as big as -4?
True
Let x = 0.006 - -1.994. Is -17 bigger than x?
False
Let s(p) = p**2 + 7*p - 7. Let a be s(-8). Let o be -2 - (0 - (a + 181)). Let f be o/42 - 4/14. Is f >= 5?
False
Suppose -30 = 2*f - 8*f. Is f smaller than 7?
True
Suppose -h - 2*h - 5*g - 31 = 0, 4*h + 49 = g. Which is smaller: -13 or h?
-13
Let r = 1 - 1. Let i = 2610/7 - 372. Let g = -8/7 + i. Which is smaller: r or g?
g
Let f be 0 - (-3)/((-6)/(-10)). Suppose -f*v + 36 = -9. Is 9 less than or equal to v?
True
Suppose -4*k + 2 = 6. Which is smaller: 2/31 or k?
k
Let a(p) = p**2 + 8*p - 7. Let z be a(-9). Suppose z*f = 7*f. Is -1/2 at most f?
True
Suppose 4*p = 2*h - 3*h - 15, -h = -p. Let b be -2 - (2 - (-13)/p). Let g = 0 - 1. Is g equal to b?
False
Let o = 28 - 27. Is 1 less than o?
False
Suppose -3*q - 12 = q. Let m be (4/(-2))/(1 + -2). Let v(p) = -2*p**2 + 3*p - 2. Let