e -42*r + 45*r = 2*j - 181, 5*r = -5*j - 335. Is r less than or equal to -65?
False
Let h be 1*2/4*4. Suppose 4*p - 2 = 18. Let v be p/15 - 50/15. Are h and v nonequal?
True
Let o be -6 + -1 - (-148)/(-8)*-2. Let j(m) = m**2 - 3*m + 2. Let l be j(2). Let q = 0 + l. Is q != o?
True
Let j = -230/37 - -9698/703. Is j < 7?
False
Let o = 15459.7 + -15460. Is 464/13 at least o?
True
Suppose 296 + 302 = -3*l - 2*t, l + 4*t = -206. Let n = l - -173. Is n > -19?
False
Suppose -h - 2*h - 12 = 0, -3*o + 4*h = -19. Suppose 0 = t - 4, 0*d + 3*t - 24 = 3*d. Which is smaller: o or d?
d
Suppose 3*b + f - 212 - 290 = 0, 2*b - 365 = -5*f. Which is greater: 183 or b?
183
Let g(s) be the second derivative of -2*s**3/3 + 53*s**2 - 6*s - 9. Let l be g(18). Do l and 31 have the same value?
False
Let s be 26/117 - 3412/36*-1. Suppose 38*j - 33*j - s = 0. Which is smaller: 0 or j?
0
Let r be 12/270*3 + 2837/(-15). Let m = 117 + r. Let q = m - -70. Which is bigger: q or 4?
4
Let r = 44 + -18. Let u = 29 - r. Let l be -14 - (4 - u)*-2. Which is bigger: 0 or l?
0
Suppose -2*w - 7*k + 8*k = 277, -429 = 3*w + 3*k. Is -0.4 less than w?
False
Suppose 4*i + 3*z = 24977 - 1, 3*z = i - 6214. Is i smaller than 6238?
False
Let b(y) = -13*y**2 + 808*y - 140. Let r be b(62). Let d = -6 + -10. Is r equal to d?
True
Let k(i) = 69*i - 1. Let p be k(-4). Let c be 4 - (-4 - p/3). Let q = c - -85. Is q < 42?
True
Let f = -21111106/591 - -35721. Which is smaller: f or 0.1?
f
Let x be ((-408)/40)/(878/(-110) - -8). Which is greater: x or -563?
x
Let h(c) = -50*c + 355. Let z be h(7). Is 42 > z?
True
Suppose -2*t - 248 = -5*y, -2*y + 0*y - 5*t = -76. Which is bigger: y or 46?
y
Let l = -348 - -351. Suppose 3*r + 11*f - 6*f + 17 = 0, l*r = 3*f - 33. Which is bigger: -10 or r?
r
Let p(g) = 3*g + 2739 - 5*g - 2809. Let r be 64/(-3) - 3/(-9). Let n be p(r). Do n and -27 have different values?
True
Suppose 3*x = 7*x. Let l = -5/38504 + 78643/12590808. Which is greater: l or x?
l
Suppose -4*f + 0*f = -8. Suppose 0 = 16*m + 31 - 271. Let y be m/16*4 - (3 - 1). Is f >= y?
True
Let c = 4963 - 1909. Is 3053 >= c?
False
Let l(f) = 240*f**2 + 128*f - 254. Let h be l(2). Is h not equal to 4?
True
Let x = -9454 - -9199. Which is bigger: x or -3/11?
-3/11
Let o = 0.14 - 0.115. Let w = -0.938 + 1.038. Which is bigger: w or o?
w
Let f = 5/306 - -233/306. Which is bigger: f or -30/7?
f
Let a be (-51)/(-90) + (-4)/10 + (-51)/252. Which is smaller: a or -112?
-112
Let y = 190/9 - 137044/6489. Is y less than -1?
False
Let c = -0.12 - -0.02. Let k = -18020 + 18032.6. Is c at least k?
False
Let z be -2 + -16 - (-123988)/6913. Do 1179 and z have the same value?
False
Suppose -m + 0*m = -3. Suppose -4 = m*y - 25. Suppose -y*v + 34 = -127. Which is smaller: -1 or v?
-1
Let j = 11 - 8. Let l = -291.97 + 163.84. Let g = l - -128. Is g bigger than j?
False
Let u be (-1 - 1)/((5 - -6)/(-11)). Suppose 3*c = 2*n, 2*n = n - u*c. Which is smaller: n or -6?
-6
Suppose 983*v + 209 = 972*v. Suppose 3*n + 7*c - 3*c = -15, 3*c = 0. Let t(f) = 3*f - 3. Let o be t(n). Is o less than v?
False
Let a = -268/1327 + -19335423/14597. Let f = a + 1323. Let p be (-34)/(-85) - ((-864)/90 - -12). Are f and p unequal?
True
Let c be -31 - -22 - (-1 - 2). Let q(a) = -a**3 - 6*a**2 - 5*a - 12. Let d be q(c). Let u be ((-2)/(-10))/(d/(-45)). Is -91 <= u?
True
Let y be 5/4 + (0 - 1). Let n = 6076 + -6076. Which is smaller: n or y?
n
Let c(b) = 3*b + 356. Let u be c(-70). Are u and 151 equal?
False
Suppose 2*g = 2*o - 48, -o = -5*g + 3*g - 28. Let a be 4*(-3 + 1255/o). Is a greater than or equal to 238?
True
Let n(d) = 153*d - 7612. Let h be n(65). Are -7 and h unequal?
True
Suppose -k = -8*k. Suppose -2*q + 3*q = 2*o + 5, k = 4*q - 20. Is 2/1779 smaller than o?
False
Let y = 383 - 302. Let b = y - 63. Which is smaller: b or 6?
6
Let q = -5.5926 + -0.9604. Let p = -6.6 - q. Let x = -45 - -44.9. Is p at least x?
True
Let o be (-2)/26 - (-2 + 570/195). Which is smaller: o or 2/777?
o
Suppose -8 = 2*d - 5*c, -4*d + 10*c - 16 = 5*c. Let y be (-2)/(-2) + (-190)/174. Let t = -2309/435 + y. Is d greater than or equal to t?
True
Let j = 243 - 243. Let v be j + (4 - -18) + -4. Is v bigger than -9?
True
Let c = 6.01 + -6. Let o = -4.01 + c. Let a = 1.692 + -1.622. Which is smaller: a or o?
o
Let r be (208/(-8))/((-12)/90). Let i be (-10)/2 + (r - -1). Is i at least 192?
False
Let t(s) = s**3 - s**2 - 3*s - 4. Let n be t(4). Let l be ((-40)/n)/((-1)/4*1). Suppose a - 5*b + 10 + 28 = 0, -4*a = -l*b + 107. Which is smaller: a or -24?
-24
Let c = -3138.982 + 3139. Which is smaller: -54 or c?
-54
Let b be (948/(-48) + 20)*-11516. Is -0.4 > b?
True
Let n = -18277/5 + 3660. Is n bigger than -67?
True
Suppose 0 = -174*u - 14387 + 1511. Which is smaller: -87 or u?
-87
Let y(t) = t - 690. Let w be y(-65). Which is greater: w or -754?
-754
Let n = 249 - 61. Let g = n - 745/4. Let t be (3 - 5)*6/(-4). Are t and g equal?
False
Let g(j) = 14*j**2 - 5*j + 4*j**2 + 0*j - j**2 + 5. Let v be g(2). Let o = -62 + v. Is o at most as big as -1/88?
False
Let i = -82 + 89. Suppose -7*u + 14*u - i = 0. Is u smaller than 21/10?
True
Let w be (164/7)/(8/56). Let a = 286 - w. Is a bigger than 1?
True
Let t(n) = -25*n + 192. Let v be t(23). Let g = -372 - v. Which is greater: 68/7 or g?
g
Suppose 12*y - 9977 + 1349 = 0. Which is greater: y or 718?
y
Let d = 58 + -52. Suppose 30 + 24 = d*l. Let v = l - 56. Which is smaller: v or -48?
-48
Let q be 1*(1 + -3*4). Let s = 32.6 + -248.6. Let b = s + 216. Which is smaller: q or b?
q
Let a be (4/(-3) - -1)*0 - -153. Suppose -3*b = a - 0. Is b <= -51?
True
Let m = 394956/173 - 2283. Let d = -8893/492877 - m. Is 0 smaller than d?
False
Let o = -4836 - -4836.57. Which is smaller: -5/9 or o?
-5/9
Let z be 10 + (-7)/1 + -3. Is 27/164 < z?
False
Let j = 46 + -45.998. Let x = j - 0.302. Let n = x - -0.3. Is 0.41 >= n?
True
Let d = -1864 + 1777. Let j = 98 - 184. Is j less than or equal to d?
False
Let s(o) be the third derivative of -o**4/8 + 5*o**3/2 - o**2 + 49*o. Suppose -13 - 12 = -5*b. Let u be s(b). Are 4/7 and u nonequal?
True
Let f be ((-15)/10)/((-259)/(-28) - 100/10). Is 178/61 smaller than f?
False
Let x = 0.3781 + -0.1781. Which is smaller: x or -13.42?
-13.42
Suppose 50038 = 189*y + 17341. Is 697/4 equal to y?
False
Suppose 0 = -2*s - 9*o - 292, -3*o = -381*s + 382*s + 158. Suppose -2*l = -4, -4*i - 141 = l + 589. Are s and i equal?
False
Let m = -7.53 + 48.53. Which is smaller: -16 or m?
-16
Suppose -63*i + 2*i = 85400. Let x = 46204/33 + i. Is x <= -1?
False
Let h = 21778 + -21829. Let x = 33 - 85. Are h and x equal?
False
Let i = -2 - -2. Let v = 22421 - 381178/17. Which is smaller: v or i?
v
Let z be -6*(63/(-6))/(-3). Let g be (-4)/(-6) + (11 - (-308)/z). Which is bigger: -29/10 or g?
-29/10
Let z be (4/10)/(9/3 + (-18040)/6000). Let q(l) = 38*l - 8. Let a(o) = -57*o + 12. Let b(r) = -5*a(r) - 7*q(r). Let f be b(-3). Is f smaller than z?
True
Let x(f) = 180*f - 93. Let v be x(1). Is 87 not equal to v?
False
Let i be ((-551)/(-180) - 3) + 6/45. Let u = -1109 - -1110. Which is bigger: i or u?
u
Let j be -7 + (-8)/((-56)/(-49)). Let w be ((1464/14)/(-4))/(2/j). Is w < 182?
False
Let p be (4 + (6 - (-116)/(-12)))*-15. Let r(c) = 23*c**2 - 3*c - 4. Let a be r(p). Which is greater: 585 or a?
a
Suppose -4*l - 2*l - 510 = 0. Let b = 27 + l. Let c = b + 81. Which is smaller: 25 or c?
c
Let z(w) be the third derivative of -5*w**4/8 + 41*w**3/6 - 4*w**2 - 4. Let y be z(3). Is -55/18 <= y?
False
Let j = -440 - -440. Let w be 182/36*28/147. Is j at least as big as w?
False
Let p be ((-6)/270)/((-38)/(-4)). Suppose 208*i - 34*i + 83*i = -i. Is i at least p?
True
Let g = -45566/183 + 249. Are g and -1 equal?
False
Suppose -50 = j + 2*j - 5*r, 4*r = 3*j + 55. Let v be (11/(-135 - -3))/(1/j). Is v smaller than 3?
True
Suppose -35 = -4*g - u, g + 4*u - 3*u - 8 = 0. Suppose -x - 10 = -2*l + 3*x, g = -3*x. Is -7/3 != l?
True
Suppose -35211 = 19*z - 5623 + 37045. Is z greater than -3504?
False
Let f be 19027/(-1139924)*(2 - 1). Let c = -1/283 - f. Do c and 1 have different values?
True
Let p be (30560/72)/(-4) + (-1 - 7/(-9)). Let w be (214/4)/(1/(-2)). Which is greater: p or w?
p
Suppose 63*h = -2*h - 273130. Which is smaller: h or -12608/3?
-1260