 = o - -1307/7. Let d = 0.2 + -0.4. Which is smaller: w or d?
w
Let n(c) = c - 8*c + 3 + 6*c. Let j be n(0). Is 1 bigger than j?
False
Suppose 3*x = 5*m - 22, -4*m + 25 = -0*m + 5*x. Suppose 5*d - m*c = -20, d - 3 = 4*c - 4. Is d <= -5?
True
Suppose -4*m + 0 = 5*y - 8, -m = 3*y - 2. Which is bigger: y or -1?
y
Let p = 105 + -737/7. Which is greater: 2/7 or p?
2/7
Let k(y) = 10*y**2 - y. Let r be k(-1). Let w(n) = n - 10. Let f be w(r). Let z be 1 - (-3)/((-15)/2). Which is greater: z or f?
f
Let j be 0 + 33/(-12) + 3. Is j smaller than 4?
True
Let j = -70 - -76. Which is smaller: j or 2?
2
Let t be ((-2)/(-6 + 4))/1. Is 10/9 not equal to t?
True
Let q = 96 - 150. Is -55 equal to q?
False
Suppose 0*x - 40 = -5*x. Suppose 0 = 3*q - q - x. Let g be 2/(-4)*(q + 2). Is -1 at most g?
False
Let k be 2720/1400 + (-2*2)/2. Are 1 and k non-equal?
True
Let h(p) = 6*p**3 - p. Let m be h(1). Let b(j) = m*j - 4*j + 3 - 2*j. Let r be b(3). Is -5/4 < r?
True
Let j be (2 + -3)/(12/471). Let y = -39 - j. Let b(w) = w**3 - 5*w**2 + 3*w + 4. Let p be b(4). Which is smaller: p or y?
p
Let f be (-2 + -6)*(-2)/4. Let j = 4 + 4. Let k be (j/57)/f*-3. Is 0 smaller than k?
False
Let j(c) = 2*c - 1. Let p be j(1). Suppose -b + 0*b = -p. Let m be b/(-6)*6/(-2). Is 0 >= m?
False
Let g(f) = 2*f. Suppose -3*t - 6 = -5*t. Let y be g(t). Suppose y*v - v - 5 = 0. Is 1 bigger than v?
False
Suppose 0*o - 6 = 4*j + o, 3*o = -3*j. Let z be (8/j)/(-4 - 3). Which is greater: z or 1?
1
Let l be ((-3)/10)/((-27)/45). Which is greater: l or 0.4?
l
Let b = 3 - 5. Let o = 2.2 + 0.8. Let d = -3.2 + o. Is d <= b?
False
Let c = 13 - 10. Suppose -4*o - c*y = -2*y + 11, -3*o - 5*y - 21 = 0. Which is bigger: o or -1?
-1
Let k(p) = -p**3 - 18*p**2 + 16*p - 44. Let o be k(-19). Is 13 at most as big as o?
True
Let b = 79 + -90.2. Let g = b - -11. Let u be (-6)/21 - 4/(-14). Which is greater: g or u?
u
Let b be (-18)/(-27)*18/4. Let d(x) = 6*x + 1. Let r be d(4). Suppose -r = 5*f + 5*y, -4*f + 7 - b = -4*y. Which is smaller: f or 0?
f
Suppose 2 = 2*d + 4*j + 12, -2*j = -d - 13. Let x be d*((-30)/(-747))/(-5). Let s = -208/581 + x. Is s at least 0?
False
Let p be 0/(-4) - (0 + 2) - -1. Is p greater than -3/2?
True
Let l(f) = -3*f - f**2 + 4 + 4*f**2 + 0*f**2 + f**3 + f. Let v be l(-4). Let u be 0 - v/18*-1. Which is smaller: u or -1?
-1
Suppose 146 = -2*v + 4*v - 4*u, -5*v = -4*u - 335. Let k be (v/56)/(3/(-4)). Which is smaller: k or -1?
k
Let f = 306.1 + -306. Let t(a) = a**2 - 5. Let s be t(0). Is s equal to f?
False
Let l = -6 + 8. Let g = 4 - l. Is g != 2/3?
True
Let l be (-363)/84 + -3 + 2. Let s = 6/65 + 2493/455. Let m = l + s. Is 1/2 < m?
False
Let u = 389/5 - 78. Let o(c) = -c**2 + 3*c + 5. Let h be o(4). Which is bigger: u or h?
h
Let w = -22 - -21.2. Is w smaller than -1?
False
Let c be (-2*(2 - 1))/2. Let w = -17 + 10. Let o(b) = b**3 + 8*b**2 + 7*b. Let y be o(w). Which is greater: y or c?
y
Let a = 13 + -9. Suppose 0 = a*d + 5*n, -2*d - 2*n = -3*n. Suppose d = 5*q - 20, -4*r - 4*q = q - 48. Is 7 >= r?
True
Let k = -41403/49 + 845. Which is smaller: k or 0.1?
k
Let s(y) be the second derivative of -y**5/20 - 2*y**4/3 + 3*y**3/2 + y**2/2 - 6*y. Let r be s(-9). Is r less than -2/5?
False
Let n(t) = t**2 + 6*t - 1. Let f be n(-6). Let w = -85 + 1447/17. Is f less than or equal to w?
True
Let l = -5.1 - 0.9. Let o = l - -18. Is 0 at least o?
False
Let v = 1 - -5. Suppose -5*s - 11 = -2*i, -7*i + 4 = -3*i - 4*s. Let l be i/(-3*(-4)/v). Is l > -1?
False
Let k be ((-2)/(-42))/((-20)/(-150)). Is k less than or equal to 0?
False
Let r be (10/215)/(-2*1/1). Which is smaller: 1 or r?
r
Let f = -4 - -2. Let v = 4 + f. Suppose -v = -j - 1. Is j less than 2?
True
Suppose -5*r - 20 = -5*o, 2*r = -4*o - 3*r - 11. Suppose a + 25 = -4*a. Which is bigger: a or o?
o
Suppose -2*r = -4*r - 306. Let c be (r/(-15))/(-3) + 3. Suppose -5*n = 16 - 6. Is c <= n?
False
Let g be 1*2 + 50/(-30). Is -6 less than g?
True
Suppose -16 = 4*w - 5*z, -z + 5*z = -5*w + 21. Which is greater: 4/23 or w?
w
Suppose 2*q + 4*q - 630 = 0. Which is smaller: q or 106?
q
Let s = -8 - -6. Let w be 0/(1/(-2)*4). Let y(c) = c**3 + c**2 - 1. Let p be y(w). Which is greater: s or p?
p
Let q = 0.2 - 0.2. Let m(t) = t**3 - 3*t + 8*t**2 - t**2 + 8 - 2*t**3 - 4*t. Let w be m(6). Is w < q?
False
Suppose 0 = -4*m + 4*z, 4*m + 0*z + 2*z + 12 = 0. Let x be 1/m*(2 - 0). Is -2 bigger than x?
False
Let v(k) = -k + 4. Let q be v(2). Let f(p) = p**2 + 1. Let u be f(2). Suppose 0*m = -u*m + 5. Is m != q?
True
Let i = 12 - 7.3. Let p = i + -0.7. Which is smaller: 1 or p?
1
Let x(b) = -b + 6. Let i be x(3). Suppose 4*d + d = f - 24, 0 = 3*f + 4*d + 4. Suppose -i*k + f = -5*k. Is 2/5 greater than k?
True
Let h = -0.3 - 0.22. Let n = h - 0.08. Let v = 0.8 + n. Are 0.1 and v nonequal?
True
Let y be 814/10 + (-10)/25. Let s be 6/4*(-3)/y. Which is smaller: 1 or s?
s
Let y(f) be the second derivative of f**3/2 + 2*f. Let o be y(4). Let x(l) = -l + 13. Let g be x(o). Which is bigger: g or 1/3?
g
Let t(p) = p - 3. Let q be 0/((4 - 2) + -1). Let k be t(q). Which is greater: -2 or k?
-2
Let g = 7.9 + -9. Which is smaller: 0.1 or g?
g
Suppose -5*n - 177 = d, 0*d + 4*d = -3*n - 96. Which is smaller: 0 or n?
n
Let q be (-2)/9 - (-4)/(-36). Is 1 greater than q?
True
Suppose -3*r = 0, 3*l + 6 = -3*r + 6*r. Let j be l - (16 - -2)/(-2). Let i = 10 - j. Which is bigger: 2 or i?
i
Suppose 3*i - 17 = -2*z, -2*z + 0*i = i - 7. Is z <= -1/10?
False
Let m(q) be the first derivative of q**4/4 - 2*q**3/3 - q**2/2 + q + 5. Let t be m(2). Which is bigger: t or 3?
3
Let g = -49 + 47. Is g less than or equal to -4/7?
True
Let f = 3 + -7. Let h be 0 - ((-22)/(-6) + f). Which is greater: h or -1/2?
h
Suppose -w + 4 = 13. Let u be (w/8)/((-12)/(-16)). Which is smaller: -0.3 or u?
u
Let c be (-6)/8 - (-78)/72. Let z = 3 + -11. Which is bigger: c or z?
c
Suppose 5*m - 8 - 7 = 0. Let c be (-12)/10*m/9. Let q = 2.8 - 3. Which is smaller: c or q?
c
Let q = -4/19 + 531/266. Let a = 5/7 + q. Let v be (-1 - -4) + 1/(-1). Which is smaller: v or a?
v
Suppose 0 = -m + 5*r + 13, -3*m + 3*r = 2*m - 21. Suppose -3*v + 2*b - 5 = 0, 5*v - m*v = 3*b. Is v <= -5?
False
Let f(y) = -y. Let q be f(-4). Let g = -4 + 7. Suppose 0 = 5*w - g*w, -4*j = 4*w + q. Are 1 and j equal?
False
Let f be 36/8*(1 - -1). Let y be 1/(-3) - 6/f. Let l be (-10)/4*12/105. Which is bigger: y or l?
l
Let w be -7*1*(-1 - 0). Let r(h) = -2*h**2 - 26*h - 75. Let j be r(-7). Is j not equal to w?
True
Let j(o) = 3*o + 14. Let y be j(-10). Let w be (y/(-10))/((-4)/(-20)). Let s = 14 - w. Do s and 6 have the same value?
True
Let k = -63.97 + 64. Which is greater: -4/5 or k?
k
Let j be (-1)/(-1 - 1 - -1) - 0. Which is smaller: 8/11 or j?
8/11
Suppose 20*s - 4 = 16*s. Do s and 2/3 have different values?
True
Let r = 248/3495 - 1/233. Are 0 and r equal?
False
Let h be (-16)/12*(-1)/(-4). Let x(w) = w**3 + 4*w**2 + 3. Let p be x(-4). Let y be (1*(-3)/p)/(-1). Which is smaller: y or h?
h
Let l(v) = -v**2 - 7*v - 2. Let p be l(-6). Suppose -12 = -0*s - p*s. Suppose -5*n + g + 22 = 5*g, 2*n + 3*g - 13 = 0. Which is smaller: n or s?
n
Let u be (81/(-51) + 2)/(1 + 0). Which is smaller: u or 1?
u
Let p = 53/4 - 13. Let m = 5.36 + -0.26. Let f = m + -5. Is p less than f?
False
Let w be (-260)/(-84) - (-3)/(-7). Which is greater: w or 4?
4
Suppose 0 = -2*p - 2, -5*r - 39 = -p. Let s be -2*(3/r)/3. Which is smaller: 2 or s?
s
Suppose -6*o - 123 = 213. Are -56 and o equal?
True
Let g be (9/(-3))/(-1) - 1. Let z = -20 - -30. Suppose 0 = -8*r + 3*r + z. Is g at least as big as r?
True
Let n = -16 - -21. Suppose -5*a - c = -6 + 1, -25 = n*c. Let t(u) = -u**2 - 5*u - 2. Let q be t(-2). Which is smaller: q or a?
a
Let x = -11 - -18. Let o be 2/13 - (-1216)/208. Is x > o?
True
Suppose -2*b + 32 = 2*b. Which is greater: 7 or b?
b
Let g = 15/28 + 5/56. Let x = 1 - 1. Are g and x nonequal?
True
Let u = -54 + 160/3. Which is greater: u or 0?
0
Let h = 12 + -13. Suppose -8 = -2*q + 2*g, 5*g + 7 = -3. Let f = h + q. Which is smaller: -4 or f?
-4
Suppose 2*g - 8 = -4. Suppose 0 = -g*i + 2*m + 6, 0 - 4 = 2*m. Which is smaller: 3 or i?
i
Let p = -18 + 123/7. Let o be (-15)/(-5) + -1*2. Let n = 2 - o. Is n at most p?
False
Let o = -27.3 + 26. Let v = -1.5 - 