86 - -201.1. Let r = m + -15. Let a = 0.113 + -3.113. Is a less than r?
True
Suppose 3*c = 27 - 24. Is c smaller than -1/2981?
False
Let y(u) = -2*u**2 + 8*u. Let k be y(2). Which is smaller: 15 or k?
k
Let d(p) = p**2 - 9*p + 16. Let l be d(7). Let y be (0/(-29))/(2 - (l + -1)). Which is smaller: -2/55 or y?
-2/55
Let w be (2*-2)/(6/(-27)). Suppose -14*b + 54 = -184. Which is smaller: b or w?
b
Let x be (-21)/14 - (-60)/8. Is -34 <= x?
True
Let l = -47 + 106. Does l = 58?
False
Let q = 22065/4 + -5481. Let d = -37 + q. Which is greater: -0.4 or d?
-0.4
Let f(p) = p**3 - 13*p**2 + 2*p - 32. Let n be f(13). Let k be (4/10)/((-4)/80). Is k less than n?
True
Suppose -w = w - 2. Is w <= -2/489?
False
Suppose 5*c + 5*i = 15, 2*i + 22 = -c + 6*c. Let x be -2 + c/3 + (-84)/(-99). Let s be 4/16 - 14/24. Which is bigger: s or x?
x
Let g be (33/(-9))/(52/1620). Let k = g - -114. Is 1 < k?
False
Suppose j = 3 + 1. Suppose 3*a + 3 + 2 = 4*t, 35 = 2*t + 5*a. Which is smaller: t or j?
j
Let h = -2 + 3. Let i be (-6)/(-12) - 8154/(-220). Let n = i + -186/5. Which is smaller: h or n?
n
Let h = -31521/17 + 1853. Which is bigger: -1 or h?
-1
Let u = 88 - 86.92. Let h = u + -1.08. Which is bigger: h or 57?
57
Let r = -14 + 17. Suppose -4*h = -r*h + 7. Let k = 8 + h. Which is smaller: 3 or k?
k
Let a(s) = s**3 - 20*s**2 + 20*s - 23. Let z be a(19). Which is smaller: -14/5 or z?
z
Let i be (-2)/2 - (-1 + 0). Let g = -3 + -5. Let r be -3 - (18/g - 1). Is r smaller than i?
False
Suppose 5*w = 2*w - 12, 4*m - 4 = -4*w. Suppose 4*p - m*r - 23 = 0, 3*p - 18 = -3*r + 33. Which is greater: 2 or p?
p
Let g(o) = -2*o - 8. Let w be g(-6). Let b(t) = 3*t - 6. Suppose 0*v = -4*v + 16. Let i be b(v). Which is greater: w or i?
i
Let h = 262 - 700. Is h equal to -2/3?
False
Suppose -5*v = -6*v - 1. Let m be ((-11)/154)/((1/18)/v). Which is smaller: m or 0?
0
Let z(y) = -3*y**2 + 3*y - 3. Let o(k) = k**2. Let b(p) = -4*o(p) - z(p). Let i = 139 - 142. Let a be b(i). Which is greater: 20/7 or a?
a
Let o be 4 + 798/(-128) + (-6)/(-4). Let p = o + -6229/320. Are -20 and p non-equal?
True
Let u be 13 + (3 - 2) + -5. Suppose -6*a + 3 = -u*a. Is -2/107 at least as big as a?
True
Let o be ((-2)/(-182) - 0) + 0. Let x(q) = -3*q**2 - 108*q - 1. Let v be x(-36). Which is smaller: o or v?
v
Let k = -42/31 + 356/217. Which is smaller: 11 or k?
k
Let s(j) = -j**2 - 11*j - 6. Let r be s(-4). Let o be (-904)/(-39) - 60/(-390). Is r not equal to o?
True
Let m be 1 - -3 - (4 - 5). Suppose m*v = 0, 4*v - v - 36 = -4*s. Let x = -16 - -26. Which is smaller: x or s?
s
Let u(i) = i**2 + i - 15. Let s be u(-6). Suppose 0 = 13*w - s*w + 16. Is 9 > w?
True
Let q = 94 - 84.7. Let v = q + -9.2. Is 1/70 != v?
True
Let j = 417 - 245. Which is greater: j or 173?
173
Let w be 1/(1*(-1)/(-2)). Suppose w*t - 20 - 4 = 0. Let z be (2/t)/(3/2). Is 0 < z?
True
Suppose -2*b + 21 = -3*p, 0*b - 3*p + 69 = 4*b. Suppose -5 = 5*h, -3*m - 5*h - 65 = m. Let v = b + m. Is 1/3 bigger than v?
True
Let z = 806.79 - 805. Are z and -3 unequal?
True
Suppose -3*i + 596 = 3*r - 7*i, -4*r - 3*i + 778 = 0. Is r less than 196?
False
Let g be ((-9)/(36/(-56)))/((-2)/4). Let d be ((-104)/g)/((-3)/7). Is -9 smaller than d?
True
Let z(g) = -3*g - 8. Let c be z(-7). Let d(h) = h - 20. Let o be d(c). Are o and 0 non-equal?
True
Let x = -527127/35 - -15058. Let g = -16/5 - x. Is g >= -4/5?
True
Let w = 1.37 - 0.37. Are w and 71 nonequal?
True
Let f(t) = -6*t - 26. Let j be f(-5). Which is greater: j or 38/13?
j
Suppose 4*a + 0*a + z = 126, 5*z - 118 = -4*a. Let l(x) = 2*x**2 + 10*x + 2. Let j be l(-7). Which is greater: a or j?
a
Let m be -15 + -3*(21/(-9))/7. Let w be (-103)/55 - m/(-35). Is w at most as big as -1?
True
Let b = -194 - -195. Are 1/151 and b nonequal?
True
Let w = -408 - -378. Is w smaller than -33?
False
Suppose -2*c + 251 = -c. Let r be (-30)/70 + c/231. Let d = r + -10/21. Which is greater: 1 or d?
1
Let z = 17963/9513 - -2/3171. Which is bigger: 1 or z?
z
Let s = 20 - 20. Let x(q) = q**2 - q + 4. Let j be x(s). Which is greater: j or -3?
j
Let j(c) = -6*c - 119. Let d be j(-20). Which is bigger: d or 6/5?
6/5
Let w = -1394 - -1393. Let o = 11 + -6. Suppose 3*l - 4*h = 16, -3*l + o*h + 20 = -5*l. Is l at least as big as w?
True
Let v be 4816/(-973) - (-4 - (3 + -2)). Do v and -1 have different values?
True
Suppose y = -4*s - 35, 4*y + 5*s + 205 = 76. Which is smaller: y or -33?
-33
Let x be (503/(-24))/(5/(-75)). Let o = -314 + x. Which is smaller: -1 or o?
-1
Suppose -8*x + 6*x = -10. Suppose -x*b - 83 = -43. Let q = -19 - -12. Is q <= b?
False
Let m = 6094/3 - 1936. Are m and 94 unequal?
True
Let x = 10 - 12. Let b be -1 + (-8)/(-2) - x. Let s = 1 - b. Which is greater: s or -3?
-3
Let p(d) = -3 + d**2 + 2 + 9 + 11*d + 1. Let v be p(-10). Which is smaller: v or -47?
-47
Suppose -x = -3*x. Suppose m = h, -4*m + x*m + 4 = 0. Let n be 0/2 + -1 + h. Which is greater: -2 or n?
n
Let o = 313 + -328. Which is smaller: o or 0?
o
Let d(p) = p**3 - p**2 - 3*p + 1. Let j be d(2). Suppose 4*k - 2*y + 32 = -2, 0 = -5*k + 4*y - 41. Let r be j/k*6/12. Is r < -2/3?
False
Let v = 1189 + -1104. Does v = -2?
False
Let s = 13 + -11. Let n be ((-6)/(-4))/((-30)/80). Which is bigger: s or n?
s
Let p = -17 + 9. Let c = -181 - -173. Is p at most c?
True
Let p be 177/3*(-2)/60 - -2. Is p at most 8?
True
Let s(d) = d**3 - 14*d**2 - 7*d + 96. Let w be s(14). Is w > 0.03?
False
Let y be (-6 - -1)*(-1)/(-5). Let f(b) = -13*b. Let a be f(y). Which is smaller: a or 14?
a
Suppose -14 - 3 = r - 2*u, -2*u + 10 = 0. Let m = 60 + -52. Let w(d) = -4*d + 26. Let q be w(m). Is r at most as big as q?
True
Let m(v) = -7*v - 87. Let o be m(-17). Is o greater than 163/5?
False
Let i = 211.7 + -211. Are -15 and i nonequal?
True
Let p = 19469/22 - 885. Suppose l + 2*l = 3. Is l not equal to p?
True
Let w = -408841/203 + 2014. Suppose 16*r + 11 = 5*r. Which is smaller: r or w?
r
Suppose 65 = -n + 65. Is -2/135 greater than or equal to n?
False
Let g = -80 - -35. Let r be (54/g)/(2/5). Let t be r/(-18) + (-62)/84. Which is bigger: t or 0?
0
Let v = -1976 - -8033/4. Is v > 31?
True
Let o be 160/(-224)*13/(-3). Is o equal to 3?
False
Let r(g) = -2*g - 11. Let x(h) = 6*h + 34. Let d(o) = -11*r(o) - 4*x(o). Let t be d(-10). Which is bigger: 6 or t?
6
Suppose 5*x - x - 68 = 0. Suppose -x*u + 23*u + 60 = 0. Is -10 at least as big as u?
True
Let u = -569114425/10689 + 53243. Let x = -506036/481005 + u. Let r = -32/27 - x. Is -1 less than or equal to r?
True
Let c be (1 - -1) + 16/(-18). Let z = 109/90 - c. Suppose 3*h = x, x + 3 = 6. Is z greater than or equal to h?
False
Let v be (1/2)/(10/40). Let p = -3681/13 + 283. Which is greater: p or v?
v
Suppose -23*x - 583 = -2170. Is x at least 70?
False
Let g be (-3)/(-4) + (-805)/460. Let z = 229/34 + -10219/153. Let p = -121/2 - z. Which is bigger: p or g?
p
Let j = 10 + -32/3. Which is bigger: j or 67?
67
Let d(f) = 15*f + 132. Let n be d(-7). Is n greater than 24?
True
Let i = 228 + -8438/37. Let m be (-1)/(-5) - (-20)/(-175)*3. Is m at least as big as i?
False
Let n be 6522/(-1626) - (-3 - -2) - -3. Which is bigger: -1 or n?
n
Let h be 16/(-10)*(-6 - -1). Suppose h = 2*c + 2*c. Let i be 3/(c - 23/4). Which is smaller: i or 0?
i
Suppose 5*k + 4*q + 25 = -5, 0 = -q - 5. Let r(m) = -m - 1. Let o be r(-1). Are o and k nonequal?
True
Suppose 98 = 4*d + u - 3*u, -d - u = -17. Does d = 21?
False
Suppose 10*o + 21*o + 8773 = 0. Does o = -281?
False
Suppose -l + 10*i = 5*i + 17, 4*l - i + 11 = 0. Is -5/8 not equal to l?
True
Let w = -806 + 802.2. Is -0.2 at least as big as w?
True
Let b(s) = s**2 - 7*s + 22. Let a be b(-9). Which is smaller: a or 165?
165
Suppose -r - 16 = -3*r. Let i = r - -46. Let u = -593/11 + i. Are u and 1 unequal?
True
Suppose 2*z + 58 = -4*s - 354, 3*s = 4*z - 320. Is -109 equal to s?
False
Let o = -0.2 - 0.8. Let p = -1/97 + -871/194. Which is bigger: o or p?
o
Let n(b) = -b**3 + 18*b**2 + 17*b + 42. Let z be n(19). Suppose -z*j - 5*m = -7*j + 2, -j + 3 = -4*m. Is 20 > j?
True
Suppose -4 + 0 = 4*y - 4*q, q = 3*y - 3. Let i = 27 - y. Suppose -m - t = -10, 2*m = -2*m - t + i. Which is smaller: 3 or m?
3
Suppose -5*y + 680 = f - 607, 2823 = 11*y - 2*f. Are 257 and y nonequal?
False
Let a be ((-2)/3)/((-2)/(-