+ 1 + 0*c**3. Let l be z(-1). Are s and l unequal?
True
Let u(q) = q + 1. Let r be u(10). Let a = 10 - r. Let i = 5077/25 + -203. Is i less than a?
False
Suppose 3*g = s - 1, -5*s = -0*g - 5*g - 5. Which is smaller: 3/7 or s?
3/7
Let u(d) = -d + 2. Let h be u(5). Is h <= -1?
True
Let w = -31 + 19. Is w greater than -12?
False
Let a be (-5)/12 + 4/6. Which is bigger: a or -3?
a
Suppose 4*v = 4, -d = v + 1 - 0. Is -3 greater than or equal to d?
False
Let y(b) = 2*b - 3. Let g be y(3). Let a be (-4 + g)*1 + -6. Let w = -3 - a. Does 3 = w?
False
Suppose 12*a = 2*a - 80. Is a < -10?
False
Let j = 130/33 + -4. Which is smaller: 1 or j?
j
Suppose -g + r + 22 = 0, -4*g - 46 = 4*r - 142. Suppose -5*k + g = -3*c, -k = -3*k - 5*c + 3. Let z be 4 - k - (-1 + 2). Is z greater than -6/7?
False
Suppose 5*i = 3*w + 2*i + 9, 5*w - 4*i = -12. Which is smaller: w or -5?
-5
Let t = 12 + -17. Let i be t*(114/110 - 1). Which is bigger: i or 1?
1
Let m(h) = -4 - 2*h + 4 - 1. Let y be m(-3). Is y greater than or equal to 3?
True
Let a be (-40)/99 - (94/(-18) - -5). Is 1 equal to a?
False
Let b(p) = p**2 + 6*p + 5. Let w be b(-4). Let q(y) = y**3 + 8*y**2 + 14*y - 3. Let h be q(-5). Is w equal to h?
False
Let t(d) = -d**2 + d. Let z be t(1). Which is bigger: 0.1 or z?
0.1
Let c(f) be the third derivative of -f**6/120 + f**5/15 + 5*f**4/24 + f**3/6 - 3*f**2. Let j be c(5). Which is greater: j or 0?
j
Let i(g) = g**3 + 6*g**2 + 3*g - 5. Let z be i(-4). Let o be ((-9)/z)/(2/(-10)). Suppose -o*k = -6*k. Is 0 equal to k?
True
Let o(b) = b**2 - 6*b + 6. Let u be o(4). Are u and 0 equal?
False
Let l = 17/42 - -2/21. Which is smaller: l or -3?
-3
Let j be 1*62/(-108) + (-7)/(-14). Is -1 >= j?
False
Let u = -6 - -11. Suppose y + u*f + 11 = 2, f = -y - 5. Is y less than -6?
False
Let z = 7.1 - 7. Let v = 6 - 2. Let o = v - 4.4. Are z and o equal?
False
Let n = -1.1 - -1.1. Does n = -4?
False
Let f be 2/7 + (-65)/7. Let i be (-3)/f + (-7)/12. Does 3 = i?
False
Let r(o) = o**2 - 1 + 2 + o - 3 - 7*o. Let a be r(6). Is 1 > a?
True
Suppose -38 + 13 = 5*x, 23 = 2*d - x. Let r be 16/d + (-2)/(-9). Let a be 0/r + (-1 - 0). Which is greater: a or -1/2?
-1/2
Let l = -162267/5 + 32335. Let y = -118 - l. Which is bigger: y or 0.3?
y
Let v = -37 - -51. Is 2 > v?
False
Let f(s) = -s**3 + 7*s**2 - 4*s + 3. Let w be f(6). Let g = -14 + w. Is g smaller than 1?
False
Suppose -5*r - 6*r = 11. Is r less than -1/72?
True
Let v be 0 - (-2)/(4/6). Suppose -3*p = -k - 13, v*k - 2*k = -p - 9. Let r be (-1)/k*(-5)/(-2). Which is bigger: -1 or r?
r
Suppose -3*x = 0, 4*x + 3 = -2*k + 5. Let f = -8 + 11. Suppose -f*z - 10 = -8*z. Is k at least z?
False
Let u = -6 - -3. Let y = 1 - u. Let p(l) = l**2 - l + 1. Let o be p(1). Which is bigger: y or o?
y
Let t = -11.5 - -9. Is t equal to 0.1?
False
Let x(d) = -d**3 + 6*d**2 + 16*d. Let q be x(8). Is -11/8 at most q?
True
Let j be -2*1204/808 + 3. Are 0 and j unequal?
True
Let i(x) = -x - 11. Let v be i(-8). Which is bigger: 0 or v?
0
Let j = -0.19 - -0.29. Which is smaller: j or -2/5?
-2/5
Suppose 4*l = 2*l + 30. Suppose 4*t = l + 1. Let x be (-20)/(-112) - (-1)/t. Are 1 and x non-equal?
True
Let j = -0.49 + 0.34. Which is smaller: j or -2/3?
-2/3
Let q = 23 - 23. Which is greater: q or 3/16?
3/16
Let i be (14/(-21))/((-1)/9). Which is smaller: 8 or i?
i
Let x(w) = w. Let h be x(4). Suppose 0 = -h*f - 4*y, -2*y + 6 - 16 = 0. Suppose -f*q + 0*q = 3*k - 2, -4*k = -3*q + 7. Which is smaller: -1/4 or k?
k
Suppose -2*m + 6 = -2*d, 4*d = -4*m + 2 - 6. Let s be ((-21)/6)/7*m. Let i = 0.1 + 0. Which is smaller: s or i?
s
Let w(l) = l + 1. Let j be w(-9). Is j greater than or equal to -9?
True
Let y be (-60)/27 + (-2)/(-9) + -5. Is -11 smaller than y?
True
Suppose v = 2*v - 592. Suppose z - 5*z = v. Let w = 440/3 + z. Is w > -2?
True
Let f(h) = h + 3. Let a(r) be the second derivative of -2*r**3/3 - 6*r**2 + r. Let o(p) = 6*a(p) + 22*f(p). Let j be o(-4). Is 2 at least as big as j?
True
Suppose -h - 2*h = 0. Let a(l) = l**2 + l - 1. Let f be a(h). Let q be (-36)/24*2/(-3). Which is smaller: q or f?
f
Let g be (-1 - (-4 - -1)) + -2. Let z be g*(-2 + 3)/2. Which is smaller: z or -2/9?
-2/9
Let f = -55 + 50. Which is bigger: -1 or f?
-1
Let r(v) = v**2 - 3*v + 2. Let m be r(3). Suppose 0 = -0*c + 2*c. Suppose 2*t + 4*i = i - 8, -2*t - i = c. Is t < m?
False
Let v(a) = a + 4*a**3 - 5*a**3 - 6 + 0*a + 6*a**2. Let g be v(6). Let f be (-4 - -4)/((-2)/(-2)). Is f less than g?
False
Let z = -0.5 - -0.4. Let o = -1 - -1. Let h = o - z. Which is greater: -3 or h?
h
Suppose 2*p + 3 = 5. Suppose 3*c - m = -0*c - 4, 0 = -2*m + 8. Which is greater: c or p?
p
Let f(p) = -p**2 + 5*p - 6. Let v be f(7). Let b be ((-4)/5)/(8/v). Is 0 < b?
True
Let c be -1 - -1 - (-4 + 5). Let f be 3 + c - (0 + 1). Let g = 46/3 - 15. Which is greater: f or g?
f
Let d(n) = -n**3 + 10*n**2 - 8*n - 6. Let i be d(9). Let m = i - 4. Let b be m/4 + 11/(-20). Is b at most -1?
False
Let r(c) = -c + 3. Let v be r(3). Let z be 753/(-27) + 6/27. Let a = z + 28. Which is smaller: v or a?
v
Suppose -3*f - g = 4, -3*f - g - 12 = 2*g. Is f at least as big as -1?
True
Let u = 1 + -2. Let a be 4/50*(-10)/8. Which is smaller: a or u?
u
Let l be (-18)/(-8) + (-5)/20. Which is smaller: 0 or l?
0
Let q(o) = -o**3 - 3*o**2 + 5*o - 2. Let v be q(-4). Let n be (0 + 2)/(4/(-14)). Which is smaller: n or v?
n
Let q = 23/3 - 256/33. Do 0 and q have the same value?
False
Let m(p) = -p**2 - 3*p + 4. Let q = -2 - 1. Let b be m(q). Let a = -2 + b. Which is greater: a or 0?
a
Let u(t) = t + 7. Let g be u(-5). Suppose 0 = 4*k - 4*x + 24, 3*k + x + g = -4*x. Let s be (0 - (11 + -4)) + 2. Which is smaller: k or s?
s
Suppose -2*t + 19 = 1. Let u(f) = -2*f + 2. Let a be u(-3). Which is bigger: a or t?
t
Let i = -6 + 5. Which is bigger: i or -2/19?
-2/19
Let g = 1 + 0. Let b = 840 - 839. Does b = g?
True
Suppose n + 0*n = 2. Suppose 0*x = x - 4*m + 15, m = n*x + 2. Suppose 0 = -4*c + 4*t + 24, -3*c - x = -2*t - 15. Which is greater: c or 1?
c
Let b(c) = -c. Let n be b(5). Let i be n/10*(-1)/(-2). Which is bigger: i or -2?
i
Let b(u) = -u**3 + 4*u**2 + 5*u + 3. Let o be b(5). Suppose -x + o = -4*x. Which is smaller: x or 1/7?
x
Let z = 10417/28 + -372. Which is bigger: z or 0?
z
Suppose k = -3*f + 29, 3*k - 2*f - 34 = -2. Which is bigger: k or -0.1?
k
Let p be (-316)/28 + (-6)/(-21). Is p > -1/4?
False
Let g = -13 - -7. Suppose 20 = 4*b, -3*y = 2*b + b - 78. Let t be 0 - (g/y - 0). Which is smaller: t or -1?
-1
Suppose 15 = 4*m - 9*m - c, 0 = m + 4*c - 16. Suppose 0 = 2*r + 3 + 1. Which is bigger: m or r?
r
Let q = -1535.21 - -1547. Let k = 12 - q. Let b = 0.01 - k. Which is greater: -1 or b?
b
Suppose 0 = -p - 4*g - 1, -2 = 5*p + g + 3. Let b be 6/(-20) - (-24)/(-120). Which is greater: b or p?
b
Let w = -0.52 + 0.56. Is w greater than or equal to 0.4?
False
Suppose 3*v + 5 = -4. Let l be (6/(-4))/(v/(-18)). Let o = l + 5. Is -4 equal to o?
True
Let c = -11 - -14. Let l be (-1 + c + -6)*1. Is l at least -4?
True
Let v = -12.3 + 1.3. Let x = 13 + v. Which is greater: -1 or x?
x
Suppose 3*m + 32 = 5*g + 7, -4*m + 52 = 4*g. Suppose -k = k + g. Does k = -4?
True
Let p = -0.5 - -0.44. Let a be (-33)/(-12) - (9 + -6). Is a smaller than p?
True
Let c be ((-6)/(-9) + -2)*15/(-13). Is 2 greater than c?
True
Let i(j) = 2*j**3 + 7*j**2 + 2. Let u be i(-5). Is -73 >= u?
True
Let m = -0.55 - -0.38. Let o = m - -0.37. Is -0.07 at least as big as o?
False
Let n = 291/406 - 11/14. Which is smaller: 1 or n?
n
Let c be (4 + (1 - -5))*2. Suppose 2*n = 28 + 12. Is c at most as big as n?
True
Let w(t) = -2*t**2 + 3*t - 2. Let a be w(2). Let x = a + 7. Let m = 68/3 - 23. Which is smaller: m or x?
m
Let q = -5 + 4. Are q and -1/9 unequal?
True
Let k = 1782/7 + -255. Which is smaller: k or 2/7?
k
Let i = 22 + -156/7. Let q = 178 + -723/4. Does i = q?
False
Suppose -93 = -3*z + c + 73, 2*z = c + 110. Let h = 391/7 - z. Is 0 != h?
True
Let h = -1 - -3. Suppose f = 1 - h. Which is smaller: f or 1?
f
Suppose -2*v = -25 + 65. Let m = v - -8. Is m smaller than -11?
True
Suppose -3 = 3*d - 0. Which is bigger: d or -0.7?
-0.7
Let g = 5 + -9. Let u = -3 - g. Let k = u + -2. Is k smaller than 1?
True
Let y be 122/14 - (-8)/28. Is y smaller than 8?
False
Let a(x) = x**3 + 5