r: w or 4/7?
4/7
Let k be (5*2)/(4/(-2)). Let b = -3 - k. Is 5/7 smaller than b?
True
Let b be 11/13 + (-16)/(-104). Which is smaller: -1/24 or b?
-1/24
Let l(n) = -182*n**2 + 2*n + 1. Let j be l(-1). Let y be -2 + -1*j/24. Let b = y - 421/72. Does 1 = b?
False
Let g = -1.9 - -2. Let b = -3 - -2.7. Let t = b + 0. Do t and g have different values?
True
Suppose 2*k - 4*y = 3*k - 11, -2*k = -4*y + 14. Let u = -4.01 - -8.2. Let o = 0.19 - u. Which is bigger: k or o?
k
Let u = 0.2 + -0.3. Let f = 0.1 + u. Suppose -5*p = 3*c + 7 + 9, -15 = 3*p. Which is smaller: c or f?
f
Let b be (-2)/(-4) + 22/(-4). Let r be (200/36)/b + 2. Do 0 and r have the same value?
False
Suppose 4*b - 25 = w, 0 = -0*b - 3*b - 2*w + 16. Let m(o) = -o**3 - 8*o**2 - 8*o - 1. Suppose 3*h = h - 14. Let s be m(h). Is s >= b?
True
Let j = 3 - 8. Let o(q) = q**2 + 6*q - 3. Let b be o(j). Which is smaller: b or -7?
b
Let b be (406/(-315))/((-4)/33). Let w = b + -54/5. Are 1 and w equal?
False
Suppose 3*s - 6 = 0, 15 = 4*g + 5*s - 11. Let m = 6 - g. Let o be ((-1)/3)/(m/(-3)). Which is smaller: o or 0?
0
Let z = 6 - 0. Which is bigger: 0.1 or z?
z
Let l be (5 + 10)*4/6. Let j be 6*(l/6 + -1). Suppose 4*u - 16 = -x, j*u - x - 16 = -3*x. Which is bigger: u or -2/7?
u
Let v(a) = a**2 + 2. Let u be 1/(-6) - (-88)/(-48). Let q be v(u). Do 2 and q have different values?
True
Suppose -2*q + 4*m - 24 = 0, 2*m = -0 + 8. Suppose 0 = -5*b - 14 - 1. Is b < q?
False
Suppose -3*w - y - 16 = 0, 0*w - 16 = w + 3*y. Let f be w/(-20) + (-1)/5. Is -2/11 > f?
False
Suppose -a = -5*f - 0*a + 53, 0 = 3*f - 4*a - 42. Let q be 84/f + 2/(-5). Suppose r - 5*r = q. Are r and 0 unequal?
True
Suppose -3*o + 2*o - 4 = 0. Let i be 3/6 - 14/o. Suppose 5*t = -5*d - 10, -i*d - 44 = -5*t + 9. Which is bigger: d or -8?
d
Let x = 10648 + -63617/6. Let z = x + -45. Which is smaller: z or 1?
z
Let z be 5*(0 + (-9)/(-15)). Suppose -1 - 5 = -z*w. Is w bigger than -1?
True
Let s = 3 + 57. Let n = s + -359/6. Which is smaller: 1 or n?
n
Let c be (0 - (-4)/(-2))/(-7). Let m be 2 - (1 + 0) - -2. Suppose -2*o + m*l = -7*o - 11, 5*l = -10. Which is greater: c or o?
c
Let u(m) = -m**2 - 5*m - 11. Let v be u(-6). Which is smaller: v or -15?
v
Suppose -2*m - 79 - 117 = 0. Let t be (4/(-14))/((-42)/m). Which is smaller: 4/11 or t?
t
Suppose -3 = -2*w + w. Suppose -4*q - 4*s = 16, 0 = w*s + 5 + 4. Which is smaller: 2/35 or q?
q
Let y(h) = -7*h + 1. Let k be y(-2). Suppose -x - k = 4*x. Suppose 3*r = -4 - 2. Is r > x?
True
Suppose -8*d = 2*d + 10. Let t = -4/29 - -45/116. Which is smaller: d or t?
d
Let b(a) = -a**3 - a**2 + 1. Let s be b(-1). Let f = 5/1412 + 369919/7060. Let j = f + -52. Which is smaller: j or s?
j
Let v(d) = 2*d - 22. Let t be v(9). Is t less than -8?
False
Let d(w) = -w - 2. Let q be d(1). Suppose 0 = -4*a + 5*a + 3. Do a and q have the same value?
True
Let m(u) = -u**3 - 11*u**2 - 10*u - 10. Let a be m(-10). Which is greater: -9 or a?
-9
Let i = 15 - 18. Which is bigger: i or 0.01?
0.01
Let a be (-4 - -4) + (-4)/1. Let v be (-39)/(-18) - (-2 - a). Which is smaller: v or 1?
v
Let o = 17.3 + -17. Is o less than -3/4?
False
Let h = 9 - 2. Suppose 5*b - 77 = -32. Is h bigger than b?
False
Suppose -3*x = -2*w + 27, 0 = -w - 2*x + 5*x + 21. Let r = 27 + -17. Let g = r - w. Is g >= 4?
True
Let c(l) = -3*l**2 + l + 1. Suppose -k + 6*k + 5 = 0. Let p be c(k). Let g = p - -1. Which is smaller: g or -3?
-3
Let r = -0.4 - -0.3. Let k = -3.5 + 3. Which is bigger: k or r?
r
Let z = -1075 + 43003/40. Is z less than or equal to 1?
True
Suppose 0 = 3*o + l + 1, -6*o + 2*l = -10*o - 4. Suppose 8*i - 12 = 4*i. Which is bigger: o or i?
i
Let x = -66.4 - -73. Let k = -5.56 + x. Let m = -0.04 + k. Are m and 2/7 equal?
False
Let b be (-15)/6*16/(-20). Is b less than or equal to 2/3?
False
Suppose 3*b + 4*d = 4 + 12, -4*d + 16 = 0. Is 21 at most b?
False
Let w = 5 + -5.3. Let l = -8 + 8.3. Let a = l + w. Is 3 less than a?
False
Let f(c) = -c**2 + 11*c - 24. Let m be f(6). Suppose 2*p = 7 + 1. Is p < m?
True
Let p be 1 + -1 + -15 - 3. Let n be (-4)/6 + (-12)/p. Is n > -1?
True
Suppose 7*h = 2*h + 110. Is 21 greater than h?
False
Let k be 2/(-12)*2 + (-7)/3. Is k less than or equal to 2?
True
Let i = 0.2 + -0.3. Let l = 0 - 0.5. Let c = 0.2 + l. Which is smaller: i or c?
c
Let z(f) be the second derivative of f**5/20 + 5*f**4/12 - f**3 + f. Let m be z(-6). Let q be -1 + -2 - (-2 - 1). Is q greater than m?
False
Suppose -20 = 2*a + 2. Is -10 at least as big as a?
True
Suppose -4*r + 10 = 94. Which is bigger: -22 or r?
r
Suppose 5*d + 20 = 0, 10 = -6*c + 4*c - 3*d. Is c <= -1/3?
False
Let v(z) = z**3 - 4*z**2 + 2*z - 6. Let t be v(4). Let p = -1 + t. Is p > 1/5?
True
Let t = 0.69 + -1.09. Which is bigger: 10 or t?
10
Let h(i) = i**3 + 8*i**2 + 4*i - 1. Let l be h(-3). Suppose 0 = 2*a - 6*a + l. Suppose -5*u - a + 3 = 0. Is u > 1/8?
False
Suppose 3*j = 4*b - 28, -2*b - 9 = 5*j + 3. Let s = 2 + -4. Let f be (s/j)/((-3)/18). Which is greater: -2 or f?
-2
Suppose 0*g - 20 = -5*g. Let n = -2 + g. Suppose 0 = 3*w + 3*i - 6, 4*w + 17 = 5*i - n. Which is smaller: w or 2/9?
w
Let g = -604923/850 - -17762/25. Let c = 22/17 + g. Is c at least 0.4?
False
Let b = -0.008 - -1.008. Which is greater: 0 or b?
b
Suppose 0 = 3*x - 0*x. Suppose 7 + x = 4*o + z, o = 2*z + 13. Suppose 5*r = 3*r + 6, 0 = -3*q - 2*r + o. Is 1 less than or equal to q?
False
Let r = -23 + 34. Let l = r + -14. Is -2 at least l?
True
Suppose -5*g + 67 = -4*g. Suppose 5*t + s - g = 133, 4*t - 160 = 2*s. Let u be (-3)/(-5)*t/36. Is -1/5 bigger than u?
False
Let b be (-2)/(-4 - 0)*2/3. Let m = 0.1 - 0.3. Which is smaller: m or b?
m
Let d = -3.2 + 3. Let t = 43.8 - 44. Is d at least as big as t?
True
Let p = 9 - 3. Suppose a + 2*s - 3*s = p, -5*s - 29 = -4*a. Let w be a - (-2 + 4) - 1. Is w bigger than -2?
False
Let j = -1.1 + 1.2. Do 0.9 and j have different values?
True
Let p be 0 + (1 - (-1)/(-1)). Let f be ((-24)/135)/(17/48). Let b = f - 5/51. Are b and p unequal?
True
Let h be 572/(-8) - (4 - 0)/(-8). Which is greater: -72 or h?
h
Let w be (-2)/18 + 0/(-1). Suppose -c + 1 + 2 = 0. Suppose -5*r + 2*m = -c*m, 2*m = 0. Which is smaller: w or r?
w
Let w(b) = -b + 2. Let r be w(5). Let o = 5 + r. Let t(y) = y**2 - 2. Let h be t(-2). Do h and o have the same value?
True
Let r be (44/90)/(4/6). Let v = 2/5 - r. Let y be 1*(-1 + 4 + -3). Is v > y?
False
Let m be -2*2/(-14) - 5427/(-189). Which is smaller: 26 or m?
26
Let i(y) = -y**2 + 6*y + 8. Let q be i(8). Let a = q + 9. Which is smaller: -3 or a?
-3
Let i = -1.3 + 23.9. Let g = i - 22. Which is smaller: -1/4 or g?
-1/4
Suppose -2*j + 4*j - 10 = 0. Suppose -6*n - j = -n. Which is smaller: -1/4 or n?
n
Let u(n) = -n**2 - 9*n. Let a be u(-8). Let l(k) = -k**3 + 7*k**2 + 8*k + 1. Let x be l(a). Suppose 3*c + 4 = d, -4*c + 3*d - d = 6. Which is smaller: x or c?
c
Let s be 2/(-4) + 1/(-6). Let n(g) = g**3 + 9*g**2 - 2*g - 13. Let f be n(-9). Let p = f - 6. Which is smaller: p or s?
p
Suppose 0*s = 3*s - 6. Let c = s - 3. Let n be 3/c*(-4)/36. Do 0 and n have the same value?
False
Suppose 2*b = -5*v + 4*b + 6, 4*v = -b + 10. Suppose w = 1 + 3. Suppose -w = y - 2*y. Is y != v?
True
Let t = 2 - 10. Let w be ((-12)/(-16))/(2/t). Let o be ((-2)/w)/((-52)/12). Are -1 and o unequal?
True
Suppose -4*a + 3*a + 4 = 0. Suppose 1 = 5*h - a, -3*h - 13 = -4*v. Suppose v*t - 4 = 4*f, 0 = f + f + 4*t + 14. Which is smaller: -2 or f?
f
Let r be ((-6)/(-33) - 0)*(-10)/25. Is r bigger than -1?
True
Let d(o) = 2*o - 10. Let g be d(8). Let m be g/(-10) + (-3)/45. Is -1 at least as big as m?
False
Let q = 13 - 19. Is q less than or equal to -1?
True
Suppose o = 6*o - 25, -3*j - o - 34 = 0. Let h = -25 - j. Is -12 greater than or equal to h?
True
Let i = 2558/777 - 68/21. Do i and 0 have different values?
True
Let d = -32 + 97/3. Suppose x + f - 8 = 0, x = 6*x + 4*f - 35. Suppose 3*a + a + x*j = -5, -3*j - 10 = -a. Which is smaller: d or a?
d
Let k = -19 - -13. Let c = -3 - -1. Let p = 1 + c. Is p at most as big as k?
False
Let r be (-4*1 - 1)/(-1). Let l(n) = n**2 + 8*n - 6. Let h be l(-8). Let p = h - -10. Is p at least r?
False
Let k be ((-12)/(-10))/(10/(-25)). Let q(l) = l**3 + 4*l**2 + 2*l - 1. Let x be q(k). Suppose -3*z + x = -z. Is 0 less than or equal