-16866))/(-1 + 2). Is r > 0?
True
Let x(u) = u**3 + 15*u**2 + u. Let v(r) = 7*r + 12. Let q be v(10). Let w = q + -97. Let s be x(w). Which is smaller: -13 or s?
s
Let a(r) = -4*r**2 - 11*r - 41. Let u be a(-12). Let d = 483 + u. Is d smaller than -15/7?
False
Let v(q) = -7*q - 3. Let s(m) = -13*m - 6. Let l(f) = -3*s(f) + 7*v(f). Let u be l(1). Are -63/5 and u equal?
False
Let j = -6/77 - -67/154. Let y = j - 4/21. Let t = 0.2 - 0.13. Is t > y?
False
Let d = 3883 + -3909. Are -27 and d non-equal?
True
Suppose g = 3*n + 43 + 10, 3*n = 2*g - 55. Let t be (-2)/(-8) - n/(-4). Let p = 8522 + -8527. Is p > t?
False
Let p = 17 + 8. Suppose -9*c - 40 = -10*c. Let o be (-6)/(-15) - ((-1184)/c - -5). Is o greater than or equal to p?
True
Let a = 310 + 625. Let j = -936 + a. Is -17/11 smaller than j?
True
Let y = 1.884 + -1.984. Is 1154 equal to y?
False
Suppose -25*o = -20*o - 3*u + 7377, 5*o = 4*u - 7371. Is -2/3 at least o?
True
Let v be 28/(-7) + 0 + (-1 - (-3 - 3)). Which is smaller: v or 5/1497?
5/1497
Let p = -4620 + 6153. Which is smaller: 1537 or p?
p
Let t = 6655 + -6654. Is t bigger than -16.5?
True
Let k = -207 - -209. Suppose -5*l - k*j + 5*j = -9, -5*j = 15. Is l bigger than -16/11?
True
Let j = -29 - -28.981. Let r = j + 0.038. Let m = r - 0.419. Is m at least as big as 1?
False
Let l(b) = -15*b + 15. Let h be l(1). Suppose 5*s + 130 + 148 = -q, q + 4*s + 279 = h. Which is greater: -284 or q?
q
Let f(s) = -3*s + 34. Let o be f(13). Let p(r) = 2*r - 6. Let n be p(o). Let i = -17 - n. Is -9/5 < i?
True
Let f = 43.0671 + 0.0329. Let b = 497 - 541. Let a = b + f. Is a <= 2?
True
Let s = -77 - -75.98. Let a = s + 0.24. Let b = a - -0.78. Is -3 > b?
False
Let b be (-2)/7 + 384/1638. Let g be 0*(6/(-28) + (-16)/56). Let d be ((-16)/24)/(4/(-6))*g. Which is greater: d or b?
d
Let z = 1084 + -2144. Which is bigger: z or -3?
-3
Let g = -0.98727 - 81.91373. Let s = g - -83. Is 0.5 greater than or equal to s?
True
Let q be 135/30*(-32)/72. Are q and -5569 nonequal?
True
Let j = -44 - -48. Suppose -w - 2*g = w + j, g = -2*w - 4. Is w bigger than -28/9?
True
Let n = 396.4 - 381. Let r = -3 + 18. Let p = r - n. Is -0.5 bigger than p?
False
Let c(v) = -v**3 - 5*v**2 - v + 11. Let k be c(0). Let t be 5*k/(55/(-96))*1. Is t greater than or equal to -96?
True
Let m(u) = -2*u**3 + 24*u**2 - 62*u - 21. Let a be m(7). Let d = -1/433 + 59325/1732. Which is smaller: a or d?
d
Let b(w) = 3*w + 24. Let d be b(-7). Suppose -2*m = -2*g + 8, -3*g + 9 + d = -m. Suppose -24 = g*k - 4. Is k equal to -7?
False
Let k = 0.3 - 0.2. Let u = -39963 - -39961.3. Is k at least u?
True
Let f(l) = l - 5*l - 10*l + 5 - 1. Let m be f(-4). Which is bigger: 62 or m?
62
Suppose 2*u = -3*u + 3*c - 1, 9 = 3*u + 3*c. Let n = 86/59 - 32884/22479. Is n < u?
True
Let g be (-35)/(-14)*70/(-21). Which is smaller: g or -47?
-47
Let z(l) be the third derivative of l**6/120 - 7*l**5/60 + l**4/6 - 29*l**3/6 - 21*l**2 + 1. Let o be z(7). Which is smaller: 2/1571 or o?
o
Let i = 4.7 + -5. Let r = i + 1.3. Let d(q) = 63*q - 86. Let v be d(1). Which is bigger: v or r?
r
Let a = -239 + 325. Let n = 78 - a. Which is smaller: 1/4 or n?
n
Suppose -3*c - c = 4*x - 28, 3 = 4*x - c. Suppose 0 = -x*h - 18 + 8. Let r = -4/623 - 15559/2492. Which is smaller: h or r?
r
Let f = -2/985 + 38431/7880. Let b = 2685 - 2681. Which is bigger: f or b?
f
Suppose 4*q - 26 = 2*y, 0*q = -3*q - y + 22. Let j be 36/(-14) + 1 - -2. Let b = 97/14 - j. Are q and b nonequal?
True
Suppose 136*o = -16*o - 101*o + 1001627. Is 3961 at most o?
False
Let h be (-108)/(-12)*(-20)/(-30). Suppose -2*b - 5*p = -0*p - 150, 142 = 2*b + p. Let i be 20/b*h/(-4). Which is smaller: i or -1?
-1
Let w be (-54)/(-15)*(-5)/(-3). Suppose w*b - 3*b = 2*b. Is -10/27 != b?
True
Let p = -26 + 26.118. Let n = p + -48.118. Let r = n + 57. Which is smaller: r or -2?
-2
Let w be 3/((-99)/22) - 136/18. Suppose -21*u - 9*u - 210 = 0. Which is smaller: u or w?
w
Suppose 29*j - 32*j = u + 7, -4*u = -3*j + 13. Let k(i) = -i**3 - 5*i**2 + 22*i + 105. Let o be k(u). Which is bigger: 2/427 or o?
o
Let d(z) = -z**2 + 3*z + 12. Let i be d(5). Suppose i*a + 2*f - 90 = 0, 2*a + 2*f - 87 = f. Let y be (-21)/a*1/(-12). Is -1 smaller than y?
True
Let c be (85/21 - 175/245) + -4. Is c at most as big as 225/16?
True
Let p = 34.59 - 34.56. Which is smaller: p or 25/2?
p
Let u = 182108 - 2262327683/12423. Which is smaller: u or -1?
-1
Suppose -2*h - 5*g - 9 = 10, 0 = -g - 5. Suppose 0 = -5*c + 5*w - 45, c + h*w + 11 = 5*w. Let n be 4 + (2/c - 4). Is n at least 0?
False
Let q = -4874 - -4863.5. Let s = 23.6 + -13.9. Let n = q + s. Do n and 3 have the same value?
False
Let m(i) = i**3 - i - 39. Let a be m(0). Suppose 18 = 2*z - 8*z. Let s be (-4 - 88/(-3))*z/2. Which is smaller: s or a?
a
Let g(p) = 33*p**3 - 5*p**2 - 118*p - 226. Let z be g(-2). Which is smaller: z or -270?
z
Let d = 3331/120509 + -2/3257. Suppose 3*q + 6 = 3*g, -32*q + 2*g - 7 = -33*q. Are q and d unequal?
True
Let l be (-20)/(-930)*81/18*(-520)/78. Let k = 3 + -5. Is l < k?
False
Let n(i) = -43*i**3 + i - 1. Let y be n(1). Let d = 11 + y. Let k = -32 - d. Is k < 8/17?
True
Let m be (-8)/36 - 12/((-216)/490). Suppose 9 = -g + 4*d, g + 1 = -3*d + m. Which is smaller: 9 or g?
9
Suppose 2*d + 4*h - 4 = 4*d, 4*d + 3*h - 47 = 0. Let p(s) = 3*s**3 - 27*s**2 - 2*s - 20. Let n be p(d). Is n at most as big as -228?
True
Let h be 1/(-3) + 11/6. Let o = -72 + 124. Let v = o - 53. Which is smaller: v or h?
v
Suppose -10*b - 10 = -11*b. Let j be (-2)/b - 368/(-115). Let a be (-2)/(-5)*j*30/54. Does 0 = a?
False
Let t = 2541 - 2540. Suppose 0 = -q + 5*a, q - 4*a - 2 = -a. Let k be 2/(-1) + 0 + q. Which is greater: k or t?
k
Let x be (-1)/(-2*2/132). Suppose -21*l + 22*l - 4*q - 43 = 0, -4*q - 124 = -4*l. Let r be (-8)/24 - (-900)/l. Is r != x?
False
Let s be (1*6)/(12/18). Let i = 10 - s. Let f be 10/70*-7*i/(-1). Which is smaller: f or -3/44?
-3/44
Suppose -3*j + 353 = -5*d, 6 + 2 = 4*d. Let k = 99 - j. Is k bigger than -25?
True
Let n(z) = -10*z**2 + 248*z - 192. Let h be n(24). Which is greater: -67/81 or h?
h
Let f be 2/10*(-175 + 170). Is -4/9625 equal to f?
False
Let n = -5 + 7. Let h(p) = 7*p + 51. Let q be h(-7). Suppose -q = n*x, 0*o + 2*o = -x + 13. Which is greater: o or 5?
o
Let y be -7*(2/7 + 40/56). Let u be ((-2)/(-2) - -2)*y/21. Is 14 >= u?
True
Suppose 2*p = p + j, -j + 5 = 0. Suppose 2*z = 4*z - 2*t - 58, 0 = -p*t + 25. Suppose -20*i + 19*i = z. Which is bigger: i or -33?
-33
Let n = 614 - 616.51. Let k = 2.61 + n. Let w = -2.7 - -2.4. Is w > k?
False
Let p(j) = -4*j**3 - j**2 - j - 4. Let h be p(3). Let o be 93/h + (-2)/8. Is -2/137 at least as big as o?
True
Let t = 60 - 50. Suppose 0 = -4*g + 4*i + 24, -5*g - 3*i - t = -0*g. Let m be (-10)/(-8) - 0/g. Which is bigger: m or 1?
m
Suppose -174 = -5*w - 3*l, 156 = -0*w + 5*w - 3*l. Let b = w + -85. Let d = b - -53. Does d = -3?
False
Let n = 2047.068 - 2048. Is 0 smaller than n?
False
Let r(b) = -113*b**2 + 125*b - 252. Let z be r(2). Is -2269/5 > z?
True
Let k = 6 - 90. Suppose -8*q + 18655 = -3*q. Let c be (q/k)/13 + 1/(-4). Which is bigger: -4 or c?
c
Suppose 0 = 2*a + 27*o - 24*o + 1087, a = -4*o - 546. Is -538 at most as big as a?
False
Let b = 332 - 841. Let m = -508.99 - b. Suppose 5*g - 12 = 3*k, -g = -4*k + g - 16. Is k at most m?
True
Let w be (-1239)/(-36) + 3/(-4). Let z = -34 + w. Let q = 9116 + -9103. Is z != q?
True
Let k = -25.4 - 298.9. Which is smaller: 2/3 or k?
k
Let h be -3*31*(-1 + 0). Suppose -2594*c - 5073 = -2651*c. Suppose 0 = -4*f + c - h. Which is greater: f or 2/175?
2/175
Let i be ((-2 - -2) + 7/(-2))*2. Let f be ((-12)/(-4) + -3)/2. Suppose f*q = 7*q + 35. Which is greater: i or q?
q
Suppose -15*i + 141 = -369. Suppose -3*s - 2*f - i = -53, -5*f + 10 = 0. Which is greater: s or 88/23?
s
Let r = -0.2088 + 8.2088. Let f = -24 - -23.8. Do f and r have the same value?
False
Let f(u) = u**2 + 4*u - 24. Let d(s) = 2*s**2 + 7*s - 47. Let l(p) = -2*d(p) + 5*f(p). Let y be l(-9). Which is smaller: 9/7 or y?
y
Let y = 158.67 + -160.43. Which is smaller: y or 0.19?
y
Let f = -1401162/257 + 5452. Let i be (-3 - -3)/(4*(-9 + (-114)/(-12))). Is f smaller than i?
False
Let w = 213363/20 - 10668. Suppose -q - 2*q = 0. Is w at most as big a