at least s?
False
Suppose 3*f + 0*f + 6 = 0. Let o be (7/14)/(f/(-16)). Let y be 2/o - (-6)/(-10). Is y > 0.1?
False
Suppose 50 = -r - 3*r + 5*y, 3*r = -4*y - 53. Are -16 and r nonequal?
True
Let w(s) = -s**2 + 1. Suppose 2*y + 5 = -5*v + 2, -4*y = 5*v + 11. Let p be w(v). Is -2/13 at least as big as p?
False
Let l be ((-6)/(-4 + 2))/1. Let q be 99/(-135) + 1/l. Which is smaller: 0 or q?
q
Let u = -42/13 + 375/104. Let x = 0 + -1. Which is greater: u or x?
u
Suppose 0 = 5*x + 26 + 4. Let o be -2*(-2)/(x/(-15)). Let z be (4/o)/(1 - 3). Is z bigger than -1?
True
Suppose -3*h - 4 = 5. Let l = h - -5. Let f be (14/(-21))/((-8)/30). Is f <= l?
False
Let r be ((-3)/90)/(3/12). Let v(t) = 7*t + 4. Let j(b) = -b. Let o(h) = 6*j(h) + v(h). Let k be o(-3). Which is greater: k or r?
k
Let f = -0.4 + 0.38. Let u = f - 0.28. Let q be 24/(-18)*6/(-28). Is u greater than or equal to q?
False
Let p = 219 + -216.98. Let v = -2 - -2.02. Let t = v - p. Which is bigger: 0 or t?
0
Let q be 0 + 2 - 60/(-6). Let n be ((-2)/(-57))/((-8)/q). Which is smaller: 0 or n?
n
Let q(p) = 5*p**3. Let h be q(1). Let o be -4*10/(2 + -4). Suppose 0 = -4*z + 2*a - o, h*z + 0*z + 5*a - 5 = 0. Which is smaller: z or -1?
z
Suppose -4*t = -0 - 20. Let m = t + -4. Is m at least as big as -1/3?
True
Let z be 3 + 1/(8/(-30)). Let o(c) = -c**2 + 8*c + 8. Let y be o(9). Are z and y unequal?
True
Let s(o) be the first derivative of -o**3/3 + 3*o**2/2 + 29. Suppose 0 = 3*v - v + c - 3, 0 = -2*v + 4*c + 18. Let h be s(v). Is h at most 3?
True
Let a be (-1)/1*(-1 + 2). Let q = -20 + 14. Let g = 4 + q. Is a <= g?
False
Let h(x) = -2*x**2 - 6*x + 4. Let n be h(-3). Suppose 2 = n*p - 6. Is p bigger than 1?
True
Let f be ((-1)/3)/(2/(-12)). Suppose -f = -3*n + 4. Suppose 0*p + 12 = 4*p. Which is smaller: n or p?
n
Let u = -18 + 11. Let f = u + 6. Suppose 5*v + 5*b + 5 = 4*v, -5 = -5*v + 5*b. Which is smaller: v or f?
f
Let c = 1 + -4. Let b be (-2)/(c - -5) - 1. Let m be (4/12)/(b/(-6)). Which is greater: 1/2 or m?
m
Let f = 27 + -24. Which is bigger: f or -1?
f
Let i be -7*(-2)/14 + -1 + -5. Which is bigger: -12 or i?
i
Let n be 3 + (-4 - -2 - 0). Let i = -81/112 - -7/16. Which is greater: i or n?
n
Let d(y) = y**3 - 9*y**2 + 1. Let i be d(9). Is 2 at least as big as i?
True
Let x(q) = 3*q + 3. Let g(k) = -16*k - 16. Let n(a) = -2*g(a) - 11*x(a). Let o be n(-4). Which is bigger: o or 4?
4
Let h = 2448 - 73447/30. Which is smaller: -1 or h?
-1
Let g(q) = q**3 - 7*q**2 + 6*q + 2. Let w be g(6). Let z(t) = -t**3 - 22*t**2 - 39*t + 21. Let l be z(-20). Is l less than or equal to w?
True
Let n(q) = -13*q - 1. Let p be n(7). Let g = p - -136. Let w be 32/(-55) + 8/g. Which is bigger: w or -1?
w
Let d(h) = -h - 1. Let b(t) = -3*t - 2. Let l = -3 - 3. Let a(x) = l*b(x) + 17*d(x). Let f be a(5). Is 1/3 at most f?
False
Let y = 6 - 5. Let v = y + -0.6. Let f = 0.3 - v. Do f and 2/9 have the same value?
False
Let b = 16 - 12. Suppose 0 = b*k + 26 - 10. Suppose 3*r + 5 = -4. Which is smaller: k or r?
k
Suppose 4*t - 2*f = 0, -2*f + 16 = 2*t - 7*f. Which is bigger: -5/6 or t?
-5/6
Suppose 0 + 4 = 4*i. Let x = 64/9 - 22/3. Which is smaller: x or i?
x
Let u = -45/4 + 11. Let z = 1.7 - -0.9. Let m = 1.6 - z. Is m at most u?
True
Suppose -14 - 11 = 5*n, 2*v - 27 = 3*n. Suppose -4*o + 2*o + q = -v, -3*q = -o + 13. Is 2 bigger than o?
True
Let p(v) = v**2 + 8*v + 2. Let o be p(-8). Suppose -5*z + 4*i + 13 = -5, -i = o*z - 2. Let y(m) = m**2 - 7*m - 1. Let c be y(7). Which is bigger: z or c?
z
Let t(s) = -s**3 + s**2 + s - 22. Let o be t(0). Let c be (o + 4)/(13*1). Let g = -80/39 - c. Is g not equal to 3?
True
Suppose 2*k + 3 = -k. Let y be 2/4*(-3 - k). Is y at least 0?
False
Let u be (12/(-5))/(1/(-10)). Suppose u = -y + 5*y. Let k = y + -7. Which is bigger: k or 1/4?
1/4
Let r = -13/17 - -1057/1360. Is 1 at most r?
False
Let i be 1/((-1)/(-9)*3). Suppose -120 = i*y - 0*y. Let m be (-2)/10 - 18/y. Which is smaller: -1 or m?
-1
Let r(f) = f + 5. Let p = -5 - -2. Let q be r(p). Suppose -x + 9 = q*x. Is 5/2 greater than or equal to x?
False
Let b be (1 - -1) + 3 + 0. Suppose b = -5*j - 0. Let c = -1/21 + 3/14. Is c at least as big as j?
True
Suppose -j + 187 = 4*b, 1 + 0 = -j. Let z = -140/3 + b. Is -1/5 > z?
False
Let r(k) = 9*k**2 + k. Suppose -4*z = -2*s + 6, 4*s = -0*s + 2*z. Let c be r(s). Is c at most 8?
True
Let y = -0.9 - 2.1. Are 0 and y non-equal?
True
Let h = 4/5 + -17/15. Which is greater: -4/5 or h?
h
Let i(r) = -12*r - 2. Let l be i(3). Which is bigger: -39 or l?
l
Let q be -2*119/68*8/10. Which is greater: -2 or q?
-2
Suppose -3*p = p - 56. Let a be ((-16)/p)/1 + 2. Suppose -2*l + 23 = 21. Which is greater: l or a?
l
Suppose -13 = 5*k - 4*k. Is k at most -14?
False
Let a = -7.9 + -6.2. Let u = a - -14. Is -0.1 less than u?
False
Let r = 789/55 - 74/5. Which is greater: r or -1?
r
Let a(c) = -9*c**2 + 2*c - 3. Let p be a(1). Which is greater: p or -5?
-5
Suppose 102 = 5*n + 2*w, -3*n - 15 = 4*w - 79. Let y be (-30)/n - 2/4. Is 1 > y?
True
Suppose 4*t + 21 = t + m, 3*t - 2*m + 24 = 0. Let k = -2 - t. Let y be 84/99 + k/(-6). Which is smaller: 1 or y?
y
Suppose 0*l = 4*l - 12. Suppose -2*b + 0*b = -5*p + 13, 3*p = b + 8. Is p at most as big as l?
True
Let g(y) = y. Let b be g(1). Let m = -0.59 - -0.29. Which is greater: b or m?
b
Let h = 31 + -32. Which is smaller: h or 2/261?
h
Let f(p) = -p**3 - 2*p**2 - 2*p + 1. Let m be f(-3). Let v = m - 17. Which is smaller: 0 or v?
v
Let g = 11 - 11.3. Let m = g + -0.7. Is m less than -10?
False
Suppose -3*p + 40 - 1 = 0. Let s = p - 10. Is 1 less than s?
True
Let y = -23.7 + 25. Is 0 >= y?
False
Let o be (-52)/(-60) - 4/(-30). Is 1/2 at most o?
True
Let z be 1/(3/((-3)/1)). Are -2 and z nonequal?
True
Suppose 3*l - 4 = 5*l. Let r = 0 - l. Suppose 3*u = 4*d - 15, -3*u - 15 = -r*d - 0*u. Which is greater: -0.3 or d?
d
Let g be (5 - 7)/((-18)/(-2)). Let q = -1 - 1. Let p be (q/(-2) + 0)*1. Is g at most as big as p?
True
Let o(r) = -r**2 - r + 2. Let g be o(-2). Let h be (1/(-2))/((-28)/8). Is h at least as big as g?
True
Let o(u) = -2*u. Let y be o(-1). Let a(b) = b + 9. Let v be a(-7). Is y bigger than v?
False
Let h = 0.12 - 5.12. Let n = 3.79 - -0.21. Let m = h + n. Does m = 0.2?
False
Suppose -6 = 2*k - 0. Let n be k*(1 - (-30)/(-27)). Let y be 1*4 - (7 - 4). Is y < n?
False
Suppose -u - u + 4 = 0. Suppose -3*d = u*s - 2, -2*d + 5*d = 0. Is 1 > s?
False
Suppose -5 = -4*o - 9. Which is greater: -17/7 or o?
o
Let y be ((-2)/4)/(72/48). Which is smaller: 0.21 or y?
y
Let s = 15 - 20. Do -3 and s have the same value?
False
Let n = 0.14 + 0.46. Is -2 smaller than n?
True
Let a = -45.2 - -45. Let b = 0.8 - -0.2. Which is smaller: b or a?
a
Suppose 5*y = 3*z - 5*z + 40, y + z = 11. Suppose -5*s + 25 = -0*s. Is y >= s?
True
Let b = 53 + -54. Which is bigger: -21 or b?
b
Let s = -791/30 - -53/2. Let b = s + -8/15. Which is smaller: b or -1/6?
b
Let h(m) = -m**2 - m + 1. Let o be h(-2). Let w be 2 + o + 21/(-27). Let b = w - -1/36. Is b at least -1?
True
Let i = -13 - -14. Suppose 2*m - 1 = i. Is 2/35 greater than m?
False
Let y be 2 - ((-69)/(-18) + -2). Let z(p) = -p - 2. Let h be z(-6). Suppose h*t + k = -2, 4*t = -0*t + 3*k - 10. Which is smaller: t or y?
t
Let z be -3 - ((-273)/45 + 3). Which is greater: -1 or z?
z
Let b = -2 - -3. Let v(l) = -b - 5 + l - 2. Let m be v(7). Which is greater: m or 2?
2
Let p = -29 - -88/3. Which is greater: p or 1/4?
p
Let z be (-2)/3 + (-50)/(-3). Suppose -3*n + z = -n + x, -10 = -n - x. Let j be 3/(-2)*8/n. Is -1 less than j?
False
Let v = 5 - 6. Let x(m) = -m**2 + 7*m + 5. Let k be x(4). Let n be (-2)/(-7) + k/(-35). Is v >= n?
False
Let w = -27 + 28. Is 6/5 bigger than w?
True
Let p be 1 + -4 + 0 + 2. Is p equal to 1?
False
Suppose 20 + 12 = 4*x + 4*z, -z = -3*x + 16. Suppose 5*o - x*o = -12. Is o at least as big as 11?
True
Suppose -3 + 7 = 4*p. Suppose f - l - 4*l + 3 = 0, -9 = -4*f - l. Is f < p?
False
Let d = -4.4 - -67.4. Which is smaller: d or -1?
-1
Let v = -108799/47 + 2315. Let p = v - 347/141. Is -2 > p?
True
Let s = 0.8 + -0.9. Let q = 22 - 33. Which is greater: q or s?
s
Suppose f + 5*o = 29, 0*f - 2*o + 50 = 2*f. Suppose x = 6*x - 5, 4*b = -4*x + f. Which is greater: b or 1?
b
Let u = 383.16 - 383. Let s = 0.2 + 0