Is s != 0?
True
Suppose 0 = -11*u - 7 + 62. Suppose 4*y = u*y. Which is bigger: 3/20 or y?
3/20
Let z be ((-7128)/45 - 6) + 4/10. Let h = -204 - z. Let t = 33 + -73. Does t = h?
True
Let a = -1705 - -8462/5. Let v = -12622 + 12610. Is v >= a?
True
Let j = -15 - -8. Let r be ((-2)/j)/(16 - 58). Which is smaller: r or -1?
-1
Let w(z) = 101 - 18*z + 5*z + 8*z. Let y be w(20). Which is smaller: 1/231 or y?
1/231
Suppose -5*n + 3*n = -156. Let q be 17 + 57 + -1 + 3. Which is greater: n or q?
n
Let f = 113 - -300. Let w be (154/539)/(-2 - (-827)/f). Which is greater: w or 117?
w
Suppose a - 6*o + 3*o - 5 = 0, 15 = 3*a - 3*o. Suppose a*l - y = -4*y + 20, -4*l + 23 = y. Which is bigger: 53/8 or l?
l
Suppose -9*c + r = -6*c - 26, 4*c - 33 = r. Let b(s) = 10*s. Let k be b(c). Is k equal to 70?
True
Let i = -2048 - -3605. Is 1557 < i?
False
Let p = -0.4325 + 0.0145. Let z = -31.418 - p. Is 2/7 less than or equal to z?
False
Let a = -8/695 + 7677/2780. Suppose 5 = f + 16. Let o = 13 + f. Are o and a unequal?
True
Let a be (98820/24948)/((-20)/(-56)). Let r(j) = 4*j - 5. Let x be r(4). Is x > a?
False
Let d = 12504 - 5314203/425. Let l = d - 416/1275. Let s = 12.21 + -12. Is l bigger than s?
False
Let c = -1/73228 - 25410101/1098420. Let w be ((-546)/18 - 6)*(1 - 8/5). Let j = w + c. Is j < -0.3?
True
Let d(u) = -u**3 + 14*u**2 - 12*u - 11. Let w be d(13). Suppose w*a = 8 - 18. Let i be (1/(-1))/(a/(-35)). Which is greater: i or -3?
-3
Let z(r) = -2*r**2 + 20*r - 23. Let w be z(8). Suppose -w*f + 6*f - 2*y - 55 = 0, 0 = -5*f - 5*y - 100. Which is greater: -14 or f?
-14
Let d be 4/(-2)*(-1)/2 + (-77331)/(-1730). Is 45 greater than d?
False
Let k be 1*(2 + 20/(-9)). Let t(i) = -i**3 + 20*i**2 + 20*i + 26. Let x be t(21). Suppose 2*z + 2*j = -8, -5*z + x*j + 13 = -3*z. Which is smaller: k or z?
z
Let y = 5/278 + 501/3058. Is -0.095 less than y?
True
Let u be ((24/42)/(10/(-21)))/(4/(-1420)). Which is greater: 436 or u?
436
Let d be (4/(-10) + 0)*190/1482. Let b = -1170 - -1173. Which is bigger: d or b?
b
Let v = 2134 + -1373. Let m = v - 761.01. Which is smaller: 1 or m?
m
Suppose 3*p = 4*p + 2*i - 4, -3*p - i = -2. Let b be (p + (-3)/(-6))/(1/2). Is b > -2/1015?
True
Let p(d) = -16*d**3 - 15*d**2 + 53*d - 28. Let i be p(6). Which is greater: -3708 or i?
i
Suppose 12425 + 294 = 173*d - 17729. Are d and 160 equal?
False
Suppose -86*r = -4*i - 87*r - 526, -5*i - 683 = -3*r. Is -4 greater than or equal to i?
True
Let p be (35/28)/((-2)/(-8)). Suppose -3*f = -f - p*s - 13, -5 = 2*f + s. Let u be (0/(12/(-3)))/(-1) - f. Which is smaller: -1/14 or u?
-1/14
Let y be (-2)/(96/5976*((-483)/474 + 1)). Is y equal to 6558?
False
Let c = -624.1 - -619. Let q = 7.1 + c. Which is smaller: 42 or q?
q
Suppose -n - 31*g + 35*g - 15 = 0, -n - 2*g = -9. Let j be (-2)/(-13) + (-36)/195. Which is smaller: n or j?
j
Let n be (-104)/(-32) + -3 - (-70)/(-88). Let v(m) = m**3 - 7*m**2 + 10*m - 7. Let k be v(5). Let z = k + 7. Are n and z nonequal?
True
Suppose 0 = -0*i - i. Let x(m) be the first derivative of 11*m**2/2 - 75*m - 86. Let p be x(7). Which is smaller: i or p?
i
Let d be 304/(-171) + 8/(-36). Let g be -318*((-34)/(-8) + d + -2). Which is smaller: -81 or g?
-81
Let y = -83 - -160. Suppose -2*j + 4*w = 110, 61 = -3*j - 3*w - y. Let l = -31 - j. Is l <= 19?
True
Let z = -95.8 - 6. Which is smaller: -3 or z?
z
Suppose 2*t = -2*u - 54, 0 = 2*u + 43*t - 42*t + 36. Let g(n) = n - 2. Let v be g(2). Which is smaller: v or u?
u
Suppose k - 3*l + 20 + 251 = 0, -5*l = 5*k + 1315. Let x be (k/(10 + -5))/(120/(-386)). Let c = x - 341/2. Is 1 <= c?
False
Suppose -8*c = 87 - 79. Is -4/2963 less than c?
False
Let d(f) = -14*f. Let r be d(-1). Suppose -4*t - 5*b - 27 = 0, -7*b + 10*b = 3*t. Let w be r/(-21)*t/(-2). Which is bigger: -2/9 or w?
-2/9
Let r be (-2 - 12) + -53 + 66. Is 2/39275 at most as big as r?
False
Let f be (4 + (-11)/2)*(-31)/(558/363972). Do f and 30331 have different values?
False
Suppose 46*z + 4 = 45*z. Let w be ((-38)/(-133))/(z/7). Which is smaller: -159 or w?
-159
Let p(x) = -x**2 + 15*x - 28. Let l be p(12). Suppose -i + 2*y - l = -5*i, -2*y + 12 = 5*i. Suppose 8*v = i*v + 68. Which is smaller: 16 or v?
16
Let i be 8/(-10)*((-1270)/(-110) + -12). Is -0.057 > i?
False
Let j = 43613 + -55868258/1281. Is j at least as big as -1?
True
Let n = -299 + 299.3. Suppose 4*d = -0*d + 4*b + 20, 0 = -4*d - 2*b + 26. Let o be ((-9)/(-10))/(d*2/20). Which is greater: n or o?
o
Let r(b) = 195 + 2*b - 129 + 7*b. Let o be r(-7). Let a(s) = -s**2 + 4*s - 2. Let f be a(2). Which is smaller: f or o?
f
Let f = 2573865335/131 + -19649699. Let l = f - -1872. Is -1 < l?
True
Let a = -66981/5 + 13396. Is -12.5 greater than a?
False
Suppose -8*f + 5*f + 9 = 0. Let c be f/((-48)/266) - (-33 - -28). Which is greater: -12 or c?
c
Suppose 70 = 3*u - k, -5*u = -6*k + 3*k - 110. Suppose -u = -37*p + 32*p. Suppose 2*x = -5*d + 56, 4*d + 201 = p*x + 61. Is x smaller than 28?
False
Let q = 29.23 + -29.13. Which is smaller: -1847 or q?
-1847
Let v(q) be the third derivative of q**4/12 + 5*q**3/2 - 92*q**2. Suppose 5 = c, 4*u = -3*c + 4*c - 37. Let j be v(u). Which is greater: 1/14 or j?
1/14
Suppose 5*p - 260 = -3*h, 4*h + 104 + 52 = 3*p. Which is greater: p or 49?
p
Let c be (2324/(-42))/(1/(-3)). Let p = 145 - 437/3. Which is greater: c or p?
c
Let z be ((-1)/(-3))/(1/6). Let p be z/4*6/3. Let q = -614/7 + 88. Which is smaller: p or q?
q
Let y be (150/75)/((-1)/(-4)). Suppose -y*b + 82 = 50. Is -2/7 <= b?
True
Let f(a) = -a**3 - 2*a**2 + 4. Let v be f(-2). Let j be (-2)/v - (-90)/8. Which is smaller: j or 10?
10
Let r be (-2 + 1)/(12/1284). Let n = r - -109. Let b = -52/5 + 56/5. Which is smaller: b or n?
b
Let s = -4 - 1. Suppose -6*y = -3*y + 6. Let q be y/s + 7/(245/(-24)). Which is smaller: q or -0.38?
-0.38
Let k = 4353/119 - 338/7. Which is smaller: -12 or k?
-12
Suppose 2*s = -3*s - l - 37, 3*l = -6. Let x be (8 + s)/(0 + 1)*-1. Is x != 2/453?
True
Let i be -34*2/4 - -2. Suppose 11826 = -41*l + 346. Let g be i/l*(1 - (-9)/(-3)). Is 0 >= g?
True
Let m be 3 + 3/3 - 3*4/(-3). Are m and -2 unequal?
True
Suppose 263*s = 258*s - 2*k - 2848, 4*k = -5*s - 2846. Is s greater than -20?
False
Let q(z) = 5*z + 10*z + 13 - 17*z. Let v be q(6). Let s be 4/v + (-4313)/1083. Which is smaller: s or 0?
0
Let a be 1/3 + 98/3. Let h = a - 13. Suppose -2*s + 3*t = -53, 0 = -4*t - 400 + 380. Which is greater: h or s?
h
Let p = 19 - 12. Suppose -p = d + 3*i, 4*d + i + 6 = -0*i. Which is greater: d or -4/67?
-4/67
Let z = 39 + -36. Let d(o) = -3*o**3 + 362*o**2 - 355*o**2 + 4*o**z - 6*o + 5. Let p be d(-8). Which is greater: 0.1 or p?
0.1
Suppose -5*g = 2*m - 9, 4*g = -3*m + 6 + 4. Let c(t) = 150*t + 1. Let k be c(g). Let h = -151 + k. Is h < -3/23?
False
Let r = 34 + -72. Let v = 9 + r. Let u = v + 29.22. Which is smaller: -2/3 or u?
-2/3
Suppose 5*t = -y - 24, 3*y - 81*t - 13 = -79*t. Is 3/32060 > y?
False
Let u = 13 - 32. Let b = -1.25 - -0.46. Let i = 0.21 - b. Which is greater: i or u?
i
Suppose -5*k + 24 = -2*c - 2*c, -2*k + 4*c = -12. Suppose 11*h - 6*h = k*f, 3*h - 2*f = 0. Suppose 4*j - 147 + 251 = h. Are -25 and j nonequal?
True
Let p be 82/7 - 6/63*-3. Let t be p/(-9) - -1 - 10/(-3). Suppose -t*x + 2*i = 58, x + 3*x + 5*i = -39. Which is smaller: x or -47/3?
x
Let f = 6991/49770 + -21/395. Let j = f - 673/5544. Which is greater: 0 or j?
0
Let i be 3 + (-5)/2 - 135/246. Let o = i - 64/369. Suppose -5*w + 10 = 3*h, w - 3*h = -9 - 7. Is w > o?
False
Let c(u) be the second derivative of u**4/12 - 9*u**3/2 + 26*u**2 - 53*u. Let w be c(25). Is w at least 2?
True
Let x = 25924 - 25925. Which is smaller: 1/180 or x?
x
Let w(k) be the second derivative of -k**4/12 + 2*k**3/3 + 3*k**2 - 10*k. Let y be w(6). Let b be y/5*(-165)/(-22). Which is smaller: b or -10?
-10
Let c(z) = z**3 - z**2 + 8*z - 2. Let v be c(4). Suppose -66 + v = 6*a. Is a > 1?
True
Suppose -5*m = -3*y - 108, 3*y = -3*m + 6*m - 60. Do m and -296/5 have different values?
True
Let d(p) = -43*p - 68. Let y be d(-14). Let b = y + -4263/8. Which is bigger: b or 0?
b
Let p be ((-41)/697)/(316/314 - 1). Is -8 less than p?
False
Suppose 2*i + 5*m - 1 = 32, 5*i + 5*m = 75. Suppose 668 = i*p - 382. Is 73 bigger than p?
False
Suppose 3*d + 3*t - 1632 = 