, w = -5*l - 547. Let h(p) = -11*p - 165. Let v be h(-5). Is v less than l?
False
Suppose -187*w + 181*w - 36 = 0. Suppose -7 + 25 = h. Let u be (-1 + 0)/(w/h). Is 13/5 != u?
True
Let u = -1237 + 1301. Is 57 at most u?
True
Let f be (168/273)/((-42)/4). Which is greater: f or 1?
1
Suppose 2*f = -2*f, -3*d + 489 = -5*f - 711. Which is bigger: 403 or d?
403
Let q be (((-120)/315)/((-5)/35))/((-1)/48). Does -129 = q?
False
Suppose 24 + 7 = 35*o - 4*o. Is 37/478 bigger than o?
False
Suppose 2*x = 4*x - 3*g - 11, -5*g - 19 = -4*x. Suppose j - 5*r = -j + 65, 2*j - r = 45. Which is greater: x or j?
j
Let s(m) = -3*m - 4. Let j be s(-3). Let n(r) = r**3 + 28*r**2 - 37*r - 1030. Let k be n(-28). Which is greater: k or j?
k
Let d be (-22 + -6 + 9)/(-1). Suppose 5*r + 109 = 2*l, -d*l + 3*r = -14*l - 244. Is l at least as big as 52?
False
Let g(u) = 9*u - 44*u**3 - 3*u**2 - 3 - 5*u + 0*u**2 + 45*u**3. Let x be g(2). Let l be 0 + ((-6)/(-21) - 0). Are l and x equal?
False
Let a = 53 + -49. Suppose -5*f = 5*v + 140, -37 - 1 = 2*f - a*v. Let o = -26 - f. Which is smaller: o or -5/8?
o
Let s = -3680 - -713919/194. Which is greater: s or 5?
5
Let o = 176 + -171. Let v = o - 7. Let m be 1/4 + 35/(-12). Which is smaller: m or v?
m
Let q = 11219 + -11211. Let n be 6/4*22/5. Which is smaller: n or q?
n
Let c = 0.6277 - 1.0077. Is -12 at most as big as c?
True
Let j be ((-2)/(-1))/((-16)/120). Let i be 9/j - (-12)/15. Let o be 21/(-34) + 10/85. Which is smaller: o or i?
o
Let c(t) = -19*t**3 - 5*t**2 + 10*t - 8. Let g be c(3). Let d = -484 - g. Which is greater: 53 or d?
53
Let t = 4544 - 5048. Are t and -502 equal?
False
Let w = 437 + -465. Let r be 15/(-6)*(-159)/(-15). Is w greater than r?
False
Let l(v) = -v**3 + 6*v**2 - 6*v + 5. Let h be l(5). Suppose -x + 21 = s, h = -s + 4*s + 5*x - 65. Let u = -1.75 + 1.95. Is u at least s?
False
Suppose 14*j + 9875 = 42327. Is j >= 2318?
True
Let x be (-152)/576*-12 - (0 + 3). Is x not equal to 98/23?
True
Let b = -184 - -210. Let x = 178 + b. Is 204 at most x?
True
Let t = 174 + -157. Suppose 4*i - t = 3. Which is greater: i or 39/7?
39/7
Let y be ((-17406378)/(-171))/22 + (-4)/(-38). Is 4627 less than y?
False
Suppose 2*m + 4 = -0, -5*l - 2*m + 16 = 0. Let k be 8/(-2)*(-3 - (-4)/l). Suppose -o = o - k. Is o less than 1?
False
Let b(t) = -896*t + 2918. Let h be b(16). Which is bigger: -11419 or h?
h
Let y = -3.7907 - -3.7907. Which is smaller: y or 5357?
y
Let f = 5 - -4. Let s = 26 + -24. Let z be 30/(36/6) + (s - -1). Which is smaller: f or z?
z
Let k(r) = r**3 - 9*r**2 + 9*r + 63. Let d be k(10). Suppose -3*a + d = -2*w, a + 430 = 6*a - 5*w. Is 81 not equal to a?
False
Let y(t) = t**2 - 11*t - 48. Let f be y(14). Which is smaller: f or -16/3?
f
Let c = -653 - -657. Suppose 0 = -o - 7*s + c*s - 261, 531 = -2*o + 3*s. Is o greater than or equal to -264?
True
Let d(f) be the first derivative of f**4/4 - 19*f**3/3 - f**2/2 + 18*f - 144. Let s be d(19). Let p be 0 - (6/(-119))/(-3). Is s greater than p?
False
Let z = -21558 - -21400. Is z less than or equal to -1109/7?
False
Let l(n) = 400*n - 1913. Let d be l(8). Is d <= 2/3?
False
Suppose 0 = 4*r + 3*g - 12, 24*g = 5*r + 28*g - 16. Which is smaller: r or 1/4793?
r
Let b(u) = 5*u + 2. Let s be b(-1). Let i be (-1 - 2/(-6))/((-1)/(-9)). Let r be s/(-72)*4*i. Which is smaller: r or -6?
-6
Let g = -0.39 + 0.183. Let q = -0.207 - g. Is q not equal to 1/2?
True
Let u be -141 + (4 - 6)*-3. Let v = -130 - u. Is v at least as big as 27/5?
False
Let v = 25 + -20. Suppose 5*a - 1 = -v*m + 34, -4 = -2*m. Suppose -3*t - x = -2*x, 3*x - 4 = a*t. Which is smaller: t or -2/121?
-2/121
Let p be ((-1)/(-2)*-4)/(-3 + (-9)/(-2)). Are -0.0577 and p unequal?
True
Let f(m) = -m**2 + 10*m - 29. Suppose 0 = -13*l + 3*l + 100. Let z be f(l). Let p = z + 375/13. Does p = 0?
False
Let u(t) = -11*t + 1144. Let s be u(104). Is -48/293 less than s?
True
Suppose 15*v + 432 + 1908 = 0. Is v bigger than -161?
True
Let k = -199 + -41. Let b be (-465)/k - (0 + 1). Which is smaller: b or 1?
b
Let s = -38 + 41. Suppose -3*f - 3 = 0, -2*a + 28 = 3*f + s. Is 14 > a?
False
Let b be -2 + 7 - 19532/(-66). Let x = b - 301. Is -3 < x?
True
Let j = -1430 + 1465. Is -6 bigger than j?
False
Let x be 46/6 + -4*4/(-48). Suppose -2*f + x*f - 30 = 0. Let i be (-43)/f + -4 + (-115)/(-25). Which is bigger: i or -11?
i
Let c = -82 - -576/7. Let g = 643 + -238. Which is smaller: c or g?
c
Let r = -342 + 341. Let z = 708 + -503. Which is smaller: z or r?
r
Let q be (-5)/30 + (-6)/(36/(-49)). Suppose q*i - 4*i - 4 = 0. Which is greater: i or 38?
38
Let k = 28.14 + -0.14. Let x = -23.9 + k. Let p = -6.1 + x. Which is bigger: 0.2 or p?
0.2
Let i = 98 - 141. Suppose -48 = 100*s - 102*s. Let t = s - i. Does 67 = t?
True
Suppose 187*b = -96*b. Which is bigger: b or 8/59?
8/59
Let h = 4 - 8. Let i = 1583.9 + -1465. Let x = i + -119. Which is smaller: h or x?
h
Let y = 33393 - 48393. Which is smaller: -14999 or y?
y
Let s be (-110)/2 - 7/(-7). Let p = s - -95. Suppose 5*y = p + 84. Are 25 and y unequal?
False
Let h(r) be the second derivative of -r**3/6 + 6*r**2 - 2*r. Let y be h(4). Let z = y - 8. Is z greater than -6/7?
True
Let w be 7 + -1 + 2 + (-27412)/890. Let y = 24 + -47. Which is smaller: w or y?
y
Let n(k) = -16*k + 96. Let l be n(8). Let c(a) = a**3 + 27*a**2 - 26*a + 26. Let r be c(-28). Are l and r equal?
False
Suppose -3*h = -5*h + 250. Suppose 0 = -n - 2, -6*j + 5*n = -j + h. Let u be j/(-3) - (-1 + 4). Is u equal to 6?
True
Suppose 0 = -27*l - 16868 + 5636. Are l and -414 nonequal?
True
Let a = 15.8 - 63. Let o = a + 6.2. Let b = -42.7 - o. Are b and 0.1 unequal?
True
Let j = 1.2683 + -3.2683. Which is smaller: j or 0.1229?
j
Let h = -336 - -333. Let l be (0 + -4)*14 - h. Is -54 <= l?
True
Let b = -118.4498 + -0.2502. Let n = b + 119. Which is smaller: n or -0.03?
-0.03
Let p be ((-14)/(-21))/((-2)/(-6)). Suppose 7*x - 9*x - p*m = 28, 0 = 2*x + m + 30. Which is greater: x or 2?
2
Let z be 0*(4 - (28/2 + -9)). Is 159/161 not equal to z?
True
Let y be (106/6)/((-3)/(-9)). Let o be (-5*4/(-30))/((-14)/(-7266)). Let g = o - 293. Is g <= y?
True
Suppose 47 - 374 = -80*z + 953. Suppose 5*u + 14 + 96 = 0. Let f = 39 + u. Which is smaller: f or z?
z
Let b = -39.112 + 0.112. Let p = -38.7 - b. Which is greater: 0.1 or p?
p
Let n be 954/5047137*6/(-5). Is n bigger than -1?
True
Let z = 2 - -4. Let w be 25220/2310 - (-18)/(-21). Let v = w + -30/11. Which is smaller: z or v?
z
Suppose -5*q + 14 = 4*z, 5*z + q + 2719 = 2726. Do z and 1/11012 have different values?
True
Suppose 44 = -2*y + 4*y. Let t(g) = 14*g - 102. Let f be t(9). Which is smaller: f or y?
y
Let f = 223 - 232. Let d = f - -8.8. Is -5/4 equal to d?
False
Suppose 0 = -5*q + 135 + 435. Let a = 153 - 40. Is q > a?
True
Let q = 395 - 579. Let v = 187 + q. Which is greater: 11 or v?
11
Let b = -1178/3 - -9577/24. Let v = b - 19/3. Let a be (-20)/(-9) - (-1 + 3). Is a bigger than v?
True
Suppose q + k = -4*k + 21, 3*q - 8 = -4*k. Let p be (-4 - -3) + 6 + q. Do p and -157 have different values?
True
Let j = 1378 - 1380. Does j = -0.35?
False
Let k = -1266.85 - -1267. Let u = 0.335 + -0.065. Let d = u - k. Which is smaller: d or -2/3?
-2/3
Let o(b) = -2*b - 16. Let j be o(-12). Let h = j + 2. Suppose 0 = 3*s + 2*s - 55. Which is greater: s or h?
s
Let y = 129.8 - 130.437. Let x = y - -0.037. Let t be ((-6)/27)/((-8)/(-12)). Which is bigger: x or t?
t
Let y be (-4)/(-3)*(-36)/(-114)*(-66)/1272. Is -1 smaller than y?
True
Let b be 35/(-210) + -58*(251/(-12) - -2). Is 1091 at least as big as b?
False
Let n = -487 + 489.067. Let c = n - 0.167. Do -4 and c have the same value?
False
Let w be ((-51)/(-476))/(2/7) - 717/1784. Is 4 less than or equal to w?
False
Let w(u) be the second derivative of -13*u**3/6 - 13*u**2/2 - 3*u. Suppose -x + 6*x = -10. Let v be w(x). Is v >= 14?
False
Let w = 29.906 + -0.006. Let r = w + -172.9. Let f = r + 241. Which is smaller: 2/7 or f?
2/7
Let s be ((-24)/(-9))/((-14)/(-63)). Let b be (s/8 - 2)*-80. Let q be (-16)/(-12) + b/(-3). Is q bigger than -12?
False
Let t = 0.04 - 0.24. Let w(b) = -5*b**2 - 3*b + 69. Let a be w(4). Is t equal to a?
False
Let a = 113 + -112.351. Let b = a + -0.149. Does b = 28?
False
Let o be 1/(7/(-20) - (-48)/80). 