 n = 17 - -7. Let i = 23 - n. Let s = 7 - 6.7. Which is bigger: i or s?
s
Let s = 11.1 + -11.16. Let p = -0.07 - s. Does p = 2/7?
False
Let l = 3/13 + 4/39. Let m = -234 + 223. Which is smaller: m or l?
m
Let k = 1.2 - 0.2. Let f(c) = -2*c**2 + 5*c - 2. Suppose -25 = -14*u + 3. Let l be f(u). Is l bigger than k?
False
Let f(y) = 3*y**2 + 2*y - 4. Let h be f(-4). Suppose 0 = 15*s - 201 - 339. Is h at least as big as s?
True
Let d be (8*41)/(-4)*247/(-190). Are d and 107 nonequal?
True
Let w(n) = n**2 - 8*n + 5. Let y be (-1)/3 + (-150)/(-18). Let v be w(y). Suppose 0*k + 3*c - 22 = -4*k, 0 = -v*k - 4*c + 27. Is k < 1?
False
Suppose -f + 4 = 3. Suppose 3*s + 4 - f = 0. Let v = 15 + -15. Is v greater than or equal to s?
True
Let g(k) = k**3 - 9*k**2 + 10*k - 5. Let d be g(8). Let h = 8 - d. Let n = h - -4. Is 0.02 less than n?
True
Let m = -826689/124 - -6667. Let x = 3/31 + m. Let w = 35 - 34.9. Is w > x?
False
Let b = -416 - -415. Is -4/45 at most as big as b?
False
Let m = 6.15 - 6. Let j = -20.6 + 20.66. Let v = m - j. Which is smaller: -1 or v?
-1
Let u be ((-2)/(-12))/((-528)/(-12)). Which is smaller: u or -1?
-1
Let u = 151 + -128. Is 24 <= u?
False
Suppose t - 78 = 3*a, 0*a + 350 = 5*t + 5*a. Which is greater: t or 73?
73
Suppose -4*j + 56 = 2*q, 4*q - 14*j = -10*j + 64. Suppose 34 = l - 3*t, 2*t - 28 = -3*l + l. Suppose -3*c + 38 = -l. Which is bigger: c or q?
q
Suppose -5*a + 2*i = 29, -5*a - 2*i - 19 = i. Let j = a - -4. Let f = -1/16 + -5/176. Is f > j?
True
Let d be 526/630 + 212/(-35) + 6. Let l be ((-5)/2)/(2/(-20)). Suppose -5*t + 0*t = -s + l, 4*t + 20 = 0. Which is greater: s or d?
d
Suppose -5*t = -t + 8. Let p be 3/2*(0 - t). Suppose p = -3*z + 12. Is z at least 6?
False
Let b = -18 - -56. Is b less than or equal to 1?
False
Let g = 66.645 - 66.7. Is g at least -2?
True
Let p(d) = -22*d + 11. Let g be p(5). Let l be ((-9)/g)/(2 - 3). Which is greater: -0.1 or l?
l
Let a = -862025/13 - -66700. Let x = 390 - a. Are 0 and x unequal?
True
Suppose 3*x - x = 3*t + 24, -t - 5*x = -9. Is -10 < t?
True
Let q be -4 + 2 + (-14)/(-2). Suppose -q*n - 11 = -3*n - 5*g, 2*g - 10 = -2*n. Let p be (n/(-25))/(16/(-10)). Is 0 equal to p?
False
Let f = -696.85 - -696. Is f less than -3?
False
Let q = 3 - 5. Let v be ((-10)/4 - q)*0. Let o be 1*-1*(-1 - (-300)/292). Is o < v?
True
Let g = 211.05 + -198. Let f = 13 - g. Let m = -0.15 - f. Do m and 1/4 have the same value?
False
Suppose 5*z + 5 = 20, 0 = 3*q - z - 6. Suppose -2 = -q*c + c. Let r be (-7360)/(-2240) + -2 + 1. Are c and r non-equal?
True
Let l = -282 + 195. Let y = -52 - l. Suppose -7*b = -y - 0. Are b and 3 equal?
False
Let n be 27/2 - 0 - -1. Let h = -13519 + 13534. Is n less than h?
True
Let i = 5 + 7. Let o = i + -9. Let w be 26/(-56) + 6/8. Is w smaller than o?
True
Suppose 0 = -g - 0*g + 2, -2*g = 3*j - 70. Suppose 369 = 15*d + 54. Are j and d non-equal?
True
Let r = 10 - 16. Let j be 18/12*10/(-3). Which is bigger: r or j?
j
Let p = 366.044 + -365. Let i = p - 1.1. Which is greater: i or -0.1?
i
Let m = -273 + 272. Is m at least -48?
True
Suppose 0 = 7*n - 5*n + 124. Let f = 54 + n. Which is smaller: -6 or f?
f
Let u = -2 + 0.1. Let t = -0.1 - u. Let y = -1.2 - t. Which is greater: 3 or y?
3
Let w = -859 + 858.9. Which is greater: w or 20?
20
Let q = 59/404 - 146601/38380. Let y = -1675/3857 + -8/203. Let n = q - y. Is n at least as big as -3?
False
Let m(f) = f**3 + f**2 + f - 560. Let r be m(0). Let q be (-376)/r + (-9)/15. Which is greater: 0 or q?
q
Let l = 9 + -18. Let i be (1 - -5)*(-63)/42. Is l > i?
False
Let d(l) = l**3 - 3*l**2 + 28*l - 53. Let m be d(2). Is m > 168?
False
Let v(y) = 3*y**2 - 1. Let b(z) = z**2 - z + 1. Let t be b(0). Let l be v(t). Suppose 0 = l*s + 5 + 9. Are s and -7 nonequal?
False
Let f be (2/(-10))/(8/(-10)). Let h = 1054 + -1062. Is f smaller than h?
False
Let s = -7.1 - -1.1. Let a = s - -4. Let g = 12 - 10. Is g > a?
True
Let n be 8/(-10) + (-212)/(-140). Let g be 5 - 70/21 - 2/(-6). Is n at most as big as g?
True
Let z = -392 - -374. Which is smaller: -6/11 or z?
z
Suppose 2*d - 4*s - 18 = 4*d, 0 = d - 2*s - 11. Are 25 and d non-equal?
True
Let b be ((-33)/(-9) - 3) + (-802)/(-12). Suppose -5*u - 4*f + 343 = 0, 5*f - 3*f = -5*u + 339. Is u > b?
False
Let p = -9 + 10. Let k be (-3 - (p - 1)) + -5. Let d be ((-1)/2)/((-4)/k). Which is smaller: d or -2/17?
d
Suppose 5*u - 4*u = 18. Let x = 16159 + -16162. Are x and u nonequal?
True
Let i = 24.39 + -6.86. Let l = 3.43 - i. Let a = -14 - l. Which is smaller: a or -0.08?
-0.08
Let q be 0/(-1) - 460/10. Is -0.2 less than q?
False
Let r = 60 - 100. Let u = -22 - r. Let k be ((-6)/u)/((-2)/18). Which is bigger: -4 or k?
k
Let w be -7*((-1247)/(-261) + 4/18). Is 1 at most w?
False
Suppose k - 4 = -4*h, -4*k + 4*h - 9*h - 28 = 0. Which is bigger: k or -24?
k
Suppose 3*l = -5*b + 562, 4*b = b + 15. Is l at least as big as 179?
True
Let g(i) = -2*i**3 - 2*i**2 - 9*i. Let k(v) = -v**3 - 3*v**2 - 9*v. Let u(j) = 2*g(j) - 3*k(j). Let f be u(7). Let c be (-9)/6*10/f. Are 1 and c nonequal?
True
Let r(h) = 6*h - 2 + 9 - 5. Let w be r(-1). Let m(s) = 3*s. Let y be m(-1). Are y and w equal?
False
Let m(x) = -252*x - 1. Let p be m(-7). Let q = p - 54659/31. Let n = q + -32/155. Which is bigger: -1 or n?
n
Suppose -8*c = -57 + 49. Suppose 0*n + 6 = 3*n. Let z = n + 0. Which is smaller: c or z?
c
Suppose -10 = r - 4*s + 7, 2*r - 2*s + 64 = 0. Let b = 42 + r. Suppose 0 = b*f - f + 8. Which is bigger: 3 or f?
3
Suppose -2*n + 12 = -4*n. Let d be n/(-33)*(-56)/(-8). Which is smaller: d or 0?
0
Suppose 3*s - 397 = 2009. Suppose 5*m + 87 = s. Which is bigger: 144 or m?
144
Suppose -29*t + 528 = -53*t. Is t greater than -25?
True
Let g = 2468/176385 + -2/1069. Let y = -1 + 0. Which is smaller: g or y?
y
Let o be ((-3)/(15 + -6))/(2/(-90)). Which is smaller: 71/5 or o?
71/5
Let q be 6*(-1)/(-4)*11662/(-51). Is -343 greater than or equal to q?
True
Let n be (-64)/448*14/2. Let o = -444 - -4887/11. Which is smaller: o or n?
n
Let g = 539 + -5934/11. Let w = g + 29/88. Suppose 0 = -y - 2*y. Which is smaller: w or y?
w
Suppose k = 6*k + 115. Let j = 1 + k. Is j bigger than -22?
False
Let y be ((-192)/20 - -10)*(-130)/(-92). Which is smaller: 1 or y?
y
Let l = -150 + 220. Which is smaller: l or 71?
l
Let g = -1609203 - -400689763/249. Let d = g - 14/83. Are d and -6 equal?
False
Let z = -741/704 + 15/704. Do -2 and z have the same value?
False
Let h be ((-11)/5 + 1)/((-30)/100). Suppose h*n + 27 = -m, -3*m = -7*m + n - 40. Let v(j) = -j**3 - 4*j**2 - j - 4. Let k be v(-3). Does m = k?
False
Let r = 1108 + -18816/17. Is r greater than or equal to 2?
False
Let z be (-490)/(-98) + (-122)/(-48)*-2. Is 9 at most as big as z?
False
Let j be (-10*21)/(2/(-2)). Let t be 5/2*(-48)/j. Suppose 0 = 5*n - 6*b + 3*b, 0 = -5*b. Is n greater than t?
True
Suppose z + 3*t + 7 = 0, 3*z - 9 + 25 = -4*t. Let l(g) = g**3 + 4. Let x be l(0). Is z not equal to x?
True
Let b(m) = m + 2. Let l be b(-4). Let v be (-1 - -2)/((-2)/8). Let s = v - 0. Is l greater than or equal to s?
True
Let s be ((-2 - -1) + -39)/(-7). Let p = 6 - s. Let l = 685.1 + -685. Is p != l?
True
Let f = 65 + -60. Suppose k - 45 = -2*u, f*u = u + 2*k + 110. Is u less than 26?
True
Let c be (0 + -6)/(1 + 1). Let l = 50.7 - 39.7. Is l greater than or equal to c?
True
Let n = 45 - 58. Let j = n - -13. Which is bigger: j or 1/3?
1/3
Let u be 1/5*-6*(-20)/3. Let k be (-18)/(-72)*u/(-2). Which is bigger: -1/146 or k?
-1/146
Let k(f) = -7*f - 141. Let h be k(-20). Which is bigger: h or 0.476?
0.476
Let g be (-2)/(-3) - (-14300)/(-21432). Are 0 and g unequal?
True
Let d = -1 - 0. Let s be 4/5*200/(-2320). Is s not equal to d?
True
Suppose -182*v + 179*v - 123 = 0. Which is smaller: v or 0?
v
Let i = -13 - 0. Let m = 0.38 + -20.38. Let f = i - m. Is f at most as big as 0?
False
Let z = 1.07 - 47.07. Let i = -102 - z. Which is greater: 1/3 or i?
1/3
Suppose -15 = 2*t - 7*t. Let n = -5/369 + 49/1599. Let a = n - -310/117. Which is smaller: t or a?
a
Suppose 52 = 14*g - 27*g. Which is smaller: -18/7 or g?
g
Suppose p = -3*p + 2*l + 30, 0 = 2*p - 4*l. Let n = 53 - 51. Suppose 10 = -5*j, 0 = 5*w - 2*w + n*j - 29. Which is bigger: p or w?
w
Let q = -64 - -64.04. Let k = -2 - -2.4. Is k not eq