han 1?
False
Let d be 1 - ((-5768)/(-35))/((-6)/(-150)). Which is smaller: d or -4120?
-4120
Let l(u) = -124*u + 352. Let j be l(2). Let a = 3749/2 - 1771. Is a smaller than j?
True
Suppose -4*g + 5*g - 20 = 0. Suppose -58*p + 48 = -46*p. Suppose 0*f + g = p*f. Is 1 at most f?
True
Let o(c) = -96*c - 1398. Let t be o(-31). Are -1/2 and t equal?
False
Let o = -32975 - -2736892/83. Are o and 0 unequal?
True
Suppose 99 = 52*p - 49*p. Let b be 34/(-24) - (-55)/p. Let t = -1 + 1.5. Which is bigger: b or t?
t
Let q = -168543/31 + 5438. Are q and -2 unequal?
True
Let s = -16524.951 + 16525. Let j = 3 - 3. Do j and s have the same value?
False
Suppose 0 = -o - 3*w - 9, -1 - 12 = 5*o - w. Let b be 9 + -2 + -1 + (-1 - o). Suppose v - 6*v - 3*c = -25, 0 = -2*c. Is b less than or equal to v?
False
Let i = -23/8 - -339/8. Which is smaller: i or 39?
39
Let w(g) = -g**3 - 23*g**2 - 16*g - 860. Let y be w(-24). Which is smaller: y or -0.024?
-0.024
Let u be 10/(-65)*-1*29. Let c = 7646 + -7643. Is c < u?
True
Let t be (10458/(-55))/(15/225*-171 + 11). Which is smaller: t or 475?
475
Let n(v) = -6*v**2 + 4*v - 4. Let x be n(3). Let s = -33159 - -33112. Which is greater: s or x?
x
Suppose 5*y - 91 = 2*k, 13*k - 15*k + 4*y - 94 = 0. Let d = k + -237. Is -290 greater than or equal to d?
True
Let f = -0.7 + 0.8. Let p = 4.4 + f. Let t = 3.4 - p. Which is smaller: t or -1/2?
t
Suppose 9471 = -13*k - k + 539. Which is bigger: -639 or k?
k
Let x = 92 + -143. Let j = -3 + 3.2. Which is bigger: x or j?
j
Let o(n) = -3 + 4 + 1 - 38*n + 0. Let g(b) = 37*b - 2. Let l(k) = -3*g(k) - 2*o(k). Let z be l(1). Is z <= 0.2?
True
Let b be (-1 - (-204)/220)/((-4)/(-10)). Which is greater: 1379 or b?
1379
Let n be (-4)/(-834)*18/8. Let z(c) = -c**2 - c + 21. Let x be z(4). Which is smaller: x or n?
n
Let f be 1 + -5*26/(-10). Let x = 33 + -8. Let l = -12 + x. Which is greater: f or l?
f
Let f be ((-5)/10)/((-5)/18870) - 5. Is 1882 greater than or equal to f?
True
Suppose -133 = z - 39 + 62. Which is smaller: -142 or z?
z
Let h = -0.19579 - -0.07279. Which is smaller: h or -2?
-2
Suppose -836*p = -830*p + 18792. Which is bigger: p or -3134?
p
Suppose -19 = 4*c + 2*y - 39, 3*c - 18 = -3*y. Suppose 2*o = k - 3*o - 12, -2*k - 3*o = 2. Suppose 5*s - 1 = -k*t, -s + 4*t = -3*s + 10. Is s != c?
True
Let m(u) = u**3 + 7*u**2 + 4*u - 2. Let y be m(-6). Suppose 126 = 541*g - 527*g. Suppose -y*q - 3 = -g*q. Which is smaller: -5 or q?
-5
Suppose 2*f - 11*f = 1458. Let d be 3/(((-1)/410)/(22/165)). Do f and d have different values?
True
Let m be -3 - 11/(22/240). Let l(y) = -152*y**2 - 577*y. Let o be l(-4). Is o equal to m?
False
Let v be (-4)/(-16) + (-47)/252. Let t = 672 - 667. Suppose 5*s + 10 = t. Is s bigger than v?
False
Let m = 98.44 - 5.44. Let r = m - 93.3. Which is smaller: 0 or r?
r
Let c = -1709 + 1623. Which is smaller: c or -81?
c
Let a be (-1134)/(-6257097)*22/3. Is a bigger than 0?
True
Let q be 20/(-150) + 1/(90/(-8)). Suppose 0*g = 15*g + 135. Let r(v) = -v - 10. Let l be r(g). Is q equal to l?
False
Let k be 43/(-9 - (-36)/24*(-16)/(-3)). Let j be (9 + -4)/(1/(-9)). Which is smaller: j or k?
j
Let u = -16545 + 446716/27. Is u at most 11?
True
Let a(n) be the third derivative of n**6/240 - n**5/15 + n**4/3 - n**2. Let t(h) be the second derivative of a(h). Let j be t(20). Is 51 greater than j?
False
Let k = -13/2 - -6. Let i be 0/(24/60*-5). Is i at most k?
False
Suppose 5*w - 6 = -3*n, 21 = -0*w + 3*w - 4*n. Suppose 5*q + g - 1 = 2*q, w*q + 11 = 2*g. Which is greater: -19/10 or q?
q
Let z = -25 - -4. Let u(d) = 14*d - 146. Let s be u(12). Let x = z + s. Is 5.3 equal to x?
False
Suppose -2*o - 4 = -4*j + 5*j, -j + 6 = -3*o. Suppose 29*f - 5*x + 425 = 24*f, -3*x + 421 = -5*f. Let b be f/(-81) - (-4 + 7 - 2). Is b bigger than j?
True
Let a be (-2)/1 + 4 - -5. Let p be a/(147/(-18))*-7. Suppose 2*q - 8 = -h + p*q, 5*q + 52 = -4*h. Which is bigger: -13/2 or h?
-13/2
Let d be 9/(-21) + (-2868)/(-28). Suppose 2*r = -0*r + d. Let h = -30 + r. Do 20 and h have different values?
True
Let d be (-95228)/(-95) + -2 + (-16)/(-10). Is 995 equal to d?
False
Suppose 25 = 5*m - 55. Suppose -16*u - 53 = -p - 12*u, -217 = -5*p + 4*u. Suppose -5*g - 66 - 23 = -4*t, -t + p = -5*g. Are t and m unequal?
False
Let t = 11749/39744 - -1/1472. Let f(z) = -1649*z + 72555. Let h be f(44). Are h and t equal?
False
Let n = 286 - 50. Let x(l) = -15*l + 39. Let c be x(-3). Suppose 4*v - n - c = 0. Is 80 smaller than v?
False
Let h be (-3)/(-12) - ((-200)/(-32) + -6). Let b be (-18)/(-4)*(-26)/299. Which is smaller: b or h?
b
Let y be 2*(-1)/6*-12. Suppose -5*f - 6 = -4*n, -2*n - n + y*f = -4. Let q(c) = 6*c - 48. Let g be q(9). Is g smaller than n?
False
Let g(s) = s**2 + 15*s + 10. Let q be (-86)/6 + 5/15. Let r be g(q). Let c be (36/(-7065))/(r/10). Do c and 0 have the same value?
False
Let g(v) = 2*v**3 - 2*v**2 - 20*v - 62. Let s be g(-4). Which is smaller: s or -1271/9?
s
Let x be (87/(-15) - -5) + 72/15. Suppose 0*j + 3*j - 144 = 2*z, -z = -x*j + 192. Which is bigger: j or 44?
j
Let u = 34 + -21. Let l be 0 + -1 - (-79)/u. Let r(j) = 120*j**2 + 361*j + 7. Let z be r(-3). Which is smaller: l or z?
z
Let b = 0.125 - 1.125. Which is bigger: -2563 or b?
b
Let b = 5.585 + -5.559. Are 1.5 and b equal?
False
Suppose 129*m + 212 = -83*m. Is m smaller than 880?
True
Suppose 7*y = 3*y + 20, n - 5*y + 26 = 0. Suppose 3*g = 3*u, 12*u = 4*g + 10*u - 2. Is n at most g?
True
Let f = -7.953 + 13.953. Which is smaller: -79/3 or f?
-79/3
Suppose -2*q = 4*y + 634, y - 1925 + 340 = 5*q. Is -317 greater than q?
False
Let u(j) = 77*j - 6517. Let c be u(-120). Is c greater than -15756?
False
Let n(p) = 11*p + 11. Let k(i) = i**2 - 6*i - 5. Let c(a) = -5*k(a) - 3*n(a). Let m be c(-2). Is m smaller than -23?
False
Let y be (2 - -1) + 0 - (-57)/(-3). Let i(j) = -2*j - 29. Let d be i(y). Suppose 0 = z - 0*t - 4*t - 21, -2*t - 13 = -d*z. Do z and 2/165 have different values?
True
Let s = -13989 - -13988. Is s greater than or equal to 3/1537?
False
Let y(q) be the third derivative of 17*q**4/24 + 107*q**3/6 - 93*q**2 - q. Let x be y(-7). Is x equal to 3?
False
Let v = -54270 - -54096.859. Let b = v - -173. Let k = 0.041 + b. Which is greater: 2/7 or k?
2/7
Let o = -6286.6 + 6283. Is o >= 0.095?
False
Suppose -2 = 2*v, 5*h = -20*v + 17*v + 132. Which is bigger: h or 48?
48
Let p(q) = -45*q - 96. Let y be p(-14). Suppose y*o = 538*o - 252. Is o smaller than 65?
True
Let z be (23 - 21)*(-2)/(4/3). Let r be (z - 31)/((-2)/(-1)). Let d be (-3 - r/5)/((-8)/(-30)). Which is bigger: 1 or d?
d
Let r(y) = -3*y**2. Let a be r(1). Suppose 0 = -10*i + 14*i - 4*o - 92, -65 = -3*i + 5*o. Suppose 8*j - i = 3*j, -4*s + j - 9 = 0. Which is greater: a or s?
s
Let c be 0*((-15)/5)/(-6). Let s be (-36)/((-2)/5 + c). Is 1/3 <= s?
True
Let h = -4189 + 4243. Is h equal to 65?
False
Let q = -65963/1499 + 44. Let g = -12595/2055129 - q. Do g and 0 have the same value?
False
Let j = -53276439/598 + 89091. Let k = 9/46 - j. Let t be (-3 + 0)*(-2)/6. Is k <= t?
True
Let x = 3 + -7. Let w be 72800/3360*(-18)/85. Is x less than or equal to w?
False
Let z be ((-2620)/100 + 19)*(-15)/171. Are -11 and z unequal?
True
Let n = -1820 + 843. Which is greater: 0 or n?
0
Suppose o - 2*n = -26, o + 4*n - 2 - 2 = 0. Let r(b) = -b**3 - 17*b**2 - 8*b - 22. Let q be r(o). Let v be (((-4)/q)/2)/(6/(-18)). Is 1 >= v?
True
Let a = 225/4 + -56. Let u = -9622 - -67327/7. Is a <= u?
False
Let p = 5184 - 5182. Which is smaller: 2318 or p?
p
Suppose -239 = -5*l - z, 5*z - 335 + 100 = -5*l. Suppose 0 = 4*w + 12*w + l. Let s be w*((-8)/(-936))/(4/(-6)). Is s bigger than 0?
True
Let f = -36368 - -36280. Let c = -1075889/12035 + -8/2407. Is c <= f?
True
Let t = 32721517174394/63619 + -514335610. Let i = t + -6/563. Let c(a) = -a**3 - 2*a**2 + 2*a - 4. Let h be c(-3). Is h not equal to i?
True
Suppose -14*r + 34293 = 28651. Which is smaller: r or 402?
402
Let q be 4/(2 + 2) - -15. Suppose -q + 31 = -3*v. Let d be (-2 + -3)*(-6)/v*1. Is 2 bigger than d?
True
Let l be 1 - 5 - ((-16)/72 + 377996/144). Which is smaller: l or -2630?
-2630
Suppose -o - w = 23, -11*o + 14*o + 101 = 5*w. Is 10 smaller than o?
False
Let u = 75 + -64. Suppose 277 + 449 = -u*k. Which is greater: -67 or k?
k
Le