hich is smaller: f or 2/7?
2/7
Let x = -8.4 + 8. Let z = x - -0.4. Which is smaller: z or 6?
z
Let r(i) = 5*i**2 - 2. Let u be r(-2). Let o be (-3)/u + (-19)/(-42). Which is greater: 1 or o?
1
Let r be 410/50 + 2/(-10). Which is smaller: 9 or r?
r
Let j be (5/1025)/(1/5). Which is smaller: 0 or j?
0
Let d = 0.3 - 0.2. Let u = 11 + -9. Is u < d?
False
Let i = 11 + -5. Let b be (5 - i)/(2/(-4)). Suppose -2*r - k = -5*k + b, -2*k = 0. Is 0 >= r?
True
Suppose 11 + 19 = 5*w. Let o(a) = -3*a - 3. Let g be o(0). Let c be (-1 + g)*w/(-54). Is c bigger than 0?
True
Let m = 29 + -10. Let p = -18 + m. Are 6/7 and p non-equal?
True
Suppose 7 = -2*p + 1. Suppose 15 = 3*o + 6. Let k = p + o. Which is smaller: k or 1?
k
Let p = -3 - -2. Do 0 and p have different values?
True
Let j be (-4)/4*(2 + -4). Suppose -b + 5 = -j*b. Let q = b - -4. Which is greater: q or -1/5?
-1/5
Suppose 0 = 3*p - c - 1 - 13, -2*c = -2*p + 16. Let q be p/(-2)*(-16)/60. Is q > -3/4?
True
Let d(a) = a**2 + 8*a - 46. Let z be d(4). Which is smaller: 2/11 or z?
2/11
Suppose 4*j - 3 - 5 = 4*w, -w = j. Are j and 2/245 nonequal?
True
Let p be ((-1)/(-2) - 1)*2. Let b = p - 0. Which is smaller: 2/45 or b?
b
Let h = 24371243/231 - 105503. Let o = h + 7/33. Let w = 1 + -1. Is w less than or equal to o?
True
Suppose -2*t - 10 = -4*x, -2*t + 6 = 4*x - 0*t. Let g be 49/(-55) + x/(-10). Which is greater: -2 or g?
g
Let a(i) = 7*i**2 - 4. Let y(z) = -6*z**2 - z + 3. Let t(o) = -5*a(o) - 6*y(o). Let l = -6 - -3. Let u be t(l). Is u equal to -7?
True
Let k = -15 - -15.1. Is -0.2 at most k?
True
Suppose 15 = 6*a - a - k, -a - 23 = 5*k. Let u be -48 + 1 + (-6)/a. Let w be ((-4)/u)/((-3)/(-15)). Which is smaller: 0 or w?
0
Let n be (90/(-27))/(-10) + (-11)/(-9). Suppose 24 = -u - 5*z, 4*z = 4*u - 14 - 10. Which is smaller: u or n?
u
Let v(k) = k**2 - 4*k + 3. Let h(g) = 2*g**2 - 3*g + 2. Let j(b) = 2*h(b) - 3*v(b). Let i be j(-7). Let a = 5 + -4. Which is bigger: a or i?
i
Suppose -4*d + 1 = -0*s + s, -4*s = 5*d - 4. Suppose -2*q + 72 = -0*q. Let a be 0 + d + (-8)/q. Is a smaller than 1?
True
Let a = -6 + 7. Let o be 542/(-6) + 1/3. Let z = 627/7 + o. Is a not equal to z?
True
Let r = 7 + -2. Suppose -3*d + 0 + 3 = 3*c, r = 5*c + d. Suppose -1 = -3*g + 2. Is g greater than c?
False
Let m(c) = 3*c**3 - 2*c - 1. Let y(p) = -12*p**3 - p**2 + 9*p + 5. Let f(k) = -9*m(k) - 2*y(k). Let d be f(-1). Which is greater: d or 5?
5
Let x = 0 - -5. Let m(b) = -b**2 + 4*b + 6. Let r be m(x). Let h = -6 - -8. Which is smaller: r or h?
r
Let p = 52 + -52.4. Let w = 4 - 2. Is p greater than or equal to w?
False
Let m = -3 - -6. Let j = -3.2 + m. Let a = 5 + -5.1. Which is bigger: a or j?
a
Suppose 3 = 2*r - 2*q + q, 4*r - 5*q - 3 = 0. Suppose 0 = 4*f - 5*d, 5*f - 2*d - r*d = 9. Suppose 16 = -3*x - 2*p, x = f*p + 33 - 10. Is 1 > x?
True
Let w = 13 + -13. Suppose w = 2*t + 8 + 10. Is 1 greater than t?
True
Let m be -3 + 4 - -1 - 2. Let z = 4 + -3. Are z and m unequal?
True
Let a be (12/(-9))/((-1)/3). Let y(q) = q**2 - 25*q - 21. Let z be y(26). Which is greater: a or z?
z
Let m = 0 + 1. Let l be (-2 - -2)*1 + 24. Let q be 3/l*-14 - -2. Is q >= m?
False
Let k(f) = f. Let l be ((-6)/(-5))/(8/20). Let t be k(l). Suppose r = 5*h + 19, t*r - 5*h = 8 + 9. Which is bigger: r or -2/9?
-2/9
Let h(w) = w**2 - w + 2. Let k be h(3). Let i(o) = -5*o + 59. Let p be i(10). Which is smaller: k or p?
k
Let j(a) = a**2 + 11*a + 6. Let k be j(-10). Let w be (-10)/k*(-12)/75. Which is smaller: w or 1?
w
Let s be -3 + -2 + 3/1. Let t be s*1*(-4)/36. Let x(z) = z**2 - 6*z - 1. Let u be x(6). Is t at least u?
True
Let a = -102 + 103. Let b = 0.2 + -0.4. Which is bigger: b or a?
a
Let w = 7 + -22/3. Do -0.2 and w have the same value?
False
Let d be (-24)/(-27) + (-4)/(-36). Suppose 4 = -4*b - 0. Is d > b?
True
Let s be (-4)/35*175/(-14). Is s smaller than 0?
False
Let u = 22 + 66. Let z be 2 + u/3 + 1. Let j = z + -32. Are -1 and j unequal?
True
Let i = 131284/3 + -42844. Let u = i - 845. Let f = u + -73. Which is bigger: f or -1?
f
Let j(p) be the first derivative of -1/2*p**2 - 2 + 5*p. Let n be j(5). Which is smaller: -1 or n?
-1
Let j = 3 - 3.4. Let x = j - -0.2. Are x and -1 equal?
False
Suppose 4 - 24 = -2*l. Which is smaller: 8 or l?
8
Let w be 15*((-3)/(-9))/1. Let y be 4/(8/10) + -1. Let o = w - y. Is o > 4/5?
True
Let w(c) = c**3 - 3*c**2 - 5*c + 4. Let v be w(4). Suppose -p + 8 = -v*z + 2*z, 4*z - 3*p = 16. Let t be -3 + -1 + 3 + 4. Is z > t?
True
Let f be 4/(-22) + 12/(-55). Are 0.1 and f non-equal?
True
Let a(m) = m + 6. Let o be a(-5). Let v = -3 + o. Is -1/2 <= v?
False
Let f(z) = z**3 - 5*z**2 + 4 - 3*z - 2*z**2 + z**2 - 4*z. Let n be f(7). Are 2 and n unequal?
True
Let j = 28/9 + -22/9. Let t = 1 - 3. Which is smaller: t or j?
t
Let l = 0 - -2. Which is smaller: l or -2/3?
-2/3
Let n(g) = -2*g**2 - 3. Let w be n(-3). Are w and -22 nonequal?
True
Let g be (-3)/(-18) + (-867)/5418. Does g = -1?
False
Let f be (-3)/6 - 14/(-4). Let t be f/6*(-10)/(-5). Which is greater: t or 0?
t
Let y(h) = -h - 1. Let g be y(-4). Suppose 2*f - 1 = 5. Suppose 1 = -2*a + f*b, -5*a + 2*a + b + 9 = 0. Which is greater: g or a?
a
Let i = -94 - -170. Let m be 6/(-9) - i/12. Let w be 2*(1*4)/(-1). Is m bigger than w?
True
Let j = -72 + 75. Which is bigger: j or 4?
4
Let b = -1 + 1.05. Let r = b - 0.15. Is 3/2 at least r?
True
Suppose -y + 2 + 3 = 0. Let r be (0 - (-1 - -3)) + 5. Is y at least as big as r?
True
Suppose 5*n - 2*a = -14, -2*n = n - 5*a - 3. Let g = -34.9 + 35. Do n and g have the same value?
False
Let i(b) = -b + 13. Let t be i(9). Suppose t*l - 5 = 31. Do 9 and l have different values?
False
Let a = -6 + 2. Let d be a/6*3/(-12). Let v be -3 - 0 - (4 + -3)*-2. Which is smaller: v or d?
v
Suppose 5*v + 0*v - 5 = 0. Let z be ((2/v)/20)/(-2). Is z less than -1?
False
Suppose 0 = -5*y + 2*x + 26, 12 = -4*x - 0*x. Suppose 15 = 9*a - y*a. Let u = 11 + -8. Do u and a have the same value?
True
Let m be 4/(-5)*60/(-8). Let f = 13 - m. Does 7 = f?
True
Let z be (-58)/3 - (-12)/(-18). Let l be z/(-66)*12/10. Does l = 1?
False
Suppose -c - 1 = 0, 0*c - 4*c + 4 = -s. Let j(z) = -2*z**2 - z - 1. Let t be j(-2). Is t less than or equal to s?
False
Let c = 4 - 3. Suppose 0 = a - 4*u + 6 - c, -8 = 4*a - 4*u. Which is smaller: a or -4/7?
a
Suppose a = -4*t + 27 - 7, 4*t = -4*a + 56. Suppose -3*h + a = -3*p, -2*p = 3*h + p + 12. Let s = -29 + 113/4. Do s and h have different values?
True
Let y be 2 + -1 - -1*8. Let p(b) = 9*b**3 - b**2 + 2*b - 2. Let j be p(1). Is y greater than j?
True
Let r = 45/31 + -622/279. Which is greater: r or -2?
r
Let n be (-1)/(-3)*3 - -3. Let o be n/(-2)*15/(-6). Let l = o + -4. Which is smaller: 2/5 or l?
2/5
Let s be 206/(-10)*(-15)/(-18). Let r = 685/42 + s. Let x = 32/21 + r. Is x < 0.3?
False
Let i be 8/(-7) + 1 - 77/(-196). Let n be 5/(-3)*2/(-15). Are i and n equal?
False
Let l be (0 + 1)/((-1)/(-2)). Let m(i) = 10*i**2 - 7*i + 10. Let d(h) = 3*h**2 - 2*h + 3. Let g(r) = l*m(r) - 7*d(r). Let s be g(1). Is s bigger than -2?
False
Let p = -1/691 - -2779/10365. Which is greater: p or -1?
p
Suppose 5*q = 12 + 18. Let z(g) = 3 + 3*g - q*g + g + 3*g. Let t be z(-6). Is t at most as big as -2?
True
Let q(o) = o**2 + 10*o - 12. Let t be q(-11). Let b be 2 + (-3 - 0 - t). Is b <= 3?
True
Let d = 19 + -11. Let c = d - 3. Does c = -1/4?
False
Let t be 78/(-21) + (-2)/7. Let r be (t/(-8))/(1/(-2)). Let p = -47/3 + 16. Which is bigger: r or p?
p
Let v(c) = -c**2 + 7*c - 6. Let a be v(6). Is a <= 3/32?
True
Suppose 4*s - 24 = -5*k, 0*s + 1 = s. Let i = k + -4. Which is greater: -1/6 or i?
i
Suppose -4*z - 3*c + 5*c - 32 = 0, -z = -5*c - 1. Let b = z - -8. Which is greater: -4/5 or b?
-4/5
Let o = -0.6 + 0.7. Which is smaller: o or 1/39?
1/39
Let j = 1455925 + -77160793/53. Let d = j - 61. Which is smaller: -1 or d?
-1
Let r be 0/((-5)/((-25)/(-20))). Is 4/43 smaller than r?
False
Suppose -3*x = x. Let t = -1 + 1.5. Which is smaller: t or x?
x
Let k = 76.63 - 81.6. Let f = -16 - -11. Let u = f - k. Is u at most -1?
False
Suppose -5*g - 10 = 0, 5*l - g - 3 = 24. Suppose 2*h - l = -3*h. Let r be 17/7 - (h + 1). Which is greater: 0 or r?
r
Suppose 5*k = 61 - 16. Let b be (-33)/k + (-1)/3. Let u be (-8)/(-126) + b/14. Which is greater: 