-2*j**3 - j**2 + j. Let r be p(1). Suppose 0 = -0*z - 5*z + 20. Is r greater than or equal to z?
False
Suppose -a = 4*k - 5 - 0, -4*k - 15 = -3*a. Let h be 285/45 + 4/(-3) + 0. Suppose a*q = -3*m - 1, -h*m + m + q - 32 = 0. Is m < -9?
False
Let j = -445 + 496. Is 0.2 greater than j?
False
Let q be (-56)/(-42) - 8/6. Let u = -5 + 7. Suppose u*y - 3 = 13. Which is greater: y or q?
y
Let j be ((-247)/(-65))/((-3)/21) + -2. Which is smaller: j or -1?
j
Let y = -29 + 29. Let r = -3 - y. Which is smaller: r or -2/3?
r
Let p = -5.1 + 4. Let i = 0.1 + p. Which is smaller: i or 16?
i
Suppose -2*w - 2*p = -10 + 2, 0 = 5*w - 3*p - 36. Suppose w*n = n + 25. Suppose -x + 27 = 5*b, 0*x = -n*x - 3*b + 25. Is 5/3 smaller than x?
True
Let t = 117 - 121. Let j be t/((-84)/(-7)) - (-10)/(-6). Is j >= 2?
False
Let r = 18 + -13. Suppose 0 = s + 4*c + 16, 3*c - r = -5*s - 0. Suppose -2 = -2*m - 2*t, 0 = s*m - 3*t - 4 - 0. Which is bigger: m or -1?
m
Let f = 3 - 5. Suppose -2*z = 5*c - 30, 2*c + 14 - 2 = 4*z. Suppose -5*y + c*b = 26, 8*y + 2*b = 4*y. Is f at most as big as y?
True
Suppose -88 - 74 = 27*f. Is -52/11 smaller than f?
False
Suppose 2*i = 4*i - 6. Suppose 3 = i*f - 3. Let l be f/5*10/18. Is l at most 2?
True
Let g = 6 - -10. Let d = 15 - g. Let c = 0.1 - 1.1. Is d at least c?
True
Suppose -2*p - 5*n + 110 = 3*p, -2*p = 3*n - 43. Let r = 22 - -8. Let g = r - p. Which is smaller: 8 or g?
g
Let n = 2.7 - 4.8. Let o = -1.1 - n. Which is bigger: o or -35/6?
o
Let n(s) = s**3 - 8*s**2 - 6*s - 6. Let r(j) = 7*j - 12. Let o be r(3). Let l be n(o). Which is smaller: l or 19?
19
Let b = 194/3 - 64. Which is bigger: -1/22 or b?
b
Suppose -15 = 4*r - 6*r + 5*z, -12 = -3*r + 4*z. Is r greater than 13/21?
False
Suppose 821*w - 815*w + 6 = 0. Which is smaller: w or 4/31?
w
Suppose -2 = r + i + 131, -3*i = -r - 141. Which is smaller: -133 or r?
r
Let l = -0.23 - 15.77. Let z = 724.98 + -741. Let m = z - l. Is m > -0.1?
True
Let p = 120 + -122. Suppose 0 = 3*d - 2*u - 14, -5*d + u + 6 + 8 = 0. Which is smaller: d or p?
p
Suppose 0 = -8*k + 10*k - 16. Let t be 1 + 1 + (-19)/k. Let n(f) = -5*f + 40. Let z be n(8). Which is bigger: z or t?
z
Let f(x) = x**3 + x**2 - 9*x - 5. Let o(j) = -j**2 - 5*j + 3. Let s be o(-6). Let r be f(s). Is 6 <= r?
False
Let z = -5.96 - -5.89. Let q = -2 - -1. Is z greater than q?
True
Let p(s) = s**2 - s + 9. Let x be p(0). Suppose 5*m - 32 = 2*c, 5*c - 60 = 4*m - x*m. Let f be (5 - m) + (-2 - -4). Does f = -1?
True
Let o be -13 - (-1 + (-1 - 2)). Let l(n) = -n**2 - 12*n - 4. Let q be l(o). Let b be (23/3)/((-3)/(-9)). Is q != b?
False
Let t = 39 + -42. Let o(w) = -w**3 - 2*w**2 + w - 5. Let a be o(t). Are -2/11 and a nonequal?
True
Let n be 4/6 + 156/36. Suppose 2*f - 1 = -u - 2*f, -u - n*f = 1. Suppose -u*r = -0*r + 54. Which is smaller: r or -7?
-7
Let n = 2303 + -2362. Which is smaller: n or -1/4?
n
Suppose 0*r = 4*r - 8. Let c = 3379/1410 - -1/282. Is c greater than r?
True
Let m(h) = h**3 - 76*h**2 + 353*h + 16. Let p be m(71). Are -126 and p nonequal?
False
Let l = 14 - 12. Suppose -5*t + 5*q = l*q + 19, 4*t + 12 = 4*q. Do t and -8 have the same value?
False
Let f = -15 - -14. Let i be (-6)/(f + (-21)/(-12)). Let j be 2/2 + i/24. Is 2 at least as big as j?
True
Suppose -4*w + 40 = -4*d, 4*w + 3*d - 45 = 2*w. Let l be w*(-2 + 0)/(-6). Suppose 8*k = 7*k + 4. Is k at most l?
True
Suppose -4*q = -0*q - 6800. Let x be ((-6)/q)/((-27)/(-36)). Is 0 at least x?
True
Let x be (-9)/(-3) - (-2 - 0). Suppose -4*c - 20 = 0, -x*u - 10 + 0 = c. Let z be -2*u/(-2)*0. Which is greater: 6 or z?
6
Let x = -1613 - -4796/3. Let u(g) = -2*g**2 - 73*g - 185. Let y be u(-34). Which is bigger: x or y?
x
Let m = -6126 + 110213/18. Let t = 780898735/239093226 - 2/699103. Let o = m + t. Is o at most as big as 0?
False
Suppose -5*c + 23 = 13. Suppose c*w = w. Suppose w = -2*m + 5*g - 2, 3*m = -5*g - 3. Which is smaller: m or -2/41?
m
Let y = -207 + -396. Which is smaller: -605 or y?
-605
Let v be 5*-1*(2 + -3). Suppose -v*b = -b - 4. Is -3/28 less than b?
True
Let l = 70.1 - 70. Which is bigger: -39/8 or l?
l
Let m = 169 - 52. Suppose 3*n + 5*r = -m, -n = -6*r + 2*r + 39. Let g be n/(-65) - 52/70. Is 0 at most g?
False
Let r = -2010/3493 + 2/499. Let w(a) = a**3 + 3*a**2 + a - 1. Let f(l) = 2*l**3 + 5*l**2 + 3*l - 1. Let y(b) = 2*f(b) - 5*w(b). Let h be y(-5). Does h = r?
False
Let d = -90.3 - -102.3. Do -32/5 and d have different values?
True
Let o = -574 + 509. Is o less than -1/3?
True
Let z = 86 - 428/5. Let t(v) = -v**3 + 10*v**2 - 16*v - 1. Let y be t(8). Are y and z non-equal?
True
Let q = -85.1 + 105. Let b = 20.56 - 0.56. Let i = q - b. Which is smaller: -1 or i?
-1
Let i = 43 + 33. Let c = 75 - i. Are c and -1 nonequal?
False
Let p be ((-6)/(-2) - -1) + -6. Let i be 1/((-4)/20) - p. Is i at most -14/9?
True
Let m be 15/12 + -1 + (-15)/(-100). Which is greater: m or 1?
1
Let j = -8.36 + 24.75. Let m = j + -0.39. Let l = -16.08 + m. Is l at least as big as -0.1?
True
Let f = -61 + 98. Suppose -f = 2*t - 69. Do t and 16 have the same value?
True
Let w = -79 + -13. Are -93 and w equal?
False
Let f = -74 - -135. Let v = f - 59. Does v = 0.07?
False
Let v(b) = -36*b + 119. Let p be v(8). Does -169 = p?
True
Suppose -4*y = h - 0*y - 103, -y - 599 = -5*h. Let v be 4/14 - 62/h. Is v bigger than -1?
True
Let s be (2/6)/(356/267). Let n be ((-1)/(-3))/((-1)/(-15)). Suppose -n*v = -6 - 9, 2*v - 7 = w. Which is greater: w or s?
s
Suppose -t + 6 = -3*n, -6 = -n - 2*t - 15. Let j be (n/(-3))/(2 - 1). Let u = 6.09 + -3.09. Which is bigger: j or u?
u
Let i be (-12)/14 - (-4)/6. Let b = -12 - -11. Let h be 0/(b - (-3 + 1)). Is i != h?
True
Let a = 45.3 - 1.3. Let h = -44 + a. Is h not equal to 2/5?
True
Let a(q) = 2*q + 2. Let n = -2 - -6. Let l be a(n). Let r be 6/l*(-45)/(-18). Is 3 less than or equal to r?
False
Let h be (-10)/(-4)*(-6)/(-15). Let a = -7 - -37. Let r be 14/a + 4/(-6). Which is greater: r or h?
h
Let n(k) be the second derivative of k**5/20 - k**4/6 + k**3/6 + k**2/2 + 2*k. Let v = 5 + -3. Let b be n(v). Is 1 smaller than b?
True
Let c(x) = x**3 + 9*x**2 - 8. Let o be c(-9). Let a = -0.139 + 0.339. Is a smaller than o?
False
Let y(a) = -a**3 + a + 5. Let p be y(0). Suppose 1 - 16 = -p*q - 5*m, m + 12 = 4*q. Are q and 3 unequal?
False
Let b = -491/2 + 16448/67. Which is smaller: b or -1?
-1
Let f = 1.03 + 39.97. Let z = f + -20. Does 0 = z?
False
Let q = 20/77 - -2/77. Let h = -71/120 + -3/40. Is h >= q?
False
Suppose -14*r + 207 = -17. Let f = 3 - 1. Suppose f*v + r = 4. Is v at least -2/13?
False
Let r = 2.6 + -1.6. Let l = r + -25. Is l not equal to 0?
True
Let f be 9/(-3 - (-7 - -3)). Suppose -7 + f = -l. Is l > -2?
False
Let c = 0.1 - 4.1. Let n = -1.38 - 0.22. Let h = n + 1.7. Which is smaller: c or h?
c
Let w be (-3)/(-9)*30/(-5). Let q be -1*(3 + (-5 - w)). Is q > 1/4?
False
Let x = 1688 + -1709. Let z = -488/5 - -98. Which is bigger: x or z?
z
Suppose 0 = -g - q + 11, -2*q - 12 + 4 = 0. Suppose 0 = -2*s - 10 - 32. Let v = g + s. Is v equal to -6?
True
Let r(m) = -m + 7. Let v(i) = -3*i + 21. Let q(o) = -7*r(o) + 2*v(o). Let t be 22/2 + (-4 - -4). Let w be q(t). Which is greater: 5 or w?
5
Suppose 490*p = 510*p + 440. Which is bigger: -20 or p?
-20
Let h be 275/484*20/(-50). Are h and -0.1 nonequal?
True
Suppose -3*w + 36 = -30. Suppose u - w = -1. Is u at least as big as 21?
True
Suppose -5*k + 13 = 3. Suppose 3*t - t - 6 = 0. Suppose 5*q - 1 = 3*b, -5*q - b - t = -k*b. Which is greater: -1/7 or q?
-1/7
Let d = 269 + -277. Which is greater: d or -21?
d
Let f be 1/5*(-8)/62. Let r = f - 258/2015. Let u(c) = -c**2 - 28*c. Let h be u(-28). Is h at least as big as r?
True
Suppose 0*g = -4*g - 24. Let i be 2 + 3/(9/g). Suppose -12*a + 13*a + 2 = i. Is a bigger than -1?
False
Let h(w) = -w**2 - 9*w - 13. Let b be (6/12)/((-2)/28). Let z be h(b). Let l(k) = k**3 - 4*k**2 - 5*k - 2. Let s be l(5). Which is smaller: s or z?
s
Suppose -3*a + 15 = 5*t, -a - 6*t + 12 = -2*t. Suppose 4*z - 2 = 10. Suppose a = -4*x - 3*h + 27, z*x - 22 = -4*h - 0*h. Are 8 and x nonequal?
True
Let w(y) = y**2 - 1. Let s be w(1). Suppose -4*u + s*u + 20 = 0. Suppose 3*b - 5 = -u*z, -2*b - 3*b + 2*z - 2 = 0. Which is bigger: -2 or b?
b
Let t be ((-26)/8)/((-5)/280). Suppose 2