*b + 3*n + 52, -3*b + 31 = -4*n - 9. Let u be (2 + -1)/(b - 7). Let x be (0 - (4 - (-55)/(-15)))/(-1). Is u at least x?
True
Suppose 2*g + 196 = -2*f, -4*g = 2*f - 188 + 588. Let c = g + 12. Let y = c - -91. Is y smaller than 29?
True
Let p(v) = 16*v - 323. Let d be p(20). Suppose -i + 35 = 2*m - 22, -4*m + 111 = 3*i. Is d != m?
True
Suppose 0 = -371*z + 2 - 2. Let x be (-8)/(-8) + 24/(-11). Which is smaller: z or x?
x
Let d(n) = 2*n**3 + 16*n**2 - 40*n - 145. Let h be d(11). Is 4013 equal to h?
True
Let i = 260 - 237.6. Let v = 131299 - 919095/7. Which is greater: v or i?
i
Suppose 0 = i + 6, 4*j - 3*i + 129 = 503. Which is greater: j or 93?
93
Let x = 5 - 7. Let n = 7877.53 + -7877. Which is bigger: n or x?
n
Let v(d) = 1995*d + 3989. Let p be v(-2). Which is greater: p or -24/619?
-24/619
Let r be 1*(-10)/50 + 1214/(-30) + -12. Suppose -4*y - 122 = 90. Which is bigger: r or y?
r
Let h = -169288175/3876 + 43676. Which is smaller: 1 or h?
h
Suppose -36 = -3*q - 3*q. Suppose -30 = 4*f - q. Let y = 1 + -1. Is y > f?
True
Let j(b) = b**2 - 16*b + 42. Let p be j(20). Suppose p = -3*l + u, -2*u + 4 = -3*u. Is l greater than -368/9?
False
Let x be (-70)/(-120)*(-12)/1782*2. Which is bigger: x or 1?
1
Let h(y) = y**3 - 66*y - 19 - 16*y**2 - 79*y - 74*y + 203*y. Let g be h(17). Are g and 0.25 non-equal?
True
Let c = -419 + 421. Let q = 59 + -1241/21. Which is bigger: c or q?
c
Let h = 4632 - 4628. Is 540 != h?
True
Suppose 0 = 5*u - q - 10, -q + 5*q = u + 17. Let h be (-5)/(-1) - (u - 1). Is h >= 27/10?
True
Suppose 4 = 5*m - 2*s, 0*s + 6 = -3*s. Let x be (-6762)/1288*(4/(-186) + 0). Do x and m have different values?
True
Let p be 18/4*(-8)/(-4). Let q = 148 + -38. Suppose 11*b + 11 = q. Is p equal to b?
True
Let j be ((-40)/36)/5 + (-1678)/(-18). Let x = j - 237. Does x = -144?
True
Suppose 0 = 2*n - 5*y + 1, 3*n + 4*y = 5*n + 2. Let l be (7 + (-1393)/14)/(n/6). Is l > -2/9?
True
Suppose 0 = -5*q - 0*q + 825. Let d = q + -178. Which is smaller: d or -5?
d
Let n(w) = -w**3 + 12*w**2 + 12*w + 13. Let f be n(13). Suppose -2*l + 4*l - 10 = f. Suppose -7*u - 24 = l*u. Which is bigger: -3 or u?
u
Let y(w) be the third derivative of w**4/24 + 3*w**3/2 + w**2. Let t(f) = -f**3 + 45*f + 19. Let x be t(7). Let s be y(x). Which is smaller: s or -18/13?
-18/13
Suppose 0*j = d + 3*j - 23, -5*d + 15 = -5*j. Let b be ((-16)/(-40))/(d/12). Is b at least as big as -2/125?
True
Let b(w) = w**2 - 5*w - 66. Let n be b(14). Suppose 16*h - n = 4. Do h and -7 have the same value?
False
Let x = 1482 - 1515.55. Let l = x - -33. Let w = 0.45 - l. Which is bigger: w or -1?
w
Let v be ((-4)/(12/2427))/((-2)/4). Which is smaller: 1620 or v?
v
Let q = -44 - -47. Let z be q/5 - 4361/35. Are -125 and z unequal?
True
Let o be ((-15)/(-6) + -3)*-2 + -1569. Let x be o/9 - (1 + (-22)/18). Which is greater: x or -175?
x
Let z = -103 - -208. Suppose z*j - 225 = 102*j. Is 75 at most j?
True
Let y = -5214 + 36496/7. Let d = 374 - 217. Which is smaller: d or y?
y
Let g be -20 + (-5 - -16 - -1) + 7. Does 20/663 = g?
False
Let w = -5/6 + 3/2. Let s = 2571 + -2550. Is s less than w?
False
Let x = -2.3 - -5.6. Let l = x + -3.4. Which is bigger: l or 366?
366
Let o = -25001 + 25227. Is 243 at most as big as o?
False
Let s = 330 + -334. Let n be (s/8)/(66/168*6). Which is smaller: n or 1/4?
n
Let w be 6*4/60*-30. Let p = 343 + -1415/4. Which is greater: w or p?
p
Suppose 4*h + 14 = 4*z - 10, 2*z + 8 = -3*h. Suppose 3*d = d + 8. Let k be d/(-5)*10/4. Are k and h equal?
False
Let k = -17257 - -32926357/1908. Is 0 != k?
True
Let d be 0 + 0/1 + 1. Suppose b = -0*b + d. Let t = -10098 - -1423820/141. Is b at most as big as t?
False
Suppose -3 - 9 = -f. Suppose -24 = 2*a + k, -f*a + 44 = -16*a - 4*k. Are -10 and a nonequal?
True
Let k = -25046 - -25045. Which is smaller: -9/4237 or k?
k
Let j be 1 - 5 - 4/(-4). Let z(w) = -9*w - 1. Let p be z(j). Let y(c) = -c**3 + 6*c**2 + c - 4. Let x be y(5). Is p bigger than x?
False
Let k be 26*3843/133416 - 3/4. Is k > 1?
False
Let h = -346.813 - -60.823. Let x = -286 - h. Is -1/4 greater than x?
False
Let b = 3 + -3. Let q = -6065 - -42437/7. Which is smaller: b or q?
q
Suppose 0 = 3*z - 6*z + 24. Let q be 4 - z*9*1. Let k = -67 - q. Which is bigger: k or -1/17?
k
Suppose 0 = -5*s - q + 11098 - 483, -3*s - 4*q = -6352. Are 2124 and s unequal?
False
Let z = 11/81 + -664/4293. Suppose 0 = -8*h - 18 + 18. Which is smaller: z or h?
z
Let q be 87/(-435) + (-1 - (1138/(-5))/(-2)). Which is smaller: -122 or q?
-122
Let j = 26338/5 + -5083594/965. Which is smaller: 0 or j?
j
Let j be (-3345)/21 - (-2)/7. Let t be (j/(-10))/3 + (-59 - -54). Which is smaller: 1 or t?
t
Let g = 17 + -14. Let b(y) = y**3 - 21*y**2 + y - 21. Let j be b(21). Suppose j*x + 6 = -3*x + f, 2*x - g*f + 11 = 0. Is -2/35 <= x?
False
Let q(t) = 2*t + 36. Let k be (-2)/(-11) - ((-189)/(-11) + 0). Let a be q(k). Which is greater: 1 or a?
a
Let t = -784 - -790.81. Let s = t - -0.19. Let f = 83/465 + 2/93. Is s at least f?
True
Let r(k) = 504*k - 376. Let p be r(2). Which is bigger: p or 631?
p
Let b(c) = c**3 - 5*c**2 - 13*c + 39. Let l be b(2). Are -2/6113 and l unequal?
True
Suppose -24*p - 24 = -16*p. Let u be p*(7 + 816/(-117)). Is 0 less than or equal to u?
False
Let v(h) = 109*h**2 - 4*h - 3. Let j be v(-1). Let p = j - 55. Let s = -21 + p. Do 34 and s have the same value?
True
Let g be -15*(-12)/40*7620/45. Which is smaller: 763 or g?
g
Let a = -475782/4225 - -2828/25. Is a >= 0?
True
Let l = 13158 - 15471. Is -2316 at most l?
True
Let b = 21775 - 86057/4. Which is smaller: b or 261?
b
Let s = -1150 + 1150.8. Is s > 185/6?
False
Let s be 2*9/(-2) + 8410/928. Let k = 3 + -2.94. Let v = -0.14 - k. Is s >= v?
True
Suppose -317 - 412 = -9*a. Let g = a - -2. Is g bigger than -1?
True
Let b = 3347 - 2453. Do b and -2/7 have different values?
True
Let p = 58 - 86. Let b = 48 + p. Let t be ((-8)/54)/((-4)/(-24)*b). Is t equal to 1?
False
Let m = -568.964 - -573. Let f = -0.036 + m. Let d(z) = z**3 - 9*z**2 + 9*z - 9. Let l be d(8). Which is greater: l or f?
f
Let h = -2799092/2853 + 8830/9. Are h and -2 equal?
False
Suppose 0 = -42*g + 22*g + 13720. Is 686 less than g?
False
Let a = 2768/495 + -448/45. Which is bigger: a or 5?
5
Suppose -3*b = -2*w + 4*w - 23, -2*w = 2*b - 12. Let u(t) = b*t**3 - 5*t**2 + 0*t - 10*t**3 + 2*t. Let n be u(5). Which is smaller: n or 5?
5
Let t = 5.03 + -4.961. Let q = -0.019 + t. Is 4 < q?
False
Let a = -6244027/26845 + -24/5369. Which is smaller: -232 or a?
a
Let q(b) = -b**3 + 13*b**2 - 29*b - 11. Let n be q(10). Let c = -2583 - -1066777/413. Do c and n have the same value?
False
Let q(z) = -12*z + 12*z + 12 - 3*z. Let n be q(10). Let a be n/12*20/75. Do -3/56 and a have different values?
True
Let y = -2951 + 2949. Which is smaller: y or 204?
y
Suppose 5*b + 1153 = -2*k + 1061, -5*b + 92 = -2*k. Which is smaller: -757/17 or k?
k
Let p = -0.12 + -35.88. Let g = p - -36.2. Let h be (3/74)/(-2 + (-49)/(-14)). Is h <= g?
True
Let c = 20765 - 24456. Which is bigger: -3690 or c?
-3690
Suppose 3*x + 3291 = -1713. Let f be x/(-7263) - (1 - 21/27). Which is greater: 1 or f?
1
Let w = -8864/24735 + 34/97. Let r = 749/2040 - w. Let g(x) = -x + 1. Let t be g(0). Is r less than t?
True
Suppose 37*o - 1883 = 1817. Suppose 0 = -h + 80 + 21. Which is bigger: h or o?
h
Let a = -39.16 - -22.19. Let w = a + 17. Let m = w - 0.12. Which is greater: -2/5 or m?
m
Suppose -2*n - 1192 = -2*u + 18*u, 4*n - 16 = 0. Are u and -303/4 unequal?
True
Suppose -4*k - 4 = -2*r, -2*r + 6 = 3*k + r. Let h(x) = 1 + 0*x + x**2 - 3*x**3 - 2*x + 2*x**3. Let d be h(k). Is -2/11 at least d?
False
Let s(f) = f**2 - 9*f + 19. Let c be s(9). Suppose 5*q = 4*r - c, -8 = 4*q - 2*r + 6. Which is smaller: q or 22?
q
Let f = -7671 + 7628. Is -21 at most f?
False
Let c(g) = 2*g**2 + 4*g + 7. Let s be c(-2). Let d = 28 + -8. Let r = 25 - d. Which is smaller: s or r?
r
Let j be (2*2)/(880/1106600). Which is smaller: 5028 or j?
5028
Let x = -5064 + 5049. Let c be 3 - (-2 + -1 + 18). Which is smaller: x or c?
x
Let p = -54105/13 - -4159. Let o = -1203/416 - p. Is o greater than 1?
False
Let b be ((2*-3 - -2) + 64/12)*-717. Which is smaller: b or -0.2?
b
Let c be 6/(-4) - (-28)/8. Suppose -3*g - 1 = c. Let z = -1/220 - -5