+ 11*h - g + 13, 4*g + 38 = -2*h. Which is smaller: -555/127 or h?
h
Let f(g) = 665*g - 252. Let w be f(1). Suppose -4*v - 3*o = -o - 1646, o - 1651 = -4*v. Which is smaller: v or w?
w
Let h(j) = 29*j + 1018. Let o be h(49). Is 2437 bigger than o?
False
Suppose -47 = -c - 0*i + 5*i, 2*c - 2*i = 102. Suppose -3*p + 17 = o, 4*o + 0*o + 4*p = c. Let m = 24.1 - 24. Is o < m?
False
Let u = -813 - -2441. Do 1627 and u have the same value?
False
Let n(o) = 25*o - 12*o + 1 - 4*o - 8*o. Let p be n(-3). Let y be -36 - -38 - (-67 - p/(-2)). Is y greater than or equal to 70?
True
Let o = 0 + -0.1. Let l = -27.02 + 35.22. Which is bigger: l or o?
l
Let h = 1035.2 + -1035.1. Does -835/3 = h?
False
Let d = -0.144 + 0.004. Let a = d + 0.176. Let o = a + -0.036. Which is greater: -1/5 or o?
o
Let i(q) = q**2 - 27*q - 132. Let l be i(31). Let o be (3 + 225/(-78))/(l/(-32)). Is 5 != o?
True
Let x(p) = 24*p - 474. Let j be x(-36). Is j > 4?
False
Let t = 417.871 + -418. Let b = t - 0.004. Which is greater: -2 or b?
b
Let v be 3789 + ((-34)/(-51) - (-26)/6). Is v equal to 3794?
True
Suppose 0 = 9926*s - 9963*s - 15392. Are s and -396 equal?
False
Let y be 1/((-236)/59*2/4). Which is smaller: y or 1608?
y
Let r be (-4*4)/(2 + -4). Let w(y) = -y**3 + 8*y**2 - 38*y + 102. Let q be w(5). Is q at least r?
False
Suppose 0 = 9*v - 17*v - 8. Let u be (-586)/42 + 16/56. Let k = -13 - u. Which is greater: k or v?
k
Let b = -350 - -344. Let z = 6 + -12. Let t be ((-3)/z)/((-3)/b)*-47. Is -47 < t?
False
Let n = -2/140587 - 269268/836914411. Which is bigger: n or 0?
0
Let y = -245 + 151. Let x = y - -2347/25. Which is greater: x or -1?
x
Let v = 135672/35 - 3876. Suppose -3*h - 12 = 3*a, 2*a + 4 = -239*h + 238*h. Do a and v have the same value?
False
Suppose 0 = 13*q + 3311 + 2981. Is -489 smaller than q?
True
Let o = -234 + 239. Suppose -o*d + 5*g = -130, -d - 2*g = d - 40. Which is bigger: -2 or d?
d
Let o = 1783 - 1856. Is -74 at most as big as o?
True
Let p = 1130 - 1231. Is -101 less than or equal to p?
True
Let i = 64667/9 + -7185. Let t = 8 - 6. Let q = 2 - t. Is q less than i?
True
Let z(r) = -2153*r**3 + r**2 + 41*r - 43. Let s be z(1). Which is bigger: s or -0.1?
-0.1
Let m be (-4)/30*(-530)/(-6). Suppose -5*h = -z + 67, 0 = -69*h + 78*h - 3*z + 129. Which is smaller: m or h?
h
Let t = -25187 - -129511553/5142. Are t and -1 nonequal?
True
Let k(s) = -5*s**2 - 234*s - 222. Let v be k(-59). Which is bigger: v or -3824?
v
Suppose 7*g = -15 + 43. Suppose -14 = -4*n + z, -14 - 6 = -4*n + g*z. Suppose -5*f + n = -2*f. Which is greater: -4 or f?
f
Let c(b) = -b**3 - 236*b**2 + 461*b - 3615. Let k be c(-238). Suppose 86 = -x - x. Do k and x have different values?
True
Let l = 3472 + -3471.7. Is l equal to -0.021?
False
Let j = -15959/11 + 1451. Is j > -19/6?
True
Let p = -0.519 - -0.119. Let u = 7.71 - 8. Let o = -4.29 - u. Is p at most as big as o?
False
Suppose -8*f + 920 - 40 = 0. Suppose -v + 7 = f. Which is smaller: v or -102?
v
Suppose -2*h + 4*y - 576 = 0, 0*y + 5*y - 1158 = 4*h. Let w = h - -10806/37. Which is smaller: -1 or w?
-1
Let a be ((-49)/42)/(-1*(-4)/(-88)). Let w(y) = y**2 - 2*y + 1. Let f be w(-4). Which is greater: a or f?
a
Let b be (-30)/71925*26240/(-6). Let q = -38/21 + b. Which is smaller: q or 0?
0
Suppose -3*w = -19*w - 160. Let t be (-220)/(-4)*(-10)/w. Which is smaller: 54 or t?
54
Let s = -17074 - -464. Let g = 182882/11 + s. Is 15 greater than g?
False
Let d be (14 + -17 - (-55)/(-25))*40. Which is smaller: d or -213?
-213
Suppose -5*c - 24 = 4*z, -353*c = -350*c + 12. Which is bigger: 1425 or z?
1425
Let s(m) = -m**3 - 61*m**2 + 77*m + 1297. Let i be s(-62). Suppose -4*y + 1463 = 3*w, 3*y - 2*w - 676 = 434. Do i and y have different values?
True
Let w(m) = -3*m + 15. Let f be w(5). Suppose -d - d + 84 = f. Let x = d + -43. Is 0 != x?
True
Let c = -1426 - -1423.2. Let j = 3/14 + 1/28. Which is smaller: j or c?
c
Let v(b) = 3*b**2 + 31*b + 31. Let t be v(-1). Suppose 4*y + 4 = t*s, -s - y + 1 = 2. Which is bigger: -2/19 or s?
s
Let v(f) = -2*f**2 - 10*f - 2. Let s be (-3)/1 + -17 + -10. Let d be ((-40)/s)/(1/(-3)). Let m be v(d). Which is bigger: 8 or m?
8
Suppose -42 - 103 = -26*k - 41. Which is smaller: 46/13 or k?
46/13
Let p = 2056.7 + -2057. Is -1/137 >= p?
True
Suppose -2*k - 5 = -21. Let l(b) = -5*b - 35. Let r be l(-7). Suppose -5*j + 2*g + 55 = r, 3*g = 5*j - g - 55. Is j smaller than k?
False
Let h(y) = -22*y + 1315. Let z be h(60). Which is smaller: -116 or z?
-116
Let s be (368 + (-9)/(18/(-10)))*-1. Which is smaller: s or -367?
s
Let z(s) = -15 - s - 18 - 2*s + s. Let i be z(-16). Is i greater than -1?
False
Let b = -750 + 1219. Let t = b + -466.938. Let x = -0.062 + t. Which is greater: x or -2/3?
x
Let u = -83/29054 - 298252177/581080. Let m = 513 + u. Is 0 greater than m?
True
Suppose -225*p = 120301 - 48751. Which is greater: -333 or p?
p
Let l = 5460397309482945177/579416 - 9423967079758. Let o = 1/25192 + l. Which is smaller: -3 or o?
o
Suppose 0 = 8*x + 22 + 2. Let r(n) = -n**3 - 10*n**2 + 16*n + 11. Let i be r(-11). Let k = i - -38. Is x at least k?
True
Suppose -43*u + 18804 = -29657. Let n = u + -21423/19. Suppose -c - 3*c = 0. Is n at most c?
True
Let d be (44/8090)/(-24*(-6)/360). Is 0 > d?
False
Let n(i) = 3*i**3 - 7*i**2 + 9*i - 11. Let p be n(4). Suppose 102*x + 9 = p*x. Let d(b) = -14*b + 8. Let c be d(x). Is c greater than -32?
False
Let l be 6/(-21) - ((-1902)/42 + 3). Suppose 0 = 11*j - 9 + l. Is -18 not equal to j?
True
Let w be 4/(-10) + 1390/(-25). Let b be (-123)/(-21) - 2*4/w. Let c = 0 + 3/2. Which is bigger: b or c?
b
Let w = 3.8889 + -0.1889. Let b = -7.5 + 4. Let t = b + w. Which is smaller: 6 or t?
t
Suppose 5*m = m - 4*m - 2*m. Is m > 16/33?
False
Let p be -2817*(-14 + 356/24). Which is smaller: p or -2347?
p
Let y = -30 - 50. Let r be ((-2)/(-3))/2 - (-940)/(-12). Is r > y?
True
Let s = -41318/99 + 1252/3. Let b = 179 + -176. Suppose -a + 4 = b*w, 5 = -2*a - w + 8. Is s at least as big as a?
False
Suppose 0 = 28*p - 9*p - 760. Let z be 14/63 + p/(-18). Which is bigger: -26/19 or z?
-26/19
Let n(v) = -v**3 + 3*v**2 + 9*v + 6. Let o be n(5). Suppose -2*x = -x - o. Is -1/45 >= x?
False
Let u(f) = -2*f**3 + f**2 - 1. Let i(g) = -7*g**3 - 21*g**2 - 8*g + 105. Let w(o) = -i(o) + 4*u(o). Let d be w(25). Is 361/4 > d?
False
Let a(y) = -2*y**2 - 2*y + 1. Let g be a(2). Let r(k) = -4*k + 119. Let f = -356 + 389. Let m be r(f). Which is greater: g or m?
g
Let m(u) = 1937*u - 7870. Let q be m(4). Is -76 greater than or equal to q?
True
Suppose -1353 = 52*m + 7487. Is m at least as big as -57?
False
Let y = 546 - 544. Let h = -0.968 + 1. Let z = -19.968 - h. Which is smaller: z or y?
z
Let k(o) = -198*o + 1120. Let b be k(6). Is -82 > b?
False
Let n be 38/(-16) + (0 - 1). Suppose -y + 2*t = 1, 3*y - 74*t + 76*t = -11. Is n > y?
False
Let z = 4782.96 + -4783. Is -33/7 at most z?
True
Let q(i) = -i**2 - 23*i - 56. Let b(l) = -2*l - 1. Let d(k) = b(k) - q(k). Let a be d(-18). Is a bigger than 3/35?
True
Let o = 22140 - 32922179/1487. Which is bigger: -1 or o?
o
Let w(u) = 9*u**3 + 27*u**2 + u**3 + 27 - 9*u**3 + 2*u - 3*u**2. Let x be w(-24). Suppose 42 = -4*q + 2*q. Is x smaller than q?
False
Suppose 4*l - 3*n - 2*n - 94 = 0, -5*n = -3*l + 68. Let b be (-1452)/(-14) - 2/(-7). Suppose 4*r - 8*r = -b. Are r and l non-equal?
False
Suppose -475 = 4*r - 471. Let a be (135/(-100))/r + 2/8. Are 2 and a nonequal?
True
Let i = 1165.9 + -1166. Is i != 5.51?
True
Let q = 963 + -2911. Is -1 <= q?
False
Let y = 6.774 + -6.874. Which is bigger: y or 29.98?
29.98
Suppose 0 = 16*d - 18*d + 2. Suppose -4*t = 9 - d, 4*b - t = 18. Let l be (14/(-42))/((b/(-3))/(-4)). Which is greater: l or 1/24?
1/24
Let u(k) = -50*k - 1699. Let f be u(-34). Which is bigger: -2/25167 or f?
f
Let j(a) be the first derivative of -2*a + 14 + 1/2*a**2 - 1/3*a**3. Let n be j(2). Are n and -4 unequal?
False
Let t = 3487 - 4265. Which is smaller: t or -2?
t
Let a be (-66734)/(-427) - (-2)/(-7). Suppose -4*i = y + 86 + 76, 0 = y + i + a. Do y and -155 have different values?
True
Suppose 22 = -3*w + 28. Let z be 3/w*(20 + -14). Are 3 and z nonequal?
True
Let n = 20 - 126. Let o = n - -121. Let k = 10 - 12. Which is smaller: k or o?
k
Let o be (-75)/(-60) - 