 - 15*d + 32. Let v be p(14). Let x be l(v). Is x >= g?
True
Let c = -1931.19 + 1942. Let t = 10.7 - c. Which is greater: t or 1/5?
1/5
Let y(x) = -x**3 + 8*x**2 + 11*x - 31. Let d = -118 + 127. Let z be y(d). Let w(r) = -r**3 - 3*r**2 + 3*r - 3. Let f be w(-3). Is f at most as big as z?
False
Let c be ((-791)/((-112)/(-16)))/1. Is -112 < c?
False
Let p = -16771 - -16772. Is 2987 equal to p?
False
Let z = -1530.46 + 1529. Are z and -8 unequal?
True
Suppose -186 + 65 = s. Suppose 152*z + 12044 + 6500 = 0. Are z and s equal?
False
Let g = -559 - -564. Suppose -13*q - 36 = -12*q - 3*l, -g*l + 158 = -4*q. Do q and -45 have different values?
True
Let b(k) = 5*k**3 + k**2 - 1. Let o be b(1). Suppose o*g - 76 = 3*g. Let w = -58 + 96. Is g != w?
False
Suppose -3*x + x = -3*y + 7, 2*x = 4*y - 10. Let l(i) = 2*i - 35. Let h be l(14). Let c be (h - (-156)/20)*(-10)/26. Do c and x have the same value?
False
Let n be (-2303)/(-98) - 2/(-4). Let d be (-15)/((-45)/n) + 6. Do 43/3 and d have different values?
True
Let i = -502 + 525. Let r = -103 + i. Which is smaller: r or -81?
-81
Let n be (-300)/(-31) - 30/3. Do n and -1 have the same value?
False
Let a be -21 + -18891 + ((0 - -1) + 2)/3. Which is greater: a or 2/3?
2/3
Let c = -890.83 - 1.17. Let k = c + 892.2. Let s = 6 + -6.4. Which is bigger: s or k?
k
Let j = -52 + 188. Suppose 0 = -4*r + 2*c - j, 5*c - 81 = 3*r + 14. Let o = 39 + r. Which is smaller: 3 or o?
3
Let a = -254 + 246. Let f be 2/(-2) - (14 + -3). Is f < a?
True
Suppose 3*s + 88 = -2*d, -3*d + 0*s - 132 = 2*s. Suppose n + 312 = 5*p, 3*p - 119 = -5*n + 85. Let y = p + d. Is y less than or equal to 19?
True
Suppose -3*n = 2*n - 2*b - 9, 27 = 5*n + 4*b. Suppose -2*x - 10 = -4, -4*x = -5*t + 42. Suppose -6*z = -z - 5*r, 0 = z + 2*r - t. Which is smaller: z or n?
z
Let z be 6*(1 - (-66)/(-55)). Which is greater: -74 or z?
z
Suppose -74 = 4*o + 2*n - 0*n, -3*o - n = 56. Let k = 18 + o. Let l be 3/18 + (-31)/6. Which is greater: l or k?
k
Let y be (-18)/(-8) - (-2125)/(-300). Is -0.021 greater than or equal to y?
True
Let i(w) be the first derivative of -w**4/4 - w**3 + w**2/2 + 2*w + 170. Suppose -5*l + z = 4*z + 24, 2*z = -2*l - 12. Let m be i(l). Are 1/116 and m nonequal?
True
Suppose -126*x - 21*x = 7*x + 255640. Do x and -1665 have different values?
True
Let d(n) = 11*n**2 + 82*n - 13. Let c be d(-18). Suppose c = -22*v + 27*v. Is 416 > v?
True
Let r(f) = -f**2 - 2*f + 1. Let g(l) = 4*l - 45. Let v(q) = -3*g(q) + 3*r(q). Let k be v(6). Which is greater: -77 or k?
-77
Suppose -191*q + 69589 = 247219. Which is smaller: -927 or q?
q
Let g = 558 + -558. Suppose 5*n - 4*b - 40 - 57 = g, 0 = -3*n - b + 65. Let r(c) = 9*c - 3. Let v be r(3). Are v and n non-equal?
True
Suppose -2*w + 28 = 5*k, -2*w + 1 = -7. Suppose 2*t + 0 + 10 = -k*m, -3 = t. Which is smaller: m or 112?
m
Suppose 4*z + 60 = -0*z - 4*f, 4*z = 5*f - 105. Let k be 7*(-518)/784*(0 - (2 - 6)). Is k > z?
True
Let c = -211 - -1479/7. Suppose -5*t = -3*r - 2 - 6, 5*r = -4*t + 36. Let s be 1/r*(-56)/(-16). Which is greater: c or s?
s
Suppose -b + 0*b + 14 = 0. Suppose 0 = 21*w - 45*w + 120. Suppose -3*i - w*k = -9 + 5, i + 8 = 3*k. Which is smaller: i or b?
i
Let j = -78.8 + 84. Let g = -49.8 - j. Let q = -11 - g. Is 2 at most q?
True
Let c(d) = 2*d**3 - 5*d**2 - 12*d + 4. Let s(q) = 2*q**3 - 4*q**2 - 13*q + 3. Let n(u) = -4*c(u) + 3*s(u). Let a be n(-4). Is 212 greater than or equal to a?
False
Suppose -96*w + 93*w = 4*y + 74, -5*y - 25 = 0. Let v be (-12)/((-9)/(-3)) + -9. Which is greater: v or w?
v
Let y = -271 - -246. Let w = -16 - y. Is 8 bigger than w?
False
Suppose -4*i + b = -3*b + 4, -2*b + 14 = -4*i. Let h be i + 5 - -2 - 23. Are h and -25 equal?
False
Let a = 1069 + -1078.22. Is a less than or equal to -1?
True
Let f be (-6)/(-21) + (-37)/7 + 3. Let u(s) = -s**3 + 2*s**2 + 2*s + 3. Let x be u(3). Let j be 16/36 - (x + 1). Which is bigger: f or j?
j
Let y be (2712/3)/1 + 3/6*-10. Which is bigger: 898 or y?
y
Suppose 327*q - 20 = 347*q. Which is bigger: q or -5/84?
-5/84
Let r be (-2044)/(-84)*(3 + (2 - -1))/2. Which is smaller: r or 82?
r
Suppose -7*o + 542 = -5*o. Let d = o + -275. Let m = 2.2 + -0.2. Do m and d have different values?
True
Let v = 395 - 391. Suppose v*i + 3*w = -7, -3*w = -2*i - 5*w - 4. Is i <= -5/19?
True
Let b = -1933/23 - -84. Suppose 0*d = -d + 3*d. Are d and b equal?
False
Let r be 6/15 - (-5 - (-982)/130). Let f = 97/39 + r. Which is greater: 12 or f?
12
Let i(j) = 231*j**2 + 7*j - 5. Let u be i(1). Suppose 433 = -8*y + u. Let a = 0 + -25. Is a less than or equal to y?
True
Let g(s) = s**2 + 2*s + 6. Let m be (0 + 0)*-1*-1. Let l be g(m). Let p be -2*1*(-3)/l. Are p and -21 unequal?
True
Let u(d) = 4*d**3 - 11*d - 37. Let z be u(-5). Is z smaller than -481?
True
Let i = 68 - 21. Let b = i - 52. Let u be (1*b*(-6)/15)/2. Do u and -1/26 have the same value?
False
Let f(z) = -58*z - 987. Let g be f(-17). Let h = -401/10 - -40. Is h bigger than g?
True
Let b = 3341.647 + 27.353. Which is smaller: 2 or b?
2
Let i = 148.1 + -104. Let u = -0.068 - -44.068. Let c = u - i. Is c less than or equal to 2.5?
True
Let m be (-34)/4*(-1 - -3). Let u(r) = -r - 22. Let h be u(m). Suppose -n - 8 = n. Is n at least h?
True
Suppose 0 = -2273*t + 2249*t + 29256. Which is smaller: 1224 or t?
t
Let d = -14182.9 - -14183. Let h be ((-27)/12)/((-6)/16). Let i be -4 - -2 - (-21)/h. Is i at most as big as d?
False
Let y = -183/7820 - -1/115. Suppose 0 = 3*g + 8 - 11. Is y greater than g?
False
Suppose -12 = -2*b + 6*b - 4*d, -3*b - 8 = -2*d. Let a = -197451/665 + -537/95. Let h = a + 302. Which is smaller: b or h?
b
Let f be 600/180*45/2. Suppose f*p - 10 = 73*p. Which is bigger: -1 or p?
p
Suppose y - 28 = 2*d, 5542*d - 5541*d = -4*y - 5. Suppose 0 = g + 2 - 4. Suppose 4*z - 24 = 5*z - 4*b, -g*z - 42 = -5*b. Is z > d?
False
Let p = -12114 - -12114. Which is smaller: 2/16153 or p?
p
Let m be 3 + -5 + 2 + (0 - -3). Let h = m + -5/2. Which is smaller: -2/227 or h?
-2/227
Let q = 507 - 541.3. Let z = q + 34.8. Which is bigger: z or 0.14?
z
Let k be (-5)/10*-12 + -5. Let g be k/2*(1080/265 - 4). Which is smaller: g or -2/9?
-2/9
Let y(o) = o**3 - 8*o**2 - 17*o + 29. Let a be y(13). Suppose -4*m - a = -101. Does -139 = m?
False
Suppose -101*s - 1117 = 68*s - 4666. Are 268/13 and s non-equal?
True
Let q = -13678 + 4808. Are -8869 and q equal?
False
Suppose 5*z = -5*z - 1080. Let u be 8/z*-5*(-2)/20. Suppose -5*a - 2*y - 5 = 4, -5*a + 3*y + 1 = 0. Is a greater than u?
False
Let b = -25542 - -25542. Is b >= 2/78873?
False
Let m = 9687 - 13734. Which is smaller: 0.1 or m?
m
Suppose -3*c - 2*v = 2*v - 6, -5*c - 3*v = -21. Let d = 13.038 + -0.038. Let x = d + -13. Which is greater: c or x?
c
Let r = -5/5156 - -4485755/36092. Let z = 124 - r. Is z > 105?
False
Let q be (-9 - -19)*(-6)/15 - (-5928)/141. Are 38 and q equal?
False
Let p be 2/((4/42)/(51/9)). Let r be ((-2)/(-7) + 6246/(-105))*2. Let f = p + r. Which is bigger: f or 0?
f
Let y(m) = -m**3 - 20*m**2 + 16*m - 26. Suppose 0 = -23*a - 100 - 383. Let k be y(a). Is 81 at most k?
False
Suppose 3*x - 5 = 4*b, 2*b = x + 571 - 574. Which is bigger: x or 12/317?
12/317
Let f = 27 - 54. Let y = f + 30. Let x be -1 + (y - -1*6) - 2. Is 6 smaller than x?
False
Let b = 1416 + -1487. Which is smaller: -1/3 or b?
b
Let h = -26 - -80/3. Suppose -5*g = -68 - 702. Let d = g + -153. Is d smaller than h?
False
Let b be -6*(1 - (3 + 12/(-5))). Let s = 1 + b. Are s and -2 equal?
False
Let t = -105011/532 - -3842/19. Let l = -2/31 - -535/124. Let z = l - t. Which is smaller: z or -1/2?
z
Let t(j) = -j - 5. Let r be t(-6). Let x = 218 + -753. Let z = x + 12303/23. Which is smaller: z or r?
z
Suppose -p + g + 351 = 0, -79 = -3*g - 88. Is p <= 351?
True
Suppose -r + 0*r - 3*c - 11 = 0, -4*r - 4*c - 12 = 0. Suppose 6*k - 7*k + r = 0. Let m be -11 - (3 - 6/k). Is -6 at least m?
True
Let w be (4/(-10) - (-2167)/55) + (-8)/(-2). Is 65 > w?
True
Let c be (3 + -2)/(2/4) - 4. Let n be 15/(-4)*-2*6. Let r be (-125)/n - 2/9. Is r greater than c?
False
Let d(m) = -8*m**2 + 94*m + 28. Let o be d(12). Suppose c + 5*v + 20 = 0, -4*c - v + 18 = 3. Is c <= o?
False
Suppose -141 = 4*y - 5*i, y + 32 = -5*i + 3. Suppose -4*t = c - 3*c - 62, 3 = -3*t. Let p = c - y. Does 