5)/2. Which is bigger: y or m?
m
Suppose 124*v + 110 = 110. Suppose -4*h + 12 + 0 = 0. Let o be 14/36*h/(-2). Does o = v?
False
Let n = -213.62 - -215. Let y = -15.38 + n. Is -1 > y?
True
Let g = 238.316 - 238. Let h = g + -0.216. Is -32 at least h?
False
Let c(x) be the first derivative of -26*x**3/3 + 4*x**2 + 7*x - 103. Let d be c(-2). Is -114 less than or equal to d?
True
Let k(o) = o**3 - 34*o**2 + 118*o - 2721. Let b be k(33). Let z(n) = n**3 + 7*n**2 - 9*n - 8. Let g be z(-6). Which is smaller: b or g?
g
Let r = -73.2 + 73.15. Is r at most -171?
False
Suppose -4*r - 108 = -13*r. Suppose 15*h = 4*t + r*h + 127, t - 4*h + 48 = 0. Which is greater: -30 or t?
t
Let w = -1009 - -1009.77. Let t be 0 - 1 - (2 + -1). Do w and t have the same value?
False
Let l(k) = 23*k**2 - 76*k - 600. Let x be l(-7). Which is bigger: 1056 or x?
x
Let v = -129.1 - -7.1. Let m = v - -122. Which is smaller: m or -0.103?
-0.103
Let y be ((-4)/(-26) + (-276)/(-234))*3. Suppose 3*u - 2*v - 3 = v, 4*u + 12 = -y*v. Let f be 4*(-3 + 16 - 3) - u. Is 41 smaller than f?
False
Suppose 26*r - 28*r - 7 = -3*h, -3*h + 15 = -3*r. Let s be (-3 - 37/4) + 6/r. Let b = 12 + -28. Is b equal to s?
False
Let l be (38/16)/(-3 + 1). Let j(a) = 180*a + 540. Let q be j(-3). Which is smaller: q or l?
l
Suppose 2*l + 266 = -5*v, 1738*l - 1742*l + 5*v - 472 = 0. Which is bigger: -120 or l?
-120
Suppose -3*c = 3*m + 15, -3*m + c - 4 = -m. Let b be (14 - 10) + m/(4 + -1). Is 58 less than or equal to b?
False
Suppose -2*c + 6 = -3*s, 2*c - 2*s - 2 = -0*s. Let o be (c/9)/(5/15). Is -2/203 at most as big as o?
False
Let i be 0*(-4)/(-24)*-3. Suppose -2*d = o - 6 + 1, i = 2*d - 3*o + 7. Let w = 69 + -347/5. Is d at most as big as w?
False
Let s = 77110.1 - 77110. Let u = -196.876 + -0.124. Is s equal to u?
False
Let q be 27 + (-1519)/56 + 1038/9328. Is -1 at most as big as q?
True
Suppose 197 - 23 = 29*a. Let j be (10/20)/(a/(-24)). Which is smaller: 3 or j?
j
Let v(z) = z**2 + 6*z - 602. Let i be v(-28). Is -0.32 bigger than i?
False
Suppose -y - 2*h - 530 = 0, 0 = -5*h + 5 + 5. Is -533 at least y?
True
Suppose 5*b - 16 + 91 = 0. Let c be ((-4)/b)/(102/(-9)). Is c at least as big as 1?
False
Suppose -14*p = -8*p + 5*p. Let a be (-476)/80 - (p - 5). Which is greater: 0 or a?
0
Suppose 0 = -64*d - 69*d - 202*d - 69010. Which is smaller: -216 or d?
-216
Let n = -45.9744 + -0.0256. Is 3/23 at most n?
False
Let v(h) = -2*h + 27. Let i be v(14). Let g be 10*-9*(14 + -13). Which is smaller: i or g?
g
Let z = -3172 + 3171. Is z at most as big as -2916?
False
Let h = -424 + 422. Let c be (-6 + 2)/h - 2. Is c > -7/13?
True
Suppose 2*u + 4*p = 4*u + 180, 0 = -4*u - 2*p - 340. Let q = u - -88. Suppose -q*b = -4*r - 6*b, 4*r = 2*b - 6. Which is smaller: 2 or r?
r
Let a(x) = x**3 + 12*x**2 + 18*x - 3. Let y be a(-10). Is y bigger than 242/15?
True
Let y = 186 + -1041. Let b be -4 + (-27)/(-6) + y/110. Is -7 less than or equal to b?
False
Let o = 0.611 + 92.589. Let w = o + -93. Which is smaller: -68 or w?
-68
Let o(l) = 5*l - 116. Let r be o(15). Let n = r - -73. Is 154/5 not equal to n?
True
Let v(z) = z**3 + 26*z**2 + 51*z + 76. Let m be v(-24). Let p be m/(-3) - 13/((-390)/70). Which is bigger: -2/71 or p?
p
Let k be ((-6)/8)/((-171)/228). Which is smaller: k or -35/592?
-35/592
Let x = 18377.08 + -18322. Do 0 and x have the same value?
False
Suppose 12047 = -4*v + 5*i - 5599, 3*i + 8812 = -2*v. Let l = v - -13529/3. Let y = -99 + l. Is y != 2?
True
Let h = 918/74431 + 12904238553/7070945. Let r = h + -1825. Is 0.1 at most as big as r?
False
Let v(w) = 10*w + 54. Let y(p) = 11*p + 55. Let i(g) = -4*v(g) + 3*y(g). Let a be i(-14). Suppose 44 = a*x - 45*x. Is x at most 20?
False
Let a be (912/64)/19*2/(-3). Which is greater: a or 1.577?
1.577
Let d(y) = 59*y**3 + 57*y**3 - 90*y - 1 + 47*y + 42*y + 3*y**2 - 4. Let x be d(-1). Are x and -117 nonequal?
False
Let x be 1/(2 - 1/(-3)). Let y(d) = 63*d + 0*d**2 - 53*d - 56 + d**2. Let q be y(-14). Is x at least q?
True
Let a = -10411 + 51991/5. Is -12 > a?
True
Let h = -441/55 + 41/5. Let r(b) = -b + 1. Let v = 4 - 2. Let f be r(v). Which is smaller: f or h?
f
Let f be 3660/(-22795)*(1 - 5/9). Let s = -4/291 + f. Which is bigger: -1 or s?
s
Let u = 152 - 148. Suppose 2*h - 14 = -4*f, 16 = -u*f - 0*f + 4*h. Which is bigger: f or -13?
f
Let j = 15399 - 15382. Which is bigger: 14 or j?
j
Let n(v) = -v**2 - 18*v + 16. Let t be n(1). Suppose -i + 12 = -4*y - 5, 2*y = i - 11. Let q be ((-1)/y)/(4 - (-13)/t). Is 17 at most as big as q?
False
Suppose 4*x = 3*x + 3*x. Suppose -2*b = -s - 17, -5*b = s + 10 - x. Suppose 4*c = 5*t + 88, 3*t = -10*c + 5*c - 38. Which is smaller: s or t?
t
Let r(b) = -112*b + 3403. Let q be r(42). Which is smaller: -1303 or q?
-1303
Let d = 0.038 + -0.07. Let y = -4.8 - -4.932. Let a = y + d. Is a not equal to -3.6?
True
Let c be (-2)/2 + 4 + 0. Suppose 19 = -c*o - 68. Let d(y) = -3*y + 10. Let g be d(13). Does o = g?
True
Let m = 203879/13275 - 384/25. Suppose -75*a + 18 = 93. Which is bigger: a or m?
m
Let s = -130 - -87. Let x = s + 96. Let h = 53.15 - x. Is 2 not equal to h?
True
Let h = -271 - -274. Let n be 275/(-75) + h*1. Is n greater than or equal to -83?
True
Let d = -0.4 + 1.4. Let i(q) = -166*q + 10976. Let z be i(66). Is z smaller than d?
False
Let n = 3902.73 - 17.73. Are n and 0.1 equal?
False
Let z(j) = -2*j**3 - 40*j**2 - 11*j + 30. Let i be z(3). Which is smaller: i or -421?
-421
Let o = 13 + -9. Suppose -2*g + 5*k + 19 = 0, -3*g + 8 + 7 = -3*k. Suppose 2*d + g = -2*c + 6, 2*c - 5*d = 39. Which is smaller: c or o?
o
Let i = 422 - 113. Let w = 191 - i. Let u be (w/4)/(3/6). Which is bigger: u or -60?
u
Let p(a) = -13*a + 25. Let s be p(-4). Let r be (1 - 7)*s/22. Let l be ((-15)/3)/(-5) + r. Is -20 less than l?
False
Let n = -3.06 - -4.98. Let o = n - 2.92. Which is smaller: o or -0.007?
o
Let z(q) = 23*q - 175. Let c(u) = 32*u - 140. Let v be c(5). Let x be z(v). Is 285 greater than x?
False
Let m be 2*(-3 - 20/(-5)). Suppose m*b - 2*i - 8 = 0, 0*i + 5*i = -5*b + 10. Let u(o) = -22*o - 20. Let r be u(b). Do r and -86 have the same value?
True
Let h = -0.0983 - -46.9983. Let v = h + -47. Is v equal to -20?
False
Let b be 8/6 - 6/18. Let j be ((-6)/21 - (-396)/896)*2. Let z = j + -367/1072. Is b < z?
False
Let a be (-24)/(-54) + 314/(-585). Let j = 88/455 - a. Which is smaller: -196 or j?
-196
Let g = -13887 - -13884. Suppose 0 = 3*l + 28 + 50. Which is smaller: g or l?
l
Let z = 21.2 - 24.56. Let m = -7.36 - z. Let k be 2/(-4) + 0/(-2). Is k greater than m?
True
Let k be (-3)/9*(-8 + 4 - -5). Let n(m) = -4*m**3 + 2*m**2 - 1. Suppose 4*l = 5*p - 16, 5*l - 4*p - 1 = -3*p. Let u be n(l). Is k != u?
True
Suppose 0 = 5*p + 4 - 14, 10 = q + 3*p. Suppose 6 = q*t - 26. Let g be (7/(21/(-99)))/(t - 1). Is -4 smaller than g?
False
Let f be 10 + -509 + (0 - -1). Let u = f - -681. Which is bigger: u or 182?
u
Let o be (229*(-225)/50)/(-18). Which is greater: o or 3/8?
o
Suppose 15 = 2*v - 25. Suppose -4*w = -n - 5, 0*w - 3*w - v = 4*n. Let t be (-7)/35 - (-9)/(-5). Which is bigger: w or t?
w
Let s = -4597 - 127. Which is greater: s or -4725?
s
Let s = -407.63 - -407. Are -1.12 and s equal?
False
Let t = -119 - 85. Let n = -204.6 - t. Is -1/5 <= n?
False
Suppose -142 = a + 5*n, 9*a = 11*a - 2*n + 260. Let p be 99/a*(0 + (-164)/(-18)). Is -8 smaller than p?
True
Suppose 4*d - 3*f = 11, 0 = -20*d + 15*d + 3*f + 10. Which is smaller: 13/75 or d?
d
Let x(r) = 16*r**2 + 222*r - 12. Let m be x(-13). Which is smaller: -0.09 or m?
m
Suppose 3*r - 15 = -3. Suppose 3 = -m + 2*s, -s = r*m - 3*s + 6. Let b be m + (-2 - 2) + -3. Are -8 and b nonequal?
False
Let u be (35/(-210))/((-2)/12). Is u bigger than -3/91?
True
Let y be (-1)/(1 - (-6)/(-5)). Suppose 9*x - 36 = y*x. Let l be 12/(-40)*(-4)/x. Which is greater: l or 1?
1
Let m(t) = -t**2 - 18*t + 16. Suppose x - 2*z = -26, 0 = 3*z - 10 + 1. Let w be m(x). Let r = -24 - w. Which is smaller: -2/15 or r?
-2/15
Let r(s) = -9*s - 14. Let i be r(-6). Let c = -40 + i. Is -4/9 at least c?
False
Suppose -2 = -2*b - 6. Let m(h) = -h**3 - 32*h**2 - 7*h + 14. Let p be m(-32). Suppose p*c - 240*c - 4 = 0. Is c at most b?
True
Let h = -35837096 + 3010228453/84. Let x = 1043 + h. Let t = x + 53/252. Is t great