*u, 0 = t - 3*u + 3. Which is smaller: 2/35145 or t?
t
Let z be ((-417)/(-6))/((14/(-8))/7). Let j = 3.71 - 3.61. Which is bigger: j or z?
j
Let y(c) = -9*c**3 - 3*c**2 + 5*c + 3. Let h be y(2). Let j be 138/(-1)*28/56. Which is smaller: h or j?
h
Let u = 302 + -302. Let i be ((-66)/44)/(u - 9/2). Which is greater: 207 or i?
207
Let c(i) = -i**3 + 8*i**2 - 5*i - 15. Suppose -5*f + 43 = -4*q, 0 = -2*f - 6*q + 7*q + 16. Let z be c(f). Which is bigger: 1/79 or z?
1/79
Suppose -2*c = -9*s + 12*s - 5515, 3*s = -4*c + 11045. Does 2766 = c?
False
Let q = -534.1 - -480. Let c = -6.4 + q. Let u = c - -60. Which is greater: u or -2?
u
Suppose 71*w + 23425 = 66*w - 5*z, -3*w - 2*z = 14058. Which is bigger: w or -4689?
w
Let b be (-5)/(-3) - ((-42)/9)/(-7). Let q be ((-77)/(-20) - 0) + 6/(-2). Which is bigger: b or q?
b
Suppose 4*z - 49 = -3*d, z + 2*z = -2*d + 33. Suppose d*h - 3 = 12. Suppose 5 = -5*o + 15. Which is smaller: h or o?
h
Let l(t) = 10*t**3 - 2*t**2 - 7*t + 5. Let s be l(-3). Are -262 and s nonequal?
False
Let s be -263 + 261 - 1/((-1)/9). Which is smaller: s or -2?
-2
Let b = -21.6314 + 1.6314. Is b > -1/17?
False
Let w be (-114)/76 - 314/(-4). Suppose 0 = -35*a + 42*a - w. Let v be 1/(3 - (-64)/(-22)). Is a less than v?
False
Suppose 11*c = 50*c - 7739 + 101612. Is c at most -2405?
True
Let m(s) = s**2 + 12*s - 21. Let c be m(-10). Let p = 41 + c. Let n be 2 + 4 + p*(-2)/2. Is n >= 4?
True
Suppose d - 5 = 8. Let y = -43910 + 43922. Is d equal to y?
False
Let b be -1 + 358*2/(-14). Suppose -321*j + 14439 = -2253. Let z = j + b. Which is smaller: z or 7?
z
Let v(n) = n**3 + 14*n**2 + 16*n + 4. Let h be v(-13). Let j = 36 + h. Suppose 3 = 2*t - j. Which is bigger: 9 or t?
9
Suppose s - 24 = 4*w, -w - 5*s = -2*w - 6. Let b(q) = 101*q - 205. Let c be b(2). Is c at most w?
False
Let p be ((-9)/(-6))/(6/(-16)). Let a(f) = -f**2 - 3*f + 9. Let x be a(p). Suppose 13*t - 12*t = x. Which is bigger: t or 0?
t
Let n = -563.68 + -6.32. Let h = n - -560. Which is bigger: 0.21 or h?
0.21
Suppose -5*m + 4*l - 18 = -79, 0 = -m - 5*l + 18. Let p(v) = v**2 - 13*v + 7. Let c be p(m). Suppose -5*k + 5*f + 12 + 18 = 0, -2*k - f = -18. Is k < c?
False
Let g(p) = 785*p + 1641. Let b be g(-3). Which is bigger: b or -713?
-713
Let a = -14 + 35. Suppose -2*c = -483 + 479. Is a != c?
True
Let j(i) be the second derivative of -i**5/20 - i**4/2 - i**3 + 9*i**2/2 - i. Let l be j(-5). Let q be (l/(-4))/(-7) - -1. Is q smaller than -0.05?
False
Suppose 9*n - 53 + 44 = 0. Let t = 3 + -3. Suppose -4*b + 5*p = 15, t = 4*b + 3*p - 2*p - 3. Is b >= n?
False
Let p(w) = 112*w - 894. Let n be p(8). Let c = -35.052 - -0.052. Let s = c - -34.66. Which is smaller: s or n?
s
Let c be (-2 - 1/(-1)) + (-22 - 877). Let v be c/(-144) + 5*1. Is v smaller than 12?
True
Let w = 9.9797 - 17.9797. Let g be 32 + -2 - 2/2. Is g < w?
False
Let r be (3/(15/(-2)))/((-604)/(-3775)). Which is greater: -0.06 or r?
-0.06
Let w = -203 + 203.017. Let i = 4138/15 + -276. Which is greater: i or w?
w
Let l(x) = -x**2 + x - 11. Let d = -4 - -4. Let q be l(d). Let h be (-7)/((-21)/2) - 440/30. Is h bigger than q?
False
Let v = 10 + -4. Suppose 2*g + 4*m = -m + 233, 0 = m - 3. Suppose 3*t - 130 = -g. Which is smaller: v or t?
v
Let m = -44.46 - -66.46. Is -0.04 bigger than m?
False
Let z = -174 - -642. Let c be (-6)/(-4)*(-48)/z. Let a = 2 + -4. Is a not equal to c?
True
Let o = -199 + 216. Suppose -o*z = -576 + 236. Which is smaller: -2 or z?
-2
Let d(t) = -2*t**3 - 13*t**2 + 37*t + 101. Let i be d(-8). Which is greater: i or -396/131?
i
Suppose -355 = 42*v - 37*v. Let i = 72 + v. Let m be (-2 + 7 + 39)*i/(-10). Which is bigger: -5 or m?
m
Let a = -2503 - -2502.7. Let c be (-2)/7 - 69/(-21). Suppose 12 = -c*m - 0*m. Is a at least as big as m?
True
Suppose 3388*p - 3351*p = -37 + 74. Let v be ((-8)/(-2206))/(-2) + 0. Which is greater: v or p?
p
Suppose r + 0*r + 293 = 4*i, 3*i = -2*r - 630. Let z = r - -305. Is z >= 95?
False
Let f(k) be the first derivative of 3*k**4/4 + 13*k**3/3 + 2*k**2 + 5*k - 33. Let u be f(-4). Let n be 6/4*(-1 + 4). Is u less than or equal to n?
False
Let m be (-2)/(-8)*(22/10 - (-405)/225). Is m at most -4/5485?
False
Suppose -2*l - 4 = -2. Let n = -126.69 - -51.69. Which is smaller: n or l?
n
Let q = 456 + -4100/9. Let k = 101 - 58. Let j = -47 + k. Which is bigger: j or q?
q
Let y be 5/60*-123 - (18/(-8) - -2). Let a = -12 + -9. Let z = -31 - a. Is z less than or equal to y?
True
Let s be 32/(-24)*10/8. Let w be 100/(-80) + (-10)/(-4). Let g = w + -17/20. Which is smaller: s or g?
s
Let d(s) = -4*s**2 + 50*s - 26. Let h be d(11). Let a be (4 + -1)*(-2 - -1). Let l be (a/(-6))/((-1)/(-82)). Which is smaller: h or l?
h
Let m be (-545)/(-30) + -18 - 3/((-36)/(-95162)). Which is smaller: m or -7929?
m
Let j(q) = -69*q + 131*q - 32 - 55*q + q**2. Let y be j(-10). Let t = 0.02 - 5.02. Is t equal to y?
False
Let s = 2344.09 - 2344. Is s < 2335?
True
Let r = 15950/39 - 409. Let m = -46/273 - r. Are 0.12 and m equal?
False
Suppose 31*m + 3 = 32*m + 3*d, 4 = 2*m + 4*d. Is -24/65 greater than m?
False
Let x = -51 - -51.16. Let s = 0.06 - x. Let y = 0.063 + -0.124. Is y less than s?
False
Let q = 348.46 + -342.46. Let f = 162/1441 + 82974/338635. Let z = f + 2/47. Which is smaller: z or q?
z
Let a(b) = -b**2 - 12*b - 7. Let n be a(-9). Let o be 9/(18/n) + -3. Suppose o*i + 39 = 10*i. Is i less than 13?
False
Suppose -15 = -5*r + 3*q, 2*r + 4*q = -0 + 32. Let i be (r/24)/(1/596). Which is smaller: 148 or i?
148
Suppose 0 = -5*s + 2*v + 30370, -41*s - 2*v - 12154 = -43*s. Is 6071 bigger than s?
False
Let w be (-301)/(-3) - (-1)/(-3). Suppose -i + 5*f + 98 = 4*f, 2*i + 4*f - 214 = 0. Which is smaller: i or w?
w
Let r be (3 - -3)*(-1)/(-3). Let y be (2 - r)/(-2 - -4). Let p = -2/229 - -237/916. Which is smaller: p or y?
y
Suppose 127*m + 3*c - 20 = 128*m, 0 = -4*m + 3*c - 17. Let h = 4/585 + -869/41535. Is h at least as big as m?
False
Let c = 9440934984136/2691 - 3508337104. Let j = c - -786/13. Let n = j - 601/2070. Is -1 smaller than n?
True
Let m = -45 - -148. Suppose 106*q - m*q = 0. Does 3/53 = q?
False
Suppose w = -4*w - 15. Let c be 1 + -4*w/4. Let f be (c/(-10))/((-26)/(-13)). Which is bigger: 0 or f?
0
Suppose 0 = 223256*z - 223266*z - 10. Let j = -1733/435 + 102/29. Which is smaller: j or z?
z
Let y(u) = 5*u - 20. Let j be y(2). Let o be (-2)/j - 10287/135. Is o not equal to -74?
True
Suppose 4 = 5*l + 2*z - 15, -3*l - z + 12 = 0. Suppose -d = l*p + 59, d + 2*d + 197 = 5*p. Which is greater: d or -63?
-63
Suppose -3*g - 79 = 5*p - 4*g, 0 = g - 4. Suppose 1 = -3*t + 7. Let x be (-112)/p + t + (-6)/9. Which is greater: 8 or x?
x
Suppose -3*k - w = -10, 0 = -3*k + 5*k - 5*w - 18. Let q be (15/(-10))/(2/k). Let s = -1/991 - 31701/10901. Which is bigger: q or s?
s
Let r(a) = a**3 + 16*a**2 - 17*a - 1. Suppose 40*o = 32*o - 136. Let l be r(o). Which is smaller: 11/12 or l?
l
Let t(l) = -2*l**3 - 9*l**2 - 9*l - 69. Let h be t(-5). Suppose 0 = 3*r - 0 - 9. Suppose -m - 2*o = -h, -o = r*m + o + 17. Is -19/2 less than m?
True
Let j(y) = 5*y**2 - 11*y - 85. Let w be j(-19). Which is smaller: -0.1 or w?
-0.1
Let s(u) = u**3 - 10*u**2 + 11*u - 14. Let j be s(7). Let a(q) = -q**2 - 6*q - 28. Let r be a(5). Is j at most r?
True
Suppose 0 = -5*d + d + 32. Suppose -d*g - 4 = -4*g. Let t be (g/2)/(42/(-18) + 1). Do 1 and t have the same value?
False
Let o be 3/(((-6)/34)/3). Suppose 168*v = 56*v + 48*v - 3328. Which is smaller: o or v?
v
Suppose -97*m + 101*m - t - 31980 = 0, 0 = m + 4*t - 7961. Which is smaller: m or 7994?
m
Let f = 8209/14 - 4101/7. Are -4573 and f nonequal?
True
Let n be ((-1)/7)/(-1 - 0) + (-1076020)/7446292. Is n bigger than 1?
False
Let k be ((-17)/17)/(-8 + 4 + 3). Which is smaller: 23/54 or k?
23/54
Let b = -1.4 - 1.1. Let h = b + 2. Let o = -0.5 + h. Which is smaller: -14 or o?
-14
Let i = -109602151/50 + 2192567. Let j = i - 524. Let n = 0 - 1. Is n != j?
True
Let x be ((-12)/(-55))/((-369)/560). Let q = -4/123 + x. Let f be -1*10/5 - (-28)/16. Which is smaller: f or q?
q
Let k = 4119 + -4505. Do k and -1928/5 have different values?
True
Let b be -1 - 10/(-6) - (-18)/(-27). Which is smaller: 1/795 or b?
b
Let z(i) = i**2 - 35*i + 95. Let p be z(3). Let j be 7/(-4) - -1 - 3