+ 11*a**2 - 5*a - 4. Suppose 0 = 4*b - 3*l - 26, 2*l + 16 + 3 = 3*b. Let r be y(b). Let t be r - (-90)/(-3) - 2. Is -36 at least t?
True
Let b = -28 + 26.9. Let p = -1.2 - b. Let u = 5.417 + -6.917. Which is smaller: u or p?
u
Let d = -54 - -86.6. Let k = d + -33. Let u = 0.3 - k. Which is smaller: u or 0.1?
0.1
Let o be (-8)/(-30)*2/(-4)*66/(-5247). Is o not equal to -1?
True
Let m be (498/(-146) + 3 + 0)*2/54. Is 1 < m?
False
Let t = -2039/2 - -1020. Is t less than -535?
False
Let y be (-110795)/(-200) - (7 - 3). Let d = -550 + y. Which is smaller: 1 or d?
d
Let v(k) = 20*k**2 - 207*k + 9. Let p be v(11). Which is bigger: p or 2/5?
p
Let u = 8616 + -2283316/265. Is 1 at most u?
False
Let w = 12467/5 + -2481. Is -0.06 at most as big as w?
True
Let q be (-11)/(770/(-135))*7/6. Let d = 13 + -13.15. Let u = 0.35 + d. Are u and q equal?
False
Let k = -3446 + 3455. Is k at most 6/53?
False
Suppose -58*m + 245 - 52 = 135. Let r = 12368/2170115 - 2/30565. Is r >= m?
False
Suppose 4*v = -0*v. Let m(d) = 67*d**2 + 434*d - 164. Let o be m(-7). Which is bigger: v or o?
o
Let n be (5/(-50)*(5 - 13))/(62/(-10)). Which is greater: 1/50 or n?
1/50
Let c = -8 + 7. Let r = 899 + -535. Let v be (-2)/(352/r) + (-3)/(-12). Is c > v?
True
Let t(h) = 2*h**2 - 7*h - 7. Suppose -2*u - 2*a = 3*a - 9, 4*u - 2*a = 30. Let v be t(u). Let g = v - 38. Do g and 14/3 have the same value?
False
Let i = -31 + 9. Suppose 49 = -7*q + 189. Suppose -4*m - 80 = 3*o + o, 0 = m - 4*o + q. Which is smaller: i or m?
i
Let k be (-14)/(-4)*13/(182/12). Suppose 3 = 12*r + k. Which is smaller: 4 or r?
r
Let n = -610/373 + 237449/16785. Let t = -91/9 + n. Is 2 equal to t?
False
Let v be 18/(-1503) + (0 - 0). Let t = 340/501 + v. Which is smaller: t or -2/423?
-2/423
Let s be 160/(30/3)*((-1468)/(-16))/1. Which is greater: s or -0.2?
s
Let h be (-358)/19 - (30 + -45). Is h at most as big as -0.2?
True
Suppose 4*k + v = -5, 0 = k - 5*v + 6054 - 6079. Let n be (3 - 0)/((-3)/14). Which is bigger: k or n?
k
Let v be 1*5 - (1 + -1). Suppose -4*t + v*r = -t + 2, -t - 4*r = -5. Let u = -1305 - -31321/24. Which is greater: u or t?
t
Let p(v) = 5*v**2 + v. Let c be p(-1). Let n be 6 + (c - 8) + (0 - -2). Suppose -13 = -k + 3*t, -n*t - 4 = -3*k - 2*t. Which is greater: -8/13 or k?
-8/13
Let b be (2 - 840)/(54/(-18) + -14). Which is smaller: 0.2 or b?
0.2
Let j(g) = -2*g**3 - 7*g**2 - 65*g - 243. Let m be j(-6). Which is smaller: m or 325?
325
Suppose -6*s + 3*x - x - 62 = 0, -s = 2*x + 8. Let o be (-2)/(-8)*(s - (-235)/(-2)). Is -31 <= o?
False
Suppose 3*k + 1080 = -7*k. Let a = k - -109. Is a less than 11/16?
False
Let v be -2*4/(-8)*(-1596)/(-4142). Which is smaller: 0 or v?
0
Let a = -210 + 9. Let u = 122 + a. Which is bigger: 1 or u?
1
Suppose -138*x + 293*x - 126*x = -349102. Is x equal to -12037?
False
Let n be (-392)/343 + (-45)/(-21). Suppose 4*f = 2*t - 6*t - 172, -5*t = -4*f + 224. Which is bigger: t or n?
n
Let x(v) = 2*v + 13. Let r be x(-16). Let n(m) = -m**2 + 4*m + 5. Let q be n(10). Let c = 38 + q. Which is smaller: c or r?
r
Let k = 4516 + -4389. Is 0.3 less than k?
True
Suppose 52*a - 11504 + 4652 = 6512. Do a and 262 have different values?
True
Suppose -w - 18*z = -17*z + 5892, 3*w + 2*z = -17679. Is w < -5895?
False
Let q be (-46)/(-3)*214884/(-1128). Do q and -2921 have different values?
False
Suppose -294*m - 688 - 4016 = 0. Are m and -898 nonequal?
True
Let t(z) = -48*z**3 - 4*z**2 + 18*z - 16. Let f be t(1). Is f > -44?
False
Let v be (-15404)/2 + ((-310)/70 - (-16)/(-28)). Which is smaller: v or -7708?
-7708
Suppose -2*q - 33*j + 614 = -29*j, -15 = -5*j. Is q greater than or equal to 1502/5?
True
Let c(j) = -146*j + 1523. Let r be c(11). Which is greater: -86 or r?
r
Let y be -1 + 2 + (-236)/224. Suppose -5*l - 9*f + 5*f = -23, 3*f - 30 = 9*l. Which is smaller: y or l?
l
Let j(z) = -22*z - 407. Let q be j(-20). Is 531/16 less than or equal to q?
False
Let k be -4 - (-5 - (-1 + -2)). Let c be (44/11)/(k + 1). Let v(s) = -s**2 - 19*s + 67. Let f be v(3). Which is smaller: f or c?
c
Let z = 18 - 12. Let c be (z/8)/(3 + (-52)/16). Which is bigger: -54 or c?
c
Let g(l) = 8*l**3 + 2*l**2 - 3*l - 3. Let t be g(-2). Let p = -96 - t. Let v = p + 47. Which is greater: 3 or v?
v
Let d be (0 - 3) + -4 - -6. Let u(y) = 25*y + 5. Let f be u(d). Which is greater: f or -16?
-16
Let a = -623 - -622. Let s(w) = 9*w - 11. Let f(b) = 3*b - 4. Let h(m) = 17*f(m) - 6*s(m). Let c be h(a). Which is smaller: 4/9 or c?
4/9
Let s(d) = d - 23. Let j be s(26). Suppose 5*i - 3*u + 6 - 1 = 0, u - j = 2*i. Is i greater than -0.07?
False
Let n = 63.5 - 97. Let p = n + 33.4. Which is bigger: p or 46?
46
Let n(p) be the second derivative of 0 + 2*p - 1/3*p**3 + 1/4*p**4 - p**2. Let w be n(-1). Is w <= 4?
True
Let f = 14.22 - 15.88. Is 4 not equal to f?
True
Let k be (-116374)/(-248) + (-10)/(-8). Which is bigger: 471 or k?
471
Let b be (604/10)/((-2)/4*254/635). Is -307 less than b?
True
Suppose -6*k - 20 = 4*k. Let q be (426/3)/(4 + k). Let y = 47 - q. Which is smaller: y or 0?
y
Let r(k) = -k**3 + 14*k**2 + 6*k + 17. Let j be r(14). Suppose 145 = 5*o - 5*w, 4*w + 39 = 5*o - j. Let i = o - 33. Is -10 bigger than i?
False
Let g be -290 - -291 - (0 - (-7)/5). Let o = 6.04 - -4. Let k = o + -10. Which is smaller: k or g?
g
Let g = -417608 - -417608. Let o = 67.8 + -75. Is o > g?
False
Suppose 10 = -18*h - 8. Which is smaller: h or -2/297?
h
Let i = -5437 - -5468. Is i < -82?
False
Let o(k) = 5*k**2 - 3*k + 16. Let m be o(-5). Suppose 3*z - 2*j - m = 0, 2*j - 3*j = 3*z - 147. Is z equal to 48?
False
Let a be ((-3)/9)/(3 + 40/(-12)). Let g = -32 + 30. Let t be (3/(-2))/(19/g). Which is smaller: a or t?
t
Suppose 68*q = 23*h + 72*q + 562, -9 = -q. Let n be ((-2)/3)/(1/42). Which is greater: n or h?
h
Let l = 5776/117 - 436/9. Let o(c) be the second derivative of -c**5/20 + c**4/4 + 2*c**3/3 + c**2 + 6*c. Let s be o(4). Which is smaller: s or l?
l
Suppose 4*z - 755 = j - 916, 2*z + 3*j + 105 = 0. Is z != -705/17?
True
Let a = -3576 - -3577. Is 15/8 smaller than a?
False
Suppose -34*w - 15 = -37*w. Suppose -w*m + 0*m = 4*m. Let p = 7157/90 + -159/2. Which is greater: m or p?
p
Let r(y) = y**2 - 67*y - 628. Let c be r(-8). Which is greater: 25 or c?
25
Suppose 2*c + 81 = -3*g + 84, g = 3*c + 12. Let q be (-6)/(-14) - (-861)/49. Is c less than q?
True
Let y(j) = -36*j + 72. Let m be y(-2). Is 5 < m?
True
Suppose -5*s = -178 - 147. Suppose 0 = s*u - 62*u + 204. Which is greater: -70 or u?
u
Suppose 4*d - 19 = -3. Suppose 0 = -5*j + d*f - 8, -3*f = -7*f + 8. Which is bigger: j or 1/82?
1/82
Let u be (-69148)/5487 + 12 + 2/(-31). Which is smaller: -295 or u?
-295
Let j be (-627)/5 + 8/((-80)/6). Let d be 4/26 + j/78*-3. Suppose -5*m + 2*w = -6 - 7, d*m + 2*w + 3 = 0. Which is bigger: m or -1/83?
m
Let w(r) be the third derivative of -r**5/60 + 5*r**4/24 + 4*r**3/3 + r**2. Let m = -1490 - -1497. Let h be w(m). Which is smaller: h or -5?
h
Let y be 2/(-4) - ((-173)/(-2) + -3). Let d be 36/(-14)*(-3136)/y. Let o = d - -92. Is o > 6/5?
False
Let g(f) = f**2 - 4*f + 3. Let h be 12/(-4) + 5 + 1. Let i be g(h). Let j be (i - -2) + 11 + (-6)/3. Is j at most 13?
True
Let m = -89 + 209. Let s be 57/(-95) - (-297)/m. Which is greater: 1 or s?
s
Let x(s) = 3*s - 6. Let z be x(6). Let a = 61/268 + 401/2948. Does z = a?
False
Let r = 196 - 196.1. Is r greater than or equal to -348?
True
Let o = -612 + 643. Let j = o - 82/3. Is 0.4 < j?
True
Suppose 3*l + 17 = 32, -3*l = -4*s - 1275. Which is bigger: 1/7 or s?
1/7
Let h = 370562/193 - 1920. Do h and 0 have the same value?
False
Let g = 26 - -166. Let v be ((g/14)/(-8))/((-2)/7). Which is bigger: v or -2?
v
Suppose 236 = -h - 3*h. Let k(d) = -d**3 + 26*d**2 - 183*d + 3299. Let r be k(24). Let p = h + r. Which is greater: -9 or p?
p
Let l = -76 + 73. Let r be ((2/l)/1)/(232/14094). Is -41 bigger than r?
False
Suppose -17 = 2*k - 3*g, k + 13 = 59*g - 62*g. Let i = 3 - 2. Is i less than k?
False
Suppose -3*m - 3*z + 0*z + 408 = 0, 4*m = 2*z + 532. Let p = -0.0512 + -1.9488. Which is greater: p or m?
m
Let g = 5634 + -3266. Let h = -30760/13 + g. Let s(p) = -2*p + 24. Let a be s(11). Which is greater: a or h?
a
Let r be (-1)/4 + (-5)/(-4). Which is greater: r or 24/11?
24/11
Let z = -16