= -792 + u. Is l equal to 0?
False
Suppose -5*y + 15 = 0, w = -0*w + y + 75. Let f be ((-3)/60)/(w/45 - 0). Is f smaller than -1?
False
Let r be 4/26 + (-171)/13. Let a(z) = z**3 + 15*z**2 + 28*z + 25. Let d be a(r). Which is smaller: d or -4?
-4
Let q = 3554 + -10216. Is q equal to -6662?
True
Let h = -4083 + -456. Which is smaller: 0 or h?
h
Let u be 7*((-174)/45 - 14/105). Let s be (42/(-15) - -3) + u/(-10). Suppose i + 12 = 4*t, -s*t + 8*t + 132 = -4*i. Which is smaller: -27 or i?
i
Let k = 13532 - 13496.1. Is k less than or equal to -7/3?
False
Let d = 720 - 496. Let x = -2465/11 + d. Is x equal to -1?
False
Let y = -40886243/91 + 449306. Let t = 48/7 - y. Which is smaller: -2/5 or t?
-2/5
Let r = 143 - -270. Let t = 402 - r. Which is smaller: t or -54/5?
t
Let x = 6623 + -7473. Is -854 at most x?
True
Let l = 507 - 506.679. Let t = -0.079 - l. Which is smaller: t or -0.2?
t
Let m = 1725.61 + -1689. Let r = m + -37. Let y = r + 0.34. Are -2 and y nonequal?
True
Let n(x) = x**2 + 54*x + 373. Let m be n(-46). Which is bigger: m or 29/7?
m
Suppose 8 = 3*m - h - 5, -h - 1 = 0. Let v be -1 - (-1 + -1)*2/m. Let g be (2 - v - -10)*16/(-32). Which is greater: 7 or g?
7
Let z be (-2)/(-3) + 0 + 193227/1422. Let n = z - 273/2. Which is smaller: n or -0.1?
-0.1
Let h = 1886.242 - 1886.3. Which is smaller: -52 or h?
-52
Let v be 6/120 + 3/(1020/(-6868697)). Is v greater than -20203?
True
Let m be 287 + -286 + 17/(-5). Do m and 37/2 have different values?
True
Let b be 7208/(-170)*(-10)/4. Let q = -104 + b. Suppose 5*i + q*i = -14. Is -1 greater than or equal to i?
True
Let r be 20*-2*(-5)/20. Suppose -4*l - r = -u - 0*l, -2 = 2*l. Suppose -3*g - 9 + u = 0. Which is smaller: -1/14 or g?
g
Suppose -426*v + 319*v = 11449. Is v >= -119?
True
Let u be (-5)/(-127)*(-147)/147. Let w be 0*(2 + 1 - 14/4). Which is smaller: w or u?
u
Let n be (-41)/6 - 12/(-36). Suppose 2*r + 46 = 2*h + 2*h, 0 = -4*r - 5*h - 53. Let t = -24 - r. Is n >= t?
True
Let b = 1.844 + 2066.156. Which is smaller: b or 0?
0
Suppose -3*d = -3*f + 12, 2*f - 4*f - 5*d = -1. Let p be ((8*3)/(-3) - f)/1. Is p <= -53/5?
True
Suppose 0 = -2*f - 5*m + 37, 0 = f - 2*m + 11 - 7. Let b(y) = -2*y + 12. Let o be b(f). Which is smaller: o or 12/89?
o
Let l = -96729/4 + 24181. Is -7/53 greater than or equal to l?
True
Let d = -3.5 - -5.1. Let u = -49.6 + d. Let f = u + 48.2. Is 16 greater than f?
True
Let x = -15244 + 15246. Which is smaller: 57/22 or x?
x
Let u be (-3)/183*-67035 + -5. Let t = u + -1094. Is t >= 0?
False
Let q be 4/(4160/(-30)) - 0. Is 0.4 equal to q?
False
Let s = -50 - -115. Suppose 2*u + 0*u = n + s, 3*n = -5*u + 135. Let d be -2 - (u/(-153) - (-8)/12). Is d at least -1?
False
Let p be (-16)/(-28) - ((-1 - 6) + (-1601314)/(-211498)). Is -1 at least p?
False
Let l be (-2)/4*7/2. Suppose 3*n - c - 7 = 0, 4*n + 7*c = 5*c + 26. Let k be (n/18 - 0)/((-22)/(-66)). Is k greater than l?
True
Let j be -886*295/(-2756) - (-6)/39. Let k = j + -95. Is k greater than -0.1?
True
Suppose 6*s = 5*s + 40. Let t = -33 + s. Suppose -t*m + 4 = -3*m. Is m at least as big as -2/105?
True
Suppose 74 = 4*j + 42. Let d be (-2 + 3 + -25)*j/(-54). Does d = 5?
False
Let b = 88 + -265. Let s = 185 + b. Is 10 at most s?
False
Let g(p) = -p**2 + 7*p + 18. Let x be g(9). Which is smaller: x or -32/27?
-32/27
Suppose 152 = -2*m + 646. Let i = m + -381. Does -134 = i?
True
Let n = -579/2678 + -3/206. Suppose -19*x + 5*x + 5*x = 26*x. Is x equal to n?
False
Suppose -56*k = -69*k - 78. Suppose 2*m + 5 = 15. Suppose m*a + 18 - 3 = 0. Do k and a have the same value?
False
Suppose 0 = 10*s - 11*s - 6. Let q = -13 - -12. Let d be s/(-4)*q/21. Which is greater: d or 0?
0
Let f = -20 - -2. Let h(a) = a**3 + 17*a**2 - 17*a + 22. Let c be h(f). Suppose -2*s + c = 2*s. Is -3/22 >= s?
False
Suppose -2*y + 5*o = 4, 3*y - 11 = -0*o - o. Suppose d - 2 = 2*n + 13, -5*n - 40 = -y*d. Does n = -28/5?
False
Let w = 692 - 461. Let r = 183 - w. Does -47 = r?
False
Suppose -3*l + l + 8 = 0. Suppose -2*r = -14*t + 9*t + 376, r + l*t = -188. Is -188 != r?
False
Let g = -18.7 - -45.7. Let b = g - 36. Which is greater: 6 or b?
6
Suppose 6 = 3*s - 3. Suppose -22*z + 15 = -23*z. Let v be (-126)/z*(-70)/(-189). Are v and s equal?
False
Let o(l) = -3*l**2 - 178*l - 664. Let t be o(-4). Is 3/451 at least t?
True
Suppose 0 = -33*m - 14*m + 47. Is m greater than 1/1146?
True
Suppose 4*a = -5*y - 3273, -19*a + 14*a - 621 = y. Which is smaller: y or -2?
y
Suppose 5*u - 8 = -2*w, -4*w - 3*u + 13 + 3 = 0. Suppose s = -4*i - 14, 3*i + w = s - 2*i. Which is smaller: 1 or s?
s
Let s = -1959.355 - -1953. Which is smaller: -1/2 or s?
s
Let j(z) = z**2 + 11*z - 33. Let y be j(-18). Let b be 3*((-2)/(-6) + -1) + 6. Let d be -2*b/8 + 95. Which is smaller: y or d?
y
Let m(x) be the first derivative of -x**2 - 10*x + 17. Let r be m(-5). Let a(v) = -v**3 - v**2 - v + 15. Let c be a(r). Which is bigger: c or 17?
17
Let g = -186407/15 - -12415. Is -0.1 less than g?
False
Let h(k) be the second derivative of k**6/720 - k**5/10 - 5*k**4/3 + 2*k. Let p(a) be the third derivative of h(a). Let u be p(5). Which is smaller: -5 or u?
u
Let s be -1*(177/(-7))/3. Let v = 42079 + -42071. Which is greater: v or s?
s
Let x(k) = -9*k + 46. Let o be x(5). Which is smaller: o or 2/877?
2/877
Let g = -2/159 + 2590/3657. Suppose -8*s + 6*s + 4 = 0. Is s <= g?
False
Let r = -12.183 - -9.183. Let i(y) = -7*y**3. Let j be i(1). Which is smaller: r or j?
j
Let k be 6 + (-8715)/266 + 2 + (-1)/2. Which is smaller: -26 or k?
-26
Let y be (108/(-5) - -21) + (-2601)/15. Is y less than or equal to -179?
False
Suppose 5*o + 2*i - 321 = -0*i, 5*o - 2*i - 309 = 0. Suppose -5*z + 2*z = -o. Let m(x) = x**2 - x - 5. Let s be m(-2). Which is smaller: s or z?
s
Let i(h) = h - 5. Let b be i(5). Let y = 706 - 685. Let m be ((-14)/y)/(23/6). Are b and m unequal?
True
Suppose -3*f + 0 = -36. Let x(v) = v**2 - 11*v - 9. Let l be x(f). Let y be (-30)/(-4) + l/6. Which is smaller: 12 or y?
y
Let o(p) = 7*p - 5. Let y be o(11). Let t be (-2)/6*y/152. Let h = 370 - 370. Is h <= t?
False
Let c(y) = 5*y**2 - 36*y - 228. Let o be c(11). Suppose -3*i = -3*m + 54, 2*m - 72 = -0*i + 4*i. Which is smaller: o or i?
o
Let b be 1/(-5) + (-15841560)/11325. Let o = b - -1399. Is 0 greater than o?
True
Let t = 7096 - 6529. Which is smaller: t or 569?
t
Let p = -13.9 - -14. Let l = 1/1122 - -733/16830. Which is smaller: l or p?
l
Let s = -1.0313 + 4909.0313. Which is greater: s or -1/3?
s
Let g = -2171 + 2169. Suppose 4*n - 85 = -17. Which is smaller: g or n?
g
Let p be 7 - (-3 + 8 - 3). Suppose -75 = p*m + 60. Let a(i) = -9*i + 35. Let d be a(7). Is m not equal to d?
True
Suppose -6*a + 5*d - 5636 = 0, 0 = 2*a - 9*d + 8*d + 1880. Which is bigger: a or -939?
-939
Let h be (-8)/(-6) - 1 - 1. Let p = 1.77 + -2.378. Let y = p - -12.608. Which is greater: h or y?
y
Let z = -1975 - -1884. Let a be (-23 - -21) + 0 + (-176)/2. Which is bigger: a or z?
a
Let c be (2/4)/((-44)/(-10)). Suppose 33*g - 11 = 22. Is g greater than or equal to c?
True
Let p = 4096 + -2317. Is 1780 <= p?
False
Let t be 6/4*4/15. Let i = 47.141 + -0.141. Let r = -51 + i. Which is bigger: r or t?
t
Let g = 1.102 - -586.898. Let o = g - 331. Which is bigger: o or -0.1?
o
Suppose 305*b = 310*b - 505. Suppose -b = -5*v + 259. Is v < 76?
True
Let h = 7712 + -7712. Are h and -1/34841 nonequal?
True
Let s = 48078/5 + -9648. Let o = s - -6976/215. Do 2/3 and o have the same value?
False
Let i be ((-2)/16)/(((-63)/(-300))/(-7)). Suppose -107*s + 11 = -104*s + 2*d, 3*s + 5*d - 5 = 0. Which is greater: s or i?
s
Suppose 73 = -l + 2*w - 5*w, -5*w - 65 = l. Let k = -162 - l. Let g be ((-312)/k)/2 - (-24)/(-12). Is g != -1?
True
Let u = 14563 - 14537. Which is smaller: u or 888/35?
888/35
Let a be 3/(-2)*(91 + 5). Let k be ((-187)/68)/(2/a). Suppose -9*r - 36 + k = 0. Which is smaller: 16 or r?
16
Let l be (108/15)/((-297)/(-22770)). Which is smaller: l or 558?
l
Let b be (-13135)/104 - (13/(65/(-10)))/(-26). Is -127 > b?
False
Suppose 22 - 58 = 4*c. Let f be 12/c - 6/9. Let m be 1/(-20)*2/f. Is m < 1?
True
Suppose 0 = 3*o + 3, o + 234 = -4*h - o. Let t = -61 - h. Suppose -2*g + 3 = 17. Which is smaller: g or t?
g
Let a(i) = -i**3 - 5*i**2 + 8*i + 12. Let y be a(-