 greater: r or y?
r
Let s = 1 + 9. Let l be (-24)/35 - (-4)/s. Let c = 1.37 + -0.37. Is c at most l?
False
Let l = 21673/20028 + 2/1669. Let h = l - 4/3. Which is smaller: h or 2?
h
Let v be 12*(5/1 - 4). Suppose 0 = 2*b - v - 2. Let n = 7 - 0. Are b and n equal?
True
Let h(c) = -c**2 - 11*c - 7. Let w be h(-7). Let u = 20 - w. Are u and -1 equal?
True
Let o = 6.8 - 6. Which is smaller: -1 or o?
-1
Suppose 2*b - s - 8 = 0, -3*b = -0*b + 2*s - 5. Is b > -2?
True
Let u = -15 + -1. Does u = -16?
True
Let p(y) = y**3 + 10*y**2 - 12*y - 8. Let k be p(-11). Let l = k + 0. Let a be 2/(-4) + l/(-2). Is -1 at most as big as a?
False
Let u be ((-2)/(-4))/(-1)*2. Let o be (8/28)/(-2) + (-11)/119. Which is smaller: u or o?
u
Let w be -2 + (-11)/((-44)/(-24)). Which is bigger: -9 or w?
w
Let s be ((-14)/(-6))/(-7)*(-2 - -161). Is -53 < s?
False
Let z be 7*-1*(-10)/35. Suppose 4*b + 66 = -3*q, -2*b = -b - z*q + 22. Let l be ((-12)/(-18))/((-4)/b). Is l less than or equal to 2?
False
Let k be (2 - 1)/((-4)/(-96)). Suppose 2*o - 5*m = -15, 4*m - k - 6 = -2*o. Suppose -12 = -3*a - 0*a. Which is smaller: a or o?
a
Let c be ((-1 - 0) + 2)*1. Let p be (0 + 1)/(0 + c). Let w = -446/3 + 150. Which is smaller: p or w?
p
Suppose -3*u - u + 16 = 0. Suppose -2*a + 0*a + 10 = 0. Is a >= u?
True
Let k be -9*(20/15 - 3). Is k less than 14?
False
Let q be 3/7*(4 - 3). Let d = q + -4/7. Is -1 less than d?
True
Let a be 1 - (-5)/((-15)/2). Let p = -87.59 + 88. Let m = p - 0.01. Is m <= a?
False
Let g be ((-55)/(-44))/(1/(-4)). Are -5 and g nonequal?
False
Let j be (15/(-12))/((-5)/2). Is j > -2/29?
True
Let d = -45/2 + 22. Which is greater: d or -0.2?
-0.2
Let a = 0.97 - 0.07. Let x = 0.131 + -0.031. Is a greater than or equal to x?
True
Suppose -5*r - 6 = -u, 0 = -u - 5*r + 4*r. Let q = -4729/17 - -1193037/4301. Let h = 14/23 + q. Which is smaller: h or u?
h
Suppose 0 + 32 = 8*k. Is k smaller than 3?
False
Suppose -9*w = -11*w. Which is smaller: w or 1?
w
Let d(j) = -j**2 + 3*j + 6. Let z be d(5). Suppose -6 + 18 = -3*s. Is s > z?
False
Suppose u + 3*t + 14 = 5*u, -2*t - 10 = -3*u. Let q be 16/5 - u/10. Which is smaller: q or 2?
2
Suppose -5*t + 2*t = -51. Suppose -4*p + p - 4*d - t = 0, -2*p + 2*d - 2 = 0. Let q be p/(-5) + 4/10. Which is greater: q or 2?
2
Suppose -k - d + 3 = -1, -4*k - 2*d = -6. Suppose 4*y = -0 - 8. Which is greater: y or k?
k
Let h be (1/20)/((-10)/(-40)). Are h and 0.2 equal?
True
Suppose 270 = 28*o - 38*o. Is -27 >= o?
True
Let s = -4 - -8. Suppose s*z - a = -z + 25, -3*z + 15 = -3*a. Suppose w = 2*w + z. Which is greater: w or -4?
-4
Suppose -5*k + 3 = -7. Suppose -3*j - 17 = k*v + 3*v, 5*v + 5 = 0. Let b be ((-9)/(-6))/((-7)/14). Is b bigger than j?
True
Suppose -24 = 6*y - 3*y. Let c = y - -6. Is -4/7 at least as big as c?
True
Suppose 2*g = -0*g - 14. Which is smaller: g or -9?
-9
Let h be (-3)/6 + (-353)/42. Let x = h - -25/3. Is x less than 0?
True
Let o = 6 + -8. Let c be 1/((-6)/(-3))*-4. Is c <= o?
True
Let c(n) be the third derivative of n**5/60 + n**4/12 - n**3/3 + 9*n**2. Let w be c(1). Which is greater: 2/21 or w?
w
Let c be ((-162)/(-45))/((-4)/(-10)). Suppose 4*j - c = -5. Let w be (-13)/24 - (-2)/3. Is j at least as big as w?
True
Suppose -5*k + 14 = x - 107, -k - 5*x = -29. Let b be (-26)/(-3) + (-2)/(-6). Let h be (k/b - 2) + 1. Which is smaller: h or 3?
h
Let m = -3 - -6. Let q = -3 + m. Is q at most as big as 0.1?
True
Suppose 2*x - 12 = w - 0*w, -2*x + 16 = -3*w. Suppose -5*d = 4*j + 116, j - x = -4*j. Let p be 5/20 - (-14)/d. Which is smaller: p or 1?
p
Let o(q) = q**2 - 10*q + 8. Let c be o(9). Suppose -7*r + 2*r = 0. Which is smaller: r or c?
c
Let u be 6/(-12) + 7/30. Do u and 0 have the same value?
False
Let g = 0.033 - 0.033. Is 20 greater than g?
True
Let n be ((-3)/9)/((-1)/9). Let t(y) = y**3 - 4*y**2 - y + 3. Let k be t(n). Let o = 6 + k. Is 0 equal to o?
False
Let n = 0.1 + -0.18. Let v = -0.12 - n. Is -1 bigger than v?
False
Let k(p) be the first derivative of -p**3/3 + 7*p**2/2 - 3*p - 1. Let j be k(6). Suppose 4*n + 1 = -j. Which is bigger: n or 0?
0
Let v be (-2 - -1*2)/2. Suppose -3*t = 5*j - 4, 0 = -j - 4*j - 5. Suppose -1 = t*c + 5. Which is smaller: c or v?
c
Let r = 0.5 - 0.3. Let j be (10/6)/((-4)/3). Are j and r equal?
False
Let v = 2 + -1.7. Let w = v - 0.5. Which is smaller: w or -3?
-3
Let j = -4199/142 - -5/71. Let l = 28 + j. Is l greater than -2?
True
Let l = -759 - -8357/11. Let z = -2/33 + l. Is z < -1?
False
Let a = 1.76 - 10.66. Let r = -8 - a. Let m = r + 0.1. Does 3/2 = m?
False
Suppose -1 + 3 = q. Let t be 1*(q + 1 + -3). Are 1/4 and t non-equal?
True
Let r = 1 + -1.5. Let g = 2.5 - r. Let i = -2 + g. Which is smaller: i or -2/9?
-2/9
Suppose 10*s - 5*s - 10 = 0. Suppose -s*k = k - 6. Which is smaller: k or -1?
-1
Suppose -2*n - 5*w = -w - 16, 3 = 3*n - w. Suppose 2*c + 7*f + 11 = n*f, c - 5*f - 17 = 0. Which is greater: c or 1?
c
Suppose 4*k - 3 = 5. Let c = 8 - 5. Suppose -c*o + 6*o - 9 = 0. Is o at most as big as k?
False
Let q be (-7)/4 - (-1)/(-4). Suppose -v = 4*d, 0 = -2*v - d - d. Is q > v?
False
Let g = 6.42 + 0.58. Which is bigger: g or 1?
g
Let p = 6 - 6. Suppose -3*y + p*y - 3 = 0. Which is smaller: y or -7/5?
-7/5
Let z(i) = -i**2 - 12*i + 15. Let w be z(-13). Suppose -w*j = -3*n + 16, 0 = -4*j - 3*n + 6 - 2. Which is smaller: j or 1?
j
Suppose -3*t - 12 - 6 = 3*p, p = 4*t + 19. Suppose 0*z = -2*z. Suppose -l - 5 + 3 = z. Is l smaller than p?
True
Let q(j) = -j**2 + 5*j - 1. Let h be q(5). Let n(g) = g**3 - g**2 - 1. Let w be n(2). Is h < w?
True
Suppose -5*z + 3*k = 2, -z = 3*k - 2 - 12. Suppose -2 + 0 = 5*a - u, u = a + z. Which is smaller: -1/3 or a?
-1/3
Let c be ((-6)/(-21))/(60/84). Which is greater: c or 2/73?
c
Suppose 30 = -4*w - 6. Let v be (-6)/(-15) - 86/(-10). Let x be (-2)/v - (-16)/w. Which is smaller: -4/7 or x?
x
Suppose -4*h = 5*d - 23, -4*h - 2*d = -0*h - 14. Let w(i) = 2*i**2 - 10*i. Let a be w(7). Let y be 36/a + (-2)/7. Which is smaller: y or h?
y
Suppose 4*a - 168 = -5*p, -3*a - p + 54 + 83 = 0. Is 46 >= a?
False
Suppose -c + 4 = -h, -c + 0*c + 5*h = -16. Let v be (1*4/(-46))/1. Which is greater: v or c?
c
Let j be 128/(-414) - (1 - (-33)/(-27)). Is 8 equal to j?
False
Let f = 21 - 21. Which is greater: f or -1/43?
f
Let k be (-1)/2 + (-9)/(-10). Let l = 5 + -9. Let g be ((-2)/l)/((-1)/2). Is k at most g?
False
Let m = 19 - -113. Let a be 64/m - 2/(-11). Do a and 1 have different values?
True
Let l be 1 - 1/((-4)/14). Let m = l + -5. Are m and 0 equal?
False
Let b(f) = 2*f**2 + 3*f - 5. Let h be b(-4). Let p = h - 13. Let s = 5 + -5. Which is bigger: s or p?
p
Suppose -2*b - 5*n = -8, -3*b - 5 = 4*n - 5*n. Let l be 1/((-2)/6*b). Do l and 1 have different values?
True
Let z = 0.1 + -0.2. Which is greater: z or 4?
4
Suppose -4*t = -2*r + 6, t + 4*t + r - 10 = 0. Let i(f) = f**2 + 5*f + 1. Let x be i(-4). Let a = x - -5. Which is greater: t or a?
a
Let z(i) be the first derivative of i**4/4 + 7*i**3/3 - 1. Let b be z(-7). Suppose 4*o + 4 = -b, 5*o = 2*a - 3. Are -1 and a non-equal?
False
Let v = -108 + 54. Is -53 at most as big as v?
False
Let f(r) = 4 + r + 3*r - 5*r + 6*r + r**2. Suppose -3*x + 2*n - n - 8 = 0, -4*x - 2*n = 24. Let z be f(x). Is z < 0?
False
Let n = 1.5 + 3.6. Let f = n - 5. Which is smaller: f or 2/3?
f
Let c = 33 - 16. Is -2/5 not equal to c?
True
Let w(h) be the first derivative of h**4/4 - h**3/3 - 9*h + 4. Let p be w(0). Which is greater: -10 or p?
p
Let x be 1/(-3) + 7/12. Let q be (-4 + (-7)/(-2))/(-1). Which is smaller: x or q?
x
Let s = -5.94 - -6. Let w = -11 - -10.94. Let b = w + s. Is b <= 1/5?
True
Let a be (-3)/2*(6 + -14). Is a < 14?
True
Let f(g) = -g + 16. Let r be f(7). Is 10 less than r?
False
Let b be 4 + -4 + 2 - -14. Is b smaller than 15?
False
Let h(o) = -o**2 - 5*o - 3. Let s be h(-3). Is 2/3 at least s?
False
Let s = -0.25 - 0.75. Which is greater: 0 or s?
0
Let n = 18.5 - 74.5. Is 2 less than or equal to n?
False
Let i(n) be the first derivative of 4 - 7/3*n**3 - 5*n - 1/4*n**4 - 1/2*n**2. Let z be i(-7). Which is smaller: 0 or z?
0
Let o(s) = s - 7 + s + s. Let q be o(5). Suppose 0 = -5*p + 3*g - 0 + 32, -3*p = 5*g + q. Is p != 1?
True
Let t = 244/165 + -14/15. Is t greater than -1/2?
True
Suppose 0 = 2*u - 6*u 