71/4 - -3168. Is l at most as big as -5.9?
False
Let n = 5541 - 3074. Do 2467 and n have different values?
False
Let b = 255.6 - 263.6. Which is smaller: b or -32?
-32
Let j = 21 - 32. Suppose 616 = -98*c + 42*c. Is c at most as big as j?
True
Let i(n) = -58*n - 43. Let l be i(-6). Let s = l - 300. Is 9 equal to s?
False
Suppose 0 = 2*t - 20*d + 17*d - 187, 0 = -2*t + 5*d + 193. Which is smaller: 104 or t?
t
Let z be ((-4)/(-1) + -4)/(3 + 1). Let k be (12 + z/(-1))/(67 + -72). Is -1 greater than or equal to k?
True
Suppose -30*d - 157 = 203. Let k be (d/15)/(66/55). Is k > -0.065?
False
Suppose 6*x - 4*x - 80 = 0. Let t(g) = 16*g - 14. Let w(j) = -6*j + 5. Let h(d) = 5*t(d) + 16*w(d). Let k be h(-2). Which is bigger: k or x?
k
Let f = 27528 - 27528. Which is greater: -0.08595 or f?
f
Let d = 633 + -555. Which is smaller: d or -4?
-4
Suppose 240 = 911*o - 10636 - 1878. Let y(c) = 3 + 13*c - 1 - 3. Let u be y(1). Which is smaller: o or u?
u
Let a = -21/4666 + 420971/97682710. Is 0 at most as big as a?
False
Suppose -d - 3*d + 1248 = 0. Suppose 7*v + 6*v = -d. Suppose 3*u + 0*u = -75. Which is greater: v or u?
v
Let r = -1319/5913 + 5/5913. Let n = 50 + -72. Which is smaller: n or r?
n
Suppose -14 = -w - 4*k, -2*w - w + 4*k + 10 = 0. Suppose v = 5*m - 245, -5*v - 85 = -2*m - 2*v. Let j = -39 + m. Which is smaller: w or j?
w
Let g be 4/12 - 4/6. Let b = 0.07 + -22.07. Let i = b + 33. Is g less than i?
True
Let h = -1736 + 1737. Which is smaller: h or 667?
h
Let w be ((-1)/(-1))/((-3)/9). Let z be (-1)/(-1 + 0) + w. Let d(f) = f**2 + 16*f - 164. Let t be d(7). Are t and z non-equal?
True
Suppose 58 = 1527*c - 1528*c. Which is smaller: c or -2?
c
Suppose 0 = 41*u - 1084 - 3344. Let s = -118/15 - -36/5. Which is greater: s or u?
u
Let r be (-538)/(-3328) + (48/702 - 6/27). Which is smaller: -1 or r?
-1
Suppose 2*r - 1 = -5*x + 3*r, 5*r + 5 = 0. Let f be 14/(-3)*(-252)/49. Suppose 2*z + 0*z = -5*n - 30, 0 = -n - 4*z - f. Are n and x equal?
False
Let g(v) = 2*v**2 - 60*v - 1. Suppose -138*s = -145*s + 210. Let r be g(s). Which is bigger: r or 7?
7
Let n = -6190417/17 - -364143. Let c(j) = -j**2 + j**3 + 3*j**3 - 5*j**3. Let f be c(-1). Which is greater: n or f?
n
Suppose 3*h + f = -821, -5*f = -2*h - 10*f - 569. Which is smaller: -266 or h?
h
Let r(d) = d**3 - 18*d**2 + 11*d + 687. Let c be r(12). Let o be (-2)/4 + 3/6. Which is smaller: c or o?
c
Let m = 182 - 152. Let n be 80*((-168)/m)/7. Which is smaller: -66 or n?
-66
Suppose 112 = -17*u - 1911. Let n = -169 - u. Let c = -49 + -2. Which is greater: n or c?
n
Suppose -19*y + 21800 = 6*y. Is y >= 874?
False
Let t be ((0/5)/2)/(-1). Suppose t*f + f - 18 = 0. Let w be (-104)/f - 8/(-2). Is w at least -1?
False
Let b = 2920 - 2921. Is b smaller than -2/45347?
True
Suppose -34576 + 7896 = 94*n + 156996. Is -1951 at most n?
False
Suppose 2*k - 79 = 5*j, 2*k - 129 = -k - 3*j. Let n be 298/4*(-2 - 0)/1. Let x = 189 + n. Do k and x have the same value?
False
Let x = 0.288 - -1.412. Let f be (-7)/(-4)*(5 + -9). Let v be 3/f*2/3. Is x equal to v?
False
Suppose w = 172*k - 169*k - 141, -278 = 2*w - 4*k. Are -143 and w nonequal?
True
Let t be (-2932)/(-16) + (-3)/(2 + 10). Which is smaller: t or 363/2?
363/2
Let d be ((-3)/(-2307)*1)/(3 - 4). Let a = -8465/4614 - d. Which is greater: a or -1/2?
-1/2
Let p = 0.09908 - 4.08808. Let d = 0.089 + p. Let v = 3.8 + d. Which is smaller: v or -0.7?
-0.7
Let f = -19135 - -57407/3. Is f at most -1.0889?
False
Let x be 1 + (2 - (-122)/(-42)). Suppose -p = 5*k - 31, -k = p - 0*k - 11. Let n = p + -5. Which is smaller: n or x?
x
Let u(y) = -73*y + 262. Let q be u(4). Which is bigger: -26 or q?
-26
Let i = -92.883 + 93. Let y = 1.117 - i. Which is smaller: -94 or y?
-94
Let z(l) = -3*l**3 + 53*l**2 + 23*l - 52. Let b be z(18). Is -0.03 at most b?
True
Suppose 2 = -298*n + 317*n - 2259. Which is greater: 120 or n?
120
Let i(m) = -884*m + 3536. Let h be i(4). Suppose -11 = 2*q + 3*t - 2, 3*t = 2*q + 39. Let c be ((-9)/q)/(9/14). Is h smaller than c?
True
Let o be 2*(-35)/10*-2. Suppose o*x = 3*x + 44. Let q be (-52)/14 - (-2 - x/2). Which is bigger: 16 or q?
16
Let h = -927921775 - -24897997062407/26832. Let w = -10/559 - h. Do w and 0 have different values?
True
Let j be (10/(-6))/(370 + -365). Let a(o) = 8*o + o - 3*o. Let q be a(-1). Which is greater: q or j?
j
Suppose -114*b + 588 = -111*b. Suppose -6*n - 8*n = b. Which is greater: n or -162/11?
n
Suppose -5*c + 2*o = -0*c - 5, -2 = -2*c + 3*o. Let z be 10/2*c*1. Suppose z*r + 2*g = 50, 0 = r - 2*g + 6*g + 8. Is r bigger than 11?
True
Suppose 13*k - 74 = -87. Let i be 12/(-72) - 3*3/34. Is k less than or equal to i?
True
Suppose 0*n = n. Let r(p) be the second derivative of 5*p**3/6 + 11*p**2/2 + 9*p. Let x be r(-3). Is n equal to x?
False
Let f be 4/(-32) - 1/(-8). Suppose f = 2*r - 3 + 7. Which is bigger: r or -21/11?
-21/11
Let n = -12 - -9. Let z be n/(-9) + 0 + -1. Let x be (-251)/(-15) - 5/((-45)/6). Which is smaller: x or z?
z
Let v = 1302/13 - 100. Suppose -17*u + 8*u + 18 = 0. Suppose 6*t + 3*s + 1 = t, -6 = u*t + 4*s. Which is smaller: v or t?
v
Let b = 2 + -2. Let m be 797 + 11/(55/30). Let g = 4823/6 - m. Is g bigger than b?
True
Let u = 0.124 + 35.076. Let i = u - 1.2. Let j = i - 35.3. Which is smaller: j or -5/3?
-5/3
Let x = 2.51 + -0.31. Let p = -4.3 + x. Let a = p + 2.2. Is 1.9 bigger than a?
True
Suppose -1533*m = -1466*m - 42612. Which is greater: m or 2/5?
m
Suppose 0 = 35*c - 32*c. Suppose c = 2*p - 0*d + 5*d - 14, -2*d + 2 = -p. Let t be (3/108)/(14/32*p). Which is bigger: 0 or t?
t
Let t(d) = 77*d**3 - 5*d**2 - 14 - 1 - 3*d - 78*d**3. Let l be t(-5). Suppose l = -0*u - u + 19. Is 20 at least u?
True
Let s(z) = z**3 - 12*z**2 + 20*z. Let b be s(10). Are 21.17 and b equal?
False
Let h(w) = -75*w**2 - 77*w**2 - 69*w**2 + 224*w**2 + 11*w + 57. Let d be h(-8). Is 163 at least as big as d?
True
Let n(f) = -4*f**3 - f**2 + 4*f + 22. Let s be n(0). Let o = 3 - -19. Is s at least o?
True
Let c(y) = 5*y - 1. Let j(b) = -2*b + 1. Let o(v) = 6*c(v) + 13*j(v). Let l be o(-7). Let h be (2/(-3))/((-14)/l). Which is smaller: h or -9/4?
-9/4
Let s = -2033531/616 + 26415/8. Let x be 70/(-88) - (-1)/4. Let k = x + s. Which is bigger: 0 or k?
k
Let p be (3/1)/((-7)/((-315)/27)). Let o(n) = -n**3 + 9*n**2 - 7*n + 2. Let i be o(p). Which is bigger: i or 65?
i
Let b = 27 - 87. Let i(f) be the second derivative of f**4/12 - f**3 + 9*f**2/2 - 80*f. Let r be i(2). Which is bigger: r or b?
r
Let v be 5611/217 + (-16)/(-14). Let x be 63/v - 4/(-6). Let j = -12261/11 + 1117. Is x at most as big as j?
False
Let v = -6.3 + 0.3. Let j be 1/8 - 697/(-164) - 144/36. Which is smaller: v or j?
v
Let m = -30582 + 948192/31. Is m < 5?
True
Suppose l = 1, -3*p + 71 = -p + 3*l. Suppose 5*g - 4 + p = 5*y, -2*g - y - 15 = 0. Suppose 13*m - 15*m = 28. Is m >= g?
False
Suppose -12*o + 14*o + 8 = 0. Let n(f) = 3*f + 12. Let a be n(o). Suppose a = -4*i - 3*x - 17, -4*i - 2 = -0*i - 2*x. Is -8/3 at least as big as i?
False
Let c = -3 + 2. Let f = 214 - 196. Let d be -3 + 894/f*15/250. Does d = c?
False
Suppose -18*q - 2*o - 10 = -22*q, 3*q + 3*o + 6 = 0. Which is greater: q or -2/7587?
q
Let c = -1800.3 - -1886. Let g = c + -86. Which is bigger: -21 or g?
g
Suppose -62*s = -31*s + 111352. Which is bigger: -4 or s?
-4
Let n = 3998 - 3999. Which is smaller: 181 or n?
n
Suppose -2*o + t = 2, 5*t - 8*t + 16 = 4*o. Which is smaller: o or 1/16624?
1/16624
Let r = 2409 + -2409. Is 75/76 less than r?
False
Let x = -445 - -504. Suppose 3*l = -2*g + g - 253, 0 = 5*l - 4*g + 433. Let q = x + l. Is -28 greater than q?
False
Let h = -307 + 299. Let x be (0 + 2)*h/64. Which is bigger: x or 181?
181
Suppose -108 + 50 = -5*q + 4*n, -4*n + 12 = 0. Let t = 32 + -16. Is t at least as big as q?
True
Let t = 94 - 81. Suppose 0 = -0*x - 13*x + t. Do x and 2/917 have different values?
True
Suppose 4 - 5 = y. Let r = 55 - 53. Let s be (r/(-346))/((-7)/(-7)). Which is smaller: y or s?
y
Suppose -88 = 13*r - 14*r. Let d(q) = -q**3 - 8*q**2 - 15*q - 33. Let g be d(-8). Which is greater: g or r?
r
Let j be (-21 - -25 - 11694/2216) + 15/20. Are j and -1 equal?
False
Let w = -21386 + 21307. Let b(y) = 2*y**3 - y**2 + 2*y + 2. Let i be b(-1). Is i at least as big as w?
Tr