and s nonequal?
True
Let a = 329040800 + -43104025813/131. Let c = a + -2435. Which is smaller: c or -1?
-1
Let d(n) = n + 3. Let v be d(-4). Suppose 4 = 10*x - 12*x. Let f be 15/(-50)*x/6. Is f greater than v?
True
Let l be 34/(-442) + 236/(-650). Is l at most as big as 0?
True
Suppose -17*n = 18*n - 3605. Does 103 = n?
True
Let f = 3.99 - -0.01. Let k = -16 + f. Let m = 0.27 + -0.17. Is m >= k?
True
Let w = 4151 + -4127.09. Let c = 17 + -41. Let k = c + w. Is k at least -1?
True
Suppose -4*p + 30 = 5*c + p, p = -5*c + 18. Let j = 1 - -3. Is j at most as big as c?
False
Let z(n) = -n**2 + 19*n - 47. Let q be z(15). Is 17 at least as big as q?
True
Let c(h) = -7*h**2 - h - 1. Let v be c(0). Which is bigger: 9/5 or v?
9/5
Let q be (-16)/140*(-14)/60. Suppose s + 22 = 26, 5*g = -s + 9. Do q and g have the same value?
False
Suppose 3*j - 13 = 119. Suppose 2*p + j = 6*p. Let q = 1 + p. Which is greater: q or 13?
13
Let f = 56 - 61. Which is bigger: -50/11 or f?
-50/11
Let b = -228 - -92. Let i = b + 133. Which is smaller: i or -20/13?
i
Let v(h) = 12*h + 348. Let o be v(-29). Let u be (-4)/6 - (-23)/30. Which is bigger: u or o?
u
Suppose -5*b = -3*r + 52 + 331, -3*b - 5*r = 257. Which is smaller: 0.1 or b?
b
Suppose 5*y + 109 = 2*k - 31, 0 = 5*k - 5*y - 335. Suppose 4*m - k = 3. Let i be (-5)/(-20) - m/20. Are i and 0 unequal?
True
Let o be (2/4 - -1)/((-10)/(-80)). Let x be 2 + 174/(-34) + o/4. Which is bigger: x or -1?
x
Let w be (-539)/154*2/(-210). Is 0.13 > w?
True
Let f = 3/184 - -43/184. Which is greater: -3 or f?
f
Let f = -408 - -408. Is 10/417 greater than f?
True
Let w(l) = l**3 - 38*l**2 - 88*l + 320. Let s be w(40). Is 32 smaller than s?
False
Let i = -200 + 198. Which is smaller: -4 or i?
-4
Suppose 368*f + 84 = 361*f. Which is greater: -2 or f?
-2
Let a be (0 - 2/(-57))*(-36)/112. Which is bigger: a or 0?
0
Let o = 16.773 - 16.8. Which is bigger: -2/5 or o?
o
Suppose -2*j + 4*j = 2. Let g = 522 + -4685/9. Which is smaller: g or j?
j
Let g = 11 - 21. Let x be (-2)/g + 72/(-160). Which is bigger: -2/3 or x?
x
Let y be ((-4 - -4)/2)/(-1). Let z be 26/55 - (y + (-4)/(-20)). Let d be (1/2)/((-2)/4). Is d < z?
True
Let x = 18 + -13. Suppose 2*v = a - x, -5*a + a + 34 = -v. Let f = 15 + -6. Is f at most a?
True
Let p be 1206/12*(-4)/2. Let g be (1 - (-195)/p) + 0. Let l = g - 140/201. Which is bigger: l or -1?
l
Let b = 757 + -3772/5. Which is bigger: 2 or b?
b
Let j = -82 - -351/4. Is j <= 7?
True
Suppose 3 + 29 = 2*g. Let b = 28 - g. Is 11 less than b?
True
Let b(m) = m + 13. Let p be b(0). Suppose -24 - p = -a. Let q = a + -52. Do -14 and q have the same value?
False
Let i be 2*-1 - (-392)/195. Let z = -376/1365 - i. Let c be 375/(-75) - (-66)/14. Is c greater than or equal to z?
True
Let p(s) = 2*s - 4. Suppose -2*a = -4*a + 6. Let v be p(a). Let d(b) = -b**2 - 13*b - 29. Let n be d(-10). Is n < v?
True
Let d = 194.03 + -187. Let x = -6 + -1. Let u = x + d. Which is smaller: -1/2 or u?
-1/2
Let g(t) = t**2 + 2*t - 7. Let f be g(-4). Is 186 at most as big as f?
False
Suppose 16*y = 5*o + 13*y - 1643, y + 989 = 3*o. Is 332 equal to o?
False
Let s be (-3)/(-1188)*23589/51. Let x = 1/748 - s. Which is bigger: x or 0?
0
Let j = -2554754/11 - -232509. Let i = -259 + j. Suppose -2 = 3*m - 5. Is m greater than or equal to i?
True
Let r(o) = o**3 + 9*o**2 + 3. Let k be r(3). Is k < 110?
False
Let t = 84 + -79. Let v(y) = 2*y**2 - 8*y + 4. Let r be v(t). Which is smaller: 15 or r?
r
Let d be 0 + 8/44 - 141/(-11). Suppose 10*q - 15 = d*q. Which is greater: q or -2?
-2
Suppose 0 = 2*u - 4*p - 0*p + 68, 2*p - 146 = 5*u. Let r be (u/7)/(148/6). Is -1 not equal to r?
True
Let k be 1/(-1) + 2 + -15. Let d be (-3)/6 + (-7)/k. Which is bigger: -3/76 or d?
d
Let n be 2 + (-5 - (-8)/40). Let b(x) = 2*x**3 - x**2 + x + 1. Let f be b(-1). Are n and f unequal?
True
Let d(m) = -m**3 + 4*m**2 + 3*m - 1. Let h be d(4). Let c = h - 7. Let z be 12/32*c/18. Is 1 equal to z?
False
Suppose -1 = 3*z + 8. Let b be 4 - (24/z)/4. Suppose -2 = 2*w + b. Is w > -4?
False
Let l be 4 - 1 - 3/1. Suppose 3*i + l*i - 3 = t, 4 = -2*t + 4*i. Suppose t = 4*h + 4*d + 8, -3*d + 6*d + 24 = 3*h. Is 2 less than or equal to h?
True
Let w = 1.1 - 1.12. Let l = -7.88 - 0.14. Let m = l - w. Does 0 = m?
False
Suppose -2*h + 2*u - 162 = 0, -2*h - 103 = -4*u + 67. Is -75 < h?
False
Let r = -4314 - -21962/5. Let o = 4282/55 - r. Let c = 6 - 25/4. Is c at least o?
True
Let a = 59 - 25. Let k = 39 - a. Let v(o) = o**2 - 3*o - 2. Let f be v(4). Which is smaller: f or k?
f
Let l be (-15)/(-10) + (-65)/30. Is 12 at most l?
False
Let u = 139 - 68. Let l = u + -52. Do 19 and l have the same value?
True
Let b be 0 + -2 - -128*5. Let t = b - 5750/9. Suppose r = 4*r. Which is greater: t or r?
r
Suppose -2*t - 637 = -633. Which is bigger: -16/7 or t?
t
Let v(z) = z**3 - z**2 + 2*z + 89. Let p be v(0). Do p and 90 have different values?
True
Let z be ((-15)/6)/(-5) - 1. Let a = 3.897 - -2.103. Are a and z equal?
False
Suppose -5*p = 6*p + 11. Which is smaller: 10/351 or p?
p
Let g = 0 + -0.2. Suppose 4*s + 5*d = s + 32, -4*s - d + 37 = 0. Suppose -10*j = -s*j. Is g at least j?
False
Let z be 6/(-4)*44/6. Let o be (-1 - 6 - 0) + -3. Is z < o?
True
Let x = 876 + -4384/5. Is 0 equal to x?
False
Suppose 4*k + 1200 = 5*a, 0 = 4*k - k - 4*a + 900. Which is greater: -301 or k?
k
Let y = 1503.1 + -1503. Which is smaller: 653 or y?
y
Let v = -5/18 + 97/90. Suppose -4*o = 7 - 11. Is o >= v?
True
Suppose -12 - 42 = -2*p. Suppose -4*o + p - 7 = 0. Suppose -o*w + 4 = -1. Which is bigger: w or 1/7?
w
Let d = -416462356/9442323 + 46292/6759. Let k = -410/11 - d. Is k smaller than 0?
True
Let y be (-3)/3*1 + 12. Let z = y - 6. Suppose -z*c = -7*c + 8. Is c <= 2/7?
False
Let k(r) = r**2 + 7*r - 37. Let w be k(4). Is -2 less than or equal to w?
True
Suppose -2*m + 4*z = -0*m - 8, -4*z + 16 = 4*m. Let k be (m/3)/((-28)/(-6)). Let p = 78 - 75. Which is smaller: k or p?
k
Suppose 2 = 2*b - f, -21 + 5 = -4*f. Let z be b*((-4)/3)/(-2). Let l be 1*0/(z - -2). Is l less than or equal to 24?
True
Suppose 0 = -3*y - 3*y + 12. Suppose -u = 3*z + z - 13, 2*u - 14 = -y*z. Is 16 greater than z?
True
Let k(a) be the third derivative of -a**6/120 + 3*a**5/20 + a**4/2 - 4*a**3/3 - 8*a**2. Let t be k(10). Let r be (-2)/t - 14/(-12). Is r less than 1?
False
Suppose -a + i = 3*a + 84, 4*a - 3*i + 92 = 0. Let c = a - -21. Is -3/20 at most as big as c?
True
Suppose 4*p = 4*y - 0*p - 68, 3*y - 46 = 2*p. Let l(g) = -2*g + 5. Let w be l(4). Let i be (3 + y/(-4))/w. Is i smaller than -5/6?
False
Let p = 78 + -78.037. Let j = -0.037 - p. Is j not equal to 2.3?
True
Suppose s = -26 + 27. Does s = -6/29?
False
Let k(s) = s**3 + 3*s**2 + 3*s + 3. Let l be k(-2). Let g be (-561)/884 + 1/4. Which is smaller: g or l?
g
Let j = 20 + -30. Let i = 9.211 - -0.879. Let r = j + i. Is 1 < r?
False
Let a(s) = -2*s**2 + 1 + 5*s - s**3 + 2 - s. Let g be a(-3). Suppose 2*j + 3*m + 9 = 0, -4*m = 7*j - 8*j + 1. Are g and j equal?
False
Suppose 37*q + 273 = -3*k + 33*q, -182 = 2*k - 5*q. Is -91 at least as big as k?
True
Let i be (-6 - (-7 - -5)) + -22. Is i greater than -28?
True
Let f = -602 + 602. Which is smaller: 4/153 or f?
f
Suppose -259 = 4*t + 3*g, 0 = -4*g + 13 - 1. Is t != -69?
True
Let q = 5 - 8. Let t = -11.138 - -0.138. Is t greater than or equal to q?
False
Let s(f) = -f**2 - 17*f + 62. Let p be s(3). Do 52/27 and p have different values?
True
Suppose -3*j + 3 - 15 = 0. Let u be (-6 + (-4)/j)/(-1). Suppose 40 = -u*k + 3*w, k + 5*w = 2*k + 8. Is -8 less than or equal to k?
True
Let f be 1212/416 - 12/4. Let l = f + 6/13. Which is greater: l or -1?
l
Let r = -13 + 11.5. Let p = -1.48 - r. Which is bigger: p or 1?
1
Let r = 297 + -4173/14. Which is smaller: -0.2 or r?
r
Let u be 4/(-6)*18*4. Let r be (u/20)/((-6)/15). Which is smaller: 5 or r?
5
Suppose -s + 211*i = 209*i, 3*s - 3*i - 3 = 0. Let p be (4/1)/(4 + -2). Suppose 0 = p*n + h, -3*n + 3*h + 8 = -n. Are n and s nonequal?
True
Let r(u) = u**2 + u + 8. Let y be r(-6). Suppose 5*t + 69 = -5*x - 11, 3*t - 2*x + y = 0. Let a = t - -18. Are a and 4 nonequal?
False
Let k = 724 - 725. Let b be ((-1)/(2/(-6)))/1. Suppose -5*d + b*w = 0, -4*w + 4 = -4*d + 12. Which is smaller: d or k?
d
Let b(x) = 6*x**