0. Let d be x(20). Is d at most 7?
False
Let d(x) = -5*x**2 - x**2 + 35 - 31 - 4*x + 5*x**2. Let l = 2 + -7. Let f be d(l). Which is smaller: f or -2/25?
f
Let n be (-12)/(-11) + -1 - 987/(-33). Which is bigger: 29 or n?
n
Let r = 3 - 4. Let g(p) = 3*p + 9. Suppose -5 = 2*l + 1. Let c be g(l). Which is bigger: r or c?
c
Let b(z) = -z**3 - 2*z**2 + 4*z + 2. Let u be b(-3). Let t be (-1 - -12) + u*(1 + 1). Which is bigger: t or 3?
t
Let q(a) = -2*a + 25. Let j be q(0). Suppose 0 = -24*b + j*b. Let l = 3 + -6. Is b at least as big as l?
True
Let p = 8.2 + -11.5. Let x = -3.2 - p. Which is smaller: x or 10?
x
Let t = 8.79 + 1.21. Let g = t + 132. Is 1 <= g?
True
Let o = -51.94 - -52. Is o > 0?
True
Let u = -16 - -10. Let p = u + 6. Is p not equal to -0.6?
True
Suppose 5*q + 3 = -b - 10, -q - 161 = 5*b. Let w = b - -11. Let i be (-46)/w - (-12 + 14). Is i <= -1?
False
Let t = -0.268 + 0.038. Suppose -14*c + 13830 = 13858. Which is greater: c or t?
t
Let r be (-1)/(4/(-16)) + 8/6. Let t = 21 - 17. Which is smaller: r or t?
t
Let j be (6/16)/(35/280). Let t = -1 + 3. Which is smaller: j or t?
t
Let s = -692 + 413. Let n = s + 316.4. Let o = n + -40. Which is smaller: 1 or o?
o
Let z be -5*(11 + (-5410)/(-50)). Which is smaller: -594 or z?
z
Let j = 137 + -113. Let s = -23 + j. Which is greater: -0.01 or s?
s
Let i be -114 + 12/(1 - 5). Let k = -123 - i. Is -19/3 at least as big as k?
False
Let p = -32688 - -424659/13. Which is bigger: -22 or p?
p
Let q = -308.3 - -308.4. Suppose 0*l = 2*l - 4. Let m be (l/(-4))/((-13)/(-12)). Which is smaller: m or q?
m
Suppose -4 = -7*d + 5*d. Let c(h) = -2*h**2 + h**3 + 0*h**d - 5*h + 4*h. Let g be c(2). Is -3 > g?
False
Let v = 2/137 + 75/4247. Is v at least 2?
False
Suppose -4*d - 1368 = -4*l, -2*d + 4*l = -6*d - 1400. Does -347 = d?
False
Let z = 8.1 - -23.9. Which is greater: 0.1 or z?
z
Suppose 6*y - 3*y - 9 = 0, y - 8 = -t. Suppose 4*z - 56 = 3*h, 4*z = -0*h + t*h + 64. Let r be 204/18 - (-7)/(-21). Is r equal to z?
True
Let p be (-363651)/135 + (-4 - 204/(-54)). Let k = p + 2695. Are k and 2 non-equal?
True
Let r(g) = -16*g + 176. Let m be r(-11). Are m and 353 nonequal?
True
Let m = -264 - -306. Is m bigger than 1?
True
Let l be (-1 - -2) + (-440)/264. Which is greater: 1534 or l?
1534
Let l = -198 + 206. Are 12 and l nonequal?
True
Let y(n) = -n**2 + 39*n - 16. Let a be y(3). Which is smaller: a or -0.3?
-0.3
Let l(p) = -p**3 - p**2 - 4*p - 8. Let r be l(-2). Is 7 less than or equal to r?
False
Let t = 55 - 59. Let o be -38*(t - 28/(-8)). Are 18 and o unequal?
True
Let f be (-10)/(-20)*20/2. Suppose b - f*b + d = -16, 0 = 2*b - 3*d + 2. Suppose 3*u + 4 = b*u. Are u and 1 unequal?
True
Let p = 0.2 + -0.26. Let c = p + -0.54. Which is greater: 1 or c?
1
Let z(j) = -123*j. Let g be z(9). Let x = -47599/43 - g. Which is bigger: x or 0.1?
0.1
Let o = 11 + -12. Let m = -5 + 8.8. Let a = m + 4.2. Is a at least as big as o?
True
Let y = -21 + 20.9. Which is greater: y or 8?
8
Let f = 3.74 - -0.26. Let k = 3.9 - f. Let n = 17.05 - 0.05. Is n less than or equal to k?
False
Let i(m) = m**2 + 5*m - 6. Let z be i(-6). Let w be z - 0 - (-6592)/56. Let r = w - 117. Which is smaller: 0 or r?
0
Let l = 3.2 + -3. Let b = 15 - 26. Let q be 10/(-55) + (-2)/b. Is l less than or equal to q?
False
Let z(u) = -u**2 - u + 1. Let b be z(1). Let f be (0 - 49/(-26)) + -5 + 3. Which is smaller: b or f?
b
Let f = 17 + -16. Let h = -1.3 + f. Let z = -0.07 - 0.13. Is h smaller than z?
True
Let g(k) = k + 3. Let j be 34/(-12) - (-2)/(-12). Let n be j/(-1*9)*-9. Let z be g(n). Is -2/3 bigger than z?
False
Suppose 4*s - 2 - 4 = -2*w, 4*s - 3*w - 1 = 0. Is 75 greater than s?
True
Let v be 2 - (-1 - (-75)/21). Let g = -18.1 + 18. Which is bigger: v or g?
g
Let y be (-4)/22 + (-790)/132. Let f = y - -2245/366. Is 0 smaller than f?
False
Suppose -z + 7 = -4*a - 7, 0 = 5*z + a - 7. Suppose -2*l + 0*l = 2*r - 10, z*r = -l + 13. Which is bigger: r or 10?
10
Let u(x) = x - 7. Let f be u(6). Let v be ((-45)/42)/(52/91*-6). Is f <= v?
True
Let f be ((-52)/60 + 1)*3. Is f smaller than 5/39?
False
Let o = -26 - -27.9. Let m = -78 + 77. Is o greater than m?
True
Let q = 11 - 7. Suppose -q*p + 2*u = -20, 2*p + 3*u = 2*u + 2. Suppose 0 = p*z - k - 5, -k = 4*z - 8*z + 8. Which is smaller: z or 18/11?
18/11
Let g be (7/(63/6))/((-4)/10). Do g and 7 have the same value?
False
Let r = -279 - -280. Is r smaller than 10/47?
False
Let t be (0 + 1)*3/1. Suppose 93 = 11*v - 160. Suppose -t*q - w = -v, 4 + 18 = 2*q - w. Is 8 greater than q?
False
Let a = -24 + 37. Suppose a*j + 9 = 16*j. Suppose -4*t - j - 1 = 0. Is t equal to -1.4?
False
Let m be 12/9 + 2/(-6). Suppose 4 = 5*y - m. Let d be (1 - 37/11) + 2. Are d and y unequal?
True
Suppose 0 = -3*f + 10*k - 2*k + 11, 3*f = 4*k + 7. Are f and 45 equal?
False
Let j = 1252.134 + -1252. Which is bigger: j or 1/4?
1/4
Let c be (14 + -14)/((-12)/3). Which is bigger: c or 3/496?
3/496
Suppose -2*v - 5*l = -14, -5*v - 2*l + 7*l = 0. Let x be 3/v - 0 - (-18)/(-12). Do 7 and x have the same value?
False
Let j = -6.13 - -6.43. Which is greater: j or 85?
85
Let w = -0.658 + -0.242. Let v be 1/((-2)/(-1)*-1). Which is greater: w or v?
v
Let v(a) = 16*a + 3. Let g be v(-3). Which is smaller: g or 2?
g
Let z = -423 + 420.07. Let f = z - -3. Let w = -0.03 - f. Which is smaller: -4 or w?
-4
Let l be ((-34)/(-200))/((-4)/30). Let t = 1/40 + l. Let p = t - -21/20. Which is smaller: -1 or p?
-1
Let j be ((-13)/(-2))/(1/(-72)*4). Which is smaller: j or -118?
-118
Let h = 208 - 210. Let r = 0.16 + -6.16. Which is smaller: h or r?
r
Suppose -3*m - 9 = -3*u, -3*m - 17*u = -16*u - 3. Is m smaller than -6/499?
False
Suppose -4 = -7*z + 31. Suppose -14 = -4*g + 2*v, -z*g - 3*v = v + 15. Which is smaller: -1/12 or g?
-1/12
Suppose 6*f + 41 + 49 = 0. Which is smaller: -31 or f?
-31
Let l = 6794 - 6786.003. Let x = -0.003 - l. Is x at least 2?
False
Suppose 4*v - 127 + 467 = 0. Which is greater: -84 or v?
-84
Let p = -903 - -45111/50. Let j = p - 1/50. Suppose 3*t + 3 = -0. Is j at most as big as t?
False
Suppose 60*o - 59*o = -t + 1, 0 = -4*o - 3*t + 4. Is -2/2035 > o?
False
Let h = -11 - 19. Let v be ((-150)/4 + 15)*(-4)/(-3). Is v less than or equal to h?
True
Suppose 23*j + v + 108 = 24*j, -2*j + 5*v = -207. Is 111 < j?
False
Let p = 160 + -132. Suppose 68 = 6*n - p. Is n at least as big as 14?
True
Suppose -t - 2*f - 22 = -0*f, 0 = 4*t - 2*f + 118. Which is greater: t or -372/13?
t
Suppose 73 - 6 = 67*t. Which is smaller: t or -30?
-30
Let t = -52464/17 - -3089. Let c = 3 - t. Is c > 0?
True
Let f(l) = -l**3 + 5*l**2 - 4*l - 9. Let q be f(8). Let s = -2567/11 - q. Is s < -1?
False
Let r be (-3)/(-5)*6*91/42. Is 7 >= r?
False
Let z be ((-6)/(-4) - -2)/4. Suppose 0 = 4*n + 5 - 1, -4*a - 3*n = 99. Let w = a - -24. Which is smaller: w or z?
w
Let d(y) = 2*y - 11. Let k be d(7). Let b be ((-11)/(19602/(-12)))/(k + -2). Is 1 at least b?
True
Let x = -174403/605 - 403/121. Which is bigger: x or -292?
x
Let x = 280 + -838/3. Let c = -24 + 35. Which is smaller: x or c?
x
Let r = 30 - 54. Let l = -31 - r. Is -4 < l?
False
Let a(h) = -14*h**3 + 7*h**2 - 6*h + 29. Let w be a(4). Is w less than -779?
False
Let p = 83 + -101. Which is smaller: -9 or p?
p
Let h be 3*1 + (-98)/(-7) + 7. Which is greater: 16 or h?
h
Let k = -0.18 + 0.18. Let m = 5 + -2. Let x be m + 1 + 290/(-65). Is k at most x?
False
Let d(t) = -48*t**2 + 4*t - 1. Let b be d(-5). Let m be (-3)/(-4) + b/(-420). Let u = m + -27/7. Which is smaller: u or 1?
u
Suppose -42*t + 46*t + 1200 = 0. Which is smaller: -597/2 or t?
t
Let v be (-15)/7 + 18/126. Let g be (5 + 14)/(-1 - v). Are 18 and g non-equal?
True
Suppose 4 = x + r, -x + 4 = -2*x + 3*r. Let h be ((-8)/(-6) - x) + (-20)/15. Is h not equal to -17/6?
True
Let s = 132 + -130. Suppose 4*h - s*z = 3*z + 21, 5*z = -3*h - 28. Which is greater: -4/63 or h?
-4/63
Let v be (-168)/((-12)/8*1). Let p be v/24 + 2/6. Which is smaller: p or 1?
1
Suppose 59 = -29*b + 88. Is b >= 2/27?
True
Let p be (-2 + -100)/6 + 4. Is -109/8 smaller than p?
True
Let u = 41.83 - -0.17. Let o = u - 41.73. Which is smaller: -1 or o?
-1
Let r(w) = -w**2 + 12*w + 10. Let h be r(12). Let y be 8/h + (-7)/(-35). Which is bigger: -47 or y?
y
Suppose -3*l + 5 = -4. 