. Let k = -3 - u. Is k smaller than -62?
False
Let n be (6/9)/(12 - 0). Suppose -52 = -2*k - 58. Which is greater: k or n?
n
Let x = -31.023 + 0.023. Let l = x + 30. Which is greater: l or 15?
15
Suppose -67 = 5*y + 23. Suppose 0 = 37*n - 41*n - 80. Which is smaller: y or n?
n
Suppose 3*j = 5*f + 8, 4*f + 2*j - 3*j = -5. Let t be (0 - 4)*f/((-14)/(-1)). Which is smaller: -4 or t?
-4
Suppose 2*i - 24 = 2*k - i, -3*k - 2*i - 10 = 0. Suppose -2*j = 53 - 57. Let u be j/(-3) - (-264)/(-36). Which is greater: k or u?
k
Let l be (387/(-27))/((-15)/9 + 2). Does -48 = l?
False
Let s(d) = d**3 + 4*d**2 - 5*d - 3. Let u be s(-5). Let k = 100 - 99. Let b be 3 - (u + k - -1). Is b at least as big as 4?
True
Let w(r) = -2*r**2 + 6*r - 8. Let v be w(4). Let k(h) = -h**3 - 9*h**2 + 13*h + 12. Let q be k(-10). Is q at most v?
True
Let p be (-6)/(-4)*(-98)/21. Let n = -5 - p. Is n equal to -1/6?
False
Suppose 4*t = 4*q - 12, 0 = -3*t - 11 - 1. Is q != -2/2073?
True
Let v = -134 - -146. Let w be (-1 + 2)/((-2)/(-25)). Do v and w have the same value?
False
Let d = 4.04 - 3.9702. Is d equal to 0?
False
Suppose -4*z - 3*x + 70 = 18, 0 = z - x - 6. Which is smaller: z or -8?
-8
Let f(s) = s**2 + 24*s - 25. Let t be f(1). Is 0 at most t?
True
Let z = -2.3 + 1.9. Let m = -0.3 - z. Which is bigger: -6 or m?
m
Let h be (2 - 1)*(-8 - -34). Let b = h - 23. Let m be (b/(-46))/((-6)/(-8)). Is 0 != m?
True
Let v be (-280)/975 + 0 - 2/(-13). Let f = -1/7 - 5/14. Which is bigger: f or v?
v
Suppose 2*y = 15*o - 10*o - 20, 0 = 2*o - 8. Which is bigger: y or 3/74?
3/74
Suppose 8*a - 270 = 13*a. Let w = 56 + a. Suppose 12 = -0*z + 4*z. Which is smaller: w or z?
w
Let s = 0.2 - -0.6. Let f = s + -1.7. Let p = -1.9 - f. Which is smaller: -0.02 or p?
p
Let x be (-1685)/(-7755) + -3*2/33. Let l = -881/987 + x. Which is greater: l or -1?
l
Let h(w) be the third derivative of w**4/8 - 17*w**3/6 - 8*w**2. Let y be h(6). Is y <= 16/3?
True
Let t be 0/((-5 + 1)/(-2)). Suppose 0 = f + 2*f + 420. Let z be 1*-4 + (-568)/f. Is z smaller than t?
False
Suppose 2*w - 86 = -3*k + 4*w, -52 = -2*k + 4*w. Let a be ((-8)/30)/(k/(-45)). Which is smaller: a or 2?
a
Suppose -2*t = t - 270. Let l be (t/(-332))/((-48)/8). Let u = l - -2/415. Is u smaller than -1?
False
Let d = 50 - 71. Let s = 13 + d. Let z = s + 8. Is z less than or equal to -2/3?
False
Suppose -4*s - 2*c - c - 69 = 0, 0 = -c + 1. Let j be (-1)/(-3) + s/216. Let p = 14 + -8. Is j bigger than p?
False
Let n = -285 - -857/3. Is n greater than or equal to -20?
True
Let j be (63/(-33) + (-1)/(-1))*31. Which is smaller: -29 or j?
-29
Let o = 0.6 + -1. Let z = 128.4 + -131. Let s = o + z. Which is bigger: -0.2 or s?
-0.2
Let c = 59 + -59.31. Let r = -0.12 + c. Let a = r + 0.13. Which is bigger: 0.2 or a?
0.2
Let p = 886 - 9686/11. Do p and 5 have the same value?
False
Let p(q) = -q**3 - 7*q**2 + 4*q + 10. Let f be (3 - 5)/(-2) + -8. Let i be p(f). Is i at least as big as -1?
False
Let l = -61 + 107. Let h be 60/36*2256/80. Which is bigger: l or h?
h
Let z = 12 - 14. Let b(x) = 7 - 7 - 5 - x. Let d be b(-3). Is z at least as big as d?
True
Let u = 714.61 - 710. Let o = 4.5 - u. Is o < 1?
True
Suppose -2*y + 0*y + 12 = -5*n, 5*n = -5*y - 40. Let p(h) = 3*h**2 - 3*h - 2. Let u be p(-2). Let t be u/(-7) + (-2)/(-7). Is n at most t?
True
Let p be 11/((-275)/15) - (-357)/345. Which is bigger: 0.1 or p?
p
Suppose -8*t - 219 - 197 = 0. Is t < -52?
False
Suppose -m = -2*m + 12. Let f be (-18)/16*28/m. Let k = -1/8 - f. Is 3 at least as big as k?
True
Let t = -243 - -251. Is 11 != t?
True
Let i = 506 + -507. Is -219 at most as big as i?
True
Let s = 12447/8 - 1554. Let b = -13/8 + s. Let x = -0.099 - -0.099. Is x at most as big as b?
True
Let h(m) = m**2 - 15*m + 60. Let r be h(8). Which is bigger: r or 39/14?
r
Let y(v) be the first derivative of v**4/4 + 4*v**3/3 - 5*v**2/2 - 5*v - 2. Let q be y(-5). Suppose 0 = 3*l - 6 + 3, -4*m = 5*l + 15. Is m at least q?
True
Let y be 4/30 - (-4)/1440*-68. Is y smaller than 0?
True
Let s = -27 - -46. Suppose -2*g = 3*z + s, 3*g - 5*z = -9 + 28. Let l = -2/549 + -541/2196. Is l >= g?
True
Let v = -61 + 99. Which is greater: v or 39?
39
Let j = 19 + -14.8. Let v = j + -3.9. Is -2/41 greater than or equal to v?
False
Let o = 7.574 - 27.59. Let x = -0.016 - o. Let v = 20.1 - x. Is 0.09 > v?
False
Let q = 127 - 128. Suppose 4*d = -2*b - 29 - 9, 0 = -5*d + 3*b - 20. Let j = -5 - d. Which is smaller: j or q?
q
Suppose 3*b + 14 + 58 = 0. Let g = -74/3 - b. Is -1 at most as big as g?
True
Let i = -0.555 + -0.445. Is i less than or equal to 50?
True
Suppose 135 = -9*y - 1485. Let g be 2/((-5)/(y/(-8))). Which is smaller: g or -3?
g
Let a be (-6)/42 - (1 - 0). Let p = 2/35 - a. Is 1 less than p?
True
Suppose -270 = 15*w - 30. Is -19 at least as big as w?
False
Let i = 39.02 - 39. Let z = i - -0.38. Let t = -11.7 - -12. Which is smaller: z or t?
t
Let s = -16 - -15. Let p be 16 - (2 + 0 - 0). Let f be (-18)/14 - (-4)/p. Is f != s?
False
Let v = -0.104 - 0.096. Let m = -0.04 + 0.44. Let n = 1.4 - m. Is v less than n?
True
Let o(h) = -4*h + 2*h - 9 - 4*h + 3*h - 4*h**2. Let b(n) = -n**2 - n - 1. Let t(x) = -6*b(x) + o(x). Let l be t(-4). Which is smaller: l or -0.1?
-0.1
Let v = -7 + 2. Let b(z) = 5*z + 2. Let m be b(5). Let f be m/(-4) - (-28)/(-112). Is f < v?
True
Let b(f) = f**2 + 8*f - 1. Let m be b(-8). Suppose -5*j = -0*j - 115. Suppose 4*t = -4*x - 7 + j, -3*x - 2*t = -9. Is x equal to m?
False
Let b = -41.9 - -39.9. Which is greater: b or 122?
122
Let k = 361637/7 - 18214636/357. Let d = k - 641. Suppose -3*x + 15 = g, 5*g - x - 4*x = -25. Is g at most as big as d?
True
Let l = 266 + -269. Which is smaller: l or 32?
l
Let h = -718040/1293 - -1666/3. Let p = -880/3879 + h. Suppose -1 = 3*f - 2*i, -2*f + 12 = 2*f + 4*i. Is f < p?
False
Let w = 2 - 2. Suppose 13 = -b + 5*g - 13, 5*b - 2*g + 61 = 0. Let o = -13 - b. Is o greater than w?
False
Let x(z) = 6*z - 2. Let o be x(1). Suppose -o*c = -p - 4, -2*p - 3*c = p - 3. Do 6/5 and p have different values?
True
Let b(s) = 3*s + 143. Let h be b(-20). Which is smaller: 0.2 or h?
0.2
Suppose 500*r + 2883 = 503*r. Is 962 less than or equal to r?
False
Let n = -18259/2871 - 1/261. Which is smaller: n or -5?
n
Let i = 0.04 + 0.46. Let m = -0.47 - -0.51. Let v = m - -0.26. Is i > v?
True
Let c = -15720 + 16058.06. Let l = 346 - c. Let n = -0.06 - l. Is 0.1 smaller than n?
False
Let q be 1*(-2)/(-12)*-3*2. Suppose 10 = w + 5*r, 2*r + 0 = -3*w + 17. Let f be (-48)/22 - (3 - w). Which is bigger: q or f?
f
Let h = 62/11 - 421/22. Let i be 4/25*(-30)/(-12). Is i at most h?
False
Let u = -0.01 + -0.13. Let b = 0.12 + u. Let i = -0.1 - b. Is -1 less than i?
True
Suppose 0 = -u + 3*g - 12, 2*g + 1 - 5 = 2*u. Suppose 2*f - u*c = 3*f + 7, -4*f + 2*c = 0. Let z be (7 - 7)/(3*f). Which is smaller: z or -2/9?
-2/9
Let h(o) = 20*o + 183. Let l be h(-9). Let x = -1320 - -9262/7. Does x = l?
False
Let c = 75 + -99. Which is smaller: -22 or c?
c
Let y = 276/13 - 1276/65. Suppose 2*r - 11 = -5*u, 3*u + 18*r - 3 = 15*r. Which is greater: u or y?
u
Suppose -1 = 4*o + 3. Suppose 4*u + 4*v = -16, 3 = -3*u + 2*v + 1. Let c be u - -3*(-1)/(-2). Which is smaller: o or c?
o
Let a be 3784/1548 + (-3)/(3/2). Which is smaller: 8 or a?
a
Let q be (-1204)/(-49) - 6/(-14). Let s be (282/(-50))/((-10)/q). Let l = 14 - s. Which is smaller: 1 or l?
l
Let c = 76 - 70. Suppose 0 = c*p + 8*p - 154. Do 11 and p have the same value?
True
Let m be (-240)/(-700)*5/314. Is -1 at most m?
True
Let x be (-2)/(10/75) + -7. Is x smaller than -62/3?
True
Let y(c) = -c**3 - 7*c**2 + 14*c - 35. Let h be y(-9). Is 23/51 > h?
False
Let r be 2 + 7/((-14)/22). Does 0.1 = r?
False
Let v = -40 + 40. Suppose v = -3*f + f + 4. Suppose -7*r + 9 - f = 0. Which is bigger: -1/53 or r?
r
Suppose t = -96 + 99. Let i be (-3)/(-6)*-5*-2. Which is bigger: t or i?
i
Let d be (28/420 + (-2)/5)*2. Is d < 10?
True
Let n = -42 + 377/9. Let s = -370 - -393.7. Let a = s + -24. Do n and a have different values?
True
Let c = -226 - -208. Which is smaller: c or -17?
c
Let i be -23 - (-8 - (-9 - -2)). Is -29 at most as big as i?
True
Let h(s) = -s**2 - 5*s + 20. Let x be h(-7). Let u be -1*5*x/75. Which is smaller: u or -10?
-10
Let r be (-6 + (-7)/7)*1/(