 Is -1 <= z?
True
Let m(b) = -b**2 - b - 1. Let f be m(2). Let q(t) = t + 8. Let s be q(f). Let p be -2 - (1 + s - 3). Which is smaller: -1/3 or p?
p
Let p be -2 + 3306/(-10) + -3. Let d = p + 334. Is d at least -3?
True
Let j = -0.03 - -0.33. Let d = 11.1 + -12. Let v = d + 1. Which is smaller: v or j?
v
Let j = -3 + 1. Let v = j + 1. Is v at least -1/3?
False
Let r(q) = q**2 + 8*q + 9. Let l = -17 + 11. Let f be r(l). Suppose -k = j + 2, k + 7 = -3*j - k. Is j not equal to f?
False
Let k(d) = d**3 - 17*d**2 + d - 18. Let p be k(17). Which is smaller: p or 1/41?
p
Let f = -1209 - -4859/4. Is f at most 7?
True
Let d(p) = p**2 - 4*p + 2. Let x be d(4). Let o be 2/(-5)*3/x. Which is bigger: 0 or o?
0
Let g be (-4)/(-20)*(-15)/(-9). Let s be (-28)/(-36) + 2/9. Suppose r + s = -0. Is r > g?
False
Suppose -9 = -2*d + 3*z, 7 = 3*d + d + 5*z. Is 0.07 greater than or equal to d?
False
Let h be 4/22 - 36/(-44). Let z be h/(-2) - (-2)/(-4). Suppose 2*w + 3*w = 0. Which is smaller: z or w?
z
Let u(x) = x**3 + 4*x**2 - 3. Let l be u(-3). Let g = 1 + l. Let m be (1 - g/3)*-3. Which is smaller: m or 3?
3
Let v be (-489)/15 + 2/1. Let x = 31 + v. Which is greater: x or 1?
1
Let f = 39.2 + -43. Let z = f + 1.8. Do z and -3 have different values?
True
Let u be 15/81*(-1 - -7). Which is greater: 1 or u?
u
Let g be (-6)/(-28) - (-14)/49. Let m = 0.6 - -2.4. Let u = 2.9 - m. Which is bigger: g or u?
g
Let u(y) be the first derivative of y**2/2 + 6*y - 2. Let z be u(-6). Which is smaller: z or -2/7?
-2/7
Let n = 7/2 - 23/6. Let o = 0.01 - 0.01. Which is smaller: o or n?
n
Let t = -6/31 + 197/217. Which is bigger: 1 or t?
1
Suppose -6*c + 9*c - 60 = 0. Which is greater: 18 or c?
c
Let q = -1213/7 + 173. Let i = 7 - 9. Let u be (1 + -1)/(i - 0). Is q equal to u?
False
Let k be (-2)/(-4) + 18/4. Suppose -4*t = -2*b - k - 17, 15 = 3*t - b. Suppose s = t*s. Is 2/5 bigger than s?
True
Let b be ((-339)/(-234))/(3/2). Let n = 14/13 - b. Does 1 = n?
False
Let f be (-9)/5*(-2)/15. Let b = -49/100 + f. Let t be (-14)/77 + (-39)/(-33). Which is smaller: t or b?
b
Suppose -3*q - q - 4 = 0. Let v = 104 + -2806/27. Is v less than or equal to q?
False
Let c = 0.58 - 0.5. Let z = c - 3.08. Suppose -3*u + 5*j + 7 = 0, 0 = -5*u - 3*j + 2*j - 7. Which is smaller: u or z?
z
Let d(z) = z**2 - 5*z + 3. Let q be d(4). Let h be q/4 - 21/(-52). Is 1/3 less than h?
False
Let z(i) = i**2 - 2. Let p be z(2). Let b be 7*(1 - -1)/p. Suppose -2*k = -3*h + 3, -h = h - 3*k - b. Which is smaller: -2/17 or h?
h
Let s(n) = 12*n - 3. Let k be s(2). Let u be ((-6)/k)/(2/109). Let y = u + 15. Is -1 bigger than y?
False
Let o = 62 - 309/5. Is 1 >= o?
True
Suppose u = 3*u - 4*t + 16, 0 = 5*u + 4*t - 30. Let k be 1 + 1*(-3 + 2). Let r be k/((u - 2) + 2). Are r and 0 non-equal?
False
Let h(s) = -19*s + 38. Let k be h(4). Is -77/2 at least k?
False
Suppose -5*k = -5*f + 205 - 695, 0 = k + 4*f - 108. Is 100 greater than k?
False
Suppose 2*w + w = 0. Let p = -9 - -6. Let u be 3/(-9)*1*p. Which is smaller: w or u?
w
Let c = -883/85878 - 5/734. Let v = 97/1170 - c. Is v smaller than 0?
False
Let g = -4.12 - -0.12. Which is bigger: 1 or g?
1
Suppose 0 = 5*x - 0*x - 395. Suppose 25 - x = -3*k. Suppose -2*f = -0*f + 2*a - 12, 4*a = -f + k. Is f less than or equal to 1?
False
Let l be 4/(-5) - (-1)/(-30). Let d be 0*2*(-2)/4. Which is greater: d or l?
d
Let c = 0.88 + -0.9. Let t = c + -2.98. Which is smaller: t or 4?
t
Suppose -4 = -4*n + 8. Suppose -n*z - 12 = z. Let y(x) = 4*x + 66. Let i be y(-17). Which is smaller: i or z?
z
Suppose 16 = -5*c - 4. Suppose -2*l + 7 = x + 2, -5*x + 5 = 5*l. Is c greater than or equal to x?
False
Let s(i) = -i - 11. Let d be s(-10). Let k be ((-7)/84)/(-2 - -1). Which is smaller: k or d?
d
Let g = -675/8 + 84. Let a = -8 + 11. Suppose -a*i - 6 = -3. Is g at most as big as i?
False
Suppose 1 + 1 = -2*t. Let w be 0 - t - (-1)/1. Is 2/3 less than w?
True
Suppose i - 5*i = 32. Let v(g) = -g**3 - 7*g**2 + 8*g + 2. Let q be v(i). Let o be q/(-3)*6/4. Is -2 equal to o?
False
Let f(j) = 3*j**3 - 9*j**2 + 2*j + 6. Let k(r) = -2*r**3 + 8*r**2 - r - 5. Let u(a) = -3*f(a) - 4*k(a). Let m be u(-4). Is -6 bigger than m?
False
Let t be ((-1)/20)/((-308)/(-35)*-1). Which is bigger: t or -1?
t
Let k be (-3)/1 + (-174)/(-6). Which is bigger: k or 25?
k
Let r = -0.1 - -0.06. Let t = r + -2.96. Let d be (5/5)/(5*(-1)/(-10)). Which is bigger: d or t?
d
Let n = -119/3 - -39. Is 0.27 at least as big as n?
True
Suppose 3*f - 4 = 5*f - 3*k, -4*f - 5*k = -14. Let q be (f - 2) + 14/18. Let o be ((-1)/(-3))/(1/3). Are o and q non-equal?
True
Let d be 1/1 + (-108)/10. Let f = 11 + d. Suppose 4*b = -7*o + 4*o - 2, 2*b + 5*o + 8 = 0. Is f > b?
True
Let h be (54/45)/((-3)/(-10)). Suppose 2*k - 2*r = r + 36, r = -h. Is k equal to 11?
False
Let v = -183/2 - -94. Which is greater: v or 4?
4
Let h be -3*((-16)/4)/(-48). Let l = 3/4 + h. Is 0 at least as big as l?
False
Let f(r) = 4*r**2 - 2*r**3 - 2 + r**3 + r - 3*r. Let m be f(2). Is m < 3/4?
False
Let b = 18 + -17.94. Is 0.1 smaller than b?
False
Let a = 2243466476224/2695 - 832455103. Let k = -10/539 + a. Let o = k - -127/15. Is o != -1?
True
Let x be (-3 - (1 + -1))*(-20)/(-30). Let k = 5.3 - 5. Which is smaller: x or k?
x
Suppose 0 - 12 = -2*w + 4*x, 0 = -w + x + 2. Let k(g) = 5*g. Let j be k(w). Do -1 and j have different values?
True
Let i(h) = -h. Let f be i(-1). Let u be (6105/484)/15 - (-3)/12. Are f and u nonequal?
True
Let g = -1113/968 - -3/121. Which is bigger: g or -1?
-1
Let o = 1.7 - -0.3. Let w = o + -6. Let u = 4 + w. Which is smaller: u or 2?
u
Let h be (0 + 2)*9/(-18). Let k = -7 + 92/13. Which is smaller: k or h?
h
Suppose 0 = -5*b - 12 - 3. Is b != -15/8?
True
Let d = 0.9 - 0.6. Let k be ((-6)/12)/((-1)/(-4)). Is d less than or equal to k?
False
Let h(k) = 10*k**3 - 2*k**2 - k - 2. Let d be h(2). Let f be 6/(-33) - d/(-11). Suppose -f = 2*n - 2*g, -g - 3 = -3*n - 4. Which is greater: -1/3 or n?
n
Let r = 63/5 - 13. Is 1/32 greater than or equal to r?
True
Let z(x) = 3*x - 6. Let q be z(3). Is 7 less than q?
False
Let v be (-21)/15 + 12/(-20). Let y be v - (-2 - 6/21). Does y = 1?
False
Let l be (-9)/8 + (-2)/2. Which is bigger: -2 or l?
-2
Suppose -4*d - 96 + 8 = 4*t, 0 = -d + t - 14. Is -21 at least d?
False
Suppose 3*a = 4*f + 6 + 7, 3*f = 5*a - 18. Do f and -2/129 have different values?
True
Let p = 110.06 + -113. Let d = p + -0.06. Is 1 smaller than d?
False
Let d be 2/(-50)*-15*2/(-4). Is -1 less than or equal to d?
True
Suppose 101*c - 24 = 97*c. Let l = 12 + -7. Which is bigger: c or l?
c
Let x(v) = -v**3 + 6*v**2 + 7*v + 1. Let w be x(7). Which is smaller: w or -2/137?
-2/137
Let k be (-2)/7 - 25/(-14). Let r(w) = w**3 - 3*w**2 - 2*w - 3. Let v be r(4). Suppose v*j - 5 = -0. Is k > j?
True
Let l(f) = f - 2. Let q be l(3). Let v = 123 - 987/8. Which is bigger: v or q?
q
Let d = -1/68 + -65/204. Let z be -1*(10/(-6) - -1). Is d <= z?
True
Let y be (-1 - 0/(-1))*-10. Suppose -3*a + y - 4 = -3*p, 2*p = 4*a. Is -2/3 bigger than a?
True
Let q(j) = j**2 - 2*j + 3. Let u be q(3). Suppose -4*s + 2*a + u = -0*a, 3*s - 5*a = 22. Are -1 and s nonequal?
False
Let h = 4 + 6. Is 8 greater than or equal to h?
False
Let l be (-1011)/3570 - (-2)/(-10). Let v = l + -2/119. Let p(u) = -u**3 + 4*u**2 - 3*u. Let m be p(3). Is m not equal to v?
True
Let o(p) = -p**3 + 10*p**2 - p + 10. Let m be o(10). Let y be 2/9 - 60/27. Let l be 1/(-2 - y/2). Is l smaller than m?
True
Let q = -8/57 - -28/19. Let s(o) be the second derivative of -o**5/20 - o**4/3 + 2*o**3/3 - 3*o**2/2 - 2*o. Let k be s(-5). Is q at least as big as k?
False
Suppose -c + 19 = -4*j - j, -3*j - 12 = 0. Is c less than 2/15?
True
Let w = -6 + 13. Let l be (1/w)/((-3)/(-2)). Do l and -1 have the same value?
False
Let k(g) = 2*g - 49. Let q be k(21). Is q less than -5?
True
Let p(o) = o**3 + 7*o**2 - 8*o + 5. Let l be p(-8). Suppose 0 = -5*f - 2*t - 18, -l*f + t - 5*t = 26. Is -1/2 not equal to f?
True
Let y(a) = -28*a**3 - a**2 + 2*a - 1. Let v be y(1). Is v < -28?
False
Let q(b) = -b**3 + 6*b**2 + 8*b - 5. Let v be q(6). Let k be (-16)/24 + v/(-3). Let x be (-10)/k - (-2)/24. Is x <= -1?
False
Suppose -7*g - 4 = -3*g. Which is smaller: -2/7 or g?
g
Let m = 5 - 6. Let f = 0.98 + m. Let g = -