s s at least 0?
True
Let f(l) = l**2 + l. Let y be f(-1). Which is greater: y or 1/4?
1/4
Let p be (32/(-6))/4 - -1. Suppose -10 + 0 = -5*t. Which is bigger: t or p?
t
Let p(j) = 67*j**2 + j. Let a be p(1). Is 68 at least a?
True
Let x be 27/45 + 6/15. Which is smaller: x or -1?
-1
Suppose -2*i + 12 = 4*m - 40, 3*i - 113 = m. Which is bigger: i or 1?
i
Suppose -n - 7 + 1 = 0. Which is greater: -14/3 or n?
-14/3
Let g = 0.19 + 0.01. Let o = g - -1.8. Which is greater: o or 1/3?
o
Let a(z) = 9*z + 1. Let b be a(1). Suppose 7 = 2*p - 3, -5*g = -5*p + b. Which is bigger: 5/3 or g?
g
Let v be ((-18)/(-24))/((-2)/(-8)). Let t(f) = 2*f - 3. Let r be t(v). Suppose 5*z = 4*l - 3, r = z + 3*l - 4. Is z at most 1?
True
Suppose -16*i = -7 + 87. Which is smaller: 2 or i?
i
Suppose 3*f + 0*f - 24 = 0. Suppose -2*i = 2*i + f. Let r = 3 + i. Is r != 1?
False
Let t(d) = -2*d - 8. Let g be t(-3). Is g less than or equal to -18?
False
Let i = 4 - 3. Let h = 1.8 - i. Let u = 0.2 + h. Is 1 at most as big as u?
True
Let o(u) = u**2 + u. Let k be o(-1). Suppose c + 1 + k = 0. Is c less than -1?
False
Let l(x) = -x**2 + 6*x - 4. Let o be l(4). Let m = -3 + o. Is 1 greater than m?
False
Let h be (4 - 0) + -1 + 0. Let i = h - 4. Let m = -336/5 - -67. Which is bigger: i or m?
m
Suppose -1 + 7 = -3*u. Let r be (3 + 1)/(u/1). Are r and -1 non-equal?
True
Let p(l) = -19*l**3 + l**2 - 1. Let i be p(-1). Let z be 2 + i/(-5) - -2. Let k = -10 + 11. Which is smaller: k or z?
z
Let g be (-4)/(21/(-6) - -4). Let p = 0.4 + -0.5. Which is greater: g or p?
p
Let h(a) be the third derivative of a**4/24 + a**3/6 - 3*a**2. Let q be h(0). Is -1/3 less than or equal to q?
True
Let y = -5 + 12. Let b = y - 8. Which is smaller: 0 or b?
b
Let g be 0 - (1 + 2 + -2). Let v be 0/(2 + -3) + -2. Let y = v + 1/2. Which is bigger: g or y?
g
Let q = -6 - -6. Is -2/11 less than q?
True
Let c(z) = -4*z - z + 2*z**3 + 6*z + 3*z**2. Let s be c(-2). Let r(b) = b**2 + 6*b + 1. Let f be r(s). Which is bigger: f or -1?
f
Let j(r) = -2*r**2 - 2*r + 4. Let l be j(-3). Let n = 4 + l. Let b = -2 - n. Which is smaller: b or -2/3?
-2/3
Let i(q) = -q**2 + 2*q + 3. Let d be i(-4). Let y(o) = -o**3 - 8*o**2 - 9*o - 2. Let c be y(-6). Which is greater: d or c?
c
Let j(s) = -s**3 - 7*s**2 - 2. Let r be j(-7). Let u be (1/(-2))/((-16)/(-3)). Let t = u + 79/160. Which is bigger: t or r?
t
Let b(l) = 5*l**2 + 1 - l**3 - 4*l + 4*l. Let t be b(5). Let d = -79/5 - -16. Is d greater than or equal to t?
False
Let w(r) = -2*r**2 + 3*r - 1. Let h be w(2). Let d be (h + 2 + 0)/(-1). Which is bigger: d or 1/4?
d
Let x = -2.3 + 2. Let d = -2/31 + 72/155. Which is bigger: x or d?
d
Let q be (-5)/10 + 2/4. Suppose 2*i - 2 = -5*c, 3*c + 3*i - 3 = -q*i. Is c < 2/7?
True
Let y = 7.41 - -0.29. Let g = 0.06 - 8.06. Let b = y + g. Which is greater: b or 0.2?
0.2
Suppose 0 = -0*u - u. Let c be (3/(-6))/((-2)/(-8)). Is c at least u?
False
Let m(u) = u**2 - u - 1. Let i be m(-1). Suppose 3*h + 1 = 4*j - 23, 4*j = 2*h + 20. Let p be 2/4*(-1)/j. Which is smaller: p or i?
p
Let y be (-10)/(-5)*(-1)/(-31). Suppose 2*p = -3 + 5. Which is bigger: p or y?
p
Suppose -5*t + 7 + 3 = 0. Let q(a) = a**2 - 2*a. Let g be q(3). Suppose c - 15 = -g*f - f, 3*f + 3 = 4*c. Which is smaller: f or t?
t
Let h(c) = c + 38. Let t be h(14). Which is greater: 51 or t?
t
Let f(h) = h**2 + 4*h - 6. Let m be f(-5). Which is smaller: m or -7?
-7
Let y = -7.87 + -0.13. Let s = y + 8.3. Let k = s + 0.7. Which is smaller: k or 3?
k
Let t = -281 + 1413/5. Is t greater than or equal to 3?
False
Let l = 14 + -14.1. Let g = 0.3 + l. Which is bigger: g or 0?
g
Let s(k) = -k**3 - 5*k**2 - 5*k - 4. Let d be s(-4). Is 1/9 smaller than d?
False
Let p be (1/3)/(4/72). Suppose -n = -p - 3. Which is bigger: n or 7?
n
Let q(r) = -r - 11. Let v be q(-8). Is -5 less than v?
True
Let v = -80 + 89. Which is smaller: 6 or v?
6
Let i be 922/490 - 4/2. Let p = -4/49 + i. Which is smaller: -1 or p?
-1
Suppose 5*t + 4*u = 144, -3*t - 3*u - 19 = -103. Let i = t + -123/4. Which is bigger: i or 1?
i
Let n = 11.85 - 12. Let l = 0.25 + n. Is 9 at least as big as l?
True
Let w be 6/9*1/(-2). Is w at least 4?
False
Suppose 0 = -2*s + g + 37, 3*s - g - 48 = 3*g. Suppose -5*j - s = 5*c, -4*j + 2*c + 11 = -3*c. Is j <= -2/3?
True
Suppose 2*k - 4 = -2. Let h be (-4)/4*k/(-18). Which is smaller: h or -1?
-1
Suppose 6*o - 42 = -o. Which is smaller: o or 9?
o
Suppose -3*h - 4 = -h. Let f = -1 + 1. Which is smaller: f or h?
h
Let z = -0.8 - -2.4. Let a = z - 0.6. Is a at least -6?
True
Suppose m - 2 = -0. Suppose -6*f + 4 = -m*f. Let w be 2/(-10)*(f + 0). Which is smaller: w or 1?
w
Let y be (-6)/21 - (-30)/7. Let n be (-3 + y)*(-2)/14. Which is smaller: 1 or n?
n
Suppose -4*p - p - 135 = 0. Let i be (-6)/p + 38/(-9). Is i less than -4?
False
Let t be -2 + 0 - ((-10)/(-4))/(-5). Let l = 0 - 4. Let v = 3 + l. Is t greater than v?
False
Let c(f) = f**3 - 3*f**2 - 1. Let a be c(4). Suppose 3*o + 0 = a. Is o less than 5?
False
Let h be -4 + 3 + 8/2. Which is greater: 1 or h?
h
Let n(r) = -r**2 + r. Let t(h) = h. Let j(k) = n(k) + 5*t(k). Let u = 5 + 1. Let v be j(u). Which is bigger: -1/4 or v?
v
Suppose 0 = -4*j + 2 - 34. Let d = -54/7 - j. Let u(b) = -b - 2. Let x be u(-3). Is d >= x?
False
Let o(i) = -i**3 - 8*i**2 + i + 2. Let w be o(-8). Is w less than 1?
True
Let w = -7 + 1. Let v = -6 - w. Is v > 3?
False
Let g = 44 + -60. Which is smaller: g or -15?
g
Suppose -4*r + 4 + 16 = 0. Is r > -1/2?
True
Let p(h) = -h**2 + 5*h + 11. Let k be p(6). Are 5 and k non-equal?
False
Suppose -3 = -4*r - 23. Is -1 smaller than r?
False
Let z = -27 - -26.9. Which is greater: z or -9/8?
z
Let c = -31 - -34. Let f be ((-2)/(-4))/((-3)/(-4)). Which is smaller: c or f?
f
Suppose 3*w = 5*y - 4*y + 5, -4*w + 10 = 2*y. Let u be 1 - (-4)/(-18)*6. Which is bigger: u or y?
y
Suppose 3*j - 2 = l, 0 = -5*j - 2*l + 7*l. Let z = 6737/9 + -747. Which is bigger: z or j?
z
Suppose -y + 2 = -4*x - 16, -y - 7 = x. Which is bigger: 0 or x?
0
Let p(f) = f**2 + 2*f + 1. Let j be p(3). Is j bigger than -1?
True
Let b = 23 + -23. Which is smaller: b or -1/102?
-1/102
Let c = -38 + 18. Let b be ((-9)/c)/(18/(-15)). Which is greater: b or 0?
0
Let y = 4 - 1. Let f be (-9)/y + 66/18. Do -2 and f have the same value?
False
Let x = 194 + -194. Are 1/126 and x non-equal?
True
Let i = 17 + -9. Suppose 0 = -5*m - 3*g - 22, -2*m = -2*g + 4*g + i. Let v = 6 + m. Is 0 smaller than v?
True
Let m = -1 + 0. Which is smaller: m or -3/8?
m
Let s be 1/(-1)*6/(-6). Let d be ((-12)/(-30))/(s/(-30)). Is d < -11?
True
Let a(s) = -s**3 - 3*s**2 + 3*s - 2. Let t be a(-4). Let g = t - 0. Let x be (-9)/(-12) - g - -1. Which is bigger: 2/5 or x?
2/5
Let d = -32 - -31. Which is bigger: d or 1/10?
1/10
Suppose 0 = o + 5, 4*w + 5*o + 21 = 0. Which is smaller: 6/7 or w?
6/7
Let z be 3/6*(-1 + -11). Let x be 1/3*z/8. Which is smaller: 0 or x?
x
Let m = 96 + -95.9. Suppose 133 = -4*l - 55. Let a = l - -140/3. Which is smaller: a or m?
a
Let p be 4/(-18) + (-114)/(-27). Let z be 7 + -4*2/p. Suppose z*t = 2*t - 3. Are t and 2/9 unequal?
True
Let c(v) = v**2 - v + 1. Let y be 2/3 - (-3)/9. Let j be c(y). Which is greater: 2/19 or j?
j
Suppose -5*k + 4*k + 13 = 0. Let c = k - 12. Which is smaller: 2/9 or c?
2/9
Let p be 6/20*(-4)/15. Is p greater than 1?
False
Let l(h) = -h**3 + 5*h**2. Let q be l(5). Let z = -277 - -113. Let m = 488/3 + z. Which is bigger: q or m?
q
Let m be ((-12)/(-30))/((-1)/(-5)). Suppose -m*n = 2*n + 4. Which is bigger: n or 1?
1
Suppose 0 = -5*u - 3*g - 22 - 40, 2*g = 4*u + 32. Let y(h) = -h - 8. Let c be y(u). Which is bigger: c or 3?
3
Suppose 0*u = -3*u - 24. Let v = 14 + u. Let t be 3/v*0*-1. Are 1/2 and t unequal?
True
Suppose 1 = q - 4. Let y be (2/6)/(q/210). Are y and 14 equal?
True
Let b be -1 - -3 - (2 + 120/(-35)). Is b smaller than 4?
True
Let w be (-6)/1*32/(-12). Is w bigger than 16?
False
Let o be 3/(-15)*1 - 0. Which is smaller: 0 or o?
o
Let l(z) = -z - 8. Let s be l(-7). Let q = -21 - -31. Let u be q/24 + 2/8. Which is smaller: u or s?
s
Let t = -1 - -5. Let g = 58 + -54.1. Let r = t - g. Is -0.1 equal to r?
False
Suppose 2*f = -4*m - 12 + 2, 0 = m + 4*f - 1. Let d = m + 2. Let h be (2/5 - d) + -1. Is 1 greater than or equal to h?
True