5*y. Is y <= -4?
False
Suppose -2*p + j - 2 = 3*j, 11 = p + 5*j. Let h be (-1 + -2)/(9/9). Is p != h?
True
Suppose -l + 4 = 3*l. Let o be -4 - l/((-4)/12). Let s = -0.01 + -1.99. Which is smaller: o or s?
s
Let x = 8615/27 - 319. Is x less than 0?
False
Let y = 0.76 - 0.38. Let f = -3.98 - -4. Let t = f + y. Is t < 0?
False
Let p be (0/((-6)/3))/1. Let i(r) = -r**2 + r + 3. Let g be i(0). Let n be (g + (-43)/14)*8. Is p != n?
True
Let l(p) = -3*p**2 + 4*p**2 + p**3 + 0*p + 2*p + 1. Let m be l(2). Suppose b + 16 = -3*z, 3*z - 2*b + m = -4*b. Which is greater: z or -4?
-4
Let k(r) = -r - 13. Let d(t) = -t**3 + 10*t**2 + 9*t + 13. Let y be d(11). Let c be k(y). Let q = -4 - c. Which is bigger: 2/5 or q?
2/5
Suppose -3*j = 15, -3*o + 30 = -0*j - 3*j. Suppose -2*n = 4*t - 18, t + 3*n - 2 = o. Suppose w = 5*w - t. Is w >= 0?
True
Let q = 89 + -88. Is q smaller than -2/257?
False
Let s = -104 - -100. Which is bigger: s or -2?
-2
Let n = -18 + 13. Let z = -1 - n. Let m be (-48)/(-10) + 4/20. Which is greater: z or m?
m
Let v(l) = -l**3 - 3*l**2 - 3*l - 3. Let r be v(-2). Let j(u) be the second derivative of u**3/6 + 9*u**2/2 - u. Let b be j(-9). Is b smaller than r?
False
Let i = -279 + 193. Which is smaller: -87 or i?
-87
Suppose -4*b + 0*b = -12. Suppose -w - b*q = 15, 0 = 3*w + 4*q - 6 + 26. Is 2/17 smaller than w?
False
Let q be (0 - 1) + 11 + -11. Which is smaller: q or -5/7?
q
Let o(d) be the third derivative of -d**4/24 - 3*d**3/2 - 6*d**2. Let l be o(-6). Does l = -5?
False
Suppose -4*s - 8 = -2*t + 4, 5*s + t + 8 = 0. Let l be ((-8)/(-72))/((-1)/s). Which is bigger: l or 1?
1
Let c = 8 + -4. Let u(r) = r**2 - 3*r - 2. Let o be u(c). Let d be o/(-5)*(-5)/(-7). Which is smaller: 1 or d?
d
Let v = 1.99 + 0.01. Let c = -352/7 - -50. Which is smaller: c or v?
c
Suppose 0*p - 4*p = 628. Let k = -1102/7 - p. Are k and 1 equal?
False
Suppose 4*i - 120 = 3*f, -6*f + 2*i - 150 = -2*f. Are -36 and f equal?
True
Let m(c) = -c**3 + 4*c**2 - 2*c - 3. Let l be m(3). Let a = -2541 - -642874/253. Let v = a + -1015/759. Is l > v?
True
Let p = -4.3 - 0.2. Let j = p - -7.6. Let q = j - 3. Which is smaller: q or -1/3?
-1/3
Let x = -22 + 30. Which is bigger: x or 9?
9
Suppose 0 = 5*d - 3*f - 3, -4*f - 4 = 4*d - 0. Let v = -7 + 9. Is v equal to d?
False
Let y = -2 - 2. Let b = y - -2. Let x = -2 - b. Which is smaller: -2/13 or x?
-2/13
Let k = 4062/361 + -1518287/5415. Let i = k + 269. Let a = -0.122 + 0.022. Which is greater: a or i?
a
Suppose -14 = -k + 1. Let l be 3/5 - (-6)/k. Is 1 < l?
False
Suppose 3*u = 4*l + 11, 3 = 3*l + 4*u - 20. Let z be (4/(-3))/((-21)/9). Which is smaller: l or z?
z
Let g = 7 - 2. Suppose 41 = -2*k + g*b, 2*k = -2*k + 2*b - 106. Let j = k - -82/3. Are j and -1 equal?
False
Let u(l) = l**2 - 8*l + 5. Let s be u(7). Let n be -2 + (-1 + 0)*-5. Suppose 4*i - 1 - 1 = 2*z, n*i = -z - 6. Is s greater than or equal to z?
True
Suppose -3*a + 283 = -77. Let m be ((-2)/(-8))/(6/a). Which is smaller: 7 or m?
m
Let x = 83 - 160. Is x greater than or equal to -76?
False
Let x = 0.05 + -0.05. Which is smaller: x or -0.03?
-0.03
Let i = -6 + 11. Let k = 1 + -2/5. Is i equal to k?
False
Let n = -3 + 4. Let d(k) = k + 4. Let v be d(-5). Is n smaller than v?
False
Suppose 0 = -b - 4*m - 15, -2*b + 20 = -5*m - 2. Which is smaller: b or -1/13?
-1/13
Let b be (36/(-30))/((-6)/20). Let q be 2/b*10/(-25). Which is smaller: q or 0?
q
Suppose 3*j + 5 = -2*j. Let u = -1285/7 - -184. Is u greater than j?
True
Let g(c) = c - 11. Let r be g(8). Let p be 3/((-2)/(-4)*r). Let w = 0 - 0. Which is bigger: p or w?
w
Suppose 0 = 6*t + 9*t - 30. Suppose d = -0*d. Is d at most as big as t?
True
Let h(q) = -q**2 - 18*q - 30. Let d be h(-16). Let l = 13 + -62/5. Do l and d have the same value?
False
Let i = 25 - 25.3. Is -2/7 at most as big as i?
False
Let v be 1 + 2 - (-23 - -5)/(-6). Let x be 312/(-9) + (-4)/(-6). Let n be 2/(-4) + x/(-36). Which is bigger: n or v?
n
Suppose -4*c - 2*d = -10 - 0, 4*d - 20 = 3*c. Which is greater: c or -1?
c
Let s(o) = -o**2 + 10*o - 4. Let a be s(10). Let g = -1 - a. Suppose -3*t + 4*z = -11, 2*z - 1 + g = -2*t. Is 1/5 less than t?
True
Let z = -94 - -96. Is z < 17/10?
False
Let y be 4 + (-1 + -1)*1. Let f be (-6)/2 - -2*y. Which is greater: -4/11 or f?
f
Suppose 3*d + 4 = 1. Let m = -3 + 11. Let l be (-9)/(-6)*m/27. Which is greater: d or l?
l
Suppose -4 = 2*n + 6. Suppose 3*i = -6, 3*i - 5*i = -5*p - 31. Let v(j) = j + 3. Let a be v(p). Is a at least n?
True
Let a be 1/(-2) + 5/2. Suppose -3*i - a = -2*g + 8, -5*i - 2 = 4*g. Which is bigger: i or 1?
1
Suppose -14 + 36 = -3*l + 5*h, -11 = 4*l - 3*h. Which is smaller: 2/9 or l?
2/9
Let c(f) = f - 2. Suppose 5*s - 5*j = -0*s - 5, 0 = 4*j - 16. Let r be c(s). Which is bigger: 4/7 or r?
r
Let i be -4*(-3)/(-2) - -2. Let q be i + (-3)/6*-4. Are q and -1/3 nonequal?
True
Let v = -182 + 902/5. Is v greater than 1?
False
Let t be 12/(-9) - (-38)/33. Which is smaller: t or 0?
t
Let j = -3 - -6. Let f = -6 + j. Is f != -3?
False
Let j(r) = 4*r**3 + 4*r**2 + 2*r + 6. Let g(k) = -k**3 + k**2 - k - 1. Let d(y) = 3*g(y) + j(y). Let m be d(-7). Which is greater: 11 or m?
11
Let a = 2 + 1. Suppose -2*y = -3*f + f, 0 = -a*f + y. Let h = -127/3 - -42. Which is greater: f or h?
f
Let u be 69/297 + (-2)/9. Which is greater: -1 or u?
u
Let u(a) = a + 1. Let h be u(2). Let r = -4.6 - -0.6. Let z = 4.1 + r. Which is bigger: z or h?
h
Let o = -5 + 6. Let k = -1 - o. Let j be (2 + -2)/(0 - k). Which is smaller: -2/7 or j?
-2/7
Let d = 0.98 - 1.08. Which is bigger: -1/24 or d?
-1/24
Let b = 449 + -7635/17. Let t(d) = -5*d + 20. Let z(g) = 3*g - 13. Let x(h) = 5*t(h) + 8*z(h). Let n be x(-4). Is n >= b?
True
Suppose -4*t - t = 2*g + 68, -t - 4*g - 10 = 0. Let w = 24 + t. Let r be -2*(4/w + -1). Is r less than 1?
False
Suppose -3*o = o + 2*a + 14, a = 4*o + 17. Is -5 >= o?
False
Let s = -0.5 - -0.7. Let z = -7.7 + 8.1. Which is bigger: s or z?
z
Let s = 3 + -4. Let v = -131 + 2621/20. Which is smaller: v or s?
s
Let a(j) = -5*j**2 - 4 + 0 - j**3 - 8*j + 13*j**2 + 14. Let g be a(7). Is g smaller than -6?
False
Let o = 14 - 13. Suppose -5 = q + o. Are -6 and q non-equal?
False
Let d = 6 - 11. Let w = 7 + d. Let o = 1178/2037 + -2/291. Which is smaller: w or o?
o
Let u = -6.4 - 0.6. Let p = -10.5 + 4.5. Let t = u - p. Which is greater: -5 or t?
t
Let c = 12 - 13. Is 0 < c?
False
Let u be 0 + ((-3)/3 - -9). Let y be 2/u - (-2)/(-8). Let v = -1 - y. Which is smaller: -1/3 or v?
v
Let t = -13 - -14.3. Let f be 2/(-12)*-3 - 0. Is f bigger than t?
False
Let y = -8 - -15. Let s = -6.3 + y. Let v = -0.7 + s. Which is smaller: v or 0.1?
v
Let r be (-54)/45 + 2/10. Let k = 0.2 - 0.2. Let v = 0.1 - k. Is r not equal to v?
True
Suppose 2*c + 4*w = 22, 0*c + 5*w - 23 = 2*c. Let q be 0/(-1) + (c - -5). Let b = 31 - 29. Which is smaller: b or q?
b
Let m(z) = -z - 1. Let f be m(0). Suppose -j + 31 = -5*h, 9 + 2 = j - h. Let v = j + -8. Is v smaller than f?
True
Suppose 0 = 3*q - q + 26. Which is smaller: q or -14?
-14
Let r = 2.9 - 2. Let x = -0.7 + r. Which is bigger: x or 0?
x
Let l = 21 + -11. Let p = l - 10.1. Which is greater: 0.6 or p?
0.6
Let g = -114 + 67. Which is smaller: -48 or g?
-48
Let k = 2 + 0. Suppose y + 0*y = 4*f, 5*y - k*f = 0. Which is smaller: -1/10 or y?
-1/10
Let w = 1.9 - 4.8. Let h = w + 3. Which is smaller: 0.03 or h?
0.03
Suppose 4*v + 19 = 79. Suppose -2*x - 4*y = -y - v, -5*x - 15 = -3*y. Which is smaller: x or 2/13?
x
Let q(x) = -10*x**2 + x - 2. Let h be q(2). Let p be 4/6*(-15)/h. Is p >= 0?
True
Suppose 5*b + 2*x = 37 - 0, -22 = -3*b - x. Suppose -k = -b + 2. Suppose 3*i - 5*y = -0*i + 13, k*i - 15 = 5*y. Which is smaller: -4/3 or i?
-4/3
Suppose 5*b - 2*b + 242 = 5*p, -p - 338 = 4*b. Let c = b + 45. Let r be (-2)/(-1*c/9). Is -1 at most r?
True
Suppose 0 = 2*q - 5*q - 3. Suppose -5*u + 3 = -4*b - 1242, 0 = 4*u - 4*b - 992. Let h = 1767/7 - u. Which is bigger: h or q?
h
Suppose 2*d + 0*v - 2 = -v, -2*d = 2*v - 2. Is d less than or equal to 72?
True
Let o = 186 + -3904/21. Let q(d) = d - 2. Let y be q(1). Which is smaller: o or y?
y
Let w be (1 - (2 - 3)) + 9. Let c = w - 7. Let n = c + -3. Is 1/4 less than or equal to n?
True
Suppose m + 56 = 5*m. Suppose 4*b - 4*w = 4, -2*b + 0*w = 4*w - m. Let