 is greater: k or 7?
7
Let j(n) = -n + 1. Let y be j(2). Which is greater: -1/10 or y?
-1/10
Let u be (-1)/(((-5)/2)/5). Suppose 7*p - u*p - 2*d = 5, -4*p - 3*d = -27. Let f(r) = r - 5. Let a be f(7). Which is greater: a or p?
p
Let x = 1.1 - 1. Let r = x - 0.2. Let g be -4 - (68/(-16))/1. Is r at most as big as g?
True
Let l be (6/8)/((-9)/(-6)). Which is smaller: 5 or l?
l
Let m = 0 + 8. Let h be ((-9)/12)/((-15)/m). Is h greater than or equal to -0.2?
True
Suppose 0 = -u + 5*u + 20, r + u = 63. Let t be (r/51)/(0 + 6). Which is smaller: -2/7 or t?
-2/7
Let u be 2/51*(-15)/10. Is 1 <= u?
False
Let d be (-2*1 - 14)/5. Let s = -76 + 74. Which is greater: d or s?
s
Let i(k) = k**2 - 13*k + 11. Let m be i(6). Is m < -31?
False
Let r(h) = -h**2 + 9*h + 3. Let u be r(9). Let b = -12 + 16. Is u <= b?
True
Let l(g) = g**3 - g**2 + g + 12. Let r be l(0). Let d be r/(4/1) + -4. Which is bigger: -2/3 or d?
-2/3
Let q = -7/2 + 10/3. Which is smaller: 1 or q?
q
Suppose 4 = 16*x - 14*x. Is 6/5 smaller than x?
True
Suppose 7*x = 3*x - 64. Let c = x - 7. Let q be (c/7 - -2) + 1. Which is smaller: 1/2 or q?
q
Let d = -12.6 - -6.6. Which is smaller: d or 6?
d
Let s(m) = -m**2 - 9*m + 1. Let l be s(-9). Let y be ((-1)/(-2))/(l/2). Is y greater than -2/23?
True
Suppose 0*l - 30 = -5*l. Let h be l/(-8) + 30/(-88). Which is smaller: 1 or h?
h
Suppose -v - 2*s + 1 = 4*v, 5*v + 1 = -3*s. Let x = 91/4 + -443/20. Is x not equal to v?
True
Let w be 20/9 + -1*2. Suppose 4*r - 1 = 3. Which is smaller: r or w?
w
Let r = -2.1 - -10.1. Let t = r + -5. Does t = 1/3?
False
Let v be -1 + 1 - (-12)/(-20). Is v greater than or equal to 0?
False
Suppose 5*o + 5 = -4*d + 2, 5*o = -d + 3. Which is smaller: -3/34 or o?
-3/34
Let k = 10 + -9. Let j be -16*(1/22)/k. Which is smaller: j or -1?
-1
Let p = 37 - 37. Which is greater: -2 or p?
p
Let s = 0 - -0.5. Let d = s - 0.4. Which is greater: -2/7 or d?
d
Let m(k) = -114*k**2 - 3*k. Let y be m(1). Is y not equal to -118?
True
Let i = 9 - -15. Let o be (16/110)/(i/(-60)). Which is smaller: -1 or o?
-1
Suppose -5*g + 14 + 11 = 0. Which is smaller: 3 or g?
3
Suppose 0*w + 18 = 2*w. Suppose -3*a - w = -0*a. Is -3 greater than a?
False
Let u = 48 - 32. Suppose 0*t + 2*t - u = 0. Suppose -6 = -4*w - 5*f, -w - 5*f + 2 - t = 0. Is w >= 3?
True
Let y = -16 + 16.2. Let s = 0.1 - y. Is -0.2 at least as big as s?
False
Let m be (-322)/(-35) + (-4)/(-5). Are -1 and m non-equal?
True
Let o = 20.8 - 20. Let h = -0.82 + o. Which is smaller: h or -0.1?
-0.1
Suppose 5*b + t + 601 = 0, 0*b - 5*t - 222 = 2*b. Let j = -267 - b. Let f = j - -1024/7. Which is smaller: 1 or f?
f
Suppose 2*k - m = m + 2, 0 = 3*k + 3*m - 15. Suppose 7*o - k*o - 12 = 0. Which is smaller: 1/5 or o?
1/5
Let q = -1 + 4. Suppose 0 = 5*c - q*p + 9, -4*c - 5*p + 13 = -2. Let h be 2/5 - 28/20. Does h = c?
False
Suppose 0 = -4*g - 3*f - 241, 3*g - f = -25 - 146. Which is smaller: -59 or g?
-59
Let b(j) be the first derivative of 1/2*j**2 + 2*j - 1/3*j**3 + 2. Let q be b(2). Which is smaller: -1 or q?
-1
Let h(q) = -23*q - 38. Let g(w) = -8*w - 13. Let x(j) = -17*g(j) + 6*h(j). Let l be x(-5). Let a(d) = d. Let k be a(2). Is l < k?
False
Let j = -9.8238 - 0.1462. Let b = 0.03 - j. Is -0.2 != b?
True
Suppose 0*o - 4 = 4*o. Let h be (-4)/10 - 412/(-280). Let j = h + -191/126. Which is smaller: o or j?
o
Let n(d) = -d**2 - 10*d + 14. Let p be n(-11). Suppose -p*r + 0 = -6. Let k(a) = a**3 + 9*a**2 + 8*a + 1. Let u be k(-8). Is u equal to r?
False
Let a be 2/((-2)/4*2). Let p = 0.26 - -0.74. Are p and a equal?
False
Let g = -7 + 13. Suppose g*q = 3*q. Let a = -743/7 + 106. Which is smaller: q or a?
a
Let i(y) = y**2 + 4*y - 4. Let h be i(-4). Suppose -2 = -2*j + 4. Suppose j + 12 = -3*a. Is h less than or equal to a?
False
Let x = 6 + -13. Let q(s) = -s**3 + 11*s**2 - 17*s - 15. Let l be q(9). Which is bigger: x or l?
l
Let o = 18.94 + -19. Which is bigger: -1 or o?
o
Suppose -5*z + i = 1 + 1, -2*z + 4*i + 10 = 0. Let f be (z + 3 - 0) + -2. Let r = 89/158 + -5/79. Is r <= f?
False
Suppose i + 2*p = -21, 2*i - 2*p - 2*p = -66. Let r = i - -107/4. Which is smaller: r or 0?
r
Let t = -27 + 109/4. Suppose 10 = -4*g + 2. Let r = -2 - g. Is t less than r?
False
Let g(i) = -i**3 + 4*i**2 + 4*i + 5. Suppose -5*m = 4*h - 30, 0 = -h + 4*m - 3 - 0. Let w be g(h). Suppose 914 = 4*f + 918. Is w <= f?
False
Suppose c = -4*q - 0*q - 14, 3*q + 5 = 2*c. Let u be (38/(-4))/(45/18). Let z = u + 81/20. Which is smaller: q or z?
q
Suppose 0 = 6*u + 5 + 1. Let m = -687 + 15111/22. Which is bigger: u or m?
m
Let s = -125 + 125. Are s and -3/19 unequal?
True
Let m = 52 + -69. Are m and -1 unequal?
True
Let m be ((-55)/6)/(8/36). Let w = m + 41. Which is bigger: 0.1 or w?
0.1
Let u be 3/2*(1 - -1). Let p(b) = b**3 - 7*b**2 + 7*b - 2. Let r be p(6). Is r greater than u?
True
Let d(u) = -u**2 - 12*u + 3. Let c be d(-12). Suppose -c*f - 2*i = -4*f - 1, 3*f = -2*i - 3. Is f at least as big as 2/9?
False
Let f be 6 + 0 + 1 + -1. Let k be f/(-4)*24/(-9). Is k at most 4?
True
Let m = -0.04 + -5.16. Let b = m - -5. Are 1/2 and b unequal?
True
Let r be -8 - (-1)/(-4)*0. Let j be (-12)/r*(-4)/6. Which is bigger: j or -2/7?
-2/7
Let a = 3.5 - 6. Let r = 0.5 - a. Let m = r - 4. Is -2/3 bigger than m?
True
Let z = -3 + 2.9. Is z less than -0.1?
False
Let r(o) = -4*o**2 - 4*o - 2. Let n be r(-2). Let k be 2/(n/(3/3)). Which is smaller: -1 or k?
-1
Let h(a) = a**2 + 5*a + 4. Let y be h(-8). Let s be ((-48)/y)/(1/(-4)). Let q = 247/35 - s. Is q less than 1?
True
Let v = -1 + -1. Let j be (v + 1 + 1)/(-2). Is j > -2/7?
True
Let x(t) = -t**2 + 5*t + 6. Let d be x(6). Suppose 2*k = 3*o + 264, 4*o = -k + 2*k - 137. Let n = k - 643/5. Is n <= d?
False
Let c = -12 - -26. Which is greater: c or 13?
c
Let g = -0.7 - -0.7. Let l = 0.37 - 0.07. Is l less than g?
False
Suppose -3*v = -4*l - 144, l + 6*v + 59 = v. Which is bigger: -40 or l?
l
Suppose 5*y - 8 = -3*y. Which is greater: y or 1/5?
y
Suppose 0 = 2*j - 4*j + 3*g + 2, -5*j + 5*g = -10. Let z(l) = -l**2 + 4*l. Let m be z(j). Suppose -5 = -5*a - 4*u - u, 2 = u. Is m <= a?
False
Let o be (-17)/(-26) - ((-3)/(-2) - 1). Which is bigger: 1 or o?
1
Let h = 0 + 0.1. Which is bigger: h or 11?
11
Let w = 1 - 0. Let v = 19 + -19. Let b = w - v. Which is smaller: 1/5 or b?
1/5
Let s = -182.06 + 182. Are 4 and s unequal?
True
Let b be -105*(18/195)/3. Which is bigger: -2 or b?
-2
Let z = -4 + 4.2. Let m = 1.3 + z. Let g = m - -0.5. Are 2 and g nonequal?
False
Let f(r) = r**2 - 3*r - 3. Let u be ((-6)/5)/((-6)/20). Let b be f(u). Which is smaller: b or 8/5?
b
Suppose 18 = 5*n - 2*f, 3*n + 5*f - 3 + 17 = 0. Does 3/8 = n?
False
Suppose -3*c - 2*c - 955 = 0. Let o = c + 3245/17. Is o greater than or equal to 1?
False
Suppose -3 - 3 = -2*g - 4*y, 4*y - 3 = g. Let u be (-3 + g)/((-2)/6). Suppose -b = -u*b - 30. Are -7 and b nonequal?
True
Let d be 22/4 - (-2)/4. Suppose -3*p + 3 = -d*p. Let n be (-2)/56 + (-2)/(-7). Which is bigger: p or n?
n
Let q be (28/10)/((-24)/(-60)). Is 7 bigger than q?
False
Let x = -2.5 + -15. Let g = 18 + x. Is 0 equal to g?
False
Let c be 6/3*(-30)/4. Let v be (-4)/6 + (-19)/c. Is v > 1/2?
True
Let u be (-4)/14*2/1. Let p be (-2)/3 - (-40)/15. Suppose 0 = p*r + 3*o + 9, 0 = -r - 3*o - 8 - 1. Is r equal to u?
False
Let u be (-2 - 14/(-8))/((-4)/1). Is 1 less than or equal to u?
False
Suppose -w = -3*w. Let t = w + 0. Let v = 46 + -51. Is t >= v?
True
Let k = -0.04 - 0.06. Let a = 0.5 - 0.2. Which is smaller: k or a?
k
Let f be (6*6/45)/2. Let p = -9/35 + f. Is 1 bigger than p?
True
Let r be 2/(-1 + 9/11). Suppose -36 = -y - 46. Is r > y?
False
Let b = -83 - -45. Is b >= -37?
False
Let h be (-1)/(-4) - 33/(-12). Let z(s) = -s. Let w be z(h). Let j be 2/w - 5/15. Which is smaller: 0 or j?
j
Let r be ((-12)/(-60))/((-1)/3). Is 2 greater than r?
True
Let p = -99 + 1483/15. Suppose -30 = -5*t - 5*a, 3*t - 27 = t - 5*a. Is p less than t?
True
Let g = 871/94830 - 2/435. Let k = g + 427/1962. Do -0.1 and k have different values?
True
Suppose -2*y - 115 = -7*y. Are y and 23 equal?
True
Let w be (-99)/(-21) + (-4)/(-14). Let j = 7 - w. Suppose j*z = 3*z. Which is greater: z or -2?
z
Let n = 9 + -7. Let r be 0/((n - 2) + -1). Which is smaller: r or -4/7?
-4/7
Let l(q) = q**3 + 6*