hich is smaller: n or b?
n
Let y be (12/(-30))/(23/(-5)). Which is greater: -1 or y?
y
Let m = -19/6 + 829/258. Which is bigger: 0 or m?
m
Let c = 2/4701 - 9568/390183. Is c at least 0?
False
Let y be 1/2*8/(-2). Let w be -3 + -1 - -1*2. Let q = w - y. Do q and -2/7 have the same value?
False
Suppose -5*r + c + 18 - 2 = 0, 16 = 2*r + 2*c. Let x = -3 + r. Which is greater: x or 0?
x
Let i = -165 + 502/3. Is i > 3?
False
Let y be 10/15*(-30)/(-4). Let o = 7 + y. Suppose -5*m = -2*a - 9, 4*a - o = -m + 3. Which is smaller: 3/2 or a?
3/2
Let z = 3 - 0. Let a = -18 + 19. Which is smaller: a or z?
a
Let f be 1 - 14/16 - (-1173)/24. Are 49 and f non-equal?
False
Let p = -8 + 10. Let i = -1 + p. Is 1/8 != i?
True
Let a be 3 - (-3)/6*2. Suppose 2 = g, -4 = v + 2*g - a*g. Which is bigger: v or 5/8?
5/8
Let w = -3/14 + -5/42. Which is smaller: w or 0?
w
Let o be 6/(-3)*(-2)/4. Let v(t) = t - 18. Let j be v(15). Let a be 6 + o*9/j. Which is greater: 1 or a?
a
Let v(t) = -t**2 + 5*t + 7. Let i be v(7). Which is bigger: -9 or i?
i
Let i = 27 + -18. Is 9 less than or equal to i?
True
Let d be 1 - ((-9)/12 - -2). Let t(l) = -3*l - 6. Let c be t(7). Let p be ((-52)/c + -2)*3. Is d not equal to p?
True
Let r be 2*(0 - 27/6). Is -7 less than r?
False
Let i be (-1 - (-1 + 0))/(-1). Let d = -16 - -9. Let s = d + 6. Is s greater than or equal to i?
False
Suppose 3*b = -5*c - 2, 5*c + 6 = b - 5*b. Let s be ((-8)/b)/(-1 - 10). Let i be (-4)/14 - (-2)/7. Is i < s?
False
Let l = 18 + -25. Let a = l - -8. Let y = 0.1 + 0. Which is bigger: y or a?
a
Let h be ((-8)/12)/((-2)/9). Suppose h*v + 2*y = 6*y + 8, 0 = -2*v - 2*y - 4. Suppose 0 = -0*j - 3*j - 5*n - 12, n = -3. Does j = v?
False
Let h be -1 - ((-2 - -1) + -1). Which is greater: h or -1/7?
h
Let r(f) = f + 10. Let h be r(-7). Suppose -h*z = 2*d + 13, -12 - 18 = -5*d + 5*z. Is -3/8 < d?
True
Suppose -c - 12 = -3*c. Suppose 34 = c*b - 8. Are 6 and b unequal?
True
Let v = -14 - -11. Suppose -t + 4*f = 20, 4*f + 10 = -4*t - 10. Let o = 5 + t. Is o > v?
False
Let x = 1 - 1.1. Suppose -14 - 1 = -3*v, 13 = -4*w - 3*v. Is x at least as big as w?
True
Let h be (2 + 8/(-10))/((-2)/(-25)). Is h at most as big as 0?
False
Let z = 31 + 5. Is z at most as big as 35?
False
Let t = 51 - 54. Are t and -7/3 unequal?
True
Let x be (-4)/16 - 25/(-4). Which is smaller: x or 5?
5
Suppose 5*p - 59 = 3*t - 0*t, p + 71 = -4*t. Let v = 25 + t. Are -1 and v unequal?
True
Let y = -1 + 1.2. Suppose 4*f = 8*f - 4. Is y at most f?
True
Let q(p) = -p**3 - 4*p**2 + p + 5. Let m = -4 - 0. Let j be q(m). Suppose a = -5*h + 5, 0 - 30 = -5*h + 4*a. Is j smaller than h?
True
Let c = 0.01 + -9.01. Let i = -13 - c. Let l = -3 - i. Is 4 at least l?
True
Let c be 8/64 + 1378/(-16). Is c at least -85?
False
Let f = 2 + -4. Which is bigger: f or 3?
3
Suppose 5*g = j - 19, -4*j - 12 = -3*g + 5*g. Which is smaller: -2/13 or j?
j
Let w = 2.93 + -3. Let t = -0.17 - w. Is t smaller than -4?
False
Let t = 0.02 - -7.98. Let w = -13 + t. Let m = w - -5.1. Is -0.4 at most m?
True
Let k = -4 - -4. Let t(p) = p**2 - 4*p - 1. Suppose 6*w = w + 20. Let b be t(w). Which is greater: b or k?
k
Let h(m) = -m + 6. Let v(j) = -2*j - 7. Let y be v(-5). Let t be h(y). Do 5 and t have the same value?
False
Let l = -16 + 16. Let a be 7/5 - (-6)/(-15). Are l and a non-equal?
True
Let y be (-40)/18 - 12/3. Which is greater: y or -7?
y
Let o = -2195/9 - -148891/612. Let c = -6/17 - o. Which is smaller: c or 1?
c
Let h be (-144)/21 + 9/21. Let l = -1741/273 - h. Which is smaller: -1 or l?
-1
Let u = 19 - 20. Let x be (6 - 4) + u - -1. Is 2 smaller than x?
False
Let h(m) = m**3 + 7*m**2 - m + 4. Let r be h(-7). Which is bigger: 10 or r?
r
Let l(u) = u**3 - 5*u**2 - 4*u - 8. Let z be l(6). Let p = -10 + 14. Is p at most as big as z?
True
Let v = 0 - -2. Which is greater: 4 or v?
4
Let f = -992 + 92258/93. Which is smaller: f or -2/5?
-2/5
Let a(i) = i**3 + 6*i**2 + i + 6. Let q = 7 - 13. Let c be a(q). Let g be (((-2)/(-3))/1)/(-2). Which is greater: g or c?
c
Let a(w) = w + 5. Let t be a(-7). Let h be 15*((-204)/27 - 0). Let k = h + 112. Which is smaller: t or k?
t
Suppose -3 = -k + 1. Let n = -11 + 15. Do n and k have different values?
False
Let r = 5 + 3. Let f(o) = 6*o**3 - o**2 + 3*o - 1. Let s be f(1). Which is smaller: s or r?
s
Let k = -0.5 - -3.5. Let j = -38591/12 - -3214. Let w = 8/3 + j. Is w equal to k?
False
Let h be (-2)/(-5) - 8/(-5). Suppose -2*z = -4 + h. Let r be 1 - z - (2 - 3). Which is smaller: -2/11 or r?
-2/11
Let h(v) = -v**3 + 8*v**2 + v - 6. Let j be h(8). Suppose -t + 2 = -j. Suppose 2*q - 7 = -t*p - q, -p + 4*q - 3 = 0. Which is smaller: p or -1/7?
-1/7
Suppose 2*q + 3*u + 44 = 0, -5*u = 2*q - 5*q - 85. Is q smaller than -25?
False
Let q(b) = -b**2 + b - 96. Let h be q(0). Let n be 4/h + (-1)/(-6). Let f = -1 + 1. Are n and f non-equal?
True
Let h(r) = -2*r - 6. Let y be h(-5). Suppose 5*d - 19 = -y. Which is smaller: d or 2?
2
Let i = -18 - -18.06. Let j = -1.06 + i. Let s = -0.6 + 1. Which is smaller: j or s?
j
Let w = -129/2 - -67. Let g = -27 - -31. Is w <= g?
True
Let y be (-20 - 0 - -4) + -3. Let d be y/2 + 3 + 1. Is d equal to -7?
False
Let r(o) = -o + 5. Let h be r(5). Suppose 2*p - 3*b - 4 = 0, -2*p - b + 5 - 1 = h. Which is smaller: p or 3?
p
Suppose -2*c + 3*o - 1 = 0, 0 = 2*c - 3*c + 4*o - 8. Suppose d + c = 3. Do d and -1/2 have the same value?
False
Let k = -33.03 + 33. Let i = -1.1 + 2. Let f = i - 1. Which is smaller: f or k?
f
Let g = 130830734/11385 + -632052/55. Let u = 2/207 - g. Which is smaller: -1 or u?
-1
Suppose l + 4 = -3*v - 1, -v + 25 = -5*l. Are 1/4 and v equal?
False
Let i = 1075/3 - 214997/600. Which is smaller: i or -1?
-1
Let o = -5 - -6. Let h be o/(-3)*(-21)/1. Is 7 >= h?
True
Let t be ((-8)/10)/(2/5). Let n be t/(-5) - (-10)/(-25). Let v = 1 + -0.8. Which is bigger: v or n?
v
Let q = -3 + 3. Let h be (1 + 0)/(12/(-9)). Is q != h?
True
Suppose 0 = -p - 4*p - 100. Let v be ((-4)/(-8))/((-2)/p). Let j be 18/4 + (-1)/(-2). Do v and j have the same value?
True
Let o(v) = v**3 + 5*v**2 + 3*v - 3. Let r be o(-4). Let s = 4 + -4. Let z = r - s. Which is smaller: z or 2/17?
2/17
Let h be (3/9)/(1/21). Suppose 0 = -4*n + 3*y + 6, h*y - 2*y = -n - 10. Let z = 1/4 + -5/16. Is n less than z?
False
Let m(t) be the second derivative of 1/5*t**5 + 0 + 0*t**3 + 0*t**4 - 1/2*t**2 + 4*t. Let i be m(1). Which is greater: 2 or i?
i
Let o = -39955/12834 - -3/1426. Which is smaller: -0.1 or o?
o
Let o be 0*((-14)/4)/7. Is o <= -2/5?
False
Let c be 14/18 - (-14)/63. Which is smaller: 1/45 or c?
1/45
Let y(w) = 2*w - 1. Let q be y(5). Suppose 7 - q = -a. Let x = a - 0. Which is greater: x or 3?
3
Let i(a) = a**3 - 9*a**2 + 6. Let p be i(8). Let j = 408/7 + p. Is 2 >= j?
True
Let x = -103/2 + 51. Is x greater than 6/19?
False
Let v = 19778/43 - 460. Do 1 and v have different values?
True
Suppose 5*c - 3*t = 20, 4*c - 3*c = -5*t + 4. Let f = 4 - c. Which is bigger: f or -2/5?
f
Let p be (-124)/(-186) + -1 + (-58)/6. Let j = -7 + -3. Are p and j unequal?
False
Let g = 165 + -1160/7. Is g less than -1?
False
Suppose 5*d + 47 = -2*u, -3 = d - 0*d. Let l be (3/1)/((-24)/u). Suppose -4 = -l*r - 0. Is r > -1?
True
Let b = -41/39 + -333/13. Let t = -1514/57 - b. Is 0 less than or equal to t?
True
Let w = 39/290 + -1/29. Is 0 not equal to w?
True
Let c = 0.1 - 2.1. Which is greater: c or 0.06?
0.06
Let f = -261 + 264. Suppose -2*i + 5*i = -5*c, -5*i = -4*c + 37. Let o(j) = -j**2 + 4*j - 1. Let d be o(c). Which is smaller: f or d?
d
Suppose 0*u + 4*i + 2 = -u, 0 = u + 3*i - 2. Let l = -7 + u. Is 6 < l?
True
Suppose 3*w = w. Let q = -82098/7 + 11698. Let d = -30 - q. Are d and w unequal?
True
Let g be (13/4)/((-2)/(-8)). Which is greater: g or 11?
g
Suppose -3*p - 2*p = 3*j + 4, p = -3*j - 8. Suppose p = 3*k + 4. Let d be k + 3*(-2)/(-3). Is 0 greater than or equal to d?
False
Suppose 2*k + 6 = -6. Let r = -3 + 1. Let x be r + (-1 - 4) + 0. Is x less than or equal to k?
True
Let s be 0 + (-4)/(-16) - (-12)/16. Which is smaller: -6/19 or s?
-6/19
Let h be -1 - 20/16*2. Are h and -3 unequal?
True
Let b be 6 - 3 - (0 + (-187)/(-63)). Is 2 < b?
False
Let o(t) = t**2 - 5*t - 6. Suppose -2 = -f + 4. Let j be o(f). Are 1 and j non-equal?
True
Let l be ((-3)/(-7