1). Let m be 0 + -3 + (-3)/(-1 + p). Do m and -14 have different values?
True
Let f = -253 + 224.3. Let b = f + 29. Is -12 less than or equal to b?
True
Let q be (-54)/(-15) + (-3)/5. Let a be (q - (-90)/(-33))/(-1). Let g = 0 - -1. Which is smaller: a or g?
a
Let o(v) = 3*v**2 + 32*v - 10. Let x(q) = -q**2 - 11*q + 3. Let j(g) = 6*o(g) + 17*x(g). Let z be j(-6). Which is greater: z or -13/7?
-13/7
Suppose -18576 = 43*z + 9632. Do -656 and z have the same value?
True
Let z(m) = m**3 + 4*m**2 + m - 4. Let y be z(-3). Suppose -y*v - 1 + 3 = 0. Let p = -118 + 355/3. Is p >= v?
False
Suppose -w + 0 = -16. Suppose -k + 3*k + w = 0. Suppose 7*c - 43 = 3*r + 3*c, 4*r + 2*c + 28 = 0. Is k equal to r?
False
Suppose 0 = -3*l + 9 - 0. Suppose -6*w = 2*s - 3*w - 2, 0 = -s - l*w - 5. Let v be 1 + (6 - (1 - 2)). Which is smaller: v or s?
s
Let a(g) = g**3 - 5*g**2 - 6*g + 1. Let v be a(6). Let t = 98 - 164. Let f be t/(-30) - v/5. Is 2 less than or equal to f?
True
Let g be (4 - 264/63)*254/32. Let l = 19/12 + g. Which is smaller: l or 0.03?
0.03
Suppose 1 = -2*i - 3. Let y = 0.23 + -10.73. Let z = -10 - y. Which is greater: i or z?
z
Suppose -4*n = 2*d - 2, 4*d + 4 = 2*n + 2*d. Let g = n + -10. Let l be g/6 + (-14)/(-4). Is 2 not equal to l?
False
Suppose 3 + 3 = 3*q. Suppose 0*l = 2*l - q. Which is smaller: -1 or l?
-1
Suppose 2*o + 31*u = 28*u - 12, 3*o - 2*u = -5. Are -21 and o nonequal?
True
Let o = -953.5 + 953. Let w be ((-2)/(-8))/(63/(-28)). Which is bigger: o or w?
w
Let g(u) = -2*u**3 - 8*u**2 - 5*u - 3. Let t be g(-5). Let i = t + -50. Which is smaller: 21 or i?
21
Let w(c) = -c**3 + 2*c**2 + 1. Let n be w(2). Let d(t) = -212*t**2 - t**3 - 12*t + 203*t**2 + 3 + 10. Let x be d(-7). Which is smaller: x or n?
x
Let q(j) be the second derivative of 2*j**2 + 1/6*j**3 - 4*j + 0. Let d be q(-4). Is -5/4 less than d?
True
Let o = 7 + 15. Let f = o + -22. Let a be (-2 + -1 + 1)/19. Which is smaller: f or a?
a
Suppose -9*y + 11 + 7 = 0. Suppose -s - 52 = 2*t - 16, -30 = y*t - 2*s. Is t < -17?
False
Let t be (-202)/(-495) - (-16)/72. Let u = -2/55 - t. Let l = 37/114 + 1/114. Is l greater than u?
True
Let f = 216 - 254. Which is smaller: -36 or f?
f
Let h = 0.959 + -0.759. Suppose -4*n = -2*t + 66, 2*t - 5*t = 5*n + 66. Which is bigger: h or n?
h
Let i = -14985201/1247 + 12017. Are -1 and i unequal?
True
Let y(t) = -t**2 + t. Let u be y(-2). Let g(n) = -n**2 - 8*n - 3. Let k be g(u). Let f be (k/4)/((-1)/4). Is -9 bigger than f?
False
Let n = 90 - 97. Is -7 at most as big as n?
True
Let l be (105/(-210))/((-2)/(-4)). Is l <= -4/59?
True
Let a = 0.104 + 0.056. Suppose 24 - 34 = 5*s. Is a greater than or equal to s?
True
Let z(v) = -2*v**3 + 4*v**2 + 4. Let q be z(3). Let s be 2/(-7) - 172/q. Suppose w + 3 = h, -5 = 6*w - 9*w - 4*h. Which is smaller: w or s?
w
Let l(a) = 4*a - 3. Let x be l(1). Let t be x*(-4)/(-16) + 6/8. Which is bigger: t or 30/17?
30/17
Let h = -117.2 - -117. Which is bigger: h or -76?
h
Let c(a) = a**2 - 9*a + 17. Let n be 3/6*(-36)/(-3). Let s be c(n). Are -6/7 and s equal?
False
Let h = -41.3 - -41.3. Are h and 192 unequal?
True
Let a be ((-24)/138)/(5/10*-4). Is a greater than or equal to 0.3?
False
Let s be 51/1 + (2 - 5). Suppose 3*m = 3*u - s, -4*m - 63 = -2*u - 7. Let f be -2 - (m/(-8))/(-1). Is f less than 4?
True
Suppose 12 = u + 3*q, 0 = 6*u - 2*u - 3*q - 3. Suppose 2*c - 2*y = 30, -c + u*y = -1 - 12. Suppose 2*f - c = 6*f. Is f greater than -3?
False
Let x(m) = -m**3 + 22*m**2 - 39*m - 67. Let a be x(20). Is a equal to -47?
True
Let i be 133/28*(93 - 1). Is -0.1 at most i?
True
Let h = -348 - -366. Let u = 41 + -24. Is u greater than or equal to h?
False
Suppose -n + 39 = -5*c, 66 = 5*n + 5*c - 39. Let k be (1/(-2))/((-2)/n). Let x be 208/52 + 0*(-2)/6. Are x and k unequal?
True
Let w be (-3 + (-4 - -3))*2/4. Let t be 100/55 - (4 + w). Which is bigger: t or -4?
t
Let t = 17 + -4. Suppose 5*m + 2*o - 74 = 0, -4*m + 2*o + 46 = -3*o. Which is greater: t or m?
m
Suppose 0*x = -x - 55. Let o = -35 - x. Is o bigger than 20?
False
Let x be (-4)/(-5) + 1578/(-10). Which is bigger: x or 0?
0
Let y = 539 + -538.7. Let r be 1 - 1 - 8/18. Which is smaller: y or r?
r
Let h(x) = x - 16. Let m be h(17). Which is bigger: 1/203 or m?
m
Let p = -45 + 30. Which is bigger: 12 or p?
12
Suppose -11*p + 59 = -62. Is p at least as big as 0.11?
True
Let g(t) = 32*t**3 - t**2 + 2*t - 1. Let z be g(1). Suppose -32*v = -30*v + z. Let c be v/(-42) - 6/(-21). Is c at least 2?
False
Let b = 29 + -20. Let m be ((-4)/(-60) + (-4)/10)*b. Which is greater: -19/7 or m?
-19/7
Let z be 9/(-3) + (1 - -6). Suppose g + 0*i = i - z, 0 = 2*g - i + 4. Suppose 2*b + 2*b = g. Is -3/10 less than b?
True
Suppose -2*z + y + 1 + 7 = 0, 0 = 4*z + 3*y - 16. Which is smaller: z or -1/4?
-1/4
Let u = 406.8 - 383. Is u <= 0.2?
False
Let h = -15 - -17. Let f be (-2)/8 - h/(-56). Is 1 > f?
True
Let s = -12 - -11.9. Suppose -x = -3*x - 78. Which is bigger: s or x?
s
Let l(i) = -i**2 - i - 2. Let y be l(-2). Let m = 16.95 + -17. Let f = 0.25 - m. Do f and y have different values?
True
Let k(b) = -2*b + 2. Let l be k(8). Let o = l + 12. Suppose -2*i - 24 = 3*x + i, 2*x - i = -1. Are o and x nonequal?
True
Let z(r) = -r**2 + 3. Let h be z(2). Let v be ((-6)/70 - -1) + h. Is 0 greater than v?
True
Suppose -3 = p - 3*y - 0, -4*y = -2*p. Let q(b) = -2*b + 18. Let k be -2 - -1*(4 - -6). Let c be q(k). Does c = p?
False
Let q = 755 + -748. Which is bigger: -68 or q?
q
Suppose 4*o = 111*r - 115*r + 100, 55 = 2*r + 3*o. Are 16 and r equal?
False
Suppose -6*k + 132 = -4*k - s, -k + s + 67 = 0. Let y = 68 - k. Is y > 3?
False
Let c = 13 + -13. Suppose -3*y + c = -12. Let w = y - 12. Is 0 <= w?
False
Suppose -d - 2 = -m, d + 2*m = -m + 2. Are 5/168 and d non-equal?
True
Let o = -5.7 + 5.68. Let n = -9.02 - o. Which is bigger: n or 1/2?
1/2
Let x be (-9)/(-3) - (-13)/(-4). Let c be -1 + 14 - (10 + (2 - 11)). Which is smaller: c or x?
x
Let f(y) = -3*y - 7. Let o(c) = 3*c + 6. Let m(l) = -3*f(l) - 4*o(l). Let d be m(2). Is -10 not equal to d?
True
Let p = 306 - 306.05. Let k = 4 + -1. Which is bigger: k or p?
k
Suppose 5*q = 1158 - 5998. Let w = q - -63889/66. Is 0 greater than or equal to w?
False
Let f = 228 - -210. Which is smaller: f or 437?
437
Let a(w) = w - 16. Let z be 6 + (0 - 3 - -5). Let b be a(z). Let g = 22.9 + -23. Is g bigger than b?
True
Let s = 1351 + -1340.6. Which is greater: -0.6 or s?
s
Let w = 46.7 - 40.7. Is 41 > w?
True
Suppose -2*c - 24 = -10*c. Let h be (1135/160 - c) + -4. Which is bigger: h or 1?
1
Let z = 784.1 - -87.9. Which is greater: 1 or z?
z
Suppose 2*p = 2 - 6. Let b = 2/6173 + 148138/43211. Let o = b + -306/77. Is o greater than p?
True
Let c(d) = -14*d - 216. Let h be c(-16). Are h and 10 nonequal?
True
Let q be (9/((-18)/(-44)))/(-3 + 1). Let h = 1 + -1. Is h <= q?
False
Let o = -34 + 53. Suppose 0 = 3*p - 1267 + 1207. Is p bigger than o?
True
Let j(o) = -o**2 - 17*o - 10. Let i be j(-17). Suppose 11 - 2 = -g. Are g and i equal?
False
Suppose -17 = -30*m + 13. Let u = 0.11 + -0.1. Let v = u + 2.99. Which is smaller: v or m?
m
Let o = 15.7 + -0.7. Let n = o - 13.4. Let h = n + -1.5. Which is smaller: h or -2/5?
-2/5
Let a = 2/63 + -199/315. Let b = -3 - 0. Let t = b + 3.1. Is a bigger than t?
False
Let a = -2/35765 + 22138553/321885. Let w = a - 69. Let k = 0 + 1. Which is greater: w or k?
k
Let s = 446 + -5804/13. Suppose -12*r = 48 - 60. Which is smaller: r or s?
s
Let h = 4648 + -4676. Let u(d) = -d**2 + 2*d + 6. Let o be u(7). Does h = o?
False
Suppose 3*j - 3 = 0, 4*i - 3*j + 4 - 1 = 0. Let b(y) = -2 - 5 + 2 - y. Let c be b(-7). Are c and i non-equal?
True
Let d(p) be the third derivative of 1/24*p**4 + 0*p + 3*p**2 + 2/3*p**3 + 0. Let i be d(-9). Which is smaller: -4 or i?
i
Let z = 0.12 + -0.25. Let g = z - -0.31. Let b = -2.18 + g. Is b <= -2?
True
Let p(r) = 3*r + 37. Let v be p(-16). Suppose 0*u + 2*u = 4. Suppose -2*k - h = 22, -k - u*h = 19 - 8. Is v < k?
False
Let x(j) = 40*j + 289. Let d be x(-8). Is d greater than -23?
False
Let r(u) = 5*u**3 + 41*u**2 + 9*u + 8. Let i be r(-8). Which is smaller: -4.3 or i?
-4.3
Let r(n) = 2*n**2 + n - 671. Let o be r(0). Let s = o - -4681/7. Do s and -2 have the same value?
False
Let k(d) = -d**2 + 9*d - 1