 112.019 + x. Are -0.2 and k unequal?
True
Suppose 89*g - 92*g = -6. Suppose 2*f = -5*i - 27, 2*f = g*i - 2*f + 6. Let b be -5*(4 + 35/i). Which is greater: 14 or b?
b
Suppose -12*y + 3193 + 1077 = 2*y. Which is smaller: 312 or y?
y
Let a be 0 - (-1)/(-2)*10. Let z = a - -7. Let c = 1814 + -9067/5. Which is bigger: z or c?
z
Let z be -4 + 4 + -29 + 58. Is z != 59?
True
Let f(n) = n**2 + 17*n - 23. Let u(b) = 2*b**2 + 33*b - 44. Let i(t) = -11*f(t) + 6*u(t). Let x be i(-11). Is x less than or equal to -77/8?
True
Let y = 19/30 - -287/30. Let m(x) = -x**3 + 21*x**2 - 17*x - 21. Let a be m(20). Suppose 0 = 46*p - a*p - 77. Are y and p non-equal?
True
Let m(t) = t - 2. Let d = -56 + 64. Let b be m(d). Suppose -6*j = -4*j + b. Is 3 at most j?
False
Let r be (8 - 1) + (1373312/(-24496))/8. Which is smaller: r or -1?
-1
Suppose -b + 9 = -4*b. Let z(x) be the second derivative of x**5/20 + x**4/12 + x**3/2 + x**2 + 124*x. Let s be z(-1). Do s and b have different values?
True
Let r be 8 + (-4)/1*9/18. Is -93 at least r?
False
Let q = -6544 + 6526. Is q <= 2/309?
True
Let p = 54674/77 - 710. Suppose -6*l = -3*l - 3. Is l at most p?
False
Let k be 136/272 + 191/6. Is -9 > k?
False
Let a = -9056 - -9056.3. Is a bigger than -0.954?
True
Suppose 0 = n - 5*z + 2643, 2*n + 31*z = 27*z - 5244. Is n > -2627?
False
Let i(y) = 3*y - 105. Suppose 87*h = 84*h + 27. Let s be i(h). Which is greater: s or -2?
-2
Suppose 4*d + 526 = -2*h, 793 = -3*h + 4*d - 6*d. Let o = h - -1329/5. Are o and -1/3 equal?
False
Let j(d) = 4529*d**2 - 57*d + 46. Let i be j(1). Are i and 9033/2 nonequal?
True
Let k(y) = -y + 14. Let l be k(7). Suppose n = l - 12. Let r be 2/6 - n/15. Which is greater: r or 19?
19
Let v be (-23)/(253/(-440))*(-4 - -3). Is -44 at least as big as v?
False
Let t be 7 - (-10 + 35) - -17. Is t less than -2/14837?
True
Let n be (-36 - -35)*51/3. Suppose 0 = -2*y - o - 5, -2*o + 35 = y - 6*y. Let q = 4 + y. Is n equal to q?
False
Suppose -58*q + 5292 = 106908. Which is greater: q or -1753?
q
Let p = -3 - -2. Let k be 1/(p/(1/1)). Let b be -12*36/7722 + 4/11. Which is greater: b or k?
b
Suppose 38*t - 40*t - 28434 = 2*w, t + 4*w = -14238. Which is smaller: -14211 or t?
-14211
Let k = -36937/48 + 2335/3. Let g = k + -279/32. Suppose -3*o = -4*d - 16, 5*o - 2*d - 4 = 4. Which is bigger: g or o?
g
Let u(l) = 13*l**2 - 10*l + 15. Let p be u(2). Suppose 2*h - 962 = -5*f, -3*h + p = 5*f - 911. Is 194 less than f?
False
Let j = 4705 + -4704.9. Which is greater: j or -198?
j
Let h = -2571 + 2573. Let z = -40 + 46.2. Let d = -4.3 + z. Is h <= d?
False
Suppose 9*t - 23*t + 9*t = 5. Do t and 8/79 have different values?
True
Let w be (-1)/(6*2/510). Is 0.2 at least as big as w?
True
Let f = 8.05 - 380.05. Let w = 379 + f. Is w bigger than 30?
False
Let d = 12578.792 - 12579. Which is bigger: d or -0.9?
d
Let f = 8803/364 - 313/13. Which is smaller: 10 or f?
f
Let b(h) = -h**2 + 41*h + 65. Let s be b(42). Suppose s = -3*y - q - 3*q, q - 8 = 2*y. Is -3 > y?
True
Let y = 22.84 + 44.16. Which is smaller: -1.4 or y?
-1.4
Suppose o = 4*o. Let b(f) be the first derivative of f**2 - f + 2307. Let a be b(o). Which is smaller: -1/27 or a?
a
Let v = 632 - 738. Which is smaller: v or -97?
v
Let l be 13825/(-225) + 84/(-54). Let n = 8.3 + -8. Is l equal to n?
False
Let p be (-1)/4 + (-52)/(-48)*3. Suppose 0 = 2*d + 6, -63 = -3*n - p*d - d. Let x be ((6/n)/(-3))/(36/45). Is -0.1 at least x?
True
Suppose 0 = -7*p + 10 + 28 + 4. Let y = 635/63 - 20/7. Which is greater: y or p?
y
Let o be (-13)/((-65)/(-30))*(-1668)/(-18). Which is greater: o or -555?
-555
Let p be ((0 - 0) + 1)*(113 + -60). Let v = -1165 + 1217. Is v <= p?
True
Let y be 235/(-188) + (-3089)/(-64264)*26. Is 0 less than y?
False
Let i = -224.2474 - -226.23. Let b = i + 0.0174. Which is smaller: b or 0.16?
0.16
Let g(l) = -287*l - 617. Let t be g(1). Are -6 and t non-equal?
True
Let x be 60/40*238/1. Suppose -x = -4*n - 3*y, -4*n + 387 = y - 4*y. Suppose 4*j - 13 = -n. Which is greater: -19 or j?
-19
Let c = 10 - 11. Let p be (-170)/152 + 1/(-4). Let z = p - 67/76. Is z less than c?
True
Let s be (-2)/(-5)*(-4 - 1). Let r be (-2)/s - (-2 - 1). Let n = -4174 + 4177. Is n greater than r?
False
Let p be 552/6*10/24*3. Suppose 5*d + 133 = q, 22*q - 17*q = -5*d - p. Is -27 bigger than d?
False
Suppose r + 47 = 3*d, 108 = -4*r - 4*d - 0*d. Suppose 0 = o + 3*s - 18, -4*o + 2*s = -127 - 15. Let n = r + o. Which is greater: n or 2/29?
n
Let m(t) be the first derivative of t**5/60 - 5*t**4/24 - 2*t**3 + t**2/2 + 20. Let r(c) be the second derivative of m(c). Let u be r(7). Is 2 less than u?
False
Let a = 353 - 350. Suppose -a*s + 3*p = -9, 3*s = -23*p + 19*p - 12. Let z = -4639/29 - -160. Which is smaller: z or s?
s
Let u = 20.9 - 17.3. Let x = 3.8 - u. Are -3.1 and x non-equal?
True
Let i(s) = -s**3 - 7*s**2 - 5*s + 3. Let v be i(-7). Let b = 553 - 1031/2. Is b smaller than v?
True
Let p = 6 + -16. Let f = -5319 + 5300. Is p at most as big as f?
False
Suppose 2*b = -2*s - 100, 5*b - s + 1203 - 977 = 0. Is b > 7?
False
Let w = 2/439531 + 396145/9534745983. Which is bigger: w or 1?
1
Let i = -275 + 266. Let k be (-2)/i - 258/675. Which is bigger: k or 0?
0
Let z = -57995/3 - -19140. Is z equal to -193?
False
Let w be -15 + (-4110)/(-270) + 34711/9. Which is smaller: 3858 or w?
w
Let r(l) = -l**3 + 60*l**2 - 64*l + 136. Let t be r(59). Which is bigger: -109 or t?
-109
Let c = 7601/1095 + 14/73. Is 8 at most c?
False
Let u(f) = 13*f - 155. Suppose 2*c + 260 = -11*c. Let d be u(c). Is d greater than or equal to -416?
True
Let o be -22 + (-6)/6 + 6/(-2). Let j = -21 - -10. Let g be ((-8)/o)/(-1 - j). Are g and 0 nonequal?
True
Let n be 8/20 + (-82)/155. Let k(q) be the second derivative of -q**3 + 29*q**2/2 - q - 53. Let h be k(5). Which is greater: h or n?
n
Suppose 5*i = -c - 4, 4*i + 5*c = 7*i - 20. Let p = -12 + 95/8. Which is greater: i or p?
i
Suppose -8*l - 1460 = -18*l + 5*l. Is 295 != l?
True
Let v = -1309042/135 - -48483/5. Let y be 8/6 + (-1)/3. Is v at least as big as y?
False
Suppose -174*d + 206137 = 1097017. Which is bigger: -5119 or d?
-5119
Suppose 3*y + 2*t = -23, 39 = -2*y + 4*t + 13. Let z be 2/(-3)*y/(-381). Let h(v) = 82*v**3 + 902*v**2 + 2*v + 22. Let o be h(-11). Is z greater than o?
False
Suppose -6*k + 13 = -17. Let t(x) = x**3 - x**2 + x + 3. Let h be t(-1). Which is smaller: k or h?
h
Let d = -0.2 - 0.8. Let y = d - -3. Let u = -0.292853 - 0.007147. Is u > y?
False
Suppose 8*b - 5*h - 566 = 830, 4*b = 5*h + 708. Let v be 173 - 1*(0 + -1). Which is smaller: v or b?
b
Let p be ((-10)/(-28)*(-784)/224)/(1580/(-32)). Suppose 0 = -5*t - 3*h - 5, 4*t = -3*h - 2*h - 4. Is t bigger than p?
False
Let l = -407 + 409. Suppose -15*m + l*m - 26 = 0. Is 13 equal to m?
False
Let j = -105 + 114. Suppose 8*z + 9 = j. Let s be 1 - (-1)/((-24)/15). Which is smaller: s or z?
z
Let f(g) = -108*g - 2168. Let w be f(-20). Which is bigger: w or -21?
w
Let s = 0.8909 - -65.7191. Let q = -1.33 - s. Let c = -68 - q. Does 0.1 = c?
False
Let x(d) = d**2 - 305*d + 2087. Let c be x(7). Is c < 81/82?
False
Suppose 4*n + 928 = 68. Let m be (-22480)/104 - 4/(-26). Which is smaller: n or m?
m
Let l(i) = 50*i + 65. Let k be l(-7). Let d = k + 132. Is d at least as big as -152?
False
Suppose 90 - 92 = d. Let z(g) = 10*g**3 - 2*g**2 - 2*g - 5. Let a be z(d). Let b = -22.7 + 22.7. Are b and a nonequal?
True
Let l(c) = 3*c + 132. Let z be l(-38). Which is greater: z or -8.6?
z
Let v = -577887/7 + 82369. Which is bigger: -187 or v?
v
Let c = 24643 - 24589. Is 0.8 > c?
False
Let s be 21/28*-1 + 1642/56. Suppose -699 + 579 = -4*j. Which is greater: s or j?
j
Let z be -13 - 95/57*336/(-40). Let h = 403139/189 + -2133. Which is greater: h or z?
z
Suppose 50*m = 31*m + 2755. Suppose 159*c = m*c. Is c != 4/27?
True
Let l = -29 + 23. Let s be 0/(l/(-1)) + (-3)/8. Let k = -42 - -41. Which is greater: k or s?
s
Let d = -3312 - -2889. Which is smaller: -426 or d?
-426
Let b be (-36)/(-5)*65/(-13). Let t = 100 + -143. Let x = 8 + t. Which is greater: b or x?
x
Let y = -29 - -34. Suppose 6*q + 428 = -442. Let v = -139 - q. Which is smaller: v or y?
y
Suppose -j - 276 = -2*y + j, -5*y + 3*j = -690. Let d be (-2)/30 + 9 + (-20801)/(-165). Is d equal to y?
False
L