9/5474. Which is smaller: a or -1?
-1
Suppose -9*a + 26 = -37. Suppose -3*h = -4*m + 338, 326 = -3*h + a*m - 9*m. Which is greater: -111 or h?
h
Let v = 4 + 3. Let b = v + -8. Let o = -0.461 - -0.761. Which is smaller: o or b?
b
Let i = 4.9 + -3.76. Let d = 3.64 + -2.4. Let k = i - d. Is 23 smaller than k?
False
Let s = -0.26727 + 0.22313. Which is greater: s or -2/9?
s
Let u = -798865/25425246 - -53/1694. Let q = -29284/5508303 + u. Which is bigger: q or 1?
1
Let i be -2 + 1213 - (30 - 26). Is -0.1 < i?
True
Let i = 299 + -294. Let k = 194 - 193.1. Which is bigger: i or k?
i
Let f(b) = 7*b**3 - 13*b**2 - 20*b - 19. Let t(g) = 6*g**3 - 12*g**2 - 20*g - 18. Let d(j) = -5*f(j) + 6*t(j). Let q be d(-4). Are -109 and q non-equal?
False
Let q be (0 - 6/8)/(-17 + (-482)/(-28)). Let m be 3/2*20/(-105). Is m > q?
True
Let z be (-3)/13*(-378)/27. Suppose 4*l + 30 = 15*r - 10*r, -l - 5 = 0. Which is greater: z or r?
z
Suppose 109 = -3*n + 190. Let u be n/(-45) - 144/(-15). Suppose o + 10 = u. Which is bigger: o or -1/95?
-1/95
Let t(j) = -j**3 + 9*j**2 + 6*j - 55. Let z be t(9). Is -11/720 less than z?
False
Let u = -14137 + 14136. Which is greater: u or -1/8251?
-1/8251
Suppose -92 = -58*n + 62*n. Let j be (-2 - (-64)/30)*-57*3. Is n < j?
True
Let k = -10120.3 - -10139. Which is smaller: 1/8 or k?
1/8
Let s(h) = h + 5. Let l be s(-3). Let k = 10296 - 10517. Is k at least l?
False
Suppose -155 - 151 = 6*h. Let c = 67 + h. Suppose -14 = 2*s + c. Is -3 not equal to s?
True
Let p be 234/(-546)*(0 - 497). Which is bigger: 212 or p?
p
Suppose 23*m = 18*m + 15. Let w be ((90/8)/(m/(-2)))/(-3). Which is smaller: w or -2/7?
-2/7
Let n = -0.3316 - 0.6184. Is n at least -1.5?
True
Let h be (-85004)/(-79) - (2 - 0/2). Which is smaller: 1073 or h?
1073
Let i = -1.54 - -0.04. Let j be -11 + -5 + 11 - (-33)/9. Which is smaller: j or i?
i
Let u be (1 - 12/8)/((-1)/36). Let h(x) = 3*x**3 - 52*x**2 - 35*x - 9. Let s be h(u). Is s != -20?
True
Let c be (-1)/((-1)/7)*45/63. Suppose -v + 1254 = 2*q - 0*v, 0 = 2*q + c*v - 1254. Which is smaller: q or 628?
q
Let t be (-2)/(-2) - -1 - 1. Let v = -72460699/79 - -917224. Is t less than v?
False
Suppose -52 = -4*w - 2*u, -4*w - 5*u + 56 = -2*u. Let o = 0.1 + -16.1. Let h = o + 15.9. Which is smaller: w or h?
h
Let p = 21130 + -21145. Is 2/317 less than or equal to p?
False
Let c be -3 + 34/4 + (-4)/(-8). Let k be -8 - (-3 + c - -40). Is k at most -52?
False
Suppose 5*k = 21 - 6. Let f be (-1)/k*25/(1125/(-1998)). Is f >= 15?
False
Suppose 3*x + 3 = 3*w, 0 = 1079*w - 1080*w + 5*x + 9. Which is smaller: w or -1/6781?
w
Let l(n) = 3*n - 48 + 2*n + 5*n - 14*n. Let w be l(10). Let r = -89 - w. Is r >= -2/15?
False
Let i = -2191 - -41643/19. Let h(b) = -b**3 + 10*b**2 - 7*b - 18. Let w be h(9). Do w and i have the same value?
False
Let y be (81 - 8784/108) + 35638/(-6) + 0. Which is smaller: -17819/3 or y?
y
Let g(b) = -3*b**2 + 32*b - 22. Let p be g(10). Let j be 2/196*p*(-20)/(-170). Is j greater than -1?
True
Let k(w) be the third derivative of 19/60*w**5 + 0*w**3 - 1/12*w**4 + 0*w + 0 + 10*w**2. Let v be k(-1). Which is smaller: v or 20?
20
Let j(o) = o**3 - 22*o**2 + 18*o + 85. Let m be j(21). Let z be (-305)/(-20) - m/88. Suppose 0 = -2*w - 0*w + 18. Is w less than z?
True
Let d = -358 + 446. Suppose n + d + 10 = 0. Which is bigger: -99 or n?
n
Let p = -4 - -8. Suppose -p*o - 10 = -14. Let w = -110 + 111. Do w and o have the same value?
True
Let m be (-1)/((6 - 3) + 4704/(-1566)). Let f be (-87)/m - (-2)/(8/3). Is 0 at least as big as f?
False
Let u = -0.347 - -0.488. Let z = -439353 - -439352. Is u at most as big as z?
False
Suppose 5*f - 34 = -9. Suppose -58 = -2*u - 3*b, -8 = -b + f*b. Let r = -35 + u. Which is smaller: -6/11 or r?
r
Let j = -147 - -147.079. Let g = j - -0.251. Let z = g - 0.23. Which is smaller: -1.6 or z?
-1.6
Let f = 25830 - 25829. Which is greater: f or 18574?
18574
Let p be -1*((-1088)/2920 - (-4)/10). Let h be (-5)/(-40) - 732/(-32). Suppose 3*a + h = -5*l, -a - 9 - 8 = 4*l. Which is greater: p or a?
p
Let z(c) = -c**3 - 11*c**2 - 25*c + 15. Let o(s) = -3*s + 1. Let g(r) = -5*o(r) + z(r). Let a be g(-10). Is 62/7 > a?
False
Suppose 2*b + c - 21 = 0, -5*b - c + 38 = -22. Which is greater: 10.2 or b?
b
Let y = -865 + 884. Suppose -2*g + y = w, -g + 6*g = 25. Is 6 > w?
False
Let i be 7224/(-364) - -20 - (-368)/(-1885). Which is smaller: 2/5 or i?
i
Let c(u) be the second derivative of -u**5/20 - u**4/2 - 5*u**3/3 - 24*u**2 - 9*u - 1. Let i be c(-7). Which is bigger: 1 or i?
i
Let t be (-74)/(-6)*24*6/(-12). Which is smaller: -1923/13 or t?
t
Let t = -10154 + 10134. Let m = 28 - 47. Does t = m?
False
Let w = 1006 + -975. Let t be ((-304)/(-18))/(62/w). Is t at most as big as 9?
True
Let g = 3321 + -3319. Are g and 1739 nonequal?
True
Suppose 10061 = -8*i + 9997. Are i and 115 equal?
False
Let d = 5609 - 5675. Let x(w) be the second derivative of -7*w**3/6 - 17*w**2/2 + 6*w. Let l be x(7). Do l and d have different values?
False
Let q be (-160)/(-24)*(590/75 - 8). Which is smaller: q or -0.06?
q
Suppose 2*l - 8*g + 1 = -7*g, -3*g = -9. Let z be -2 + 2212/245 + (-5 - l). Is z at least as big as 1?
True
Suppose -3*s = -q, -4*s = -11*q + 7*q + 8. Suppose 250 = -q*m + 7. Is -82 < m?
True
Let q = -133576/137 - -975. Which is bigger: -26 or q?
q
Let j be (5824/(-221))/14 + -14. Which is greater: -15 or j?
-15
Let s = 1431 - 1539. Is s at most as big as -1/4?
True
Let y be 3/(0 - 6/(-4)). Let r = y + -1. Let l = 17099/24115 - -18/3445. Which is greater: r or l?
r
Let f(t) = 16*t. Let a be f(4). Suppose -7*h - 260 = -11*h. Which is smaller: a or h?
a
Suppose 2*w - 24 = -4*j, 3*w + 9*j = 13*j + 76. Suppose 3*c = -r + 50, 0 = 4*c + 3*r - 40 - w. Which is smaller: c or -6?
-6
Let w(a) = a**3 - 10*a**2 + 9*a. Let b be -46 + 12/10 + 4/(-20). Let n = b + 54. Let u be w(n). Which is smaller: 2 or u?
u
Let y(f) = -56*f - 185. Let o = -73 - -63. Let a be y(o). Which is greater: a or 374?
a
Let c be ((0 - 0)*((-108)/24 + 5))/2. Which is bigger: 2/16489 or c?
2/16489
Let r = -311.986 - 0.014. Let j = r - -309.1. Are 2 and j unequal?
True
Let s = -823 - -817. Let i be ((-33)/144639)/((-1)/s). Is i < -1?
False
Suppose 105*d = 117*d - 6816. Which is smaller: 2 or d?
2
Let n be (116/(-203))/((-30)/9849). Are n and 189 non-equal?
True
Let u(f) = 2*f**2 - 26*f + 11. Let t(y) = y**3 - 10*y**2 - 10*y + 17. Let b be t(10). Let r = b - -94. Let n be u(r). Does -31 = n?
False
Suppose 5*j = -2*d - 5, -5*j + j = 4*d + 4. Suppose -2*l = -0*h + 3*h + 553, d = 2*l + 4*h + 556. Is l > -273?
True
Suppose -308*k + 1512 = -304*k. Let x = -341 + k. Are 37 and x equal?
True
Suppose 0 = -3*s - 20*s + 138. Suppose 5*l = 15, -2*u - 11*l = -s*l - 641. Is 313 smaller than u?
False
Let i(x) = 3*x**3 - 487*x**2 + 162*x - 159. Let l be i(162). Is -159 at least as big as l?
True
Let q(h) = -2*h - 1. Let r be q(2). Let t = 39 + -37. Suppose -10 - 8 = 3*d + t*c, d = 5*c - 23. Do d and r have the same value?
False
Let y(p) = 3*p**2 - 73*p + 109. Let l be y(24). Is 103 less than l?
False
Let s = 193470543925982/9865646161063 - -22/965421877. Let w = 24/929 + s. Which is greater: 20 or w?
20
Let q = -16 - 82. Let l = q - -97. Which is bigger: l or 2/5?
2/5
Let p = -4321/77 + 97063/3003. Is p at least -25?
True
Suppose -m = 3*l - 336 - 1327, 2*l = -4*m + 1092. Let p = 482 - l. Which is smaller: -70 or p?
p
Suppose 0 = -24*l - 155 + 707. Suppose l*w + 28 = 27*w. Which is bigger: w or 9?
9
Let j be (0/(0 + 2))/(14 - 15). Suppose 11*t + 95 - 7 = j. Let k be (276/t)/((-3)/(-4)). Which is smaller: -47 or k?
-47
Let c = 0.4 + 35.2. Let z = c - 42. Let k = z + 6.3. Is 0.22 smaller than k?
False
Let t be ((-6)/19*(-32)/36)/(6912/128). Which is smaller: t or 0?
0
Let u(x) = -x**3 - 38*x**2 - 48*x - 89. Let v be u(-37). Suppose -5*w - 4*g + 1590 = -2*g, 3*g = 0. Is v greater than or equal to w?
True
Let g = -22469147999/41000 + 548028. Which is greater: g or 1?
1
Let q be 40/(-24)*(-24)/20. Suppose 0 = -4*o - 2*u - 3*u - 14, 0 = 4*o - 3*u - q. Let y = -1/22 - 119/286. Which is smaller: y or o?
o
Let r = 8100.5 - 8100. Is r greater than or equal to -679?
True
Let r be (6/(-12))/(1/(-26)). Suppose 41 + 50 = r*n. Suppose -2*p = 5*y + 24, 5*p + 5*y + n + 23 = 0. Which is 