l to n?
True
Suppose 8 = -3*l - h, -7*h + 29 = l - 13*h. Which is smaller: -2/11005 or l?
l
Let u(j) be the third derivative of -j**4/24 + 4*j**3/3 + j**2. Let z be u(6). Let c = 552991/7 - 78997. Is z less than c?
False
Let v = -0.13903 + 0.03903. Which is smaller: v or 1416?
v
Let c = -3/1411 - -25455/26809. Let f = 176 - 175.951. Let k = f - -0.051. Which is smaller: c or k?
k
Suppose 5*c - 2457 = 2*y + 16302, 5*y = 3*c - 46926. Are y and -9386 equal?
False
Suppose -4*w - 16 - 16 = 0. Let l be 4/(-2)*w/(-48). Is -26 equal to l?
False
Let k be 1*5/15 - 30988/183. Is -184 > k?
False
Let c = -7.3407 + 0.1407. Which is smaller: 5 or c?
c
Let y be (1 + 9)*132/(-10). Suppose 1031*c + 141546 + 9278 - 12670 = 0. Are y and c non-equal?
True
Suppose 2*k - 5*k = -345. Suppose 6 = -117*s + k*s. Is s at least as big as 12?
False
Suppose -1149 - 563 = -4*o. Let c = 427 - o. Which is smaller: -97 or c?
-97
Let k = 1493/6342 - -4/151. Let d = 3/7 - k. Suppose -10*v = -29*v + 38. Is d < v?
True
Suppose 0 = 3*y, -4*y + 2 + 13 = -5*z. Let r be (z - -8) + -3 - -3. Suppose r*p + 2*p = 0. Which is bigger: -10/11 or p?
p
Let u = 17.457 + -293.457. Which is smaller: -0.001 or u?
u
Suppose 0 = -3*u + p + 6, 3*u - 318*p = -322*p - 24. Do 17.95 and u have the same value?
False
Let l be 539 - (260/585 - 68/(-9)). Is 1059/2 less than or equal to l?
True
Let p = 4616 - 4845. Which is bigger: 0.4 or p?
0.4
Let y(l) = 3*l**2 + 98*l + 1279. Let s be y(-36). Is s < 2?
False
Let f = -513.04 - -12.04. Let q = f + 501.04. Which is bigger: q or 25?
25
Suppose 0 = -4*y - 4, -2*w - 3*y = 3*w - 132. Let b be ((-72)/w)/(66/27). Which is greater: -2 or b?
b
Suppose -q = -4*k - 20428, 5*k = 2*k - q - 15321. Which is bigger: -5106 or k?
-5106
Let a(f) = f + 11. Let s be a(-8). Suppose 75 = -s*y + 6*y. Let n = -505 - -532. Is y smaller than n?
True
Let w be (-180)/(-36) + (-51)/48*106. Let q = 169619/1576 + w. Is q < -1?
False
Suppose -2*c = -3*p + 3, 4*c - 1 + 6 = 5*p. Let a = 37 - 33. Let k be 1241/1564 + (-3)/a. Which is smaller: k or p?
k
Let a(q) = -8*q**2 - 457*q + 386. Let g be a(-58). Suppose 2 = -p + 6. Let v be p/20*(-205)/2. Which is smaller: v or g?
v
Let q be (-1 + 5/3)*3. Suppose -478*r - 1198 = 35*r - 4276. Are r and q equal?
False
Let z = 1/161 + -101/5152. Is -1 at least as big as z?
False
Let u(x) = 5 - 3*x**2 + 2*x**2 + 0*x**3 - x**3. Let r be u(0). Suppose -r*s = 19 - 4. Is -3/5 less than s?
False
Suppose -5*t + 9 = h, -5*h = -4*h - 3*t + 7. Let g be (2/7)/(h/(-35)). Do 49/5 and g have different values?
True
Suppose 29 = -7*c + 148. Let p = -67/4 + c. Let z be (3/(-5))/((-3)/15). Is p bigger than z?
False
Let k = -3/50 - -71/350. Let q = 20.9 + -21. Are q and k equal?
False
Let g(x) = 517*x**3 + 7*x**2 + 22*x - 4. Let a be g(-3). Which is smaller: a or -13965?
a
Let y be (-9)/7 + 2/7. Let n = 119 + -136. Let d = -16.9 - n. Which is smaller: d or y?
y
Let u = 0.015 + 4.585. Let l = 4.99 - u. Let m = 0.09 - l. Which is smaller: m or 2/5?
m
Let s be (0 + -27)*5/21 - (-23 + 17). Which is smaller: s or -346?
-346
Let t = -9360 - -9247. Suppose -z = -4*g - 456, -8*g + 3*g + 2*z - 570 = 0. Which is smaller: g or t?
g
Let n = 2975 - 2960.807. Let f = -0.807 - n. Which is greater: 15 or f?
15
Let z be 8*(1 - (-39)/12). Suppose -3*u + 5*s - z = 0, 8 = 4*s - 12. Let n be ((-4)/(-6))/((-179)/1074). Do n and u have the same value?
False
Let q = 8.022 + -0.022. Let f(l) = 2*l**2 - 2*l + 1. Let x be f(1). Let r be -1*x/((-1)/(-3 + 1)). Which is greater: q or r?
q
Suppose 2860 = 4*a - h, 3*a + 3*h + 664 - 2824 = 0. Let u be -1 - ((-5124)/a)/7. Which is smaller: -1 or u?
-1
Let g = 421.1 + -430.1. Suppose -5*n - 1 = 14. Let y = 5/2 + n. Which is smaller: g or y?
g
Suppose 0 = 2*x - 4*x + 304. Suppose -11*l + 1734 - 941 = -890. Which is greater: l or x?
l
Let k = -0.23771 + 0.20671. Is k equal to 150?
False
Let h be 0 + 1 + 6352806347/5236. Let k = 1213304 - h. Let v = 59/28 - k. Which is bigger: v or -7?
-7
Let f(v) = -28*v**3 + 2*v**2 - 35*v + 88. Let k be f(3). Is -2 greater than or equal to k?
True
Let y = 2.9 + -1.77. Let z = y + -1.43. Which is smaller: z or 0.21?
z
Let m(n) = n**3 + n**2 - 8*n + 16. Let t be m(5). Let x = t - 134. Is -8 greater than x?
False
Let a(l) = -4*l**2 - 13*l + 209. Let h(s) = -7*s**2 - 24*s + 419. Let j(p) = -5*a(p) + 3*h(p). Let u be j(-17). Which is smaller: u or 43?
u
Let c be (-6)/9*6/(-4). Let w = -350783/84 - -4176. Is c equal to w?
False
Let i = -85/6 - -6881/486. Is -0.7 at least as big as i?
False
Let x = -136.79 - -13.89. Let s = x - -122. Which is greater: s or 1.2?
1.2
Let p = -11613283993246/23175 + 501112578. Let f = p + -2/927. Which is smaller: f or -1?
-1
Let q be (((-131813)/(-26257) - 5)*-1)/((-20)/(-14)). Which is bigger: q or -1?
q
Let o(d) be the third derivative of -d**6/120 + 4*d**5/15 - 5*d**4/8 - 8*d**3/3 + 261*d**2. Let x be o(15). Which is greater: x or -1?
-1
Let z(g) = g**2 + g - 31. Let c be z(5). Is c <= 1/460?
True
Let h be 252 + (-2 - 32/8). Let c = h + -245. Is c > -2.1?
True
Let h = 144552 + -98873591/684. Are h and -1 equal?
False
Suppose 5*d = -4*t + 9, -t + 0*d + 5 = 4*d. Let a = -185 - 53. Let z = a - -270. Is z at least as big as t?
True
Let g = -410 + 2053/5. Let o = 192.4 - 195. Are o and g unequal?
True
Let r = -7690.00085 - -0.00085. Is -1 less than r?
False
Let p = -17771 + 17813. Does p = 9/40?
False
Let d = 24 + 284. Suppose d = 12*h - 5*h. Do 44 and h have the same value?
True
Let d = 13897 + -26742. Which is bigger: -12844 or d?
-12844
Let k be 13 + -7 - (11 + 1). Let g be 2*(-7)/(-42)*k. Is -7/6 <= g?
False
Let p be 4/14 + 6/28. Let u be 8/(-28) - -4638*5/70. Let t = u + -331. Is p less than or equal to t?
False
Suppose 202*j = 213*j + 20933. Let g = 74221/39 + j. Suppose -2*t + l + 6 = 3*l, -5*t - 1 = -3*l. Is g greater than t?
False
Let p(j) = -3*j**3 - 31*j**2 + 16*j - 66. Let r be p(-11). Are 1/2194 and r unequal?
True
Let s = -0.09 - -2.09. Let b = 30 - -6. Let a = 35.96 - b. Which is smaller: a or s?
a
Let o = 17033.1 - 17033. Is 8/71 less than o?
False
Suppose -c + 4*i = -17 + 4, -c - 5 = 5*i. Suppose -2*z = c + 3. Let w be 48/(-15) + (-4)/(-10). Is z smaller than w?
True
Suppose 9*m + 4 = 11*m. Let f be (-56)/(-176) - (m - (-72)/(-33)). Let u = -13/34 + -2/17. Which is smaller: u or f?
u
Let j = -746938/17 + 43467916/1003. Let q = 1172487/1003 + j. Let n = q + -569. Which is bigger: n or 0?
n
Let m = -612 - -612.05. Which is greater: m or 0.19?
0.19
Let t = 1237.98 - 35.98. Which is greater: t or 2?
t
Let u = 160 + -161. Let w = -5/856 - 76169/2568. Let j = 1516/51 + w. Which is greater: u or j?
j
Let l = -384112/5 - -80491. Is l equal to 3669?
False
Let k = 10995 - 4800. Is 6194 less than k?
True
Suppose -16*a - 5055 + 4079 = 0. Do -65 and a have the same value?
False
Let d be 2/8 - (-4)/(-10). Let p = -0.17344 - -0.07344. Is p not equal to d?
True
Let u be (5 + -1)/(-20) - 4/(-20). Let h = 2733 + -1642532/601. Is u equal to h?
False
Let p = -197 + 194. Let h(i) = -3*i**3 - 5*i**2 - 6*i - 2. Let o be h(p). Is 53 <= o?
False
Let g = -12547 + 12548. Is -10694 less than or equal to g?
True
Let i(o) = -24*o + 276. Let z be i(6). Which is bigger: z or 914/7?
z
Let j = -99219/11 + 9220. Let h(o) = 202*o**3 + o**2 - 1. Let r be h(1). Let f = j - r. Is -3 <= f?
True
Let l be 13/2*(67 - (-217)/(-7)). Do 241 and l have the same value?
False
Let g = -0.04033 + -0.15967. Which is smaller: -520 or g?
-520
Let v be (4/(-36)*-9)/(1*(-3)/813). Which is bigger: -269 or v?
-269
Let p be (15/2)/((-28)/(-168)). Suppose -2*r - p = -5*r. Does r = 9?
False
Let k(f) = 2*f**2 + 48*f - 182. Let z be k(-37). Suppose 7*t - 37*t - z = 0. Let b = -3 + 2. Which is greater: t or b?
b
Suppose 10*b + 12120 = 36*b + 4*b. Is 396 greater than b?
False
Suppose -v + 75 = 3*k + 39, 66 = v - 3*k. Is v != 248/5?
True
Let u = -454 - -195. Which is smaller: -265 or u?
-265
Let r = 79873/78 - 1024. Suppose 29 = 2*z + 31. Let k be (-5)/(0 + 5)*z. Is k at least r?
True
Let d(l) be the first derivative of 5*l**3/3 + 14*l**2 + 4*l + 46. Let j be d(-5). Let r = 54 - 66. Is j != r?
True
Let j be (252/105)/((-8115)/(-25)). Which is bigger: j or 3/5?
3/5
Let t = -110 + 69.3. Let y = -30.7 - t. Which is greater: y or 2?
y
Let k = -4/70983 +