z = -10*x. Let t be (((-15)/x)/(-5))/(5/(-25)). Is -2 < t?
False
Suppose 2*s + 0*s + 94 = 0. Let a be (-24)/(-40) - ((-5)/10 + (-489)/(-10)). Is s != a?
True
Let k(y) = y**3 + 8*y**2 + 15*y + 11. Let j = -250 + 244. Let u be k(j). Which is bigger: u or -13?
u
Let q = -16.2 + 0.2. Let t = 79.4 - 87. Let x = t - -7.5. Are x and q nonequal?
True
Suppose 3*x - 4*l = 80, -121 = -5*x + 2*l + 31. Which is smaller: x or 70?
x
Let c be 11*(-156)/(-143) - 3054. Which is greater: c or -3044?
c
Let l(p) = -2*p**3 + 30*p**2 - 1. Let w be l(15). Let i = -114811/25 - -4595. Let x = i - 2446/975. Is w less than x?
True
Let q(l) = -41*l - 86. Let t(m) = -204*m - 432. Let b(j) = 11*q(j) - 2*t(j). Let i be b(-4). Are 91 and i equal?
False
Let z = 9970.354 - 9969. Are z and -1/2 equal?
False
Suppose -392 + 781 = 2*h - 705. Is h at least as big as 7?
True
Suppose -5*x + 5*p - 2295 = 0, 0 = -20*x + 21*x - 4*p + 444. Are x and -4178/9 equal?
False
Let p be (-6)/10 - (90/(-25) + 3). Suppose 4*h + 5*o + 309 = p, -o = -3*h - 4*o - 228. Let m = h - -81. Is 9 greater than or equal to m?
False
Suppose q = 13 - 8. Suppose 10*y = 5*y - 10, 0 = 3*a + q*y - 2. Suppose 42*x - a = 46*x. Which is greater: x or 2/7?
2/7
Suppose 41*w - 14*w - 108 = 0. Suppose -5*i + h = 1234, -8*h - 996 = w*i - 11*h. Which is smaller: i or -245?
i
Let z(t) = t**3 - 8*t**2 + 8*t + 8. Let p be z(7). Suppose 5*o + 2*j = 4*j + 15, 5*o - j - p = 0. Is o less than or equal to 24/13?
False
Let h = -1353 + 5425/4. Suppose 5*n = 3*n + 6. Are n and h nonequal?
True
Let u = 268 - 304. Let o = 1.25 + -1.2. Let l = o + -0.15. Which is bigger: u or l?
l
Let b be (-4)/6 - 31/3. Let d = -28519 + 28508. Is d at least as big as b?
True
Suppose -2*f = -t + 4*t + 15, 4*f - 4*t = 20. Is f bigger than 6/199?
False
Let f = 212/47 + -27868/6345. Which is greater: f or 0?
f
Let r(c) = -c**2 - 4*c + 4. Let w be r(-4). Suppose -2*h - 4 = -w*z + 2*h, -5*h = 10. Let f be 1*((-1)/26)/(1/(-2)). Which is smaller: z or f?
z
Let i be (-5 - (-1033)/205)/(12/(-150)). Which is smaller: -1 or i?
-1
Suppose 6*t - 67*t + 51057 = 0. Which is bigger: 836 or t?
t
Let l = -1931/2 + 966. Let n = 22 - 115. Let x = n - -838/9. Is x greater than or equal to l?
False
Let y = -1032 + 6229/6. Let b = -202/33 + y. Let n = 17682 - 17683. Is b smaller than n?
False
Suppose 8 = w + 2. Suppose 236 = w*o - 2*o. Suppose f + 21 = 4*v, -2155*v + 97 = 3*f - 2159*v. Is f > o?
False
Let u(g) be the second derivative of 0 - 1/2*g**3 - 11*g - 5*g**2 - 1/12*g**4. Let d be u(-6). Is d at most -28?
True
Let m = -14.788 + 197.788. Which is smaller: 0.3 or m?
0.3
Let c be ((-162)/90)/((-6)/70). Suppose 0 = 4*l + 5*i + c, -l = 4*l - 2*i + 18. Let j = -3 + 0. Do l and j have different values?
True
Let g = 84 - 40. Let h = 860 - 813. Which is smaller: g or h?
g
Suppose 17 = -2*v - 3*t, 2*t + 1 + 9 = 0. Which is smaller: 255 or v?
v
Let z(b) = -b**2 + 18*b + 15. Let c(g) = -2*g**2 + 36*g + 30. Let n(u) = 3*c(u) - 7*z(u). Let s be n(18). Let v = -11 + -1. Which is smaller: v or s?
s
Suppose t - r - 1 = 0, 2*t - 4*r + 1 = 3*t. Let u be (-60)/18 + 3 - (-34)/(-6). Let c be (u/(-182)*14/(-4))/3. Which is smaller: c or t?
c
Suppose 8*v + 14*v + 21 = v. Which is smaller: v or -1/67?
v
Suppose 4*q = 3*q - 6, -2*q = -4*c - 1568. Is -1971/5 >= c?
True
Let x(g) = -11*g + 1. Let t be x(-2). Let y(c) = -c**3 + 22*c**2 + 2*c - 22. Suppose -15*s - 75 + 405 = 0. Let o be y(s). Is o equal to t?
False
Let w be ((-17724)/(-126))/(((-1)/(-6))/1). Suppose -13*l + 1821 = -w. Which is greater: 207 or l?
207
Suppose 3*j = -j - 72. Let a = j + 11. Let d be -6 + ((-5 - -5) + 0)/3. Is a > d?
False
Let y = -1216.1 - -1216. Is -1178 at most y?
True
Let s be ((-132)/(-146300))/(2/2). Is 1 at least s?
True
Let o be (-21)/1*((-28)/(-21) - 2). Which is smaller: o or -3/10?
-3/10
Suppose 0 = 3*r + 1 + 11. Let j = -30141/8 - -3765. Which is greater: r or j?
j
Let d = 28.5 + -29.88. Let m = -1.28 - d. Is m greater than -2.44?
True
Let u(h) = h**2 + 42*h - 20. Let z be u(-15). Let q be (-16950)/z + 4/34. Which is greater: q or 41?
41
Let b(q) = q + 13. Let p(y) = y + 6. Let v(l) = -6*b(l) + 10*p(l). Let n be v(5). Suppose n*u - 1 = s - 7, -5*s + 2*u = -70. Which is bigger: 15 or s?
s
Let w(b) = -4*b**2 + 121*b - 110. Let d be w(25). Which is bigger: 1659/4 or d?
d
Let s(v) = v**2 + 230*v - 5272. Let c be s(21). Suppose -2*l + 2 = -4*o - 0*l, 0 = -o - 4*l + 22. Let k be o/(-5) + (-18)/10. Which is bigger: c or k?
c
Let w = 19739/32 + -617. Let v = w - -79/96. Let h = -4.0085 + 0.0085. Are h and v equal?
False
Let d(g) = -2*g**2 - 26*g + 3. Let t be d(-13). Suppose 0*l = l + t. Let z be (-5)/l*(-18)/(-10). Is z equal to 0.02?
False
Let v = -1302 - -1432. Which is smaller: 132 or v?
v
Let r = -0.78 + -78.22. Let w = 79.079 + r. Let h = -0.021 - w. Is h less than 10?
True
Let s = -0.051 + 2.831. Let f = -41.78 + s. Does f = 1/4?
False
Let b(o) = -4*o**2 - 79*o + 22. Let f be b(-20). Let v be (6 - (-87)/f)*-10. Is -495 smaller than v?
False
Let i = -1.057 + -12.963. Let b = i - -14. Let r = -0.46 - -0.26. Which is smaller: b or r?
r
Let r = 2.67 + 0.33. Which is bigger: r or -3.3?
r
Suppose 611 = 4*a + 4*g - g, 0 = -2*a + 4*g + 278. Let s = -167 + a. Suppose -38 = q + q. Are q and s non-equal?
True
Suppose 75 = -10*w + 555. Suppose -57*d + w*d + 819 = 0. Which is smaller: d or 90?
90
Suppose 2*h + 25*n = 23*n - 638, 4*h + 3*n = -1275. Which is bigger: -1269/4 or h?
-1269/4
Let c be (-20)/(-80) + (-83)/308. Suppose m + 0*m - 5*f = -1, -f - 3 = 3*m. Which is smaller: c or m?
m
Let y = -0.17579 - -0.26579. Which is smaller: -2/91 or y?
-2/91
Let s = -563 - -192. Let h = s - -389.8. Which is bigger: h or -0.1?
h
Let d be (4/(-11))/((-2)/(-29)). Let s be (-6)/(-10*18/(-180)). Is d less than s?
False
Suppose 4*u + 8 = 0, -4*n + 3*u + 2 = -8. Let l = 19/6564 + 1630553/774552. Let d = 17/8 - l. Is n greater than d?
True
Let q be 1 + (-15866)/360 + 3/5. Let a = 128/3 + q. Is a at least as big as 0?
True
Let h = -8197 - -8263. Which is bigger: h or 67?
67
Let t(h) = 3*h**2 + 3*h - 4. Let i be t(-3). Suppose -678 = -i*r + 1394. Are 149 and r nonequal?
True
Let v = 10.2 - 72.2. Let j = v + 100. Let p = j + -37.8. Which is smaller: p or 9?
p
Let h = -8388 + 8588. Is h <= 203?
True
Let p(t) = 556*t + 1239. Let n be p(-24). Which is smaller: n or -12106?
-12106
Let d = 2 + -6. Let h(g) = 7*g**2 + 4*g + 23. Let n(u) = 3*u**2 + u + 1. Let l(k) = -h(k) + 3*n(k). Let i be l(d). Is i at least as big as 18?
False
Let j = -8172 - 96. Let n = j + 8343.09. Let r = 75 - n. Which is smaller: -0.3 or r?
-0.3
Suppose -4*t - s = t - 31, 2*s = -5*t + 27. Suppose -n + 3*h + 1 = 0, -4*n + 11 = -t*n + 2*h. Let a be ((-4)/n)/(-5 - (-120)/25). Is -4 less than or equal to a?
True
Let k(r) = -6*r + 21. Let g be k(5). Let q be 1438/9 + (-2)/g. Suppose -5*i = v + q, 79 = -2*i + 4*v - 7. Which is smaller: i or -32?
i
Let y = -1.63 - -1.6. Suppose -6*f = -2*f + 132. Let a = f + 32. Is y smaller than a?
False
Let v = -35 - -162. Let k = v - 126.9. Which is smaller: -3/68 or k?
-3/68
Suppose 3*h - 43 = 101. Suppose 6*w - 9*w = h. Let b(d) = -d**2 - 18*d - 28. Let m be b(w). Do m and -15 have the same value?
False
Let l be (-2 - -4) + (-144)/(-27). Let r(n) = n**2 - 8*n - 121. Let z be r(16). Which is greater: z or l?
l
Suppose -47*v + 0*v - 47 = 0. Let q = 183/4732 - 1/338. Which is greater: q or v?
q
Let v = -1255/29 - -77657/87. Is v greater than or equal to 848?
True
Let l be (5250/16)/(-7) + 2/(-16). Let y(a) = -a**2 + 9*a - 9. Let c be y(7). Suppose -c*v = 20, 5*b = 5*v - 16 - 194. Is l bigger than b?
False
Let h(z) = -229*z - 10535. Let n be h(-46). Is -1/18122 less than n?
False
Suppose -3*p = 2*p - 30. Let j be (0 + p)*46/69. Suppose 0 = m + 5 - j. Which is smaller: m or 1/132?
m
Suppose 92*z + 232*z + 57988 = 106*z. Suppose -4*a + 2*j - 175 = 881, 4*a + j + 1068 = 0. Is a at most z?
True
Let f(w) = 2*w - 14. Let v be f(8). Suppose -12 = -4*s + 2*l, v*s - 4*l - l - 6 = 0. Suppose -4*h - s*r = 39, -h + 2*r = -r + 6. Which is smaller: -8 or h?
h
Let p = 52038 + -52044. Let i = -1.2 + 2.1. Let b = i - -0.1. Are b and p non-equal?
True
Let q = 416 + -664. Let v = q - -268. Which is greater: v or 0.12?
v
Let i = -168592/188092143 + 9/10723. Let 