Let c be (-15)/(-50)*j/l. Which is smaller: c or -2/5?
-2/5
Let k be (330/25)/3 - -1. Is 5 at most as big as k?
True
Suppose b = -4*c + 4*b - 6, 4 = 2*b. Suppose -2*a + 0*j = -j - 5, c = 4*a - 5*j - 25. Which is greater: a or 1?
1
Let v = 55 - 54. Suppose 0*o + 4*o - 4 = 0. Are o and v unequal?
False
Let a = 0.2 + -0.1. Let w(t) = -3*t**2 + 5*t - 5. Let p be w(4). Let j be 2*(6/p)/(-2). Which is smaller: a or j?
a
Let w be -3 + 2 - (1 - 2). Let m be (0 - w)/(-2 + 1). Which is smaller: -0.2 or m?
-0.2
Let u be 2 + (-1 - (1 + -2)). Let h be (-4)/2*2/u. Let m be ((-3)/(-6))/(h/4). Are m and -2/5 equal?
False
Let n = -37 - -34. Is n at least as big as -4?
True
Let y(n) = -2*n**2 + 0*n**2 - 2*n - 6*n + n**2. Let u be y(-8). Which is smaller: u or -1/6?
-1/6
Suppose 0 = 3*a - 2*a + 6. Let x = 6 + a. Is 3 <= x?
False
Let g = -257/180 - 7/20. Is -1 equal to g?
False
Let d = 0 - -2. Let w(t) = -6*t + 2 + 8*t + 4. Let b be w(-3). Which is smaller: b or d?
b
Suppose 0*v + 2*j + 2 = 3*v, -5*j = v - 12. Let x be ((-4)/3)/(6/27). Let q = -4 - x. Is v equal to q?
True
Suppose 19*b - 1 = 20*b. Which is bigger: 1/8 or b?
1/8
Let j = 38 + -16. Suppose k - j = -k. Suppose 4*z + k = 3. Which is bigger: -1 or z?
-1
Let t(b) = -b**2 - 4*b. Let a(k) = -2*k**2 - 2*k + 1. Let x be a(1). Let j be t(x). Let n be ((-5)/(-4) + -1)*j. Which is greater: n or 0?
n
Let q = 0.2 + 0.8. Let m = -10 + 11. Is m less than or equal to q?
True
Let x = 118 + -117. Suppose -y = 2*y - 6. Which is smaller: x or y?
x
Let m = 81 - 1055/13. Let z be 4/(-6) + (-2)/(-3). Is m <= z?
True
Suppose 0 = 4*o + 5 + 11. Let j = o + 4. Which is smaller: j or 3?
j
Suppose 3*o - 2*s = 6, -2*s - 6 + 0 = 0. Is 2/237 at least o?
True
Let g(c) = -c + 1. Let a be g(1). Let f = 1 + 0. Is f > a?
True
Let s be 22/4 + (-1)/(-2). Let f be (-12)/6 - (-10)/s. Let y = 1 + 0. Is f greater than y?
False
Let z = 5 - 12. Let v = -9 - z. Let y(m) = -m**3 - 6*m**2 - m - 6. Let f be y(-6). Which is smaller: f or v?
v
Let z = -2.9 + 3. Let c be (128/(-44) - -3)*-2. Which is smaller: c or z?
c
Let m = -73 - -67. Are m and -24/5 non-equal?
True
Let i be (-15)/(-25) - 4/(-10). Suppose i = 4*z - 3. Let g be z + (-54)/15 + 2. Which is bigger: 0 or g?
0
Let g = 9 - 6. Suppose 0 = 4*q + g + 5. Let a be (-2)/3*9/q. Is 3 at least a?
True
Let v = 0.04 + -0.03. Let q = 0.11 - v. Is q at least 1/4?
False
Let o = 30/67 - 25/804. Is o bigger than 0?
True
Let u = 58 + -33. Is u bigger than 25?
False
Let q = 325/96 + -41/12. Which is smaller: -1 or q?
-1
Let x = 30 + -25.8. Let n = x + -4. Is n bigger than 2?
False
Let c = -2 - -7. Suppose -2*g + 22 = t, -t + 10 = c*g - 39. Suppose g*i - 4*i = -2*q - 15, -5*i = 5*q + 15. Is 1 at least as big as q?
True
Let q be 30/(-9) - -2 - 1/(-1). Suppose -2*w + 1 - 3 = 0. Is w smaller than q?
True
Let v = 10 - 11. Which is smaller: v or 4/9?
v
Let s(d) = d**3 - 5*d**2 - 5*d + 4. Let r be s(6). Let k = -18 + r. Let n be (16/k)/(2/(-3)). Which is greater: 4 or n?
4
Let u be (1/17)/(15/(-30)). Which is smaller: 0 or u?
u
Let f(i) be the first derivative of i**2/2 + 9*i - 4. Let s be f(-9). Let n be 0 - (-1 + (-3)/(-4)). Is s < n?
True
Let m = -41.6 - -43. Is m != -0.2?
True
Let o be (2/(-4))/(2/(-8)). Let u be 22/(-12) + 21/7. Which is bigger: o or u?
o
Let t = -0.042 - -0.042. Is t bigger than 10?
False
Suppose 5*j + 3 = -4*p + 1, 0 = 4*p - j + 14. Is -2 smaller than p?
False
Let a = 26/7 + -331/91. Which is smaller: a or 1?
a
Let j = 91 + -89. Is -13 greater than j?
False
Let r = -63055/41 - -1538. Are 0 and r nonequal?
True
Let q(h) = -5*h**2 - 3*h. Let s be q(-1). Which is smaller: -6 or s?
-6
Let y = 2/71 + 5311/497. Is 12 less than or equal to y?
False
Let i(n) = -n + 2. Let s be i(5). Let b(m) = -m**3 - 5*m**2 + 8*m + 9. Suppose 6 + 0 = -o. Let d be b(o). Is s greater than d?
False
Suppose -4*w = 4*c - 24, 1 = -4*c - w + 2*w. Suppose -2*t + 1 = -c. Let z be ((-6)/34)/(3/(-2)). Which is smaller: z or t?
z
Let u(b) = -4*b**2 - 18*b - 4. Let a(o) = -3*o**2 - 12*o - 3. Let h(i) = -7*a(i) + 5*u(i). Let f be h(6). Is -2/11 at most as big as f?
True
Suppose n = -0 - 7. Let v = 7 + n. Are v and 1/4 non-equal?
True
Let l = 21 + -83/4. Let b be (0 + -1)*(-3)/3. Is l < b?
True
Let j(l) = 3*l**2 - l + 1. Let u(q) = -q**2 + 9*q + 11. Let d be u(10). Let y be j(d). Is 1 greater than y?
False
Let z = -13/2 - -8. Let k = -1 + z. Let g = -7 - -8. Which is bigger: k or g?
g
Suppose 8 = 5*x - 2. Let i be ((-5)/50)/(x/5). Let j = -0.1 + 0.3. Which is greater: j or i?
j
Let p = 6 - 6. Suppose p = s - 3 - 1. Is 6 <= s?
False
Suppose 0 = -2*w + 5*s + 4, -2*w + 4*s = -w - 2. Suppose 5*k = 4*n + 2*k + 15, k - 5 = -w*n. Let h be 56/35*2/8. Are h and n unequal?
True
Suppose 0 = -a - 3*a + 4. Let w be a/4 + 7/4. Is 2 at most as big as w?
True
Let z be 20/11 + 20/(-10). Let l(g) = -g**3 - 3*g**2 + 3*g + 1. Let f be l(-4). Suppose -f*i = -0*i - 5. Is z greater than i?
False
Let g(v) = v**2 + 7*v + 6. Let h be g(-5). Let t be 80/35 - h/(-14). Suppose 0 = -t*m - 0*m. Which is greater: 6/11 or m?
6/11
Let f(n) = 21*n**2 + 3*n - 3. Let r be f(1). Which is greater: 22 or r?
22
Let u = 2 - 3. Suppose 2*v - 4*i - 20 = -0*v, -20 = -2*v + 5*i. Which is smaller: v or u?
u
Let z be (2 - (-4 - -3))*(-34)/3. Which is bigger: -33 or z?
-33
Let b be (-4)/6 + 33/9. Let y = -3 - -1. Let h = 1 + y. Are b and h unequal?
True
Let f = 16 + -15.9. Which is smaller: 16 or f?
f
Let m be (-2)/12 + (-1897)/(-294). Let q = 345/56 - m. Does -1/3 = q?
False
Let b = -107 + 108. Let l = 51/574 + 3/164. Which is smaller: l or b?
l
Let f = 51 - 52. Which is smaller: 0 or f?
f
Suppose -2*c + 1772 = 3*c - f, -c = 3*f - 364. Let m be ((-4)/c)/((-2)/(-5)). Are m and -1 non-equal?
True
Let v = -41 - -39. Let a be (-3)/2 + 2/2. Is v greater than a?
False
Let y = 17.88 - -0.12. Let s = 18 - y. Which is greater: -1 or s?
s
Let n = 30 + -29. Suppose 3 + 3 = 3*x. Let o be 3/11*x/(-3). Is o equal to n?
False
Let t(f) be the third derivative of -f**4/12 - 5*f**3/6 + f**2. Let b be t(-4). Suppose -3*u + 16 = -2*u + 5*y, 2*u + 7 = b*y. Which is bigger: u or -1?
u
Let p = -25 + 20. Is p bigger than -5?
False
Suppose 0 = -5*q + 3*z + 23, -z - 31 = -3*q - 2*q. Suppose u + 2*r + 11 = 0, -r + 5*r + q = -u. Which is bigger: 1 or u?
1
Let g(f) = f**3 - f**2 + 3*f - 2. Let t be g(1). Which is bigger: 8/11 or t?
t
Let d be (-70)/15 - (-1 - -3). Let g = 134/21 + d. Is g equal to -0.4?
False
Let c = -3 + 8. Let d = 52.1 + -52. Which is bigger: d or c?
c
Let r = -10523/134254 + -2/3533. Which is smaller: r or -1?
-1
Let y be ((-1)/2 - 0)*2. Let i be (0 - 0) + 16/y. Let w be (-4)/16*i/(-10). Is w at least 0?
False
Let x = -2.4 - -2.3. Let a = -1/57 + 26/399. Let b = a - -19/42. Which is smaller: x or b?
x
Let j = 110/9 + -523/45. Let x(a) = -a + 4. Let o be x(3). Is o equal to j?
False
Suppose -4*l - 2*j - 2 = -12, 0 = 3*l - 3*j - 3. Let d(y) = y**2 - 5*y + 7. Let c be d(3). Is l at least as big as c?
True
Suppose a + a = 12. Suppose -3*r + a = -0. Which is bigger: r or -2?
r
Let t(j) = j**3 - 18*j**2 - 20*j + 20. Let v be t(19). Which is bigger: 2/43 or v?
v
Let t be (-1 + 3 - 3) + 21. Let c = t + -41/2. Let b(r) = r - 9. Let v be b(7). Is c at least as big as v?
True
Suppose 3*r - 8 - 4 = 3*d, r + 20 = -5*d. Suppose -3*v + 3*x - 66 = -6*v, 2*v - 5*x - 9 = r. Is v less than or equal to 18?
True
Suppose -4*l + 3 = -5. Let j(t) = t**2 + t - 1. Let k be j(l). Which is greater: k or 6?
6
Suppose m = 4*m + 3*l - 15, 0 = 3*l - 6. Suppose -13 = -4*b + m. Suppose -7*g + b*g = 0. Is 1/6 greater than g?
True
Let w = -970/9 - -108. Let q = 577 - 578. Which is bigger: q or w?
w
Let b = 47 - 37. Which is greater: b or 54/5?
54/5
Let n(b) = 3*b. Let t be n(1). Let u be (2 - 1)*(-4 - 2). Let p be u/18*t/1. Are -0.1 and p unequal?
True
Suppose -5*h = -3*w - 70, 4*w + 7*h = 4*h - 103. Are w and 1 non-equal?
True
Suppose 1 = -2*p - 1. Let a = 2 - 2. Suppose t = 2*l - 3*t + 4, 4*l - 5*t + 5 = a. Which is smaller: p or l?
p
Let l be 2/(-6)*190/78. Let s be 36/39 + (0/(-3))/(-1). Let t = s + l. Is 0 greater than or equal to t?
False
Let g = -126.59 - -126. Is 1 > g?
True
Let r = 18 - 13. Let c = r + -6. Suppose -2*m + 12 = 4*t, -4*t + 12 = -2*m - 0*t. Which is smaller: m or c?
c
Let l = 25 + -14. Is l