/(-2*(-5)/70). Let o = 205 + h. Let p be 2 - o/(-304) - 1/4. Which is smaller: p or -1?
-1
Let p be 9*2/3 + -1. Suppose p*u - 19 = 3*m - 2*m, -3*u - m + 13 = 0. Suppose 2*x + 5*i = 0, -2*i = u*x - 6*i. Are -2/55 and x non-equal?
True
Let b = 1770 - 1809. Is b less than or equal to 0.01?
True
Let k = -218.6 - 18.4. Let t = 206 + k. Is -0.01 at least as big as t?
True
Let m(a) = -3*a**2 + 16*a - 79. Let z be m(6). Are -107 and z non-equal?
True
Let t = -25846 - -28566. Is t at least as big as 2720?
True
Let t = 2216 - 2048.7. Let s = t - 165. Which is smaller: 0 or s?
0
Let a = -14.8158 - -14.8. Let y = a - -0.1218. Is -3 greater than or equal to y?
False
Let u = 285 + -285.636. Let o = u + -0.164. Let r = 2.6 - 0.6. Which is greater: r or o?
r
Let l = 3.4 - 3.4. Which is smaller: l or 1382?
l
Suppose 0 = 4*p - a + 201, -6*p + 16*a = 17*a + 299. Which is smaller: p or -52?
-52
Let x = -0.05 + -0.01. Suppose 2*z + 124 - 151 = -u, -4*z = -u - 27. Are u and x unequal?
True
Let g(x) = -2*x + 9. Let l be g(3). Suppose -4*n = -2*c - 8, -2*c = -l*n - 7*c + 6. Let r(f) = -f**2 + 2*f + 2. Let k be r(n). Which is bigger: k or 0.06?
k
Let x be (-10)/(-4)*((-2)/5 - -2). Let z be ((-20)/16 + 1/x)/(-1). Which is greater: -2/273 or z?
z
Let x = -6313.045 + 6313. Is -4.4 smaller than x?
True
Let g = -376 + 379. Let z = 2 + 2. Let b = -4 + z. Is b smaller than g?
True
Let c = -190.055 - -190. Let r = c - -2.055. Which is smaller: 0.065 or r?
0.065
Suppose 5*a - 3577 = -16982. Let n = a - -19148/7. Let c = 54 - n. Which is greater: c or 1?
1
Suppose -u = 3*p - p - 10, -3*u - 4*p = -40. Suppose 0 = 2*b + 4 + u. Let t be b/3 - (-25)/30. Which is greater: t or -2?
-2
Let w = -1 - -1. Let r be (-13246716)/215845 + (48/10)/(-4). Is r <= w?
True
Suppose 5*y - 1574 = 3*i, 25*y - 12 = 22*y. Which is bigger: i or -516?
-516
Let x(l) = 5*l - 29. Let s be x(7). Let b be 2/s*(-120)/200. Which is smaller: 24 or b?
b
Let s = 2/424943 - -615742027/80739170. Let t = s + -38/5. Suppose 528*c - 531*c = -3*o - 24, 5*c - 12 = o. Which is smaller: c or t?
t
Suppose 32*q = 34*q + 2, 93 = -i - 5*q. Which is smaller: -86 or i?
i
Let m = 9763 + -9475. Is 285 at least as big as m?
False
Let g(z) = -z - 7. Let o be g(-8). Suppose 2*a = 3*y - 41, 2*a + 9 = o. Which is smaller: 14 or y?
y
Suppose -16 = -24*b + 32. Let q be (-27 + 4)/(-6 - (b - 7)). Let n = -18 - -39. Is n < q?
True
Let q = -45 - -74. Let u be (78/(-8))/(3/(-8)). Suppose -4*c + d = -c + 2, -c = 5*d - u. Are q and c unequal?
True
Let t = 30312.521 + -30313. Are -14 and t unequal?
True
Let x be ((-265)/(-20))/(1/3). Let q = 8733 - 8694. Which is greater: q or x?
x
Let m(n) be the first derivative of n**3/3 + 27*n**2/2 - 27*n + 1. Let l be m(-29). Is l not equal to 30?
True
Let d = -9 - -5. Let o = 23.883 - 23.4. Let q = o + -0.473. Is d at most as big as q?
True
Suppose 3*c + 73 - 6 = 4*b, -5*b = 3*c - 50. Let s = b + -8. Suppose -3*f + 33 = 3*q - s*q, 3*f = -4*q + 15. Which is smaller: f or 10?
f
Suppose -45*c + 249*c = -18360. Let u be 21/2*34/(-4). Which is bigger: u or c?
u
Suppose -25 = -12*u + 7*u. Let v = 0 - u. Let g be 22/(-4) + -2 + (-6 - v). Which is greater: -8 or g?
-8
Let j = 86/5 + -82/5. Let i(c) = -c**2 + c + 2. Let m be i(-2). Let x = 6 + m. Is x at least as big as j?
True
Suppose m + 1 + 1 = 0, -k = 3*m - 235. Suppose 4*u = 5*f + 479, 2*u + 27*f = 30*f + k. Is u smaller than 116?
False
Let f = -108 - -100. Let k be -5*(1 - (-9)/5). Let q be (-29)/3 - k/21. Do q and f have the same value?
False
Let p be -150*(21/4)/(-14 - 1417/(-104)). Is p equal to 2098?
False
Let j be 8720/(-65) - 6/(-39). Let x = 135 + j. Which is smaller: x or -1/11?
-1/11
Let t be 3/((-1)/(4/(-12))). Suppose 0 = -6*y + 7 - t. Which is smaller: 7/16 or y?
7/16
Suppose 5*y = -3 + 53. Let h = 123 + -129. Let j = h + y. Is j != 4?
False
Suppose 59 = 2*y + p - 8, -4*p - 187 = -5*y. Let c be 5/y + (1 - 71/7). Is -9 at most as big as c?
True
Suppose -12*c = -104 - 220. Let f be (-6)/14 - 11/7 - c. Is f greater than -28?
False
Let u be (8 - (-658)/(-105))*(-2)/4. Let q(p) = -p**3 - 13*p**2 - 40*p + 11. Let s be q(-6). Which is smaller: s or u?
s
Let k be (35 - 59)*21/(-24). Which is smaller: k or -0.97?
-0.97
Let i be (726/13 - 1) + 46/299. Let g = -35 + i. Suppose 2*d + 3*d = 5*f - g, -3*f + 10 = -5*d. Which is smaller: d or -3?
-3
Let d = 55 - 151. Let q = -3.8 + -88.2. Let o = d - q. Is o smaller than 2/13?
True
Let l be 1*(2 + -1)*31. Let y be (6/9)/(l/6). Let x be (-48)/462 + (-2)/11 - 164/(-574). Do x and y have different values?
True
Let q be ((-9180186)/24)/(22/3). Let x = q - -52162. Let v = x + -30/11. Is v less than or equal to 1/2?
True
Suppose -814 = 15*a + 1412 - 321. Which is smaller: -636/5 or a?
-636/5
Let h be 0 + 12/28 + (-9595)/420 + 17. Which is greater: h or 0.5?
0.5
Let y(m) = m**3 - 46*m**2 + 79*m + 15. Let d be y(43). Is d smaller than -2135?
False
Let u be (2/1)/(-146*(0/(-3) + 1)). Let q = 4.09 + -0.09. Let j = q - 4.1. Which is smaller: u or j?
j
Let p = 153045.9 + -153046. Let d = -0.304 + 0.447. Which is bigger: d or p?
d
Let w = -7.4 + 7.5496. Let y = w + -0.0496. Which is smaller: y or 18?
y
Let j be (-10)/15*1*(-6)/64. Let i = -1861/10096 - 2/631. Let n = j - i. Is n < 0.07?
False
Suppose 36*f - 2372 = -2444. Which is smaller: 5.063 or f?
f
Let x = 8576.2 + -8576. Which is greater: 176.8 or x?
176.8
Let v = -744 - 476. Let b = v - -1017. Which is smaller: -204 or b?
-204
Let w = -0.3125 - 0.0605. Let u = 1.473 + w. Is u smaller than -9?
False
Let c = -471654 + 16401767852/34775. Which is smaller: c or -1?
-1
Suppose -p - 11*p = 348. Let y = -151 + 122. Is p bigger than y?
False
Let s be (-1132)/(-2547) - 4208/234. Is -19 at most as big as s?
True
Let m be (0/(-2))/(-1 - 1). Let o be (-2 - 14764/(-6237)) + 88/(-242). Is m equal to o?
False
Let b = 25587387/254 + -100738. Are -1 and b non-equal?
True
Let p be (-28)/8*(1 - (2 - -1)). Let m be 143/(-165)*p*(-5)/2. Is 15 less than m?
True
Suppose 2*n - u - 133 = -3*n, -4*u + 8 = 0. Let b(k) = 2*k - 51. Let w be b(n). Is w bigger than -0.1?
True
Let f = -16727 - -16726. Is -2/1633 smaller than f?
False
Let p be (81/4)/(4/(-16)*1). Which is smaller: p or -11?
p
Let b = 53/4 - 277/20. Suppose 2*h + 5*m + 6 = -6, 3*h + 3*m + 36 = 0. Which is greater: h or b?
b
Let y = 53.19 - -3.61. Let n = 56.8 - y. Let z = 41 + -21. Is n smaller than z?
True
Let r = -109 + 152. Let m = r - 46. Let s = 59/2 + -30. Is s at least as big as m?
True
Suppose -c + 5*l = 2*c - 11, -2*l = -c + 4. Let h(n) = -n**3 + 3*n**2 - n + 2. Let g be h(c). Let b be (3 - 7)/4 + (2 - 2). Which is bigger: b or g?
g
Let w = -122.731 + 123. Let t = -3333 + 3333. Which is bigger: t or w?
w
Let i = -3340510/6969 - -12/2323. Is i > -480?
True
Let i = -27 - -47. Let h be (28/i)/(2/(-1474)). Let j = h + 1028. Is -5 equal to j?
False
Suppose -2*t - 4*y - 23 = -3*y, 5*t - 3*y + 74 = 0. Let l(n) = n**3 + 13*n**2 + n + 14. Let w be l(t). Suppose 0 = 3*c + 3*x + 9, x + w = -2. Is 2/155 <= c?
False
Let s(u) = u**2 - 9*u - 26. Let b be s(11). Let z be (-7)/(-14) + (-10)/b. Suppose 18 = z*g - 3*f, -9*g - 5*f + 6 = -10*g. Which is greater: -1 or g?
g
Let i = -135315 + 135302. Suppose -4*h - 90 = h + 3*x, 25 = -5*x. Is h less than i?
True
Let k be -5 + (5 - -13 - -3) + -8 + -10. Which is smaller: k or -71/21?
-71/21
Let r(o) = o**3 + 25*o**2 - 25*o + 20. Suppose 0 = -39*f + 31*f - 208. Let g be r(f). Suppose 5*v + 14 = -i - 3*i, 0 = -4*i + 3*v - 30. Are g and i non-equal?
False
Let c = 277 - 274. Suppose 0 = 2*s, 2*w - c*s = s - 2. Which is smaller: -13 or w?
-13
Suppose 6*q = -16*q + 3*q. Let r be (q + (-40)/15)*(-195)/10. Is r greater than 53?
False
Let q = 0.49 - 2.59. Let v = 2 + q. Which is smaller: v or 2?
v
Let c = 5887286/1005 + -5858. Is c not equal to -1?
True
Let m(v) = 5190*v**3 + 3*v**2 - v - 3. Let r be m(-1). Let a = 67397/13 + r. Which is bigger: a or -4?
-4
Suppose -o - 2*h - 5 = -1, -o - h = 0. Suppose -o*q + 5*j = 6, j + 10 = -3*q + q. Let c be 0/(0*(3 + q) - 1). Are c and -2/9 equal?
False
Let l = -1452 + 1175. Which is smaller: -271 or l?
l
Let d = -140 - -144. Suppose 4*r + 4*c = 48, d*r + 5*c - 6*c = 33. Suppose -47 = -3*l - 2*l - 3*p, 4*l + 3*p = 40. Is r < l?
False
Let z = 773/2915 - -2/265. Suppo