= -n**2 + 2*n + 3. Let v be o(3). Let x = -404/55 + 72/11. Which is smaller: v or x?
x
Suppose -2*c - 3*c + 10 = 0. Suppose -3*x - 3*n + 39 = 0, 3*n + 4 = -x + 27. Let y be 10/(-24) - c/x. Do -2 and y have different values?
True
Let t(s) = s**3 - 4*s**2 - s + 5. Let q be t(4). Which is smaller: 2/93 or q?
2/93
Let i be 306/42 - 2/7. Suppose -2*p + p - 5*d = -26, 2*p + 4*d = 22. Suppose p + i = -4*j. Is -1 less than or equal to j?
False
Let a be -14 + 12 - (-2 + 3/1). Are 3 and a non-equal?
True
Let q = 31/4 + -77/12. Which is smaller: -4 or q?
-4
Suppose 2 = 5*x + 12. Is x less than or equal to -2?
True
Let w(s) = -s**2 - 2*s + 1. Let k be w(-3). Let q(m) = -m**2 - 4*m - 4. Let c be q(-4). Which is bigger: k or c?
k
Let s = -19/13 + 1373/975. Let a = s - -34/75. Is a less than -1?
False
Let i = -3/88 - 21/88. Which is smaller: 0 or i?
i
Suppose -3*m - m = 8. Let f(l) = -5*l - 2. Let c be f(m). Which is greater: c or 9?
9
Let j(x) = x - 2. Let m = 9 + -5. Let q be j(m). Let s = q + -4. Is s not equal to 0?
True
Let d = 13 - 13.15. Let f = -0.05 - d. Let r be 2 - (1 - 1/(-2)). Which is greater: r or f?
r
Let g(b) = 28*b**2 + 2. Let o be g(2). Let y = -53 + o. Let f = y - 125/2. Which is greater: f or -2?
f
Let y be 3/(-4) - (-38)/40. Which is greater: y or -2?
y
Suppose 0 = -5*q + 3*c - 12, 6*c - 4*c = q + 8. Are q and 0 nonequal?
False
Let x be (-7)/(-2) + (-1)/2. Suppose -4*t + 3*t - 8 = -4*w, w + 4*t = 19. Is x at most as big as w?
True
Let d be 7 + -3 + 2 + 2. Is d > 8?
False
Let a(h) = h**3 - 4*h**2 - 6*h - 7. Let t be a(-3). Which is bigger: -53 or t?
t
Let j(o) = o**2 + 3*o - 2. Let p be j(-4). Suppose 80 = -p*i - 138. Let v = -542/5 - i. Which is bigger: v or 0?
v
Suppose 0 = -4*d + 9 + 3. Let f be d/(-15) + 122/10. Is 11 >= f?
False
Suppose 3*j - 16 = -j. Suppose 8*f - 16 = j*f. Suppose -3*y - 4*d + 12 = 0, 0 = 2*y + 3*y - f*d + 12. Which is smaller: y or -1?
-1
Let a(b) = b - 5. Let k be a(3). Is -3 less than k?
True
Let y(q) = q**3 + 10*q**2 + q + 13. Let m be y(-10). Suppose z = -7 + m. Let g be ((-3)/6)/((-3)/4). Which is bigger: z or g?
g
Suppose -3*j = 5*w - 5, 0 = j + 4*w + 3 - 7. Are j and -3 unequal?
True
Let u be (4 - 6*(-4)/(-8))*4. Let q be (-1)/(-3) - 34/(-6). Suppose -q = -u*k + k. Does 1 = k?
False
Suppose d + 3*a = 0, 6*d - 2*d = -3*a + 9. Let b be (28/40)/(5/d). Let p = -1/50 + b. Is p less than 0?
False
Let k be 129*(104/(-12) + 2). Let l = k - -7748/9. Which is smaller: 1 or l?
l
Let r be 1*(-1 + -1 + 2). Which is smaller: -1/2 or r?
-1/2
Let n = -53/196 + 1/49. Let s = 7.1 + -7. Is s bigger than n?
True
Let o(w) = -3*w**2 + w - 1. Let s(a) = -a**2 + a. Let h(n) = o(n) - 2*s(n). Let x = 0 + 0. Let p be h(x). Which is smaller: 1/3 or p?
p
Let a be 3 + ((-12)/(-4) - 3). Suppose 2*l + 6 = i, -4*i + a*l = i - 9. Which is smaller: i or -5?
-5
Let j be (4/(-5))/((-3)/(-195)). Let d be 1/(-5) + j/(-10). Suppose 5*m = -d*s - 25, -3*s + m + 0*m = -1. Are 1/6 and s equal?
False
Let c = -1.03 - -0.03. Let z be (-16)/22*3/4. Which is bigger: c or z?
z
Let j(y) = 166*y - 4. Let c be j(2). Let x = c - 4589/14. Is x greater than 0.1?
True
Let t = -19 - -21. Suppose -y - 4*y = -p - 4, p + 2*y = 3. Is t smaller than p?
False
Let m be (-124)/(-156) + -1 + 2/12. Is m smaller than -1?
False
Let r be 0 + (-81 + 1)/(-2). Suppose -r = 4*i + 4. Do i and 1 have the same value?
False
Let s = 31/12 - 17/6. Let u(h) = -h**2 - 4*h + 6. Let i = 4 + -9. Let l be u(i). Is l < s?
False
Let c be 68/18 - 2/(-9). Suppose -1 = 2*y - 11. Suppose -n + y = c*n. Does n = 2?
False
Let p = -2.1 + 2. Let f = 5 - 5.1. Is f not equal to p?
False
Let g = 6 + -4. Suppose -3*u - 4*v = 12, u = -0*u + v + 3. Which is greater: g or u?
g
Let o = -4 - -7. Is 3 bigger than o?
False
Let u(v) = -v**3 + 6*v**2 + 7*v + 1. Let p be u(7). Let x be (4 + -10)/(4 - -13). Which is bigger: p or x?
p
Let m be (1*(-4)/16)/(10/16). Does m = 41?
False
Let x(v) = -v**2 + 3*v - 3. Let q be x(4). Let h = q - -23/3. Which is smaller: 0 or h?
0
Let q(i) = 7*i. Let b be q(4). Suppose 0*f - 4*f = -b. Which is smaller: 4 or f?
4
Suppose 7*b = 3*b + 24. Suppose 0 = b*t - 2*t + 4. Is t less than -7?
False
Suppose 12*l = 1 - 13. Let h(v) = -v**2 - 3*v + 4. Let t be h(-4). Is t equal to l?
False
Let j be 2/4*420/405. Which is greater: 1 or j?
1
Let n = 29 + -30.02. Let j = 0.02 + n. Is 0.04 < j?
False
Let r be 6/(-3)*3/2. Let m(l) = -l**3 - 3*l**2. Let c be m(r). Is 0 <= c?
True
Suppose -3*s - s - o = -99, 5*s = -o + 123. Suppose 0 = u - m - 4, s = 3*u + m - 0*m. Which is bigger: u or 8?
8
Let c(m) = -m + 5. Let r be c(4). Let z(d) = 2*d**2 - 7*d + 6. Let w be z(1). Is w equal to r?
True
Let v = 20 + -2. Suppose g - 8 = -3*g. Suppose -g*d + v = 5*b, 4*d + 4*b - 16 = -b. Which is smaller: d or -2/5?
d
Let p(b) = -b**3 - b**2 - 3. Let t be p(0). Let y = t + -1. Are -4 and y non-equal?
False
Let c = 9.2 + -9. Which is bigger: -22 or c?
c
Let d = -0.4 + 0.1. Let h = 1 - 4. Let q be h/(-9) - 2/(-6). Which is smaller: d or q?
d
Let j = 27715024/8485 + -16332/5. Let l = j - 166676/1128505. Let m = l - 1/133. Which is greater: m or 0?
0
Let p be (0 - 2) + 117/42. Let r = p + -2/7. Let d(j) = j + 10. Let s be d(-8). Is s at least as big as r?
True
Suppose 3*a + 3*g - 3 = 0, -3*g + 4 = -5*a - 5*g. Let w = a + 2. Let q = -2/3 + 7/6. Are q and w unequal?
True
Let c = -564867745/6201254388 + 38/1104999. Let s = c - -1/244. Is s > -1?
True
Let l = -2.24 - -2.4. Which is smaller: l or -0.1?
-0.1
Let i be 20/6*3/(-2). Is i less than -23/5?
True
Suppose -62 = 2*z - 5*l, -l = z + 2*l + 42. Let n be 8/z - 40/(-18). Let w = 4 - n. Which is bigger: w or 1?
w
Let r = 0.05 + 0.05. Which is smaller: r or 2/39?
2/39
Let s be (-30)/(-24) - (-6)/8. Suppose s*o - 4 = 3*o. Is -4 greater than o?
False
Let b = 25 - 38.4. Let h = 13 + b. Which is smaller: h or 0.2?
h
Suppose -4*k - 2*d - 8 = 0, 0*k - 3 = -3*k + 3*d. Which is greater: 1/56 or k?
1/56
Suppose -2 + 17 = 3*f. Suppose 0 = f*h - y - 16, -5*h + 2*y = -24 + 7. Is 3 at most as big as h?
True
Suppose -k = -2*g + 8, 0*g - 3*g = -6. Suppose 0 = y + 3*y + 16. Are k and y equal?
True
Let o = -49 - -247/5. Is -1 at most o?
True
Suppose -2*u - 2 = -16. Let c(t) = -t**3 + 6*t**2 + 6*t + 9. Let s be c(u). Is 2/3 > s?
False
Suppose 2*q - 60 = 8*q. Is -2/9 < q?
False
Let u = -37 - -36. Let h be (-8)/(-46)*2/(-4). Which is smaller: h or u?
u
Let v be (-2)/(-5)*-5*1. Let q be v*((-51)/2)/(-3). Let a be (q/7 - -3)/2. Is a less than -0.2?
False
Suppose -w + 1 = -2*w. Let r(x) = x + 6. Let a be r(-6). Let v = a + w. Which is smaller: v or 2/13?
v
Let q = 4 - 3.8. Suppose 5*d = y, 3*d = -y + 5*y + 17. Which is smaller: q or d?
d
Let d be (-9)/(-156)*(1 - -3). Let h = 6 - 7. Is h bigger than d?
False
Let y = -55 + 51. Which is smaller: y or -17/4?
-17/4
Let k be (-1 + 8)/(1 + 0). Let h be (-3)/(-1 - 4/(-8)). Is h less than or equal to k?
True
Suppose 4*w - 4*c + 244 = 0, -117 = 3*w + 5*c + 26. Which is greater: w or -55?
-55
Let z be 2/(-9) - 12/(-54). Let g = -4 - z. Which is smaller: g or 2?
g
Suppose 3*t - 4*t - 5 = 0. Let r(s) = -s**3 - 6*s**2 - 5*s + 4. Let k be r(t). Suppose 0 = -k*q + 5*u - 3, -6*u - 9 = 2*q - u. Which is smaller: -1 or q?
q
Let i(w) = -w**2 - 5*w - 4. Let q(l) = l**2 + 4*l + 4. Let o(c) = -6*i(c) - 5*q(c). Let k be o(-10). Which is smaller: k or 9/2?
k
Let q = -1 + 2. Let y be 6/2 + -4 + 2. Are q and y non-equal?
False
Let i(f) = f**3 - 3*f**2 - 2*f - 3. Let u be i(3). Let b(z) = z**3 + 9*z**2 - 1. Let o be b(u). Let h = o + 2. Do 2/5 and h have different values?
True
Let j = 0 + 2. Let o = 37 + -37.4. Which is smaller: o or j?
o
Let l = 0.12 + -0.09. Let i = 0.13 - l. Is i at least as big as 0.2?
False
Let u = 681751/16155 + -2/3231. Let y = 42 - u. Is -1 smaller than y?
True
Let p(d) = d**2 + 2*d. Let r be p(-1). Is -2/9 less than r?
False
Let m = -2.2 - -2. Let j = -0.3 - m. Which is bigger: j or -2?
j
Let y be 1/(3/6) - 7. Suppose -3 = -0*a - 3*a. Let x be (a/((-3)/(-30)))/(-2). Are y and x equal?
True
Suppose -2*m - x = -28, m - x + 76 = 6*m. Suppose 2*k + 2 = -a, 2*a + 4*k + 8 = a. Suppose 0*t - 3*q - 12 = -t, -4*t - a*q = m. Are t and -2 equal?
False
Let v(x) = -x**3 + 6*x**2 - x + 8. Let q be v(6). Suppose -3*t - q*t + 15 = 0. Let d be 3 + (t - (-2 + 1