se 31 = w*v + 2*y, 40 = 4*v + y + 14. Is v less than or equal to 6?
False
Let m = -3 + 7. Suppose 0 = -3*k - v - 5, 3*k + 1 = -m*v - 10. Let o(f) = f**3 + 8*f**2 + 6*f - 8. Let l be o(-7). Do k and l have the same value?
True
Suppose -2*z + 0*z = 4*z. Which is greater: -3/8 or z?
z
Let w(t) = -285*t**3 - t**2 + t + 1. Let x be w(-1). Let c be 1/2*-1*x. Let z = c - -1848/13. Which is greater: 1 or z?
1
Let m = 0 - 0. Suppose -5*u + 5*g = m, -3*u + 9*g - 4*g = 2. Suppose -2*s + s = -u. Is -2/7 < s?
True
Let x(f) = -f**2 + 6*f + 15. Let d be x(8). Is 3 at least as big as d?
True
Let s = 17/12 - 403/276. Which is bigger: s or 1?
1
Let o = 6 + -12. Is o bigger than -5?
False
Let t = 6.9 - 6. Let f = t - 1. Is 2 >= f?
True
Let i be 2/((-5)/((-70)/(-4))). Which is smaller: i or -6?
i
Let n(u) be the first derivative of u**3/3 - u**2 + 2*u + 1. Let o be n(2). Let h = -3 + o. Which is bigger: h or -2?
h
Let d = 266 + -184. Which is bigger: -2/9 or d?
d
Let s be (-3)/(-2)*(265/(-165) + 1). Which is smaller: s or 0?
s
Suppose 5*d - 19 = 2*h - 4, 0 = -2*h + 3*d - 9. Let m = -1 + h. Which is greater: m or 2/9?
2/9
Let k = -569/8 + 71. Let b = 11/24 + k. Let t = -2.1 + 0.1. Is b > t?
True
Let t = 788 + -24431/31. Which is smaller: 0 or t?
t
Let w(h) = -h**3 - 10*h**2 + 11*h - 1. Let u be w(-11). Let m be -3 + (u - (-6 + 3)). Which is greater: -2/25 or m?
-2/25
Let t be (12/150)/(48/(-15)). Which is smaller: t or -1?
-1
Let n = -5 + 8. Suppose -3*t - 4*x + x = 0, 3*x + 12 = n*t. Suppose j - t - 1 = 0. Which is smaller: j or 2?
2
Suppose p = 2*p - 5, 2*p - 20 = -5*r. Suppose -12 = -r*u + 5*u. Are u and -4 non-equal?
False
Let c be 0 + -69 - (-4 - (1 - 6)). Is -68 at least as big as c?
True
Let o = -26/3 - -9. Is o < 1?
True
Suppose 72 = 4*g - 2*b, -b - 4 + 2 = 0. Let t be 2/5 - g/5. Is t < -4?
False
Let u(s) = -32*s**2 + 3*s - 2. Let c be u(1). Is c bigger than -31?
False
Suppose -k - k + 22 = 5*q, 3*q = -4*k + 16. Let a be k/4 + (-10)/8. Let r = 2 - 1. Is r equal to a?
False
Let w(s) = s - 16. Let p be (110/15)/((-2)/(-3)). Let r be w(p). Which is smaller: -7 or r?
-7
Let g(o) = -6*o**2 - 6*o + 3. Let s be g(-5). Let k(m) = 5*m - 9. Let h be k(-7). Let p be h/s + 8/(-36). Which is bigger: p or -1?
p
Let r = 4 + -1. Let c be 1*(1 + 1)/1. Let j(q) = 2*q**3 - 2*q**2 - 4. Let u be j(c). Which is greater: r or u?
u
Let b(m) = m - 6. Let o be b(-4). Let a(y) = 2*y + 13. Let p be a(o). Which is bigger: -5 or p?
-5
Let w be -3*(-4)/12*2. Does 1 = w?
False
Let v(y) = y**2 - 10*y - 10. Let q be v(11). Suppose -2 = -3*t + q. Let m be 2 + (-58)/14 - -2. Which is smaller: m or t?
m
Let q = 655/6 - 110. Is q > -1?
True
Let b be -1*(49/6)/7. Which is smaller: b or -2?
-2
Suppose 2*m = -10, 7*m + 31 = -3*r + 2*m. Let k be (-3)/r*(7 + -5). Suppose 0*u = k*u + 9. Is -1 != u?
True
Suppose -4*p = 6 - 18. Let o be (-2)/6 + (p - 3). Is o at least 0?
False
Let q be ((-6)/(-4))/(7/(-12)). Are -2 and q unequal?
True
Let q = 4/51 + -62/357. Let s(g) be the third derivative of -g**6/120 - g**5/60 - g**4/12 - g**3/6 + 2*g**2. Let c be s(-1). Which is bigger: c or q?
c
Suppose 0 = q - 2*q - 4. Which is smaller: -3 or q?
q
Let q = -16 - -12. Which is smaller: -2/5 or q?
q
Suppose -5 = i + 4*i. Let s = -4 - i. Let a(h) = -h + 1. Let n be a(s). Is 5 equal to n?
False
Let k be ((-143)/(-44))/((-1)/(-4)). Is 14 greater than k?
True
Let g be (3 - 1)*2/(-12). Let v = 2 - -3. Suppose -2*r + 4*d = 14, 0 = -v*d - 0*d + 15. Is g less than or equal to r?
False
Suppose -9*m + 3*m = 18. Does m = -5?
False
Let i = -104 - -522/5. Let q be ((-4)/(-8))/((-14)/(-4)). Which is greater: i or q?
i
Let w be 4 - 92/20 - 2/5. Is 8 at most as big as w?
False
Let l be (-36)/24*((-16)/6)/2. Which is smaller: 14/9 or l?
14/9
Let r be ((-48)/88)/(2/4). Is r greater than -0.1?
False
Let f = -0.4 + 0.6. Is -0.1 greater than or equal to f?
False
Let h(m) = 6*m. Let l be h(1). Which is smaller: l or 4?
4
Let d be (3 + (0 - 3))/(-1). Which is greater: d or -1?
d
Let d = -31 + 10. Which is bigger: d or -22?
d
Let l be 30/(-10) - (8 - 1). Is l greater than -19/2?
False
Let s be (-4)/(1/((-34)/(-20) - 2)). Which is greater: s or -0.1?
s
Let y(u) = u**3 + 4*u**2 + 5*u + 4. Let c be y(-3). Is c != 1?
True
Let f be (-51)/(-85) + 6/(-10). Which is bigger: f or 10/21?
10/21
Let t(r) = -r**3 + 7*r**2 - 10*r + 2. Let n be t(4). Which is bigger: n or 11?
11
Let j = 3 - 2.9. Let o be 2 - ((-98)/(-34) + -1). Does j = o?
False
Let w(x) = -7*x + 13. Let g(z) = -13*z + 25. Let d(r) = 6*g(r) - 11*w(r). Let u be 1 + 6 + (-1)/(-1). Let l be d(u). Which is bigger: -1/3 or l?
-1/3
Let s be (-16)/4 + (-4)/(-2). Which is greater: -5 or s?
s
Let x = -779/90 - -81/10. Let q = 95 - 95. Is q less than or equal to x?
False
Suppose 26*q = 21*q + 5. Which is smaller: q or -1/3?
-1/3
Let n = -6 + 7. Let b(o) = -o**2 - o. Let f be b(n). Is -2 greater than f?
False
Let r = -2.6 - -1.6. Is r <= 1.2?
True
Let n = 2 + 0. Suppose 0 = 4*o - n*o - 6. Let g be (0 - (-2 + o))*-1. Which is bigger: 1/6 or g?
g
Let q(f) = -7*f + 9. Let l be q(-3). Which is greater: l or 29?
l
Let h(a) = -a**3 - 9*a**2 - 9*a - 7. Let c be h(-8). Let i = 4 - -6. Which is smaller: i or c?
c
Let n(s) = 2*s - 8. Let q be n(8). Let a be ((-3)/2)/((-6)/q). Let g be (-1)/(-8)*(1 + 5). Is a less than or equal to g?
False
Let a = 38 + -27. Is a less than or equal to 68/7?
False
Let r = 4 - 2. Let n be (10/(-15))/(r/(-3)). Is -1/34 at most n?
True
Let i = 2 - -6. Let p = 8 - i. Which is smaller: p or 2?
p
Suppose -2*h - 4 = 8. Which is smaller: -16/3 or h?
h
Let r = 2 - -9. Let h = -9 + 8. Which is greater: r or h?
r
Let m = -28 + 26. Which is greater: 2/9 or m?
2/9
Let d = 13 + -5. Let r = 9 - d. Which is smaller: 2/3 or r?
2/3
Let w be 2/(-10) - (-54)/20. Which is bigger: w or 2?
w
Let q be 310/30 - 4/(-6). Let v(g) = -g + 7. Let n be v(q). Which is greater: -9/2 or n?
n
Let k = -339 + 2369/7. Let f = -4 - -2. Is f equal to k?
False
Suppose 28 = -2*l + 9*l. Do 4 and l have different values?
False
Let n = -7.8 + -43.3. Let h = n + 49. Let g = -2 - h. Are 9 and g equal?
False
Let f be (2/(-4))/(2/4). Let o = 1 + f. Which is bigger: o or -2/3?
o
Let x = -5160/13 + 387286/975. Let j = -1/25 - x. Suppose -2 = 2*v - 0. Which is smaller: j or v?
v
Let w = 129 + -115. Is w at least 12?
True
Let i = -525/8 - -265/4. Is 0 < i?
True
Suppose i + 3*i = 12. Suppose 3*v - j + 36 = 13, 3*v - i*j + 33 = 0. Which is smaller: -7 or v?
-7
Let u = 16 + -18. Which is greater: u or 4?
4
Let q(l) = -l**2 - 8*l - 5. Let m be q(-8). Suppose -28 = -2*y + 4*i, 0 = 5*y - 0*y - 5*i - 50. Let a be y/(-15) + 8/m. Is -2 < a?
False
Let f = -4.6 + 5. Let l = 0.3 - f. Let u = -2/5 + 9/35. Is u greater than l?
False
Let u = 3 - 1. Let f = u + -2.1. Which is smaller: 1 or f?
f
Let f be (-1)/(1*(-1)/6). Let m be (-29 + -4 - 4) + 1. Let h be (f/m)/((-6)/8). Which is greater: -1 or h?
h
Let a be -2 + (3 - -2) + -2. Let c be a/((0 + -1)*1). Let m be -1 + 0 + 0/(-1). Is c > m?
False
Let q(h) = h**3 + 6*h**2 + 3. Let b be q(-6). Let j be b - (48/14 - 0). Which is bigger: -1 or j?
j
Suppose -5*b = 5*j - 90, 3*b = 4*j - 2*j + 64. Which is smaller: 21 or b?
b
Let q = 0.43 + 6.77. Let f = -12 - -5. Let y = q + f. Is -3/4 smaller than y?
True
Suppose 0 = 4*o + 2*b - 2, 0*o = o - 5*b - 6. Let y(c) = 8*c**2 + c. Let v be y(1). Suppose v = 5*f - o, 4*a - 6 = 5*f. Is a at most as big as 3?
False
Let i(b) = 2*b - 3*b - 2*b**2 + b. Let o be i(-2). Which is bigger: o or -1/4?
-1/4
Let d = 1163/1912 - -4/239. Is d bigger than 2?
False
Let l be 3/4 - 94/144. Let a = l + 1/8. Is 0 equal to a?
False
Let x(b) = b**3 + 4*b**2 + b - 3. Let s be x(-3). Suppose 0 = -m + 2*v - 4, -s*v = v. Is m equal to -5?
False
Let a = -7.1 - -7. Let h = 0.02 - 1.92. Let t = 0.1 - h. Which is greater: a or t?
t
Let q(z) = z**2 - 18*z + 58. Let f be q(13). Let d be 6/(-4)*(-8)/(-2). Is f smaller than d?
True
Let f = 6632/17 + -390. Let x(v) = -v**2 + 8*v - 6. Let o be x(7). Which is bigger: f or o?
o
Suppose -6 = -v + 2. Do 6 and v have different values?
True
Let v be ((-2)/(-2) - 3) + 0. Let w be v/(-13) + 21/(-52). Is w smaller than 1?
True
Let q = -21 + 13. Let u be (-13)/(-6) - q/(-48). Let p be u/6 - 1/2. Which is greater: -1 or p?
p
Let y(q) = q**2 - q - 1. L