71 + 393. Let h = 345 - w. Which is greater: h or 36/23?
36/23
Let k be 4 - (1/1 + -1). Let p(o) = 2*o**2 - 10*o + 2. Let m be p(0). Suppose 0 = k*h + 16, 2*a + m*h + 4 = -3*h. Which is bigger: 2 or a?
a
Let l(n) = -n + 3. Let t(v) = -2*v + 7. Let b(w) = 5*l(w) - 3*t(w). Let j be b(14). Suppose 0 = -j*p + 6*p. Which is greater: 5 or p?
5
Let w be (-10794)/(-49302) + 4/(-18). Let u = 62063/6391 - w. Is 11 at least as big as u?
True
Let v be (1*3)/(3/(-81)). Suppose 0 = w - 4*l + 59, -w + 3*w + 118 = l. Let y = w - v. Is 23 <= y?
False
Let f be 2/(-6) - 94/(-246). Let v = -42326 - -42325. Which is smaller: f or v?
v
Let y be (197/100 + -2)*2. Suppose g = -6 + 8. Suppose 2*h - 2 = 4*n, -4*h - 4 = -2*h + g*n. Which is smaller: y or h?
h
Let b = -361 + 363.31. Let i = 3067.31 - 3067. Let x = b - i. Is x equal to 3/7?
False
Let j = 411 - 2081/5. Suppose 3*h = -3*b + 21, 0 = 3*h + 2*b + 2 - 20. Suppose -h*x = -x + 12. Is x < j?
False
Let u be 177/180 + (-36)/(-48). Is u != 0.2?
True
Let k(x) = -2*x - 51. Suppose 5*h - 12*h = -462. Let u = -95 + h. Let r be k(u). Is 7 at least as big as r?
True
Let n be -8 + (13 - 5 - 4) - -4. Which is greater: n or 2/3115?
2/3115
Let b(m) = m + 2. Suppose 1 + 0 = y. Let z be b(y). Suppose -4 + 4 = -3*c. Which is smaller: z or c?
c
Let l = 40.45 + -44. Let p = 0.55 + l. Is p < -0.1?
True
Let y be (-1386)/27*114/(-4). Which is smaller: y or -5?
-5
Let r = -0.03 - -15.03. Let z(t) = 2*t**3 - 42*t**2 - 61*t + 370. Let d be z(22). Which is bigger: r or d?
r
Suppose 0 = g - d + 287, 4*g + 4*d + 1133 = 5*d. Let w = g - -281. Which is smaller: -116 or w?
-116
Let n = 1.85 - -124.15. Let f = n - 125. Are f and -86 equal?
False
Let t be (-3*5/(-6))/((-40)/40000*16). Which is smaller: 20 or t?
t
Let o be (-1)/4 + (-1)/(-4). Let a be o/(2/(-4)*2). Let q be ((-16)/130)/(12 - 488/40). Which is smaller: a or q?
a
Let l = 0.05546 - 58.05546. Is -2/151 smaller than l?
False
Suppose 64*q + 200 - 983 = -23*q. Which is bigger: q or -39?
q
Let m(s) = -s**3 + s**2 + 4. Let h be m(2). Let z be (2 - h)*(-8 + -2). Let j = z + 10. Are j and -8 equal?
False
Let g(n) be the second derivative of 11/12*n**4 + 2*n**2 + 16*n + 1/20*n**5 + 5/3*n**3 + 0. Let w be g(-10). Which is smaller: 2 or w?
2
Let f = -30684.12 - -30684. Let d = 1.4 + -2. Is f < d?
False
Let t = 21611/49 + -441. Which is smaller: 1/24 or t?
t
Let c(u) = -u - 6. Let o be c(-6). Suppose -14*s + 640 = 6*s. Suppose 5*n = 9*n - s. Is n greater than o?
True
Let w be (1*3)/(-2 - 2). Let c = -307 - -304. Let y(p) = -3*p**2 - 8*p + 3. Let r be y(c). Is r > w?
True
Let x(d) = d**2 - 18*d + 18. Suppose -4*i + 68 = -5*l, 5*i + 3*l - 22 = 63. Let u be x(i). Which is smaller: -1/10 or u?
-1/10
Let w(u) = 16*u + 8. Let l be w(3). Let v = l + -34. Let c = v + 13. Which is smaller: c or 34?
34
Let s = 36831 + -479047/13. Is s >= -18?
False
Let w = 3551854/6879 + -1549/3. Which is smaller: w or -1?
-1
Suppose i = 2*n - 145 - 18, 248 = 3*n + 2*i. Suppose 20*q - 138 = 14*q. Suppose 7*r + q = 597. Are r and n equal?
True
Suppose 0 = -10*p + 23 + 937. Suppose -15*s = -39*s + p. Is s greater than or equal to 2?
True
Let r = -69 - -73. Suppose 2*p = -r*z + 2, 0*z + 5*z = -5. Let q be ((-2)/p)/((-16)/(-12)). Which is smaller: q or 1?
q
Let n(y) = -7*y**3 - 5*y**2 + 2*y. Let t be n(3). Let k be (33 - 38) + 442/(-2) + (-4 - -3). Which is smaller: k or t?
t
Suppose 3*o = -4 - 11. Let y be ((-180)/275)/((-2)/o). Let i = 2320 + -2323. Is i bigger than y?
False
Let u be (10/4 - (4 + -2))*2. Let s be (-8)/(-4) + u*3. Suppose 0 = 5*w - 4*k + 120, -56 = 3*w - s*k + 3. Is -28 < w?
False
Let n = 5023 + -1646. Which is smaller: n or 3376?
3376
Let i be 2660/(-130) - (-84)/182. Are i and -778/37 non-equal?
True
Let c be (-2)/(50/(-7) + 98/14). Let j be 20 + (2 + -3)/(-1). Let w be (j/(-42))/((-1)/c). Is w > 14?
False
Let x be (-2)/(-11) - (4 - 2 - (-8136)/99). Which is smaller: x or -70?
x
Let d be ((-4)/7)/(4/(-14)). Suppose -4*x = -3*s - d, -9 + 45 = -4*s - 3*x. Let v(m) = 2*m + 2. Let a be v(s). Is a at least as big as -8?
False
Let z be ((-567)/(-28) - 19)/(2/16*-2). Which is bigger: -114/25 or z?
-114/25
Let s = 29133 - 29131. Let o = -39 - -7. Which is greater: o or s?
s
Suppose 5*j + 0 - 5 = 0. Let a be (-2)/j - (-4 + 1). Let w = -6/41429 + 165890/1201441. Which is smaller: w or a?
w
Let q = -88306061/504030 - -1/100806. Which is bigger: -175 or q?
-175
Let b be 322 + (40/10 - -2) + -7. Which is greater: 288 or b?
b
Let d = -21 - -26. Suppose d*m + 24 = -1. Let b be 1/(-3) - (m - -4). Is 0.09 bigger than b?
False
Suppose -39513 = -4*q - 5*b, 0 = 5*b - 139 + 154. Is 9883 less than or equal to q?
False
Suppose -q - q = 4*o - 34, 5*o + 40 = 5*q. Let g = 249170 + -1744114/7. Is q at most g?
False
Let r be (-106)/4*(-201 - -23). Let c = -99080/21 + r. Is c at most 0?
True
Let d = -1237 - -1977. Which is smaller: 1 or d?
1
Suppose 2*w = 4*v - 20, 2*w = -150*v + 152*v - 10. Let o = -1313/696 - -15/8. Which is smaller: o or w?
o
Let l be (5898/(-978) + 6)/(((-35)/(-2))/(-7)). Are 2 and l equal?
False
Let v be (2/(-12)*-2)/((-23)/(-1311)). Suppose 2*f + 11 = v. Let n = -27 + 23. Is n less than or equal to f?
True
Suppose 3 = -3*w - 2*c, 7*w - 22 = c + 4*c. Which is greater: w or 30/637?
w
Let k(x) = -4*x**3 - 2*x + 3. Let w be k(1). Let h be -2 + w + 82 + -12 + -1. Is 196/3 > h?
True
Let p = -4238 - -42247/10. Which is smaller: -13 or p?
p
Let d be ((-1)/2)/(2/32). Let j be -6 + 18/(-24)*(-24)/(-9). Is d greater than or equal to j?
True
Let r(y) = y**3 - 23*y**2 - 11*y + 18. Let g be r(6). Is 0 at least as big as g?
True
Let w be 1 - (14 + (416 - -14)). Is w less than -445?
False
Suppose 5*v = -4*y - 6 + 14, -2*v - 2*y = -2. Is v <= 321/59?
True
Let u(v) = v**3 - 2*v**2 + 2*v + 2. Let p be u(0). Suppose p = -6*x + 7*x. Suppose 29 = o - x*f - 30, 2*o - 118 = 5*f. Is o greater than 59?
False
Let x be 3*27/(-90) + 2*(-2)/40. Suppose j + 4*j - 30 = 5*b, -5*b = 4*j + 12. Suppose -j*n = n + 3. Is x greater than or equal to n?
True
Let k be ((-3)/8)/((-49)/142910922). Let u = -1093820 + k. Let f = 449/4 + u. Is -2 >= f?
False
Suppose -y - p = -4, -4*p + 16 = -12*y + 7*y. Suppose -5*s - 5*z + 460 = y, 4*z = 5*s - z - 450. Which is greater: s or 90?
s
Let n be ((-462)/38)/((-128)/(-2560)). Is n equal to -243?
False
Let x = 7241194/63 - 114937. Is x greater than 2?
True
Let y = -620.3 - -653. Let x = y - 32.9. Is x <= -43?
False
Suppose z + 44 - 119 = 0. Let v(u) = 5*u**3 + 94*u**2 + 141*u - 129. Let j be v(-17). Is z < j?
False
Let z(s) = s**3 - 4*s**2 - 2*s + 5. Let o be z(4). Let p = -16805.81 + 16806. Do o and p have different values?
True
Let i = -78 - -41. Let u be ((-16)/32)/((-2)/(-292)). Let y = 35 + u. Is i != y?
True
Suppose 0*x - 4*x + 3*g - 19 = 0, 0 = x - 5*g + 26. Let k = 117.062 + -117. Does k = x?
False
Let v = 0.859 + 1.141. Which is smaller: v or 122?
v
Let u be (-5)/((-180)/28) + (1035/(-81) - -13). Is 5/1401 at least u?
False
Let x(n) = n**3 + 13*n**2 - 2*n - 26. Let y be x(-13). Suppose 5*p + g + 1561 = y, -p + 5*g - 646 = p. Is p smaller than -313?
False
Let i = -1746 - -1744. Is -744 at least i?
False
Let v be -6*1/(-3)*9/(-18). Let r be (-2 + v + 6)/((-12)/56). Which is greater: -17 or r?
r
Let d(j) = 2*j - 24. Let b(m) be the first derivative of 3*m**2/2 - 36*m - 21. Let q(a) = -5*b(a) + 8*d(a). Let c be q(-10). Is -22 < c?
False
Let g be ((-217396)/1173)/((24/(-9))/4). Suppose 0*r - 2*r + 1382 = 5*a, -5*a = r - 1381. Is g at most as big as a?
False
Let o = 2458.1 + -2458. Let v = 163 - -55. Is o greater than or equal to v?
False
Let b be 64236/424*(-3 + 0)*(-2)/42. Which is bigger: b or 23?
23
Let c be ((-16)/40)/((-72)/120). Is c at least as big as -110.94?
True
Let t = -20 - -22. Let n(b) = -10 + 9 + b**2 + 4*b - 3 + t*b**2. Let l be n(-5). Which is greater: 50 or l?
l
Let y be (6/(-4))/((-4)/(-8)). Let b(t) = t**3 + 4*t**2 + 4*t + 6. Let x be b(y). Let z(m) = -15*m + 9. Let v be z(x). Which is smaller: -37 or v?
-37
Let a = -1096.6 + 1096.9. Are a and -39 nonequal?
True
Let r(s) = s**3 + 13*s**2 - s + 37. Let j be 456/(-36) - (3/9 + -1). Let k be r(j). Which is smaller: k or 192?
192
Suppose -17*b - 153379 = -39717. Is -1 greater than or equal to b?
True
Let k be 1 + 0 - 119/68. Suppose -x + y