8715. Let t = -19 + -82. Which is smaller: t or q?
t
Let o be ((-1254)/(-285) - 4) + 41/(-10)*314. Which is bigger: o or -5149/4?
o
Let v(d) = 13*d - 6 + 41*d**2 + 69*d**2 - 113*d**2. Let z be v(5). Is -81/5 > z?
False
Let a be 6/6 - 41964/(-81). Let w = -519 + a. Let n = 266 - 265. Is w < n?
True
Let q be (0 - 1/2)/((-29)/116). Let x be 9/(7 + -4) + -8. Let o = x + 6. Is o at most q?
True
Let i = -1396 + 76779/55. Suppose 4*l - 23 + 23 = 0. Which is smaller: i or l?
i
Let n = -24671 - -24339. Which is greater: n or 0.02?
0.02
Suppose 116 = -24*g - 244. Let j(w) = -2*w + 6. Let q be j(9). Let v be (-30)/q + (-3)/2. Which is smaller: g or v?
g
Let q = -281 - -336. Suppose q*z - 4 = 59*z. Are -2/33 and z unequal?
True
Let d = -5/477 - -6251/4770. Suppose -x = 2*a - 4 + 5, -3*a = -2*x - 16. Is d <= a?
True
Let i = 3171 + -1959. Let j = i + -1185. Let u = -1 - -3. Which is greater: u or j?
j
Let m = 7194 + -107818/15. Let w = -377 + 1115/3. Let n = w + m. Is n less than or equal to 0.1?
False
Let h be 16*9989/14*-1. Let s be -3 + -2 + (-57064)/h. Is 0 != s?
True
Let q be -3 - ((-4620)/276 - -14). Which is smaller: q or 1/11?
q
Suppose -2*x = 5*a - 292, 28*a + 730 = 5*x + 32*a. Is x less than 82?
False
Let j = 1434 + -1463. Does 35 = j?
False
Let m(o) = -2*o**2 + 28*o - 132. Suppose -s + 3*c = -3*s + 6, 0 = -4*s + 2*c + 44. Let g be m(s). Are -46 and g non-equal?
True
Let y be (-1)/(-2) - 3153/6. Let s be (-236620)/y*(-9)/(-6). Let k = s + -676. Is k > -1?
True
Let b = 5224 - 5223. Which is bigger: -2/10179 or b?
b
Suppose -41*g - 1081 = -1040. Is g less than or equal to 3/814?
True
Suppose 0 = -5*q - 4*l - 561, 2*q = -2*q + l - 432. Let f = 108 + q. Let j be (f + 4 + -4)/(92/(-24)). Which is smaller: j or 0?
0
Suppose -5*b + 35 = 0, s + 33*b - 29*b - 6 = 0. Is -62 less than s?
True
Let i(t) = -t + 4. Let g be i(5). Suppose 5*j - 3*k = 23, -3*j + 6 = 4*k - 2. Let p be g + j + 552/(-180). Is 1 >= p?
True
Let g(h) = -57*h**3 + 12*h - 11. Let u be g(1). Let q be 2/(-9) + 94/18. Suppose 0 = 3*n - w + 176, q*n - 5*w + 82 = -228. Is n <= u?
True
Suppose -5*p + 124 = 154, -23 = -j - 2*p. Which is smaller: 33 or j?
33
Let q be (-27)/(-21) + 4/(-14). Let u = 634/141 + 8/47. Let w = u + -3. Which is smaller: q or w?
q
Suppose 0 = 33*x + 2073 + 1767 + 648. Which is greater: -1095/8 or x?
x
Let n be 121*(-3)/(-33)*-155. Let o = 91 - 61. Let z be ((n/o)/(-11))/(1/(-2)). Is z >= -11?
True
Suppose 0 = -2*i - 2*u - 1818, -2732 = -13*i + 16*i + 2*u. Which is bigger: i or -906?
-906
Let q be (7068/14)/3 - ((-440)/(-70) - 6). Which is smaller: q or 9?
9
Let z = -2197/7 + 5617743/17899. Which is bigger: 1 or z?
1
Let l = 9213 - 9213.1. Is -9100 at most l?
True
Let u = -92 - -113. Let o = 18 - u. Let w be (-4)/o*(-3)/47. Which is bigger: w or -1?
w
Let m be (-4)/10*(-1 + (-739)/(-224)). Let r = m + 6/7. Which is greater: 3 or r?
3
Suppose -p = -230 + 226. Let s(m) = -4*m - 3. Let c(z) = 5*z + 4. Let h(n) = -5*c(n) - 6*s(n). Let o be h(0). Are p and o unequal?
True
Let o be 31 + 9/3*1. Suppose -o = -j - 34. Suppose j = -4*f + 13*f + 99. Is -13 <= f?
True
Let i(y) = -18*y - 138. Let l be i(-8). Suppose 4*g = 2*x - 14, -4*g + l*g + 27 = 5*x. Which is smaller: g or -35?
-35
Let r = -2 - 46. Let z = r - 180. Which is greater: 0.1 or z?
0.1
Let m = -617 - -618. Which is smaller: 2/8451 or m?
2/8451
Let k(y) = y**2 - 21*y + 54. Let p be k(3). Does -1/540 = p?
False
Let v = 9 - 11. Let f = v - 50. Let h = 456 + -455.9. Which is bigger: f or h?
h
Let j = -1495490/43 + 34782. Which is smaller: j or 2?
2
Let b be -5 + (1 - (-88168842)/3568). Let j = 24707 - b. Let a = j + 23635/1784. Which is greater: a or 12?
a
Let s be ((5/5)/1)/((-2)/(-98)). Suppose 4*x - 69 = -s. Let p be 63*-1*4/(-66). Is x smaller than p?
False
Let h be 78/273 - 1*(-2286)/(-14). Which is greater: h or 14?
14
Let s be 6/21 + 12/7. Let p = -94 - 124.2. Let v = 218 + p. Which is smaller: v or s?
v
Let b = -13/14 + 10/7. Let k = 374.9 - 36.9. Let s = k + -345. Which is smaller: b or s?
s
Suppose 0 = -15986*y + 16036*y - 1050. Let a be 2/28 - (-3)/(-6). Which is bigger: y or a?
y
Let a = 160 + -277. Let x be 1/1*(7 - (-396)/a). Is 4 at most x?
False
Suppose -c = -4, -135*c + 130*c = -3*u - 8153. Which is bigger: -2709 or u?
-2709
Suppose w - 26*w = 24*w + 8*w. Is -5/202 greater than or equal to w?
False
Suppose 5*b = -8*b. Suppose 0 = 5*w + 4*d - 73, 3*w + 5*d - 49 = -b*w. Is w smaller than 69/5?
True
Suppose 4*m = -12*m - 8*m. Let y = -1.92 + 98.92. Is m less than or equal to y?
True
Suppose 4*q = -q - 285. Let u be ((-45)/(-25))/(1/5) - 70. Which is smaller: u or q?
u
Suppose 0 = 5*t, 0 = 16*d - 13*d + 2*t - 312. Suppose -5*f + 29 = d. Which is smaller: -12 or f?
f
Let g be 2*(-250)/4 - 1. Suppose -482*q + 446*q = 4500. Is g smaller than q?
True
Let q = 662.2 + -662.5. Are q and -581 nonequal?
True
Suppose -135*g - 5358 = -78*g. Which is greater: -52 or g?
-52
Suppose -230 = -431*s + 426*s - 5*v, 193 = 4*s - 5*v. Suppose -11 = 3*u + a - 151, -4*u = a - 186. Which is smaller: s or u?
u
Let f(w) = -2*w**3 + 6*w**2 + 10*w - 2. Let n be f(-2). Let p be (12/n)/(8/1092). Are 90 and p non-equal?
True
Suppose -93*x - 196*x = -56*x + 103452. Which is greater: -443 or x?
-443
Let j = 1992 - 45827/23. Suppose -10*k - 6*k = -7*k. Which is smaller: j or k?
j
Let f be ((-6)/(-5))/((27/(-120))/3). Let l be 1246/f + 12/(-96). Which is bigger: -77 or l?
-77
Suppose 0 = 32*g - 218 + 858. Which is smaller: -150 or g?
-150
Let c = 7730 - 1082223/140. Which is smaller: -1 or c?
-1
Let w = -3704 + 4645. Which is greater: 942 or w?
942
Let r(b) = 3324*b - 7119. Let n be r(3). Is n at most as big as 5705/2?
False
Let s be 30/9*(-12)/8 - 1. Let o be 114*(1 + 8/s). Let v be (-3 - (0 + 118/o)) + 0. Is -1/2 equal to v?
False
Let u = -1676 - -1676.02. Is u bigger than -14/25?
True
Let n = 272.8 - 308.802. Let m = n + 36. Are 4 and m nonequal?
True
Let r be (315/(-2520))/(-1 - 14/(-16)). Let g = 2/235 + -367/70735. Is r greater than or equal to g?
True
Let v be (-4 - (-8 + 2))/((-1)/2). Let q(k) = 6*k**2 + 2*k - 4. Let z be q(v). Let b = z - 58. Do 28 and b have the same value?
False
Suppose -4*x + 35 = -f, 5*f = -3*x - 13 + 45. Let r be 3*(-3)/x*10/95. Let v = 0 + 1. Which is greater: r or v?
v
Let j = -4938656/855 - -28881/5. Let d(h) = h**2 - 3*h + 1. Let q be d(1). Which is greater: q or j?
j
Suppose 14*q - 315 = -7*q. Suppose -q*u - 234 = 471. Let c(i) = -i**3 - 2*i**2 - 2. Let s be c(3). Is s != u?
False
Let x be -4*(-1)/6 + (-153)/27. Let d = -63 + x. Let t = d + 59. Is 7 at least as big as t?
True
Let l = 543 - 1645/3. Let y = -73140 + 73136. Is l <= y?
True
Let k(h) be the second derivative of h**4/12 - 25*h**3/6 + 7*h**2 + 2*h + 2. Let g be k(24). Let o(w) = -w**2 - 3*w + 4. Let a be o(-5). Are g and a equal?
False
Let i(r) = -22*r - 29. Let q be i(6). Let c = q - -161. Is -26 greater than or equal to c?
False
Let k be (2/6)/((-5)/(-30)). Let m be (k/(-12))/(14/(-28)). Let b = -0.037 + 30.037. Does m = b?
False
Let m = -46305 - -46343.039. Let j = -0.039 + m. Let t = 43 - j. Which is greater: t or -0.3?
t
Let i(y) = -37*y**2 - 134*y + 27. Let p be i(-4). Do p and -864/29 have the same value?
False
Let t = 4.5 + -9. Let p = 7.6236 + -7.3236. Which is greater: p or t?
p
Suppose -15*k = 4*k - 95. Let s = -5 - -12. Suppose -k + 103 = s*i. Which is bigger: i or 9?
i
Suppose -32 = -2*t + 60. Suppose -86 = -3*f + t. Suppose -5*q = 59 - f. Is q less than or equal to -5/3?
True
Let w be (81 - 81) + (31 - -1). Which is bigger: -4 or w?
w
Let m = -16066 - -16615. Is 3849/7 smaller than m?
False
Suppose 660 - 565 = 95*t. Which is greater: 7/170 or t?
t
Let q = -92.35 + 92.31. Which is bigger: 0.0291 or q?
0.0291
Let n = -1964 + 2033. Which is smaller: 84 or n?
n
Suppose 2*u + 2*c = -12, -2*u + c = 8 - 2. Let h be 35/u + 4/(-16). Let b = 77 - 91. Is b at least as big as h?
False
Let f be 31 + 3 + (-6 - -2). Suppose 35*a - 30*a - f = 0. Which is smaller: 9 or a?
a
Let d = -13534.1 - -13534. Which is greater: -4880 or d?
d
Let w = -15.76 - -16.56. Which is smaller: -169 or w?
-169
Let i be 6*24/36 + 294/(-75). Let r(z) = z**2 + 1. Let l be r(1). Suppose j = -l*j. Which is smaller: i or j?
j
Let w = 0.022 - 40.022. Let f = w - -29. Let b = 