25. Which is smaller: 9 or y?
y
Let l be 70756/(-147) + 1/3. Let g = l - -475. Which is smaller: g or -20/9?
g
Let c be ((-730)/20)/((-1)/(2/(-6))). Which is greater: c or -12?
-12
Suppose 0 = -2*x + 5*u + 2782, -4*x + 5588 = 25*u - 23*u. Is x > 1397?
False
Let x = 234 + -166. Suppose 0 = 110*i - 252*i + 128*i - 812. Let t = i + x. Which is bigger: t or 14?
14
Suppose -4*z = -4, -5*z - 101 = -2*r - 2*z. Let f = r + -48. Suppose -2*d + 3*d = w + 3, -f*w + d - 3 = 0. Which is greater: -6/19 or w?
w
Let k(h) = 2*h - 7. Let x be k(-5). Let a(j) be the third derivative of -j**5/60 + 3*j**4/8 + 10*j**3/3 + 79*j**2. Let m be a(12). Which is smaller: m or x?
x
Let x be (-2 + 0)/2*(-108)/(-378). Let o = -0.2449 - -15.0149. Let b = o + 0.23. Are b and x non-equal?
True
Suppose 0 = 5*r + 70 - 90. Let u = -3 - -6. Suppose r*i - u*i = 39. Which is smaller: i or 38?
38
Suppose -13*k + 4*k + 783 = 0. Let v = -86 + k. Which is bigger: v or 1/453?
v
Suppose 3*q - 41 - 40 = 0. Let s be 6/12*(0 - 0/2). Let w = q + s. Which is bigger: w or 28?
28
Suppose -5*j = -102 - 8. Suppose -r = r - j. Are 8 and r nonequal?
True
Let u be (2*(-15)/18)/((-1020)/4284). Suppose -3*k = -0*k - 6. Suppose -2*v - w - 3*w = -k, 3*v = -4*w + 11. Which is greater: v or u?
v
Let p = 792 + -791.97. Suppose 23 + 7 = -5*w. Is w greater than p?
False
Suppose 5*a + 836 = 24*a. Let d = 42.924 + 0.076. Let x = d - 44. Is x < a?
True
Let s = 275.869 + -276. Let h = 0.069 - s. Are h and 5/18 nonequal?
True
Suppose 24 = -16*d + 12*d. Let y(x) = -8*x**2 + 15*x + 2. Let m be y(d). Let s be (24/20)/(m/(-20)). Are s and 0.1 equal?
False
Let v = 24105 - 24174. Are 74 and v nonequal?
True
Suppose -9 = c - 2*g - 58, -c + 43 = 4*g. Let w = c - -1. Let t = 40 - w. Which is smaller: 1 or t?
t
Let y = -341 - -243. Let z = -96.54 - y. Which is smaller: 1 or z?
1
Suppose r + 27 = p + 4, 0 = -2*p - 5*r + 18. Let c = 377 + -377. Let g be c - -23 - (-8 + 12). Is g at least p?
True
Let m = -36/151 - -15/1963. Which is smaller: m or -0.06?
m
Suppose 2*v - 2*u - 36 = -5*u, -5*v + 64 = u. Suppose -3*x = -0*x - v. Let d = 2184 - 2178. Is d less than x?
False
Let l(c) be the first derivative of c**4/4 - c**3/3 + 3*c**2/2 + 13*c + 38. Let p be l(-7). Let x be 4/22 - (p/165)/5. Which is smaller: x or -11?
-11
Let s = -379 + 379.01. Which is smaller: -0.19 or s?
-0.19
Suppose -9*t - 6*t - 150 = -25*t. Is t at most as big as 472/33?
False
Let v = 9841/5 - 1975. Suppose 0 = -3*l - 5*g - 63, 0 = -l + 5*l - 3*g - 3. Is v < l?
True
Let q = 18/37 + 284/481. Let u = -0.763 - -0.363. Are u and q unequal?
True
Let h be 540/70*28/3. Let x be 274/21 + 48/h. Is x bigger than 14?
False
Let q = -207.897 - 0.103. Let x = q + 207.91. Which is smaller: x or 0.4?
x
Let o(i) be the third derivative of -i**6/40 + 13*i**5/60 + 7*i**4/24 - i**3/2 - i**2 - 17. Let a be o(4). Which is smaller: a or 374/9?
a
Let u(j) = j + 2. Let g be u(-3). Suppose -10*f + 17*f + 70 = 0. Let k be (-22 - -22) + 8/f. Is g less than k?
True
Let o be 4/16*(5 + -1). Let q = -564 + 45692/81. Is o <= q?
False
Let j = 20197 - 20234.03. Which is bigger: -0.2 or j?
-0.2
Let h be (572/602 + (-10)/(-70))*5679. Let c = h + -6207. Which is greater: c or -1?
c
Let d = -7889 + 7928. Is 11 > d?
False
Suppose 0 = -2*u - l + 60, -5*u = -0*l - l - 150. Let n = -156 + -156. Let p be 48/n + u/26. Which is smaller: p or -1/130?
-1/130
Let o = -245 + 356. Let r = o - 66. Let m = 52 - r. Which is smaller: m or -0.2?
-0.2
Suppose -3*q = r - 187 - 84, 2*r = -5*q + 450. Suppose -7*p - 373 = -5*u, -4*p + 44 = -0*p. Is q greater than or equal to u?
True
Let x be ((-23715)/(-248))/((-15)/65). Is -413 greater than x?
True
Let z be (-580)/(-15) - (2 + 21/(-9)). Let k be (27 + -10 + 3)*(1 - -1). Which is greater: k or z?
k
Let r(a) = 110*a + 413. Let m be r(-5). Which is greater: 1 or m?
1
Suppose 6*t - t = 0. Let d be t - (-1 - (-86)/4). Suppose -3*z = -r - 15, 0 = r - 2*z + 19 - 2. Which is smaller: d or r?
r
Let t(d) = -5*d**2 - 13*d - 52. Let y(i) = i**2. Let o(g) = -t(g) - 4*y(g). Let h be o(-6). Let k = -10 + 20. Is h less than k?
False
Let s = -107630 - -803457949/7465. Do 1 and s have the same value?
False
Suppose 12 = 3*w, -2*b - w + 4*w = 10. Is -4/1123 greater than or equal to b?
False
Let i be 0/((-8 + -1)/9). Let n(y) = -y**3 + y**2 + 9*y + 14. Let c be n(6). Is c equal to i?
False
Let v = 1 - 1. Let o be 5/40*(-153)/(-14382). Is v less than or equal to o?
True
Let l be 125/(-1500) + (-3003)/36. Which is bigger: l or -83?
-83
Suppose -4*o - u - 2*u = -24, 5*o = -2*u + 23. Let y = 366274/11 - 33296. Which is bigger: y or o?
o
Let h(m) = -175*m**2 - 336*m + 22 + 167*m**2 + 314*m. Let a be h(1). Is a at most as big as -8?
True
Suppose 8*h + h + 13*h = -20*h. Is h at least as big as -32/205?
True
Suppose -111*c - 148 = 37*c. Which is bigger: c or 20/171?
20/171
Suppose 0 = -c - 2*c + c. Let t be 4/(-110)*(6 + (-7 - c)). Is -1 greater than t?
False
Suppose -29165 = -152*n + 22593 + 10410. Is n >= 396?
True
Let q be (510/(-40) + 14)*((-56)/10)/(-7). Let x = -110/13 - -2116/247. Does q = x?
False
Suppose -67*o = -24*o - 24*o - 3572. Which is bigger: 257 or o?
257
Let u(t) = -t**3 + 9*t**2 - 14*t - 19. Suppose -3*g - 36 = -2*m + 2*g, -3*m + 3*g + 36 = 0. Let h be u(m). Let p = -67 - h. Is p equal to -29?
False
Let r be (6/4)/((-4)/16). Let u be r/15 - (3296/220)/(-2). Are u and 6 nonequal?
True
Suppose 83 = 3*q + 2*u, -11*q = -15*q + 2*u + 92. Is q greater than 31?
False
Let c be (-492888)/1344 - -32 - 1/8. Which is greater: c or -335?
c
Let b = -65823249143/43021130 + 153/452854. Let p = 1530 + b. Is p greater than or equal to -1?
True
Let c(z) = -z**3 - 67*z**2 + 452*z - 34. Let m be c(-73). Are -1053 and m equal?
False
Let p(d) = -d**2 - 3*d + 8. Let s be p(-5). Suppose 3*y - 50 = -4*w, 5*y + w - 66 = 3*w. Let o be (2 - y)*(-20)/(-40). Which is bigger: s or o?
s
Let r = -15.63 + -0.37. Let s = -21.73 - 0.27. Let k = s - r. Which is smaller: k or 2/5?
k
Let a(d) = 73*d**2 + 6*d + 2. Let c be a(-1). Let o = 103 - c. Is 34 > o?
False
Suppose 0 = 4*d - 0*d + 48. Let g = 136 + -104. Suppose -f - 2*f = n + g, 0 = f - 4*n + 28. Is d less than f?
False
Let i = -1005 - -1059. Let u be -55*(4/(-2) + 1). Is i greater than u?
False
Let f = 0.138 + -0.251. Let h = f - 24.887. Let i = -23 - h. Is i bigger than -1.1?
True
Suppose 0 = -76*z - 13*z + 979. Which is greater: z or -4?
z
Let f(d) = 4*d - 15. Let k = 50 + -45. Let a be f(k). Suppose 5*v - a + 10 = 0. Is v < -12/11?
False
Let v be 284*12/216 - (-2)/9. Let f be 57/95 - v/10. Which is smaller: f or 2/11?
f
Let h be (-2 + (-12)/(-3))/((-112)/(-40)). Let k = 0.02 - -0.04. Let s = 1.06 - k. Which is bigger: h or s?
s
Let r be ((-358006)/4818)/((-2)/(-30)). Let i = r - -5573/5. Which is greater: i or 0?
i
Let i = -305 - -673. Let r = 408 - i. Is -1/11 smaller than r?
True
Let i = -3.7 + 3.9. Let c(j) = 10*j - 31. Let g be c(13). Suppose -3*r + 12*r - g = 0. Which is smaller: r or i?
i
Let y = 3908 + -3410. Which is smaller: y or 1495/3?
y
Suppose 2*n + 412 = -12*p + 16*p, -4*p = 3*n + 568. Is -198 greater than or equal to n?
False
Let y be 1/((-28)/(-14) - 3). Let n = -59 + 9. Let s be (-2)/n*1*-2. Is s greater than y?
True
Suppose -6 = -56*m + 62*m. Is m equal to -265/7?
False
Let q = -108.2061 + 0.1061. Let u = q + 108. Which is bigger: -1/43 or u?
-1/43
Let v(f) = -f**2 - 69*f - 1101. Let i be v(-44). Which is smaller: 274 or i?
i
Suppose -949*w + 952*w + 10479 = -5*p, 3*w = 2*p + 4179. Which is bigger: -2098 or p?
p
Let j(v) = v**2 - 4*v - 25. Suppose 2 = 7*l - 61. Let g be j(l). Is g <= 19?
False
Suppose 3*q = 4*j, -2*j - 3*j = 5*q - 35. Suppose -4*p + 9*p + 4*m = 300, -3*p + 207 = -j*m. Suppose -2*n - 2*i = -16, -5*n - i = -4*i - p. Is 12 at least n?
True
Let u = -61.144 + 0.144. Let v = 60.8 + u. Is 0 >= v?
True
Let o(m) = -6*m**3 + 6*m**2 - 2*m - 8. Let v be o(0). Which is smaller: 139 or v?
v
Let x be 3 + (-188)/64 - 298497/(-157680). Are x and 3 equal?
False
Suppose 0 = -5*f + 4*v - v - 7, 0 = -f + 3*v - 11. Let n = 80 - 13919/174. Is n at least f?
False
Let s be (90/(-21))/((-9)/(-105)). Suppose -151 = 4*c + 65. Which is bigger: s or c?
s
Let i be (0/2)/(-2) + 141. Suppose -665 = -5*b + 10*u, 3*b + 3*u - 158 = 277. Are i and b non-e