as s?
False
Let r = -153/58 + 4/29. Is r smaller than 0?
True
Suppose 5*j + 9 = -3*k, -k + 2*j = -4*k. Let s be (k - 2)/(-2) - 1. Suppose -3*c - 4 = -c. Which is smaller: s or c?
c
Let n = -5 + -1. Let s be (-1 - -2)/(39/n). Is -1 >= s?
False
Let v be 3/(-1) - 2/(-1). Let m be -1 + v + (1 - -1). Suppose -2*t - 5*j = -4*t, t = -5*j. Is t at most m?
True
Let c = -0.1 - -5.1. Let a = -1 - c. Which is greater: -1 or a?
-1
Let o be ((-5)/5)/(2/(-8)). Suppose 3 = -o*k + 2*c + 1, 7 = -5*k + 4*c. Is -1/4 equal to k?
False
Let y = -0.02 + -0.06. Let d = y - -4.08. Let q = d + -3. Are q and 1 unequal?
False
Let h = -0.17 - -0.17. Is 0 != h?
False
Let f be (1 - (0 - -2)) + 0. Suppose -q + 2 = -4*v + 5, 0 = -3*v + 4*q + 12. Is v at most as big as f?
False
Let h = -3/26 - 96/13. Which is smaller: -9 or h?
-9
Let v be (-6)/((-18)/17) - (-2)/(-3). Does 4 = v?
False
Let r be ((-56)/(-12))/((-2)/6). Which is bigger: r or -15?
r
Let p be ((-35)/(-25))/(6/(-10)). Which is smaller: -3 or p?
-3
Let o = 256/9 + -29. Which is smaller: o or -2?
-2
Let i(g) = -g**3 + 9*g**2 - 9*g + 8. Let q be i(8). Is 1/36 less than q?
False
Let c be ((-4)/2)/(2/4 - 1). Suppose -j - 2*p = 3*j - 10, -j + 4 = -p. Which is smaller: c or j?
j
Let u(x) = -2*x**3 - 2*x**2 + x - 2. Let s be u(-2). Which is smaller: s or 2?
2
Let y be -10*((-2)/4 - 0). Suppose y*j + 2 = 3*j. Is -2/3 at least j?
True
Suppose 84 = 7*d - 0*d. Are 12 and d non-equal?
False
Let u = -3 - -1. Let r be (u + 3)/(10/4). Let f be 5/20 - (-2)/(-8). Is f at most as big as r?
True
Let x(i) = -i**3 - 2*i**2 + 2*i. Let n be x(1). Is n > 2/81?
False
Let h be (-3)/(-51)*(-9 + 1). Is -1 at least h?
False
Let z(n) = -3*n - 7. Let j(b) = -4*b**2 + 1. Let m be j(-1). Let r be z(m). Is -3 equal to r?
False
Suppose 3*h + 4*q - 14 = 0, 18 = 2*h + 5*q - 3. Let b be (-3)/h*(-4)/(-6). Let v be (1 + b)/((-8)/14). Is v < -3?
True
Suppose -12 = 4*i - m, -7*m - 12 = 4*i - 4*m. Let o be (-2)/6*(-2)/(-2). Which is smaller: o or i?
i
Let k = -22 + 21. Is k equal to 19?
False
Let t be (-4)/(-78)*(-6 - -9). Let x(w) = w**3 + 6*w**2 + w + 5. Let n be x(-6). Which is bigger: n or t?
t
Let f = 10 - 7. Suppose -f*g + 1 = -11. Is g < 3?
False
Suppose 37*x - 33*x - 32 = 0. Is 13 less than x?
False
Suppose 4*g = -l + 8, 4*l = 5*g - 7 - 3. Let c be -1 - g/1 - -10. Is 0 less than or equal to c?
True
Let l = 29 + -26. Is l at most as big as 5/2?
False
Let y = -24 - -1. Which is smaller: -25 or y?
-25
Let d(m) = m**3 + 3*m**2 - m - 2. Let w = 3 + -6. Let c be d(w). Let a = 0 + c. Is a at least 2/11?
True
Let a = -64.9 - -69. Let w = 4 - a. Let y = 1.1 + -1. Which is smaller: y or w?
w
Let x(l) = -l + 3. Let f be x(5). Let s = 1007 + -3989/4. Let p = s + -125/12. Is f bigger than p?
False
Let m(s) = -s**3 + 4*s**2 - 4*s - 1. Suppose 3*w - 4 - 5 = 0. Let f be m(w). Let t be 1*-3*8/12. Which is smaller: f or t?
f
Let u = 1/33 - -8/99. Let m = u - -7/18. Which is greater: m or -1?
m
Let q = 53187/4 - 13082. Let f = q - 213. Which is smaller: f or 1?
1
Suppose 3*r + 5 = 8*r. Let a = -1955 + 35179/18. Let d = -1/9 - a. Which is bigger: d or r?
r
Let d = -156 + 157. Let f(h) = -h - 7. Let z be f(-4). Is d not equal to z?
True
Let w = -3187301/21 - -151812. Let p = 106/3 - w. Do p and 1 have the same value?
False
Let p = 1 + -2. Let w(m) = -m**3 + 9*m**2 - 7*m - 9. Let n be w(8). Is n bigger than p?
False
Suppose -2*d - 2*d = -5*d. Which is bigger: d or -16?
d
Let p(t) = 3 - 5 + t**2 - 7*t - 2. Let m be p(7). Let b(j) = -j**3 + 5*j**2 - j + 3. Let l be b(5). Is m less than or equal to l?
True
Suppose -j + 4 = -1. Is 9/2 greater than j?
False
Let i = 13 - 20. Which is smaller: i or -2?
i
Let d be 0/((1/(-2))/((-7)/(-14))). Which is smaller: d or -8/13?
-8/13
Let d be (4/48 - 0)/1. Which is bigger: 0.4 or d?
0.4
Suppose -4 = u - 18. Let h = -14 + u. Which is smaller: h or 3?
h
Let s be ((-65)/35 - -2)/(38/7). Is 1 at most as big as s?
False
Let z be (1/(-2))/(98/(-4)). Which is bigger: 0 or z?
z
Let u be (-10)/(-5) + -3 + -1. Is -4 less than or equal to u?
True
Let t(x) = x**2 - 3. Let m be t(-2). Suppose 4*l = -3 + 7. Let u = l - m. Do 0 and u have the same value?
True
Let w = -1.8 + -0.2. Which is greater: 0 or w?
0
Let s(f) = -f**3 - 26*f**2 - 19. Let n be s(-26). Is -18 at least n?
True
Let g be 7 + ((-8)/2 - 0). Which is smaller: 0.1 or g?
0.1
Let z be (-2)/(-6)*(-27)/18. Which is smaller: z or 45?
z
Let c be (-2)/2 + (-2)/(-3). Let o be 0/((-3)/(2/2)). Suppose -3*d - d + u - 2 = 0, -4*d - 2*u - 8 = o. Is d at least c?
False
Let h = -3.1 - -2.1. Is 0 greater than or equal to h?
True
Suppose -j + 1 = 3. Let l(n) = 1 - 2 + n - 4. Let p be l(3). Does j = p?
True
Let a = 295/8 + -37. Which is smaller: a or -1?
-1
Let s be -2 + (0 - 4/16). Is s at most as big as -3?
False
Let d = 6 + -16. Let l be (4/(-5))/(4/d). Let p be -1*((-10)/4 + l). Which is smaller: 2 or p?
p
Let f be 0 + 1 + -5 + 0. Is f < -10?
False
Let l be (-2)/(-10)*10/(-4). Which is smaller: l or -5/7?
-5/7
Let k(i) = 2*i**2 + 5*i - 1. Let j be k(-4). Is 0 >= j?
False
Let a(m) = -m - 2. Let b be a(-7). Let o be (-3)/2*b/(-15). Which is bigger: 1/4 or o?
o
Suppose 3*q = -q - 4. Let w be -1*q/(-3)*0. Which is smaller: -1/2 or w?
-1/2
Suppose 0 = 5*y + 4*h - 10, -4*h = 5*y - y - 8. Let l(k) = 1 - k - k + 0. Let o be l(y). Are o and -1 non-equal?
True
Let o be -3*(-4)/(-6) - 0. Let y be 1 - ((o - -2) + 3). Let v be y + 3 + 8/(-14). Which is smaller: v or -1/2?
-1/2
Suppose 0 = -2*k - 2*n, -k + n + 3 = -n. Which is greater: -1 or k?
k
Let d(q) = q**2 + 3*q - 7. Let t be d(-5). Let h be t/(-5) + 2/5. Which is smaller: -1/4 or h?
-1/4
Suppose -2*u - 2*p = u - 107, 0 = 5*u - 5*p - 170. Which is greater: u or 34?
u
Let x = -2 - -4. Suppose -4 = -x*t + 2*s, -2*t + 4*t = s - 1. Is t != 0?
True
Let d = 14 + -10. Suppose 2 + d = -3*i. Let m = 3 + -4. Are i and m non-equal?
True
Let p(n) = n**3 + n - 2. Let y be p(0). Let b be y + -1 + 2 + -2. Let j = -2 - b. Is j equal to -1/5?
False
Suppose 0 = x + s - 6, -7*x + 3*x + s - 1 = 0. Which is smaller: x or 4.9?
x
Let l be (-53)/2*(-15)/(-5). Let v = 78 + l. Which is greater: -3 or v?
v
Suppose c + 3 = 4. Is 108/11 at most c?
False
Let g be ((-32)/(-24))/((-2)/3). Let d be 2/(-4) - (-36)/8. Suppose 9*b + 15 = d*b. Which is smaller: b or g?
b
Suppose x + 6*l - 3*l = 12, 0 = -4*x - 5*l + 62. Let s be (-24)/x*2/(-36). Which is greater: s or -0.1?
s
Suppose -3*s + 4 = z - 10, 4*z - 26 = -2*s. Suppose 2*j - 4*i + 18 = 0, -j + 0*i + 26 = z*i. Which is smaller: -2 or j?
-2
Let u = 8716 + -6964083/799. Let r = -115858/2397 + u. Let d = r - -49. Which is smaller: 0 or d?
0
Let s be 24/(-4)*(-1)/3. Suppose 4*b + b = r, s*b + 2*r = -12. Is b at most -4/7?
True
Let v = 23 - 23.9. Let f = v + -0.1. Let b = -1 - 0. Is f bigger than b?
False
Let x = -9 - 1. Are x and -9 nonequal?
True
Let g = 100 + -94.9. Let k = g + -5. Let h = 0.1 - 1.1. Which is smaller: k or h?
h
Let r = 4.4 + -3. Let v = 8 - 7.6. Let u = v - r. Is u bigger than 5?
False
Let v(g) = g - 1. Let y(h) = -1. Let u(j) = v(j) + 2*y(j). Let z be u(4). Which is smaller: 2/15 or z?
2/15
Let z = -385073/164 - -2348. Let p = -79/492 + z. Which is greater: -1 or p?
p
Let m = -4 + 7. Suppose -2*l + 26 = -4*l. Let j = l - -15. Which is greater: j or m?
m
Let m = 3 - 1. Let w = m - 2. Let j = 0 - w. Is j at most as big as 1?
True
Let y(o) be the first derivative of -o**4/4 - 2*o**3 - o**2 - 9*o + 3. Suppose -2*z - 6 = -z. Let h be y(z). Which is smaller: -0.1 or h?
-0.1
Let q = 0.17 + -0.2. Is q at most -1/4?
False
Let z = -3 - -6. Let b be 6/z*2/4. Are b and 1 equal?
True
Let o(a) = -a**2 - 6*a + 2. Let v be o(-4). Suppose 10*i - v = 5*i. Suppose -6 + 2 = i*j. Is -2 less than j?
False
Let z be ((1/(-23))/(-1))/(-1). Which is bigger: z or 0?
0
Let y(t) = -t**2 + 11*t - 18. Let w be y(7). Which is bigger: 11 or w?
11
Suppose 0 = -3*j + 2*x + 4, -5*j + 4*x + 9 = 3*x. Let p = 2 - 1. Which is bigger: j or p?
j
Suppose -2*g = -g + 1. Let f be (-4)/10 + g + 1. Which is smaller: -1 or f?
-1
Let y = -22 - -21.74. Is y less than 0?
True
Suppose -t = -x - 2, 3*x + 6 = -0*t + 4*t. Is t <= 1/19?
True
Let m = 264/511 + 4/73. Is m less than 2?
True
Let u = -775/2561 + -1/197. Is -1 less than or equal to u?
True
Let l be (-32)/(-10) - 8/1