*(-2)/((-4)/u). Suppose 68 = 3*f - 4*x, -x + 27 = 35*f - 33*f. Is m < f?
True
Let g(p) = 10*p - 36*p**3 + 35*p**3 - 5*p - 3*p**2 + 4. Let d be g(6). Is -292 less than or equal to d?
True
Let t(f) = f**3 - 20*f**2 - 2*f - 19. Let d be t(20). Suppose 9*o - 67 = 464. Let q = o + d. Which is greater: 1/121 or q?
1/121
Let c(p) = -3*p - 39. Let w be c(-24). Suppose w*b - 9450 = -2*b. Which is smaller: b or 269?
269
Let u = 0.6839 - 0.7739. Which is bigger: u or -40/73?
u
Suppose -7*v + 1 + 41 = 0. Suppose 0 = 5*q + 3*s + v, s + 2 = 2*q + 3*q. Let t be 6/(-8) - 395/(-420). Are q and t unequal?
True
Suppose 28 = a + 28, -2 = 2*k + 4*a. Which is greater: -6/161 or k?
-6/161
Let c(t) = 7*t - 163. Let l(h) = h**2 - 22*h + 96. Let p be l(18). Let x be c(p). Let f be -1 + -1 + 25/4. Is x smaller than f?
False
Let y be -2 - -5 - 12/4. Let c = -6607 + 1678181/254. Is y greater than c?
False
Suppose -2*b + 25*v - 26*v + 703 = 0, -5*b + 1750 = 5*v. Let t = -324 - b. Is t less than -677?
False
Suppose 4*u + 5*w - 26 = 0, 23*w + 6 = 24*w. Which is bigger: 11/493 or u?
11/493
Let u(m) = -m**2 - 535*m + 12938. Let y be u(23). Which is greater: 66 or y?
y
Suppose -364 = -5*l + 3*l - 362. Which is bigger: l or -2/20893?
l
Let f = -209 - -197. Let t be 6/(306/f + 3). Suppose 5*g - i = -9, -3*i = -4*g - 6 - 10. Which is smaller: t or g?
g
Let l be (-90)/4*1674/(-155). Let a = 58 + -41. Suppose -8*m + l = -a*m. Is m less than -27?
False
Let c(f) = f**3 + 16*f**2 - f - 16. Let q be 552/(-28) + 4 + (-12)/42. Let m be c(q). Which is bigger: m or 16/27?
16/27
Let d(z) = -z**3 + 16*z**2 - 16*z + 14. Suppose 3*p + 4*y = 53, -y + 77 = -6*p + 11*p. Let u be d(p). Which is greater: u or -2/1217?
-2/1217
Let x = 3.78 + -3.8651. Let p = -0.0149 + x. Which is greater: 1/85 or p?
1/85
Let b be 1299/(-117) + -38 + 29 - 8/(-6). Which is greater: -20 or b?
b
Let w be (-1515)/4*(-33)/660. Let b = w - -21/80. Which is smaller: 18 or b?
18
Let q = 102 - -33. Let c = q + -86. Which is smaller: 47 or c?
47
Let w be ((-469)/35 + 7)*(23400/(-5))/3. Is 9985 at least as big as w?
True
Let g = -1 + -11. Let r = -123 + 133. Let a be (g/r)/((-42)/20). Which is smaller: a or 0?
0
Let m be 1/((3/59)/3). Suppose r - 6*k + 4*k = 28, -k = -3*r + m. Let s(d) = 16*d**3 - d**2 + 1. Let y be s(1). Do r and y have different values?
True
Suppose 38 = 2*v + 2*j, -4*v + 7*j + 104 = 4*j. Let d = 25 - v. Which is greater: 2/3 or d?
d
Let g(h) be the third derivative of -h**5/20 + 23*h**4/24 - 3*h**3 - h**2 - 190. Let u be g(7). Which is greater: -2/55 or u?
-2/55
Let z = 105 - 155. Let d = -48 - z. Let g be (8/d)/((-4)/(-28)). Is g not equal to 28?
False
Let m = 4219 + -5942. Let s = m - -8643/5. Are s and -0.1 nonequal?
True
Let b(a) be the first derivative of 2*a**3/3 + 5*a**2 - 48*a + 164. Let f be b(-8). Is f at least -1/5?
True
Suppose -12 = -2*y + x + 100, y - 5*x - 56 = 0. Let z(b) = -b**2 - 1. Let r(l) = -54*l**2 + 2*l + 5. Let f(u) = -r(u) - 3*z(u). Let i be f(-1). Is i at most y?
False
Suppose 4*x + 11 = -3*v - 2*v, -4*v - 10 = 2*x. Let u = v - 9. Let o be 54/u*(-4)/42. Which is bigger: -3/8 or o?
o
Let r = -9479 - -9479. Is -1685 at least as big as r?
False
Let s = 0.0816 - 0.2816. Is 0.236 at least s?
True
Let i be ((-3)/(-12))/(13*2). Suppose 0 = -5*m + 3*q + 80, -5*q + 19 + 25 = m. Suppose 28*x - m*x = 0. Is x equal to i?
False
Let k = -1291 + 1288. Is 323 < k?
False
Let n = -396.7 - -418. Let l = n + -22.83. Let h = 0.53 + l. Is h smaller than -0.06?
True
Let t = 1306 - 1309. Which is greater: 806 or t?
806
Let m = -12218 + 10244. Is -1974 < m?
False
Let w = -232231 - -2086835/9. Are w and -360 non-equal?
True
Let a be (4 - (6/4 - -3))*0. Suppose -15*m + 36 - 66 = 0. Is m > a?
False
Let h = -2016/7775 + 6/311. Let m be ((-4)/5)/((-380)/475). Which is bigger: m or h?
m
Let k = -57.941 + 58. Let p = k + -0.359. Is p at most as big as 1.5?
True
Let q = 267 - 132. Let i = q - 136.06. Let m = 0.82 + i. Is 1 less than m?
False
Let u(t) = t**2 - 49*t + 269. Let d be u(42). Suppose 65 = j + 16. Let v = j - 73. Is d >= v?
False
Let k = -89 - -91. Suppose k*n - 4*b - 32 = -3*n, -5*n + 23 = -b. Suppose 32 = 4*u + 5*q - 21, n*u - 4*q - 80 = 0. Which is smaller: u or 2/5?
2/5
Let i = -36.5 + 288.5. Let r = -251.947 + i. Is r <= -0.1?
False
Let a = 53154 + -53318. Suppose -5*r + i - 813 = 0, 2*i + 492 = -3*r + 4*i. Which is smaller: a or r?
a
Suppose 3*x = 5*s - 0*s - 45, 3*s + 5*x = -7. Suppose -s*q = 153 - 387. Is q less than or equal to 151/4?
False
Let x = 1155 + -1015.3. Let y = 137.767 - x. Let i = 0.067 - y. Is i > 1/5?
True
Suppose 2*q - 649 = 13*q. Let k = 60 + q. Which is smaller: k or -5/24?
-5/24
Let n = -13740 + 13854. Which is bigger: n or 76?
n
Let x be 1/(-5)*-2 + (-161)/115. Which is greater: x or -35/27?
x
Let k be 50 - (-2)/((1/((-12)/8))/(-1)). Do 690/13 and k have the same value?
False
Suppose 2*k + 8 = -3*k + 2*i, -4*k - 5*i = -20. Suppose k = -2*n + 49 - 29. Let z = 33 - 21. Is z > n?
True
Suppose -249 = 3*w + 270. Let z = 868/5 + w. Let b = -5.9 + 6. Is b greater than z?
False
Let v(m) = 8*m**3 + m**2 - m - 2. Let c be v(-2). Let g = 67 + c. Is 9 equal to g?
False
Suppose 267 = -5*j + 3*l + 11827, 0 = -5*l + 25. Is 2314 greater than j?
False
Let j(g) = 6*g**2 - 5*g + 5. Let r be j(1). Let u be ((-225)/10)/((-1)/(-8)*r). Which is smaller: 1 or u?
u
Let n(k) = 3*k**2 - 118*k + 45. Let b be n(39). Let h = 21 + 16. Let r be (-12 + b)/(h/2 - 2). Which is greater: 0 or r?
0
Let g be -5 + (2186861/418509 - (-4)/(-18)). Are g and 1 nonequal?
True
Let j(z) = -z**3 + 9*z**2 + 251*z - 11. Let l be j(21). Let n = l - -1951/61. Let w(h) = h**3 - 5*h**2. Let y be w(5). Is n at most y?
True
Let u(y) = y**2 - 26*y + 167. Let r be u(14). Is r != 2/4079?
True
Let s be -5 + 4 - -3 - -25. Suppose -s*l + 56 = 2. Let u = -0.2 - -0.1. Which is bigger: l or u?
l
Let v = 1.2 + -9.2. Suppose -6 = -61*w + 58*w. Suppose 8*y - w = -10. Which is smaller: y or v?
v
Let g = 53 + -48. Let q(k) = -3*k**2. Let j be q(g). Let i be (6/(-4))/(j/(-20)). Is 3/11 at least as big as i?
True
Suppose 32*j = 27*j + 15. Let f be -3 + 1 + 1/(1/j). Let s be 220/15*(f + (-5)/2). Is -21 bigger than s?
True
Suppose 140*h + 2547 = -144*h + h. Is h < 2/27?
True
Let d(y) = 18 - 15*y**2 + 372*y**3 - 373*y**3 - 16*y - 3*y**2. Let l be d(-17). Which is bigger: -1/168 or l?
l
Suppose 27*h = 29*h - 8. Suppose h*p + 19 = 5*p. Suppose 3*u = 4*m - p, -5*m = 2*u + 8 - 3. Which is smaller: -6 or u?
-6
Suppose 1311*v = 1313*v - 264. Let i be -2 + 0 + 176/v. Are i and -41 nonequal?
True
Let a be 0*(-1 + (-1 - 1) + -2 + 6). Are a and 33/38 unequal?
True
Suppose -4*i + 2*v + 44 = 6*v, 4*v + 12 = 3*i. Suppose -i*w - 434 = 390. Is -203/2 at most as big as w?
False
Let n be (-96187)/245 - ((-12)/(-5) + -2). Let w = -157 - n. Which is smaller: w or 237?
w
Let p = 30 + -30. Let r be 81/18 + (-3 - p). Which is smaller: r or 13/6?
r
Suppose 16*c - 11 = 11*c + w, 3*c = -5*w + 29. Are c and 3 unequal?
False
Let s(j) = j**2 + 10*j + 12. Let k be s(-9). Suppose -64 + 76 = k*x. Let g = 3 - 3. Which is greater: g or x?
x
Let d = -200.3 - -127.1. Which is greater: d or 0.1?
0.1
Let h be (24/(-72))/(-1*(-1)/(-97)). Suppose 0 = -4*i - i - y + 164, -4*i + y = -133. Is h less than i?
True
Suppose 3*w = -0*w - 4*s - 20, -2*w - 11 = 5*s. Let n be 33/(-44)*(w + 4). Is n < 7/5?
False
Let b = 0 - 0.08. Let a = -21.6 - -172.6. Let m = 151.1 - a. Is b >= m?
False
Let y be 15/(132705/26523) + -3. Is y <= 0.03?
True
Suppose 4266 = -34*a + 1682. Which is bigger: -57 or a?
-57
Let z be (-1)/(-3) - (-15)/(-45). Let v(j) = -24 + j**2 - 17 + z*j**2 + 14. Let f be v(-7). Which is bigger: 65/3 or f?
f
Let b = 23 - 16. Let d be (-12)/(-84) + (-1)/b. Does d = 1/28?
False
Let k(v) = -2*v**2 - 19*v + 11. Let m be k(-10). Suppose -2*p + 0*t - m = t, -4*p = -3*t - 13. Let d be (-34)/7 + ((-15)/(-3) - p). Is 0 <= d?
False
Let b = 15 - 14.919. Let j = -0.032 - b. Which is greater: j or -2/7?
j
Let c be (24/(-10))/(6/(-15)). Suppose c*z - 4*z = -18. Let b be 444/z*(-11)/44. Which is bigger: b or 11?
b
Let f be ((-339)/(-10))/(2686/(-395)) + (1 - -4). Does f = -9.1?
False
Let o be (((-19504)/(-69))/53)/((-2 + 1)/3). Is o equal to 213?
False
Let n(q) = -3*q**2 - 152*q + 2099. Let j be n(-62)