36, -t - 397 = 3*a. Suppose 0 = m + q + 127, q + 10 = 3*q. Which is bigger: m or a?
a
Let m be -3*(4 + -3)*23/(-3). Suppose 3*y - 12 = 0, 5*y + 9 = -l + m. Which is smaller: -2/23 or l?
l
Let o = -89 - -65.6. Let g = o + 24.4. Is g at most as big as -278?
False
Let a = -15600 - -81072/5. Is a less than or equal to 613?
False
Suppose -2*n + 3*k + 3265 = 0, -112*k + 113*k = 3. Are 1638 and n unequal?
True
Let x(d) = d**3 + 2*d**2 - 7*d + 8. Let f be x(-4). Let s be (14/f)/(7/(-462)). Is -231 greater than s?
False
Suppose -617 - 13082 = -121*j + 2757. Let h(p) = 19*p - 5. Let z be h(-7). Let x = j + z. Are x and 4 nonequal?
True
Let g(v) = v**3 + 4*v**2 - 16*v - 40. Let u be g(-6). Let f be 806/16 + 6/u. Is 55 <= f?
False
Let y = 31.575 - 0.575. Let w = 46 - y. Which is bigger: w or -4?
w
Let t be (-10)/14*(-42)/6 - (2 - 10). Let q = -10 + 6. Let n be q/6 - 5/(-3). Which is smaller: t or n?
n
Let p = 339 - 358. Let u(l) = -l**3 - 20*l**2 - 16*l + 53. Let s be u(p). Which is smaller: s or -6?
-6
Suppose -1857*u + 1883 = 4*l - 1854*u, -5*u = 15. Is 472 >= l?
False
Let u = -0.1 - -1.1. Suppose -3*r - 20 = -h, 0 = 4*h + h - 10. Let l be 3/2 + -1 - (-165)/r. Which is greater: u or l?
u
Suppose -154 = 13*u + 678. Let c be u/6*6/(-4) - 3. Is c at most 13?
True
Let i(n) = -n**2 - 16*n - 21. Let y be i(-14). Suppose y*s + 86 - 954 = 0. Is 124 not equal to s?
False
Let u = -11412 + 11413. Are u and 1/3553 nonequal?
True
Suppose -j = -5*h, 3*j - 3*h - 8 = 2*j. Let d = j - 3. Suppose -51 = -4*x + 3*c - d, -5*c = -5*x + 45. Which is smaller: 3 or x?
3
Let m = -44 + 40. Let t = m - -473. Are 469 and t non-equal?
False
Let b be 468/312*(-2)/6*-8. Let l be (-1*44/16)/(1/b). Let h be 12/9*(-6)/(-4). Which is smaller: l or h?
l
Let o = -195019/6 - -32511. Let m(l) = -l**2 + 5*l + 7. Let k be m(6). Is o less than k?
False
Let p be ((-2088)/((-120)/10))/(6*2/6). Is p greater than or equal to -18?
True
Let m be (-5)/5 - (-49 + 1). Let a = m - 42. Suppose 90 = -a*n + 5*o, 4*o - 3 = 17. Which is greater: -11 or n?
-11
Let s be -2*(28/(-6))/((-192)/144). Let l be ((-6)/(-21))/(26/s + 5). Which is smaller: l or -4?
-4
Suppose -13*k + 8 = -70. Let p be k/192*-8 + (-614)/40. Is -17 at most p?
True
Let m = 42.27 + 6.73. Which is greater: m or 11/7?
m
Let p(i) = 9*i**3 - i - 1. Let u be p(-1). Let b be -1 - 3/(u/114). Suppose -2*d - 3*j + b = 0, -3*j - 5 - 26 = -2*d. Is 17 smaller than d?
False
Let u = 10 + -6. Let j(f) = -66*f - 264. Let s be j(-4). Suppose s = -2*z + u*z. Which is bigger: z or 1/48?
1/48
Let w be (2/(-2) - 8246)/(-13 - (-29 - -17)). Which is bigger: 8246 or w?
w
Let u be 30/312 + (-4)/(-26). Which is bigger: -2450 or u?
u
Suppose 149*c + 784 = -169*c + 302*c. Let o(n) = -n**3 + 4*n**2 + 3*n + 5. Let p be o(6). Is p greater than c?
False
Let i = 2872377/56 + -51294. Is -2 < i?
True
Let g = 41.96 + -42.96. Let b = -11.9 + -40.1. Which is smaller: g or b?
b
Suppose 11*q = 16*q - 150. Let s be (-1 + 5/3)*q/(-10). Are s and -4 nonequal?
True
Let v be 40480/33396*-3*2/(-8). Is 0.53 less than or equal to v?
True
Let u = 10003 - 9981. Which is smaller: -55 or u?
-55
Let i = -661 - -653. Let v be i - 41/(-5) - (-2)/(-10). Which is greater: v or 14/27?
14/27
Let b(g) be the third derivative of -g**5/60 - g**4/3 - 13*g**3/6 + 1122*g**2. Let c be (-36)/15 - (-4)/10. Let f be b(c). Which is bigger: -6/13 or f?
-6/13
Let t be (-4)/((2 - -2) + -2). Let j be (t + -2)*(3 - 4). Suppose -j*g - 4*o = 28, 3*o + 6 + 3 = -g. Which is bigger: g or -29/5?
-29/5
Let m = 0.05 + 3.95. Let p(z) = -z**2 + 17*z + 89. Let n be p(21). Suppose -5*r + h = 0, -r + n*r = 2*h. Which is smaller: m or r?
r
Let v be (4/(-3 + -5))/(1/(-38)). Suppose 121 + v = 7*o. Suppose -3*k - 5*j = -2, 4*k - j = j + o. Is 1 less than or equal to k?
True
Let y = -3733 + 3740. Which is bigger: -22/3 or y?
y
Let l be 15345/9 + 12 - -8. Is 1725 < l?
False
Suppose -2*n + 23 = 5*s, -2*s = -0*s - n - 2. Suppose -2*r + 3*x - 4608 = 0, x + 832 = -s*r - 6080. Let b = r - -18477/8. Is b < 7?
True
Let h(k) = k**3 - 26*k**2 + 27*k - 34. Let t be h(25). Let u be (-20)/(-25) + t/5. Let d = -86 - -90. Are d and u nonequal?
False
Let y = 14248 + -14248.067. Which is smaller: -0.3 or y?
-0.3
Let i(a) = 573*a**2 + 14*a + 14. Let z be i(-1). Let v = z + -1144. Is -572 greater than v?
False
Let u = 56606/63 - 6288/7. Is 2/1361 <= u?
True
Suppose -18*d - 3232 = a - 22*d, 2*a + 2*d = -6554. Do a and 2 have the same value?
False
Let y = 59474/195 - 305. Is y > -1?
True
Let g = 307.578 + -0.578. Suppose -2*u - 174*i + 16 = -178*i, 2*u + 2*i = -8. Are u and g unequal?
True
Let w be (427/(-183))/((-1)/3). Suppose -w*c - 218 = 181. Is -57 less than c?
False
Suppose -28*h = -7*h + 11*h - 36416. Which is greater: -2/9 or h?
h
Let v(w) be the first derivative of w**3/3 + w**2/2 + w - 4. Let f be v(-1). Let d = -137058/97 + 1413. Are f and d nonequal?
True
Let j = -399.2 - -399.2. Let t be 10/(-25) + 14/10. Which is greater: t or j?
t
Let m be ((-250)/35)/(4/28). Let d = -35 - m. Which is smaller: -4 or d?
-4
Let s = -2 - 3. Suppose -5*m = -10*m - 10. Let f be (m - -3)*s/(-140). Are f and -2/5 equal?
False
Let g = -1486 - 552. Is -2035 < g?
False
Let j be (-1728)/16416 - 3/(57/171454). Which is smaller: j or -9025?
-9025
Let s = -51648/23 + 2246. Suppose 68 = -2*a - 5*x, -1111*a - 2*x - 26 = -1109*a. Do s and a have the same value?
False
Suppose -5*j - 2*c = 3*c - 40, 2*j + c - 13 = 0. Let u(g) = -11*g - 14. Let x(m) = 7*m + 9. Let s(t) = -5*u(t) - 8*x(t). Let n be s(-4). Is j >= n?
True
Suppose -4611*w + 4636*w = -2500. Do w and -23 have the same value?
False
Let c(z) = -5*z - 140. Let v be c(-42). Let t be (-20)/v*7 - (-2 - 1). Is -4/43 at most t?
True
Let d = 5203 + -5203. Let l be 610/(-2184) - 4/(-14). Do l and d have the same value?
False
Suppose -2*b = -b, -80 = 4*k + 2*b. Let z(o) = 2*o - 8. Let v be z(5). Suppose 5*r - v*r + 63 = 0. Is k at most r?
False
Let c = -464.7 + 485. Let o = -20 + c. Let s = 0.6 - o. Is 9 at least s?
True
Let r = 927.6936 + 0.3064. Which is greater: -1 or r?
r
Let w be (-1 + 1632/1623)/(-2 + 1). Let k = 1293/59510 - w. Is k at least as big as 1?
False
Let r be 10 + (-4 - -5)/(-1). Suppose p + r*p = 770. Which is bigger: p or 75?
p
Let b be 9/8*(-986)/(-4437). Is b < 239?
True
Suppose -22*p + 21*p = -24. Suppose 0 = -2*u - 3*u + 5*b, p = u + 5*b. Which is bigger: u or -4?
u
Suppose -b = 5*r + 97, -4*b + 1012 = 5*r + 1100. Suppose -11 = 4*d + 61. Which is bigger: r or d?
d
Let y be ((-394)/(-6))/((-1)/3). Let r = y - -160. Let m = -15 - 22. Is m >= r?
True
Suppose -38*r - 81*r + 27857 = -30*r. Is 4 bigger than r?
False
Let x(s) = 7*s - 405. Let c be x(85). Do 189 and c have the same value?
False
Let t = 9.651 - 87.651. Are t and -0.8 nonequal?
True
Let v = -90.36 + 92.36. Which is smaller: v or 9.976?
v
Let i be (-26)/12 + (-1)/3. Suppose 9*u - 493 = 6545. Let h = u - 786. Which is smaller: i or h?
h
Let d be ((12/(-4))/3 + -156)*(25 - 27). Does d = 1885/6?
False
Let q = -2822 - -2831. Which is smaller: q or -234?
-234
Let m = -15 + 11. Let p = 31112 - 31117. Is p smaller than m?
True
Let l = -1.5 - -0.95. Let r = -80.45 + l. Let p = r + 77. Is -1/4 greater than p?
True
Let r = 339670 + -2724211/8. Let c = r - -858. Is -1 greater than c?
False
Let r(q) = 66*q**2 - 2*q - 26. Let f be r(-4). Let w = 77849/75 - f. Which is smaller: -2/9 or w?
-2/9
Let g(m) = 2*m**3 - 74*m**2 - 74*m - 77. Let v be g(38). Is 1/2789 < v?
False
Suppose 3417 + 741 + 746 = -p. Which is greater: p or -4905?
p
Let u(z) be the first derivative of z**4/4 + 3*z**3 + 8*z**2 + 14*z - 3. Let a(c) = 5*c - 87. Let t be a(16). Let o be u(t). Is o smaller than -5.8?
False
Suppose -18*x + 32*x + 14 = 0. Let g = -183 - -287. Which is smaller: g or x?
x
Let k = -8421 - -8948. Is k > 2111/4?
False
Let l = -63 + 98. Suppose -5*x = -2*t + l, -4*t + 0*x = -4*x - 40. Suppose -2*a = 2*v - 22, -t*v - 2*a + 41 = 1. Is 6 less than or equal to v?
True
Let c = 2957 + -962. Which is bigger: c or 0.2?
c
Let j(a) = 4*a**3 - 2*a**2 + 2*a - 3. Let n be j(2). Let x = 25 - n. Let p be (x + -3)*(-2)/60. Is p at most 1/4?
True
Let h = -5.495 - -0.495. Do 19 and h have different values?
True
Let o = -442.2 + 380. Let l = 87 + o. Is 1 >= l?
False
Suppose 0 = -m - 463