 = -y*l + 3*b + 9. Let a be (-3)/(-14) + l - (-4)/(-8). Is a smaller than 1/4?
True
Let w(q) = -30*q + 167. Let g(f) = 31*f - 165. Let k(c) = -4*g(c) - 3*w(c). Let m be k(4). Let n(b) = -8*b - 3. Let t be n(-3). Which is smaller: t or m?
t
Let s(i) = 108*i + 1716. Let a be s(-17). Is -28 <= a?
False
Let y = -51050 + 51050. Suppose 4*k + 2*u = -26, -3*k - 6*u - 20 = -5*u. Let b be (k*(-1)/1)/(-11). Is b at most y?
True
Let o = 1182 - 1184. Which is bigger: o or 392?
392
Let p be (3/(-5))/((22/20)/(-11)). Suppose 9*l = p*l - 36. Which is bigger: -47/4 or l?
-47/4
Let v = -0.27 + -5.73. Which is smaller: 779 or v?
v
Let s = -46 - -55. Suppose -20 = -s*y - 2. Suppose -149 = a + a - j, 5*a + y*j + 350 = 0. Is a less than or equal to -72?
True
Let o = -3900264578/41 + 95133138. Let p = o - 4734. Which is smaller: p or 0?
p
Let u = -0.03 - -3.93. Let o = u + -3.945. Let c = -0.155 + o. Which is smaller: c or -3?
-3
Let s be (1*-2)/(1 + 1). Let a(k) = -4*k - 1. Let j be a(s). Suppose -o + j*m = o - 111, 275 = 5*o - 5*m. Is o smaller than 54?
False
Let f(k) = -k**3 + 16*k**2 - 2*k - 42. Let z be f(15). Let o = z + -121. Suppose 5*i - 109 - 39 = -4*u, u = 4*i - 131. Are o and i non-equal?
False
Suppose 5*z = -178 - 452. Let b(w) = -w**2 + 5. Let n(s) = s**2 - 21*s + 7. Let x(y) = -2*b(y) - n(y). Let t be x(-12). Which is smaller: z or t?
z
Let s(q) = q**2 + 8*q + 22. Let k be s(-8). Suppose k*i = 24*i. Which is greater: -2/15 or i?
i
Let q = -6.03386 - -0.03386. Which is greater: -260 or q?
q
Suppose i - 3*i = 3*i. Let l = 253 - 175. Suppose 73 - l = h. Which is smaller: h or i?
h
Suppose 918 + 7719 = 17*j - 866. Does 555 = j?
False
Suppose -3*s + 177 + 18 = 0. Let t be (-6)/(-4)*s/(-39). Let u be (-1 + 7)/(0 - (-18)/(-12)). Is t greater than u?
True
Let i be ((-39)/(-15) - -1)/1 - 0. Which is greater: i or 9?
9
Let k = -3430 + 3519. Suppose 3*w = -5*r + 262, 4*r + 2 = 2*r. Are k and w equal?
True
Suppose 0*p = -2*p - 3*p. Suppose p = 40*v - 1984 - 2096. Is v >= 103?
False
Suppose -h - 3*h = 1532. Let o = -87357 + 86975. Is o >= h?
True
Let d be (5/120)/((-8)/(-30)). Let h(o) = 542*o + 2711. Let u be h(-5). Which is bigger: u or d?
u
Let s(f) = 7 - 2*f + 3 - 3. Let m be s(2). Is m greater than or equal to 36/11?
False
Suppose -43*f - 77*f + 28*f = 0. Which is bigger: f or 14/281?
14/281
Let p be (2/(-4))/((-10)/200). Suppose -202 = p*j - 742. Do 54 and j have different values?
False
Suppose 4*b = 23 + 1. Let w be -3 - -3 - (4 - 7). Let p be (-17)/(238/(-24))*w. Is p <= b?
True
Suppose -4536 = -3*w + 225. Are 1587 and w unequal?
False
Suppose 4*p = -j + 52, 4*p + 2*j = -0*j + 48. Let v be (-4 - 4466/(-147)) + 4/p. Which is greater: 27 or v?
27
Let b = -21609 - -324439/15. Which is smaller: 20 or b?
20
Let u = -586 - -575. Let g(l) = -l**2 - 5*l + 66. Let o be g(u). Do o and -3/535 have the same value?
False
Suppose -50 - 56 = 2*s + 4*g, 0 = -s - 3*g - 52. Let x(d) = 4*d**2 - 9*d - 5. Let u be x(5). Let v = u + s. Which is smaller: v or 0.05?
v
Let d be (0*(-3 + 2))/(-5 + 4). Suppose 5 = -5*r + x, d*r - 3*x + 15 = 2*r. Is r at most 97?
True
Let u(s) = 17*s + 1937. Let r be u(-63). Which is smaller: 6072/7 or r?
r
Let r be (-74)/3 - (-2)/(-6). Let o be (0 - 46)/(570/285). Is r less than o?
True
Let z = 79.9 + -11.9. Let m = -157 + z. Is 1 != m?
True
Let o = 181 - 11585/64. Let l(g) = g**2 - 15*g + 27. Let z be l(13). Which is greater: o or z?
z
Let w(u) = -u**2 - 14*u - 35. Let m be w(-12). Let s(k) = k**2 + 21*k - 33. Let d be s(m). Which is smaller: d or -144?
-144
Let g = 27.3 + -27.49. Let t = g + 21.19. Which is greater: -2/25 or t?
t
Let c(i) = -i**3 + 4*i**2 + 17*i - 61. Let y be c(5). Let a be -7 + (11152/796 - 7). Which is smaller: a or y?
y
Let x(d) = d**3 - 19*d**2 - 21*d + 16. Let c(u) = -20*u**2 + 5*u + 5. Let b be c(-1). Let v = 40 + b. Let a be x(v). Is 10 > a?
True
Let w(c) = -c - 66. Let u be w(-35). Is u <= -29?
True
Let h be (-13)/(-3) - (-1)/(-3). Let i = -334.072 + 334. Let u = i + -0.228. Which is smaller: u or h?
u
Let b be ((-58)/(-112810))/(17/5 - 3). Which is smaller: 2/9 or b?
b
Let v = 461 + 649. Suppose 0 = 10*p + 630 + v. Which is smaller: p or 0?
p
Suppose 667 = -4*t - 0*t + 5803. Do -2 and t have different values?
True
Let g(h) = -6*h**3 - 11*h**2 - 8*h + 1. Let c(s) = 16*s - 83. Let n be c(5). Let d be g(n). Is 86 less than or equal to d?
True
Let b(m) = 99*m - 19. Let a be b(2). Let g = 74 + 104. Which is greater: g or a?
a
Let s(m) = -46*m + 88. Let w be s(11). Are -420 and w equal?
False
Let k(t) = 3*t**3 + 39*t**2 - 10*t - 14. Let h be k(-13). Let q = -114 + h. Is 9/17 less than q?
True
Suppose 53052 + 94602 = -78*f. Which is greater: f or -1895?
f
Let h be (-20 + -18 + 36)*(37 + -2). Is -99 at least h?
False
Suppose -4*w = w + 5. Let a(c) = 63*c**3 - c**2 - 4*c - 2. Let v be a(-1). Let f = v - -62. Which is bigger: w or f?
f
Let f(q) = -15 - 4*q + 12*q - 12*q. Let g be f(-4). Let w be -2*(40/22 - 2). Which is smaller: w or g?
w
Let h be 2/(-5) - 7/((-175)/1685). Let b be (-1918)/(-28) + (-3)/2. Is b at least h?
True
Let w(v) = 9*v - 423. Let l be w(47). Are l and -3/143 nonequal?
True
Let g be (385/285 + -2)*(0 - 21). Let m = 13 - g. Which is smaller: 0 or m?
m
Let f be 0 - 168/(-5) - (-108)/(-180). Let r be (f/11)/((-9)/12). Is r less than -89?
False
Let z = -3 - 0. Let g be (9 - (-2 - (-984)/80))*(-4 - -6). Which is greater: g or z?
g
Suppose -4*s + 931 = 5*d - 908, -4*s = 2*d - 1818. Is 458 at least s?
True
Suppose -19 = 3*g - 91. Suppose -g = -6*t + 10*t. Let p = 8 + -16. Is t at most p?
False
Let l be (-4)/(-6)*15/(-740). Suppose q - 12 = 3*d, -4*q = -8*q + 2*d + 48. Suppose -284*v - q = -272*v. Is l equal to v?
False
Suppose 0 = -5*w + i + 1, 17*w + 2*i + 15 = 14*w. Which is smaller: -1/16715 or w?
w
Let q be ((-11718)/188370)/(3/(-10)). Which is smaller: 1 or q?
q
Suppose 2 = -6*s + 4*s. Let l be 1060/6 - s/6*-4. Let j be 4*(-3 - (-564)/l). Is j bigger than 0?
True
Let b(g) = -2*g**2 - 51*g - 57. Let s be b(-24). Suppose s*v - 2 = -92. Which is smaller: v or -9/2?
v
Suppose -3*v - 16044 + 99137 = -2*u, -5*u + 110806 = 4*v. Is 27698 > v?
False
Let g(c) = -97*c + 2381. Let x be g(34). Is 1/6 at most x?
False
Suppose -2*n - 85 = a - 7*n, 310 = -4*a + 5*n. Let t = -74 - a. Is -2/1217 > t?
False
Let w = 2628 + -1579. Which is bigger: 1051 or w?
1051
Let v = 275 - 274.874. Let b = 0.156 - v. Is 10 smaller than b?
False
Let a be (-76)/19 + -2 + 3. Let n be (0 + a/222)/2. Does n = -1?
False
Let z be 9832/14757 + 60/(-90). Which is bigger: 1 or z?
1
Let v = -21.755 + 21.655. Which is greater: -3595/2 or v?
v
Suppose -22*s + 133 = -219. Let h be s/36 + (-98)/180. Which is bigger: h or 0?
0
Let w be (-1)/(40/540 - 75/(-81)). Is 1/3913 > w?
True
Let f = 1.27 + 0.67. Let k = f - -0.06. Which is smaller: 8 or k?
k
Let i = 1.02 + -1.12. Let h = i - -31.1. Let n = h + -31.06. Is 0.05 smaller than n?
False
Let k = 537/10 - 6178/115. Which is smaller: -1 or k?
-1
Suppose -11*v + 78 = 2*v. Suppose -v*o - 21 = -13*o. Suppose 12 = o*y - 2*y. Is y != -4?
True
Suppose 4*l + s = 672, l = 6*l + 5*s - 840. Suppose 4*y = -4*v + 3*v - l, -4*v + 84 = -2*y. Which is smaller: y or -40?
y
Let b(u) = u**3 - 6*u**2 + 7*u - 4. Let v be b(5). Let z = 103313/15752 + -19/1432. Is z bigger than v?
True
Let y = 134.56 - 134.6. Let l = 0.42 + -0.02. Let g = l + 0. Which is smaller: y or g?
y
Suppose -5*s - 10 + 35 = 0. Let u(i) = -15*i + 97. Let j be u(17). Let m = j + 165. Is s smaller than m?
True
Let a = -4869 + 29095/6. Which is greater: a or -19?
-19
Let l = -180763/8 - -22446. Is -148 bigger than l?
True
Let j = 0.27 + 0.03. Let g = 318093 + -318093.96. Which is bigger: g or j?
j
Let s(d) = 399*d**3 + 2*d**2 - d - 1. Let o be s(1). Let i = 398 - o. Which is smaller: -14/25 or i?
i
Suppose 29 = 5*m - 3*u + 412, -m - 83 = u. Do 8/5 and m have different values?
True
Let y be 1 - 5/((-75)/2685). Is y > 181?
False
Let j(k) = -k**2 + 76*k - 1442. Let y be j(38). Which is greater: y or 19/6?
19/6
Let b = 451070/7 + -64126. Let f = b + -308522/987. Let z be 3/(-6) - 6/(-4). Is z smaller than f?
False
Let o(q) = 18 - 430*q + 36 + 423*q. Let n be o(7). Is n less than or equal to 29/5?
True
Let o be 358414/140 - 3/30. Are o and 2562 non-equal?
True
Sup