1. Let a be k(11). Let c = a + 35. Suppose 26 + c = -n. Is n smaller than -27?
True
Suppose 0*n - 2*n = -18. Let f be (15/n)/((-2)/(-4)). Let m be 3/(0 - (-2)/(2 - 0)). Which is smaller: m or f?
m
Let a be ((-702)/(-15) + 0)/(20/50). Which is smaller: 115 or a?
115
Let q = 2890/27 + -89548/837. Is q at least as big as 1?
False
Let h be (208/1652)/(-1) - 2. Let k = h + -1/59. Is -2 greater than k?
True
Let v = 17 + -15.4. Let s = 0.1 - 1.6. Let u = v + s. Do -0.2 and u have the same value?
False
Let j = 669/133 - 35103/6650. Let l = j - 9/50. Suppose -4*w = -5*x - 11, 0*x + 4*w - 21 = -5*x. Which is smaller: x or l?
l
Let g = 226299 - 1580823/7. Let r = -468 + g. Let i = -0.1 - -0.2. Is i smaller than r?
False
Let y = 450 - 613. Is y at most as big as -163?
True
Suppose -5 = -s, -i + 3*i - s - 19 = 0. Suppose -14*o = -11*o - i. Is o at least as big as -1?
True
Let k(h) = 21*h - 284. Let c be k(17). Is c < 72?
False
Let t = -7.15 - -9.15. Which is greater: t or -252?
t
Let g = 83 - 83. Suppose g*z + 3*z - 2 = -2*d, d = -z. Which is bigger: -9 or z?
z
Suppose -1206 - 842 = 8*k. Which is smaller: -258 or k?
-258
Let o = -2902 + 989581/341. Is 0 at least o?
True
Let r be (0 + 28/8)*2. Let d = r - 5. Suppose 3*m + 11 = 4*h - 2*m, -h - d*m - 7 = 0. Which is smaller: -5/3 or h?
-5/3
Let i = 453.9 + -454. Is -0.089 greater than i?
True
Let t be ((-28)/(-35))/(7/140). Which is bigger: -11 or t?
t
Suppose 4*k = 159 + 81. Let f be 5/(k/(-8))*-3. Suppose -o + 5*l = -3*o - f, -2*l = 0. Is o at least 2/5?
False
Let r(o) = o**3 + 35*o**2 - o - 48. Let i be r(-35). Is i >= -13?
True
Let a be (-19)/57 - ((-52)/18)/2. Suppose 3*b = -5*g + b, b + 7 = g. Which is smaller: a or g?
a
Let h be (1 + 0)*(4 + -2 + -1). Suppose 3*n = -h + 4. Are n and 40 nonequal?
True
Let k = -29.72 - -29.72. Let l(q) = -q + 2. Let o be l(3). Let h be 29/105 - o/(-3). Is k < h?
False
Let t(i) = i + 3. Let y be t(-1). Let j(d) = 5*d - 9. Let l be j(y). Is 3/10 not equal to l?
True
Let y be 3/(3/4) - 3. Suppose -2 = -3*s + y. Let j be ((-2)/(-5))/((-55)/25). Are s and j non-equal?
True
Let l = 118 - 103. Is 130/9 > l?
False
Suppose -4*k + 9*k = 0. Which is smaller: k or -1/667?
-1/667
Let y = -0.2278 + -0.0492. Which is smaller: y or 0?
y
Let c = -11 - -11. Suppose 2*g + 3*g = c. Suppose 2*r - 3 + 17 = g. Are -8 and r unequal?
True
Suppose 2*s + 5*b - 19 = 0, -3*s + 3*b - 24 = -6*s. Suppose -2*x = 3*x - 30. Which is greater: x or s?
s
Suppose 13 = q - 4*o + 1, -q + 14 = -5*o. Suppose q*u - 24 = 2*u. Let g = u + -12. Is g at most -3/8?
False
Let r = 3/475 - 37537/1900. Which is bigger: -19 or r?
-19
Let z = 2807/11 - 255. Let n(m) = m. Let k be n(0). Is z > k?
True
Let n(v) be the second derivative of -v**5/20 + v**4/4 - 5*v**3/3 + 9*v**2/2 + v + 12. Let p be n(4). Are -48 and p equal?
False
Suppose 5*p - 39 = 1. Let l be ((-27)/12)/(1/p). Let t be ((-48)/l)/((-2)/1). Is -2/5 at least t?
True
Let h = -79 + 74. Let r be (3 - 0) + 275/(-35). Which is smaller: r or h?
h
Suppose -6*l + 12 = -3*l. Suppose 4*o + l*a - 4 = 0, 0*a = -3*a - 3. Suppose w = o*w + 2. Does -3 = w?
False
Suppose z + 4*b = 24 + 19, -3*b + 46 = z. Is -2/5 > z?
False
Let k be (-4)/5*((-21)/(-6) - 6). Are 19/12 and k nonequal?
True
Let h be (-12)/18*12 - (1 + -2). Which is bigger: h or -37/6?
-37/6
Let m be (-12)/60 + 4/(-210)*-3. Is m at least as big as -3/2?
True
Let g = -2 - -2. Let h(t) = t - 2. Let k be h(4). Let u(a) = 5*a**2 - 3*a + 2. Let j be u(k). Is j at most as big as g?
False
Let q = 9081/38 + -239. Which is smaller: 1 or q?
q
Let y(k) = k**2 - 8*k + 7. Let p be y(7). Suppose -m - 5*g - 17 = 0, 0 = 3*g + 2*g + 20. Suppose 3*r + 18 + 27 = -m*z, -15 = z + 4*r. Is z at most as big as p?
True
Suppose 3*p - 13 - 32 = 0. Suppose -4*t = t + p. Suppose -5 = 4*o - 3*o. Which is smaller: t or o?
o
Let x = -656.1 - -656. Let p be 0/5 + (-4)/(-14). Are x and p non-equal?
True
Let g be (3/6)/(2/(-4)). Suppose -3*o - h - 20 = 0, 0*o + 2*h - 2 = o. Let n be (18/12)/(o/(-14)). Is n greater than or equal to g?
True
Let r(q) = 5*q**2 - q + 2. Let f(b) = 6*b**2 - b + 1. Let s(i) = -4*f(i) + 5*r(i). Let c be s(0). Suppose -c = -5*d + 29. Which is smaller: d or 8?
d
Let v = 3.1 + -3.08. Let a = -1/17 - -55/68. Which is smaller: v or a?
v
Let z = -0.02 - 1.98. Let i = -1 - z. Let s = -11/114 - -5/19. Is s bigger than i?
False
Suppose 5*y + 4*o + 69 = 9, 0 = -5*y + 2*o - 60. Let a = y + 6. Let t be -7*2/(20/10). Which is smaller: t or a?
t
Let q = 361 + -371. Do -10 and q have different values?
False
Let n(y) = 5*y - 41. Let x be n(-11). Let r = x + 102. Is r bigger than 0?
True
Let z(d) = -d**2 - 8*d + 3. Let x be z(-9). Let f = x + 3. Let g = -74 - -289/4. Is f < g?
True
Let p = 18 + -5. Let b = -50 + 62.2. Let d = p - b. Which is smaller: d or 0.1?
0.1
Let w = 3001 + -51151/17. Which is greater: w or -8?
w
Let v = -313 + 172. Is -139 != v?
True
Let v = 306 - 305.95. Is 4 at least v?
True
Suppose 2*c + 2*c = 12, 4 = -2*n - 4*c. Are n and -74/9 unequal?
True
Let l = -46 + 49. Let d be (-2*(12/(-28))/l)/(-3). Is d at least as big as -3?
True
Let t = -5785.7 - -5786. Let u = -0.2 + 0.3. Which is smaller: t or u?
u
Let r = -3 - -1. Let l = 4/645 - -26867/1290. Let u = 41/2 - l. Which is bigger: u or r?
u
Let l = -56.1482 + 0.1482. Which is smaller: l or -13?
l
Let h(m) = m - 12. Let b = 15 + -20. Let d be h(b). Let a be (-4)/8 + d/(-26). Is a at least as big as 0.2?
False
Let g be 42/(-9) + 5 - 8082/27. Do -298 and g have the same value?
False
Suppose -26 = 3*n - 32. Is 6 less than or equal to n?
False
Let v(q) = q**2 + 44*q - 142. Let h be v(-47). Let u be ((-3)/(-6) - 0)*4. Suppose -2*n + 0 = u. Do n and h have different values?
False
Let v(z) = -z**2 - 6*z + 11. Let w be v(-7). Suppose -w*i - 111 = -i. Is -37 != i?
False
Let v(j) = 3*j**3 + 3*j**2 - 2*j - 4. Let x be v(-1). Let b be 55/(-21) - 2/(-7). Which is greater: b or x?
x
Suppose -5*f + 2*f = -3. Let v be 5*(-6)/(-165) - 480/1188. Is v >= f?
False
Suppose -3*i + 5*t = -0 - 187, -5*i + 299 = -2*t. Let z = 41 - i. Are 1 and z non-equal?
True
Let n = 11.2 + -11.272. Let x = n - 0.028. Is x smaller than -19/2?
False
Let b be (-4)/(-10) - 909680/450. Let c = b + 1920. Let r = c - -101. Is r > 1?
False
Suppose 5*s + 15 + 2 = 3*i, s - 4*i + 17 = 0. Let g be s/(-4)*((-568)/(-536) + -1). Which is greater: g or -1?
g
Let g be 1*109 - (-28)/(-7). Let p be ((-60)/g)/((-100)/14). Are 1 and p unequal?
True
Let o(g) = 7*g - 28. Let u be o(4). Which is smaller: u or -3/205?
-3/205
Let u(t) = -t - 4. Let d be (-3)/1*24/18. Let g be u(d). Suppose g*v = 4*v + 40. Does v = -9?
False
Suppose -406 = -25*f - 6231. Which is bigger: -232 or f?
-232
Let h(r) = 3*r**2 - 2*r - 1. Let a(m) be the first derivative of -m**3/3 - 4*m**2 - 13*m + 7. Let p be a(-6). Let x be h(p). Which is smaller: x or 7?
x
Suppose 4*n + 0*k = -5*k + 16, 5*n - k = 49. Suppose 4*f = -29 + n. Let a = 0.04 + -2.04. Is a greater than or equal to f?
True
Let s = -22 - -16. Let u(v) = v**3 - v**2 - 7*v + 3. Let k be u(3). Let h = k - s. Which is smaller: h or 5?
5
Let h be (1/(-2))/((-4)/(-96)). Let x = 21 + -21.1. Which is smaller: x or h?
h
Suppose 39 = b + 4*x + 138, 4*b - 4*x + 316 = 0. Let f = b + 96. Which is bigger: 15 or f?
15
Let j(b) = -568*b + 119. Let u be j(-2). Is u > 1256?
False
Let p be ((-107)/(-3)*1)/(245/(-238)). Let d = p + 173/5. Are 0 and d nonequal?
True
Let z be ((-30)/(-18))/(15/9). Which is smaller: z or 1/4509?
1/4509
Let r(h) = h**3 - 9*h**2 + 8*h - 78. Let d be r(9). Which is greater: d or 66?
66
Let c = 78 - 33. Suppose 0 = -p - 4*p + c. Suppose 3*q - 4*l + 11 = 0, -5*q + l - p = -l. Is q <= -4?
False
Let v(t) = -t - 10. Let i be v(0). Let w be ((-36)/15)/(-3) - 806/(-155). Let p be w/(i/(-5)) + 10. Is 13 at least as big as p?
True
Suppose 2*b + 60 = -3*b. Let n be (b/(-42))/((-18)/(-21)). Which is greater: n or -23?
n
Suppose -25 = -5*p - 3*n, -14 = -2*p - n - 3. Let v(j) = -j**3 + 6*j**2 + 16*j - 8. Let k be v(p). Is -8 < k?
False
Let x be (-26)/52 - 438/(-880). Is x != 1?
True
Let t = -1474635892/49 - -30095886. Let b = t - 1276. Which is smaller: b or 0?
b
Suppose 0 = 4*f - 4*x + 24, -3*f + x - 17 = -x. Let o be 22/55 - 13/f. Which is bigger: o or 30/11?
o
Suppose -8 = 4*r - h - 10, -5*r = -3*