 be (-85841)/7805 + 4 + 7. Which is smaller: -1 or s?
-1
Let j = 25 - 20. Suppose 4*x - 1 = j*d, -2*d - 1 = -7. Let b be (12/(-18))/(x/(-6)). Which is smaller: 14 or b?
b
Let h be (-8)/(-16)*-12 - -6. Is -27/32 at least as big as h?
False
Suppose -5*m - 20 = -m. Let s be (-5 - m)/(2 + -3). Which is bigger: 2/7 or s?
2/7
Let l = 0.077 + 2.723. Let p = -2.7 + l. Let a = -464 - -3254/7. Is a >= p?
True
Let s be (-11)/(220/56) - -3. Let y = 4979/235 + -107/5. Let x = 164/329 + y. Do s and x have different values?
True
Suppose 2*w = -5*c + 78, 16 = 4*c - 0. Suppose -w + 69 = -8*v. Does -6 = v?
False
Let j = 24881 - 24889. Suppose -17 = a + 2*a + m, 0 = -2*a - 2*m - 10. Which is bigger: a or j?
a
Let t = -50837/74 + 687. Let w be 4/8*-5*-10*(-11)/275. Is w at most as big as t?
True
Let k be ((-10)/15)/((-8)/12). Let q = 8 - 39/5. Which is greater: q or k?
k
Suppose 0 = -z - 2*v - 0 - 4, v + 2 = -5*z. Which is smaller: 1/33 or z?
z
Let s be (100/6)/((-276)/414). Which is greater: -420/17 or s?
-420/17
Let g = -1605 - -1606. Which is greater: 0.023 or g?
g
Let y(n) = -4*n - 20. Suppose 2*f + 7 = -3*c - 0*f, c - 4*f + 21 = 0. Let d be y(c). Which is smaller: d or -4/47?
-4/47
Let m be 2/(-7) + (-107094)/266. Let i = m + 403. Let b = 0.659 - 0.459. Is i != b?
True
Let x(a) = -a**3 - 55*a**2 - 291*a - 14. Let t be x(-6). Is t less than or equal to -3/4?
True
Let t(v) = v**3 - 8*v**2 - 12*v + 5. Let w be t(8). Let i = w + 1003/11. Let z = -405 - -406. Which is bigger: z or i?
z
Let d(s) = -3*s**2 + 2*s - 2. Let n = 18 - 14. Let k be d(n). Is -43 <= k?
True
Let p = -1 - 0. Let c be 5 - ((-3 - -1) + (-691)/(-99)). Which is bigger: p or c?
c
Let d(g) = -6*g**2. Let z be d(0). Let v be (-9*1)/(4 + -3). Let h be z*(2 + v/6). Which is bigger: 3/4 or h?
3/4
Suppose 2*w + 2*x = -3*x - 1, -3 = 3*x. Suppose w*m = -3*m - 20. Let g(q) = q + 4. Let y be g(m). Which is greater: -4 or y?
y
Let b be (6 - 8) + 10/8. Is b >= 1.2?
False
Let q be ((-40)/(-16))/(1/(-18)). Suppose 5*y + 2762 = 2542. Which is smaller: q or y?
q
Let b(q) = -46*q - 267. Let n be b(4). Do -451 and n have different values?
False
Let u(f) be the first derivative of 9*f**4 + f**2/2 + 5. Let b be u(1). Do 37 and b have the same value?
True
Suppose 0 = -32*k + 7*k + 200. Suppose -4*u = 0, 4*b - 44 = -10*u + 5*u. Is b equal to k?
False
Let c = 2210 + -2195. Do -4 and c have the same value?
False
Let n = -140 + 139.643. Which is bigger: n or 0.2?
0.2
Let l = 10732 - 9927102/925. Which is bigger: 0 or l?
0
Let i = -477 + 483. Suppose -24 = p - 4*p. Is i at most p?
True
Let c = -43 - -31. Let l(u) = -u**2 - 9*u + 17. Let q be l(c). Which is greater: q or -18?
-18
Let l = -0.1 + 0.2. Let v be -6 + 9195/510 + -12. Is l >= v?
True
Let r be 2*(153/(-6534))/17. Is r greater than 1/5?
False
Let l be 46*((-9)/6 + 2). Suppose 0 = -0*v - 4*v + 88. Does l = v?
False
Let x be 620/60 + 1/(-3). Let v be 3*(0 - x/(-2)). Do v and 15 have the same value?
True
Let r be -1 - 2/(70/(-33)). Let f(x) be the second derivative of x**5/20 + 5*x**4/4 - 17*x**3/6 - 8*x**2 + 31*x. Let v be f(-16). Which is bigger: r or v?
v
Suppose -10*t + 5*t - 20 = 0. Let w = 284 + -3690/13. Is w <= t?
False
Let a be (3/6)/(1/(-2)). Let m = -18/65 + 1/13. Which is smaller: m or a?
a
Let c be -1*4/12 - 2570/(-7845). Which is smaller: c or -1?
-1
Let t be 10/(-10) + -1 + 46. Suppose 3*r + 2*q + 0*q - 38 = 0, 4*r - t = -q. Let d = r + -16. Is -5 less than d?
False
Let h be (-100)/(-30) + 1/(-3) + -1. Suppose 0*r = 4*r + 544. Let y = r + 551/4. Which is smaller: h or y?
y
Let i = -19.2 + 20.7. Suppose 2*y = y. Which is greater: i or y?
i
Let t = 50 + -11. Suppose 5*q - 16 = t. Which is smaller: q or 10?
10
Suppose 40*n = 3031 + 2249. Is n < 131?
False
Let l = -492/5 - -97. Suppose 3*i - 5 = 7. Let u be (-2)/6*(4 - i). Is u smaller than l?
False
Suppose 4*f - 5*n + 11 = 50, 4*f = -4*n + 84. Let g = f - 11. Suppose -4*w + g = w. Are w and 0.2 equal?
False
Let d(k) = k - 1. Let b be d(-3). Let t be (-2 + 1)*(-773)/(-3). Let g = -263 - t. Is g < b?
True
Let w = -515 + 515.4. Which is smaller: w or 76?
w
Let y = 14.97 + -14.7. Do y and -5 have the same value?
False
Let c = 313 + -661. Let b be -2 + (-945)/c - (-9)/(-12). Is 1 at most as big as b?
False
Let v = -20 - -41. Suppose 5*s + 2*d - 17 = 19, 0 = -4*s + d + v. Let c be (14/(-32))/(-7)*s. Which is greater: 1 or c?
1
Let w = -1284 - -1284.0747. Which is bigger: 0.1 or w?
0.1
Let d = -2544/5 - -509. Which is greater: -24 or d?
d
Let k be 3*(11 - (3 - -1)). Let t be -16*15/(-546) - 6/k. Is 0 <= t?
True
Let n be 1/((35/(-135))/7). Let b be 18/n*9/(-6). Let s be 315/(-80) - 1*-4. Is b >= s?
True
Let o(u) = -u**2 + 43*u - 213. Let t be o(6). Which is greater: 10 or t?
10
Let l(w) = w + 19. Let n be l(0). Let s(q) = 3*q**2 + 5*q - 14. Let x be s(2). Suppose -x*j = -166 + 6. Is n equal to j?
False
Let c = 24 + -24. Let a = -5 - c. Let q be (-4)/12*a + -2. Which is smaller: q or -1?
-1
Let a(f) = -10*f**2 + f + 1. Let y be a(-4). Let t = y - -3261/20. Which is bigger: 0 or t?
t
Suppose 0 = -12*b + 13*b - 31. Is 27 smaller than b?
True
Suppose -5*h + 21 = 2*h. Which is smaller: 27/17 or h?
27/17
Let s be ((-32)/20)/(4/(-240)*3). Which is smaller: s or 33?
s
Let d = -0.045 + -7.955. Let c = 7.5 + d. Which is bigger: c or -2/7?
-2/7
Let a = 382 - 413. Is a at most -36?
False
Let y be ((-208)/(-2))/(20/50). Suppose -72 = -k - 3*z, y = -k + 4*k - 2*z. Let o be (-2)/(-8) + (-69)/k. Which is smaller: -1 or o?
-1
Let i(s) = s**3 + 10*s**2 - 10*s + 15. Let d be i(-11). Suppose 3*r - d = -w - 0*w, 0 = 2*r. Is w not equal to 1?
True
Let g = 2/3 + -4/3. Which is bigger: 3/11 or g?
3/11
Let p(z) = -z - 1313 + 1289 + 2*z. Let o be p(15). Which is smaller: 2 or o?
o
Let j = -269.2 - -269. Let i be (-56)/66 + 4/6. Which is greater: j or i?
i
Let y = 2 + -1.7. Let k = 10.3 - 10. Let o = y - k. Is -1/4 bigger than o?
False
Suppose 10*u - 2*u = 200. Suppose 116 - u = 7*l. Which is smaller: l or 51/4?
51/4
Let l = 21 + -15. Let k be 10 - (10/(-18))/((-5)/45). Suppose -l*p + k + 7 = 0. Is 2/3 > p?
False
Let z = 5 + -4. Let f = 36634/129 - 284. Which is smaller: f or z?
f
Let v = -49 + 49.2. Do -25 and v have the same value?
False
Let f = 608272/31 + -19624. Are -2 and f equal?
False
Let x be (-379)/6 + (-5)/((-15)/2). Let p = x - -66. Is p bigger than 3?
True
Let a = -0.08 - -0.38. Suppose 5*u = -4*l - 5 - 4, 3*l = 4*u + 32. Let j be (-2)/(-42) + l/14. Is j greater than a?
True
Let c = 3.32 - 3.438. Is -2/5 < c?
True
Let r(y) be the first derivative of -y**2/2 - y - 11. Let x be r(4). Is x at least as big as -8?
True
Let k be -1 + ((-2)/(-7) - 6/(-8)). Which is greater: -3/5 or k?
k
Let y be (-2 - -1)*(0 + 1). Let w be (-2 - 1/y)/(-1). Let x(m) = 54*m - 270. Let k be x(5). Which is smaller: w or k?
k
Let k = 0 + 3. Let w = k + -3.1. Let t = -5.02 - -0.02. Which is smaller: w or t?
t
Let w = 116.034 - 0.034. Let j = w - 112. Do 2/3 and j have the same value?
False
Let z be (-22)/(-8) + (-35)/(-140). Which is smaller: 44/21 or z?
44/21
Let y be 0 - (-4 + 1646/1054). Let g = 42/17 - y. Is g equal to 1?
False
Suppose 0 = -d + 3*d + 12. Let v be (-3)/d*(-4 + 5). Suppose a = 3*z + 4*a - 9, 0 = 5*z - 2*a - 1. Is z less than or equal to v?
False
Suppose 74 = -u - 2*o, 3*o + o + 296 = -4*u. Let i be -2*76/u - 2. Let r = -8413 - -33653/4. Which is smaller: r or i?
i
Suppose 0 = -3*j + w + 62, -2*j - 20*w + 60 = -16*w. Is -8/5 bigger than j?
False
Suppose 0 = 8*g - 7*g - 10. Let u be 6/15 - 14/g. Is u > -3/19?
False
Let h be (1/3)/(5/675). Let z be h/84 - 3/4. Suppose 6*y + 12 = 3*i + 3*y, -2*i - 4 = y. Which is bigger: i or z?
i
Let z = 8.8 + -9.09. Which is greater: 1/3 or z?
1/3
Let a = -1.124 - -2.124. Is 1 equal to a?
True
Let j = 2477/5 + -180941/365. Do 0 and j have the same value?
False
Let c be ((-4)/15)/(12/2820). Which is smaller: -62 or c?
c
Let a = 3 - 1.85. Let n = a - 12.95. Let v = n - -12. Which is greater: v or -0.4?
v
Let x = 9557/21 + -1385/3. Is -7 < x?
True
Let j be ((-166)/168)/(28/21). Let n = 1/112 - j. Let f be (-4)/14 - (-16)/7. Is n >= f?
False
Let j = -0.472 - -0.242. Is -8 bigger than j?
False
Let o(r) = r**3 - r**2 - 16. Let t(y) = y**3 - 6*y**2 + 8*y. Let g be t(4). Let n be o(g). Is n >= -16?
True
Suppo