- -277. Let m = s - 118. Are 6 and m nonequal?
False
Let d(g) = g**2 - 20*g + 63. Let u be d(17). Let y be (-3 - 0)*(-4)/u. Let q = -18 - -55/3. Do y and q have different values?
True
Let r be (225/6075)/((-1)/(-921)). Which is bigger: r or 35?
35
Let s be 0 + 2 + -51 + (2 - -1). Let x = 61 + s. Let t be (-6)/x*(-4 + -1). Which is bigger: t or 10/11?
t
Let i(w) = -21*w**2 - 253*w - 13. Let g be i(-12). Is 4/2743 >= g?
True
Let k = 87/4 - 22. Let v(o) = 6*o**2 + 16*o - 2. Let n be v(-2). Let q be (10/(-15))/(n/855*3). Is k greater than q?
False
Suppose 302*o + 303 = 4*f + 307*o, 3*f - 3*o = 207. Is -30 >= f?
False
Let y be (4 + (28785/390)/(-19))*4/9. Let r = 3 - 7. Let n = -4 - r. Is y less than n?
False
Let n = -1284 - -772. Let v = n + 513. Are v and 5/17 equal?
False
Let v be 6 - (6/(-1) + 18). Let g be (-350)/45 + v/27. Is g <= -18?
False
Let b = -6949 - -13641. Let p = -33256/5 + b. Which is smaller: p or 40?
40
Let t = 18572243/352 - 52762. Let j = t - 1/32. Let a = 91/132 - j. Is 38 != a?
True
Let c be ((-152)/(-10) - (-4)/5)/((-4)/16). Is 1.6 at least c?
True
Let u = -93 + 94. Suppose 5*z = -0*z + 10. Let d be (u - z/(-3))*(-1)/3. Is d less than -1?
False
Suppose 2*o = 4*u - 26, -o - 14 = -u - 0. Let q be (-10)/o + 2/(-3). Suppose -2153*y + 10 = -2158*y. Which is smaller: y or q?
y
Suppose 0 = -6*p + 3*p + i + 6, -4*i - 3 = -5*p. Let f be 8*((-33)/12 + p). Suppose -11 - 1 = -3*m, f*m - 9 = -q. Is 2 not equal to q?
True
Let z(d) be the third derivative of d**6/120 - d**5/12 - 13*d**4/24 - d**3/3 - 6*d**2. Let b be z(-2). Is 33 bigger than b?
True
Let p = -7994 + 8531. Which is bigger: p or 542?
542
Suppose -4*a - 5*z = -23, -2*a + 5*z - 12 = 29. Is -206/85 bigger than a?
True
Let t be ((-7342)/6 + 0)/(333/270). Let j = -992 - t. Which is greater: 0 or j?
j
Suppose -4*t + 795 = 3*j, -5*t - 4*j + 880 = -114. Let x be (-16)/(-64)*20 - 998/t. Are 1/3 and x equal?
False
Let d = 5305/3 - 1753. Let w = 333 + -332. Suppose 3*y = 47 + w. Is d > y?
False
Let k = -3.4044 - -4.4044. Let r = 0.68 - -5.72. Which is greater: r or k?
r
Let y(u) = u**2 - 14*u. Let c be y(6). Let x be (32/c)/(1/(-22)). Let w = x - 14. Do 10 and w have the same value?
False
Let u = -104 + 138. Suppose 137*f - u = 139*f. Is -26 at least f?
False
Suppose 4*c + 8168 = -4*k, 2*c - 2*k + 696 + 3396 = 0. Which is smaller: -2045 or c?
-2045
Let h = -7.8716 - 0.0924. Let j = -65.096 + h. Let b = -73 - j. Which is smaller: 3 or b?
b
Let g be (-2)/4*2 + -17. Let i be (-200)/400 + 2/((-4)/25). Which is smaller: i or g?
g
Let v = -8 - -19. Suppose v*l = 8*l + 525. Suppose 2*a + 3*s + 35 = a, 0 = 5*a + s + l. Which is smaller: a or -34?
a
Let b(a) = 1998*a - 24. Let t be b(1). Let v be 275/t - (-56)/(-392). Is 1/2 < v?
False
Let v be 1 - (1 - (-2 + 1)). Let w = -351 + 330. Let a be (159/(-348))/1 - w/84. Is v greater than or equal to a?
False
Let f(p) = p**2 + 14*p - 13. Let d be f(-15). Let q be (6 + -6)/(-1 + d). Suppose q = -g + 17 - 4. Which is smaller: 15 or g?
g
Let r be (-36)/(-30)*2 - -6. Which is smaller: r or 7?
7
Let x be (-1834)/(-40) - (-1215)/8100. Which is smaller: 471/10 or x?
x
Let i be (-10)/(60/(-54)) - 235686/26191. Is 0 less than or equal to i?
True
Let d(l) = 4*l**3 + 2 - 3*l**3 + 4*l**2 - 2 - 2. Let u be d(-2). Let j be (u - (0 - 1))/(-1). Are -7 and j equal?
True
Suppose -5*v - v - 330 = 0. Let m = 10 + v. Let n = m + 43. Which is bigger: -9/10 or n?
-9/10
Suppose h - 315 = 8*h. Let v = -0.0798 + 0.1798. Which is greater: h or v?
v
Suppose 12 = 108*j - 102*j. Suppose 0 = j*y + 3*w - 16, 6*y = y + 5*w + 15. Which is smaller: y or 10?
y
Suppose -29*i = -6*i - 115. Suppose i*a + 4*s - s + 39 = 0, -a - 15 = -3*s. Let f be -7 + (-1 - -2 - 0). Which is smaller: f or a?
a
Let o = -7200.946 + 7216. Let u = -15 + o. Are u and -1/3 non-equal?
True
Let g = -7891 + 7839. Suppose -s - 4*s - 275 = 0. Is s <= g?
True
Let j = -7 + 5. Let s(r) = r**2 - 16*r + 23. Suppose -13 + 32 = v - k, 0 = 3*v + 3*k - 27. Let b be s(v). Do j and b have the same value?
False
Let d = 2199 + -2198. Which is greater: 42/257 or d?
d
Suppose -34*b - 5125 = -39*b. Let g = b - 1014. Let q be 2/(-4)*(-18)/1. Which is greater: q or g?
g
Let t = 616 - 612. Suppose t*u + 282 = -12*k + 10*k, 2*k - 4*u + 266 = 0. Which is greater: k or -138?
k
Let p = 15828 - 16255. Is p at most -427?
True
Let f be (-1 + 2)/((-17)/(-65722)). Let q be -3 + f/(-2604)*-2. Let u = q + -2/31. Which is smaller: u or 3?
u
Let w(k) = -6*k**3 + 26*k**2 - 16*k + 31. Let n be w(4). Is n at least as big as 1/5279?
False
Let w be (-5 - -2) + 0 + 2. Let l be (1/4*(-5)/260)/w. Is l greater than 0?
True
Let s = -3/122 + -1443/854. Let b = -20152 - -20160. Which is smaller: b or s?
s
Let a be (4 + (-156)/21)*7. Let g be (-23 - a)/(-13 + 3 + -1). Which is smaller: g or -1?
-1
Let w be 25 + (-49)/(392/17120). Is w less than -2111?
True
Let r = -3289 + 3087. Is -0.2 smaller than r?
False
Let i = 0.7 + -0.6. Let f = -17.344 - -0.254. Let h = f - -17. Are i and h non-equal?
True
Let a = -0.023 + -2.885. Let i = a - 0.092. Are i and -0.1 nonequal?
True
Let m(h) = -2*h**2 + 14*h - 10. Let x be m(5). Suppose 0 = v + 4*v - 1875. Let w be v/35 + (-4)/(-14). Which is greater: x or w?
w
Suppose 5*t - 1138 = 4*m - 389, -5*m - 175 = -t. Let z = 334 - 188. Is z less than or equal to t?
False
Let y = -14148174867/805288400 - 2/2648975. Let i = -5/2128 + y. Is -17 bigger than i?
True
Suppose -14*u = 3*n - 15*u + 401, -u - 671 = 5*n. Does n = -123?
False
Let m be (-3 + 125/15)*24/16. Let j = -14 + 17. Let k be (j + (-57)/30)*6. Do k and m have the same value?
False
Let h = 10129 - 10120. Let y = -3.3 - -3. Which is bigger: h or y?
h
Let j(q) = -1284*q - 2933*q - 935*q - 4. Let c be j(-1). Let g be (-639)/c - 2/(-11). Which is bigger: g or 0?
g
Suppose 4*j + 3*c = j + 3, -3*j - 5*c + 1 = 0. Which is smaller: j or -167?
-167
Let y be -6 + 3 - (-765)/(-33). Let t = y - -26. Is 0.2 smaller than t?
False
Suppose -483 + 63 = -6*y. Let v be 2532/y + -5 + (-242)/(-55). Which is greater: 36 or v?
36
Let f be -2 + 1447*2/1446. Let v = 48445/2892 - f. Are 16 and v unequal?
True
Suppose 0 = 3*l + t + 815 + 1261, 12 = 4*t. Which is smaller: -691 or l?
l
Let k(c) = -5 + 3 + 6 + 2 + c. Let g be k(-6). Is -15/16 at least g?
False
Let f(k) = 14 + 20*k - 4*k**2 + 5*k**2 - 14*k - 12*k. Let u be f(3). Which is smaller: 2 or u?
2
Let v = -0.02 + -29.98. Let n = 49 + v. Let r = n - 18.95. Which is smaller: 3 or r?
r
Let a = 45587/52 - 11376/13. Let b be (-144)/42*(-7)/(-13). Let n = a + b. Is -0.5 > n?
False
Let d = 370 + -365. Suppose 0 = -3*k + 5 - 8, 17 = -d*t + 3*k. Is -10/9 > t?
True
Suppose 3 + 9 = -11*i + 1. Is 4366 smaller than i?
False
Suppose -j - t + 6 = 0, 6 + 3 = 4*j + t. Is 759 > j?
True
Let v = -11608 + 11609. Are v and -2/7641 nonequal?
True
Let r be -2 + 1 + (-394)/(-398). Let b = 30415 - 30414. Which is bigger: r or b?
b
Let b be ((-4)/(-3))/(2/9). Let u be (-50)/28 + 9/b. Let f = -597 - -590. Is f bigger than u?
False
Let k = -1021 + 1022. Is -14/281 smaller than k?
True
Let m(r) be the first derivative of -3*r**2/2 + 10*r + 30. Let d(v) = 3*v - 11. Let y(s) = -5*d(s) - 6*m(s). Let l be y(2). Which is smaller: l or -2/5?
-2/5
Let y = -184.74 + -0.26. Suppose 4*t + 2*a + 4 = 0, 2*t - 1374*a = -1379*a + 14. Is t greater than y?
True
Suppose -4*z + 13 = 3*k, -4*z - 6 = -22. Let m = -1.9961 + -79.2039. Is k != m?
True
Suppose t = 2*n + 63, -3*n - 2*t - 3*t = 62. Let u = n - -34. Suppose 0*q + 5*q + 15 = 5*f, 3*f - 13 = u*q. Which is smaller: f or 7/6?
f
Let m be 0*(2 + (-9)/6). Suppose 597 = -4*v + 5*h, m = -5*h + 4 + 1. Let k = -2663/18 - v. Which is smaller: k or 1?
k
Let p(y) be the first derivative of -y**4/4 + 14*y**3/3 - 31*y**2/2 - 11*y + 30. Let j be p(11). Suppose 2*b + 3*s + j = 0, -b = -0*b + s + 3. Is b <= 9/7?
False
Suppose 25 = -2*c - 3*q, 0*q + 2*q - 42 = 4*c. Suppose 3 = -h, 6*s - 25 = 5*s + 2*h. Suppose -60 = s*v - 13*v. Which is bigger: c or v?
v
Let r(v) = -23*v + 464. Let g be r(28). Is g at least as big as -182?
True
Let r be (-7 - (-433 + 7))*133/(-19). Is -2931 != r?
True
Let r = -49 - -28. Let w = 56.7 + 13.3. Let h = w + r. Is h less than -1?
False
Let p = 145 + -3623/25. Let b(d) = d**2 + 6*d + 9. Suppose 2*g = -3*r + 2, -g + 3*r - 