*l + 4*b + 116. Let j be (13/(546/l))/(-17). Are j and 0 equal?
False
Let t = -11629/14 - -4012/7. Is -259 <= t?
True
Let h(o) = o**2 - 22*o + 64. Let i be h(22). Let y = i + -58. Is -0.8 < y?
True
Let a(j) = -j**3 - 13*j**2 + 30*j + 17. Let c = 325 - 340. Let u be a(c). Is 14 at least as big as u?
False
Let b = -0.28 + 0.2. Let g = 3.08 + b. Let a be (-72)/(-10) - (-2662)/(-1210). Which is greater: g or a?
a
Suppose 4*a - 4 = 4. Suppose -a*v + 7 = 3*q, 5*v + 12 = 2*v. Suppose 2*i + 7 - 1 = 4*c, -i - 5*c + 18 = 0. Which is bigger: i or q?
q
Suppose 6*d + 4 = 4*d + 4*m, d + 3*m = 3. Let h = 5 + d. Let u be ((-5)/((-15)/42))/((-52)/117*(-72)/(-16)). Which is smaller: h or u?
u
Let i(k) = -k**3 + 26*k**2 + 58*k - 58. Let q be i(28). Let p be (q/(-12))/((-4)/8). Which is smaller: -14 or p?
-14
Let y be 2*1 + (-4)/1. Let a = y + 1. Let c = 100855/7 + -14408. Is c greater than a?
True
Let u = -38.5 + 45.4. Let j = -6.8 + u. Which is greater: j or -7?
j
Let f = -111025 - -1554983/14. Which is smaller: f or 44?
44
Suppose 4 = -56*k - 31*k + 91. Let n = 28/3 - 503/54. Is n <= k?
True
Suppose 3*h - 4*h = 17. Let n(z) = -z - 2. Let q be n(h). Suppose 2 = -b + 2*f - q, -3*b - 5*f - 18 = 0. Is b equal to -11?
True
Let d = 2.5522 - 2.52. Let a = 117.0322 - d. Which is bigger: 4 or a?
a
Suppose -30*m - 19 = -11*m. Is m greater than or equal to -11/136?
False
Suppose -8 = 5*k - 24 - 49. Is k not equal to 723?
True
Let t be (-66)/(-9) + (28/(-12) - -2). Let g be t*((-480)/126 - -4). Which is bigger: 7 or g?
7
Let d(p) = -p**3 + 2*p**2 + 1. Let y be d(0). Suppose -l + 2 + y = 0. Suppose l*m + 6 = -3*s, -3*m + 2*s - 1 = -0*s. Which is greater: m or 2/37?
2/37
Suppose -7*q = -q + 3*q + 3*q. Is 2/153 < q?
False
Let s = -2549246148/18845 + 676372/5. Which is smaller: s or 0?
s
Let y = -13 + 171. Let j = 99 - y. Which is bigger: j or -58?
-58
Let t(l) = 144*l - 3. Let r be t(-3). Let s be (((-4)/(-6))/(25/3255))/(37/(-185)). Is r at least s?
False
Let l be 3/18 + (5341/(-42) - 6). Let b = 86 - 220. Is b equal to l?
False
Let n(w) = 27*w + 377. Let l be n(-14). Let u = -0.2 - 1.2. Which is greater: l or u?
l
Let x(p) = -p**2 - 17*p + 84. Let h be x(4). Suppose 0 = b - 2*b. Let q be (b + -1)/(7 + -26). Is q less than or equal to h?
False
Suppose 40*g - 39*g = 14. Let i = 87.3 + -87. Which is bigger: g or i?
g
Let x be -6 - -2*(10 - -1). Suppose 0 = -4*h + x*i - 12*i, i = -1. Are 1/678 and h non-equal?
True
Let b be (0*(-4)/12)/1. Let d be 4/10 + 756/(-30) + 1. Let s = d - -24. Is s at least b?
True
Let n(j) = -j**2 - 9*j + 32. Let a be (-1)/(-1) + (-7)/21*3. Let y be n(a). Which is bigger: 2 or y?
y
Let f = -3.38 + 125.38. Let g = -119.8 + f. Which is bigger: g or 2/5?
g
Let y = 2965 + -601894/203. Suppose -445*z - 1588*z = 2033. Which is smaller: z or y?
z
Suppose 0 = 10*x - 94 + 34. Suppose q - x*q = -10*q. Which is bigger: 29 or q?
29
Let p = -151 - 27. Which is greater: -169 or p?
-169
Let x = -2/33 - 3/11. Let i = -41 - 108. Let o = -149.03 - i. Is x >= o?
False
Let q = 4 - 3. Let j be -11 + (-57 - -58)/(16/174). Which is smaller: q or j?
j
Let x(d) = 114*d - 237. Let s be x(4). Which is bigger: s or -5?
s
Suppose 0 = -10*v + 15*v - 125. Suppose 23*h - v*h - 218 = 0. Are h and -109 equal?
True
Let u be 3 + (-196)/((-6 + 3)/1). Let h = u + -69. Let a = 561 - 560. Is h not equal to a?
True
Let a be (-133)/28*(-2 - -26). Let w = -96 - a. Is w less than or equal to 133/8?
False
Suppose 21 = -7*f, 5*s - 7*f + 103825 = -12*f. Which is smaller: s or 0?
s
Let f be (-28)/(-70)*(9550/(-24) + 0). Let n = 158 + f. Let q = -0.8 - -0.8. Are q and n equal?
False
Let n = 133 - 137. Let d be n/(-64)*4*36. Suppose -d*w = -7*w + 46. Is -25 <= w?
True
Let w(l) be the third derivative of -l**6/120 - 2*l**5/15 - l**4/12 - 5*l**3/6 + 11*l**2. Suppose 14 = f - 3*f. Let x be w(f). Is x at most -40?
True
Let t be 275/(-255) + (-390)/(-45) + -8. Let m = -2 + 1. Which is smaller: m or t?
m
Let s(x) = -10*x**3 - 56*x**2 + 3*x + 86. Let r(z) = -2*z**3. Let p(g) = 4*r(g) - s(g). Let m be p(-28). Let c = 0 - 0. Are c and m unequal?
True
Let f = -678 + 678. Suppose f = -12*z + 132 - 144. Let g = -599 - -3583/6. Which is smaller: z or g?
g
Let j = -55 + 57. Let q be 24/j*24/16. Suppose 4*o + 3*l = -56, 2*o - l + q = -0*l. Is 0 less than o?
False
Let b = 3.11 - 2.11. Suppose -4*c + 4*j + 2 = -26, 0 = -3*c + 5*j + 31. Suppose 14 = -c*f + f. Which is smaller: b or f?
f
Suppose -c - 5 + 10 = 0, 2*u - 4*c = -24. Let d be 28/u*13*70/(-140). Which is smaller: 90 or d?
90
Let g = 3/133 - -297/4522. Suppose -q = -6*q + 100. Suppose 18*x = q*x - 2. Is x greater than g?
True
Suppose -5*t + 5 = 5*u, -6*u + 3*t = -2*u - 39. Suppose 2*k - 12 = 11*z - u*z, 2*k - 3*z = 12. Is 29/6 bigger than k?
False
Suppose 0 = 5*i - 3*i - 4. Suppose 0 = i*u - 3*u - 3, -u = -h + 4. Let g be ((0 - 3)/(-6))/(35/60). Are g and h equal?
False
Let g = 37 + -86. Let s = g - -40. Let x be (-2)/s - 104/306. Is x greater than 0?
False
Let q(m) = -5*m**2 - 13*m**2 + 8*m**2 + 15 - m**3 + 25*m. Let k be q(-12). Suppose -2*o = 6, -a = -5*a + k*o + 17. Which is bigger: 1 or a?
a
Suppose -3*h = -2*o + 1406, 3*o = -5*h - 1168 - 1207. Let z = 478 + h. Is 11 > z?
True
Suppose 5*c + 2*a - 14 = 0, -3*a = -3*c + a - 2. Let p be (-1)/c*0/(-10 - -5). Is p < 2/7?
True
Suppose -3*c + 4732 = 4*v, -2*v = 2*c + 3*c - 2366. Is 1182 greater than or equal to v?
False
Let s = 9874.9 + -9875. Is s less than or equal to -3.074?
False
Suppose 2*x - 6*x - 4 = 0, 0 = -3*w + 5*x - 16. Let y(h) = -h**3 + 8*h**2 - 5*h + 2. Let a be y(5). Suppose -108 = -a*g - 888. Which is greater: g or w?
w
Suppose -5*l = -3*t - 488, 2*t + 3*l = -0*t - 300. Let u be t/(-4) - -2*(-2)/4. Is u less than or equal to 37?
False
Let p be 5/2*8/(-160). Let r be ((-50)/(-6))/(-5)*3. Let n(z) = -7*z - 36. Let t be n(r). Which is smaller: t or p?
t
Suppose -14*k - 2*k + 176 = 0. Suppose 0 = k*h + 42 - 31. Which is smaller: h or -1/75?
h
Let y = -146 + 100. Let h = 3329/996 - 770/249. Is y greater than h?
False
Let b = 0.91 - 0.11. Let g(l) be the second derivative of -l**3 + 39*l**2/2 + 28*l. Let h be g(7). Which is smaller: b or h?
h
Suppose 3061 = 30*r + 53*r + 14100. Which is smaller: r or -403/3?
-403/3
Let w = 10663 + -9924. Is w at least 741?
False
Suppose -68*u - 9718 - 16027 + 2217 = 0. Do -343 and u have different values?
True
Let r = 0.3661 + -0.3031. Are r and -21 nonequal?
True
Let n = -7 - -17. Suppose 0 = n*b - 8 - 2. Let c = -2/1081 + 4442/63779. Do b and c have the same value?
False
Let f(p) = 4*p**2 - 9*p + 1. Let v(m) = 5*m**2 - 10*m. Let c(h) = 6*f(h) - 5*v(h). Let y be c(2). Let o be (-12)/4 - -43 - y/(-2). Which is greater: 38 or o?
38
Let c = 22 + -21. Suppose 0 = 10*y + 32*y - 1806. Which is greater: c or y?
y
Let l(t) = -7 - t + t**2 + 2*t - 7*t + 4*t. Let k be l(4). Are 5/79 and k equal?
False
Let o be (20/(-2) - -1) + -9. Let z be (0*(-3)/o)/2. Is -4.94 less than z?
True
Let c be (-1824 + -397)*(-1 - -2). Is c greater than -2222?
True
Suppose -f - z = -26, 0*z = 3*f - z - 62. Suppose -398 = f*r + 988. Which is smaller: r or -57?
r
Let v be ((-3711348)/(-522))/((-6)/(-4)). Let h = 4740 - v. Which is smaller: 1 or h?
h
Let x be 0/(-2 + 1) + 1. Suppose -397 = 4*v + k, 2641*k - 2640*k + 100 = -v. Are x and v nonequal?
True
Let o be (-5)/(2/180*-4). Let m = -119805887/1064580 - -35/19356. Let k = m + o. Which is greater: 1 or k?
1
Let s = -810 - -881.6. Let h = s - 72. Is -58 at least as big as h?
False
Let c(h) be the second derivative of -4*h**3/3 - 14*h**2 + 6*h. Let t be c(-5). Let r be (-2)/t + (-2813)/(-174). Which is smaller: 10 or r?
10
Let w be (1224/336)/(54136/9024 - 6). Are -4108 and w equal?
False
Let x be (10 - -2572) + ((-21)/3)/7. Which is smaller: x or 2582?
x
Let g be 6/(-10) - (-308)/580. Suppose -29*s = 4*s + 33. Which is bigger: g or s?
g
Let z be 4/10 + 494/65 + 8*-1. Is -2/1851 at most z?
True
Let j = 0.1574 - 9534.1574. Which is bigger: j or 1?
1
Let g be (-2)/7 + 472/(-14). Let k(h) = 36*h - 298. Let l be k(9). Let a = g + l. Which is greater: a or -2/7?
-2/7
Let i = -87 - -94. Let b(c) = -c**2 + 3*c + 19. Let y be b(i). Let s(g) = -g**2 - 3*g + 17. Let h be s(-7). Is y at most h?
False
Let i = 12215 - 8961. Which is greater: -0.1 or i?
i
Sup