 l be (-2)/p + 296/40. Suppose -w = -2*w - l. Which is smaller: w or -5?
w
Let c = 3/2003 + -86162/22033. Which is smaller: -3 or c?
c
Let u = -14 - -4. Let i be 2/3 + u/(-30). Let n = i - -16. Is n > 16?
True
Suppose 7*l - 8 = 2*p + 3*l, -2*l = -4. Do p and 1 have different values?
True
Let b = 258.8 + -259. Which is smaller: b or 18.2?
b
Let c = -4.54 + -0.06. Let h = 4.7 + c. Which is greater: -7/2 or h?
h
Let x(b) = -b**3 + 9*b**2 - 8*b. Let h be x(8). Suppose -12*z + 14*z - 2 = h. Suppose 2*i = z - 7. Is i equal to -1?
False
Suppose 0 = 4*y - n - 21, -2*n + 7 + 11 = 2*y. Suppose 11*p = y*p + 75. Suppose 0*c - p = -h + 4*c, 2*h - 2*c = 12. Is 3 >= h?
True
Let c = 27/382 + -8161/142486. Is -1 less than or equal to c?
True
Let a be (1/(-11))/((-3)/(-6)). Suppose -x + 5*g = 2, 3*x + 4*g + 6 = -0*x. Which is smaller: a or x?
x
Let x be -6 + 1184/(-24) - 2/(-6). Which is smaller: -111/2 or x?
-111/2
Let i be ((-5)/10)/((-1)/8) + 1. Let y(h) be the first derivative of h**3/3 - 4*h**2 + 4*h + 3. Let l be y(8). Which is greater: l or i?
i
Let c = -0.95 + 1. Let x = 77998/1545 + -26/309. Let z = x + -50. Is z greater than c?
True
Let v = -3/11 - 5/22. Let f = -149/78 + 11/6. Which is greater: f or v?
f
Let i = -734 + 242. Let v = i - -3943/8. Which is bigger: v or 0?
v
Suppose 0 = -5*q + 4*g + 104, 3*q + 4*g - 21 = 67. Suppose 3*n + n = q. Let k be (-12)/(-63)*n/(-20). Which is smaller: k or -1?
-1
Let r be 3/(-1) + 6/2. Let g be 324/(-1183) - (-28)/98. Is g at least as big as r?
True
Let a = -104 + 104. Let b = -354457/148 - -2395. Let m = b - 383/4292. Which is smaller: a or m?
m
Let t = -217.9 + 218. Which is bigger: 4/271 or t?
t
Let w be -37 + 202 - (-1 + 2/2). Is 4 < w?
True
Let s = 4 + -3.3. Let m = 0.3 + s. Let y be (-3)/15 - -1 - (1 - 0). Is y <= m?
True
Suppose 7400 = 5*u + 15*u. Are u and 0.1 equal?
False
Let h = -390 + 390. Which is smaller: h or -10/39?
-10/39
Let s = 18 - 14. Suppose 2*u = 3*k - 79 + 12, -91 = -s*k + u. Is k equal to 25?
False
Let o = 41 + -30. Let l = 210.9 - 211. Which is greater: o or l?
o
Let w(h) = -h - 3. Let k be w(-3). Suppose k = 3*s - 6, -s + 6 - 2 = -j. Let p(a) = -a**2 - a + 1. Let m be p(-2). Which is greater: m or j?
m
Suppose -36*a - 445 = -4*u - 39*a, -4*a - 365 = -3*u. Which is greater: -0.07 or u?
u
Let a = 5 + -2. Let y = 2.4 + 124.6. Let x = -127.1 + y. Which is smaller: x or a?
x
Suppose -3*n - 12 = -99. Suppose -2 + n = v. Let f be 9/18 - v/62. Which is smaller: f or 1?
f
Suppose -47 = -16*d + 33. Is 40/9 bigger than d?
False
Let g = 26 - 29. Suppose 2*d = 2*n + 13 - 1, 12 = 2*d + n. Let l be (g/d)/((-2)/(-8)). Which is smaller: l or -5/3?
l
Let l be (18/15)/(2/5). Suppose 0 = 2*d - 6, p - 6 = -0*p - l*d. Let t = 54 - 173/3. Which is smaller: p or t?
t
Let f be (51/(-21) - -2)*(-51 + 32). Which is smaller: f or 9?
f
Let h = -1367 + 1373. Is 5 smaller than h?
True
Let l = 3/2 - 41/22. Let z(v) = 5*v. Let h be z(2). Suppose -4*k = -2*k - 2, h = -5*g + 5*k. Which is smaller: g or l?
g
Let w(v) = v**2 - 6*v + 3. Let s be w(5). Which is smaller: 15 or s?
s
Suppose 0*a = 3*a - 4*b + 61, 4*a + 2*b = -74. Let n = -1642 + 1644. Which is greater: a or n?
n
Let q = -30 + 60. Suppose w + 5*w = -q. Is -7/2 <= w?
False
Let i = 0.314 + 0.286. Is -1 at least i?
False
Let j = 734 + -952. Which is smaller: 1 or j?
j
Let d(p) = p**3 - p**2 - 3*p - 1. Let z(b) = b**3 + b**2 - 1. Let c(l) = -d(l) - 2*z(l). Let i be c(-2). Suppose 5 = 2*w - i. Which is greater: w or 9?
w
Let a = 135 - 207. Let k = a + 71. Is 1/10 less than k?
False
Let g be 79/(-3) - (6 + (-32)/6). Let i be (-5)/45 + 348/g. Let v = -0.5 - -1.5. Which is smaller: v or i?
i
Let m be (-153)/564 - (-1)/4. Let h(o) = -52*o + 156. Let n be h(3). Is m < n?
True
Let v = -2698 - -18821/7. Which is greater: -10 or v?
v
Let d be (-57)/(-76) - 4665/6252. Which is smaller: -1 or d?
-1
Let i = 0.832 + -0.652. Which is bigger: i or 1/6?
i
Let p = -338 + -677. Which is smaller: -1014 or p?
p
Let r be (-1215)/25 - (-6)/10. Let j be 8/r + (-48541)/138. Let v = j - -352. Which is greater: v or 1?
1
Let n be ((-70)/(-42))/((-25)/(-510)). Is 380/11 >= n?
True
Suppose 0 = -b + 5*b + 2*b. Let s(d) = -2*d**3 - 2*d - 26. Let o be s(b). Is -27 >= o?
False
Let j be 67/5 - 3 - (1 + 4). Is 0 less than j?
True
Suppose -5 = i + 7. Let g = -18 - i. Let t be 4 + 3/2*-6. Which is greater: g or t?
t
Let i = 11.855 - -0.045. Let d = 12 - i. Let p = 1.05 - 1. Is p <= d?
True
Let p be -6 + 4 - (1 + 1 + -22). Suppose 138*a - 139*a = -p. Let b(d) = -d + 17. Let h be b(0). Which is greater: h or a?
a
Let n = -5261 - -5262. Let q = 1876 + -69418/37. Which is smaller: q or n?
q
Let f be 284/(-3)*(-43)/(-86). Is -48 smaller than f?
True
Let b(j) = -j**3 + 6*j**2 - j + 8. Let n be b(6). Suppose -6*l - n*l + 8 = 0. Is l > 8?
False
Suppose 4*k = -3*p + 7*p, -5*k = -2*p. Which is smaller: k or 4/125?
k
Let m be (-1)/(-6) + (-8349)/414. Let y be ((-10)/3)/(2/12). Let s = y - m. Is s at most 4/7?
True
Let p(n) = n**3 - 9*n**2 + 4*n + 4. Let o be p(8). Let h(z) = -30*z**3 + z**2 + z - 1. Let s be h(1). Is s < o?
True
Let k be (1 - -1)/(-6) + 7448/21318. Which is bigger: 2/9 or k?
2/9
Suppose -172*y + 85 = -189*y. Are -3/34 and y nonequal?
True
Let m = 6/49 - -87/490. Let s(h) = 2*h**2 - 15*h - 5. Let p(y) = 3*y**2 - 22*y - 8. Let b(l) = 5*p(l) - 7*s(l). Let n be b(6). Which is smaller: n or m?
m
Let b = 2283 - 420. Suppose -4*z = -7*z + b. Let x be 192/z - (-2)/(-9). Do -1 and x have the same value?
False
Let s be (-3 + 2)*3 + 14/1. Which is bigger: 3 or s?
s
Let v(x) = 75*x - 1. Let p be v(-1). Let q be (1/5)/(p/(-196)). Let u = -6/19 + q. Is 0 <= u?
True
Suppose -3*b + 5*x + 584 = 0, 10*b - 5*b - 5*x = 960. Are 188 and b nonequal?
False
Let l be ((-3)/4)/(1/20). Let y be (0 - 4) + l/(-4). Is -5 greater than y?
False
Let u = -0.3 - 0.3. Let p = u - -1.8. Let g = p - 1.1. Do g and -5 have the same value?
False
Let o be 27/81 + (-64)/3. Which is greater: -127/6 or o?
o
Let w(r) = r**2 - 43*r - 393. Let m be w(51). Is m < 10?
False
Let b(n) be the third derivative of -1/24*n**4 + 0*n - 2*n**3 - 4*n**2 + 0. Let w be b(-9). Is -3 greater than w?
False
Suppose -6*a + 352 - 110 = 5*a. Let v = 41 - 20. Which is smaller: a or v?
v
Let u = 185.72 + -185.7. Is u >= 0.01?
True
Let n = -36 + 35. Which is smaller: n or -14?
-14
Let l = 3368 + -2256559/670. Which is greater: l or 0?
l
Let x = 2544 + -7501/3. Is x smaller than 43?
False
Let d be ((-10)/60 + 2/(-6))*0. Is 56/51 bigger than d?
True
Let i(n) = -7*n - 36. Let u be i(-5). Suppose 2*z - 4*s + 18 = 0, 2*z - z + s - 3 = 0. Let f be ((-10)/6 + 2)/z. Which is smaller: f or u?
u
Let p be (-18)/(-36) + 561/(-1113). Which is bigger: p or -1?
p
Let u = -1818195/932 - -7803/4. Is 1 at most u?
False
Let n = 24.88 + -25.08. Which is greater: n or 86?
86
Let g = -2 - 1. Let w = g - -4. Let l = -98/5 - -696/35. Which is smaller: w or l?
l
Let l be 180/(-25) + (4 - 6). Let p = l + 9. Let u = 1 - 6. Is p less than or equal to u?
False
Let b = -1.63 + 2.13. Is -6/19 at most as big as b?
True
Suppose 3*b + 9 + 0 = 0. Let j be (-20)/(-11) - b/((-3)/2). Suppose -2*d - 3 = -4*x + 1, 0 = -2*x - 3*d - 14. Are x and j nonequal?
True
Let p be (-18)/(-54) - 3/9. Let c be 5/10 + 1/(-2). Let x = c - -1. Is p greater than or equal to x?
False
Suppose -5*k = -5*q + 505, 4*q = -3*k + 184 + 185. Which is smaller: q or 95?
95
Suppose -2*m - 4*a = -0*a + 4, 2*m - a = -4. Let c = m + 3. Let t = -92 + 92. Which is smaller: c or t?
t
Suppose 29*z = 134 + 40. Does z = 12?
False
Suppose -4*t + 5*n = -0*t - 16, 2*n = 0. Let h be -1*(-10)/(-1 - t). Is -3 > h?
False
Let h(m) = 5*m - 18. Let r be h(4). Suppose -22 = -r*i - 0*i. Is i <= 12?
True
Let d = -0.594 + -1.28. Let a = d - 0.126. Which is greater: a or -62?
a
Let r be 15/13 + 189/39 + -5. Suppose -2*k + z = -2*z - r, 6 = 2*k - 2*z. Which is greater: k or 2?
k
Let o be 1 + 2/20*-11. Let y be (13/(-26))/((-2)/4)*17. Let w = y - 17. Which is greater: o or w?
w
Let m be (-2)/(-8) + (-169)/4. Which is smaller: -39 or m?
m
Let y(h) be the third derivative of h**4/8 + 23*h**3/6 + 5*h**2. Let v be y(-6). Let i = 2 + -3. Is i equal to v?
False
Let g = 114 + -70. Is 44 <= g?
True
Let p = 2090 - 2065. Is 8 less than p?
True
Let j = 32.17 + -32. 