5176)/496. Is d != -62?
True
Let b = -4735/2 - -51077/22. Is -46 <= b?
True
Suppose 5*x = b - 214, 404 = 2*b - 7*x + 3*x. Let n be (193/4)/((-20)/(-80)). Which is smaller: n or b?
n
Let b = -506999/40 - -12676. Is b at least as big as 2?
False
Let d = -2560 + 2746. Is d smaller than 159?
False
Let a = 12734 - 13605. Which is bigger: a or -873?
a
Let w be (0 - 35/(-60))*(-98370)/(-945). Is 60 less than or equal to w?
True
Let k be (-3)/3 - (-1 - -2). Let t be (-2 + 1 + -11)*k. Let d(g) = 1235*g + 7435. Let b be d(-6). Which is greater: b or t?
b
Let a = -3892 - -3869. Does a = -106?
False
Let s = 0.04 + -0.26. Let r(l) = 6*l - 72. Let o be r(13). Let u be 0/((24/(-4))/o). Is s at least u?
False
Let c = -61.879 - -62. Let i = -48.121 + c. Let m = 1.27 + -0.27. Which is bigger: i or m?
m
Suppose 3*w - 3*q + 5*q + 3 = 0, 4*q + 3 = -3*w. Let s = -14/293 + -53/17287. Which is smaller: w or s?
w
Suppose 3*f + 9 = x, 5*x - 6 - 7 = -f. Let m be 1/(-1 + 2)*(15 - 9). Suppose -3*y = x - m. Which is smaller: y or -1/8?
-1/8
Let f = -155988 + 155935. Let u = 111 - 160. Is f less than or equal to u?
True
Let z = -49.35 + 0.35. Let n = -2.832 + 46.832. Let s = z + n. Which is greater: s or -4?
-4
Let z = 1.9865 - 0.9865. Which is greater: z or 4584?
4584
Let y(g) = g**2 - 45*g + 474. Let k be y(26). Which is bigger: 1 or k?
1
Suppose 187*w = -7955 + 1936 - 5388. Suppose -2*b + 303 = -4*r - r, 0 = -2*r + b - 121. Is r smaller than w?
False
Suppose -3*b - 17 - 13 = -5*u, -u - 3*b = -24. Suppose -k = 4*k. Suppose 0 = -k*l + 5*l - 45. Is u less than l?
False
Let w = 3910174/511 - 7652. Is 1 at least w?
True
Let k be (-34)/(-136)*(-4)/(-4). Which is smaller: -38 or k?
-38
Let p = -980 + 1534. Let v = -548 + p. Suppose -4*z + z = -21. Which is greater: z or v?
z
Let m = 12262.61 + -12262. Which is bigger: m or -0.6?
m
Let u(r) = 5*r. Let i be u(-3). Let o be ((-162)/6 + 31)*-4. Is o smaller than i?
True
Let g = 796/29391 - 1/101. Which is greater: -1 or g?
g
Suppose -14*j + 137 = 123. Is j <= -1/2717?
False
Let q(f) = -f**3 - 24*f**2 + 26*f - 59. Let v be q(-22). Is -1599 at least as big as v?
True
Let l(a) = 7*a + 223. Let d be l(-15). Is d less than 1072/9?
True
Let x = 86 + -232. Let z = -147 - x. Which is smaller: z or -69?
-69
Let r = -0.07206 - -2669.07206. Is r less than or equal to 1?
False
Suppose 0 = 12*t + 4*t - 336. Let v be (20 - t)/((-2)/10). Suppose 8*z = 5*z - 5*r + 1, -v*z - 3*r + 23 = 0. Which is greater: z or -9?
z
Let j = 1 - 0.9. Let z = -16/1515 - -1143857/3030. Let a = -379 + z. Which is greater: a or j?
j
Suppose 0 = c + i - 6180, 6200 = 996*c - 995*c + 5*i. Do c and 6171 have the same value?
False
Let j = -1 + 2. Let z = 380 - 737. Let i = z - -341. Which is greater: j or i?
j
Suppose -72*u = 56438 - 11510. Is u at least -651?
True
Let i be (-7 + 0)/(-14)*(0 + 2). Suppose 0*j + i = -5*f + j, -5*j = 20. Which is greater: f or 0.3?
0.3
Let j be (574/110 + 14/77)*(-595)/(-357). Suppose -2*q + 4 = -10. Let n = 0 + q. Which is greater: n or j?
j
Let o be (158/(-60) + (-226)/(-1695))/(10/(-8)). Which is smaller: -8 or o?
-8
Suppose 0 = -159*l + 161*l + 68. Let r(u) = u + 32. Let p be r(l). Suppose 0 = -3*f - 8 + 2. Is p >= f?
True
Let t be (-12769)/791 - (50/42 - (-2)/(-6)). Suppose -70 - 15 = 5*f. Are t and f unequal?
False
Let y = 1524 + -1524. Is y at most -818?
False
Let c(r) = -r - 5. Let g be c(-5). Suppose -5*q = -4*m + 21, 2*m - m - 3 = -q. Let o be (-48)/(-21) + (-1 - (0 - q)). Is o at least g?
True
Suppose -427021 + 164639 = 127*l. Which is smaller: l or -8265/4?
-8265/4
Suppose 0*i = -3*u + 4*i + 17, -2*u + i + 13 = 0. Suppose 0 = -o + 3*t + 2, 0 = -2*t + u*t + 20. Is -11 <= o?
True
Let v be (-387)/(-840) + ((-306)/(-119))/(-9). Which is smaller: 17 or v?
v
Let u be 2/(-4)*(-78)/(-3). Suppose 5855*r - 86 = 4*d + 5854*r, 2*r - 4 = 0. Is u greater than or equal to d?
True
Let k = 534 - 582. Let f be ((-216)/k)/((-3)/(-8)). Which is smaller: f or 11?
11
Suppose -4*r = -2*b - 468, r + 7*b - 73 = 2*b. Let k(f) = -57*f - 3. Let m be k(-2). Which is smaller: m or r?
m
Suppose -u = -2*u - 4*n + 11, 4*u - 59 = -n. Let w be -3 - 6/u*-5. Which is smaller: w or 179?
w
Let n = 11865 - 11882. Which is smaller: -2.58 or n?
n
Suppose 2*x = v - 5 + 32, -2*v = x - 16. Suppose 0 = -5*c - 5*h + 95, c + h + 81 = 5*c. Let u = c - x. Which is smaller: 0 or u?
0
Let d(k) = -68*k - 37. Let l(s) = -23*s - 11. Let x(c) = 6*d(c) - 17*l(c). Let q be x(-2). Which is smaller: q or 2/423?
q
Suppose 0 = -q - 2*m - 2596 + 939, -9942 = 6*q - m. Which is smaller: -6623/4 or q?
q
Suppose -3*v + 79 = -4*b, -v + 6*v - 4*b = 137. Let p = 253 - 380. Let u be (-3)/4 - p/4. Is v greater than or equal to u?
False
Let q be 734475/(-735) + 4/14. Is q bigger than -4992/5?
False
Let p = 4269 - 17063/4. Let b = -0.04 + 4.84. Let z = b + -5. Which is bigger: z or p?
p
Let c = 213.23 - 229.25. Do -2/9 and c have the same value?
False
Let f = 24 + -21. Suppose -t = 3*g + t - 118, 3*t = -f*g + 114. Is 41 less than or equal to g?
True
Let i = 43.299 + -43.099. Is -6797 at least as big as i?
False
Suppose x - 72*u + 77*u = -69, -2*x = -14*u - 198. Let t = 10873/10153 - 81/71. Is x at most as big as t?
False
Let n(a) = -73*a + 8. Let m be n(8). Let t = -20158/35 - m. Let d = 9/5 + -107/65. Which is bigger: t or d?
d
Suppose 4*y = 6*y - 6. Suppose 2*h - 5*i = 24, 2*h + 176 = 4*i + 196. Which is smaller: y or h?
h
Let f be (33/99)/(-2 + 1 + (-10)/(-15)). Is f bigger than -2/11303?
False
Suppose 158*i = 84*i + 61*i + 481. Let n(l) = 4*l - 3. Let v be n(2). Let u be (13/v - -1)*10. Which is greater: u or i?
i
Let a = 26 - 15. Let z(n) = 1 + 17*n**2 - n + 0*n - 3*n**2 - 3*n**2. Let o be z(-1). Which is greater: o or a?
o
Suppose -36*r = 1753 - 529. Which is smaller: -39 or r?
-39
Let l(y) = y**3 + y**2 - y. Let w be l(2). Suppose -w*u + 6*u = -12. Suppose 5*h - 12 = -2*t - 1, 3*h = 2*t - u. Which is bigger: h or -3?
h
Let g be ((-7812)/(-3472))/((-2)/(-24)). Is g greater than 506/19?
True
Let a = 19 + -22. Let h = -24 - -79/3. Let w = h + a. Is w != -2?
True
Let d(v) = -v + 5. Let b be d(6). Let k = 182.2 + -1.2. Let z = 181.43 - k. Which is smaller: b or z?
b
Let a(q) = 2*q**2 - 88*q + 533. Let m be a(7). Suppose w = 2*n - 17, 5*w - 3*n = n - 97. Let h be -87*(w/18 - -1). Is h < m?
True
Let m = -0.025 - 0.175. Let j = m + 0.4. Which is greater: -1/5 or j?
j
Let a = -1753.91 + 1753.3. Which is smaller: a or 99?
a
Let a = 76.63 + -75.63. Is 993 smaller than a?
False
Let t be ((-2217)/(-21))/(205/1435). Which is bigger: 731 or t?
t
Let w be (21/35)/((-2)/(-10))*533/(-123). Let s(j) = 0*j**2 - j**2 - 14*j + 0*j**2 - 12. Let m be s(w). Are -1 and m non-equal?
True
Let a = -73 - -28. Let t = a - -29. Suppose m - 8 = -2*x, 3*x + 137 - 149 = 5*m. Is t > m?
False
Suppose 69*l - 68*l - 12 = 5*s, 0 = l - 4*s - 7. Suppose a = 4*a + 9. Let z(x) = 6*x + 7. Let i be z(a). Are l and i nonequal?
True
Suppose 5*l - 41 = -0*l + 4*c, -4 = c. Suppose 110 = l*o - 5*x - 35, o + 3*x - 41 = 0. Let v(z) = -z + 49. Let u be v(16). Which is smaller: u or o?
o
Let i be (-1537)/(-58) + -15 + -12. Let s = 61.849 - -0.151. Is i greater than or equal to s?
False
Let j = -13217 + 13495. Are j and 294 equal?
False
Suppose 0 = -162*p - 36*p - 4554. Which is smaller: -7 or p?
p
Let m be 1*-1 + ((-5150)/721)/((-3)/105). Which is smaller: m or 232?
232
Let x be (356/(-267))/((-3)/(90/212)). Which is greater: 0.2 or x?
0.2
Let r = -14936 + 14935.8. Which is bigger: r or -10/37?
r
Let t = 82 - 58. Let s be t/11 - ((-184)/(-44) - 4). Let b be (s + -1)/((-1)/(1 + -2)). Which is bigger: 0.26 or b?
b
Let b = -2084 + 1725. Which is bigger: b or -360?
b
Let k(b) be the second derivative of -b**3/2 + 61*b**2/2 + 704*b. Let w be (-15)/((-2)/4 - 1). Let c be k(w). Is 33 <= c?
False
Let w = 9.1 - 11.1. Let v = -4.158 + 0.058. Let r = v + 4. Is r greater than w?
True
Let j(r) = -51*r**2 - 50*r - 278. Let z be j(-5). Is -1303 at most z?
True
Let c(m) = -m**2 - 9*m - 21. Suppose -281*t = -277*t + 20. Let u be c(t). Which is greater: -2/45 or u?
-2/45
Let t be ((-44)/(-12) - 0) + 3/9. Suppose -3*n + 1 = 3*o - 5, -t*o + 4*n + 48 = 0. Is 0.01 greater than or equal to o?
False
Let j = -1370 - -1341. Let f = 3 + -32. Is j <= f?
True
Let l(o) = 2*o