*c = -5*z - 4. Let r be 11 + -8 + 8212/(-13). Let m = r + 629. Which is greater: z or m?
m
Suppose -13*j = -22*j + 63. Suppose j*i + 6*i = 520. Is i at most as big as 38?
False
Let w = -20743105/7971861 - -523/201. Is w < 1?
True
Suppose 306*a - 283*a = 23. Which is bigger: -2/8167 or a?
a
Suppose -4*y = -4*o - 132, 5*o - 3*y + 149 = -2*y. Suppose -5*f = -3*u - 10793, -5*f + 10788 = -0*f + 2*u. Let i = f + -2186. Is o smaller than i?
True
Let b = -470024/5001 - -4564681159/1900380. Let o = 2308 - b. Which is greater: o or 1?
1
Suppose -7 = -7*x + 7. Let y(q) = -8*q**3 - 4 + 7*q**3 + 0*q**3 - 7*q**x - 6*q. Let v be y(-6). Which is smaller: -6 or v?
-6
Let j be ((-209)/(-55) - 5)/((-171)/(-420)). Which is smaller: -4 or j?
-4
Let d be 49/60 + (-8 - 376/(-48)). Which is greater: d or 0?
d
Suppose -5*d + 6*d - 1252 = -4*b, 4*d = -5*b + 1576. Suppose 23*j = 27*j - b. Do j and 77 have different values?
True
Let l = -2739 + 2738.3. Which is smaller: -103 or l?
-103
Let n be (18 + -26)/((-12776)/6394 - -2). Let h = n + 4329. Which is bigger: h or 67?
67
Let u be -1 + 1264525/722700 + 6/(-8). Is -1 <= u?
True
Let s = 307/66 + -31/11. Let o = -3063.1 + 3063. Is s bigger than o?
True
Suppose -10720 - 12821 = -57*o. Is 414 at least o?
True
Let v = -1314 + 1251.3. Let s = 61.7 + v. Do 345 and s have the same value?
False
Let j(l) = 2*l**2 + 14*l + 23. Let i be j(-2). Suppose -4*t - i*g = 2*g - 40, -2*t + 26 = 4*g. Which is smaller: t or 1?
1
Let z = -401/6 + 6992/105. Let s = -2/13 + 27/91. Let b = s + z. Is b smaller than -1?
False
Let m(d) = -37*d - 148. Let b(z) = 21*z + 80. Let t be b(-4). Let k be m(t). Which is smaller: k or 3/295?
k
Let u be (-18)/(-5) - (-14)/35. Suppose 6*z + d = z + 12, -u*d = -3*z + 21. Let l be z/3 + 0/4. Is l less than -2/85?
False
Suppose -4*u + 254 = -2. Suppose 66*i - u*i = -12. Which is smaller: 1/8 or i?
i
Let d(k) = -k**3 - 3*k**2 - 2*k - 4. Let z be d(-3). Let p be (z/11 - (-2546)/(-88)) + 0. Which is greater: -29 or p?
p
Let g = 6924 + -6970. Which is smaller: 1.4 or g?
g
Let x = -3937 + 3938. Which is greater: 1/1922 or x?
x
Let i(k) = -k**2 - 23*k + 50. Let o be i(-25). Suppose 5*z + 0*m - 20 = -5*m, o = z - m + 6. Which is smaller: z or 176?
z
Let t be 12/(-6)*2*3*-15. Let v = t + -182. Which is bigger: -15/13 or v?
-15/13
Suppose 5*m + 2*s = m + 6418, 15 = -5*s. Let t = 51018 + -157802/3. Let c = t + m. Which is smaller: c or 23?
23
Let r = -0.1087 - 516.8913. Let j = 469 + r. Do j and 0 have the same value?
False
Let q = -291 - -301. Let p be ((-20)/(-8) - -3)*q - -5. Is 62 equal to p?
False
Let t be (3 - (-15)/(-10))*2882/(-109017). Let p = -1289130718/7449495 - t. Let f = 173 + p. Which is smaller: f or 1?
f
Let f = 30 - 42. Let u be (-6)/f - (-18)/(-35). Let r(x) = 70*x - 1191. Let v be r(17). Is v < u?
True
Let i = -17.9 - -20.9. Let q(j) = j**2 - 31*j + 49. Let y be q(27). Which is greater: i or y?
i
Let m = -4693/27630 + 77/614. Suppose 0*t + 5 = 2*j - 3*t, 3*t + 2 = -j. Are j and m equal?
False
Let t = -61.05 + 61.85. Which is smaller: -3.07 or t?
-3.07
Let g = 321 - 317. Suppose -5*v = -g*p + 4, -2*v - 6*p = -10*p + 4. Is -1/83 bigger than v?
False
Suppose -2 = -5*y - d + 1, -2*y = 4*d - 12. Let l = -1964075/9 + 218611. Let c = 380 - l. Is c greater than y?
False
Suppose -8*i = 2*i + 80. Let q be (i - -101)*(-13)/(-3). Let k = -5243/13 + q. Which is smaller: k or 0?
k
Let s = -4216 - -7478. Is 3261 < s?
True
Let k be 18/4 - 2/(-4) - 3. Suppose 2 + 4 = 3*d - 3*v, 2*d = -k*v + 8. Which is smaller: d or 1?
1
Let m = 0 - -0.1. Let o be ((-100)/(-40))/(100/72*(-6)/20). Is m less than or equal to o?
False
Suppose 0 = -58*a + 61*a - 420. Suppose a = -4*h + o, 3*h - o = 3*o - 92. Is -34 <= h?
False
Let a be -3 + 1576/(-72) - 1/9. Are 20 and a equal?
False
Let n = -1323.8 - -265. Is n >= -1?
False
Suppose k + 2 = 1. Let y be (-226)/(-904) - (-6)/(-4). Which is greater: y or k?
k
Let w = 511691/5840 + 299/365. Do 87 and w have different values?
True
Suppose 1103*c - 524744 = 1191*c. Which is bigger: -5962 or c?
-5962
Suppose -5*s - 5*t = 0, -22 = 5*s + t - 10. Is -7166 <= s?
True
Let f be (-1 + -3)/(-1)*((-3384)/96 + 35). Do f and 1/29230 have the same value?
False
Let b be (176/24)/(-11)*12. Let c be (-68)/b - 3/2. Is c >= 6?
True
Let y = -5443 - -5444.9565. Let w = 0.0435 + y. Which is bigger: w or -2.3?
w
Let x = -1232 + 1264.9. Let n = -127 + 127.2. Which is smaller: x or n?
n
Let b = -2032 - -1976. Is b at most as big as -223/4?
True
Let x(b) = b**3 - 5*b**2 - b + 5. Let m be x(5). Suppose m*o - 3*o - 3*k + 51 = 0, 2*o - 22 = k. Let c = o + -14. Is c >= 1/29?
False
Let x = 4743/97744 - -21/656. Is -1 less than x?
True
Let p be (50/(-8))/5 - 123/(-82). Let a be (-24)/(-15)*(-5 - 0 - -3). Which is greater: a or p?
p
Let i(s) = s**3 + 8*s**2 - 8*s + 17. Let b be i(-9). Suppose 0 = -o - o + b. Suppose -3*g - 4 = -l - o*g, -5*l + g = 10. Is l at least 1/97?
False
Let g be (1 + 17)*(-3)/2. Let x be (-26)/(-4)*(308 + -312). Which is smaller: g or x?
g
Let h = -3691.8 + 3688. Which is greater: 1/20 or h?
1/20
Let y = 0 - 0. Let s = -695477/55 - -12645. Is y != s?
True
Suppose -y - 20*z + 1 = -24*z, -2*y - 28 = -2*z. Let i(c) be the third derivative of c**5/60 + 3*c**4/4 - 7*c**3/3 + 2*c**2. Let s be i(y). Is 7 at most s?
False
Let o(f) = f**2 - 8*f + 2. Let k be o(6). Let h = -513/11 - -2799/77. Is k smaller than h?
False
Let p(a) = -a**3 - 23*a**2 - 43*a + 266. Let d be p(-21). Which is smaller: d or 306?
d
Let k = -2091.9787 - -2092. Is -2 less than k?
True
Suppose 0*d - 3*l - 64 = -2*d, 3*d - 126 = -3*l. Let f = d - 37. Let w = -375/4 - -72383/772. Are w and f unequal?
True
Suppose 0 = -10*y + 57 - 32 - 45. Let l = -2126.927 + 2157. Let c = -0.073 + l. Which is greater: c or y?
c
Suppose 3*l = 17 - 2, -145 = -b - 5*l. Suppose 14*o + b = -48. Let f(h) = h**2 + 9*h + 38. Let r be f(o). Is 74 at least r?
True
Let w be (1 - (3581844/188520 + -18))/((-6)/8). Is 1 greater than or equal to w?
True
Let m(x) = -14*x + 85. Let o = 92 + -86. Let f be m(o). Which is smaller: f or -2/99?
-2/99
Suppose 10346 + 36599 = -41*d. Which is bigger: -1146 or d?
d
Let f(y) = -212*y - 1128. Let m be f(33). Is -8124 < m?
False
Let c(y) = y**3 + 5*y**2 + 2*y + 7. Let l be c(-5). Let n = 3794 + -3695.94. Let i = -98 + n. Is i less than l?
False
Let d(w) = -w + 25. Let j be d(-13). Let s = 40 - j. Suppose -6*c - 16 = s. Does c = -13?
False
Suppose 319*n + 2325 = 226*n. Let b be (-90)/4 - 3/6. Which is greater: b or n?
b
Let a = -786 - -30656/39. Let q(w) = w**3 - 21*w**2 - 22*w + 5. Let r be q(22). Suppose -9*u - r = -14*u. Is a at most as big as u?
True
Suppose 40*p = -38*p + p + 77. Which is greater: 39/122 or p?
p
Let f = -282 - -319.6. Let i = 36.6 - f. Is 0.17 smaller than i?
False
Let z(q) = -q**2 + 8*q - 14. Let u be z(5). Does u = -2/30073?
False
Let s = 4 + -10. Suppose -3*j = 4*b + 32 + 34, -83 = 5*b + 4*j. Let h be (-124)/18 - (13 + b). Are h and s non-equal?
True
Let g(k) = -4*k - 8. Let y be g(1). Let j be (-15)/55*4/y. Which is greater: j or -1?
j
Let g = 261.9999 + 0.0001. Let t = g - 263. Which is bigger: 69/2 or t?
69/2
Let u = 7954.4 - 7954. Is -176 less than or equal to u?
True
Let x(p) = -p**3 + 67*p**2 + 186*p + 22. Let o be x(70). Is o > -1657?
False
Let j be (-12)/(846/422 + -2). Let u = -1200 - j. Let t = 65270/49 - u. Which is smaller: t or 1?
t
Suppose 9*v = -2*j + 5*v + 11758, 0 = -15*j - v + 88301. Is j less than -1?
False
Let j = 789 - 3821. Which is smaller: j or 0?
j
Let w(k) = 12*k - 66. Let c be w(6). Suppose 16 = -10*z + c. Is z less than or equal to -5/102?
True
Suppose -3*u + 4*r - 22 = -2*u, 0 = 2*r + 8. Let a = 34997 + -35039. Which is smaller: a or u?
a
Let u = -198.045 + 198. Let z = u - 0.155. Are 1.3 and z equal?
False
Let b(y) = y**2 - 8*y + 12. Let i be b(6). Let f be 13 - (-5 + 3345/180). Is i < f?
False
Suppose 4*t + p = -539, 3*p - 62 = -4*t - 591. Let a = 684/5 + t. Is -3/8 at least a?
False
Let n(x) = -x**3 - 38*x**2 - 161*x - 185. Let f be n(-33). Are f and -316 unequal?
True
Let d = 13820 + -14731. Which is smaller: d or -909?
d
Let o be (3 + 76/8)/((-1)/2). Let h be (-735)/(-1494) - (o/(-10) - 2). Which is smaller: h or 0.1?
h
Let p be 48/180 - ((-4)/6 + 1). Let x = 98.9 + -11.9. Let q =