 8 - 14. Let l be s/6*6/8. Does 0.5 = l?
False
Let b = 176 - 359/2. Which is smaller: -5 or b?
-5
Let g(n) = 90*n + 245. Let b be g(-3). Is b <= -37?
False
Let h = -0.42 + -1.58. Let p = 9 + -7. Is h greater than or equal to p?
False
Let v = 4 - 0. Suppose -2*a + v = 24. Is -9 bigger than a?
True
Let j = 255 + -252. Which is greater: j or 45?
45
Let r be (-6)/(-2 - 28/(-4)). Suppose 5*l - 8 = 22. Suppose 3*x - 3*w = -l, 0 = -x - 6*w + 2*w + 3. Which is smaller: x or r?
r
Let b be (36/8)/((-12)/(-224)). Suppose 4*c = 3*c + 57. Let w = b - c. Is 26 != w?
True
Let s(t) = t + t - t + t + 0. Let p be s(0). Is 8 >= p?
True
Let a be (48998/266)/(45/25 - 2). Let h = 921 + a. Suppose -3*w - 5 = -8*w. Which is smaller: h or w?
h
Suppose -8*m - 604 = 148. Does m = -90?
False
Let d = 1 - -4. Suppose -4*r + 6 = -3*k, -4*r - 2*k - d + 21 = 0. Let u(n) = n**3 + 2*n**2 - n + 1. Let x be u(0). Which is smaller: x or r?
x
Suppose 3*o = m + 27, 3*m - 62 = -5*o - m. Let q be (-1)/(11*5/o). Is 1 not equal to q?
True
Let i be (-2617)/6 + (236/(-24) - -10). Which is greater: -2/5 or i?
-2/5
Let s(d) = -17*d. Let c be s(1). Let l(h) = h + 6. Let z be l(c). Let m be (-9)/(-4)*(-32)/6. Which is smaller: m or z?
m
Let h be 44/16*-1*4. Let b = 28 + h. Let j = b - 15. Are 3 and j non-equal?
True
Suppose 4*h = 27 + 1. Let n be ((-3)/9)/(-1)*-73. Let y = n - -24. Is h greater than or equal to y?
True
Let m be -6 + (-6 - -7) + 2. Does 3 = m?
False
Suppose 75*s - 3*s = -648. Let x be -6*((-2)/(-3) + 0). Is x at most as big as s?
False
Let k(v) = 4*v**2 - v + 1. Let w be k(1). Let x be -2*w/8*-1. Let j(i) = -i**3 + 2*i**2 - 1. Let c be j(x). Are c and 0 nonequal?
False
Let w = -52249 + 2351359/45. Let k = w + -20/9. Which is greater: k or -1/3?
k
Let m = 4388/5 - 878. Let a = 0.036 - -4.564. Let i = -4 + a. Which is smaller: m or i?
m
Let g(r) = 6*r - 3*r**2 + 4 - r - r**3 + 0*r. Let k = -71 + 67. Let c be g(k). Which is smaller: c or 2?
c
Let k = -3.4 + 3.05. Let j = 0.15 - k. Let o = -5 - -5. Do j and o have different values?
True
Suppose -4 = -3*b - w, 1 = -5*b + 4*b + 2*w. Let g be ((-2)/8)/(9/(-36)). Are g and b equal?
True
Let t = -1/1571 - -1695/194804. Do 1 and t have the same value?
False
Let h be (-1)/(-4)*-2*-24. Suppose -4*f + 34 = -4*x + 322, -4*x - h = 0. Let z = f + 374/5. Is z > 2?
False
Suppose 0 = 4*g - 4, -z + 61 = 4*z - 4*g. Is z greater than 14?
False
Let n = -59 + 82. Let u = 0.3 + -19.3. Let d = u + n. Is 1/4 less than d?
True
Let w(d) = 2*d**3 + 5*d**2 + 4*d + 1. Let s be w(-1). Is s bigger than -7/66?
True
Let o = -4/42781 - 95444387/256686. Let c = -371 - o. Let l be ((-4)/(-6))/((-1)/(-3)). Is l at least c?
True
Suppose 13 = -i + 111. Suppose i = 3*s - 10. Which is greater: s or 35?
s
Suppose -325 = -14*i + 515. Let m = 72 - i. Is m > 13?
False
Let h be 981/84 - (75/(-20) - -4). Which is smaller: h or -1?
-1
Let r = 63 - 56. Let v(n) = -n**2 + 4*n + 10. Let l be v(r). Let p(s) = -5*s - 1. Let c be p(2). Is l >= c?
True
Let v = -17.49 - -18.4. Let u = -8 - -7.91. Let j = v - u. Which is smaller: 0.3 or j?
0.3
Let i be (3/(-10 + -14))/(-8 + 0). Is 0 at most i?
True
Suppose -2*t - 3*l - 1 = 12, 5 = 2*t - 3*l. Let k be (t + 0/1)/(-18). Let x = 9 + -9. Which is smaller: x or k?
x
Suppose -h - 3*p = -0*p - 10, 0 = 5*p. Suppose 4*l = h*l. Let x = 3 + l. Is 1 at least as big as x?
False
Suppose 3*c - 9 = -0*c. Suppose 2*s - 3 = -t, c*t + 3*s - 2*s + 6 = 0. Is -20/13 less than t?
False
Suppose -x = -4*d + 2*d + 1, 5*x = 3*d - 19. Let t(v) = 3*v + 4. Let u be t(x). Are -11 and u unequal?
False
Let r(v) = v + 1. Let h be r(3). Let z = 140 - 2379/17. Is z greater than h?
False
Let j = -5 + 4. Let l be 4/8 - j/(-2). Are 3/5 and l equal?
False
Let s(v) = -v**2 - 13*v - 11. Let u be s(-8). Let j be 10/((-13)/52 - (-14)/24). Let a = u - j. Is -1/8 not equal to a?
True
Let j = 1553 - 1605. Is -0.9 less than j?
False
Let k = 208 - 209. Which is greater: k or -6/35?
-6/35
Suppose -4*y + 8 = -0*w - 4*w, 0 = -5*w + 3*y. Let d be -1 - 4/(-4)*w. Let o be (-6)/(-27) - (-172)/36. Which is greater: o or d?
o
Suppose 3*j - s = -5*s - 5, 5*j - 1 = -2*s. Let l = 359 - 11848/33. Which is bigger: l or j?
j
Let y(a) = 5*a**2 + 2*a. Let i be y(2). Let l = 27 - i. Is l at least 5?
False
Let h be 3624/(-1188) + 2/(-9). Is h > -1/4?
False
Let l = -0.24 + -0.16. Let d = l - -1.4. Let n = 1 - d. Which is smaller: n or -9?
-9
Let t(f) = f**3 + 10*f**2 + 11*f + 18. Suppose 3*n = 2*d + 8*n + 3, -2*d + 2*n - 24 = 0. Let p be t(d). Is p less than 1/35?
True
Let j = -172.8 + 171.8. Are 358 and j equal?
False
Let n = -9.82 + -30.31. Let c = n - -40. Is -2 greater than c?
False
Suppose 5*a - 17 - 28 = 0. Let l be (3*6/(-9))/a. Let r = -6/7 + 32/21. Which is bigger: l or r?
r
Let r = 238 + -237.8. Which is bigger: r or -23/2?
r
Suppose 0 = -193*z + 208*z + 210. Are -1 and z unequal?
True
Let v = -1673 - -51857/31. Let c be 6/2*-1 - -2. Is v at most c?
False
Let a = -17 - -48. Let k = a - 30. Is k bigger than 0?
True
Let t = 2/4547 + 13633/18188. Which is smaller: 3.6 or t?
t
Let l = 0.228 - -0.772. Which is bigger: -12.5 or l?
l
Let g(s) be the second derivative of s**5/20 - s**4/2 + 5*s**3/3 - 7*s**2/2 - 37*s. Let h be g(4). Is h >= 0.023?
True
Suppose 10*x + 4*f = 11*x + 3, -15 = -5*x + 5*f. Is x greater than 7?
False
Let y(v) = -v**2 + 18*v - 101. Let n be y(12). Is n < -27?
True
Let x(t) = -t**2 + 7*t - 9. Let w be x(4). Let f = -1 - -2. Is f smaller than w?
True
Let p be -45*17*(0 - 2/(-3)). Let k = -4059/8 - p. Which is bigger: k or 2?
k
Suppose -z - 15 = 3. Let r be 4 + (14/z - 3). Suppose -3 = 5*u + 2. Which is greater: r or u?
r
Let n be (-3)/2 - (-117)/6. Let l be ((-3)/n)/(3/9). Let k = -3/5 + 7/20. Which is smaller: l or k?
l
Let j be 0 - (-9)/(27/(-12)). Let n be (-3)/(4 - 9 - j - 0). Which is smaller: 22/5 or n?
n
Let w(s) = -s**2 + 10*s + 1. Let d be w(9). Suppose -d = -f + 6*f. Let t be 3/6*5 + f. Which is greater: t or 0?
t
Suppose -3*q + 117 = 267. Which is smaller: q or -203/4?
-203/4
Let y = 7 - 10. Suppose 7*x - 35 = 2*x. Suppose -x*l - 21 = -0*l. Is l at least y?
True
Let m = -9/17 + 11/85. Which is greater: m or -181?
m
Let h = -579 - -7531/13. Let f(o) = o**3 - 12*o**2 - o + 11. Let n(k) = -11*k**3 + 2*k**2 + k. Let b be n(-1). Let d be f(b). Is h less than d?
False
Let z = 17.6 - 14.53. Let s = z + -0.07. Which is smaller: 12 or s?
s
Let u = -18 + 13. Let j = 5.2 + u. Which is bigger: j or 13?
13
Let s(r) = 3*r**2 + 7*r - 14. Let h(z) = -4*z**2 - 8*z + 13. Let g(x) = 2*h(x) + 3*s(x). Let f be g(-7). Let o be 0/((-16)/(-4) + f). Is o > -2/51?
True
Suppose -4*k - 27*k = -2*k - 58. Suppose -9 = 4*q - q, -4*q = 4*r + 36. Is k > r?
True
Let l = -0.09 + 0.17. Which is bigger: -2/9 or l?
l
Let z be (-1)/(1/(2 - 0)). Let p = -34.985 + -0.015. Let r = p - -31. Is z >= r?
True
Let w(t) = -t**3 + t**2 + 11*t + 12. Let l be w(-7). Let n = 519 + l. Let u = n + -4216/5. Which is greater: 4 or u?
4
Let b = 22/3 + -133/18. Suppose -66*i + 55 + 11 = 0. Which is smaller: i or b?
b
Let o = -0.87 + 0.5. Let z = o + -1.63. Which is bigger: z or -0.14?
-0.14
Let z be -27*8/(-60) + -4. Is z >= -46?
True
Let z(t) = t + 15. Let y be (2 - 5)/(2/10). Let m be z(y). Suppose m*i - 54 = 2*n + 4*i, -2*i = 5*n + 95. Which is greater: -16 or n?
-16
Let m = 28/9 - 3. Let j = -23 + 25. Let q(d) = d - 2. Let w be q(j). Is m at least as big as w?
True
Let w = -18.707 + -0.293. Do -0.06 and w have different values?
True
Let j be (2/(-10))/((-84)/(-30)). Let s = 257 + -256. Which is smaller: s or j?
j
Let a(c) = -3*c + 32 - 38 + 4*c. Let o be a(7). Let g be (5/(-20))/((-5)/(80/62)). Which is smaller: g or o?
g
Let k be 13 + -14 + 22/5. Let n(b) = 185*b**2 + 0*b - 4 - 186*b**2 + 6*b. Let m be n(4). Which is greater: m or k?
m
Suppose 4*j = -3 - 1. Let z be (0 - j) + 111/(-96). Let f = z - -81/928. Which is smaller: 1 or f?
f
Let c(k) = k**3 + 22*k**2 - 24*k. Let z be c(-23). Let y be 420/63*(-6)/(-2). Is y at most as big as z?
True
Let d(w) = w**3 + 12*w**2 + w - 12. Let i be d(-12). Let k be -3 + 2 - 40/i. Is k at least as big as -59?
True
Let n be (-5)/2*54/45. Let l be (-1)/n - 15/(-9). Are 3 and l nonequal?
True
Suppose -5*x - 2*j = -10, 2 = -x + 2*x - 3*j. Which is bigger: x or 38/15?
38/15
Let g = -9