*o - 9. Let n be s(-6). Suppose -30 = -3*k + n*k. Let y be ((-15)/9)/k - -1. Which is smaller: 1 or y?
1
Let r = 5.6 + -75.6. Is r less than -2?
True
Let x(j) = 2*j**2 - 32*j + 18. Let k be x(13). Let y be (27/k)/(28/(-16) - -2). Is -1 <= y?
False
Let s = -62.43 + 62. Let w = -21.57 + s. Let d = w + 22. Which is smaller: d or -5?
-5
Let c = 125/3666 + -1/78. Suppose 4*r - 21 = -25. Which is smaller: r or c?
r
Let q = 16 - -17. Let d = q - 44. Which is greater: d or -13?
d
Let g be (8/(-68) - 52/136)*-4. Which is bigger: 13 or g?
13
Let b(i) be the second derivative of i**3/2 - i**2/2 + i. Let j be b(3). Which is smaller: 1 or j?
1
Suppose -l + 2*a - 6 = 0, 3*a + 44 - 53 = -3*l. Which is bigger: l or -3/256?
l
Let a(m) = -m**3 - 8*m**2 + 86*m - 5. Let i be a(-14). Is i < -33?
False
Suppose 6*t = 2*t - 12*t. Is t smaller than -4/79?
False
Let l be 6 - (-1974)/(-553) - 2. Which is smaller: l or 0?
0
Let r = -0.36 - 0.08. Let n = r + 0.34. Which is smaller: n or 0.13?
n
Suppose 284 = -6*c + 974. Suppose -p - 110 = -c. Which is smaller: 4 or p?
4
Let f(x) = 23*x + 85. Let w be f(-23). Is -442 bigger than w?
True
Suppose -5*o = -o + 32. Let u be (-8)/2 - (-91 + 101). Is o greater than u?
True
Let y = -5 - -8. Let k = y - 4.3. Is -1/4 at least k?
True
Let g = -294/5 + 59. Is g < -1?
False
Suppose 0*w + 28 = 5*h + 3*w, 3*w = h - 2. Suppose h*g = l + 70, 0*g + 3*l + 56 = 4*g. Is g less than or equal to 11?
False
Let l be -25*((-96)/30)/8. Let z be -2 + (-1 + 0)*-12. Is z < l?
False
Suppose -71*q = 5*q + 23408. Does -308 = q?
True
Let r = 453 + -454. Do r and -9/19 have the same value?
False
Let q = 39 - 26. Let x be (0 - (0 + 1))*12. Let r = q + x. Which is smaller: 8 or r?
r
Let d = -0.41 + 0.12. Let h = d - -0.39. Is 1 equal to h?
False
Let s(f) = -f**3 + 16*f**2 - 69*f + 49. Let j be s(10). Is j less than -41?
False
Let z = 15899 + -3338687/210. Let c = 4/21 - z. Let u be (0 + -12)/(-3) - (-3 - -7). Which is greater: u or c?
u
Let k be (-1)/(-1) + 6/(-10 + -8). Is k >= 4?
False
Let d = -443 + 441. Let l = -25 - -15. Which is greater: l or d?
d
Let n be 2/4 + 3*(-2)/12. Which is smaller: n or 1/893?
n
Let s = 1 + -4/3. Let c = 302 - 308. Which is greater: c or s?
s
Let r = -21767 + 64754/3. Which is smaller: -182 or r?
r
Let c = -2118 + 2117. Which is smaller: 1/320 or c?
c
Let g = -2/123 - 85235/246. Which is bigger: g or -346?
-346
Let w be 2 + 1*(0 - -1). Let j be (2/(-7))/(((-680)/180)/34). Which is bigger: w or j?
w
Suppose -3*m - 5*q + 129 = -80, -m + 47 = -4*q. Is 0.06 greater than m?
False
Let f be -6 - 9/((-180)/110). Which is smaller: f or -251?
-251
Let x = 51931/14598 - 3/1622. Let t = 227/63 - x. Let n(a) = a - 19. Let c be n(19). Are t and c non-equal?
True
Let a = -39 + 71. Suppose 5*y = 4*v - 148, -4*v + 3*y = -v - 108. Is a smaller than v?
False
Suppose 0 = -0*d + 2*d + 2*p + 4, 0 = -4*d + 2*p + 22. Suppose -33 = 5*b - 4*b + 5*k, -4*b + d*k - 132 = 0. Is -33 <= b?
True
Let h = -1056 + 1054. Let i = -15 + 46. Let g = -97/3 + i. Which is greater: g or h?
g
Suppose 46*a - 54 = 44*a. Do a and 28 have the same value?
False
Suppose 4*x - 27 = j, 3*j = -4*x - 84 + 35. Which is greater: -5 or j?
-5
Let f be 1*(1 - 47/46). Let x = -591691/160494 - 2/1163. Let g = x - f. Is -3 <= g?
False
Let b(f) = f**3 + 5*f**2 + 4*f. Let w = -8 + 3. Let c be b(w). Is -21 at least as big as c?
False
Let d = 36.9 + -38.41. Let y = d - 0.09. Let n = 1.4 - y. Is n > 3?
False
Suppose 3*r + 4*b = -4, -4*b = -5*r + r + 32. Let d(f) = 2*f**3 + f**2 - 7*f - 6. Let k be d(-2). Let h = r + k. Is h bigger than 0?
False
Let f = -14 + 47. Let t = 48 - f. Suppose 4*k + 73 = 4*v + k, 0 = 3*k - t. Is v > 23?
False
Let a be (11 + -12)*((-6)/2)/(-3). Which is smaller: a or 5/259?
a
Let m be (-6)/(-24) + (-33)/(-44). Let y = -11/13 + 133/65. Is y smaller than m?
False
Let w be 4/14*-172 - 2/(-14). Are w and -50 equal?
False
Let x = -89.1 + 90.1. Is 1.8 less than or equal to x?
False
Let x = 9595 + -77069/8. Let l = -39 - x. Do -1 and l have the same value?
False
Let l = -5 + 2. Suppose 0*a + 14 = -2*a + 3*j, 0 = a + 4*j + 7. Let d(n) = -n**2 - 5*n + 12. Let c be d(a). Which is bigger: l or c?
c
Let x = 23 + -21. Let k = 14 + -28. Let j be (-38)/k + -3 + 2. Is x > j?
True
Let m = 583 + -582.9. Which is greater: -80 or m?
m
Suppose -3*t + 0 = 5*x - 34, 4*t - 30 = x. Let f = t + -3. Suppose -j = f*i - 4*i + 2, 0 = 3*i - j - 10. Is -0.1 bigger than i?
False
Let l be 4 + (112/(-2))/(-4). Let m be (l/(-6))/(202/62484). Let g = 928 + m. Is g less than or equal to 0?
False
Let g = -1/99 + 497/198. Is -5 != g?
True
Let r = 1229/4 + -306. Which is bigger: r or 1?
r
Suppose -3*p - 1 = -3*i + 5, -5*p + 20 = i. Suppose -4*k + 2*l + 122 = i*l, -54 = -2*k - 5*l. Suppose -k = -0*m - 2*m - 4*d, 25 = 5*m - d. Is 8 <= m?
False
Suppose -5*x - 3*m = -108 - 32, x - 56 = 5*m. Let n = -35 + x. Which is smaller: -7 or n?
-7
Suppose 4*h = 2*h - 38. Let q = h - 5. Let s = 35 + q. Is 11 at least s?
True
Let v = 0 + -0.09. Let s = -77 + 77. Let m be (0 + 1 + s)/(-3 + 7). Which is bigger: m or v?
m
Suppose 5*x = s + 31 - 649, -x - 114 = -5*s. Is -122 at least x?
True
Let x(i) = 11*i + 77. Let a be x(-7). Suppose 0 = 2*w + w. Suppose a = -s - w*s - 1. Is 1/5 >= s?
True
Let f = -10.57 + -1.23. Let v = f - -12. Is 12 bigger than v?
True
Let v = 70.7 - 70.7. Which is bigger: -51/4 or v?
v
Let q = -23 + 14. Suppose 4*z = f + 4*f - 21, 0 = 5*f + 15. Let a be 20/20 + z/1. Which is smaller: a or q?
q
Let b = -21.006 + 21. Let n = b - -0.106. Is 24/11 less than or equal to n?
False
Let w = 0.6 + -2.6. Suppose c + 3*s + 2 = -0*c, -2*s - 3 = c. Let a = -37/7 - c. Which is smaller: w or a?
w
Let t = -6 - -12. Let w be -1 + (2 - (3 - 1)). Let f be (((-4)/2)/(-2))/w. Which is smaller: f or t?
f
Let d be (-2465)/(-476) - (-40)/(-8). Which is smaller: 0 or d?
0
Let u(k) = -39*k + 50. Let h be u(1). Which is bigger: h or -1?
h
Let s = -28 + 28. Suppose s = z - 2*z + 2. Is z not equal to -1/8?
True
Suppose 102*q - 94*q - 8 = 0. Which is greater: 0.2 or q?
q
Let d(l) = -l**2 - 8*l + 23. Let a be d(-11). Which is greater: 0.04 or a?
0.04
Let g be 8/10*15345/462. Is g smaller than 28?
True
Let u be -1 + -11*2/(-6). Let r = -16819/25227 - -1/25227. Do u and r have the same value?
False
Suppose 2*i = -10 - 8. Let p(h) = -h - 12. Let y(m) = 5*m + 48. Let n(u) = i*p(u) - 2*y(u). Let z be n(8). Are z and 0.2 equal?
False
Let y = -806599/383 - -2106. Which is greater: y or 0?
0
Let h be (-46440)/(-5814) + (-16)/2. Which is smaller: 1 or h?
h
Suppose -i + 384 = 2*i. Let d be (-204)/130 + i/160. Is d at least -1?
True
Let l be (-3)/((-15)/((-10)/2)). Is -27 at most as big as l?
True
Suppose -5*v + 34 = -41. Suppose 4*i + 11 = -17. Let u be (6/i)/(v/21). Which is smaller: -2 or u?
-2
Let h = -2.2 - -2. Let o = -0.3 + 0.2. Let q = o + 1.1. Which is bigger: h or q?
q
Suppose -2*t - 6 = 2. Let j be 2/(-3)*(-6)/t. Let z be (j - -4)/((-15)/(-2)). Which is smaller: z or 0.3?
0.3
Let v(j) = -4*j - 12. Let c = 9 + -17. Let l be v(c). Let o be l/(-90) - 4/18. Which is smaller: o or -1?
-1
Let q(h) = 3*h - 15. Let z be q(5). Suppose 5*k + d + 40 = 0, z = 5*k - 3*k - 4*d - 6. Let a be (-2)/k + 168/(-931). Is a at least -1?
True
Let l = -5.88 - 24.52. Which is smaller: 0 or l?
l
Let b be 1 - (3 + (-42)/(-18)*-3). Which is greater: 3 or b?
b
Let b(k) = -4*k + 10. Let z(d) = d - 1. Let s(n) = -b(n) - 3*z(n). Let p be s(16). Suppose -4*r - 2*q + 6 = 0, -2*r + p = -5*q - 0. Which is bigger: r or 6/5?
r
Let b = 2251 + -2252. Is 8/83 greater than b?
True
Suppose -3*m + m + 4 = 0. Let x(p) = -7*p + 3. Let b be x(-3). Let w be (4/b)/((-3)/(-9)). Is w smaller than m?
True
Let l be 16/28*2/130. Let n = l - -254/91. Which is greater: n or 3?
3
Let a = 127 - 128. Let q be (-3)/(-9) + (-118)/366. Let k = q + -209/2379. Which is smaller: k or a?
a
Let t = 4 + -1. Let i = -1717 + 12041/7. Is t smaller than i?
True
Suppose 2*i - 108 = 11*i. Let s be (-28)/i + -2 + (-51)/207. Which is bigger: s or -1?
s
Let y = -10124/11 - -920. Is -1 < y?
True
Let f = -7.81 - 0.19. Let t be (18 - (-21 + 40)) + (-1)/(-3). Which is smaller: t or f?
f
Let w(s) = -s**3 - 14*s**2 - 44*s - 56. Let p be w(-10). Is p > -24?
True
Let o(x) = x**3 - 14*x**2 - 2*x + 28. Let u be o(14). 