 + 3 + 39 - 36. Let t be 34/(-4) - 2/(-4). Let y be l(t). Is y > -9?
False
Let n(u) = -u**2 - 15*u - 27. Let g be n(-6). Let d be (10/(-3))/((-4)/(-12)). Let a be 5*((-224)/d)/4. Which is smaller: g or a?
g
Let p(k) = -17*k**2 - 118*k - 108. Let y be p(-6). Which is smaller: y or -255/19?
-255/19
Let d = 23917 + -29396. Is -5479 greater than d?
False
Suppose 108*m - 27*m = -m - 121442. Which is smaller: -1482 or m?
-1482
Let g = 137512/42436203 - -4/35571. Which is smaller: 1 or g?
g
Let p = -2/33 - -13/33. Let q = 7313 - 7312.925. Is p smaller than q?
False
Suppose -11*v + 612 + 1214 = -33*v. Which is smaller: v or -72?
v
Let v = 71 - 69. Let x be 1/v*2*(-1662)/12. Let f = x + 153. Which is bigger: 14 or f?
f
Let f be 2/(-18) + (-13356)/81. Let x be (-30)/f + 596/(-858). Which is greater: -1 or x?
x
Let b = 2798 + -2798.2. Are b and 2007 non-equal?
True
Let i = -93 + 152. Let n = i + -103. Let r be (-8)/n + 296/187. Is 2 at least as big as r?
True
Let r(y) = -y**3 - 17*y**2 + 105*y - 136. Let l be r(-26). Which is smaller: -0.2 or l?
-0.2
Let j = -10196681276963/2430634680 + 4/33758815. Let t = j + 4195. Is 0 at most t?
False
Let l be ((-192)/10)/2*-5. Let a(y) = -171*y - 5083. Let n be a(-30). Is l smaller than n?
False
Let m be (-2 - (-48)/45) + 1. Suppose -376 = 2*d - 380. Suppose 4*n - 4*f = 4, d*n - n - 5*f = 1. Are m and n non-equal?
True
Suppose 0 = -s + 2*n + 112, 0 = 4*s + 42*n - 44*n - 496. Let o = 118 - -11. Which is smaller: o or s?
s
Let q(j) = j**2 - 17*j + 54. Let k be q(13). Suppose -17*b - 180 = -k*b. Which is bigger: b or -19?
b
Suppose 9*d = 16*d + 7. Let i be (-2 + 6/4)/(930/(-480)). Which is smaller: i or d?
d
Let r be (-104)/(-76) - (-1 + 2). Let y be 135 + -4 + -2 + 4/2. Suppose 0 = 129*m - y*m + 2. Which is greater: r or m?
m
Let j be (-28)/(-63)*(-351)/(-6). Let i be -3 + 0 + 108/4. Which is bigger: j or i?
j
Let h = 11176 - 11176. Are 3/7465 and h non-equal?
True
Let o be (30/99)/(1230/1804). Which is smaller: -2.38 or o?
-2.38
Let s = -366 + 364.53. Let p = s - -20.47. Is -1 <= p?
True
Let m(y) be the third derivative of y**4/6 + 25*y**3/6 + 34*y**2. Let b be m(-7). Let s be (b + 28/24)/(1 - 2). Is s < 2?
True
Let q = 1222 + -1261. Let a = -0.04 - 0.06. Which is smaller: q or a?
q
Suppose -139 = -0*r - 3*r - 2*y, -2*r - y + 92 = 0. Let z be 4/(-18) + (-106640)/r. Let t be z/1740 - 6/(-4). Which is smaller: t or 0?
0
Let d(u) = -8*u**2 + 3*u - 265. Let n be d(11). Is n at least -2399/2?
False
Suppose -4*l - l + 35 = 0. Suppose -5*k + j - 12 = 0, 2*j - 2 + 20 = -4*k. Let s be (l - 4) + (k - 17). Which is greater: s or -16?
-16
Let o = -1961508/91 + 21555. Which is greater: 1 or o?
1
Let u be (-2918)/(-28) - -2 - 3. Let w = u - 207/2. Which is smaller: w or 188?
w
Let o(j) = j**2 - 8*j + 1. Let t be o(0). Let z be ((4 + -4)/(-9))/(t - -1). Is z bigger than -5/71?
True
Let g = 262 - 258.46. Let b = 1308.64 + -1308. Let a = b - g. Which is greater: -2/7 or a?
-2/7
Suppose 5*w + 5*d = 10195, -3873*w + 3872*w = -2*d - 2057. Is w greater than or equal to -0.5?
True
Suppose x + 25 = 2*s, 2*s - 10 = -3*x + 11. Suppose -s*o + 204 = 60. Is o greater than 51/4?
False
Suppose 0 = 2*n + 5*l + 16, 2*l = 5*n + 3*l + 17. Let b(q) = 5*q + 9. Let x be b(n). Let s = x - -24. Which is greater: s or 17?
s
Let x be 110559/(-411) - (13 + -1). Which is bigger: x or -267?
-267
Let f be ((-14)/49)/(44/(-52) + 1). Let g = f - -198/35. Is g != -2/13?
True
Suppose 73*o = 89*o. Which is smaller: 2/2709 or o?
o
Suppose 5*y + 362 = 4*q, -144 = 2*y - q - q. Let t = 52 + y. Let r(s) = -s**3 - 8*s**2 - 8*s. Let u be r(-6). Which is bigger: u or t?
t
Suppose -49*d + 345 - 100 = 0. Let o be (-81)/(-12) - 5 - (d - 3). Does o = -1/226?
False
Let r = 1166 - 2889. Which is bigger: r or -1722?
-1722
Let p(s) = -12*s - 16. Let b be p(7). Let g = b - -266. Suppose -4*d + g = -62. Is d < 57?
False
Suppose -2*d = 5*a - 397, a + 13*d - 11*d = 81. Which is greater: a or 28?
a
Let z = -1134 + 1104. Which is smaller: z or 1/4?
z
Let r be 6/(-9)*135/63. Is -0.188 > r?
True
Let h = 0.1826 + -1.1826. Which is greater: h or -2649?
h
Let a(v) = -v**3 + 3*v**2 + 4*v - 5. Suppose 0 = i - 176 + 172. Let s be a(i). Is -8 at least as big as s?
False
Let a be ((-5)/(-970))/((435/60)/29). Which is greater: 9 or a?
9
Let o = 83 + -33. Suppose 3*j - o = 4*d, -7*d - 18 = -j - 6*d. Let s = 5 + 17. Are j and s equal?
True
Suppose -51 = 4*f - 83. Suppose 2*r = -2*r + f. Let w = -312/11 - -2404/77. Which is greater: w or r?
w
Let v = -8902 + 8902. Does v = 3354?
False
Let n be 2/(-3)*(52 + -46). Let p be (n/(-3))/(2/9). Which is smaller: p or 7?
p
Let p = -4438 + 4437.97. Let m = 13 + -12.1. Which is smaller: p or m?
p
Let h = 29 + -24. Let q be ((18/h)/3)/((-11)/(-55)). Let n be q/5 - (-3 + 48/15). Which is smaller: 1/7 or n?
1/7
Let u = 53.115 - 54.3. Let i = 0.085 + u. Is i equal to 1?
False
Suppose -4*m + 3*c - 23 = m, 5*m = -5*c - 15. Let p(r) = 12*r - 7. Let d be p(m). Let w = d + 57. Which is smaller: w or 3?
w
Let p = 75929498/253 - 300116. Is p at least 0?
True
Suppose 559*w = 540*w + 152. Are 460/57 and w equal?
False
Suppose 16*g = -444 + 604. Is 109/11 at most as big as g?
True
Let k = 22687/325989 - 19/261. Let p = k + 59972/6245. Suppose -d + 5 + 4 = 0. Is p at least as big as d?
True
Suppose 0 = -37*q - 78079 + 9740. Which is greater: -11083/6 or q?
q
Let l = -945 - -945. Which is greater: 4/35 or l?
4/35
Suppose 5*x = 2*z - 1916, -4*z + 3816 = -0*z - 2*x. Is z at most 953?
True
Suppose 0 = -63*a - 63005 + 333512 + 9969. Is a >= 4451?
True
Let n(s) = 2*s**3 - 76*s**2 + 68*s + 221. Let f be n(37). Is 265 < f?
False
Let t(x) = -33*x + 246. Let l be (3 - (-1 + 1))*1300/300. Let s be t(l). Is s equal to -183?
True
Let o = 0.041 - 21.041. Let s = 7951 - 7953. Which is smaller: o or s?
o
Let j(a) = -2*a**2 + 14. Let y be j(3). Let n be 6/(-27) + y/(-18). Suppose n = 5*b - 78 + 18. Is b <= 5?
False
Let n = 2524 + -2487. Suppose -29 + 101 = 2*i. Which is bigger: n or i?
n
Let j = -14902 + 15457. Do j and 543 have different values?
True
Let a = 457.801 + -0.801. Let t = a + -451. Which is smaller: t or -18/7?
-18/7
Let j be 1/((-26)/(-4)) + (-48)/(-26). Let b be (2/j)/((50/15)/2). Which is greater: b or -0.14?
b
Let m = 56.011 - 0.011. Let b = 240499 + -240503. Is b smaller than m?
True
Let z be 10990/22 - (19152/627 - 30). Is 500 greater than or equal to z?
True
Let z(g) = -g**2 + g - 1. Let n be z(-2). Suppose 3*f - 5*l - 14 = 0, -13 = -3*f - 3*l + 17. Suppose 0 = 4*i - f, 4*m + i = 2*m - 8. Which is smaller: m or n?
n
Let d be 4/(-1) - ((-14)/7 - -1*308). Does d = -310?
True
Suppose i + 26 = -z + 6*z, 18 = -3*i + 3*z. Let v be (-174)/58*i/3*29. Which is bigger: 30 or v?
30
Let t = -257 - -263. Let u = t - 6. Do -4/71 and u have different values?
True
Let x = -61 - -58. Let q(a) = 15*a**3 - 2*a**2 - 6*a + 2. Let t be q(x). Let v = 47150/117 + t. Which is greater: -1 or v?
v
Let p(z) be the third derivative of z**6/120 + 19*z**5/30 + 13*z**4/8 + 59*z**3/6 - 12*z**2. Let n be p(-37). Is -15 < n?
False
Let a be (-61)/(-305) - 103/65. Suppose 15*d + 14 + 1 = 0. Which is smaller: a or d?
a
Let s = 5104 - 5113. Let z be (16/12)/(2/6). Suppose z*f = -33 - 3. Are f and s non-equal?
False
Let p(o) = 2*o**3 - 46*o**2 - o + 19. Let d be p(23). Let r be (-2332)/8 - ((-18)/4 - d). Is -290 > r?
True
Let j be (-62097)/(-39)*(-2)/398 - 8/(-1). Which is smaller: 0 or j?
j
Suppose 78*v - 82*v = 80. Let p be (56/v)/(4/(-20)). Let d be (p/(-42))/((-1)/(-33)). Is -12 equal to d?
False
Let x be 4 + -4 + ((-8331)/4167 - -2). Let u = x - -835/126399. Is u at least 0?
True
Suppose 5596 = -58*v - 29610. Does -610 = v?
False
Suppose 183*c + 251*c + 120*c + 2637040 = 0. Which is smaller: -4759 or c?
c
Let s(a) = -305*a**3 - 6*a**2 + 8*a - 2. Let i be s(2). Is i less than -2449?
True
Suppose -60*z = -32*z - 28. Is -1/4676 at least as big as z?
False
Let f = -230.3 - -202.3. Which is smaller: 47 or f?
f
Let z = -6866497/5096 + 4044269222129/3001528712. Let p = -2/9983 - z. Which is smaller: p or 0?
0
Suppose -7*v + 4*f + 15 = -6*v, v + 9 = -4*f. Suppose 3*g + 4 = -s, 2*s - v*g - 25 + 24 = 0. Which is smaller: -7 or s?
-7
Suppose -78 = 5*m + 4*r, 5*m + 54 + 27 = -3*r. Let b be (m/20)/((-27)/45). Is 3 gr