148)/(-20). Let i be ((-4)/(-10))/(f/165 - -4). Are i and v unequal?
True
Let q be ((-2)/(-8))/(13/(-2548)). Is q > -252/5?
True
Suppose 3*x + 0*u + 117 = -2*u, -5*u = 3*x + 126. Let b = x - -29. Which is bigger: b or -5?
-5
Let l = 2.92 + -0.52. Let b = l - 0.4. Is b greater than 5?
False
Suppose -4*x + 7 + 11 = 2*z, 5*z - 27 = -x. Let a be 143/11 + (x*-1 - -5). Which is smaller: 12 or a?
12
Let u(s) = -s**2 + 25*s - 152. Let r be u(14). Is 11/10 smaller than r?
True
Let h be (-8)/(-12)*4059/(-66). Which is bigger: 0.26 or h?
0.26
Let x be 78/16*24/18*-26. Which is bigger: -170 or x?
x
Let s = -974 - -1106. Is 132 <= s?
True
Let g = -17.71 + -3.19. Let f = 1.9 + g. Which is greater: 4 or f?
4
Let c be 254/(-6)*(-27)/36. Let u = -32 + c. Suppose 4*k = 6*k. Is k at most u?
False
Let o = 1974 - 1899. Which is smaller: o or 77?
o
Let c = 243 - 244. Which is bigger: -13/4 or c?
c
Suppose 5*o - 2*o - 9 = 0. Suppose -o*q = 4*r + 3, 0*r - 2*q - 2 = -5*r. Let z be -2 - 17/(-5) - 1. Which is smaller: r or z?
r
Suppose -3*r + 0*r + 24 = 0. Let n be 6/(4*3/r). Suppose -n*g - g = 0. Are g and -1/10 unequal?
True
Let t = -55 - -37.8. Let g = t + 17. Is -2 equal to g?
False
Let c = 3 - 8. Let u(m) = m**2 + 24*m - 59. Let l be u(-26). Which is bigger: l or c?
c
Suppose -3*t + 2*q = -0*t + 5, t = 3*q - 11. Let r = -13/70 + 579/1610. Which is bigger: t or r?
t
Let i(c) = 4*c - 186. Let z be i(49). Which is smaller: z or 14?
z
Let p be (38/(-8))/(-8 + (-429)/(-52)). Which is greater: p or -136/7?
p
Let b(d) = 11*d + 22. Let j be b(17). Let y = j + -199. Let x be (1/1)/((-2)/(-22)). Is y <= x?
True
Suppose -3*t = -2*c - 547, t - 3*c - 543 = -2*t. Let r = 2033/11 - t. Let d be (0/1*1)/2. Which is smaller: d or r?
r
Let v be 2/588*(-18)/4. Let c = 621/2156 + v. Let f = 2/33 + c. Is f greater than -0.07?
True
Let k be (11 + -1 - 9)*5 + 4/5. Suppose 0 = -r - 2*r + 21. Which is smaller: k or r?
k
Let x = -97.06 + -9.84. Let o = 116 + x. Let v = o - 9. Is -3 at least as big as v?
False
Let y = -10.2 - -18.3. Let t = y - 8. Let d = 0.09 - t. Is d >= 1?
False
Let z(v) = -41*v + 21*v - v**2 + 21*v. Let j be z(4). Let n be (0 + 1)/(2/(-2)). Is n not equal to j?
True
Let u(q) = -q**3 - 7*q**2 - 7*q - 8. Let i be u(-6). Let v be (i/4)/(2/4). Let t be (-3)/36 - (-111)/36. Which is smaller: v or t?
v
Let l(n) = n**2 - 13*n + 14. Let p be l(13). Let o(q) = -q**3 + 6*q**2 + 7*q + 2. Let y be o(7). Suppose y*j = -j. Is j bigger than p?
False
Suppose -4*y + 4*p + 472 = 0, -2*p - 122 = 32*y - 33*y. Are 112 and y unequal?
True
Let j be (133/(-28) - -5)*(1 + -3). Suppose 3*v - 40 + 15 = -4*n, 4*n + v = 19. Suppose k = 4*r + 5, -n*r - r + 15 = 3*k. Is j != r?
True
Let s(d) = -5*d - 11. Let o be s(10). Let l = -64 - o. Which is greater: l or -7/3?
-7/3
Let i be (10/(-15) + 0)*3. Let d be i*(-3)/(-36)*4. Is 17 at least d?
True
Let z = 69 + -67. Suppose -z*r = -33 + 25. Is 20/7 smaller than r?
True
Let s = 11.08 - 0.08. Let z = -11 + s. Let y = -8/7 + 1. Which is bigger: z or y?
z
Let r(i) = 2*i - 5. Let k be r(5). Suppose 0 = -k*f + 5 - 30. Let l be (f/(-26))/((-7)/28). Which is greater: -1 or l?
l
Let h = -28 - -29. Let x be (-1)/2 - (1 - h). Let s = 0.7 + -3.7. Is s at least as big as x?
False
Suppose -1905 = -14*o + 349. Suppose -5*u + m + 130 = -34, o = 5*u - 4*m. Let p be (-2)/(-7) + 708/21. Which is smaller: p or u?
u
Suppose 0*g + 4*k = -5*g, 2*k = 2*g. Is -1/688 >= g?
False
Let s(x) = 3*x - 9. Let b be s(2). Let g be -1 + -1 + b + 56/4. Are 8 and g non-equal?
True
Let n = 501 - 506. Suppose 4*m = 5*g - 8, m + 4 = -m. Which is bigger: g or n?
g
Let m(y) = y**3 - 2*y**2 - 5*y - 2. Let b be m(4). Suppose p = 2*d + 11, 2*p + 3*d = 2*d + 22. Is b equal to p?
False
Suppose -5*j - 11 = 4*b - 71, -4*j = 4*b - 56. Is b greater than or equal to 15?
False
Let i = -1380 - -1356. Which is smaller: i or -29?
-29
Let i(k) = -k**2 + 8*k - 14. Let u be i(5). Let w be u/((120/9)/5). Is w equal to 1?
False
Let j = 24.62 + -25. Let a = -9.38 - j. Let z = 3 - 4. Which is smaller: z or a?
a
Let z = 174 + -448.9. Let d = z + 293. Let v = d + -18. Which is smaller: v or 22?
v
Let q be 1 + -1 + (-5 - (-244)/44). Let p be ((-7)/(-5))/(1/5). Let r = -5 + p. Is q >= r?
False
Let o(u) be the first derivative of -u**4/4 - 4*u**3 - 6*u**2 - 4*u + 3. Let c be o(-11). Suppose -5*d + 4*g + 32 = c, -2*d - 8 = 2*g. Is d > 1/4?
True
Let i = 0 + -8. Which is smaller: -17 or i?
-17
Let g be -26*(2/(-4) - -1). Let x = 54 + -55. Let c be -12 + (1 + x)/(-5). Which is smaller: g or c?
g
Let u(c) = 29*c - 1. Let t be u(-1). Let i be (t/(-12))/(2/(-28)). Let m = -176/5 - i. Which is greater: 0 or m?
0
Let r = -346 - -344. Is -1/8 bigger than r?
True
Let t(a) = 6*a + 23. Let u be t(-5). Which is smaller: -2/15 or u?
u
Let l = -20 + 36. Suppose c + 31 = -3*w, l = -3*w - 3*c - c. Let q = -18 - w. Is q smaller than -6?
False
Let v = 2686 - 1674. Are -1 and v non-equal?
True
Let b = 16 + -11. Suppose 2*d + 9*d - 11 = 0. Which is greater: b or d?
b
Let l = 1834/4615 - 2/71. Is l bigger than 1?
False
Let n = -3.89 - 0.11. Let a = 11 + -12. Is n less than a?
True
Let a = 797 - 797. Which is smaller: 1/641 or a?
a
Let w(x) = -x**2 - 29*x + 6. Let i be w(0). Is i at least as big as 98/15?
False
Suppose 7*u + 130 = 2*u. Let c be u - ((-5)/(10/(-6)) + -5). Is c greater than or equal to -23?
False
Let z = 1556 + -17130/11. Let n be (-14)/18 + (-6 - 260/(-45)). Is z less than or equal to n?
True
Let r be 0/(5 + -2 + 0). Suppose 2*v + 3*v = 5*n + 15, r = 4*v + 4*n + 4. Suppose -s + v = -2. Which is greater: 5 or s?
5
Suppose -33*c = -8*c. Which is smaller: c or 2/425?
c
Let a = -4/21 - -62/105. Let r = 0.165 + -0.264. Let i = r + -0.001. Which is smaller: i or a?
i
Let i be 4 + (-65)/15 - 850/(-2532). Which is smaller: i or -1?
-1
Let q be 63/(-567) + 1/3. Which is smaller: q or 0?
0
Let l = 25053014/2035 + -420432/37. Let h = -948 + l. Which is smaller: -1 or h?
-1
Let q = -0.0163 + -0.0837. Which is bigger: q or -0.26?
q
Suppose -3*c + 35 = -g, 0 = c - 6*c + 2*g + 59. Let v = 13 - c. Let x be v + (-16)/3 - -3. Is x >= -0.3?
False
Suppose 3*q = -5*l + 14, 4*q = 4*l + 5 + 3. Let j be -5 + q + (-1632)/(-813). Let b = j - 552/1355. Which is smaller: b or -1/7?
b
Let r = 608 + -1660. Is -1053 <= r?
True
Let y be 59*-5 + 0/(-5). Let f = y + 164. Let k = 919/7 + f. Which is smaller: -2/39 or k?
-2/39
Suppose -12*a + 31 + 5 = 0. Suppose a = -3*s + 9. Are 28 and s non-equal?
True
Let n be (-3 - 13/(-5))*15/(-9). Which is smaller: n or -104?
-104
Let k = 3.077 - 3.277. Let r be (-180)/7 - 4/14. Is k less than or equal to r?
False
Let v be 4/(-14) + (-46)/(-14). Let m(w) = -1 - w**v + 2*w - w - 5 + 8*w**2. Let t be m(8). Is 13/5 > t?
True
Let p(f) = -3*f**2 + 4*f + 1. Let a be 5 + (-1 - 2/2). Let i be p(a). Suppose 9 = -u - 4. Which is smaller: u or i?
i
Let w = -1121 + 1255. Is 131 at most as big as w?
True
Suppose 0 = 5*r - 157 - 573. Suppose 104 = 4*q + 4*x, -4*x = 5*q - 3*x - r. Suppose -5*c + 80 - q = 0. Is c > 12?
False
Let p = 126 + -128. Is p equal to -20/27?
False
Let s be (-21)/((-1)/((-3)/66)). Which is greater: 0 or s?
0
Let s = 238 - 725/3. Let t(m) = -8*m + 68. Let h be t(9). Is s smaller than h?
False
Let g be (-14)/4*(-14)/(-196). Let i = 0.02 + -0.32. Let s = -3.7 + i. Which is smaller: s or g?
s
Let h be 6*(-8 - -9) + 9/(-1). Which is bigger: h or -26/9?
-26/9
Suppose -5*w + k + 10 = 0, -k - 2 = -4*w + k. Suppose -159 = 5*u - w*g, -2*u - g = g + 54. Is u >= -31?
True
Let k = 307 - 203. Which is bigger: k or 105?
105
Let n be (-2)/10 + (-348)/60. Let i = n + 12. Let o be i/(-15) + 82/30. Which is smaller: o or 2?
2
Let x = 7.3 + 40.7. Let s = 44 - x. Is 0 at least s?
True
Let o be 2 + 2/(((-3780)/(-16449))/(-3)). Let c = -145/6 - o. Which is greater: -1 or c?
c
Let c = 0.09 - -0.03. Let p = c + -1.12. Let j = 133 + -400/3. Which is bigger: j or p?
j
Let b be -4 + 4 + (1 - 1). Let l = -1005468023/2733240 - -9/182216. Let k = l + 368. Which is smaller: k or b?
b
Suppose 4*x = 2*p - 0 + 8, 4*p = -3*x + 28. Let i be -5*(24/x)/2. Let d be 10/i - (-2)/(-6). Is d less than or equal to 1/20?
True
Let i(s) = -8*s - 1. Let a be (2/(-6))/(1/(-24)). Suppose 3*v = -4*k - 11, -2*v - k = -6*k - a. Let q be i(v). Do 5 and q have different 