(q) = -q**2 - q - 1. Let z be a(o). Are z and -1 non-equal?
False
Let o = 1.01 - 1. Let n = 72 + -45. Let f = n + -28. Which is smaller: f or o?
f
Let f = 11132/1615 + -117/17. Is f at most -1?
False
Let w be (-2)/(-8) + 185/(-20). Let n = -7 - w. Let f = n - 5. Which is greater: -2 or f?
-2
Suppose -3*s + 15 = 0, -4*l + 3*s - 21 = 30. Is l smaller than -1?
True
Let m be (-2)/4*0/2. Suppose 0 = -m*b - b + 2. Which is smaller: 0 or b?
0
Suppose -3*v = -2*v - 10. Let a be (-105)/50*v/(-18). Is a > 1?
True
Let g be (-58)/(-18) + (-8)/36. Suppose -6 = -g*v + r, 2*r - 3 = v - 10. Suppose -b + 2 = v. Which is bigger: b or 1/5?
b
Let q be (-126)/36*(-2)/7. Which is smaller: 6/23 or q?
6/23
Suppose -5*q - 2*g + 6*g = -13, -g = 4*q - 2. Let r be (-24)/9 + q - -2. Is r < 0?
False
Let q(f) = -f**3 + 11*f**2 + 2*f - 12. Let k be q(11). Are k and 11 equal?
False
Let j(q) = q**3 + 3*q**2 - 3*q**2. Let s be j(-1). Let x be (0*s/1)/2. Is 0 at most x?
True
Let q = -6875/3 + 2322. Let z = 30 - q. Which is greater: 1 or z?
1
Suppose -4*a - 36 = 4*o, 19 = -2*o - a - 2*a. Suppose -2*d = -d + 7. Is o equal to d?
False
Let w = 4881/13 - 375. Which is greater: w or -0.3?
w
Suppose -4*d - 5 = z - 1, 0 = -5*z. Which is smaller: d or -2/105?
d
Suppose 0 = z + 5*i - 16, -3*z - 3*i + 14 = 2. Are z and 6/13 non-equal?
True
Let u = -2 + 2.1. Let g(v) = v**3 + 3*v**2 + v - 1. Let w be g(-4). Let h = w + 85/4. Which is smaller: u or h?
u
Let s(w) = -w**3 - 4*w**2 + 2*w + 3. Let f be s(-4). Let h be (f/(-3))/((-2)/(-6)). Suppose i = 6*i - h. Which is smaller: i or -1/3?
-1/3
Let b(a) = -a**3 - 8*a**2 + 11*a + 18. Let n be b(-9). Are -2/15 and n unequal?
True
Let t be 1 + 1 - (0 - 0). Let m(z) = z**t - 2*z + z + 3 - z - 2*z. Let f be m(2). Which is bigger: f or -2?
f
Let u = 1664/23287 + -2/803. Is 0 greater than u?
False
Suppose -4*x + 3*g + 74 = 0, 3*g - 28 = 4*x - 6*x. Which is smaller: 15 or x?
15
Let v be ((-6)/(-15))/(18/(-20)). Is v at least 0?
False
Let k(j) = 4*j + 2. Let a be k(-2). Let t be a/(-9) - (-14)/(-3). Let q be -1 - t/((-12)/(-5)). Is q greater than 6?
False
Suppose 0*b = -b. Suppose -4 = a, -3*m - 3*a - 48 + b = 0. Let q be ((-63)/m)/(-3) - -2. Which is smaller: -2/5 or q?
-2/5
Let n(g) = g**2 + 5*g - 6. Let k be n(-6). Let t be k/(0 + 4)*1. Which is greater: 2/5 or t?
2/5
Let k = -44 + 52. Suppose -3*u + 10 = 1. Suppose 0 = t, -u*g + 0*t = -4*t - 21. Which is greater: k or g?
k
Suppose -w + 0 = k + 1, 0 = -3*k - 9. Let m be (w/4)/((-2)/(-8)). Let b be -3 + 3/m + 2. Is -2 equal to b?
False
Suppose 2*h + 5 = -3*h + 5*f, -2*h - 4*f - 2 = 0. Let y be 0 + -1 + 34/38. Let w = 9/95 - y. Which is greater: h or w?
w
Let z = -157 - -149.1. Let c = z - 0.1. Which is smaller: 2/5 or c?
c
Let w = 12 + -11. Is w != 1?
False
Let x be (-7)/(-21) - 302/6. Which is bigger: -51 or x?
x
Let n = 32 + -31. Is -2/9 != n?
True
Let w = -15 + 13. Let d(f) = -5*f + 1. Let z be d(1). Let l = z + 6. Which is smaller: w or l?
w
Let d(w) = w**3 - 20*w**2 + 19*w + 2. Let o be d(19). Is o smaller than 1?
False
Let w = 64 - 326/5. Is w greater than or equal to -1?
False
Let j = 18.5 - 18. Let d = -2.5 + 1. Let t = d - j. Which is greater: t or 1?
1
Suppose -3*q = -2*a - 1, -3*q + 4*a = -3 - 2. Is 1 smaller than q?
False
Let o be 18/140*410/264. Let a = -1/56 + o. Which is bigger: 0 or a?
a
Let s = -1 + -2. Let v = s + 1. Let y be -1*(v + (-6)/(-3)). Is y less than or equal to 4/7?
True
Suppose -3*w - 2*p + 20 = 0, -4*w + 2 + 18 = 4*p. Which is bigger: w or 14?
14
Let z be (-4)/8 + (-47)/2. Let l be (-263)/(-6) + (-4)/z. Suppose -4*s = 4*m + l, 4*m = -s - m - 19. Is -9 smaller than s?
False
Let j = 29 + -21. Suppose -5*b = -2*t - b - j, 2*t + b - 12 = 0. Let d be 1/(-2) + -3 + t. Is d greater than 2/23?
True
Let t = 6 - 3. Suppose -3 = 2*c - t*c. Let i be (14/5)/(-1) + c. Is -1 not equal to i?
True
Let a be (9 + -9)/(-1 - 0). Let i be 138/(-36) + (3 - a). Suppose -5*z = -3*j - 9, -9 = 2*j - 3. Is z > i?
True
Let n be (128/12 - 7)/(5/(-3)). Which is greater: n or -1?
-1
Let j(u) = -u**2 + 8*u + 3. Let l be j(9). Let a be 40/l*36/(-20). Which is smaller: 11 or a?
11
Let t = 23/136 + 7/34. Is t bigger than 1?
False
Let u(o) = -o**3 + 5*o**2 - 2*o + 1. Let b be u(4). Let t = b - 2. Suppose t*y = 4*y. Which is greater: 2/5 or y?
2/5
Let o = -40 + 37. Let n be 3/(-2 + 1/2). Which is greater: n or o?
n
Let x = -340733/289 + 1179. Let m = 1748/2023 + x. Let f = m + -19/14. Is f bigger than -2?
True
Let g = -16/33 + -2/11. Do g and -1/5 have the same value?
False
Let l = -147 + 739/5. Which is bigger: l or 0?
l
Suppose -s - 8 - 10 = -3*q, 1 = -q - 2*s. Suppose 4*k + 0 = -3*j - 1, k + q = 4*j. Let d = -2 + 3. Does d = j?
True
Let r = 13 - 5. Which is bigger: r or 9?
9
Let x = -1/207 - -835/1449. Is 9 greater than x?
True
Let s = -15 - 2. Is s less than -18?
False
Let f(r) = -r**2 - 6*r - 4. Let n be f(-1). Is 4 bigger than n?
True
Let t = 391/3 + -133. Let d(b) = b**2 - 5*b - 10. Let v be d(6). Is t smaller than v?
False
Let y be (-2)/(-8) - (-22)/8. Suppose 6*x - y*x = -4*n - 16, 8 = 4*x - 2*n. Which is greater: x or 1/3?
1/3
Suppose -3*n + 4*h + 39 = 16, 3*n - h = 8. Is n at most -4?
False
Suppose s + w - 27 = -3*s, -4*w - 18 = -2*s. Let d = -11 + s. Let g be 15/20*d/(-6). Which is smaller: 2 or g?
g
Suppose 5*g = 2*j + 7, -3*j + 2 = -2*g + 7*g. Suppose -3*c + 5*r = 19, -6 = -4*r + 2. Let p = 2 + c. Is p >= j?
True
Let g be (-10)/3*212/3135. Let a = 2/627 + g. Which is bigger: 4 or a?
4
Let h be (-75)/(-6) + (-2)/4. Let v be 6/(-200) + 3/h. Let u = -13/150 + v. Is u <= 1?
True
Let l be (0 + 1)/((-2)/(-12)). Suppose h + 3*q + 1 + l = 0, 4*h - 4*q - 20 = 0. Let w be (h/(-3))/((-4)/3). Which is bigger: w or 1?
1
Let q = 3.9 - 3.8. Let w = -2/191 - 372/955. Is q > w?
True
Let l(n) = n - 8. Let s be l(7). Is s bigger than -3/7?
False
Let w be 35/28*(-3)/(-15). Let m = -14 + 20. Suppose -5*p = -q + m*q, 3 = -5*q - 2*p. Which is smaller: q or w?
q
Let n be 2133/(-840) - 8/12. Let k = 1/168 + n. Which is smaller: k or -4?
-4
Let q be 16/24*(-5 + -1). Let i be (-1)/4 - 5/q. Which is bigger: i or -0.03?
i
Let v = 411 - 22603/55. Which is bigger: -1 or v?
v
Let c = 22 + -11. Let x = c + -15. Is -2 greater than or equal to x?
True
Suppose 5*l - 5*p + 5 = 2*l, 3*l + 2*p = 23. Let d(n) = n - 5. Let b be d(l). Which is greater: -2/3 or b?
b
Let a(h) = 14*h**2 + 30*h + 2. Let w(o) = -5*o**2 - 10*o - 1. Let s(j) = -4*a(j) - 11*w(j). Let k be s(-10). Which is smaller: k or 1/2?
1/2
Let u = 31/44 - 5/11. Is 1 < u?
False
Let t(w) = -w**2 - 9*w - 9. Let i be -8 - 0*1/3. Let f be t(i). Which is greater: f or 1?
1
Let u be (425/(-215) - -2)/(0 + -1). Which is smaller: -1 or u?
-1
Let n = -0.7 - 2.3. Let m be 39/120 - 3/24. Which is smaller: m or n?
n
Let l be (4 - 2)*4/24 + -1. Is 0.51 less than l?
False
Let y = 14 + -14. Which is bigger: 2/5 or y?
2/5
Let g = -1 - -5. Suppose 2*z - g*u = 5*z - 10, -u = 2*z - 5. Suppose -q - 2*h - 12 = 0, -z*h = 3*q - 6*h - 14. Is q at least as big as -6/5?
False
Let a(b) = 2*b**2 + 2*b - 2. Let l be a(-2). Let i be -1 - 2*l/(-20). Which is smaller: i or -1?
-1
Suppose -7*b - 6 - 1 = 0. Which is smaller: 0 or b?
b
Let g(w) = -w**2 + 6*w + 3. Let n be g(6). Let b = 0 - n. Let q = 6 - 11. Which is smaller: q or b?
q
Let o = 0.13 - 0.12. Let f = 0 + o. Does f = 0.2?
False
Let m(v) = -2*v + 1. Let c be m(1). Let d be 5*c*(-2)/5. Which is smaller: 1 or d?
1
Suppose 8*d = 7*d - 7. Let u be ((-18)/(-10))/((-8)/30). Let v = u - d. Are 0 and v nonequal?
True
Let y = -3 + 7. Let s = 4 + 0. Is y at least as big as s?
True
Suppose 0 = -4*b + 21 - 1. Suppose 0 = 4*h - b*r + 3 - 10, 0 = h + 5*r - 8. Is 3 less than h?
False
Let u = -2.469 - -0.399. Let c = u + 2. Let x = -1.07 - c. Is x less than or equal to -0.1?
True
Let d be 5/25 + (-126)/580. Let y = d + 31/116. Let m = 2 - 4. Which is bigger: m or y?
y
Let n be (-1)/(-5)*2*-5. Let g be (-28)/(-5) - (-3)/(-5). Let q be (-5 + g)/((-3)/(-1)). Which is greater: n or q?
q
Let z = -5.6 + 0.6. Let c = -5.1 - z. Which is greater: c or 0.3?
0.3
Let b be (0 - 1)/(2/12). Is -8 > b?
False
Let c = 31/15 + -2/5. Suppose 5*x + 23 = v - 2*v, v - 17 = 5*x. Let m = -3 - v. Is m != c?
True
Suppose 4*f = -j + 2*j - 21, -4*f = j + 19. Is 0 >= j?
False
Let f be (6