 - 6. Let o be q(-5). Let p = o + -27. Which is bigger: -1/11 or p?
p
Let j be 1 - (0 + -3 + 2). Let v be -1*(37 + j - 4). Let y be ((-14)/v)/((-3)/(-10)). Are 0 and y equal?
False
Suppose -2*u - 4 - 6 = 0. Let y(i) = -i**2 - 7*i - 6. Let g be y(u). Let k = 3 - g. Is 9 smaller than k?
False
Let h be (4 + 0)*1 + 0. Let c(r) = r**2 - 4*r + 1. Let s be c(h). Let i = 147.66 + -147.5. Is s smaller than i?
False
Suppose -1268 - 24 = 19*j. Which is greater: -69 or j?
j
Let z be (-2 - 10/(-3))*3. Suppose -18*m - 193 + 229 = 0. Which is smaller: m or z?
m
Let j be 4/16 - (-2 - (-6366)/216). Which is smaller: j or -26?
j
Let g = -45 + 53. Let o be (-1)/(6/g)*(15 + 0). Is -20 at most as big as o?
True
Suppose -6*z + 13 = -17. Suppose v - 3 + 1 = 4*b, v + 2*b = 8. Let q be 1/2*v + 2. Is z smaller than q?
False
Let s = -8 - -41. Let p be 140/80 + 12/(-8). Is s >= p?
True
Let t(n) = -n**3 - n**2 + 9*n + 2. Let i be t(-4). Let v = 24 + -10. Suppose v = 4*z - i. Which is smaller: z or 27/4?
27/4
Let f = 743 + -429. Suppose f = 9*y - 253. Is 62 less than y?
True
Let d = -21 + 16. Let f be (-5)/d*0/(-2). Suppose 0 = 3*l - 3*s + 39, f = -2*l - 3*s - 23 + 2. Which is smaller: -13 or l?
-13
Let d be (-14)/21 + (56/(-6))/(-2). Let u be 5/15 - (d + -1). Which is greater: u or -3?
u
Let s = 2321 + -76591/33. Let p = 4 - 3. Which is bigger: s or p?
p
Let l be ((-2)/(-6))/((-9)/(-81)). Suppose 2*i - 17 = l*i. Which is smaller: -0.1 or i?
i
Let a(q) = 2*q**2 - 14*q + 2. Let f be a(7). Suppose -y + 2*o = 3 + 7, -f*y = -5*o + 25. Suppose r - 3*k + 1 = y, 0*r + 2*r = 4*k + 6. Is 12 > r?
True
Let w be (4/5*-127)/(1100/(-13750)). Are 1270 and w unequal?
False
Let f = 11490 + -57268/5. Is 36 >= f?
False
Suppose 94*l - 3 = 97*l. Which is smaller: -14/41 or l?
l
Suppose 0 = -3*z - z + 112. Suppose -2*k - 44 = z. Does k = -36?
True
Suppose -o - 8 = -4*q, 4*o + 3*q + 84 = -24. Which is greater: -28 or o?
o
Suppose 2 = p - 3*p - v, -p - 1 = -4*v. Let h be 2*1*-3*(-16)/(-12). Let u be 6/((-22)/h - p). Which is smaller: u or 3?
u
Let z be ((-8)/(-32))/((-12)/48). Do -1/768 and z have the same value?
False
Let j be 2*(4 - (-175)/10). Let q be j - 12/(-1 + -2). Is 47 not equal to q?
False
Let z(w) = -w**2 + w + 30. Let b be z(5). Suppose -11*v + 9*v = b. Suppose -16 = 4*n + 2*h, -3*n - 2*h - 12 = -0*n. Which is greater: n or v?
n
Let h = 28.1 + -28. Which is smaller: 63 or h?
h
Suppose -101 = -5*a + 9. Suppose 2*u + 2 + 3 = r, 2*r + 4*u + a = 0. Let i = -5.3 - -6.3. Is i not equal to r?
True
Suppose 4*t + t - 600 = 0. Let d be t/54 + 2/(-9). Suppose d*z + 11 = z. Is -11 <= z?
True
Let l be 0/((-6)/(0 - 3)). Suppose -z + 4 - 6 = l. Which is smaller: z or -1?
z
Let o(m) = -m**3 - 6*m**2 + 7*m - 6. Let g be o(-7). Let a = 10 + g. Let c be (a/(-5))/(132/(-30)). Is c > -1?
True
Let d = -672 + 671. Is d greater than or equal to 3?
False
Let l = -40.6 - -45.6. Is l equal to 0.26?
False
Let j be (-1)/(-8 + (-5229)/18). Are j and 1 equal?
False
Suppose j - 15 = -0. Let h be j/(-10) + (-2)/4. Suppose -3*k + 0*k = 2*x - 10, k - 3*x = -15. Which is bigger: h or k?
k
Let c be 4*(-3 + 39/12). Let x be (2/(-4) - 0)*(5 - 13). Suppose -2*p - 8 = -3*j, 0 = -3*j + 4*j - p - x. Does c = j?
False
Suppose 4*j + j - 70 = 0. Suppose -j = 8*a - 7*a. Is a bigger than -15?
True
Let p(m) = -m**2 + m. Let s(b) = -5*b**2 + b + 5. Let w(y) = -6*p(y) + s(y). Let j be w(2). Which is smaller: j or 60?
j
Let i = 24 + -18. Let g be 6*2/i - (-3)/(-6). Let k be (1 - (-2)/(-3))*3. Which is bigger: g or k?
g
Let b = 40656.979 + -40628. Let a = -0.021 - b. Let t = a + 29. Are -18 and t unequal?
True
Let o be ((-8)/(-714))/((-3)/9). Which is bigger: o or -1?
o
Let p = -14 - -15. Let z = -55 + 341/6. Let m = z - 53/24. Is m at least as big as p?
False
Let p be ((-2)/(-3))/1 + 148/444. Do -4/253 and p have the same value?
False
Suppose -2*a = -n + 3*a + 262, 0 = 4*a + 4. Is n < 256?
False
Suppose -15*a = -3*a - 0*a. Let f be (2/14)/((-6)/(-2)). Are a and f nonequal?
True
Let o = -2/22783 + -113891/273396. Suppose j = -4*j + 5. Does j = o?
False
Let c(s) = -s**2 - 9*s + 136. Let b be c(-17). Which is smaller: -6/77 or b?
-6/77
Let w = 87 - 87.0821. Is w smaller than 1?
True
Let f(g) = -2*g - 63 + 63. Let a be f(-3). Suppose -h + 2*z + 1 = -a*h, 0 = 2*h - 3*z + 8. Does 1/13 = h?
False
Let b be (-8)/6 + 180/54. Let y be 2/(-8) - (-74)/40. Which is greater: y or b?
b
Let a = -2493/4 - -623. Is a > 0?
False
Let k(l) = -6*l - 34. Let o be k(-6). Let y(h) = h**3 - h**2 + 4*h + 1. Let n be y(o). Is 15 at least n?
True
Suppose -g - 2 = 0, -3*o + 14 = -2*g - 2. Suppose 3*z - o*z - 4*x = -49, -3*x = 5*z - 211. Is 43 < z?
False
Let b = -187 + 405. Which is bigger: 216 or b?
b
Let k(s) = s**2 + 3*s - 5. Let f be k(-3). Let p be -15 - f/((-5)/3). Which is smaller: -53/3 or p?
p
Suppose -80 = 4*l - 172. Is l > 21?
True
Let q be 1/((-10)/4)*-20. Let n = -9.86 - -13.86. Is n >= q?
False
Suppose -3*f + 4 = -f. Suppose -f*u + b - 7 = 4*b, -u - 3*b = 11. Let k be (-14)/(-4)*24/28. Do k and u have different values?
True
Suppose -4*t - 14 = -6*t - 4*q, -5*q = 4*t - 13. Which is smaller: 46 or t?
t
Suppose 0*s = 4*s + 12. Let j be 1/(s/(5 - 2)). Let y be (-67)/260 + 412/1339. Which is smaller: y or j?
j
Let n = 0.1 - -0.2. Let o = n - 0.24. Are o and -0.2 nonequal?
True
Let m = -3.22 - 0.03. Let u = m - -3.1. Which is smaller: -2/7 or u?
-2/7
Let a = 23 - 21. Suppose 0*r + 4*f - 12 = -a*r, 2*f + 42 = 3*r. Suppose 0 = 3*d - 0 - r, -b - 5*d + 24 = 0. Is 3 greater than b?
False
Suppose 463 = -10*q + 163. Is -32 > q?
False
Let s(c) = c**2 - 13*c - 14. Let g be s(14). Suppose -5*j - 3*o + 5 = g, o + 3*o + 28 = 2*j. Do 4 and j have different values?
False
Let t be (57/6)/((-8)/212). Let u = t - -244. Is -8 less than u?
True
Let z(o) be the third derivative of 0*o**3 + 0 + 0*o - 5*o**2 - 1/24*o**4. Let j be z(2). Which is smaller: -3/5 or j?
j
Let o(u) = -6*u**3 - u**2 + 1. Let c(z) = -2*z - 13. Let k be c(-6). Let j be o(k). Let m be (-16)/j - (-8)/12. Is -2 smaller than m?
False
Let s = -14 + 15. Let n = -11 + 21. Let r be (2/7)/(n/(-15)). Is s greater than r?
True
Let h(c) = 10*c + 1. Let b be h(2). Is 29 less than b?
False
Let u = -762131/178 - -8563/2. Does 1 = u?
False
Let l = -49/904 + -8/113. Which is bigger: 9 or l?
9
Let c(y) = y**3 - 5*y**2 - 25*y + 8. Let q be c(8). Which is smaller: -14/47 or q?
-14/47
Let d = -9522 + 2961338/311. Which is smaller: d or -1?
-1
Let i(f) = -405*f**2 - 2. Let w be i(1). Let r be 6/14 + w/770. Which is greater: -1 or r?
r
Let w = 23 - -4. Let a = w - 83/3. Let q(b) = 3*b + 3. Let k be q(-1). Which is bigger: k or a?
k
Let q be ((6/(-3))/(-1))/2 - -27. Let w(s) = -s**3 - 10*s**2 + 3*s + 2. Let p be w(-10). Let i = p + q. Which is greater: i or -2/3?
i
Let r = 2078 + -2077. Which is bigger: 2/1775 or r?
r
Let h = 895/21 + -127/3. Which is bigger: h or 41?
41
Let l = -40 + 29. Let v = l - -10.88. Let m = -6.88 + v. Which is bigger: m or -1?
-1
Suppose 2*h - 2*g = -0*g - 22, -2*h = 5*g + 29. Which is smaller: h or -7?
h
Let p be -27*(60/9)/(-5). Let i be p/8*(-4)/3. Suppose 0 = 2*j - 5*j - 21. Is i >= j?
True
Let c(b) = -29*b - 115. Let o be c(-4). Which is greater: o or -1/466?
o
Let q = 94.707 + -94.8. Which is smaller: q or 0.2?
q
Let t = 274 - 273. Which is smaller: t or -117?
-117
Let d(g) = -g**3 - 4. Let w be d(0). Let o be 2 + 2/2*w. Is -16/9 greater than or equal to o?
True
Let c be (-6)/(-2) - (6 - 7). Let q be -5 + 4*(-2)/c. Let y(j) = -j**2 - 5*j + 15. Let s be y(q). Is 0 < s?
True
Let p be 6/18 + (-6)/(-9). Which is greater: p or 42/17?
42/17
Let o be 18/38*6*(-4)/8. Is 1 smaller than o?
False
Let s(q) = 10*q**3 - 2*q**2 - 7*q - 9. Let l be s(-2). Which is bigger: l or -81?
-81
Let r(z) = -19*z + 2. Let i = -19 - -18. Let c be r(i). Let y be (-2)/(c/(-9)*3). Are y and 3 equal?
False
Let y = 527 + -309. Do y and 216 have the same value?
False
Let q be 145/(-174)*8/(-20). Let h = 5 + 5. Which is smaller: h or q?
q
Let k(r) = 7*r - 11. Let q(f) = -8*f + 12. Let y(p) = 7*k(p) + 6*q(p). Let w be y(7). Suppose -t + w = 3. Which is smaller: t or 3/17?
t
Let t be (3/(-2))/(-5 + -13). Let f be (-6)/(-21) - 66/(-14). Suppose q = -u - 6, u + f*q - 9 = -35. Which is smaller: u or t?
u
Suppose 9 = w - 3*l, 2*w - 8