 j be ((-12)/(-5))/(18/(-260)). Let a be (-14 + 19 + (-18)/4)/((-2)/136). Are a and j equal?
False
Let j = 4998 + -4862. Which is greater: j or 0?
j
Let c(o) = -o**2 - 28*o - 63. Let w be c(-25). Let i be 188/6*w/(-8). Are -42 and i nonequal?
True
Suppose -7*g + 2*g = 0. Suppose 2*j - 17 = s - 2*j, 8 = -s + j. Let o be 5*12/(-150)*s/(-6). Which is bigger: o or g?
g
Suppose 40*l = 200 - 120. Let u be (-3)/342*1272/9. Let z = 6/19 - u. Which is smaller: z or l?
z
Let s be ((-408)/510)/(2803/(-1400) - -2). Is 373 != s?
True
Suppose -5*t = -15, 5*i + 4*t + 73 = -10. Let s(b) = -3*b**2 - 132*b - 20. Let k be s(-44). Is k equal to i?
False
Let b = 1407 - 1433. Is b at least -30?
True
Let j = -327 - -396. Suppose -3*g + 4*y + 34 + 64 = 0, j = 2*g + y. Is g greater than 100/3?
True
Let u = 1 - 0. Let b be 21/546*70 - -14*4/(-24). Are u and b unequal?
True
Let w = -101.274 - -100.714. Let c = -1 - -0.9. Which is greater: w or c?
c
Suppose 0*r = 5*r - 10. Let j(l) = 3*l**2 + 10*l - 9. Let i be j(-4). Is r >= i?
True
Let d be (1656/874)/((-6)/38). Suppose -3*f + j = 0, 5*f = 4*f - 5*j. Suppose f*x - 36 = 3*x. Is d equal to x?
True
Let g(j) = j**2 + 10. Let u be g(0). Let w(i) = -7*i**2 + 13*i**2 - 59*i + u*i + 14*i**2 + i**3 - 9. Let m be w(-22). Is 101 bigger than m?
False
Let d = -14.77 - -13.4. Let g = d + 1.6. Let z = -0.959 - -0.759. Which is smaller: g or z?
z
Let c be 3 + -3 + -2 - 88. Let s be ((-300)/c)/((-5)/((-150)/(-4))). Are 1/4 and s unequal?
True
Let o = 427 - 411. Let q(s) = -s**3 + 30*s - 5. Let n be q(-6). Are n and o non-equal?
True
Suppose -17*j - 333 = -78. Is j at most -28?
False
Let g be (-4)/7 + 10008/2520 + -5. Let q = 4 + -4. Suppose q = l + 5*d - 8, 4*d = -3*l + 6*d - 10. Is l smaller than g?
True
Suppose 6*p - 137 = -2*s + p, 4*p = 20. Let o be (12/14)/((-12)/s). Let i be 0 + 8*(-2)/5. Which is greater: o or i?
i
Let f(p) = p**3 - p**2 + 5*p + 8. Let c be f(6). Suppose -172*k + 171*k + 219 = 0. Which is bigger: k or c?
k
Let l be (-9)/((-45)/(-299)) - (-2)/(-10). Let x = l - -59. Let q be 2*(2 - 26/14)/x. Which is smaller: -0.1 or q?
q
Suppose -91*h - 4 = -v - 92*h, v = -5*h + 20. Is -35/548 >= v?
False
Suppose 0 = -5*m + 4*l + 474 - 1438, -l = -2*m - 385. Suppose 2*b - b + 190 = 3*s, -s - 580 = 3*b. Which is smaller: b or m?
b
Let g be 0 - (0 - (4 + 0)). Suppose c + i - 4*i = 38, -2*i = g*c - 82. Is 27 smaller than c?
False
Let g = 0 - -21. Let t = g + -14. Let i(y) = -562*y + 2258. Let c be i(4). Which is greater: t or c?
c
Let c = -53 - -94. Let t(o) = 233*o + 4930. Let s be t(-21). Is s at most as big as c?
True
Let r(y) = 30*y + 151. Let u be r(-7). Let w be 118/u + 2/(-2). Let h = -13 - -7. Is h less than w?
True
Let x = -21883/2 - -10942. Is x greater than or equal to -667/6?
True
Let o(z) = z**2 + 8*z + 99. Let t be o(23). Let s = t + -107995/133. Which is smaller: 1 or s?
s
Let s(t) be the third derivative of 25*t**4/12 + 401*t**3/6 + 4*t**2. Let o be s(-8). Let m be 113*(-2)/(-114) + -2. Is m greater than or equal to o?
False
Let f be 1 + (-6)/(-12) - (7533/(-6) - -3). Is 1252 >= f?
False
Let g be (-16)/6*(-180)/(-80). Let l = -24 - -32. Let p be 22/g - (6 - l). Which is bigger: p or -1?
-1
Let z = 41.981 + -41.8. Let d = z + -0.081. Which is smaller: d or -0.2?
-0.2
Suppose -40 = 3*n + 5*d, d + 2*d = -n - 8. Let f be (2/10)/(512/n). Which is bigger: -1 or f?
f
Let h be (-26 + 16)*(-6)/10. Let l be (-57)/38 - (-211)/2. Suppose -h*n = 7*n + l. Is n less than or equal to -9?
False
Let h = -95 + 96. Suppose -4*g + 39 = 4*d - 25, -50 = -3*g - 4*d. Let a be 4/g + (-51)/7. Which is smaller: a or h?
a
Suppose 8 = -55*f + 57*f, -5*t - 2*f - 2362 = 0. Let c = -488 - t. Which is bigger: c or -3?
-3
Let z = 20 + -6. Let u = -51421 + 51420.2. Is z < u?
False
Let f = -324 + 321. Let y be -18 - -19 - 2/f. Is 3 greater than y?
True
Let q be (((-3)/2)/(6/4) - 5) + -113. Is q greater than -101?
False
Let r = -14748841/738984 - 2/30791. Let u = r + 113/6. Suppose 0*p + 4 = -4*p. Which is smaller: p or u?
u
Suppose 5*k = -4*d - 681, -5*k - 113 = 2*d + 560. Suppose 542*m - 11070 = 624*m. Is m smaller than k?
True
Let o = -5991907009/70012 - -85584. Let d = o + 521309359/490084. Let t = d + -1066. Which is smaller: -2 or t?
t
Let m = 54.035 + -1.035. Which is bigger: m or 2.4?
m
Let y = 1531.0823 - 1869.144. Let p = 0.0617 + y. Is p < -1/3?
True
Let o = 132 + -125. Suppose 22 - o = 5*t. Is 7/4 less than or equal to t?
True
Let r = 440.32831 + -0.02831. Let l = -422 + r. Is -1 equal to l?
False
Let r(x) = x**2 + 20*x - 2. Let c = 721 - 739. Let t be r(c). Which is greater: -43 or t?
t
Let p = 1466 - 2180. Let h = -635.9 - p. Let s = h + -78. Which is greater: s or 71?
71
Let k = 289 + -289. Let c(r) = -r**3 - 6*r**2 - 7*r - 6. Let j be c(-5). Let o be 312/(-798) + j/14. Is o greater than or equal to k?
False
Suppose -3202*n = -3218*n - 16. Is n != 20/351?
True
Let c(s) be the second derivative of -s**3/2 - 31*s**2/2 - s + 6. Let z be (105/28)/((-2)/8). Let o be c(z). Is o less than 15?
True
Let u = -2 + 3. Let o be ((-19134)/21260)/(-1 + (-1 - 38/50)). Is o at least u?
False
Let m = -5.9 + -0.1. Let u = 65209 - 65207. Is u greater than m?
True
Let o = 81 - 82. Let u(v) = -160*v**3 + v**2 + 2*v. Let s be u(-1). Let a be (-324)/s + (1 - o). Which is greater: a or -1?
a
Let h be (2/4 - -1)*(1 - (-363)/9). Is 684/11 > h?
True
Let f be 57*5/15 + -7. Let s be f + 1*0/(-7). Is s equal to 17?
False
Let n = 1359.9 - -281.1. Which is smaller: 0.1 or n?
0.1
Let j = -358 + 482. Let o = -570 + 694. Is j greater than o?
False
Let i(v) = 17*v + 8. Let d be i(-2). Let s = -12 - d. Let o = s + -28. Is o at least as big as -14?
True
Suppose 6*o + 3*g - 1617 = 8*o, -o - 786 = 3*g. Which is bigger: -800 or o?
-800
Let v = 1 + 4. Let m = -131136/11 + 11921. Which is smaller: v or m?
m
Let v = 73.5 + -105. Let p = v + 31. Let i = p + 0.2. Is i <= 2?
True
Let w(l) be the second derivative of -2*l**3/3 + 13*l**2/2 + 3*l. Let s be w(14). Let m = s + 44. Which is smaller: -1/48 or m?
-1/48
Let l be (1 - 0) + 1 + -36. Suppose 11*g + 81 = 38*g. Suppose 0 = 3*w - g + 12, -145 = 5*b - 5*w. Is l < b?
True
Let h = -356 + 1216. Let b = h - 858. Let p = 3 + -1. Is b greater than p?
False
Let w(g) = g**2 - 7*g. Let d be w(6). Let o(l) = -4*l - 9. Let r be o(d). Let j be ((-5)/r)/(14/(-6)). Is 2 at least j?
True
Suppose -2580*c - 1230 = -2595*c. Which is smaller: c or -12?
-12
Let g(x) = -37*x**2 + 159*x - 64. Let n be g(-13). Which is smaller: n or -8385?
-8385
Let i = -31.51 + 31. Let v = i + 0.78. Let o = 18.2 - 18.1. Which is bigger: v or o?
v
Let y(v) = -10*v**2 - 35*v + 20. Let i be y(1). Let c = 7 - 2. Suppose 0 = -0*q - 2*q + c*r - 50, -4*q - 2*r = 100. Is i > q?
False
Let s be 9/(-30) - 158041/130. Is s greater than or equal to -1216?
True
Let l = 9836/77 - 856/7. Suppose 5*y = -3 + 28. Does l = y?
False
Suppose -163 = -8*g + 85. Let a = -503 - -509. Which is smaller: a or g?
a
Let u = 28505 - 1681794/59. Is u less than or equal to -14?
False
Suppose 35*r - 24 = 27*r. Let c be 318/(-846) + 1/3. Let t = 601/235 - c. Is t at most r?
True
Let k(m) = -2*m**2 - 22*m - 4. Let x be k(4). Let b = 247/2 + x. Let o = 0.1 + -1.1. Which is greater: b or o?
b
Let f(b) = 552039232*b - 6. Let z be f(-2). Let n = z + 197531783144227/178911. Let l = n + 2/1737. Does 1 = l?
False
Let z(d) = d**3 - 5*d**2 + 2*d + 7. Let f be z(4). Let x be (-1 - f) + 49 + 0. Let b = x - 103/2. Which is smaller: b or -4?
-4
Let v be ((-35264)/380)/(12/30). Let l be 5/(30/(-117))*12. Are v and l unequal?
True
Let h = 324.33 - 325. Let a = h - -0.57. Do 8 and a have the same value?
False
Let m = -6449 - -7455. Is m at least 13080/13?
False
Suppose -2*q + 0*o + 2*o = 6, 4*o = q + 18. Let v be 55/(-99)*(1492/(-25))/q. Let d = 84/5 - v. Which is greater: d or 24?
24
Suppose 2*h = -8, -34*u = -33*u + 5*h + 175. Is -150 at least as big as u?
True
Suppose 56 = v + 76. Let z be (-3)/4 + (-275)/(-20). Let y(s) = -s**3 + 14*s**2 - 13*s - 18. Let t be y(z). Is t less than v?
False
Let s = -0.36 + 0.37. Let g = 12/47 - 107/235. Is g at most as big as s?
True
Suppose 59*f - 55*f + 5*x = 7, -2*f = -x - 21. Does 36 = f?
False
Let r = 159 - 74. Suppose -r*j = -90*j + 40. Suppose 0 = 3*f - 2*d - j, 5*f - 2 = 2*d +