e z(1). Let n be a/10*45/18. Is -41 smaller than n?
True
Let q = -776 + 787. Suppose t - 3*z - q = 48, z = -4*t + 171. Which is bigger: 1 or t?
t
Suppose 305*n = 103*n. Is n at most 2/32585?
True
Let v = 5.6 + 1.9. Let l = v - 8.68. Let z = -6.82 + l. Which is smaller: -2/11 or z?
z
Suppose 10*l = 32 - 12. Suppose -d = -3 - l. Let s be d + 18 + 0/(-1). Is s at least 22?
True
Let r be (10/(-16) - 1)*(-144928)/112. Does 2104 = r?
False
Suppose 89*z - 87*z = 4*o - 13300, 5*z = -3*o + 9923. Is 3321 bigger than o?
False
Let h = -107704 - -799379087/7422. Is h > -1?
True
Let c = 6493 - 6492.95. Which is bigger: c or 136/5?
136/5
Suppose -10230 = -5*l - 102005. Which is smaller: l or -18354?
l
Let y be (-4 + 90/21)*14 - 267. Let t = y + 2369/9. Which is greater: t or -31/5?
t
Suppose 3*u - 38324 = 6*n - 2*n, 0 = -6*u + 4*n + 76628. Which is smaller: 12767 or u?
12767
Let p = -2254 - -2303.7. Which is greater: p or 8?
p
Let n be 2/7 - (184/56 + -4). Let o = -30/31 + 86/217. Let a = o - -19/28. Is a at most as big as n?
True
Let d = 818 - 817.8. Which is greater: d or 1/14?
d
Let z = -5475580.004 - -5456804. Let y = -18700 - z. Let k = y - 76. Does 2/7 = k?
False
Let b = -54 + 81. Let o(c) = -3*c**3 - 7*c**2 + 7*c + 10. Let f be o(-3). Let z be (11 + 3 + -10)*f/1. Which is smaller: z or b?
b
Let z(m) = m**3 + 6*m**2 + 2*m - 3. Let x be z(-6). Let y = -17 - x. Let v = 123 - 130. Is y at least as big as v?
True
Suppose t = -2*v - 4, 5*t + 4*v = t - 12. Let g be (-6)/t - (4 - 5). Suppose 0 = o - 2*o, -g*z = 2*o. Is z < -1/73?
False
Let q(n) = n**3 - 8*n**2 - 7*n - 14. Let s be q(9). Suppose 3*x + x = s. Suppose -4*d = -d. Which is smaller: x or d?
d
Let v = 0.4118 - -118.5882. Are v and 1/7 equal?
False
Suppose -3*s + 8*a = 9*a - 104, 4*s = 4*a + 160. Let d(p) = -p - 10. Let r be d(s). Let b be (2 + -1 - 47) + 0. Is b bigger than r?
False
Let q(z) = -4*z**2 - 1. Let s be q(2). Suppose 2*h + 411 = 77. Let y = 151 + h. Which is bigger: y or s?
y
Let d(x) = -5*x**3 + x**2 - 5*x + 5. Let v(s) = s**3 + s**2 - s - 1. Let k(g) = d(g) + 6*v(g). Let z be k(-7). Let f = z - 68. Which is smaller: 4 or f?
4
Let l(z) = -z + 5. Let o be l(-21). Let f(j) = j**2 + 9*j + 39. Let t be f(-7). Let y = o - t. Which is bigger: 0.2 or y?
y
Let n = 3745 - 3805. Which is smaller: n or -2/13?
n
Let j = 1005757.039 - 1006468. Let m = 703.9 + j. Let u = -0.061 - m. Does -2/3 = u?
False
Let b be 4000/8 + 70/(-5). Is b < 1454/3?
False
Let b = -0.351 + 0.813. Let s = -1.538 - b. Which is smaller: s or 68?
s
Let g be (373 - -178) + 6/4*-2. Is g smaller than 548?
False
Let d = 4469 - 4247. Which is bigger: d or 0.1?
d
Let j = 1407895/1714 + 78/857. Which is smaller: j or 823?
j
Let k be (-6)/(-8)*(-48)/18*2/(-14). Is k equal to 7549?
False
Let m(x) = x**2 - 3*x - 2. Let a be m(-2). Suppose 0 = a*h + 1 + 31. Let o = -2 - 1. Which is greater: o or h?
o
Let b = -83480 + 500879/6. Let p = -0.076 - -70.076. Which is smaller: b or p?
b
Let g = -22169 + 28562. Is 6391 greater than g?
False
Let k = -0.09393 - -0.59393. Which is greater: 2040 or k?
2040
Let p = -151 - 12. Let g = -163.04 - p. Do g and 4 have different values?
True
Let t be (8 + 0 + -10 + 9)*22830/(-45). Is 0 equal to t?
False
Let o(f) = 13*f + 224. Let s be o(-17). Suppose 2*h - 2 = -2*p + 3*h, -p + h = -s. Which is smaller: p or -13/21?
p
Suppose -17*p = -12*p + 3740. Let r be (-17)/(p/2915) - (-1)/(-4). Which is bigger: 65 or r?
r
Suppose 0 = -69*f - 20*f - 3649. Does -14 = f?
False
Let w(d) = d**2 + 6*d + 7. Let p be w(-5). Suppose -2*x + 7*q - p*q = -11, 0 = -4*x - q - 11. Let f be (-6 - 0)/(-3) + x. Is -1/28 less than f?
True
Let k = -79 - -28. Suppose 647 = 10*j + 387. Let c = j + k. Is -24 > c?
True
Let s be 188/10*(-6)/12*-5. Suppose 50*h - s*h = 9. Suppose 18 = 3*z + 6. Is h > z?
False
Let n be 15/(-180) + (-227445)/36. Let a = n + 56932/9. Which is smaller: 7 or a?
7
Let j = -277579/4236 + -764/1059. Suppose -b - 2*b = 198. Are j and b unequal?
True
Suppose 0 = 2*d + 4461 - 4439. Is d smaller than -12?
False
Let p(y) = y**2 + 12*y + 5. Let v be p(-8). Let l be (2/432)/((27/2)/v). Is 1 at most l?
False
Suppose 2 + 3 = -m, -4*m + 4261 = 3*k. Let s be (-8560)/k - (-7 + 1). Which is greater: -1 or s?
s
Let w = 364 + -362.35. Let t = -0.35 + w. Is 1 greater than t?
False
Suppose 58*t = 56*t + 3*b - 46, 82 = -4*t + b. Let x be -2*(-92)/(-32)*4. Which is greater: t or x?
t
Let a = -67 - -163. Suppose 0 = 5*m + 255 - 740. Does a = m?
False
Suppose -41*o = -46*o - 26700. Let a = 69379/13 + o. Which is smaller: -2 or a?
a
Let p(z) be the second derivative of -9*z**5/20 + z**4/12 - z**3/6 + z**2/2 - 16*z. Let u be p(1). Let v be (3 - -1)*20/u. Is v at most as big as -10?
True
Let h be (-2)/((-4)/6*(-3)/(-35)). Let l = -34 + h. Let b be 1*2/6*(-57)/l. Which is smaller: -17 or b?
b
Let x(o) be the third derivative of o**5/60 - o**4/4 + 23*o**3/6 - o**2. Let c be x(10). Let s be ((-6)/c*-7)/((-4)/6). Which is greater: s or 2/31?
2/31
Let s(d) = -77*d - 14. Let o be s(-1). Let n be 16/81 + (-14)/o*1. Which is bigger: n or -1?
n
Let m(h) = -h + 7. Let d be m(7). Suppose 20*w + 2941 - 961 = d. Which is greater: w or -97?
-97
Let j(r) = 34*r + 303. Let w be j(-8). Let i = -67 + 36. Let h = i + w. Is h at most as big as -24?
False
Let b be (1/(-12))/((-6)/(-112)). Let l(q) be the first derivative of -q**4/4 + q**3 + 5*q**2/2 - 6*q + 29. Let p be l(4). Which is bigger: b or p?
b
Let d = 0.4167 + -26.4167. Which is bigger: d or -0.04?
-0.04
Let t = 0.1 - 7.1. Let h = -69 - -77. Let a = h + t. Is a less than or equal to -7/6?
False
Let o = 86.3611 - 0.0611. Let t = o + -87.413. Let v = t - -0.113. Which is smaller: -8/7 or v?
-8/7
Let j = -109194 + 119785829/1097. Is 1 < j?
False
Suppose 202*s - 204*s = 658. Let u = -997/3 - s. Let n = 16 + -18. Is u equal to n?
False
Let b = -0.3343 - 2877.6657. Which is greater: 0.1 or b?
0.1
Let o = 3874 - 3871. Is -702 != o?
True
Let x = 1948 + -471. Let t = x + -19247/13. Which is smaller: t or -5?
-5
Let v be ((-45)/((-7875)/(-140)))/(2/(-1030)). Is v bigger than 393?
True
Let a be 1*(0/2)/4. Suppose -r + 18 = -a*u + u, 0 = -2*r - 10. Suppose 0 = 4*h + u - 7. Which is smaller: h or -6?
-6
Suppose 80429 = 96*c + 19853. Which is smaller: c or 2/9?
2/9
Let m be -17 + (3 + 2 - -1134). Which is bigger: 1124 or m?
1124
Suppose -h - 1 = -2. Let m = -179 + 182. Suppose c - 4 = j, m*c - 15 = -2*j - 3. Is h at most j?
False
Suppose 44*y - 43*y = -372. Let w = -239 - y. Which is smaller: w or -1?
-1
Let w = 312 - 311.8. Let q = -5.5 - 1.5. Let n = 1 + q. Which is smaller: n or w?
n
Let b be (-8)/(-32) - 39085/20. Which is smaller: -1953 or b?
b
Let h(u) = u**3 + 36*u**2 - 86*u - 369. Let z be h(-38). Is -4 bigger than z?
False
Suppose 2*i + 348 = 5*i. Suppose -3910 = 337*o - 42328. Is i <= o?
False
Let m = -2315 - -11679/5. Are m and -0.3 equal?
False
Let y = -297 + 303. Let v be -46*(2 + y/(-15)) + -2. Are -75 and v nonequal?
True
Let w = 197 - 379. Let s = w - -56. Let l = 71 + s. Is 0.1 less than or equal to l?
False
Suppose -7*k - 2*k = -2817. Suppose -6*f = k - 13. Let u be (-10)/(-35)*(-14)/f. Is u != 0?
True
Suppose 98820 = -61*c + 366*c. Is c >= 284?
True
Let a = 30094 - 30697.2. Is -1/3 < a?
False
Suppose 14*r = -11792 + 61856. Let t be 15/50*-1*r/(-18). Which is smaller: 59 or t?
59
Let z = -5386 + 5369. Let d = 138 + -138.06. Which is smaller: z or d?
z
Suppose 9*j - 51 - 102 = 0. Let s be ((-34)/6*-1)/((-20)/(-60)). Is j <= s?
True
Suppose 0*y - y = -3*i - 5, 3*y - 4*i = 0. Let o be 1/(-1)*(y - (-55)/15). Are o and 100 equal?
False
Let x(m) = m**3 - 81*m**2 - 426*m - 203. Let z be x(86). Is z greater than 122?
True
Let i be (-2241)/21 - (8 + 6 - 10). Let k = 111 + i. Let x(l) = l**3 + l + 18. Let z be x(0). Which is smaller: z or k?
k
Let r(x) = 321*x + 42. Let c be r(2). Let q = -680 + c. Let u be 16/(-6) + (-6)/(-9). Are u and q equal?
False
Let v(p) = -8*p + 15. Let w(n) = 23*n - 46. Let i be (-21)/35 + 3/(-5)*9. Let o(a) = i*w(a) - 17*v(a). Let q be o(11). Is q not equal to 2/49?
True
Let o = -3.39 - -2.39. Is -657 < o?
True
Let z = -101.1 + -21.9. Let t = -125 - z. Let b = 10.86 + 0.14. Which is bigger: t or b?
b
Suppose 0 = 3*x + 3*b - 6, -2*x + 42 - 3 = -5*b. Let i be x + -7 - -1*17. Is 65