ler: 2646/17 or p?
2646/17
Let g(l) be the third derivative of -l**6/120 - 2*l**5/15 - l**4/24 - 4*l**3/3 + 27*l**2. Let m be g(-8). Let u be 2/14 - (8/28 + m). Is u at most -1/2?
False
Suppose 2*b - 18*b + 25672 = -22312. Which is greater: 3002 or b?
3002
Let q(h) = -3*h**2 - h + 4. Suppose 9 = 2*x + 17. Let g be q(x). Let z be 8/g - (-4 + 2 + 1). Which is smaller: -2 or z?
-2
Let u = -608 - -608. Let m = 99447/23 - 4323. Which is smaller: u or m?
u
Let a = -4848 - -4265. Do a and -585 have the same value?
False
Let b be (-20 + (-2141507)/(-107083))*(4/(-18))/1. Which is bigger: 1 or b?
1
Let g = -42 + 24. Let v = -0.00626 + 0.02626. Which is greater: v or g?
v
Let i(y) = -y**3 + 45*y**2 + 61*y - 675. Let o be i(46). Is o bigger than 395/28?
True
Suppose 0 = 4*g + 8*g. Let t be 1 + g + 0 + 111. Suppose -3*d - 16 + t = 0. Which is smaller: d or 1?
1
Let h be (-1)/10*(-6630)/(-408). Let s be (-6)/(-8)*(-4)/(-8). Let f = s + h. Are -1 and f equal?
False
Let t = -65 - -154. Let r = t - 89. Which is bigger: r or -2/233?
r
Let u = -47.8 + 107.9. Let d = u - 60. Which is bigger: 97 or d?
97
Let m = 12497/2 - 6174. Let f(t) = -t**3 - 4*t**2 - t - 4. Let g be f(-6). Which is greater: m or g?
m
Let b(q) = -q + 1 - 13*q - 2 + 0*q - q**2. Let p be b(-14). Let i = 108 + -542/5. Which is smaller: p or i?
p
Let l(c) = -19*c - 53. Let m be l(-3). Suppose 5*s - 9*t = -11*t - 11, 5*s + m*t + 17 = 0. Are s and -1/105 unequal?
True
Let u(x) = 7*x - 47. Let y be u(8). Suppose 5 = 2*n - 12*b + y*b, 4*n + b = 3. Is 34 less than or equal to n?
False
Suppose -10 = -5*c + 3*n, 0 = -2*c - 3*n - 4 + 8. Suppose 4*g + 5*m - 550 = -0*m, m = c*g - 282. Let v = -128 + g. Is v <= 9?
False
Let q = 3.24 + -3.346. Let u = 2.894 - q. Is u <= 48?
True
Let c = -778/229 + 830590/242053. Which is bigger: c or 1?
1
Let t be ((-36)/(-27) + 0)*(1 - 43621/43618). Which is bigger: 1 or t?
1
Suppose 5*t - 484 + 214 = x, 0 = t + 4*x - 12. Let d be 2/(-5) + 846/15. Do t and d have the same value?
False
Let t be (-20)/(-45) + (-51066)/81. Let o be ((-7504)/t - 12)*6/10. Which is smaller: o or 0.1?
o
Let f = -25.97 - -27.1. Let l = f - 0.83. Let b = -0.2 + -0.2. Which is smaller: b or l?
b
Let n be 2/(-4)*(-2)/(-1). Let d be ((-2312)/16)/(-9 + 4 + 1724/(-40)) - 3. Which is greater: d or n?
d
Let q = 10052 - 10053.039. Are q and 3 equal?
False
Let y = -1634.9 - -1523. Let w = y - -110. Is w >= -1/4?
False
Let v be 1/(0 + 1) - -67. Let k = 88 - v. Suppose -k = -5*h - 3*g, -2*g + 6 = -h - 3. Which is smaller: h or -1/90?
-1/90
Let a = -3654 + -8444. Is a not equal to -12099?
True
Let w(x) = 960*x - 6738. Let f be w(7). Which is smaller: f or -37/2?
-37/2
Let t = -0.918 + 1.608. Let r = 682 - 681.346. Let s = r - t. Which is smaller: s or -1?
-1
Suppose 10216 = -2*d + 1523 - 6527. Is -7610 < d?
False
Suppose -r = 3*a - 3404, 0 = -5*a + 8*r - 3*r + 5640. Let i be a/6215 + (-2)/10. Which is smaller: 0 or i?
i
Let q be (35/14 - 22/4)*3/(-195). Let h(k) = k**3 + 6*k**2 + 4*k - 6. Let w be h(-5). Which is greater: w or q?
q
Let o be ((-244)/366)/(4520/4518 + -1). Let s be 0 + (-3358)/10 + o/1255. Is -337 > s?
False
Suppose 0 = 35*v - 31*v - 8. Suppose p = 2*t + 15, -t - 6*p + p = v. Is t < -4?
True
Let b = 105 + -94.8. Let s = b - 10.1. Is 1/8 at most s?
False
Let i be (-76)/(-28) + 6/21. Suppose 2*r - i*r + 3*o + 7 = 0, -2*o = -3*r + 21. Suppose 0 = r*v - 2*v - 35. Does v = -2/3?
False
Suppose 0 = 31*d - 32335 + 10976. Which is smaller: 680 or d?
680
Let d(m) = 192*m + 5. Let i be d(2). Let a = i - 181. Let q be 1/5 - a/1340. Which is bigger: q or 1?
1
Let f(c) = 4*c + 33. Let b(x) = -2*x - 43. Let w = -40 + 24. Let u be b(w). Let p be f(u). Which is smaller: p or -19/2?
p
Let b(o) = -o**3 + 10*o**2 - 5*o - 93. Let u be b(8). Let p(c) = -60*c - 248. Let t be p(u). Suppose n - 42 = 11. Is n less than or equal to t?
False
Let f be (179 + -4)/((-1881)/(-11)) - 4/4. Is 2 <= f?
False
Let d be ((-6)/(-72648)*28)/((-1)/414). Let y = d - -1300159/199782. Let q = -5/99 + y. Which is smaller: 7 or q?
q
Let p be -61*((-950)/280 - 2/(-8)). Let c = p - 192. Let g = -4 + -4. Which is bigger: c or g?
c
Suppose 2*s = -g + 474, 20*s - 24*s + 4*g = -900. Is s at most 11?
False
Let g be 30/(-36)*16/770. Let r = -1075/48741 - g. Is -1 < r?
True
Let z be 1 + 2 + -6 - 209. Let d = -149 - z. Is 63 at least as big as d?
True
Suppose -2*d + 0 = -8. Let q be 10/(-3)*1584/(-165). Suppose 6*z - d*z = q. Is z at least as big as 18?
False
Let g = -8507.5665 + 8509. Which is greater: -2 or g?
g
Let v(i) = 2*i**3 + 165*i**2 - 92*i - 344. Let c be v(-83). Which is smaller: c or 402?
402
Suppose -2*j + 93 - 85 = 0. Suppose -269 = 5*r - m - 0*m, j*m + 58 = -r. Let n be (58/(-8))/(r/(-72)) - 1. Which is greater: -12 or n?
n
Let j = -180 - -190. Suppose -3*x + 3*v - j = 8, -2*x - 3*v = -3. Which is greater: x or -28/9?
x
Let n be (-3 + 4)/(-1 - (2 + -4)). Let b be -1 - n - -2*(-1 + 3). Let t be (3 - 3)/(6/b + -1). Which is smaller: t or 1/8?
t
Suppose 2*t + 2 = 3*o, -3*o = 2*t + 3*t - 37. Let p be o - (0 + 3)/3. Let l be (-3)/18*p*0. Is -2/13 not equal to l?
True
Suppose 0 = -o - 4*o + 765. Suppose -324*k = -233*k - 13741. Are k and o unequal?
True
Let r(c) = 12*c + 44. Let o be r(-2). Suppose -k - 2*n = 5, -4*n = o - 0. Is 2 greater than or equal to k?
False
Suppose 4*h - 3436 = 4*o, 2*h - 2108 - 466 = 3*o. Is -856 bigger than o?
False
Let t = -69547/451730 + 92/597. Which is bigger: 1 or t?
1
Let l = -6829.9 - -6826. Let z be 3*(3/9 + 0). Is l <= z?
True
Suppose 4*h - 32 + 7 = 5*j, 6*j + 30 = 5*h. Does h = 2/34835?
False
Let l = 24 - 37. Let i = -64881/154 + 3621/22. Let t = i + 257. Which is greater: l or t?
t
Let r = 31561.8 + -31562. Is r at most as big as 3865/7?
True
Let x be (62/6)/(25/225). Let n = -108 + x. Is n greater than -15?
False
Suppose -5*t = -4*m + 51, 0 = -2*t - 2*t - 12. Suppose -o - 2*l = -m, 3*l - 2*l + 72 = 4*o. Which is smaller: o or 18?
o
Let o = 213818/264859 - 8/1687. Which is smaller: o or 0?
0
Suppose 1222*u = 1226*u - 9004. Does u = 2251?
True
Let j = -5910 + 5897. Is j <= -17?
False
Suppose d - 343 = 5*u, -5*u + 6*u = -1. Suppose -10 = 4*m - d. Are m and 82 unequal?
False
Let a = 1086/14911 - 4/481. Which is smaller: a or 110?
a
Let q = -16130.84 + 16131. Let m = 0.04 - 0.01. Which is greater: q or m?
q
Suppose -8*q - 509 = -565. Suppose -15*p + q*p = 0. Which is smaller: -13/17 or p?
-13/17
Let t = 36615.1 + -36614. Let l = -1/13 + 41/26. Is l > t?
True
Suppose -17*w = 58 - 7. Let d = 20 + -23.6. Let m = 1.6 + d. Which is smaller: m or w?
w
Let l = 30096/65 - 463. Which is smaller: l or 29?
l
Suppose -103*o - 55 = -55. Which is smaller: o or -8/2165?
-8/2165
Suppose -5*z = 2*y - 9 + 38, 0 = 4*z + 20. Let f be (-1 + 4)*((-12)/(-9) - 2). Let v be y - f/(-2) - (-1650)/549. Do v and 0 have the same value?
False
Let z(l) be the first derivative of -l**4/4 + 20*l**3/3 - 19*l**2/2 + l + 40. Let j be z(19). Which is bigger: j or 1/117?
j
Let l = -428221/65 - -6588. Let z = -2 + 4. Let a be (1 - z/2)/(-2). Which is greater: l or a?
a
Let l(h) = -2*h + 36. Let a be l(-24). Suppose 3*f = k + 7*f - 16, -a = -4*k + 4*f. Is k less than 7?
False
Let j be (-10)/(-12) + 26/12. Suppose 4*c = -j*f + 5*c - 193, -2*f + c - 128 = 0. Which is greater: f or -66?
f
Let i(b) = 216*b + 14473. Let t be i(-67). Which is bigger: t or 196/177?
196/177
Let f = -87 + 64. Let u = -7 - -25. Let w be (-435)/18 + 3/u. Are f and w nonequal?
True
Suppose 0 = -a + 5*a - 20. Let f(t) = t**2 - 4*t + 4. Let n be f(a). Suppose 2*b + n - 3 = 2*y, b - 3 = 0. Is 7 < y?
False
Let s = -2433/16 - -265/16. Which is smaller: -136 or s?
-136
Let v = 21935 + -21380. Which is smaller: 2/7 or v?
2/7
Let k(h) = -h**2 + 23*h - 92. Let w = -8 - -26. Let l be k(w). Which is smaller: 2 or l?
l
Suppose -f = -0*f - 8. Let v be 2 - (-4)/f*-56. Let n be (2/(-4))/((-13)/v). Which is greater: -8/11 or n?
-8/11
Let o = -17 - 13. Let r(i) = 4*i + 10. Let n be r(-10). Let w = -60 - n. Is w less than o?
False
Let p = 83 - 82.9. Let z = -1067.36 + 1046. Let h = z - -21. Which is smaller: h or p?
h
Suppose 84 = 5*z - 4*f, -25*z + 23*z + 44 = f. Let s = 3 - -12. Suppose j - 4 - s = 0. Is z at least as big as j?
True
Suppose -4*i = 3*x + 3, 0 = 4*i - 9*i + x + 1. Suppose -3