be u + ((-32)/6 - 0). Is a bigger than -2?
True
Let f(h) = h. Let z be f(-5). Let n be (-4)/3 - 31/(-21). Which is smaller: n or z?
z
Let c(r) = 18*r**2 - 7*r + 2. Let p be c(1). Which is greater: 10 or p?
p
Let b be 76779/7677 + -12 + 2. Is 1 at least as big as b?
True
Let k(h) = -2*h**2 + 17*h - h**2 - h**2 - 15 + 3*h**2. Let c be k(16). Let n be c + 33/(-12) + 3. Which is greater: n or 1?
n
Let v = -31.3 - -31.8. Is v equal to -3.7?
False
Let o = -15 - -23. Let d be (12/o)/((-9)/(-4)). Let x = 25.08 + -18.08. Which is smaller: x or d?
d
Let y = -218 - -195. Which is smaller: -22 or y?
y
Let g(q) = 54*q - 107. Let i be g(2). Which is smaller: 21/20 or i?
i
Let a be (-42486)/(-15432) - 2 - (-6)/(-8). Is -1 < a?
True
Let r(t) = t**2 - 17*t - 26. Let h be r(22). Is h at least 85?
False
Suppose r - 6 = -4*s, 4*r + 9*s = 4*s + 13. Suppose r*b - 2 = 2. Suppose -4*a = -2*g + 20, 8 + b = 5*g. Is -2 greater than or equal to a?
True
Let v = 0 - 0. Let l = 52 + -48. Suppose y - l*y = v. Which is smaller: y or 1?
y
Suppose 590 = 22*k - 81*k. Which is greater: -66/13 or k?
-66/13
Let g be (-2)/1*(-1)/2. Suppose -f - 8 + g = -4*v, 3*f + 7 = -2*v. Let m = -3 + v. Which is bigger: -2/3 or m?
-2/3
Let w = -919/34 + 43/17. Let m = -1123/46 - w. Which is greater: m or -1?
m
Suppose 10*m = 8*m, 0 = -2*p + 4*m - 2. Which is smaller: p or 15/112?
p
Let b = -42 + 42. Let q be b*((-2)/20 + (-14)/35). Are q and -4/13 non-equal?
True
Let d = -17.19 + 0.19. Let u = -17 - d. Let i = 185 + -2403/13. Is u at most i?
True
Let r = -0.2 - -0.22. Let g = 109.12 + -109. Let z = r - g. Is 10 equal to z?
False
Let h be (-45)/108*(-4)/10. Suppose 2 - 4 = 2*r. Is h equal to r?
False
Let n(i) = i**3 - 6*i**2 - 2*i - 7. Let k be n(7). Let l = k - 28. Is 5/7 less than l?
False
Let u be 4/(-18) + 6/27. Let p = 506 - 2025/4. Which is greater: u or p?
u
Let v = 56.6 - -5.4. Let h = 61 - v. Are h and -2.3 equal?
False
Let y(d) = 3*d**2 - 10*d - 10. Let i be y(4). Is -7/4 bigger than i?
True
Let m be ((-3)/(-3) + -7)/(58/87). Which is bigger: -10 or m?
m
Let b be ((-18)/27)/((-2)/3). Do b and -2/227 have different values?
True
Let l = 10.26 - 0.26. Let h = l - 9.4. Let k = 0.6 - h. Which is greater: -5/3 or k?
k
Let t = -39.6 + 112. Let c = -74 + t. Which is smaller: 0.3 or c?
c
Suppose 0 = -5*z - 4*s + 22, 2*s - 15 = -3*z - s. Suppose 0 = 3*w + 4*b + 11, 2*w + 5*b = -z*w - 14. Let h = w + -1. Which is bigger: h or -4/3?
-4/3
Let s(l) be the third derivative of -l**6/120 - l**5/10 + 5*l**4/24 - 3*l**3/2 - 21*l**2. Let q be s(-7). Is q at least as big as 8?
False
Suppose 5*r = 5*w - 3185, 2*r + 4*w + w = -1260. Is -634 greater than or equal to r?
True
Let j = -168 - -118. Let f = j + 50.07. Which is bigger: 0 or f?
f
Let b(q) = q**2 - 12*q - 30. Let r be b(-3). Which is bigger: 19 or r?
19
Let l = 308 - 325. Let v = 29 - 11. Let m = l + v. Is m > 2?
False
Let z be 0 - (3 - 3/3). Let h = -279/5 - -55. Which is smaller: z or h?
z
Let p be -4 + (-8 + 2)/3. Suppose 3*k - 137 = g, -96 = -5*k + 3*k + 3*g. Let l be (8/10)/((-6)/k). Is l > p?
False
Let f(o) = -o**2 - 23*o + 53. Let z be f(-25). Suppose 3*n - 4*q = 0, -3*q - 21 = 4*n - n. Is n greater than or equal to z?
False
Suppose w - 10 = -r - 11, -2 = 2*w - 5*r. Let y be ((-6)/(-4))/(450/(-16)). Is w greater than y?
False
Let r be -1 - ((-10)/14 - 0). Suppose 0 = 3*n + 47 + 79. Let i be n/15 + 3 + (-9)/(-105). Is r smaller than i?
True
Let h be (-14)/((4 - 5)*-4 + -8). Which is smaller: h or 1/2?
1/2
Let z be (-33)/165*10/2395. Which is bigger: z or 1?
1
Suppose -4*q = -3*s + 14, -q - q = 4*s - 4. Does s = -6?
False
Let p(v) = -v**3 + 2*v - 1. Let u be p(-2). Let c = -63 + 89. Let b = c - 21. Is u at most b?
True
Suppose 3*k - 3 = 3*h, 13 = -4*h - 10*k + 5*k. Which is bigger: h or -22/35?
-22/35
Let x = -10 - -7. Let w = 2380 - 2380.1. Which is greater: x or w?
w
Let h be 1 - 13/((-754)/(-60)). Let i be (-10)/(-4)*12/30 - 0. Is h less than or equal to i?
True
Let d be 2/7 + 38/14. Let n = -1 + d. Let r be -6*(1 - (-35)/(-30)). Which is bigger: r or n?
n
Let g = 27 - 25.9. Let o = 11.9 + g. Let s = o - 14. Which is greater: 0.2 or s?
0.2
Let h(f) = -134*f - 448. Let v be h(6). Is v at least -1252?
True
Suppose 2*y + 3*y - 4*a - 66 = 0, -5*y + a + 54 = 0. Let v be y/3*-2*-6. Suppose -h - 2*u - 20 = h, -2*u = 4*h + v. Do -10 and h have the same value?
True
Let z(u) = u**2. Let v be z(-2). Suppose a - q = -2*a + v, 5*q + 20 = 0. Is 8/19 at least as big as a?
True
Let z = -96.4 - -48.5. Let f = -43 - z. Let g = 5 - f. Is g greater than or equal to 2/29?
True
Suppose 3*v = 7 - 4. Let a be 2/4*-10*v. Which is bigger: a or -1?
-1
Let y = -7.96 - -6.06. Do y and 4/3 have the same value?
False
Suppose 8*n - 3 = 5. Which is smaller: -11 or n?
-11
Let t = -1.73 + 1.6. Let f = -225 + 449/2. Which is greater: f or t?
t
Let y = 0.34 + 13.66. Let v = y + 1. Does -1/2 = v?
False
Suppose n - 2*n - 289 = -3*j, 0 = 3*j - 9. Let u = 612176 + -23885786/39. Let a = n - u. Which is bigger: 0 or a?
a
Let g = -21.954 - 0.046. Let b = g - -17.4. Let y = 0.4 - b. Which is greater: 1 or y?
y
Let l(i) = -10*i - 2 - 3*i**2 - 2*i**2 + 12 - 3*i**2 + i**3. Let m be l(9). Is -3/13 at least as big as m?
False
Let x = -160 + 159. Is 1/40 <= x?
False
Let l(o) = -o**3 - 6*o**2 + 6*o + 1. Let d be l(-7). Let u(m) = 4*m**2 + 18*m - 5. Let k be u(-5). Let q be k/4*d/(-20). Are q and -1 unequal?
True
Let k = -10.67 - -11.67. Which is smaller: k or 864?
k
Let u = 1.8 + -1.9. Let r = 0.32 + -2.22. Let c = r + 0.1. Do u and c have the same value?
False
Suppose r + r = 3*w - 103, r + 2 = 0. Let j be ((-1)/3)/(11/w). Let u be (0/(-1 + j))/2. Is u > 2/21?
False
Let l be (-2)/(169/308 - 64/112). Is l at least as big as 87?
True
Suppose 5*u = 4*u + 2. Suppose -2*p - p + 21 = 0. Suppose 2*k = p*k - 10. Is k smaller than u?
False
Let q be (-1)/(-25)*-54 - -2. Let v be ((-66)/(-24) - 2)/(1/12). Suppose -3*b + 0*b = -3*o + v, -5*o - 1 = -b. Is q > o?
True
Let y be (28/8 + -3)/(-26 - -24). Which is smaller: 34/19 or y?
y
Let a = 3561928/155619 - -2/17291. Is 24 >= a?
True
Let y = -1196 + 4777/4. Suppose 3*t + 8 = 2. Is t bigger than y?
False
Let r = -0.14 - -0.24. Which is smaller: r or -0.31?
-0.31
Suppose -3169 = -7*r - 8391. Are r and -745 non-equal?
True
Suppose 28*i - 30*i - 3*y - 83 = 0, 2*i + y = -85. Which is smaller: 0 or i?
i
Let l(k) = k**2 + 7*k + 12. Let o be l(-6). Suppose 2*m + o = 8. Do -2/93 and m have the same value?
False
Let u be 4/18 + (-4)/((-972)/(-51)). Which is bigger: 1 or u?
1
Let f(g) = g**3 + 8*g**2 + 8*g + 20. Let i be f(-8). Let b be i - (-4 - -5)*-2. Let u be (b/8)/(6/(-16)). Are 14 and u nonequal?
False
Suppose 2*y + 75 = 3*b - 113, -3*b = 5*y + 449. Which is bigger: -90 or y?
-90
Let j = -45 - -44.8. Let c(y) = y**3 + 2*y**2 + 2. Let q be c(-2). Let m be q + ((-128)/(-14))/(-4). Is j at least as big as m?
True
Suppose -11*b = -78 - 10. Let m = 1084 + -3224/3. Which is greater: b or m?
m
Suppose 8*s - 17*s + 3816 = 0. Is s < 424?
False
Let z(x) = -x**2 - x + 5. Let g be z(0). Let f(q) = -q**3 + 6*q**2 - 6*q - 1. Let l be f(g). Which is smaller: -7 or l?
-7
Suppose 0 = 14*l - 3*l - 341. Which is bigger: l or -0.1?
l
Let n = -3443.9 + 3614.73. Let a = -170 + n. Let f = -0.03 + a. Which is smaller: f or 2/3?
2/3
Let i = 0.02 - 0.62. Let c = i - -0.3. Let k = -0.4 - c. Which is bigger: 20 or k?
20
Let k(q) = q**3 + 4*q**2 + 2*q. Let f be k(-3). Suppose 2 + f = 5*h. Which is smaller: 2/9 or h?
2/9
Let q(t) = t**2 - 17*t. Let a be q(17). Suppose -k - 1 + 3 = a. Which is bigger: k or 4/3?
k
Let i = -15 + 11. Let n = i - -15. Suppose 150 = 23*m - 8*m. Which is smaller: n or m?
m
Let c = 9.67 - -30.93. Do 0.1 and c have different values?
True
Let g be 6/45 - 604/30. Let d = g - -12. Let f = -34 + 33. Is f < d?
False
Let i = -3583346/19 + 188649. Let b = 52 - i. Is b smaller than -3?
False
Let x = 0.86 + -1.86. Is x at least -46?
True
Let a(y) = -y**2 - y + 2. Let q be a(-3). Let f be q/(-6)*6/(-4). Let w = f - -8. Is 13/2 less than or equal to w?
True
Let v be (-162)/42 - (-35)/7. Which is smaller: -3 or v?
-3
Let j = 180 + -671/4. Is 12 at most j?
True
Let m = 114.7 + -114. Let x be -1 - (-15)/28 - 8/28. Is x < m?
True
Let w(v) = v**3 - 3*v**2 + 2*v - 4. Let a be w(3