most 0?
True
Let n = -6 + 10. Let q(t) = t - 9. Let r be q(n). Let k be (6/r)/(5/25). Which is bigger: -5 or k?
-5
Let a(i) = -i**3 + 7*i**2 - 5. Let z be a(7). Is -2/5 less than z?
False
Let n = -45 - -179/4. Let h = -3 - -5. Let z = 2 - h. Is n > z?
False
Suppose 2*g - 2*y = 0, 3*g - 17 = -5*y + 23. Suppose -2*q - g = -3. Which is bigger: q or 1/6?
1/6
Let y = -18 + 26. Is y < 0.1?
False
Let g be (-7)/((-2163)/921) - (-3)/(-1). Which is bigger: -1 or g?
g
Let f(j) = j**3 - 8*j**2 + 6*j + 3. Let r be f(7). Which is greater: 4 or r?
4
Let b(y) = -7*y**2 - 2*y. Let h be b(1). Is -5 bigger than h?
True
Let m(n) = n**3 + 3*n**2 + 1. Let i be m(-4). Let q = i - -17. Are q and 0.2 nonequal?
True
Suppose 0 = -7*u + 2*u + 245. Let o = -43/20 + 257/5. Let h = u - o. Which is greater: h or 0?
0
Let i be (-8)/(-12)*(1 - -5). Suppose -x = i*x + 5. Are -2 and x equal?
False
Let m = -23/33 + 15/11. Are 11/5 and m equal?
False
Let y be (2/(-3))/(1/3). Let i be (2 - 5)*y/(-3). Let j be (-1)/i*-1*4. Which is bigger: -3/2 or j?
-3/2
Let q be (-3)/(-4) - 371/420. Which is bigger: 0 or q?
0
Let n be -1 - (-4 - (-1 - -11)). Which is bigger: n or 12?
n
Let i(y) be the third derivative of y**4/12 - 2*y**3/3 + 2*y**2. Let p be i(3). Suppose -p*g + 6*g + 4 = 0. Which is greater: 1/3 or g?
1/3
Let u(a) = -a**3 + 11*a**2 - 11*a + 6. Let w be u(10). Let j be 2 - w/6*-3. Are 0 and j non-equal?
False
Let m = -15 - -15. Which is smaller: m or -2/73?
-2/73
Let z = 70/13 + -568/91. Are z and -2 unequal?
True
Let s be 198/(-210)*8/(-3). Let u = 14/5 - s. Suppose -3*n = -4*n - 1. Which is bigger: u or n?
u
Let i = -8 - -11. Suppose 5*p + 130 = 5*d, i*p - 2*d + 98 = -4*d. Let v be (-8)/(-6)*9/p. Which is smaller: 1 or v?
v
Let p = -0.1 + 0.05. Let w = 0.05 - p. Which is greater: w or -7?
w
Let a = -1.9 + 2. Let i = -1.1 + a. Are 1 and i equal?
False
Suppose 3*b + b + 16 = 0. Let v be (15/6)/(1/4). Let n be (-44)/10 - (-4)/v. Are n and b equal?
True
Let h(r) = -r**3 + 4*r**2 + 6*r - 2. Let n be h(5). Suppose -5*p - 14 = 3*m, 3*p = -n*m - 5 - 1. Let s = p - -5. Does s = 0?
False
Let r = 6 + -7.2. Let y = -0.7 - 0.3. Let u = y - r. Which is greater: u or 2?
2
Suppose -3*y - 3 = b, b - y - 5 = -0*y. Suppose w = -3*r + 20, r + 4*w - 10 = b*w. Let x = 12 - 6. Which is greater: r or x?
x
Let o be (-3)/12*-2*-2. Which is smaller: -1/13 or o?
o
Let g be (3/3)/(1/(-7)). Let h = g + 9. Which is greater: 3 or h?
3
Let x = -4 - 1. Let u = x + 4. Let l = -2/11 + -4/99. Is u greater than l?
False
Suppose 6*r + 33 + 33 = 0. Is -10 != r?
True
Let g be ((-4)/(-6) - 0)*-21. Let d(u) = u**2 - 28*u - 14. Let c be d(28). Is c at least as big as g?
True
Let q = 28 + -32. Suppose -1 - 2 = 3*p. Which is greater: p or q?
p
Let n = -4.1 - -4. Let m = n - 0. Let s = m - -0.1. Are -1 and s non-equal?
True
Let c(v) = -v**2 + 6*v + 3. Let o be c(4). Is 11 not equal to o?
False
Let i = 0 - -1. Let h be (1/i)/(-1*2). Is h at most as big as -1?
False
Let m = -4.9 + 5. Let t = -4.01 - -4. Is m not equal to t?
True
Suppose h - 1 = 3*p, -3*h + 3 = 4*p - 0*p. Suppose -h + 2 = -x. Is x at most 1/3?
True
Suppose -h = -3*h + 2. Suppose 0 = -2*v + 1 + h. Let k = v - 1. Which is smaller: k or 1/6?
k
Let x = -12 + 4. Let u be 4/x*(-1)/(-2). Is u greater than or equal to 0.6?
False
Let f = 0.22 - 10.22. Let y = 5 + f. Which is smaller: 1 or y?
y
Let a be 4/14 + 0 - 340/70. Which is bigger: a or -6?
a
Let l = -18/61 - -370/427. Are 0 and l nonequal?
True
Suppose 8 = -3*c + 8. Is c <= -10/7?
False
Suppose -k + 0 = 2*f - 1, -4*k - 7 = -3*f. Which is greater: 4 or k?
4
Let l = 3 - 4. Let d = 0.04 - -3.96. Let f = d - 10. Which is bigger: f or l?
l
Let p be (-2)/7 - (-19)/(-7). Suppose 5 = 2*j + 3*j. Let u = j + p. Is u <= -2?
True
Let d = 11/4 - 9/4. Suppose -8*x = -12*x - 20. Let c(h) = h**3 + 6*h**2 + 5*h + 2. Let j be c(x). Is j bigger than d?
True
Let i be -1*1*(4 - (0 - -3)). Which is greater: 4/11 or i?
4/11
Let a = 0 - -2. Suppose -14 = -4*c + 3*l + a, 5*c + l = 1. Is 1 not equal to c?
False
Let j = -17 + 17. Which is bigger: j or 6/5?
6/5
Let o = -12 + 31. Suppose -11 = -5*w + o. Suppose -w*v + 8*v = -2. Which is smaller: -1/2 or v?
v
Let q(u) = -u**3 - 9*u**2 - 7*u + 11. Let y be q(-8). Is 1 less than y?
True
Suppose 2*n - 35 = 5*i + 7*n, 5*n = -15. Let b be (i - 0)*110/120. Is b not equal to -3?
True
Let n(o) = -o**2 - o + 2. Let c be n(2). Which is bigger: -2 or c?
-2
Suppose 0 = -3*o + 1 + 11. Is o less than 8?
True
Let z = -0.25 - -0.41. Which is greater: z or -0.1?
z
Let s = 13.6 + 3.4. Which is bigger: s or 1?
s
Suppose -2*w + 5*i = -12, -2*w - 2*w + i + 42 = 0. Let p(y) = -2*y**2 + 14*y + 10. Let o be p(w). Let q be 3 - (o/(-8))/3. Is q smaller than 0.2?
True
Let j = 10 - 10. Let c = 103/327 - -2/109. Which is smaller: c or j?
j
Let o be 1/(-1)*(3 - 5). Suppose -o = -2*i + 3*m + 2, 0 = -i - 4*m + 13. Suppose -3*u = 3*r - 5 + 11, 2 = -i*u - r. Is u greater than or equal to 2/15?
False
Let l = 2/3 - 4/3. Let r(b) = b**3 + 4*b**2 - 5*b + 2. Let g be r(-5). Let k be (-12)/g*(-2)/4. Which is bigger: l or k?
k
Let c(t) = t**3 - 8*t**2 - 19*t + 9. Let p be c(10). Do 20 and p have the same value?
False
Let j be -1 - 2 - (572/(-287) - 1). Are 1 and j unequal?
True
Let h = 103 - 25. Let k be h/(-8)*(-6)/(-9). Let q = -69/10 - k. Is q > 0.2?
False
Let d(y) = 3*y + 5. Let p be d(-5). Let u be (4/p)/((-2)/20). Is 5 > u?
True
Let q(j) = -2*j + 7. Let f be q(9). Which is smaller: f or -80/7?
-80/7
Let t be (12/(-15))/(1/20). Suppose 3*w - 2*w + 17 = 0. Is t <= w?
False
Let u = -0.06 - 2.14. Let t = -2 - u. Let i = -56 + 282/5. Which is greater: i or t?
i
Let k be -2 - (52 + -3 + 1). Let m be (-8)/k + 96/(-286). Which is bigger: 1 or m?
1
Let y = 28 - 39. Let v = 0.2 - 0.2. Is y bigger than v?
False
Let c be ((-12)/16)/(1/(-4)). Suppose -c*v + 6 = -0. Let u be (1 + v)*2/33. Which is smaller: u or 1?
u
Let b = 78 + -78. Which is greater: -6/19 or b?
b
Let d = 0 - -0.1. Let o(z) = z**2 + 6*z - 10. Let s be o(-7). Which is greater: s or d?
d
Suppose 9 = 4*y - w + 6*w, 0 = 4*y - 2*w - 2. Which is smaller: y or -3/8?
-3/8
Let b(y) = -2*y**2 + 6*y - 2. Let x be b(4). Let d be 14/(-40) + x/25. Is d >= 0?
False
Let l = -221/14 - -31/2. Let t be 4 + 2/(-6)*-3. Suppose 3 = -5*j - 3*v + t, -5 = -2*j + 3*v. Which is smaller: j or l?
l
Let y = 0 - 0.1. Suppose -q + 14 = -3*q. Let l be (q/21)/((-1)/(-2)). Is l >= y?
False
Let i = -24 - -24. Is i at most as big as -3/8?
False
Suppose 4*d = -2*d + 12. Which is bigger: 12/7 or d?
d
Let z(q) = q**3 + 10*q**2 + 4*q + 4. Let u(c) = c + 1. Let o(m) = -4*u(m) + z(m). Let i be o(-10). Which is smaller: i or -2?
-2
Let n be 9/(-18) + 22/4. Suppose n*b - 2*b = 12. Suppose 4*q - 6 = 2*q. Is b equal to q?
False
Let c be ((-10)/(-15))/(2/36). Let o = 14 - c. Which is smaller: o or 5/9?
5/9
Suppose -5*d - 3 = 3*z, -5*z + 3 = 4*d + 8. Which is smaller: d or -16/13?
-16/13
Let l be ((-6)/27)/(4/6). Do 1 and l have the same value?
False
Let a = -8 - -12. Suppose 21 = a*x - x. Which is smaller: x or 6?
6
Suppose 0 = -4*n + 5*j - 12, -9*n + 4*n + 5*j - 10 = 0. Let r(m) = m**2 - 3*m. Let z be r(2). Let h = 3 + z. Is h <= n?
True
Suppose -4*y + r + 4 = 5*r, 2*y - 5 = -5*r. Let k be (1 + y)/(20/(-5)). Let a = -1.9 + 2. Do k and a have the same value?
False
Suppose -c - 7 - 9 = 0. Let n be (c/12)/4*6. Are 0 and n unequal?
True
Let m(c) = -c**2 - 8*c + 10. Suppose 0 = 3*w + 3*n + 15, -5*w - 24 - 5 = 4*n. Let k be m(w). Which is smaller: k or -2/7?
-2/7
Let o = 292 - 2053/7. Which is smaller: -1 or o?
o
Suppose 1 = -0*p + p. Is p != 20?
True
Let u = 15834 + -886679/56. Let r = 2477/14 + -177. Let t = u + r. Is t less than 1?
True
Let f be 3*-3 - 12/(-12). Which is greater: f or 1?
1
Let k(t) = -t**3 - 7*t**2 - 8*t - 6. Let y be k(-6). Let c(p) = p**2 - 7*p + 9. Let d be c(y). Suppose 2*j + 2 = -a + 9, -d*j + 18 = -a. Is -2 bigger than a?
True
Let u(r) = r**2 + r. Let g be u(-1). Let v be (-3)/4 + (-3)/(-4). Suppose -10 = -2*y, v = 3*c - 6*y + 2*y + 14. Is g not equal to c?
True
Let l be (2/6)/(6/(-36)). Let f be 2 - -2*l/(-4). Which is bigger: 1 or f?
f
Let n(f) = f - 8*f**2 - f**3 - 3*f**2 + 2*f**3 - 12 - f**2. Let w be n(12). Which is greater: 2/9 or w?
2/9
Let m(o) = 10*o**2 + 0*o**3 + 7*o - 1 - 4*o**2 - o*