 be u(1). Let q = 1 + d. Let x be 12/20 - 4/q. Which is smaller: 0.08 or x?
0.08
Let j be 0/(4 + -1*6). Let o be ((-60)/(-25))/(3/(-40)). Let p be (-26)/o + 9/(-12). Which is smaller: p or j?
j
Let y be 4/6 + 28/(-42). Let b be y + (-2 - 20/(-15)). Which is smaller: b or -5?
-5
Let f = 6640 + -3678561/554. Which is smaller: 0 or f?
f
Let p(b) = b**2 + b - 5. Let t be p(-5). Let w = 256/133 - 42/19. Is t smaller than w?
False
Let s be (-162)/(-14229) - (0 - (-1 + 1)). Let j = s + -1384/28985. Which is greater: -1 or j?
j
Let s = -270.9 - -271. Do -1981 and s have different values?
True
Suppose 5*d - 3*k = -44 - 24, -4 = d - 3*k. Suppose -b = -5, 5*b - 43 = t - 0*t. Which is smaller: t or d?
t
Let o be (-90)/(-19791)*(-21)/(-35). Does 0 = o?
False
Let z = -389 - -388.9. Let q = -337/186 + 20/31. Which is smaller: z or q?
q
Let h = 3257/5207 - 25/41. Is h greater than or equal to -1?
True
Let f be 13 - (18/21)/(3/21). Is 117/14 not equal to f?
True
Let u(g) = 5*g - 4 - 8*g - 3 + 6. Let h be u(-2). Suppose -h*x = y - 2, -5*y + 2*x = -2*x + 19. Which is smaller: y or -2?
y
Suppose 42*i = -135*i - 3894. Let p = -16 - 5. Which is smaller: i or p?
i
Let b = 214 + -425. Is b != -1?
True
Let o(d) = d**3 - 19*d**2 + 39*d - 17. Let u(v) = 18*v**3 - 2*v**2 + v. Let x be u(1). Let b be o(x). Are b and 69 equal?
False
Let g(j) = j**3 + 4*j**2 - 4*j + 6. Let n(z) = 3*z + 10. Let r be n(-5). Let c be g(r). Let u(f) = 2*f**2 + 15*f + 7. Let m be u(-7). Is m > c?
False
Let j = 0.2 - 0.2. Let c = 0 - j. Let s = -756/5 + 152. Which is smaller: c or s?
c
Let h be (-690)/(-161)*(2/(-2) + -48). Which is smaller: -211 or h?
-211
Let r be ((-3)/2)/((-13)/26). Let n be (-184)/(-10) - r/(-5). Suppose -3*j + 2*b + n = -0*j, -5*j + 29 = -2*b. Is 4 smaller than j?
True
Let o = 1.2 - -70.8. Which is smaller: -3 or o?
-3
Let a(j) = 2*j**3 - 6*j**2 - 4*j - 17. Let k be a(4). Is -2/223 at most as big as k?
False
Let z be 21/98*7*4/21. Let m = 10 - 23. Do z and m have different values?
True
Suppose -c + 5 = 3. Let v be 4/10 - 6/(9720/(-1457)). Let o = v + -4/81. Is o < c?
True
Let d(l) = l**2 - l - 115. Let t be d(22). Are t and 348 nonequal?
True
Suppose -4*w + 3*w + 40 = -2*j, 2*j - 110 = -4*w. Let y be 1*6 - 33*(-17 + 18). Let g = w + y. Is 5 at most as big as g?
False
Suppose -j - j + 18 = 0. Let p be (-42)/j - (-3)/(-9). Which is smaller: -6 or p?
-6
Let j = -2695 + 2696.266. Is j less than or equal to 0?
False
Suppose 0 = 26*l - 23*l - 15, -5*l + 9 = 4*u. Is u >= -44?
True
Suppose -5*h + s + 7 = 0, 0*h - 4*s = -5*h - 2. Let q = 814 - 814. Suppose -h*y + q*y = -50. Is 25 at least y?
True
Let d = -0.069 - -28.069. Let b = -27.82 + d. Let l = 0.07 - b. Does 0.1 = l?
False
Suppose -10*a = -5*a + 20. Let w(y) = -y**2 - 28*y + 87. Let s be w(-31). Which is greater: s or a?
a
Let l be (-5 - -5)*(-2)/8. Suppose 0 = -4*j - u - 33, l = j + j - 5*u + 11. Is -9 greater than or equal to j?
False
Let a = -120224/15 - -13582472/1695. Let f = 1/113 + a. Let g = -31 + 28. Which is greater: f or g?
f
Let n = 130 + -40. Which is smaller: n or 94?
n
Let k = 0.7 + -0.36. Let c = k - 3.34. Is -3/4 at most as big as c?
False
Let j = 18 - 20. Let u(q) = -2*q**2 - 6*q - 6. Let l be u(j). Which is smaller: -3 or l?
-3
Let j = -7.66 + 6.66. Is j less than or equal to -53?
False
Let d be 1/((-18)/(-4)) - 3116/15048. Is d greater than or equal to -1?
True
Let x = 0 - 1. Let b be 2*(-2 + (-1 - x)). Let l(d) = 163*d - 166. Let j be l(1). Is b equal to j?
False
Let b(v) = -3*v**2 + 3*v + 3. Let k be b(-2). Let a be ((-6)/(-3))/(-2)*k. Is a equal to 14?
False
Let l(q) = -3*q - 1. Let p be l(-5). Let k = 14 + 1. Does k = p?
False
Let d(q) = q + 11. Let w(g) = -g**3 + 9*g**2 - 2*g + 2. Let t be w(10). Let h be t/12 - (-1)/(-6). Let m be d(h). Which is smaller: -2/21 or m?
-2/21
Suppose 0 = 2*g - 0*g. Let w = 5 + g. Suppose 0*c = -w*j + 3*c + 3, 0 = c + 1. Does j = 1/12?
False
Suppose -36*n = -42*n + 168. Which is smaller: n or 33?
n
Let x(d) = 2*d + 12. Let m be x(-6). Let n = 1153 + -65723/57. Is n bigger than m?
False
Let i(l) = -l**3 - 10*l**2 - 17*l - 8. Let n be i(-8). Let f(w) = -95*w**2 + 2*w + 1. Let z be f(-1). Let h = 482/5 + z. Which is bigger: n or h?
h
Let j(d) = -d**2 + 2*d - 43. Let m be j(10). Is m at least -124?
True
Let h(v) = 4*v**2 + 4 + 1 - 7*v + 2 - 5*v**2. Let i be h(-9). Which is smaller: i or -9?
i
Let n = 132.4 - 132.5. Let w = -10 - -2. Let o = w + 16. Do n and o have the same value?
False
Let s = -588115 - -87040615/148. Let r = s + -1/74. Let g(c) = -3*c**3 + 2*c - 1. Let u be g(1). Which is smaller: r or u?
r
Let y = -48 + 62. Let r(l) = l**3 - 13*l**2 - 15*l - 8. Let h be r(y). Does h = -20?
False
Let b = 67 + -63. Do b and 31/6 have the same value?
False
Let r = 18 - 44. Let f = 26 + r. Is -1/8 greater than f?
False
Suppose -s + 22 = -5*j + 5, 56 = 2*s + j. Suppose -2*q + 2*b = -0*b - 52, 0 = 4*q + 4*b - 120. Which is bigger: q or s?
q
Let j be (4 - 2)/(80 + -3). Are j and 1 equal?
False
Suppose 0 = 2*q - 5*i + 151, 4*q + 189 = q - 5*i. Let f be -1 - (1 - 1) - q. Suppose -f - 14 = 3*t. Is t <= -28?
False
Suppose 154 = -4*s + t, 2*s - 3*s = 3*t + 32. Suppose -3*u - 111 = 5*b, 3*u = 3*b - 54 - 57. Which is greater: u or s?
u
Let y be -3 + (-9)/3 + 4. Let w be y - -4 - 14/(-2). Let r be (5 - -19)*3/9. Which is greater: r or w?
w
Suppose -4*l + 6 = -7*l. Let u be l/8*(-2 - 6). Let k be 8/260 + u/10. Which is smaller: k or 1?
k
Let v(f) = -f**2 + 17*f + 1. Let r(c) = c**2 - c - 1. Let u(i) = 7*i**2 - 2*i - 5. Let y(o) = -2*r(o) + u(o). Let d be y(-2). Let n be v(d). Does n = -22?
False
Let d = -0.3 - 1.2. Let y = 45.5 - 47. Let m = y - d. Is m at least as big as 0.1?
False
Let m be (28/(-4) - -12) + (-2757)/(-21). Is 137 at most m?
False
Suppose -g + 2*l - 11 = 0, g = 4*g - 3*l + 21. Let h be g*5*(-4)/6. Suppose 37*t = 40*t - 3*o - 39, 3*o = 4*t - 49. Is h at least t?
True
Suppose 0 = 41*k - 16*k. Which is bigger: 410 or k?
410
Let s = -2 - -0.5. Let n = s - -3. Are n and -1 non-equal?
True
Suppose -2*n - n = -10*n. Do 2/979 and n have different values?
True
Let d(b) = -150*b - 11. Let j be d(6). Let g = j + 1279. Let o = -3317/9 + g. Is o less than 0?
True
Let u = 140 - 140.1. Does 98 = u?
False
Let s(i) = i**2 - 2*i. Let o be s(-1). Suppose 4*y - 37 = -z, -2*z - 40 = -5*y + o*z. Is 7 greater than or equal to y?
False
Let b = 4 - 3. Let t = -597368/205 - -2914. Are b and t equal?
False
Let u = 12.29 - -80.61. Let j = u + -93. Suppose 4*m = 3*t + 29, 3*m - 11 = -m - 3*t. Does j = m?
False
Let g be (4 - 4) + 2292/(-78) + 4. Do g and -24 have the same value?
False
Let s = -68 - -67.9. Is s > -20?
True
Let c = -157 + 789/5. Let t = 3 + -2. Is t smaller than c?
False
Let x be (-32)/(-4) + -594 - (1 + 0). Do -587 and x have the same value?
True
Suppose 0 = 81*g - 54*g - 18225. Is g smaller than 675?
False
Let h = 0.6 - 0.1. Let w = -167 - -168. Is h greater than or equal to w?
False
Let o be 3401/(-2090) + 9/(-33). Is 1 at most o?
False
Let t = 31794.11 + -31925. Let w = 129 + t. Let l = w - 0.11. Which is greater: l or 0.4?
0.4
Let a = -0.006 - 20.994. Let j = -23 + 38. Let n = j + a. Is n < 2/3?
True
Let n be 2/(-14) - (-9956)/17556. Which is greater: -1 or n?
n
Let k = 124 + -155. Let m = k + 32. Which is smaller: m or 3/32?
3/32
Let p = -49 - -63. Suppose -3*l = -0*l - 36. Which is smaller: p or l?
l
Let g be 72/(((-80)/(-110))/(-4)). Is -395 at least as big as g?
True
Let f = 3 - 3. Suppose -8*o + 3*o + 20 = f. Do 4 and o have different values?
False
Let j = 3.35 - 3.2. Let l = j - 2.15. Let g = -0.5 - -0.6. Which is greater: g or l?
g
Let y = 236 + -236.03. Which is smaller: y or 5?
y
Let w be ((-27)/(-18)*-1)/(102/(-8)). Is 0.65 less than w?
False
Let v(k) be the third derivative of -k**6/120 - k**5/20 + 11*k**4/24 + 5*k**3/6 + 3*k**2. Let x be v(-5). Suppose 0*h - 4*h + 20 = x. Are h and 3 equal?
False
Suppose 6*l - 86 = 2464. Let q = l - 1286/3. Which is greater: -0.2 or q?
-0.2
Let h = 46 + -27. Suppose -2*l + 16*v - 19*v = -1, -5*l = -3*v - 13. Suppose p + 3*x = h, 0*p - p - 1 = -l*x. Is 17/3 greater than p?
False
Suppose 115 - 73 = 42*s. Which is greater: s or 17/57?
s
Let n = 32 + -70.5. Let x = 39 + n. Which is smaller: 8 or x?
x
Let v be 4/(-14) - 3749/84. Let x = -