 k(-4). Let l be -2 + ((-4)/q - -2). Which is smaller: l or 0.07?
l
Let g be (6/2 + -3)/1. Suppose -a + p + 15 = 0, g = -7*p + 2*p - 20. Suppose -5*k + 8 + 5 = 3*n, 0 = -n - 2*k + 3. Are a and n non-equal?
False
Let x = -431 - -248. Which is smaller: x or 0.1?
x
Suppose -4*j = -3*s - 0*s + 35, -1 = s + 5*j. Let q(y) = -y**2 + 16*y - 44. Let a be q(8). Let p be (-14)/a + s/18. Which is smaller: 0 or p?
p
Let u = -16411/9 + 1821. Suppose -d = 3*p + 4, 0*d - 1 = -2*d + 3*p. Which is greater: u or d?
d
Let a(k) = -12*k - 115. Let q be a(-9). Which is greater: -14 or q?
q
Let r = 9550 + -4803647/503. Which is smaller: r or -1?
-1
Let a = 2/173 - 239/5709. Let g = -56 - -56. Which is smaller: a or g?
a
Let y = 787 + -816. Is -24 < y?
False
Suppose 28 = 15*z - 14*z. Let w be z*(1 - (-95)/(-90)). Are w and -2 non-equal?
True
Suppose 0*k + 5 = k - 3*a, -4*a = 5*k - 44. Suppose 0 = -4*m + n - 3, 2*m + 6 = -2*n - k. Do -6 and m have the same value?
False
Let u = 0.107 - 1.107. Let g = 6.1 - 1.1. Let k = g + -3. Is u at most as big as k?
True
Let j be (-2282)/(-16890) - 3/((-225)/(-10)). Is -1 at least as big as j?
False
Let f = -1.314 + 1.414. Which is bigger: f or -90.6?
f
Let g(u) = -u**3 + 7*u**2 + u - 2. Let o(s) = 2*s**3 - 14*s**2 - s + 4. Let k(n) = -5*g(n) - 2*o(n). Let h be k(7). Which is smaller: -18 or h?
h
Let k = 1.38 + -2.57. Let s = k - 16.81. Which is smaller: 1 or s?
s
Let u = -1709 + 1456. Is -252 greater than u?
True
Let i = 600 + -601. Which is smaller: -1/1493 or i?
i
Let s = 1494 - 1604. Is s at least as big as 1/6?
False
Let g be 219*9/27 - 1*-2. Is 73 greater than or equal to g?
False
Let a = 1316 + -3841/3. Is a >= 36?
False
Let t = -0.7 - -8.5. Let g = -20 + 28. Let y = t - g. Which is greater: y or 0.3?
0.3
Let o = -149 - -147. Is 60 < o?
False
Let p be 2 - (0 - (-32)/14). Let h = 8/21 - p. Suppose -12 = 5*m + 4*t, t + 2*t + 9 = 3*m. Which is smaller: h or m?
m
Let t = 273 + -292. Do 0.1 and t have the same value?
False
Suppose -4*l - 3*v + 14 = -8*l, 0 = -v + 2. Let y be 6/(-13)*(-3 + 7). Is l bigger than y?
False
Let g = -4.12 - -4. Let i = g + -0.08. Let r = 1 - 1.2. Is i >= r?
True
Suppose -x = -5*r + 3 + 13, 0 = 5*r + 2*x - 28. Let q be ((-11)/2)/(r/(-16)). Let y be -1*q/8 + 2. Which is smaller: -1 or y?
-1
Let y = -46499525/1337 - -34779. Let v = y - 17285/64176. Let t = -1/48 - v. Is t greater than 1/4?
False
Let m be (-6)/((-24)/52) + -4. Suppose -m*q + 11*q = 88. Is 43 smaller than q?
True
Let w be 69/92 + (-3)/4. Which is smaller: w or -1/985?
-1/985
Let p be (12/(-8))/((-9)/(-420)). Let b = p + 68. Is -21/13 at least b?
True
Let c = 1760 - 1760.2. Which is smaller: c or -894?
-894
Let j(w) = -w**2 - w. Let v be j(1). Let m(x) = 10*x + 0*x + 2*x - x**3 - 5 + 0*x**3 - 11*x**2. Let n be m(-12). Which is smaller: n or v?
n
Let l be 80/48 + (-22)/(-3). Suppose -l = 7*a - 8*a. Which is bigger: a or 2?
a
Let j = -2287 - -3767. Let s = j + -19294/13. Is -5 less than or equal to s?
True
Let w be -5 - (-13)/(2301/915). Which is smaller: w or -1?
-1
Let v be (52/24 - 2)/(36/54). Let s be (3/6)/(5/4). Is v equal to s?
False
Let s = 57 - 169/3. Let t = -5 - -29. Let f = t - 25. Which is greater: f or s?
s
Let d = 120 + -84. Let c = -37 + d. Which is greater: c or -1/61?
-1/61
Let z = -15 - -7. Let d = 10 + z. Let l = 2.3 - d. Is l equal to 2?
False
Let k be (-2)/4 - (-1)/2. Suppose -3*n - 3*a - 9 = -2*n, 32 = -3*n - 4*a. Let i be -1 - -2*(-1)/n. Is k < i?
False
Suppose -3*m + 12 = -m. Which is smaller: m or 18?
m
Let c = -0.616 - -0.59. Let j = 1.974 - c. Which is bigger: 2/13 or j?
j
Suppose b = -1, 0 = 5*c - 3*c + 3*b - 59. Which is greater: c or 32?
32
Let i = 243/2 - 123. Suppose 0 = -3*k - 2*k - 10. Is k >= i?
False
Let g be (-152)/(-136) + (-2)/17. Which is smaller: g or 2/435?
2/435
Suppose 47*a + 36 = 49*a. Suppose -o + 3 = 5*t, -a*o + 23*o = -t - 9. Let p = 2209/12 - 184. Does p = t?
False
Let m be ((-6)/2 - 12/4)*16. Is -96 greater than or equal to m?
True
Suppose 3*u + 10 = 4*u. Let y be (1 - -2)*u/45. Which is greater: 4 or y?
4
Let n = -628 - -632. Are n and -106/7 non-equal?
True
Suppose -3*j - 5*j - 160 = 0. Let z be (j/(-50))/(2/5). Which is greater: -2/13 or z?
z
Let b = 0.03 + 0.17. Let z = -1555/9 - -173. Is z not equal to b?
True
Let y(l) = 2*l + 13. Suppose -45 = 8*f + 3. Let k be y(f). Which is smaller: k or 1/10?
1/10
Let t be (-4)/14 + 5159/49. Let m = 1 + -10. Let f be (-5)/t - 3/m. Which is bigger: -19 or f?
f
Let s be ((-3)/(-7))/3 + 5976/(-2142). Are s and -4 nonequal?
True
Let n be (-332)/9834 - (-12)/198. Is -1 greater than or equal to n?
False
Let f be (7/(315/(-4)))/((-12)/30). Is 0.14 not equal to f?
True
Suppose -13*j = -14*j. Suppose 2*v + j = -10. Which is smaller: v or -7?
-7
Suppose -3 = -11*r - 14. Is -1/308 < r?
False
Suppose -20*u - 1988 = 4832. Is u at most as big as -342?
False
Suppose 5*k + 3 = -8*k + 16. Let s = -104/19 - -6599/1216. Is k less than s?
False
Let j(x) = 3*x + 47. Suppose -44 = 5*y + 26. Let o be j(y). Is o greater than 5?
False
Let i(h) = -4*h - 13. Let d be i(-4). Suppose -d*s - 5*f = 66, 0 = -3*s - s - f - 71. Which is greater: -18 or s?
s
Suppose 5*k + d - 15 = 0, -3*k + 13 = d + 2. Are 55/19 and k equal?
False
Suppose -5*t + 2*m = m - 9, 3*m + 8 = -4*t. Let g be 1059/1128 - (0 - -1). Let f = -3/47 + g. Which is bigger: t or f?
t
Let w be 15/(-12) - (-423)/12. Which is smaller: w or 0?
0
Suppose 15*k + 72 = 1197. Let b = -88 + k. Is -13 at least b?
True
Suppose j = -54 + 106 - 51. Let h be (-86)/(-78) + 2/(-2). Is h greater than or equal to j?
False
Let h = -1.1 + 2.1. Let p = 1 - h. Let k(c) = -6*c + 29. Let z be k(5). Are z and p unequal?
True
Suppose -5*d = 5*k + 30, -3*k = -2*d + 3 - 0. Let o be -2*4/(1 - d). Let b = -5 + 0. Is o at least as big as b?
True
Let s(q) be the third derivative of -q**4/8 + 5*q**3/6 - 10*q**2. Let i be s(2). Is -1/4 > i?
True
Suppose 0 = -413*y + 422*y + 7056. Which is smaller: y or -785?
-785
Let d = -2265 + 2265. Which is smaller: d or 3/1067?
d
Suppose -15 = n + 4*n, i = n + 53. Suppose -6 = 56*k - i*k. Which is smaller: k or 1?
k
Suppose l = -5*j - 220 - 6, 3*j = -4*l - 139. Is -309/7 less than j?
False
Let g(n) = -2*n + 11. Let d be g(6). Let k = 3 + d. Let c be 0/(3 + k + -2). Is 2 equal to c?
False
Let k(b) = -6*b + 87. Let q be k(17). Is q greater than or equal to -17?
True
Let g be (-12)/440*(1 + -7 + 0). Is 1 greater than g?
True
Let g be (16/14 - 1)/13. Let p be (-21)/(12 - 75) - (-2)/(-6). Is g less than p?
False
Suppose 0*n + u = -2*n - 7, -5*n - 24 = -4*u. Let k = 2 - 1. Let a(m) = -4*m**2 + m. Let y be a(k). Which is greater: y or n?
y
Let k = -76.7 - -5.7. Let d = 71.07 + k. Is -2 <= d?
True
Let m be (2/10)/((-7)/2). Let b(g) = g**3 + 4*g**2 - 7*g - 10. Let j be b(-5). Which is smaller: j or m?
m
Suppose i + 5 - 4 = 2*l, -3 = 3*i + 3*l. Let n = 20/3 - -18. Let d = n - 25. Is i greater than d?
False
Let b = 858422/111605 - -6/8585. Which is smaller: b or 7?
7
Suppose 2*v - o - 2*o = 5, 2*v - 4*o = 6. Suppose 0 = 3*w - n + 13, w + v = 3*n + 2. Which is smaller: w or -2?
w
Suppose -216*u + 4 = -212*u. Is u greater than or equal to 8/41?
True
Suppose -b = 5*o + 38, -3*o - 146 = 5*b - 0*o. Which is smaller: -22 or b?
b
Suppose 0 = -5*t + 2*t - 5*b - 5, -2*t + 4*b + 4 = 0. Let f(o) = o**3 + o. Let x be f(t). Let j be x/(-4)*(-2)/4. Is 0 greater than j?
False
Let b = 479 + -478. Let l = -57.1 + 54. Which is bigger: b or l?
b
Suppose 6 = 5*r - 69. Suppose -2*v + 12 = 2*k, r + 4 = 3*k + 4*v. Suppose q - 2*q = -2*z + 4, -4*z - 2*q + 24 = 0. Which is smaller: k or z?
z
Let f = 4 + -2. Suppose -f = 3*y + v, -y + 2*v + 2 + 9 = 0. Is 0 at most as big as y?
True
Let y(k) = -24*k - 911. Let l be y(-39). Which is bigger: 47 or l?
47
Let b = 361/198 + -41/18. Let n = -85 - -84. Which is smaller: n or b?
n
Suppose -4*z = -4*x + 4, x - 1 + 0 = -5*z. Let m be ((-2)/(-35))/((-23)/5). Which is bigger: z or m?
z
Let w be (0*10/110)/(-1). Which is smaller: 1/38 or w?
w
Let l(o) = -3*o - 4. Let u be l(-3). Suppose 0*c = -u*c - 25. Is -6 greater than c?
False
Let b = -17 + 176. Is 159 greater than or equal to b?
True
Suppose -4*d - 6 = 3*g, -2*g = d - 0*d - 1. Is 4 greater than g?
True
Let n be (-7 + -3)/(0 + 2). Let i(f) = f**3 - 6*f - 4. Let